Import tests for large Merkle Tree inclusion and consistency proofs Imports test vectors from github.com/ietf-plants-wg/merkle-tree-certs/pull/301 to test both implementations of Merkle Trees. Bug: 503746594, 452986180 Change-Id: I464c3c9e15ea9defff03a04e6ef5e39f6a6a6964 Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/102087 Reviewed-by: David Benjamin <davidben@google.com> Commit-Queue: Lily Chen <chlily@google.com>
diff --git a/build.json b/build.json index b9a831c..9a20576 100644 --- a/build.json +++ b/build.json
@@ -955,6 +955,7 @@ "crypto/x509/test/*.pem", "crypto/x509/test/*.pk8", "crypto/x509/test/mtc/*.pem", + "crypto/x509/test/mtc/*.txt", "third_party/wycheproof_testvectors/*.txt" ], "internal_hdrs": [ @@ -1005,6 +1006,7 @@ "pki/verify_unittest.cc" ], "data": [ + "crypto/x509/test/mtc/*.txt", "pki/testdata/cert_issuer_source_static_unittest/*.pem", "pki/testdata/certificate_policies_unittest/*.pem", "pki/testdata/crl_unittest/*.pem",
diff --git a/crypto/evp/scrypt_test.cc b/crypto/evp/scrypt_test.cc index 3aaed12..616d44d 100644 --- a/crypto/evp/scrypt_test.cc +++ b/crypto/evp/scrypt_test.cc
@@ -26,17 +26,6 @@ #include "../test/test_util.h" -static bool GetUint64(FileTest *t, uint64_t *out, const char *name) { - std::string str; - if (!t->GetAttribute(&str, name)) { - return false; - } - - char *endptr; - *out = strtoull(str.data(), &endptr, 10); - return !str.empty() && *endptr == '\0'; -} - TEST(ScryptTest, TestVectors) { FileTestGTest("crypto/evp/test/scrypt_tests.txt", [](FileTest *t) { std::vector<uint8_t> password, salt, key; @@ -44,11 +33,11 @@ ASSERT_TRUE(t->GetBytes(&password, "Password")); ASSERT_TRUE(t->GetBytes(&salt, "Salt")); ASSERT_TRUE(t->GetBytes(&key, "Key")); - ASSERT_TRUE(GetUint64(t, &N, "N")); - ASSERT_TRUE(GetUint64(t, &r, "r")); - ASSERT_TRUE(GetUint64(t, &p, "p")); + ASSERT_TRUE(t->GetUint64(&N, "N")); + ASSERT_TRUE(t->GetUint64(&r, "r")); + ASSERT_TRUE(t->GetUint64(&p, "p")); if (t->HasAttribute("MaxMemory")) { - ASSERT_TRUE(GetUint64(t, &max_mem, "MaxMemory")); + ASSERT_TRUE(t->GetUint64(&max_mem, "MaxMemory")); } std::vector<uint8_t> result(key.size());
diff --git a/crypto/test/file_test.cc b/crypto/test/file_test.cc index 0de7930..a2fa4bb 100644 --- a/crypto/test/file_test.cc +++ b/crypto/test/file_test.cc
@@ -26,6 +26,7 @@ #include <stdlib.h> #include <string.h> +#include <openssl/base64.h> #include <openssl/err.h> #include <openssl/mem.h> @@ -314,6 +315,35 @@ return GetAttribute(&value, key) && ConvertToBytes(out, value); } +bool FileTest::GetUint64(uint64_t *out, std::string_view key) { + std::string value; + if (!GetAttribute(&value, key)) { + return false; + } + + char *endptr; + *out = strtoull(value.data(), &endptr, 10); + return !value.empty() && *endptr == '\0'; +} + +bool FileTest::GetBase64(std::vector<uint8_t> *out, std::string_view key) { + std::string value; + if (!GetAttribute(&value, key)) { + return false; + } + size_t max_decoded_length; + EVP_DecodedLength(&max_decoded_length, value.size()); + out->resize(max_decoded_length); + size_t decoded_length; + if (!EVP_DecodeBase64(out->data(), &decoded_length, max_decoded_length, + reinterpret_cast<const uint8_t *>(value.data()), + value.size())) { + return false; + } + out->resize(decoded_length); + return true; +} + void FileTest::ClearTest() { start_line_ = 0; type_.clear();
diff --git a/crypto/test/file_test.h b/crypto/test/file_test.h index f82124f..e743850 100644 --- a/crypto/test/file_test.h +++ b/crypto/test/file_test.h
@@ -160,6 +160,18 @@ // success and returns false with an error to `stderr` on failure. bool GetBytes(std::vector<uint8_t> *out, std::string_view key); + // GetUint64 looks up the attribute with key `key` and decodes it as a + // nonnegative decimal integer that fits in `uint64_t`. On success, it writes + // the result to `*out` and returns true. Otherwise it returns false with an + // error to `stderr`. + bool GetUint64(uint64_t *out, std::string_view key); + + // GetBase64 looks up the attribute with key `key` and decodes it from a + // Base64 string to a byte string. On success, it writes the result decoded + // from Base64 to `*out` and returns true. Otherwise it returns false with an + // error to `stderr`. + bool GetBase64(std::vector<uint8_t> *out, std::string_view key); + // AtNewInstructionBlock returns true if the current test was immediately // preceded by an instruction block. bool IsAtNewInstructionBlock() const;
diff --git a/crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt b/crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt new file mode 100644 index 0000000..28c5620 --- /dev/null +++ b/crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt
@@ -0,0 +1,149 @@ +# Large Merkle Tree consistency proof tests. +# From https://github.com/ietf-plants-wg/merkle-tree-certs/blob/6542aaed9e8ddaaf265ce2f0b459818d8cd4534e/demo/large_consistency_proofs.json. + +Start = 0 +End = 0 +TreeSize = 281474959937536 +SubtreeHash = 47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +ProofEmpty + +Start = 0 +End = 281474959937536 +TreeSize = 281474959937536 +SubtreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +ProofEmpty + +Start = 0 +End = 16777216 +TreeSize = 281474959937536 +SubtreeHash = CMQUrNqi1aMxw7p3X2k0Fs2Dft/oOQgR3jqr0FWejkk= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +Proof = 9ouu7NoVf3UGyyA1pR+ZLlkNnL0ehRzujgzrdmr6d+EmrDs8G3Oji+uPmwPP0dQWlPmPwF3c0flzSazCqysjwgP3pTwHYoAYApVmwhkwo5Q5iefx9ZuWod8eiPZa7MfURI5iNF+cwmfX8opWEIMFCVBottuoz94yIlSdSeYIz+OovImCwH/L9TlMCSoEZGpLys3hgV5ceMsVNkCqWhe2WVJ9/cEeagPfoSiO08MXZHVSUgjzqCwpYLQ2BClDs7MGDxEELJjkKqWU/WpK1A/p3RTIn0ciGGDjg7ifUkKWHQ18seC8uOaYa8ERHOD4SMVNUxo1Gt4muVv2pIfV/HJh+8yHe+5Wt26w8+FI8d5g/K9VHzKMpEMFaFtryYLzFsZhGhIgCOrrq7nDeyQS9KfhmC5pV086eXFZzEaN/CeMYEUR2Fs6nNIj2UR1mUrTi8xtf9MJwXMZLDXaJmqj5/seIDk2ZAqhLRQNMph8lJpv6NCw33WKxl73ICfVT8ErFmoIUiog8wCU/YlCKnQ6o3IMVqAxQUUJRX0wAjRcCYvlHvBfgE9aOcE/Fbj7Hjpt2IEZcz217DgaVnfWvY59cRAhHPY83p0YtOr8IScKUFWkofiDpNitE8PjKvNZn8bFqmxB7mwqNUTsmI9m9Tm2Wecay8xSxzyMLymCCu5dRLxBmPVF3iq6hYDG35qcSE6PQt8Mnp9TXDs4YfwtXh97O2JuyuYFnCytS+J6LGU/XgMXl4i23rzBgLi6iMAB+/Hu3nf6uHBYfQabfjf6Qf726BWsDgTORd4IQDO0BYkPG0NORKcDhmGU+F5Pq/eft5idAsWehZc3MYQHeuhXUjg28u/H0i0nmK/qyoLrBba0ICHFwDlzlOeEdx5BUaaf3MxfFmdgbKWKUAC6zqa92uUJOp3kMgT0DLxkikZXWnzIrvuII6fiPa6M0Jb78i5SFptjKX/LXgNGedMJoeXLLMhPnIx4F1MBGduOg4hlPq8FORHMzWr+oBDB4rhLdnpDgnOUF27T + +Start = 0 +End = 281474959933440 +TreeSize = 281474959937536 +SubtreeHash = pR3x+hWpoClqsylm6RyBxxdezIehv/FAsznDgLPZKXo= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +Proof = 6VwEtvBQDGIQ6slUr6CWzOyKSX6ejcBRyjt3E8MBotmNr2NXkFtDgsDfhLQry+DVxND4PSkeOpI0U87JL2VCZn6J56qp4X77g3CRcUajp/6ybEturfV3DT3Vtlgaw5TIb6XJ56/gWR3RMakcl/QGWODekZqCjFzN8aFJ5x9T3L44vLB9jLv+mtSvBAVS0DJbDeceW2RbIxZ+BmdpqXl8K4hZB0DxxxcvOWe+aXwYq+mAfxzKaaTKvBA2rZZ56E3QXQ+iC+snJ7gRvTulErTSPnJz3ZnBsWs/YZiCmIeF7m0WD+mHD10e8EQ7wOjm8h+KknSDjd8Ib5o7HDCJxRhYGM0PfIyB1J5eTGvtHFY0PHFLqX8tdEk4G5u68W1scV+AoELLlVh8zi9pbeonZHUXIkv/CqWiyE3Kn3Tn3JueeWlMJfZMEROVm5xqIoZrnNGTYCGDhF72SpB1BUsSQmtuBWbHrsHXYkmXiXQKOME/kX/0PGS2DPNTr9J3MT2Mpne5BPKWubJQxaCsudTqgbAUAvzbCEnXZyjKqsSFI614FdPDsNe6VbZ/yq8XThyLh77a1SwBwVbxmBGiRvh4HvE24L4A1y4YY6N+F1nCvLz5yIwOHJXdDJV1SVzamMWrHklKM5LwK6AwB1G0tgMhfdUVvcWyIhcMvJXiEjp2H1Yx9dxKMW68fCKQLt5TQAnLSIdzEdeTx6iGLv2rxGEXZrkdApfVlWQoKuq0n5g4YtmIpXqeAxfV8wQFtTGOSwR5H75nDDKXqi1mrJf5qkHSK/H6C7niJbbhNhXaEUeiQe0adp8R0elRQiWyRCXsYbLAmuzv7m6joCxIw93wPtNLQWXdPly9/M5tyKZwo2HmpYiCuYu6DkRRTAhNLLNliEgFeqX1Jxym1jBYvMZoWxGoGVCACSEFgArnOmBlqyVe0E03DjcOWRoATXRJU/10xH9ME2tNXChae4PBAcBnEWFkclMjsqzvn//kduq3+6a0puIONpkIBWU4Z092wZ9sYeplRNu3sdVvgrJc7RAZNZ+vtgwduG+SOuuSDRKXfviU+Q80Y+k= + +Start = 281474959933440 +End = 281474959937536 +TreeSize = 281474959937536 +SubtreeHash = ja9jV5BbQ4LA34S0K8vg1cTQ+D0pHjqSNFPOyS9lQmY= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +Proof = 6VwEtvBQDGIQ6slUr6CWzOyKSX6ejcBRyjt3E8MBotl+ieeqqeF++4NwkXFGo6f+smxLbq31dw091bZYGsOUyG+lyeev4Fkd0TGpHJf0Bljg3pGagoxczfGhSecfU9y+OLywfYy7/prUrwQFUtAyWw3nHltkWyMWfgZnaal5fCuIWQdA8ccXLzlnvml8GKvpgH8cymmkyrwQNq2WeehN0F0PogvrJye4Eb07pRK00j5yc92ZwbFrP2GYgpiHhe5tFg/phw9dHvBEO8Do5vIfipJ0g43fCG+aOxwwicUYWBjND3yMgdSeXkxr7RxWNDxxS6l/LXRJOBubuvFtbHFfgKBCy5VYfM4vaW3qJ2R1FyJL/wqloshNyp9059ybnnlpTCX2TBETlZucaiKGa5zRk2Ahg4Re9kqQdQVLEkJrbgVmx67B12JJl4l0CjjBP5F/9DxktgzzU6/SdzE9jKZ3uQTylrmyUMWgrLnU6oGwFAL82whJ12coyqrEhSOteBXTw7DXulW2f8qvF04ci4e+2tUsAcFW8ZgRokb4eB7xNuC+ANcuGGOjfhdZwry8+ciMDhyV3QyVdUlc2pjFqx5JSjOS8CugMAdRtLYDIX3VFb3FsiIXDLyV4hI6dh9WMfXcSjFuvHwikC7eU0AJy0iHcxHXk8eohi79q8RhF2a5HQKX1ZVkKCrqtJ+YOGLZiKV6ngMX1fMEBbUxjksEeR++Zwwyl6otZqyX+apB0ivx+gu54iW24TYV2hFHokHtGnafEdHpUUIlskQl7GGywJrs7+5uo6AsSMPd8D7TS0Fl3T5cvfzObcimcKNh5qWIgrmLug5EUUwITSyzZYhIBXql9SccptYwWLzGaFsRqBlQgAkhBYAK5zpgZaslXtBNNw43DlkaAE10SVP9dMR/TBNrTVwoWnuDwQHAZxFhZHJTI7Ks75//5Hbqt/umtKbiDjaZCAVlOGdPdsGfbGHqZUTbt7HVb4KyXO0QGTWfr7YMHbhvkjrrkg0Sl374lPkPNGPp + +Start = 140737488355328 +End = 281474959933440 +TreeSize = 281474959937536 +SubtreeHash = /vrRzzH3QaA1bxJzb5popFUlGmQFO1lsiddqIpwMSPM= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +Proof = 6VwEtvBQDGIQ6slUr6CWzOyKSX6ejcBRyjt3E8MBotmNr2NXkFtDgsDfhLQry+DVxND4PSkeOpI0U87JL2VCZn6J56qp4X77g3CRcUajp/6ybEturfV3DT3Vtlgaw5TIb6XJ56/gWR3RMakcl/QGWODekZqCjFzN8aFJ5x9T3L44vLB9jLv+mtSvBAVS0DJbDeceW2RbIxZ+BmdpqXl8K4hZB0DxxxcvOWe+aXwYq+mAfxzKaaTKvBA2rZZ56E3QXQ+iC+snJ7gRvTulErTSPnJz3ZnBsWs/YZiCmIeF7m0WD+mHD10e8EQ7wOjm8h+KknSDjd8Ib5o7HDCJxRhYGM0PfIyB1J5eTGvtHFY0PHFLqX8tdEk4G5u68W1scV+AoELLlVh8zi9pbeonZHUXIkv/CqWiyE3Kn3Tn3JueeWlMJfZMEROVm5xqIoZrnNGTYCGDhF72SpB1BUsSQmtuBWbHrsHXYkmXiXQKOME/kX/0PGS2DPNTr9J3MT2Mpne5BPKWubJQxaCsudTqgbAUAvzbCEnXZyjKqsSFI614FdPDsNe6VbZ/yq8XThyLh77a1SwBwVbxmBGiRvh4HvE24L4A1y4YY6N+F1nCvLz5yIwOHJXdDJV1SVzamMWrHklKM5LwK6AwB1G0tgMhfdUVvcWyIhcMvJXiEjp2H1Yx9dxKMW68fCKQLt5TQAnLSIdzEdeTx6iGLv2rxGEXZrkdApfVlWQoKuq0n5g4YtmIpXqeAxfV8wQFtTGOSwR5H75nDDKXqi1mrJf5qkHSK/H6C7niJbbhNhXaEUeiQe0adp8R0elRQiWyRCXsYbLAmuzv7m6joCxIw93wPtNLQWXdPly9/M5tyKZwo2HmpYiCuYu6DkRRTAhNLLNliEgFeqX1Jxym1jBYvMZoWxGoGVCACSEFgArnOmBlqyVe0E03DjcOWRoATXRJU/10xH9ME2tNXChae4PBAcBnEWFkclMjsqzvn//kduq3+6a0puIONpkIBWU4Z092wZ9sYeplRNu3sdVvgrJc7RAZNZ+vtgwduG+SOuuSDRKXfviU+Q80Y+k= + +Start = 281474959937535 +End = 281474959937536 +TreeSize = 281474959937536 +SubtreeHash = 8XUYMLnlYtQil8AI17vQcbGPb+RbvFBZaYbtlgWiX9k= +TreeHash = Zgr8al1Q2TrZ1rzGdYxXslIPtN2lvkk5jhvjkp18wLM= +Proof = YRAUMbHm5LhAnodK6uu0Oh38ZO59U0YrHv1AvrrKNBAusxrEeZxTrqt4DsOEJqWehOUcKxushaan2O0GCG1tDd2diWk/wI+gq5zfTXKc7HtTLNF5gHeHRtI5iAT8soqxJnV34hgrIJmE1QEfdnr3qzz/xVECvlf0tPXt0JcPON0TN9AAm5gEYoKjVeSWHcmcMusE3Gl8UfNf6GGBr25oJBRDD42yfjxPR3uid0yPgKE0ekieYI/iWnhlX0xdem/zJD98s3FSiPblLw/aVCdlDOedKNBJyLge5yz9CJ6pD99j9Nz7rYfbw1J/1oV6c5AbiJCYTSwmjoa3iSVbD8HlL+wX8YLdTkzIH540SPF+bELDPdyQ349VvkkPCfjFjLN65y9BDxSjo6hS9tpmQSh4lWEaRujeL2vVoLUg7Qc8ymHIwM+K557ZDwNTmptgnQ3Y8fVtOejfIdHfdgkQpl7guznfjlbjp+czQ2MVZcOKLwRk7iSLUZTJRWypJ0wbXeVE6VwEtvBQDGIQ6slUr6CWzOyKSX6ejcBRyjt3E8MBotl+ieeqqeF++4NwkXFGo6f+smxLbq31dw091bZYGsOUyG+lyeev4Fkd0TGpHJf0Bljg3pGagoxczfGhSecfU9y+OLywfYy7/prUrwQFUtAyWw3nHltkWyMWfgZnaal5fCuIWQdA8ccXLzlnvml8GKvpgH8cymmkyrwQNq2WeehN0F0PogvrJye4Eb07pRK00j5yc92ZwbFrP2GYgpiHhe5tFg/phw9dHvBEO8Do5vIfipJ0g43fCG+aOxwwicUYWBjND3yMgdSeXkxr7RxWNDxxS6l/LXRJOBubuvFtbHFfgKBCy5VYfM4vaW3qJ2R1FyJL/wqloshNyp9059ybnnlpTCX2TBETlZucaiKGa5zRk2Ahg4Re9kqQdQVLEkJrbgVmx67B12JJl4l0CjjBP5F/9DxktgzzU6/SdzE9jKZ3uQTylrmyUMWgrLnU6oGwFAL82whJ12coyqrEhSOteBXTw7DXulW2f8qvF04ci4e+2tUsAcFW8ZgRokb4eB7xNuC+ANcuGGOjfhdZwry8+ciMDhyV3QyVdUlc2pjFqx5JSjOS8CugMAdRtLYDIX3VFb3FsiIXDLyV4hI6dh9WMfXcSjFuvHwikC7eU0AJy0iHcxHXk8eohi79q8RhF2a5HQKX1ZVkKCrqtJ+YOGLZiKV6ngMX1fMEBbUxjksEeR++Zwwyl6otZqyX+apB0ivx+gu54iW24TYV2hFHokHtGnafEdHpUUIlskQl7GGywJrs7+5uo6AsSMPd8D7TS0Fl3T5cvfzObcimcKNh5qWIgrmLug5EUUwITSyzZYhIBXql9SccptYwWLzGaFsRqBlQgAkhBYAK5zpgZaslXtBNNw43DlkaAE10SVP9dMR/TBNrTVwoWnuDwQHAZxFhZHJTI7Ks75//5Hbqt/umtKbiDjaZCAVlOGdPdsGfbGHqZUTbt7HVb4KyXO0QGTWfr7YMHbhvkjrrkg0Sl374lPkPNGPp + +Start = 0 +End = 0 +TreeSize = 9223372034707324928 +SubtreeHash = 47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +ProofEmpty + +Start = 0 +End = 9223372034707324928 +TreeSize = 9223372034707324928 +SubtreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +ProofEmpty + +Start = 0 +End = 2147483648 +TreeSize = 9223372034707324928 +SubtreeHash = l+Pu21VTnmVgLmPlu1Bdqi/4aDyWxsnLWlTBRg5C5Bs= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +Proof = fLHgvLjmmGvBERzg+EjFTVMaNRreJrlb9qSH1fxyYfvMh3vuVrdusPPhSPHeYPyvVR8yjKRDBWhba8mC8xbGYRoSIAjq66u5w3skEvSn4ZguaVdPOnlxWcxGjfwnjGBFEdhbOpzSI9lEdZlK04vMbX/TCcFzGSw12iZqo+f7HiA5NmQKoS0UDTKYfJSab+jQsN91isZe9yAn1U/BKxZqCFIqIPMAlP2JQip0OqNyDFagMUFFCUV9MAI0XAmL5R7wX4BPWjnBPxW4+x46bdiBGXM9tew4GlZ31r2OfXEQIRz2PN6dGLTq/CEnClBVpKH4g6TYrRPD4yrzWZ/GxapsQe5sKjVE7JiPZvU5tlnnGsvMUsc8jC8pggruXUS8QZj1Rd4quoWAxt+anEhOj0LfDJ6fU1w7OGH8LV4feztibsrmBZwsrUvieixlP14DF5eItt68wYC4uojAAfvx7t53+rhwWH0Gm343+kH+9ugVrA4EzkXeCEAztAWJDxtDTkSnA4ZhlPheT6v3n7eYnQLFnoWXNzGEB3roV1I4NvLvx9ItJ5iv6sqC6wW2tCAhxcA5c5TnhHceQVGmn9zMXxZnYGylilAAus6mvdrlCTqd5DIE9Ay8ZIpGV1p8yK77iCOn4j2ujNCW+/IuUhabYyl/y14DRnnTCaHlyyzIT5yMeBc1RmBooQUBC3PP/zzGTzslCeaIcJ+Iz3OLE4iifM3HBB0+Ois9n/800IQg/oeqw8wQFCGhHmYztoW5vaGO9N82JPkaf8rAHZCJdcxj6fwwzxewSxRjc2JFd8ubO4K8aDCJlYEMJ2590BlhYCJTi8mJG8ZyCTwCBxfwfkI2G2wng3k6wukwDlRs+GiO46ucCSTeo4E7NjCS8koNHetUO3U3NeHcbxmfG1CarBUBogCUr3aWjdr9ToIU2v7p74dujtlZyllmyfBorlr9fO8cicVM7cRuPZeSTSQmom7YFCODz/BW6IbsDumRbzQrgAx+vG8T6mCRj31j9hGaVN2BFyENvLMyHnf0EMyvWPQTPDYeWljBKysgeyhn1PGDGpD52H3gUDrNBpF/n5AvExzBF53atnGdHW1BFRDGMbGIdIDtM0OnaXD06n2e0MHEu2fky2soLXNCvpft+c+1QtzLSy8ZmB49p2yyHcJuqv5GJcfBqvpMc0CQRvJGQGx8nK7zkgMUkcdEm7gTcAmoWeC5/jchdT3MXU0gPPiPkcn0cdxI2/WOSR1McXI2nVZ7NMoTekzw4/4Nuqg43I8fg416PN/vc7G5lXOp2whEzC0a5CFfahA7/Co1jmg+kHqWVFUl88B9bcO60pa+ZYoJf6v71QXqaMMgOOn4DQ7wavXeqgcW1g== + +Start = 0 +End = 9223372034707292160 +TreeSize = 9223372034707324928 +SubtreeHash = GO4eEH2zIqBPXzVeYNLAmIokg1W+Pmyr9bKISz+nHk8= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +Proof = f2Q6DopwKpHC0nYwKd9VZwHg/z8P5BJZpYZu3YeSM5njwkKdGa4zgmVwFg1SXfQvk8VrjblfnIjCKC5wbYFfeUTkxsIDQuEp9Btz5yku54fwKRRcPJ8Fs9fVlXl65aTcMOCB/mHLAb5hlGTg7gLJOQwAIAIQCoyvc0Mrj+DfOrIcBajxnq7xox9ljabkD8iQgyvQLiSvNDc8UgRKnsaFiq8R474fnM1dsZXQU/udWD3vZw2AGdzT2bfE0c2X75k6S9uLVkQd3f4rVnjLQ8CsxfaJsZDV5eb0hMeSSfResAwABNlDfijNpLhxcCs8vh0NtDGzMp49GwGNzBRV42f0e3FzMx5XFlPm/4iDxe609E3rnBpfacC4AcXuM5MmwBttSNr+82IT5uzp0kSd3SvmegCrrM7Fsaly9MHBABo4mMnmSUEOjQpzKRorBl5z/xRaxDqE2mnm7TKgOAz4DDm4iUAVU4KvOVXHmUutpjcCZbQ7Pn+m9ozHXvdx1DJ8UMqUNA0M4LZxWhfEZXKridoZSBZPsIISxGcBbn4xl1va2R7ocH07T5b3eR1DKfKXID4EY9a79pLKy3BjCUR2rdPUcOjqLKyi3iVr8zx3j4/spcbcXnAJPeFAxVvOJsw06vITW5QVEFOlsgJkFyN/NqVdJgonFak+npIgjo4wwmUMDjIz3vyzqOyVfjvKDkYCTTvA3rK2pvCB1z9NYK7OBvTuB25B5SGt0RaBPtIYX518p+q2o4OEU2MuopzZxhiF1ys/0pdnkAK0tjEyP39JhdE2MPM3UCav4VdgHcP6Gws0otepSojCRDWwB/XDzhgm6c4MZV42a2IkLkKbzYkVAOWte0mzi/CO8aj/tmOqw7y1TRNPfSsPvKc5Z7kMoDoka4p4IF/C3twefGkooLVgh9rhgFjb4627Lmcr8aVzKWRAaghnMLUJQxdlDqytzeTyOmf5cXzruFQ7zaRM7oyz2jJwicwiYsh1EvO4gPE+DkxFXHu8g5ZiH9smtDVmaz8jvZklhkj5yhHfRO8BTz2S3irM2vUuumfMdEm0zarJqsnxTfBw3z47EhvTVVlrEmTK8hwIjNot7zNuwej5/P2grCv41k+oOWhnmypC8w3dM9ic+Bz3mdpc7Wtt2/TvDtJ5JhyFvgmuRIzt3Ecuu6wYRVJ4bPFT4a42wJNftq8LkBtioMyun5A23ai7i2fUNgPeJk1iZpmdmxa7VAnLDF/utV6gS5yGm8/3MzmqUUe+yxnIEhHbiMpWorzc0LJSx1y92vbHR8suZmxbOghM0TFprCkD1Mh1KAsRas89ISSSL7L0g2l0E8HSHLzAPNrGOfq43a12IyqZGm4grlXHuqA6NZC7b+nBykfTrCxE1OAwLRhWmkBPWKqwKrzF8orzs+oX62Vk + +Start = 9223372034707292160 +End = 9223372034707324928 +TreeSize = 9223372034707324928 +SubtreeHash = 48JCnRmuM4JlcBYNUl30L5PFa425X5yIwigucG2BX3k= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +Proof = f2Q6DopwKpHC0nYwKd9VZwHg/z8P5BJZpYZu3YeSM5lE5MbCA0LhKfQbc+cpLueH8CkUXDyfBbPX1ZV5euWk3DDggf5hywG+YZRk4O4CyTkMACACEAqMr3NDK4/g3zqyHAWo8Z6u8aMfZY2m5A/IkIMr0C4krzQ3PFIESp7GhYqvEeO+H5zNXbGV0FP7nVg972cNgBnc09m3xNHNl++ZOkvbi1ZEHd3+K1Z4y0PArMX2ibGQ1eXm9ITHkkn0XrAMAATZQ34ozaS4cXArPL4dDbQxszKePRsBjcwUVeNn9HtxczMeVxZT5v+Ig8XutPRN65waX2nAuAHF7jOTJsAbbUja/vNiE+bs6dJEnd0r5noAq6zOxbGpcvTBwQAaOJjJ5klBDo0KcykaKwZec/8UWsQ6hNpp5u0yoDgM+Aw5uIlAFVOCrzlVx5lLraY3AmW0Oz5/pvaMx173cdQyfFDKlDQNDOC2cVoXxGVyq4naGUgWT7CCEsRnAW5+MZdb2tke6HB9O0+W93kdQynylyA+BGPWu/aSystwYwlEdq3T1HDo6iysot4la/M8d4+P7KXG3F5wCT3hQMVbzibMNOryE1uUFRBTpbICZBcjfzalXSYKJxWpPp6SII6OMMJlDA4yM978s6jslX47yg5GAk07wN6ytqbwgdc/TWCuzgb07gduQeUhrdEWgT7SGF+dfKfqtqODhFNjLqKc2cYYhdcrP9KXZ5ACtLYxMj9/SYXRNjDzN1Amr+FXYB3D+hsLNKLXqUqIwkQ1sAf1w84YJunODGVeNmtiJC5Cm82JFQDlrXtJs4vwjvGo/7ZjqsO8tU0TT30rD7ynOWe5DKA6JGuKeCBfwt7cHnxpKKC1YIfa4YBY2+Otuy5nK/GlcylkQGoIZzC1CUMXZQ6src3k8jpn+XF867hUO82kTO6Ms9oycInMImLIdRLzuIDxPg5MRVx7vIOWYh/bJrQ1Zms/I72ZJYZI+coR30TvAU89kt4qzNr1LrpnzHRJtM2qyarJ8U3wcN8+OxIb01VZaxJkyvIcCIzaLe8zbsHo+fz9oKwr+NZPqDloZ5sqQvMN3TPYnPgc95naXO1rbdv07w7SeSYchb4JrkSM7dxHLrusGEVSeGzxU+GuNsCTX7avC5AbYqDMrp+QNt2ou4tn1DYD3iZNYmaZnZsWu1QJywxf7rVeoEuchpvP9zM5qlFHvssZyBIR24jKVqK83NCyUsdcvdr2x0fLLmZsWzoITNExaawpA9TIdSgLEWrPPSEkki+y9INpdBPB0hy8wDzaxjn6uN2tdiMqmRpuIK5Vx7qgOjWQu2/pwcpH06wsRNTgMC0YVppAT1iqsCq8xfKK87PqF+tlZA== + +Start = 4611686018427387904 +End = 9223372034707292160 +TreeSize = 9223372034707324928 +SubtreeHash = 7SL2yX+ndOHt7Owfk7rA9iQewKcwT+f4LiS5bi6qQas= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +Proof = f2Q6DopwKpHC0nYwKd9VZwHg/z8P5BJZpYZu3YeSM5njwkKdGa4zgmVwFg1SXfQvk8VrjblfnIjCKC5wbYFfeUTkxsIDQuEp9Btz5yku54fwKRRcPJ8Fs9fVlXl65aTcMOCB/mHLAb5hlGTg7gLJOQwAIAIQCoyvc0Mrj+DfOrIcBajxnq7xox9ljabkD8iQgyvQLiSvNDc8UgRKnsaFiq8R474fnM1dsZXQU/udWD3vZw2AGdzT2bfE0c2X75k6S9uLVkQd3f4rVnjLQ8CsxfaJsZDV5eb0hMeSSfResAwABNlDfijNpLhxcCs8vh0NtDGzMp49GwGNzBRV42f0e3FzMx5XFlPm/4iDxe609E3rnBpfacC4AcXuM5MmwBttSNr+82IT5uzp0kSd3SvmegCrrM7Fsaly9MHBABo4mMnmSUEOjQpzKRorBl5z/xRaxDqE2mnm7TKgOAz4DDm4iUAVU4KvOVXHmUutpjcCZbQ7Pn+m9ozHXvdx1DJ8UMqUNA0M4LZxWhfEZXKridoZSBZPsIISxGcBbn4xl1va2R7ocH07T5b3eR1DKfKXID4EY9a79pLKy3BjCUR2rdPUcOjqLKyi3iVr8zx3j4/spcbcXnAJPeFAxVvOJsw06vITW5QVEFOlsgJkFyN/NqVdJgonFak+npIgjo4wwmUMDjIz3vyzqOyVfjvKDkYCTTvA3rK2pvCB1z9NYK7OBvTuB25B5SGt0RaBPtIYX518p+q2o4OEU2MuopzZxhiF1ys/0pdnkAK0tjEyP39JhdE2MPM3UCav4VdgHcP6Gws0otepSojCRDWwB/XDzhgm6c4MZV42a2IkLkKbzYkVAOWte0mzi/CO8aj/tmOqw7y1TRNPfSsPvKc5Z7kMoDoka4p4IF/C3twefGkooLVgh9rhgFjb4627Lmcr8aVzKWRAaghnMLUJQxdlDqytzeTyOmf5cXzruFQ7zaRM7oyz2jJwicwiYsh1EvO4gPE+DkxFXHu8g5ZiH9smtDVmaz8jvZklhkj5yhHfRO8BTz2S3irM2vUuumfMdEm0zarJqsnxTfBw3z47EhvTVVlrEmTK8hwIjNot7zNuwej5/P2grCv41k+oOWhnmypC8w3dM9ic+Bz3mdpc7Wtt2/TvDtJ5JhyFvgmuRIzt3Ecuu6wYRVJ4bPFT4a42wJNftq8LkBtioMyun5A23ai7i2fUNgPeJk1iZpmdmxa7VAnLDF/utV6gS5yGm8/3MzmqUUe+yxnIEhHbiMpWorzc0LJSx1y92vbHR8suZmxbOghM0TFprCkD1Mh1KAsRas89ISSSL7L0g2l0E8HSHLzAPNrGOfq43a12IyqZGm4grlXHuqA6NZC7b+nBykfTrCxE1OAwLRhWmkBPWKqwKrzF8orzs+oX62Vk + +Start = 9223372034707324927 +End = 9223372034707324928 +TreeSize = 9223372034707324928 +SubtreeHash = 8fu56gp4lNKK7Zwhqh0PlVxtIHa1I2oaC1XFgxJdVFM= +TreeHash = S4ZzYwFaXceP9ZH8nrAyY5MCMABS0qhchAsV9DxAPqg= +Proof = 0W01pK4wuQ7Eb2LUSgXsyEzrZK/1DkS0LgWkpY1m1oQrTdRoIp5pxc7TggoGnr1RnxXaORzzDT5WEbV0rJGuSmsMsoOgiOBXFAH0si3e5vKdkd1FszxRF0phsazRaD8bTvDUnS06gUKeFxsCck2QFs6NYlTOrbA+dp3txf8WgVqMD+2pDFIGtWEkT+a1E70ZxFUeWts8A/c6+CZgKtECdAGSS6ly5Kutf/2sLlYuP1gnMF/K8L+weEIqOatLzxiUq6QjV/qetIgulIeN+awow+mM5mQxJd/5XnMirrUXYE9XG8Hn+DCH2+FykLd3UCkvy7Zbd5phH5mq6bSKzHyghWwnn6607IOzoJaBatfNuB3bjzGlLlILdOX25QFKG7OpBFnFFspjzYCyCAc+43AJBArOa01YH8MIs0ehVjMzdvKTi412LzvYwwZfPj5ag/gLkqEc4DhFfsM/9oO6oXFj6DQkI9RDlMQ/Cy4KJA6q0jaxZzkb0yeSGgK+tULLrw36Yv3tAvcfgKckQWFXtcSPT3NfGFf12fHfrFZhdTIpf/YqvIFxQ4YPocBARqwZ3dVA+T0+orH9/nbMTL4vZThwlU6fC/rCK1XMl00bIoeC6uO6TXpNvXs26C55Ronkrhxif2Q6DopwKpHC0nYwKd9VZwHg/z8P5BJZpYZu3YeSM5lE5MbCA0LhKfQbc+cpLueH8CkUXDyfBbPX1ZV5euWk3DDggf5hywG+YZRk4O4CyTkMACACEAqMr3NDK4/g3zqyHAWo8Z6u8aMfZY2m5A/IkIMr0C4krzQ3PFIESp7GhYqvEeO+H5zNXbGV0FP7nVg972cNgBnc09m3xNHNl++ZOkvbi1ZEHd3+K1Z4y0PArMX2ibGQ1eXm9ITHkkn0XrAMAATZQ34ozaS4cXArPL4dDbQxszKePRsBjcwUVeNn9HtxczMeVxZT5v+Ig8XutPRN65waX2nAuAHF7jOTJsAbbUja/vNiE+bs6dJEnd0r5noAq6zOxbGpcvTBwQAaOJjJ5klBDo0KcykaKwZec/8UWsQ6hNpp5u0yoDgM+Aw5uIlAFVOCrzlVx5lLraY3AmW0Oz5/pvaMx173cdQyfFDKlDQNDOC2cVoXxGVyq4naGUgWT7CCEsRnAW5+MZdb2tke6HB9O0+W93kdQynylyA+BGPWu/aSystwYwlEdq3T1HDo6iysot4la/M8d4+P7KXG3F5wCT3hQMVbzibMNOryE1uUFRBTpbICZBcjfzalXSYKJxWpPp6SII6OMMJlDA4yM978s6jslX47yg5GAk07wN6ytqbwgdc/TWCuzgb07gduQeUhrdEWgT7SGF+dfKfqtqODhFNjLqKc2cYYhdcrP9KXZ5ACtLYxMj9/SYXRNjDzN1Amr+FXYB3D+hsLNKLXqUqIwkQ1sAf1w84YJunODGVeNmtiJC5Cm82JFQDlrXtJs4vwjvGo/7ZjqsO8tU0TT30rD7ynOWe5DKA6JGuKeCBfwt7cHnxpKKC1YIfa4YBY2+Otuy5nK/GlcylkQGoIZzC1CUMXZQ6src3k8jpn+XF867hUO82kTO6Ms9oycInMImLIdRLzuIDxPg5MRVx7vIOWYh/bJrQ1Zms/I72ZJYZI+coR30TvAU89kt4qzNr1LrpnzHRJtM2qyarJ8U3wcN8+OxIb01VZaxJkyvIcCIzaLe8zbsHo+fz9oKwr+NZPqDloZ5sqQvMN3TPYnPgc95naXO1rbdv07w7SeSYchb4JrkSM7dxHLrusGEVSeGzxU+GuNsCTX7avC5AbYqDMrp+QNt2ou4tn1DYD3iZNYmaZnZsWu1QJywxf7rVeoEuchpvP9zM5qlFHvssZyBIR24jKVqK83NCyUsdcvdr2x0fLLmZsWzoITNExaawpA9TIdSgLEWrPPSEkki+y9INpdBPB0hy8wDzaxjn6uN2tdiMqmRpuIK5Vx7qgOjWQu2/pwcpH06wsRNTgMC0YVppAT1iqsCq8xfKK87PqF+tlZA== + +Start = 0 +End = 0 +TreeSize = 18446744069414649856 +SubtreeHash = 47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +ProofEmpty + +Start = 0 +End = 18446744069414649856 +TreeSize = 18446744069414649856 +SubtreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +ProofEmpty + +Start = 0 +End = 4294967296 +TreeSize = 18446744069414649856 +SubtreeHash = 5sumDOBGCaHs7HemNFSywR2dY4TzjmNwdCB/ZcMBJbs= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +Proof = zId77la3brDz4Ujx3mD8r1UfMoykQwVoW2vJgvMWxmEaEiAI6uurucN7JBL0p+GYLmlXTzp5cVnMRo38J4xgRRHYWzqc0iPZRHWZStOLzG1/0wnBcxksNdomaqPn+x4gOTZkCqEtFA0ymHyUmm/o0LDfdYrGXvcgJ9VPwSsWaghSKiDzAJT9iUIqdDqjcgxWoDFBRQlFfTACNFwJi+Ue8F+AT1o5wT8VuPseOm3YgRlzPbXsOBpWd9a9jn1xECEc9jzenRi06vwhJwpQVaSh+IOk2K0Tw+Mq81mfxsWqbEHubCo1ROyYj2b1ObZZ5xrLzFLHPIwvKYIK7l1EvEGY9UXeKrqFgMbfmpxITo9C3wyen1NcOzhh/C1eH3s7Ym7K5gWcLK1L4nosZT9eAxeXiLbevMGAuLqIwAH78e7ed/q4cFh9Bpt+N/pB/vboFawOBM5F3ghAM7QFiQ8bQ05EpwOGYZT4Xk+r95+3mJ0CxZ6FlzcxhAd66FdSODby78fSLSeYr+rKgusFtrQgIcXAOXOU54R3HkFRpp/czF8WZ2BspYpQALrOpr3a5Qk6neQyBPQMvGSKRldafMiu+4gjp+I9rozQlvvyLlIWm2Mpf8teA0Z50wmh5cssyE+cjHgXNUZgaKEFAQtzz/88xk87JQnmiHCfiM9zixOIonzNxwQdPjorPZ//NNCEIP6HqsPMEBQhoR5mM7aFub2hjvTfNiT5Gn/KwB2QiXXMY+n8MM8XsEsUY3NiRXfLmzuCvGgwiZWBDCdufdAZYWAiU4vJiRvGcgk8AgcX8H5CNhtsJ4N5OsLpMA5UbPhojuOrnAkk3qOBOzYwkvJKDR3rVDt1NzXh3G8ZnxtQmqwVAaIAlK92lo3a/U6CFNr+6e+Hbo7ZWcpZZsnwaK5a/XzvHInFTO3Ebj2Xkk0kJqJu2BQjg8/wVuiG7A7pkW80K4AMfrxvE+pgkY99Y/YRmlTdgRchDbyzMh539BDMr1j0Ezw2HlpYwSsrIHsoZ9TxgxqQ+dh94FA6zQaRf5+QLxMcwRed2rZxnR1tQRUQxjGxiHSA7TNDp2lw9Op9ntDBxLtn5MtrKC1zQr6X7fnPtULcy0svGZgePadssh3Cbqr+RiXHwar6THNAkEbyRkBsfJyu85IDFJHHRJu4E3AJqFnguf43IXU9zF1NIDz4j5HJ9HHcSNv1jkkdTHFyNp1WezTKE3pM8OP+DbqoONyPH4ONejzf73OxuZVzqdsIRMwtGuQhX2oQO/wqNY5oPpB6llRVJfPAnKFdSyyonv+BG6/QhodDcLhlMdmNyuyNHqx44N9Mprax9BmEtDmOUFNbf+tstGyhA/hmurtSWrdWOeg5RvZO1A== + +Start = 0 +End = 18446744069414584320 +TreeSize = 18446744069414649856 +SubtreeHash = kLAHCsMvotCD7hG4jnlw/vIEQ4E+OmDmEVPW6k0AN88= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +Proof = vZJRXduiheiMcxQw+o66MiWy1HRAsB8AXKdM6TThT67ZHstFIFu31w8CVhMh1AAjCF5ptJ4Sh539UK8ukXi8Z1MQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8Pz1OtAubAAuekbIL/Z6jd1rrI3EGZjfwPu26R+v2PvQ5IxpVNXkSu1STsiubjfILNrF2TwNHngINN2q4+8RmhR + +Start = 18446744069414584320 +End = 18446744069414649856 +TreeSize = 18446744069414649856 +SubtreeHash = 2R7LRSBbt9cPAlYTIdQAIwheabSeEoed/VCvLpF4vGc= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +Proof = vZJRXduiheiMcxQw+o66MiWy1HRAsB8AXKdM6TThT65TEJ2IbgGQnw4DIRqf7m24Mv4rGIFqnJjHpKkSK3uNuoSAGVpzO7mkVPa24gt3+CQkHxn+CO4Bp9TLu/6U9piPUNo+zwem27NZMN0tkemQ6z8Il9dBEEo/u35wrSZLVoQzGsDeKJ/AODEcK5kC9CVH6WSjhN++5kqrNscyngQdIFrQNq7JslkWN7oKwUTfx+8KxkfFlL/T9dFce+0Og4o0e3RhDF7T/Fxxm7+KvSngMSoVxUEDMV1hzJrOuzxqtfBUWrLKJY22aQdds7l0eFA9aZltEeYa7BwjYQkbLaiKytys14/WmgQXUQs69yEAPks3BOdwBdYhB+Ypa35Cw2RTZtPDbDZWUJuK7BycY/rPO9acI8I1FL7YmKsCcBp2LYuwWOD4mZ2Rrj6SVucDF6YXZRyM9zH5FO8PGi3KJCY+Gyc8KCdiKn9RJqTgZib1CZ2lQwlrJ7AroZ8xjwDggIP2CzEkvnphp1n//hJwh3fLugE5yH7vI2soJNYcDBoDobJw97+W/Cb3sB958z0tiWgpuZGuwSsjDu4lrahPOHY7QG+aevXquQZzkLWzh1Ao4KoigD8CAWWy61fEvL0ddB0GaXTSb94+mwr0m49+/d4I9IOFrwJFRFH1ekNRxsYbMkroV3a33kmC6iFuI3VeUDH7aPh1oUTo/cq6osQmrQK7tywa5w7aSWLZr7d0xMH6t1Xalvj6eyrnTYfRoo1HXEPFI4dketEV8yW7WxN12smv5Eme1j6bx0MtDjwBZk5JF+MF0/SKg5y6o3VDPqUo8ElUe4HowuTgy3rqDQL69kf2Nf2L8M5pp+XyIrMePSAGD79kk6v2kymB1QlYS2avaIpCeCcRpR6j4HQw938b4KQTDNQO9dVY6uX2k/bFm69XfDg78DDYHiwRQcgliSfOEHLBPy+iEwsD64+5bAzQ+OUL/5Z/XMztzArAJRCfkVLz6LXdxC7IYQZUD0Thq2WO2uoqekGTufFncEQYj2Vl1IDsmItq9TrTGbtmrqJkDuqPNWmBUxxWIJUWsT8OJJrzpOtHw0BFdyprvK6avniNh70YcZTwMVFw+KyxDOA43roaY4CnCK6nFVDs477C6r0wSDJMoltiaLptKbApXF3qEWHaWaLyNp1s4kN258wZXBsWReP/w2jqq7biDErg6F/ucobypUgHncgTQph8B+s1zYEEHqFBUjsJhOneI5gjhE6KhQnElxtgC1aBDEcZZn56raPD89TrQLmwALnpGyC/2eo3da6yNxBmY38D7tukfr9j70OSMaVTV5ErtUk7Irm43yCzaxdk8DR54CDTdquPvEZoUQ== + +Start = 9223372036854775808 +End = 18446744069414584320 +TreeSize = 18446744069414649856 +SubtreeHash = chJTrP+nG+TRpaDQOCA1Imel6Utb10WMEHMsCjgBq00= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +Proof = vZJRXduiheiMcxQw+o66MiWy1HRAsB8AXKdM6TThT67ZHstFIFu31w8CVhMh1AAjCF5ptJ4Sh539UK8ukXi8Z1MQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8Pz1OtAubAAuekbIL/Z6jd1rrI3EGZjfwPu26R+v2PvQ5IxpVNXkSu1STsiubjfILNrF2TwNHngINN2q4+8RmhR + +Start = 18446744069414649855 +End = 18446744069414649856 +TreeSize = 18446744069414649856 +SubtreeHash = GA7MCj5ulNkBnLFNi2oTQYgLDO5FG06kGH2bCucmabM= +TreeHash = CtAOBYUXQlepPUPshM/6ilJnVxFJ8JDHjhGNWy1iUps= +Proof = F31+8AYjBQ6DIlIIwLSa6mm0SqKUjC6Zmpd6xY244ROB2fpnaGzS765NsJEr4H7eYwu6mh0gqCgMqRWNa1dQuGHWVDvkrvU/1FDjpLbFReW14FBYjhw+uqY4OhDadtgdbAslb5affn+GH/VM4u3mz1fVzpDuDbXObcC7CtWMSxt301qwIxfGMPV+u878zGq/JDOOZLjqTQu+p0IXl3Ry95Uw7qeCWBkxorv0BDSRf9j6J5JdA29R/AypVzX3CFQk97dL9WD+QE45G+AO4RrKq7ZmIk2t+RUUYwQDhreLqMrHI9MMXbuGY6edIzUxz4jghWN+fpbXz+gnSAxTiT86T2LHvkiMfAZrJaCpD1nhmgBIo2RiqUG55ygZiOQCclMzXE15E+bcjBoYauLhzyNjgS2r9RmpDMWdVdCcqvTGRadRVNjyWhnLSa2ZMmNRSwLzvgetHtZSMxDG+sKGgHJMbwX1SnEXg839IpqX2/F3HbW1nkHw105CJYQCGZ9eoKd/3MTVZdAw6FXcS4rICOyQBEs3tVscu4cAbmSiHKNNASaPV2AWUCZ9O11Q2Ux1NOCKmdVjz5B1Fc7u9/8NAYKiFUP2q9bosWdGJYndIteAEeNhO3h748omvs/X2qQpzx5Y4N3Ti57SBCTVnRuCsO6exDe8evLvbgLLYBDFhMbI6KO9klFd26KF6IxzFDD6jroyJbLUdECwHwBcp0zpNOFPrlMQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8Pz1OtAubAAuekbIL/Z6jd1rrI3EGZjfwPu26R+v2PvQ5IxpVNXkSu1STsiubjfILNrF2TwNHngINN2q4+8RmhR
diff --git a/crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt b/crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt new file mode 100644 index 0000000..f7a9c6b --- /dev/null +++ b/crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt
@@ -0,0 +1,170 @@ +# Large Merkle Tree inclusion proof tests. +# From https://github.com/ietf-plants-wg/merkle-tree-certs/blob/6542aaed9e8ddaaf265ce2f0b459818d8cd4534e/demo/large_inclusion_proofs.json + +Index = 0 +Start = 0 +End = 281474959937536 +EntryHash = d4HnfT9F7o82o9ZoKXHIyubc7UUfmMSK75YA3Z33s+g= +SubtreeHash = vPXapEGksUoT/02KAuLgTyGOB1YG01JkrSlvdHMZo/o= +Proof = 5Q5B/5iExWCpav319jnySiukiSbnLgiURtHyp+jvQgruIiD4ddD2Oc+r+NUtkQBPTc3OQ0KPGRLy0KCzEq388H1oWVjBkEBhG/ne1/3kmqa32UomvGfwo1nEYmgjttddzrVlm6q7Ie2XRDwb58JPFq8FIyiHoBDfpOJY0kSQFXIg/1hALW4kGyLIc8yvmO0mwLUzpJVzJUyhkZA3IKjx17NWRryhKQ3Dl1Sp8OSAIPWlomgIsBdxQqKnIpX1rJ+KWniKX1eUB8ANknUcCO56kbQYxkuVCQLxRF4t0KaUZlAZBJ6sowVI8ydF1/mmFCancC0IA12BR9SJuuY3L19uvImdaGX00ie+bhZx9hSBOCJzwDgkhyg4De2kV2gkaPqsKFd8Q6pV5nvnMqzthXcmpoM+jn0p1KOfy6bp7v7LcibeAM1DFKj/K615Qukl1UyBBHYNgcedZnr8aTGOkLi5no10cCfQ5xFMpi4Tx2sAleGH4m6uI7wAmzGWw78pFCMDwgLMj1AjBqtQOTGSVWD7kcs/TCSfGEpg2TprfTcMqRPWiXIIeRFXUI9rgtkdZWPuZMZZmoYUwjwwQbJfuRleng0ma3vHJeXZ7Jyo4A6ZqSaApwmWsjVnT3rdEtp30icXN7wbYyIKyuSlAJpzWvmc0AR9C3Bzt1HHpDyJvGMn+3tXJuMo9TyuIZvVzKzK0Vxn2zIHGLUKecuQNtOmKV4/TqZs8X+zkDkoF784jExNaVl8/HAMkjZ0wj2CCnYdjolmiytTu8kxCc6M9IACpn78zEoVsUgAKwhFyAOsCSvTFTjG6pDL1HWn6ditM9UGz+gfUH1AsZdgQBomerDaWVDkyQDwENRTCNe1Iu0NDrjPf3KnVTFFiSbkLeVT/GFJ7WQDRa7Gqd8QHPRZ/aCT8y7gkzjLX2GFn7O9iSNdkvSA8Nw5CZ4NquZqcoJdfaYykDIdPvic81Q9k8O6yg5QE9xOuXxHa/d4dvVUcEXM2dQR/Rf2rwu/oeEuWVo5cId4Kv7f9ouu7NoVf3UGyyA1pR+ZLlkNnL0ehRzujgzrdmr6d+EmrDs8G3Oji+uPmwPP0dQWlPmPwF3c0flzSazCqysjwgP3pTwHYoAYApVmwhkwo5Q5iefx9ZuWod8eiPZa7MfURI5iNF+cwmfX8opWEIMFCVBottuoz94yIlSdSeYIz+OovImCwH/L9TlMCSoEZGpLys3hgV5ceMsVNkCqWhe2WVJ9/cEeagPfoSiO08MXZHVSUgjzqCwpYLQ2BClDs7MGDxEELJjkKqWU/WpK1A/p3RTIn0ciGGDjg7ifUkKWHQ18seC8uOaYa8ERHOD4SMVNUxo1Gt4muVv2pIfV/HJh+8yHe+5Wt26w8+FI8d5g/K9VHzKMpEMFaFtryYLzFsZhGhIgCOrrq7nDeyQS9KfhmC5pV086eXFZzEaN/CeMYEUR2Fs6nNIj2UR1mUrTi8xtf9MJwXMZLDXaJmqj5/seIDk2ZAqhLRQNMph8lJpv6NCw33WKxl73ICfVT8ErFmoIUiog8wCU/YlCKnQ6o3IMVqAxQUUJRX0wAjRcCYvlHvBfgE9aOcE/Fbj7Hjpt2IEZcz217DgaVnfWvY59cRAhHPY83p0YtOr8IScKUFWkofiDpNitE8PjKvNZn8bFqmxB7mwqNUTsmI9m9Tm2Wecay8xSxzyMLymCCu5dRLxBmPVF3iq6hYDG35qcSE6PQt8Mnp9TXDs4YfwtXh97O2JuyuYFnCytS+J6LGU/XgMXl4i23rzBgLi6iMAB+/Hu3nf6uHBYfQabfjf6Qf726BWsDgTORd4IQDO0BYkPG0NORKcDhmGU+F5Pq/eft5idAsWehZc3MYQHeuhXUjg28u/H0i0nmK/qyoLrBba0ICHFwDlzlOeEdx5BUaaf3MxfFmdgbKWKUAC6zqa92uUJOp3kMgT0DLxkikZXWnzIrvuII6fiPa6M0Jb78i5SFptjKX/LXgNGedMJoeXLLMhPnIx4FxMlZLJOZys3474RUljLY0tUjDpQvW2aflFUWKb/PcWw + +Index = 187649984473770 +Start = 0 +End = 281474959937536 +EntryHash = isPrP/IFD2TRUbuDMZe95efTjXAVZu7aoQrp3rmhJgU= +SubtreeHash = vPXapEGksUoT/02KAuLgTyGOB1YG01JkrSlvdHMZo/o= +Proof = J8jxFrFS7ZiaxzqgXrLDfSDQuN9qxJj80eweWag2qqFyirR9tdjjQcPbl02p04lFX5rBgIriEOveoe9vn077nEhyVizYi1p1/YDGtwl+L3ngxcBBUrwvRLeHj3PP/vJnoz0fPgrllTOU5uTyv9AOuhOPHrR0DSb5LWzPr2JlgEwnuQTl1dBpi1+F6UL09iL7Mp2CVz+av6N/Xy83yUBZvHrVlRFzu9BuY9h7ABTCfY7OhJMzatTCSdZfRTHYp5LEEZbbJ+4clA9RRdqSdkK+NQEyFjGHTRjdgYKLmzNP5tV1zrQIg/98H3QJ/CeCoGvqqpr3CTzVvqgfemp1qcWyUa19XGGbKCEfTeWOtvq4TPmlhK+FwZyei51SnJ+3d4SjO/H2kkWtrDr7tUX5fp/ynfZaT5z5m3auu5H08dDMZrQyOf+H24pLIW6RzeStIvw/ziHBVhYtHORSy4buB3WL6ZBSKTeggsTaQGrB0lDIa4Pcv+OGCKSopQMyxeQoDckuJ6LgYjsalVncgWaIMEhX7rKfgvYj4l25X8jWVWCRa3jrqhrPt1PowQ8sWOt8yZB/6w/SJxJIiLnyZ0wdw3edYQLw3t93Nd7vyB0BGN+TLhqRToQm9BLVDzUnuHT/vrz1ct05wPUTCXj+rgNeEUqdTLbYpA71PCBueWTFHtA4Z2CH7SolYEVlVaNesg/YDSGtzh+CxKcUgZO4I4C7qx5qJUMvbM/7x/XlytrisBG0d4CDtzKgwJIXWPKRuIzq0plD83QoAdaGU3FM41HBjRfGVq3fNx2WWtIFd095CrRJJCLgedePjupoCFR1h4VPDyT80BnP5EEJAaSRLP17xelOMWRy4/f+MSlYwWLy9FNEkvo5D+Jue4iVDEXMnvCWExEqcgcCpEH86l3hvGn2z5JPz+k46JywkF/aVpKauW4nABqwNBY6wzb8zYpgS9sgwuwfadHMq1tzvPsB65hvYhQaGjaUSIk3cohCAd/gF1V+op+mcCHg+8Jdt14km09uFul6+p7l0adve2nTB400btAZApJcrcC5Suv+dshAPVsQ3ntOeWtcjdo9XSgfzGpcAIR0EIGGG1AUmgv6E1ql3u6c/ZrH5nH2gnmF1PhvyuWlRFYf72OxvhffsWZv7Ko8d2TmtLfxnWwnbnR6IbjoBs1nqIGiGEnEu0BZnC/5LCtrT7TTKr2UX4ploh2yg5KmaOUh75SQr85vI1rfbCcMRDSeFDlVzjbK6HJMqah3dzQxmqnVyOlwi4NYEfGVRzNQ1jVdX/9nm2nVbd4EPg1cVx8yWq+fdSsDrSZCnryWjNAMse1+hxyK+OF8VdeJ9NpEmlnWZ4rrXAR6Dx/ZufCOkHnZZQSJrRR0NzvESJ3ahUIjLHkxK7KKxTUQdeoUS8fvcjshjxpGdebn00Ww8t0j0E4P2RugtppNzIIsdK2zFzHdqeP4IhlpTLR1e8rHSuhWiIVqKLEEWjvEZ5g3OM0/W57/21Vhpd8G3BcUvYXwIgoGq9gt6ZqMsQE/+831PrqVivXl6ddBUVyB8nEauOjeZhNweZFsg2FVsHIEmHV2KPYuRSzSL9XpG6ntfats5MzL6f+JTahdZY8seM/nWVoDw9Ldq0gcwOzq1AT5kBpsfNjb7KC2KYzPdnB9ThIojpO2A5lIay2BnpijrwnjCjVx0JuIPc1+d1iN9Fow1SRItlHGrSA5HvOvNnNlEgp03pcVJhBxXxGx2PYgMrVUdkHOXhklkuZumxvMD0wyGaJGkzalYwB/ytZsiIkAuBZuQex5UpElC5w+6sgJrW3oFOJOgKIZolo4UGnaJnoqb++T+FUE7cIBlJExTaarOj3QvaD3RViLxgvCzAo6LWscV1Z5+RwsmLTlxYZPFGPgfjjf21BMpBjZCw/6XghWOocy6bOImyz/TOTFieCVrlpd3YjUXmLiCJqEWYuiMlR7BaeqQa+BY2Aj3k5zlWM15wueqomEBBvrIzndU8IBs80abkDXEcEMzwtLGl2D04epOMW0gqALOgp12+fh/s0flRFfVzvqcM2O + +Index = 281474959936170 +Start = 0 +End = 281474959937536 +EntryHash = UxYY5uXY/ycNdUtD98bOz9jIOmxT/qKFdwL2XbV49CM= +SubtreeHash = vPXapEGksUoT/02KAuLgTyGOB1YG01JkrSlvdHMZo/o= +Proof = t7lqOiiAH4e727YsYp2HuxHez0rvxzSfSFosOWFKZC16tGtK3A7hcW4lkeAD7sW75vB7xIBGCyDs2GdFU6z3CzFx8hcpd2mmEcrkMCNLqDhrbccjJCx5lBVN2RuYrVS2QS+7oB0rVECwSK6L4IXGiPWtmZTm9Gy4dD4BbQU2M0p3xeMdsQKhlCd6+B5euQdMQGiZBNkdvXwwUodOBhYeoJmMUdCesokrG0jz9oeyAkD4rl2lKrmQ70HMEgqyv5f0qlZTloONBe1LKV+/ERTt8KRD0uMj2x4rCh8iwFtL5hx39o/bSfl740oz9fCUmHjFTpqfHT1Lm7x/ERNbp5xTTarkX3Pbr5mrKGfozfeIoxyViaFT/yP/XO2Q9HPaC/mIVuT5qgOnqNvh4hQEdeDUEDgiYjSbb7yi2yersQqnJdfaHXty2fbmZVn9Iy5ZLdA2fokqN8csmxGyJdsEjBaIny5nnc5usJjRRDsMc3lCVtiwRMWwUtRh5fUrSsCDFwd2xfw/czpkQ5rIwciswj8fXUx3qK8URFkewMDbqxfAJ51+ieeqqeF++4NwkXFGo6f+smxLbq31dw091bZYGsOUyG+lyeev4Fkd0TGpHJf0Bljg3pGagoxczfGhSecfU9y+OLywfYy7/prUrwQFUtAyWw3nHltkWyMWfgZnaal5fCuIWQdA8ccXLzlnvml8GKvpgH8cymmkyrwQNq2WeehN0F0PogvrJye4Eb07pRK00j5yc92ZwbFrP2GYgpiHhe5tFg/phw9dHvBEO8Do5vIfipJ0g43fCG+aOxwwicUYWBjND3yMgdSeXkxr7RxWNDxxS6l/LXRJOBubuvFtbHFfgKBCy5VYfM4vaW3qJ2R1FyJL/wqloshNyp9059ybnnlpTCX2TBETlZucaiKGa5zRk2Ahg4Re9kqQdQVLEkJrbgVmx67B12JJl4l0CjjBP5F/9DxktgzzU6/SdzE9jKZ3uQTylrmyUMWgrLnU6oGwFAL82whJ12coyqrEhSOteBXTw7DXulW2f8qvF04ci4e+2tUsAcFW8ZgRokb4eB7xNuC+ANcuGGOjfhdZwry8+ciMDhyV3QyVdUlc2pjFqx5JSjOS8CugMAdRtLYDIX3VFb3FsiIXDLyV4hI6dh9WMfXcSjFuvHwikC7eU0AJy0iHcxHXk8eohi79q8RhF2a5HQKX1ZVkKCrqtJ+YOGLZiKV6ngMX1fMEBbUxjksEeR++Zwwyl6otZqyX+apB0ivx+gu54iW24TYV2hFHokHtGnafEdHpUUIlskQl7GGywJrs7+5uo6AsSMPd8D7TS0Fl3T5cvfzObcimcKNh5qWIgrmLug5EUUwITSyzZYhIBXql9SccptYwWLzGaFsRqBlQgAkhBYAK5zpgZaslXtBNNw43DlkaAE10SVP9dMR/TBNrTVwoWnuDwQHAZxFhZHJTI7Jzn8PeKK7w5hxbx4MspNTVrsPlYvA7z2Gs17Fhk4ds3gtLGl2D04epOMW0gqALOgp12+fh/s0flRFfVzvqcM2O + +Index = 281474959937535 +Start = 0 +End = 281474959937536 +EntryHash = 8XUYMLnlYtQil8AI17vQcbGPb+RbvFBZaYbtlgWiX9k= +SubtreeHash = vPXapEGksUoT/02KAuLgTyGOB1YG01JkrSlvdHMZo/o= +Proof = YRAUMbHm5LhAnodK6uu0Oh38ZO59U0YrHv1AvrrKNBAusxrEeZxTrqt4DsOEJqWehOUcKxushaan2O0GCG1tDd2diWk/wI+gq5zfTXKc7HtTLNF5gHeHRtI5iAT8soqxJnV34hgrIJmE1QEfdnr3qzz/xVECvlf0tPXt0JcPON0TN9AAm5gEYoKjVeSWHcmcMusE3Gl8UfNf6GGBr25oJBRDD42yfjxPR3uid0yPgKE0ekieYI/iWnhlX0xdem/zJD98s3FSiPblLw/aVCdlDOedKNBJyLge5yz9CJ6pD99j9Nz7rYfbw1J/1oV6c5AbiJCYTSwmjoa3iSVbD8HlL+wX8YLdTkzIH540SPF+bELDPdyQ349VvkkPCfjFjLN65y9BDxSjo6hS9tpmQSh4lWEaRujeL2vVoLUg7Qc8ymEH7avAZLc29HBWvNO4OsIdNQHjzVOM8E1rRuTf3Rcz6y5nnc5usJjRRDsMc3lCVtiwRMWwUtRh5fUrSsCDFwd2xfw/czpkQ5rIwciswj8fXUx3qK8URFkewMDbqxfAJ51+ieeqqeF++4NwkXFGo6f+smxLbq31dw091bZYGsOUyG+lyeev4Fkd0TGpHJf0Bljg3pGagoxczfGhSecfU9y+OLywfYy7/prUrwQFUtAyWw3nHltkWyMWfgZnaal5fCuIWQdA8ccXLzlnvml8GKvpgH8cymmkyrwQNq2WeehN0F0PogvrJye4Eb07pRK00j5yc92ZwbFrP2GYgpiHhe5tFg/phw9dHvBEO8Do5vIfipJ0g43fCG+aOxwwicUYWBjND3yMgdSeXkxr7RxWNDxxS6l/LXRJOBubuvFtbHFfgKBCy5VYfM4vaW3qJ2R1FyJL/wqloshNyp9059ybnnlpTCX2TBETlZucaiKGa5zRk2Ahg4Re9kqQdQVLEkJrbgVmx67B12JJl4l0CjjBP5F/9DxktgzzU6/SdzE9jKZ3uQTylrmyUMWgrLnU6oGwFAL82whJ12coyqrEhSOteBXTw7DXulW2f8qvF04ci4e+2tUsAcFW8ZgRokb4eB7xNuC+ANcuGGOjfhdZwry8+ciMDhyV3QyVdUlc2pjFqx5JSjOS8CugMAdRtLYDIX3VFb3FsiIXDLyV4hI6dh9WMfXcSjFuvHwikC7eU0AJy0iHcxHXk8eohi79q8RhF2a5HQKX1ZVkKCrqtJ+YOGLZiKV6ngMX1fMEBbUxjksEeR++Zwwyl6otZqyX+apB0ivx+gu54iW24TYV2hFHokHtGnafEdHpUUIlskQl7GGywJrs7+5uo6AsSMPd8D7TS0Fl3T5cvfzObcimcKNh5qWIgrmLug5EUUwITSyzZYhIBXql9SccptYwWLzGaFsRqBlQgAkhBYAK5zpgZaslXtBNNw43DlkaAE10SVP9dMR/TBNrTVwoWnuDwQHAZxFhZHJTI7Jzn8PeKK7w5hxbx4MspNTVrsPlYvA7z2Gs17Fhk4ds3gtLGl2D04epOMW0gqALOgp12+fh/s0flRFfVzvqcM2O + +Index = 140737488355328 +Start = 140737488355328 +End = 281474959937536 +EntryHash = uFR+VCVWpaI+cwoewaMSxsXaBwdHzTk65WU6aVRGWMc= +SubtreeHash = EyVksk5nKzfjvhFSWMtjS1SMOlC9bZp+UVRYpv89xbA= +Proof = yaci4OmVWni4AgQtbM6vJ72F3898iK5xW/0khlpNiq1FZCecV+7CcD/hU5wxcpgiuZ1K1KLPxjTbNy8hzqUrQebdGgsKrjvzR4BoaNJGWuU2SOiSzy57mB31VYgCbLTvff3TnJceg2p9zc0crkzoO/vpDH1iq/wfLmtO36upLbNcOCBdBDCSrK1lsiZjn/RSNU7DjfkQsNOpqvsS8zWcBzr3M3q9dI1Bx5wvbnhxmYViRo8h0x9uZ1TyW3G4m7kZFU/5VNGgWtz9kFQ4pZZ85dls1wWiN1DZAPXQaer1f8Fg5JaivJUEP+bSPIlC/YNGskmbGBU6kLGLU7pJuaQanIQwK7zetcJXcLcDWHczVJvPsLOQC6THaQRLRWtFWt46B0ULC74Mg9nw8mnPqP3SkmGSm42Ap7e3+F+mH/0JhXYGkRtKsI4bTc9VUUt0MmUqqsixA0Wh4ni6l9x+zSbIJq89fmhiWLbvSrp7OQyXwbTrcfbNOI/3azlZwE0YNA2x0N1Zwn6vYk8RzgNZGej7MEa4VPAy92t34dspibCATqHBhDHATt4v18E8LWj/Hdq02UCbVFRQM+wKbrYaXs872a/nKO3XthIW4GEB19KkSZlPtAO8LgVK1Wf7xqyeQhUZ8vrbry0BN/gEBalDrEZ5EG6s5WnT+BkCrjIWINwC7ya+QTWw3cmRD5BO+PMQ3FKubou1TEx2hYi/P94BvCHdjXvSO3rqnO3aqWxd7CuNDRRaz3upTMA5xkMD0WcxXybUNr8D3QYvzwm4P56QSvM0WsmbUUIc3YlfR9jb9sCMsrDGuMqC2BFdenFqeV5lwIHTxvwhpjptpW+bU0lufOeCkJWQO7aauTAjvhXaAYY3HepId7/KMryuHoFeRcFVZVgr+s/rVDQetbPi0vWeejgOgplTEwvg+JnYG1pltUT2SdW68KGn7hYkpdEvTqBxtXNpScwb70UrgPrMtgfNA5QAPdH2agMq3PolHShc96zmOrUObF2kckXkv0nPSLveEp6os59N0Zed/k9bgdmrW+QCdOZ5RYW5AvrqdmKsBlWcYvnGnCL2GWGbE+ZfK/J0VPiQAMDlvcQ1JI5rOdnpSyMsQLgOiW3a7dMBvlziziYm3zF1U64J9D7Cs9uywMETbEkWkhMZibQymr8w5swi4Kcq/2pS/qbnp8UWqoZvN6LDTV8+AdFq3geC3cb1R3xh4Z5pG+6MWLVCu9st0mdjW+DR2op1X9WKZtvOqrx5G0tdI3ifRmSRJ26mMJD+DNwoJGRE5+YuWRS+LvoTPW9x4RgomTZWVM9U3/1buAjGxzMrA8GDDACDf6Sz8ptN1aasbeiHKaYQ89iG/RFk+5vEALvEuEMxL9ZTuCDLMMKVXXZ/S3Lb4vFxpBxkO5fpjomKoDxamcRI2egP9jwEyOGI6a0fYGLHvnAJSczxDpBw9JiOUpkQdkfwg8SDGZOBaxKzoOFJCuGn9aKVVNnOaIkz29B0gPGxRJI15mXUuzGbfBGuVnvrYTUlJacJMtmJNpDgRTGiFTO3RpA53CUnmzOiV/cJHINdKiTNlXDgBz6kxhQfOyzmlXWHlc12uBQX4PpZMnG3TYWdqNJy4GFolCrkltzPBWc0e4/9gTkHj1NRl007wO8y287/dW3sDF/MGh+chn6POziFmAYS6gcgbay/afk0yVDXx4MZpCsA3OGD6iTL5WJLim6Oyk5hx1RPR+kl6t+YFUdpuLt/mcPEy75sT1y1OObqHd0d8L/VPEtAhz/esR1DqRJ2NSX6whu3kcoEfP8c2CT5I0hecfrqbAyOs6AJFX2HxEjoydsgExHy2+9eCt5yDN9JL1bvcWr/AQ/qSuL1VswayLnKUIAOYszAhN7t7eWSDkZAfit0S/kl5LcqHEVA7Qd9uZUv/kGfFoGXc/o91utMfbLiy5OLifTnKWrBDtwTBRB/mLnsK5DU0PX4M10j3k5zlWM15wueqomEBBvrIzndU8IBs80abkDXEcEMzw== + +Index = 187649984473770 +Start = 140737488355328 +End = 281474959937536 +EntryHash = isPrP/IFD2TRUbuDMZe95efTjXAVZu7aoQrp3rmhJgU= +SubtreeHash = EyVksk5nKzfjvhFSWMtjS1SMOlC9bZp+UVRYpv89xbA= +Proof = J8jxFrFS7ZiaxzqgXrLDfSDQuN9qxJj80eweWag2qqFyirR9tdjjQcPbl02p04lFX5rBgIriEOveoe9vn077nEhyVizYi1p1/YDGtwl+L3ngxcBBUrwvRLeHj3PP/vJnoz0fPgrllTOU5uTyv9AOuhOPHrR0DSb5LWzPr2JlgEwnuQTl1dBpi1+F6UL09iL7Mp2CVz+av6N/Xy83yUBZvHrVlRFzu9BuY9h7ABTCfY7OhJMzatTCSdZfRTHYp5LEEZbbJ+4clA9RRdqSdkK+NQEyFjGHTRjdgYKLmzNP5tV1zrQIg/98H3QJ/CeCoGvqqpr3CTzVvqgfemp1qcWyUa19XGGbKCEfTeWOtvq4TPmlhK+FwZyei51SnJ+3d4SjO/H2kkWtrDr7tUX5fp/ynfZaT5z5m3auu5H08dDMZrQyOf+H24pLIW6RzeStIvw/ziHBVhYtHORSy4buB3WL6ZBSKTeggsTaQGrB0lDIa4Pcv+OGCKSopQMyxeQoDckuJ6LgYjsalVncgWaIMEhX7rKfgvYj4l25X8jWVWCRa3jrqhrPt1PowQ8sWOt8yZB/6w/SJxJIiLnyZ0wdw3edYQLw3t93Nd7vyB0BGN+TLhqRToQm9BLVDzUnuHT/vrz1ct05wPUTCXj+rgNeEUqdTLbYpA71PCBueWTFHtA4Z2CH7SolYEVlVaNesg/YDSGtzh+CxKcUgZO4I4C7qx5qJUMvbM/7x/XlytrisBG0d4CDtzKgwJIXWPKRuIzq0plD83QoAdaGU3FM41HBjRfGVq3fNx2WWtIFd095CrRJJCLgedePjupoCFR1h4VPDyT80BnP5EEJAaSRLP17xelOMWRy4/f+MSlYwWLy9FNEkvo5D+Jue4iVDEXMnvCWExEqcgcCpEH86l3hvGn2z5JPz+k46JywkF/aVpKauW4nABqwNBY6wzb8zYpgS9sgwuwfadHMq1tzvPsB65hvYhQaGjaUSIk3cohCAd/gF1V+op+mcCHg+8Jdt14km09uFul6+p7l0adve2nTB400btAZApJcrcC5Suv+dshAPVsQ3ntOeWtcjdo9XSgfzGpcAIR0EIGGG1AUmgv6E1ql3u6c/ZrH5nH2gnmF1PhvyuWlRFYf72OxvhffsWZv7Ko8d2TmtLfxnWwnbnR6IbjoBs1nqIGiGEnEu0BZnC/5LCtrT7TTKr2UX4ploh2yg5KmaOUh75SQr85vI1rfbCcMRDSeFDlVzjbK6HJMqah3dzQxmqnVyOlwi4NYEfGVRzNQ1jVdX/9nm2nVbd4EPg1cVx8yWq+fdSsDrSZCnryWjNAMse1+hxyK+OF8VdeJ9NpEmlnWZ4rrXAR6Dx/ZufCOkHnZZQSJrRR0NzvESJ3ahUIjLHkxK7KKxTUQdeoUS8fvcjshjxpGdebn00Ww8t0j0E4P2RugtppNzIIsdK2zFzHdqeP4IhlpTLR1e8rHSuhWiIVqKLEEWjvEZ5g3OM0/W57/21Vhpd8G3BcUvYXwIgoGq9gt6ZqMsQE/+831PrqVivXl6ddBUVyB8nEauOjeZhNweZFsg2FVsHIEmHV2KPYuRSzSL9XpG6ntfats5MzL6f+JTahdZY8seM/nWVoDw9Ldq0gcwOzq1AT5kBpsfNjb7KC2KYzPdnB9ThIojpO2A5lIay2BnpijrwnjCjVx0JuIPc1+d1iN9Fow1SRItlHGrSA5HvOvNnNlEgp03pcVJhBxXxGx2PYgMrVUdkHOXhklkuZumxvMD0wyGaJGkzalYwB/ytZsiIkAuBZuQex5UpElC5w+6sgJrW3oFOJOgKIZolo4UGnaJnoqb++T+FUE7cIBlJExTaarOj3QvaD3RViLxgvCzAo6LWscV1Z5+RwsmLTlxYZPFGPgfjjf21BMpBjZCw/6XghWOocy6bOImyz/TOTFieCVrlpd3YjUXmLiCJqEWYuiMlR7BaeqQa+BY2Aj3k5zlWM15wueqomEBBvrIzndU8IBs80abkDXEcEMzw== + +Index = 281474959936170 +Start = 140737488355328 +End = 281474959937536 +EntryHash = UxYY5uXY/ycNdUtD98bOz9jIOmxT/qKFdwL2XbV49CM= +SubtreeHash = EyVksk5nKzfjvhFSWMtjS1SMOlC9bZp+UVRYpv89xbA= +Proof = t7lqOiiAH4e727YsYp2HuxHez0rvxzSfSFosOWFKZC16tGtK3A7hcW4lkeAD7sW75vB7xIBGCyDs2GdFU6z3CzFx8hcpd2mmEcrkMCNLqDhrbccjJCx5lBVN2RuYrVS2QS+7oB0rVECwSK6L4IXGiPWtmZTm9Gy4dD4BbQU2M0p3xeMdsQKhlCd6+B5euQdMQGiZBNkdvXwwUodOBhYeoJmMUdCesokrG0jz9oeyAkD4rl2lKrmQ70HMEgqyv5f0qlZTloONBe1LKV+/ERTt8KRD0uMj2x4rCh8iwFtL5hx39o/bSfl740oz9fCUmHjFTpqfHT1Lm7x/ERNbp5xTTarkX3Pbr5mrKGfozfeIoxyViaFT/yP/XO2Q9HPaC/mIVuT5qgOnqNvh4hQEdeDUEDgiYjSbb7yi2yersQqnJdfaHXty2fbmZVn9Iy5ZLdA2fokqN8csmxGyJdsEjBaIny5nnc5usJjRRDsMc3lCVtiwRMWwUtRh5fUrSsCDFwd2xfw/czpkQ5rIwciswj8fXUx3qK8URFkewMDbqxfAJ51+ieeqqeF++4NwkXFGo6f+smxLbq31dw091bZYGsOUyG+lyeev4Fkd0TGpHJf0Bljg3pGagoxczfGhSecfU9y+OLywfYy7/prUrwQFUtAyWw3nHltkWyMWfgZnaal5fCuIWQdA8ccXLzlnvml8GKvpgH8cymmkyrwQNq2WeehN0F0PogvrJye4Eb07pRK00j5yc92ZwbFrP2GYgpiHhe5tFg/phw9dHvBEO8Do5vIfipJ0g43fCG+aOxwwicUYWBjND3yMgdSeXkxr7RxWNDxxS6l/LXRJOBubuvFtbHFfgKBCy5VYfM4vaW3qJ2R1FyJL/wqloshNyp9059ybnnlpTCX2TBETlZucaiKGa5zRk2Ahg4Re9kqQdQVLEkJrbgVmx67B12JJl4l0CjjBP5F/9DxktgzzU6/SdzE9jKZ3uQTylrmyUMWgrLnU6oGwFAL82whJ12coyqrEhSOteBXTw7DXulW2f8qvF04ci4e+2tUsAcFW8ZgRokb4eB7xNuC+ANcuGGOjfhdZwry8+ciMDhyV3QyVdUlc2pjFqx5JSjOS8CugMAdRtLYDIX3VFb3FsiIXDLyV4hI6dh9WMfXcSjFuvHwikC7eU0AJy0iHcxHXk8eohi79q8RhF2a5HQKX1ZVkKCrqtJ+YOGLZiKV6ngMX1fMEBbUxjksEeR++Zwwyl6otZqyX+apB0ivx+gu54iW24TYV2hFHokHtGnafEdHpUUIlskQl7GGywJrs7+5uo6AsSMPd8D7TS0Fl3T5cvfzObcimcKNh5qWIgrmLug5EUUwITSyzZYhIBXql9SccptYwWLzGaFsRqBlQgAkhBYAK5zpgZaslXtBNNw43DlkaAE10SVP9dMR/TBNrTVwoWnuDwQHAZxFhZHJTI7Jzn8PeKK7w5hxbx4MspNTVrsPlYvA7z2Gs17Fhk4ds3g== + +Index = 281474959937535 +Start = 140737488355328 +End = 281474959937536 +EntryHash = 8XUYMLnlYtQil8AI17vQcbGPb+RbvFBZaYbtlgWiX9k= +SubtreeHash = EyVksk5nKzfjvhFSWMtjS1SMOlC9bZp+UVRYpv89xbA= +Proof = YRAUMbHm5LhAnodK6uu0Oh38ZO59U0YrHv1AvrrKNBAusxrEeZxTrqt4DsOEJqWehOUcKxushaan2O0GCG1tDd2diWk/wI+gq5zfTXKc7HtTLNF5gHeHRtI5iAT8soqxJnV34hgrIJmE1QEfdnr3qzz/xVECvlf0tPXt0JcPON0TN9AAm5gEYoKjVeSWHcmcMusE3Gl8UfNf6GGBr25oJBRDD42yfjxPR3uid0yPgKE0ekieYI/iWnhlX0xdem/zJD98s3FSiPblLw/aVCdlDOedKNBJyLge5yz9CJ6pD99j9Nz7rYfbw1J/1oV6c5AbiJCYTSwmjoa3iSVbD8HlL+wX8YLdTkzIH540SPF+bELDPdyQ349VvkkPCfjFjLN65y9BDxSjo6hS9tpmQSh4lWEaRujeL2vVoLUg7Qc8ymEH7avAZLc29HBWvNO4OsIdNQHjzVOM8E1rRuTf3Rcz6y5nnc5usJjRRDsMc3lCVtiwRMWwUtRh5fUrSsCDFwd2xfw/czpkQ5rIwciswj8fXUx3qK8URFkewMDbqxfAJ51+ieeqqeF++4NwkXFGo6f+smxLbq31dw091bZYGsOUyG+lyeev4Fkd0TGpHJf0Bljg3pGagoxczfGhSecfU9y+OLywfYy7/prUrwQFUtAyWw3nHltkWyMWfgZnaal5fCuIWQdA8ccXLzlnvml8GKvpgH8cymmkyrwQNq2WeehN0F0PogvrJye4Eb07pRK00j5yc92ZwbFrP2GYgpiHhe5tFg/phw9dHvBEO8Do5vIfipJ0g43fCG+aOxwwicUYWBjND3yMgdSeXkxr7RxWNDxxS6l/LXRJOBubuvFtbHFfgKBCy5VYfM4vaW3qJ2R1FyJL/wqloshNyp9059ybnnlpTCX2TBETlZucaiKGa5zRk2Ahg4Re9kqQdQVLEkJrbgVmx67B12JJl4l0CjjBP5F/9DxktgzzU6/SdzE9jKZ3uQTylrmyUMWgrLnU6oGwFAL82whJ12coyqrEhSOteBXTw7DXulW2f8qvF04ci4e+2tUsAcFW8ZgRokb4eB7xNuC+ANcuGGOjfhdZwry8+ciMDhyV3QyVdUlc2pjFqx5JSjOS8CugMAdRtLYDIX3VFb3FsiIXDLyV4hI6dh9WMfXcSjFuvHwikC7eU0AJy0iHcxHXk8eohi79q8RhF2a5HQKX1ZVkKCrqtJ+YOGLZiKV6ngMX1fMEBbUxjksEeR++Zwwyl6otZqyX+apB0ivx+gu54iW24TYV2hFHokHtGnafEdHpUUIlskQl7GGywJrs7+5uo6AsSMPd8D7TS0Fl3T5cvfzObcimcKNh5qWIgrmLug5EUUwITSyzZYhIBXql9SccptYwWLzGaFsRqBlQgAkhBYAK5zpgZaslXtBNNw43DlkaAE10SVP9dMR/TBNrTVwoWnuDwQHAZxFhZHJTI7Jzn8PeKK7w5hxbx4MspNTVrsPlYvA7z2Gs17Fhk4ds3g== + +Index = 0 +Start = 0 +End = 9223372034707324928 +EntryHash = d4HnfT9F7o82o9ZoKXHIyubc7UUfmMSK75YA3Z33s+g= +SubtreeHash = sZIyZLFX3Mfi6+kjn0XEZWS6cGit0rzBjdCibgwdHeI= +Proof = 5Q5B/5iExWCpav319jnySiukiSbnLgiURtHyp+jvQgruIiD4ddD2Oc+r+NUtkQBPTc3OQ0KPGRLy0KCzEq388H1oWVjBkEBhG/ne1/3kmqa32UomvGfwo1nEYmgjttddzrVlm6q7Ie2XRDwb58JPFq8FIyiHoBDfpOJY0kSQFXIg/1hALW4kGyLIc8yvmO0mwLUzpJVzJUyhkZA3IKjx17NWRryhKQ3Dl1Sp8OSAIPWlomgIsBdxQqKnIpX1rJ+KWniKX1eUB8ANknUcCO56kbQYxkuVCQLxRF4t0KaUZlAZBJ6sowVI8ydF1/mmFCancC0IA12BR9SJuuY3L19uvImdaGX00ie+bhZx9hSBOCJzwDgkhyg4De2kV2gkaPqsKFd8Q6pV5nvnMqzthXcmpoM+jn0p1KOfy6bp7v7LcibeAM1DFKj/K615Qukl1UyBBHYNgcedZnr8aTGOkLi5no10cCfQ5xFMpi4Tx2sAleGH4m6uI7wAmzGWw78pFCMDwgLMj1AjBqtQOTGSVWD7kcs/TCSfGEpg2TprfTcMqRPWiXIIeRFXUI9rgtkdZWPuZMZZmoYUwjwwQbJfuRleng0ma3vHJeXZ7Jyo4A6ZqSaApwmWsjVnT3rdEtp30icXN7wbYyIKyuSlAJpzWvmc0AR9C3Bzt1HHpDyJvGMn+3tXJuMo9TyuIZvVzKzK0Vxn2zIHGLUKecuQNtOmKV4/TqZs8X+zkDkoF784jExNaVl8/HAMkjZ0wj2CCnYdjolmiytTu8kxCc6M9IACpn78zEoVsUgAKwhFyAOsCSvTFTjG6pDL1HWn6ditM9UGz+gfUH1AsZdgQBomerDaWVDkyQDwENRTCNe1Iu0NDrjPf3KnVTFFiSbkLeVT/GFJ7WQDRa7Gqd8QHPRZ/aCT8y7gkzjLX2GFn7O9iSNdkvSA8Nw5CZ4NquZqcoJdfaYykDIdPvic81Q9k8O6yg5QE9xOuXxHa/d4dvVUcEXM2dQR/Rf2rwu/oeEuWVo5cId4Kv7f9ouu7NoVf3UGyyA1pR+ZLlkNnL0ehRzujgzrdmr6d+EmrDs8G3Oji+uPmwPP0dQWlPmPwF3c0flzSazCqysjwgP3pTwHYoAYApVmwhkwo5Q5iefx9ZuWod8eiPZa7MfURI5iNF+cwmfX8opWEIMFCVBottuoz94yIlSdSeYIz+OovImCwH/L9TlMCSoEZGpLys3hgV5ceMsVNkCqWhe2WVJ9/cEeagPfoSiO08MXZHVSUgjzqCwpYLQ2BClDs7MGDxEELJjkKqWU/WpK1A/p3RTIn0ciGGDjg7ifUkKWHQ18seC8uOaYa8ERHOD4SMVNUxo1Gt4muVv2pIfV/HJh+8yHe+5Wt26w8+FI8d5g/K9VHzKMpEMFaFtryYLzFsZhGhIgCOrrq7nDeyQS9KfhmC5pV086eXFZzEaN/CeMYEUR2Fs6nNIj2UR1mUrTi8xtf9MJwXMZLDXaJmqj5/seIDk2ZAqhLRQNMph8lJpv6NCw33WKxl73ICfVT8ErFmoIUiog8wCU/YlCKnQ6o3IMVqAxQUUJRX0wAjRcCYvlHvBfgE9aOcE/Fbj7Hjpt2IEZcz217DgaVnfWvY59cRAhHPY83p0YtOr8IScKUFWkofiDpNitE8PjKvNZn8bFqmxB7mwqNUTsmI9m9Tm2Wecay8xSxzyMLymCCu5dRLxBmPVF3iq6hYDG35qcSE6PQt8Mnp9TXDs4YfwtXh97O2JuyuYFnCytS+J6LGU/XgMXl4i23rzBgLi6iMAB+/Hu3nf6uHBYfQabfjf6Qf726BWsDgTORd4IQDO0BYkPG0NORKcDhmGU+F5Pq/eft5idAsWehZc3MYQHeuhXUjg28u/H0i0nmK/qyoLrBba0ICHFwDlzlOeEdx5BUaaf3MxfFmdgbKWKUAC6zqa92uUJOp3kMgT0DLxkikZXWnzIrvuII6fiPa6M0Jb78i5SFptjKX/LXgNGedMJoeXLLMhPnIx4FzVGYGihBQELc8//PMZPOyUJ5ohwn4jPc4sTiKJ8zccEHT46Kz2f/zTQhCD+h6rDzBAUIaEeZjO2hbm9oY703zYk+Rp/ysAdkIl1zGPp/DDPF7BLFGNzYkV3y5s7grxoMImVgQwnbn3QGWFgIlOLyYkbxnIJPAIHF/B+QjYbbCeDeTrC6TAOVGz4aI7jq5wJJN6jgTs2MJLySg0d61Q7dTc14dxvGZ8bUJqsFQGiAJSvdpaN2v1OghTa/unvh26O2VnKWWbJ8GiuWv187xyJxUztxG49l5JNJCaibtgUI4PP8FbohuwO6ZFvNCuADH68bxPqYJGPfWP2EZpU3YEXIQ28szIed/QQzK9Y9BM8Nh5aWMErKyB7KGfU8YMakPnYfeBQOs0GkX+fkC8THMEXndq2cZ0dbUEVEMYxsYh0gO0zQ6dpcPTqfZ7QwcS7Z+TLaygtc0K+l+35z7VC3MtLLxmYHj2nbLIdwm6q/kYlx8Gq+kxzQJBG8kZAbHycrvOSAxSRx0SbuBNwCahZ4Ln+NyF1PcxdTSA8+I+RyfRx3Ejb9Y5JHUxxcjadVns0yhN6TPDj/g26qDjcjx+DjXo83+9zsbmVc6nbCETMLRrkIV9qEDv8KjWOaD6QepZUVSXzwBolXJXzd0yP+6tfoBhGtAz4/5CGFZVdk0R8DmthPbm7 + +Index = 6148914691236517205 +Start = 0 +End = 9223372034707324928 +EntryHash = KTsj0gFsSnHtfCEFPdcZyAifYCeuyh8xy0oImYSQzvY= +SubtreeHash = sZIyZLFX3Mfi6+kjn0XEZWS6cGit0rzBjdCibgwdHeI= +Proof = aNonPPPj562H73OYThOtVP08H7LSKT+yvDv9WJ7Es/0SwIMQScZ7zJQeOIU7WRFo3JdmLzSnO4eOZWQnvThuR/13mm/CSJzgMSOZq0EN3MD6UH3RH+HfC+rHK4fwdFMz1s+5oeTJriv8NcMlS/cMnFNcifTILRDQHXnup7zAXexZaDG4geTftI8aK0NEev/4rTNaCHSLU3OeJen0kcGlvFWXHgO4P/W5aWnGtjUzs/p1GdryOBC5c5rd9CTNQfL0omK7GaYYwV8oTUXx65bQ6s3beRkCXUF+tTDg6fY6xbLdGrACEhnAFSPr/5u5x9Mi2FyAHcvN7q1ZkhnQGfAbPY/iN0qplJHFDWscHeNkPlI+0NmK5JNw6qUHe4d7nKbpGTEepU+KX5VoxRslmrCJ2g4D7j1fkCmJQqU9193OwlPDts7dxPfxy6Z23DyW1mTQCMpTnwt/JpdGpCuOeTmKqRyaI9EW1a7q1E7YRjqJb7qgFIsPda3shNQ19UrQxfw+ee3CG+flF4XQ+UYy1cHK+kXk8b+5z4PzQHUD7sNjIpr0WhDsIy5kUbZa4inxYFS1kS2BIMM60+MY8ynuD6GrwcGVinkqyMN3OdwG4sDASsoHYeF3OlR9TkrqWlJqhGB8HFbAB8RR45aVt+0/BS1jhNr69b2oVPWDlbHAeAjHC2s0R9iK7QOtktDCiBfhFB/64FLd8Dg3sar1VwRNbpZupc0eJN+8zk7KYiD5sg7N/sG0RZcCeo3aUSs4BC8d7tLcXrq4iUM3GJPTmonf8uLlP4XP3s8RokMg6PHRARQ9NVzKoZrYDVK7y9vBVqyrY4h8gHToi9ACnlMCxrg+zz8vZSR7TEKJa698En3hJCWOy6iPlCT8jjm4Lj2mh2gQRdVza+76qcr5g3VNnvhdKfzcEW1bN5BDUhpir9x2wP2ERK5IZ+QW06jLPeqDYA+4rNwwxlfvk/zQDdOlp22k4YWZnQkWyKA6cWFe32/uDhqiH+qrkIQhnQLcocO7wG8FXKbMG8Fob9VOwgiASCMTIiJx+8M4q9Y/XBDJLQEWiDmKDZaQQJ3fMgw9g8tTA98x33OfDGR9P3zPSguPYhJ06IwI3MPJ7gDXeN9e7F8tbIM6K3HnX8Suil512jfbVi1FiWeMUD0KAWBe2Y8ICkHDMJW2EMI8Cai2x3O91R1K026kc1lLNZVaulYzAUbHtWVVq+8aEwRI584RI41BiTGXfnYepojkMIxyOaBndbTC4UU3GongMwA6k6lhbMaMgBuNII0wGgtg3hGHUc/xd+LAU1dwecIxtiP4uYqV01z7bNaZ7VPs9IEbxESQra1ctdKmZUDK0heRJYzBnsi4Ljw7z+xijU4qOybWAyEw56Of4ZvaMky9UOFSABk5NfaeUbRGEwju9edLiRnE8PzuMOJ8Sz2pYGE+aqFVEY/9mpoRd5NhfOp6lpUiqhpAH3FFThOvF3HUhKYbm/o2ChVhET1RrF9xL+iYfvYqAZ8mbgFxn0afSvzsuACvVC3gxyNMPphYeczO5h7JjiSmf2UpRIREla9TFjUJMRZKlD5soWvxmc8vTs+fcAA6hCuxOxZ5Jtq3bvZjxBeVs+60nEqDm013wAw1cPcYe0L6d7j+sNcMuM+hpDFPe6xBheQpF1Kda0EZb1xZ8e9HiG3Tsvty0fRn/m3PiQqKOWXobIxzBdCSdPP3/NYDVVFLxqvFquxsxuklK0WKWHZgloRefErPFIBJhsxyX8Fg+pIgBwmkBIeml3bkc6ATiwNC4DcOQOCtENEUwuj1dK/O1d9zOgwjU474Dhb7Tuw8F59wcsk28R5O4KG5KiMXEl5pgkuPnU1BHLaR1FyFs0KkgFjEzP8QupykZlohld8PCUPRIa6kwe5CIbfpF4rVT7QGDhH66oC7742Z68HZF/ulbYf+iWFNjVS04zzsl/02OweuCTzNtdKT0/svtbx0AICur9DWEpv2QZmHoV+ClVLmMUZgtDlx7bZrjqGWV/cBXc0hYPMbmncem2r7Nl0mLvGPSkXoRNuqF42rG7crKGoWSGViQOATzvSR9xr1cmgYNqudaVbG8bn1Rt/V1qAKbNDY10oPZ0k4+jk8Ll2rLOxuGE/Dw1O/VvZm0hL4o95Pmf6S2Toi6fp9SpT+J6HYWqMxhd7o10u6JVNFm8wMZccJHSumme3waUJsXCsI90uVqOm1obusQkAS6hoL4lpdegHGh+gAf+s8wqWtT26oTsZw3939cVzvwLZsMMnHRtedFyZN+o1e8VE81GacOs3ZHsxhr+hXCOXAHlkyZg3g2jP3veEjBD7Y8AOVyiizSKz27uLZpJiNdWHcY+b9+N738Ah0Lqo1y9mF8KmNH3x2SV8nqh1TakQihcNl3VwcvLxUbZUZ3Ghs3CCl4/fKLzcWCWpArnj7WKI05I1yTpZ+hVdJp2IylI36jRP+KDdKV7R1vFFUz2BygSIO0jZdPJtYiED2sl6matPqokeejjhnUQLLBYfoGVSuoW/rwQiJ26NdoSccOYhJkXu38aHAlzhl/TmRMy27gq27UNocCC49/c7I1dImKfGaPbU7atKDoumTAYtIp9jxe+GHO9OA5X1Fjx2p3pjH29pUvZYy3dXr0yhVU9ZhPps2gvPw/Ix/gGPu2jSaDgOoVgO+5VTUPqfUFvHy+1EGlBpOvyKZ483E + +Index = 9223372034707314005 +Start = 0 +End = 9223372034707324928 +EntryHash = 6udfgTDf0bzmazOv3bV0PFLVLKEN8DBTWJdZ03qkRQQ= +SubtreeHash = sZIyZLFX3Mfi6+kjn0XEZWS6cGit0rzBjdCibgwdHeI= +Proof = 2vFQEXgZFVXzmx5i48ADGbk8GqBuzYXLc/bC7aZLbwy+aecOzR8gCKJxfj3Iqh7N+9nzvjulikDbKwyAaL0qfevKFELv3ZXyLjOqd7HOV/kebRnAGlTgYwM2H7mxxVvU+dO8NGxLSDlLei7RjpLdJG6c9qtLouIZg2yY5hScPXFnAjXAYIqc4VkEZ/QBRDhn/wuPp1F1EVc6auduvmQ95OTLAhxNuV55c7SFKzB4aeB5dx0ANQ7PoymjBs8T1ocjyzUMQfxISAdMqepR+nQbx14l2HusBk4mF0BGL9Ng8BueInVzf2xoSWFIFm2dBQFYUgxlJ3MFGRMLJlh9FQN44uq2g88jaGuVmrslC2CO4nD36oTf1+b8wegQmO0RP6FuawE8/DDFSD1O2efl7R2T0c+qLNxudZZ5ei8h1sjcnBrHeUlgilrbuysVXpgsluDXNfh5DKx9D+meEi2c02nmC3lyJM3rK/zeVEKtwJNN5sR2sbA+6L7CrFr4s+MsmC5wS96JB39z4Q/7U/+j8GmtPfIkIZHCvMELIsU8H7cQTb2oowJuFo4KcyPbPogRjCfTF69KHKPd5Psog4gg2MQcz5abaUWnwVUdCUKPQ08HeNry8wEzVqLqkbV9jEvhGPxyNjzvwn1spmHIZnoPps8tNJNflWSHBX511ggIKeK4B2JE5MbCA0LhKfQbc+cpLueH8CkUXDyfBbPX1ZV5euWk3DDggf5hywG+YZRk4O4CyTkMACACEAqMr3NDK4/g3zqyHAWo8Z6u8aMfZY2m5A/IkIMr0C4krzQ3PFIESp7GhYqvEeO+H5zNXbGV0FP7nVg972cNgBnc09m3xNHNl++ZOkvbi1ZEHd3+K1Z4y0PArMX2ibGQ1eXm9ITHkkn0XrAMAATZQ34ozaS4cXArPL4dDbQxszKePRsBjcwUVeNn9HtxczMeVxZT5v+Ig8XutPRN65waX2nAuAHF7jOTJsAbbUja/vNiE+bs6dJEnd0r5noAq6zOxbGpcvTBwQAaOJjJ5klBDo0KcykaKwZec/8UWsQ6hNpp5u0yoDgM+Aw5uIlAFVOCrzlVx5lLraY3AmW0Oz5/pvaMx173cdQyfFDKlDQNDOC2cVoXxGVyq4naGUgWT7CCEsRnAW5+MZdb2tke6HB9O0+W93kdQynylyA+BGPWu/aSystwYwlEdq3T1HDo6iysot4la/M8d4+P7KXG3F5wCT3hQMVbzibMNOryE1uUFRBTpbICZBcjfzalXSYKJxWpPp6SII6OMMJlDA4yM978s6jslX47yg5GAk07wN6ytqbwgdc/TWCuzgb07gduQeUhrdEWgT7SGF+dfKfqtqODhFNjLqKc2cYYhdcrP9KXZ5ACtLYxMj9/SYXRNjDzN1Amr+FXYB3D+hsLNKLXqUqIwkQ1sAf1w84YJunODGVeNmtiJC5Cm82JFQDlrXtJs4vwjvGo/7ZjqsO8tU0TT30rD7ynOWe5DKA6JGuKeCBfwt7cHnxpKKC1YIfa4YBY2+Otuy5nK/GlcylkQGoIZzC1CUMXZQ6src3k8jpn+XF867hUO82kTO6Ms9oycInMImLIdRLzuIDxPg5MRVx7vIOWYh/bJrQ1Zms/I72ZJYZI+coR30TvAU89kt4qzNr1LrpnzHRJtM2qyarJ8U3wcN8+OxIb01VZaxJkyvIcCIzaLe8zbsHo+fz9oKwr+NZPqDloZ5sqQvMN3TPYnPgc95naXO1rbdv07w7SeSYchb4JrkSM7dxHLrusGEVSeGzxU+GuNsCTX7avC5AbYqDMrp+QNt2ou4tn1DYD3iZNYmaZnZsWu1QJywxf7rVeoEuchpvP9zM5qlFHvssZyBIR24jKVqK83NCyUsdcvdr2x0fLLmZsWzoITNExaawpA9TIdSgLEWrPPSEkki+y9INpwjih/tqsS08wRc810EHHaIpceAEnr/6zZJCnQG2Lk1lj7to0mg4DqFYDvuVU1D6n1Bbx8vtRBpQaTr8imePNxA== + +Index = 9223372034707324927 +Start = 0 +End = 9223372034707324928 +EntryHash = 8fu56gp4lNKK7Zwhqh0PlVxtIHa1I2oaC1XFgxJdVFM= +SubtreeHash = sZIyZLFX3Mfi6+kjn0XEZWS6cGit0rzBjdCibgwdHeI= +Proof = 0W01pK4wuQ7Eb2LUSgXsyEzrZK/1DkS0LgWkpY1m1oQrTdRoIp5pxc7TggoGnr1RnxXaORzzDT5WEbV0rJGuSmsMsoOgiOBXFAH0si3e5vKdkd1FszxRF0phsazRaD8bTvDUnS06gUKeFxsCck2QFs6NYlTOrbA+dp3txf8WgVqMD+2pDFIGtWEkT+a1E70ZxFUeWts8A/c6+CZgKtECdAGSS6ly5Kutf/2sLlYuP1gnMF/K8L+weEIqOatLzxiUq6QjV/qetIgulIeN+awow+mM5mQxJd/5XnMirrUXYE9XG8Hn+DCH2+FykLd3UCkvy7Zbd5phH5mq6bSKzHyghWwnn6607IOzoJaBatfNuB3bjzGlLlILdOX25QFKG7OpBFnFFspjzYCyCAc+43AJBArOa01YH8MIs0ehVjMzdvKTi412LzvYwwZfPj5ag/gLkqEc4DhFfsM/9oO6oXFj6DQkI9RDlMQ/Cy4KJA6q0jaxZzkb0yeSGgK+tULLrw36Yv3tAvcfgKckQWFXtcSPT3NfGFf12fHfrFZhdTIpf/apjtVm3/vZAJAw2N6LF7DM/4Yg4hqn9j8OSTiMQ7ztCJabaUWnwVUdCUKPQ08HeNry8wEzVqLqkbV9jEvhGPxyNjzvwn1spmHIZnoPps8tNJNflWSHBX511ggIKeK4B2JE5MbCA0LhKfQbc+cpLueH8CkUXDyfBbPX1ZV5euWk3DDggf5hywG+YZRk4O4CyTkMACACEAqMr3NDK4/g3zqyHAWo8Z6u8aMfZY2m5A/IkIMr0C4krzQ3PFIESp7GhYqvEeO+H5zNXbGV0FP7nVg972cNgBnc09m3xNHNl++ZOkvbi1ZEHd3+K1Z4y0PArMX2ibGQ1eXm9ITHkkn0XrAMAATZQ34ozaS4cXArPL4dDbQxszKePRsBjcwUVeNn9HtxczMeVxZT5v+Ig8XutPRN65waX2nAuAHF7jOTJsAbbUja/vNiE+bs6dJEnd0r5noAq6zOxbGpcvTBwQAaOJjJ5klBDo0KcykaKwZec/8UWsQ6hNpp5u0yoDgM+Aw5uIlAFVOCrzlVx5lLraY3AmW0Oz5/pvaMx173cdQyfFDKlDQNDOC2cVoXxGVyq4naGUgWT7CCEsRnAW5+MZdb2tke6HB9O0+W93kdQynylyA+BGPWu/aSystwYwlEdq3T1HDo6iysot4la/M8d4+P7KXG3F5wCT3hQMVbzibMNOryE1uUFRBTpbICZBcjfzalXSYKJxWpPp6SII6OMMJlDA4yM978s6jslX47yg5GAk07wN6ytqbwgdc/TWCuzgb07gduQeUhrdEWgT7SGF+dfKfqtqODhFNjLqKc2cYYhdcrP9KXZ5ACtLYxMj9/SYXRNjDzN1Amr+FXYB3D+hsLNKLXqUqIwkQ1sAf1w84YJunODGVeNmtiJC5Cm82JFQDlrXtJs4vwjvGo/7ZjqsO8tU0TT30rD7ynOWe5DKA6JGuKeCBfwt7cHnxpKKC1YIfa4YBY2+Otuy5nK/GlcylkQGoIZzC1CUMXZQ6src3k8jpn+XF867hUO82kTO6Ms9oycInMImLIdRLzuIDxPg5MRVx7vIOWYh/bJrQ1Zms/I72ZJYZI+coR30TvAU89kt4qzNr1LrpnzHRJtM2qyarJ8U3wcN8+OxIb01VZaxJkyvIcCIzaLe8zbsHo+fz9oKwr+NZPqDloZ5sqQvMN3TPYnPgc95naXO1rbdv07w7SeSYchb4JrkSM7dxHLrusGEVSeGzxU+GuNsCTX7avC5AbYqDMrp+QNt2ou4tn1DYD3iZNYmaZnZsWu1QJywxf7rVeoEuchpvP9zM5qlFHvssZyBIR24jKVqK83NCyUsdcvdr2x0fLLmZsWzoITNExaawpA9TIdSgLEWrPPSEkki+y9INpwjih/tqsS08wRc810EHHaIpceAEnr/6zZJCnQG2Lk1lj7to0mg4DqFYDvuVU1D6n1Bbx8vtRBpQaTr8imePNxA== + +Index = 4611686018427387904 +Start = 4611686018427387904 +End = 9223372034707324928 +EntryHash = BcXMLfpvXJHKXC0qOr3jWegFoVsoIpuAHcLUXQMYziI= +SubtreeHash = GiVclfN3TI/7q1+gGEa0DPj/kIYVlV2TRHwOa2E9ubs= +Proof = 1QszF9TRnkQcYOVpBL6UJYqwYHnQItqqIu9VUyum03GW3UlnUytAoQSHicoSiZWw/7JbhE2XhSml9Fr0IfWLvrW3bwpRplR9/2AylpHHRCphZ92CZzC1N/Btc+uqwguknLZOAqB+2AbeWsXPLYM2tMM/xMMt9hkl+nMsLAdIIpEYr1+gh6simb6yCRPMdtX5+n7msE1eB3ADVa5riRuIcYZMdEhL3tqT8ADfQ5nSgTYSJkKZGW6tNY58gPy0e4zYKYRn9V+dfKLBi3E2LVMjlaH6kRvaXRGSL+d6SNI3ChRSJp5nvPEOPl/jgPrMyzfgcZNJBOTQaGG7K4950NFAhoGhHYNe/EdAPNV8El2KRhYM01HKfoCzS/pBpLUpmUA60GNWmcUFg1c3FgC0PCSJxuVKHyi+728TqTWKk9+EYAX8msuhuGIJcLcyLpCwiuI9N9H2RI503ON36NM7wA/0Qbro3yxdUJBmdpQe2cgt9yoGsKvVNszgtAK5eYe8EqmXjOkaFZ6Y2R/r/BxyRo071dRlGeDoMf2ix3svgVYthLq9LjMpMSzwpz1CUOIfFOF/Iu/0BX/w0/HBkV2dAEMJuhv6hbbcKIGMORSrnRsONpzP6nbC+qmNYJOakfNc+0CyE2pSR5LnVd4eFapM5k29IgV/cy5imU7D3da8bA4W9KTGXXx0zd5kQDJoYeLOFwffkZ3tsvLp97v2UXcomMytQ7m3wg5PTai2iZQFrr9uWXf1lBfIMX0YIGYhbNNloJGok14RIfGg80jYOpItNwhEihcK7QBzZQKYfXQDpZ0GhC6fPslUmcuNgTHHYJB+4wZIz+5N+WSmR7UCFYO7qTWvtqbHBj5YfqxndbNeMwKqrbSE4krFu6Cwme2W84f8UEzGyohcEDzCPXSI1f0Lc04m/N660CzoTgirJpQ+sIQFN7k3+SWZNMFACWs+UefuH5E8Xqkmyp+BRZg6z0hx97LMfOsYz+HVeUQlt9J6gbOSSl/Nq/h19TVRXBExLMPwqQPL/2/T4ggmfXLUFVswJ+VC4tV81NKy1lrPW5/8AGJ/B1Hn5+TFOSxqJw8hxp4zRdvL3bbSKlfWfZonfm18P+BhCd8Z0iEqdBAx4zr01PnyyGKZIsAkYuKvto1t8zmWU9+wI98LRQiHEOvOaSN26iGW/d2+z8qszuKde5gMlnigaDxOormOYSugae44crjzvuH2BH1ZIP9DHCnqxyB68CYEFEnD7fbckrtzkBzQ0K6P1PpplIkAuAR121/XYDsM7klMbaTJLF6JA/Uq9U6OPnb3BCqqsRdANmQkF9zxkoH1jjnLYegQJc+Hl1f6mie88uV/6vYEr4Pox41FZjxH8Js7kEBEUR5UzIu9fP7Q4Oi3oVeGjQ4QP9XSisB4pD06zZzbNQT0YO6Eq9kGd2dWqYm1SG9ZhC5Hhf4UAQLOxgXpAClVdcTrh5agGNbmgvH/K14erQXEpA3iIYwcGX/rYZa2sYqOYmIE1AxSCtoHLQnsAp3sDkdgAhPY5LKMnINQbhUguaLsNHbbnQEIWbCWsPK5to3/g0kqhF+Mmhs6wC757My3Go62BFQ2eiTArMTn6Rpt/L/O1NXWPmla0gsWQLvf5tGwfFv8Su7Qc3/stGIcbV1SkV19bnLRLnnEOqcH6sor25u1Bcack44BvmIVV+4s7XMaPk6JO+iL/k0UCmtimBQdBjU/T1kZZ7sgo4pq6L2qUQvfMtMjfn/u35HReaqRbqBu9pUderENh6vq5pSiKJuhmKeUgolB0MI/0EPNqW1Rd8d/UgvA6WaD1shrmB/73gS+RJsEE+0baKpFqwYQe4xWBYnM2MSrCQBFHNExB5lGVPXNCtp4JMk8vKu+wPL/RAF1kkW9PpB3EGi6V50FqS8GuJkyuMEnvW7ybXScPwDKpVZV/VPQo7yfKuBA6H/eAn9ecbOsGXV3i6HTrXYJA67fpjqPKMEUpv+WZ8BQEm5OhOAlIrMvpoiACGH3ERhMkflF/SI2VgfkKwy7hfBPd/6edFq46vXlLsBCJz8GdYZD9NZJr0t/yQGbFqwXeJ/27cL+ojkfs2cjLSOKmRHzPBlp0z9t4alj3in1LHb+KWhfvKVQlLtv3T0viZ4j6Ho3CBnKCBMeqbhktKsUryTC/7uEec8V107KMTrGvKT7uBMLjuZJYBUYx26I+QinxWy3C1DLNg/DjqhTjbE+FxAVB1U3O/cKzWoLB8OVmYDvNzXuvM0dsNtOX7G+NVFmT6nBpH+0uydPtUvDb4k+w2XfidB8CSamRVRxNHP7n1i4EF4TtS70sGW6hS7S9cCeEzreIJS+wi2kUXcgQNpWk/XNG1C9kHklN4woMB/ModgM6GKeWw+qPdxJgAVxaKkgiRGcPD9tee647b6dQxf87BQMzBv9UA8pd56kThHLpR60cvsHGIAua9yNn2WFChyp9Fz+PxB/ooSWA6lisZtnrVSRuhUE23qBna+XOwIywToRFk2T/1DkjzYuhKDk6o3BgyHuliC7VY2I7pjoMspCE8TqEjXlAAvoCD6D20xE8zV/OhUiBp03zs7o575pn++quYAKhA8Lo1Q2Q98Jh1hnZIuSujZFjx2p3pjH29pUvZYy3dXr0yhVU9ZhPps2gvPw/Ix/gA== + +Index = 6148914691236517205 +Start = 4611686018427387904 +End = 9223372034707324928 +EntryHash = KTsj0gFsSnHtfCEFPdcZyAifYCeuyh8xy0oImYSQzvY= +SubtreeHash = GiVclfN3TI/7q1+gGEa0DPj/kIYVlV2TRHwOa2E9ubs= +Proof = aNonPPPj562H73OYThOtVP08H7LSKT+yvDv9WJ7Es/0SwIMQScZ7zJQeOIU7WRFo3JdmLzSnO4eOZWQnvThuR/13mm/CSJzgMSOZq0EN3MD6UH3RH+HfC+rHK4fwdFMz1s+5oeTJriv8NcMlS/cMnFNcifTILRDQHXnup7zAXexZaDG4geTftI8aK0NEev/4rTNaCHSLU3OeJen0kcGlvFWXHgO4P/W5aWnGtjUzs/p1GdryOBC5c5rd9CTNQfL0omK7GaYYwV8oTUXx65bQ6s3beRkCXUF+tTDg6fY6xbLdGrACEhnAFSPr/5u5x9Mi2FyAHcvN7q1ZkhnQGfAbPY/iN0qplJHFDWscHeNkPlI+0NmK5JNw6qUHe4d7nKbpGTEepU+KX5VoxRslmrCJ2g4D7j1fkCmJQqU9193OwlPDts7dxPfxy6Z23DyW1mTQCMpTnwt/JpdGpCuOeTmKqRyaI9EW1a7q1E7YRjqJb7qgFIsPda3shNQ19UrQxfw+ee3CG+flF4XQ+UYy1cHK+kXk8b+5z4PzQHUD7sNjIpr0WhDsIy5kUbZa4inxYFS1kS2BIMM60+MY8ynuD6GrwcGVinkqyMN3OdwG4sDASsoHYeF3OlR9TkrqWlJqhGB8HFbAB8RR45aVt+0/BS1jhNr69b2oVPWDlbHAeAjHC2s0R9iK7QOtktDCiBfhFB/64FLd8Dg3sar1VwRNbpZupc0eJN+8zk7KYiD5sg7N/sG0RZcCeo3aUSs4BC8d7tLcXrq4iUM3GJPTmonf8uLlP4XP3s8RokMg6PHRARQ9NVzKoZrYDVK7y9vBVqyrY4h8gHToi9ACnlMCxrg+zz8vZSR7TEKJa698En3hJCWOy6iPlCT8jjm4Lj2mh2gQRdVza+76qcr5g3VNnvhdKfzcEW1bN5BDUhpir9x2wP2ERK5IZ+QW06jLPeqDYA+4rNwwxlfvk/zQDdOlp22k4YWZnQkWyKA6cWFe32/uDhqiH+qrkIQhnQLcocO7wG8FXKbMG8Fob9VOwgiASCMTIiJx+8M4q9Y/XBDJLQEWiDmKDZaQQJ3fMgw9g8tTA98x33OfDGR9P3zPSguPYhJ06IwI3MPJ7gDXeN9e7F8tbIM6K3HnX8Suil512jfbVi1FiWeMUD0KAWBe2Y8ICkHDMJW2EMI8Cai2x3O91R1K026kc1lLNZVaulYzAUbHtWVVq+8aEwRI584RI41BiTGXfnYepojkMIxyOaBndbTC4UU3GongMwA6k6lhbMaMgBuNII0wGgtg3hGHUc/xd+LAU1dwecIxtiP4uYqV01z7bNaZ7VPs9IEbxESQra1ctdKmZUDK0heRJYzBnsi4Ljw7z+xijU4qOybWAyEw56Of4ZvaMky9UOFSABk5NfaeUbRGEwju9edLiRnE8PzuMOJ8Sz2pYGE+aqFVEY/9mpoRd5NhfOp6lpUiqhpAH3FFThOvF3HUhKYbm/o2ChVhET1RrF9xL+iYfvYqAZ8mbgFxn0afSvzsuACvVC3gxyNMPphYeczO5h7JjiSmf2UpRIREla9TFjUJMRZKlD5soWvxmc8vTs+fcAA6hCuxOxZ5Jtq3bvZjxBeVs+60nEqDm013wAw1cPcYe0L6d7j+sNcMuM+hpDFPe6xBheQpF1Kda0EZb1xZ8e9HiG3Tsvty0fRn/m3PiQqKOWXobIxzBdCSdPP3/NYDVVFLxqvFquxsxuklK0WKWHZgloRefErPFIBJhsxyX8Fg+pIgBwmkBIeml3bkc6ATiwNC4DcOQOCtENEUwuj1dK/O1d9zOgwjU474Dhb7Tuw8F59wcsk28R5O4KG5KiMXEl5pgkuPnU1BHLaR1FyFs0KkgFjEzP8QupykZlohld8PCUPRIa6kwe5CIbfpF4rVT7QGDhH66oC7742Z68HZF/ulbYf+iWFNjVS04zzsl/02OweuCTzNtdKT0/svtbx0AICur9DWEpv2QZmHoV+ClVLmMUZgtDlx7bZrjqGWV/cBXc0hYPMbmncem2r7Nl0mLvGPSkXoRNuqF42rG7crKGoWSGViQOATzvSR9xr1cmgYNqudaVbG8bn1Rt/V1qAKbNDY10oPZ0k4+jk8Ll2rLOxuGE/Dw1O/VvZm0hL4o95Pmf6S2Toi6fp9SpT+J6HYWqMxhd7o10u6JVNFm8wMZccJHSumme3waUJsXCsI90uVqOm1obusQkAS6hoL4lpdegHGh+gAf+s8wqWtT26oTsZw3939cVzvwLZsMMnHRtedFyZN+o1e8VE81GacOs3ZHsxhr+hXCOXAHlkyZg3g2jP3veEjBD7Y8AOVyiizSKz27uLZpJiNdWHcY+b9+N738Ah0Lqo1y9mF8KmNH3x2SV8nqh1TakQihcNl3VwcvLxUbZUZ3Ghs3CCl4/fKLzcWCWpArnj7WKI05I1yTpZ+hVdJp2IylI36jRP+KDdKV7R1vFFUz2BygSIO0jZdPJtYiED2sl6matPqokeejjhnUQLLBYfoGVSuoW/rwQiJ26NdoSccOYhJkXu38aHAlzhl/TmRMy27gq27UNocCC49/c7I1dImKfGaPbU7atKDoumTAYtIp9jxe+GHO9OA5X1Fjx2p3pjH29pUvZYy3dXr0yhVU9ZhPps2gvPw/Ix/gA== + +Index = 9223372034707314005 +Start = 4611686018427387904 +End = 9223372034707324928 +EntryHash = 6udfgTDf0bzmazOv3bV0PFLVLKEN8DBTWJdZ03qkRQQ= +SubtreeHash = GiVclfN3TI/7q1+gGEa0DPj/kIYVlV2TRHwOa2E9ubs= +Proof = 2vFQEXgZFVXzmx5i48ADGbk8GqBuzYXLc/bC7aZLbwy+aecOzR8gCKJxfj3Iqh7N+9nzvjulikDbKwyAaL0qfevKFELv3ZXyLjOqd7HOV/kebRnAGlTgYwM2H7mxxVvU+dO8NGxLSDlLei7RjpLdJG6c9qtLouIZg2yY5hScPXFnAjXAYIqc4VkEZ/QBRDhn/wuPp1F1EVc6auduvmQ95OTLAhxNuV55c7SFKzB4aeB5dx0ANQ7PoymjBs8T1ocjyzUMQfxISAdMqepR+nQbx14l2HusBk4mF0BGL9Ng8BueInVzf2xoSWFIFm2dBQFYUgxlJ3MFGRMLJlh9FQN44uq2g88jaGuVmrslC2CO4nD36oTf1+b8wegQmO0RP6FuawE8/DDFSD1O2efl7R2T0c+qLNxudZZ5ei8h1sjcnBrHeUlgilrbuysVXpgsluDXNfh5DKx9D+meEi2c02nmC3lyJM3rK/zeVEKtwJNN5sR2sbA+6L7CrFr4s+MsmC5wS96JB39z4Q/7U/+j8GmtPfIkIZHCvMELIsU8H7cQTb2oowJuFo4KcyPbPogRjCfTF69KHKPd5Psog4gg2MQcz5abaUWnwVUdCUKPQ08HeNry8wEzVqLqkbV9jEvhGPxyNjzvwn1spmHIZnoPps8tNJNflWSHBX511ggIKeK4B2JE5MbCA0LhKfQbc+cpLueH8CkUXDyfBbPX1ZV5euWk3DDggf5hywG+YZRk4O4CyTkMACACEAqMr3NDK4/g3zqyHAWo8Z6u8aMfZY2m5A/IkIMr0C4krzQ3PFIESp7GhYqvEeO+H5zNXbGV0FP7nVg972cNgBnc09m3xNHNl++ZOkvbi1ZEHd3+K1Z4y0PArMX2ibGQ1eXm9ITHkkn0XrAMAATZQ34ozaS4cXArPL4dDbQxszKePRsBjcwUVeNn9HtxczMeVxZT5v+Ig8XutPRN65waX2nAuAHF7jOTJsAbbUja/vNiE+bs6dJEnd0r5noAq6zOxbGpcvTBwQAaOJjJ5klBDo0KcykaKwZec/8UWsQ6hNpp5u0yoDgM+Aw5uIlAFVOCrzlVx5lLraY3AmW0Oz5/pvaMx173cdQyfFDKlDQNDOC2cVoXxGVyq4naGUgWT7CCEsRnAW5+MZdb2tke6HB9O0+W93kdQynylyA+BGPWu/aSystwYwlEdq3T1HDo6iysot4la/M8d4+P7KXG3F5wCT3hQMVbzibMNOryE1uUFRBTpbICZBcjfzalXSYKJxWpPp6SII6OMMJlDA4yM978s6jslX47yg5GAk07wN6ytqbwgdc/TWCuzgb07gduQeUhrdEWgT7SGF+dfKfqtqODhFNjLqKc2cYYhdcrP9KXZ5ACtLYxMj9/SYXRNjDzN1Amr+FXYB3D+hsLNKLXqUqIwkQ1sAf1w84YJunODGVeNmtiJC5Cm82JFQDlrXtJs4vwjvGo/7ZjqsO8tU0TT30rD7ynOWe5DKA6JGuKeCBfwt7cHnxpKKC1YIfa4YBY2+Otuy5nK/GlcylkQGoIZzC1CUMXZQ6src3k8jpn+XF867hUO82kTO6Ms9oycInMImLIdRLzuIDxPg5MRVx7vIOWYh/bJrQ1Zms/I72ZJYZI+coR30TvAU89kt4qzNr1LrpnzHRJtM2qyarJ8U3wcN8+OxIb01VZaxJkyvIcCIzaLe8zbsHo+fz9oKwr+NZPqDloZ5sqQvMN3TPYnPgc95naXO1rbdv07w7SeSYchb4JrkSM7dxHLrusGEVSeGzxU+GuNsCTX7avC5AbYqDMrp+QNt2ou4tn1DYD3iZNYmaZnZsWu1QJywxf7rVeoEuchpvP9zM5qlFHvssZyBIR24jKVqK83NCyUsdcvdr2x0fLLmZsWzoITNExaawpA9TIdSgLEWrPPSEkki+y9INpwjih/tqsS08wRc810EHHaIpceAEnr/6zZJCnQG2Lk1k= + +Index = 9223372034707324927 +Start = 4611686018427387904 +End = 9223372034707324928 +EntryHash = 8fu56gp4lNKK7Zwhqh0PlVxtIHa1I2oaC1XFgxJdVFM= +SubtreeHash = GiVclfN3TI/7q1+gGEa0DPj/kIYVlV2TRHwOa2E9ubs= +Proof = 0W01pK4wuQ7Eb2LUSgXsyEzrZK/1DkS0LgWkpY1m1oQrTdRoIp5pxc7TggoGnr1RnxXaORzzDT5WEbV0rJGuSmsMsoOgiOBXFAH0si3e5vKdkd1FszxRF0phsazRaD8bTvDUnS06gUKeFxsCck2QFs6NYlTOrbA+dp3txf8WgVqMD+2pDFIGtWEkT+a1E70ZxFUeWts8A/c6+CZgKtECdAGSS6ly5Kutf/2sLlYuP1gnMF/K8L+weEIqOatLzxiUq6QjV/qetIgulIeN+awow+mM5mQxJd/5XnMirrUXYE9XG8Hn+DCH2+FykLd3UCkvy7Zbd5phH5mq6bSKzHyghWwnn6607IOzoJaBatfNuB3bjzGlLlILdOX25QFKG7OpBFnFFspjzYCyCAc+43AJBArOa01YH8MIs0ehVjMzdvKTi412LzvYwwZfPj5ag/gLkqEc4DhFfsM/9oO6oXFj6DQkI9RDlMQ/Cy4KJA6q0jaxZzkb0yeSGgK+tULLrw36Yv3tAvcfgKckQWFXtcSPT3NfGFf12fHfrFZhdTIpf/apjtVm3/vZAJAw2N6LF7DM/4Yg4hqn9j8OSTiMQ7ztCJabaUWnwVUdCUKPQ08HeNry8wEzVqLqkbV9jEvhGPxyNjzvwn1spmHIZnoPps8tNJNflWSHBX511ggIKeK4B2JE5MbCA0LhKfQbc+cpLueH8CkUXDyfBbPX1ZV5euWk3DDggf5hywG+YZRk4O4CyTkMACACEAqMr3NDK4/g3zqyHAWo8Z6u8aMfZY2m5A/IkIMr0C4krzQ3PFIESp7GhYqvEeO+H5zNXbGV0FP7nVg972cNgBnc09m3xNHNl++ZOkvbi1ZEHd3+K1Z4y0PArMX2ibGQ1eXm9ITHkkn0XrAMAATZQ34ozaS4cXArPL4dDbQxszKePRsBjcwUVeNn9HtxczMeVxZT5v+Ig8XutPRN65waX2nAuAHF7jOTJsAbbUja/vNiE+bs6dJEnd0r5noAq6zOxbGpcvTBwQAaOJjJ5klBDo0KcykaKwZec/8UWsQ6hNpp5u0yoDgM+Aw5uIlAFVOCrzlVx5lLraY3AmW0Oz5/pvaMx173cdQyfFDKlDQNDOC2cVoXxGVyq4naGUgWT7CCEsRnAW5+MZdb2tke6HB9O0+W93kdQynylyA+BGPWu/aSystwYwlEdq3T1HDo6iysot4la/M8d4+P7KXG3F5wCT3hQMVbzibMNOryE1uUFRBTpbICZBcjfzalXSYKJxWpPp6SII6OMMJlDA4yM978s6jslX47yg5GAk07wN6ytqbwgdc/TWCuzgb07gduQeUhrdEWgT7SGF+dfKfqtqODhFNjLqKc2cYYhdcrP9KXZ5ACtLYxMj9/SYXRNjDzN1Amr+FXYB3D+hsLNKLXqUqIwkQ1sAf1w84YJunODGVeNmtiJC5Cm82JFQDlrXtJs4vwjvGo/7ZjqsO8tU0TT30rD7ynOWe5DKA6JGuKeCBfwt7cHnxpKKC1YIfa4YBY2+Otuy5nK/GlcylkQGoIZzC1CUMXZQ6src3k8jpn+XF867hUO82kTO6Ms9oycInMImLIdRLzuIDxPg5MRVx7vIOWYh/bJrQ1Zms/I72ZJYZI+coR30TvAU89kt4qzNr1LrpnzHRJtM2qyarJ8U3wcN8+OxIb01VZaxJkyvIcCIzaLe8zbsHo+fz9oKwr+NZPqDloZ5sqQvMN3TPYnPgc95naXO1rbdv07w7SeSYchb4JrkSM7dxHLrusGEVSeGzxU+GuNsCTX7avC5AbYqDMrp+QNt2ou4tn1DYD3iZNYmaZnZsWu1QJywxf7rVeoEuchpvP9zM5qlFHvssZyBIR24jKVqK83NCyUsdcvdr2x0fLLmZsWzoITNExaawpA9TIdSgLEWrPPSEkki+y9INpwjih/tqsS08wRc810EHHaIpceAEnr/6zZJCnQG2Lk1k= + +Index = 0 +Start = 0 +End = 18446744069414649856 +EntryHash = d4HnfT9F7o82o9ZoKXHIyubc7UUfmMSK75YA3Z33s+g= +SubtreeHash = zYMDnD6Nmt6QHDjykc/BEGv/7YvpncpLbhL16HWE6Gc= +Proof = 5Q5B/5iExWCpav319jnySiukiSbnLgiURtHyp+jvQgruIiD4ddD2Oc+r+NUtkQBPTc3OQ0KPGRLy0KCzEq388H1oWVjBkEBhG/ne1/3kmqa32UomvGfwo1nEYmgjttddzrVlm6q7Ie2XRDwb58JPFq8FIyiHoBDfpOJY0kSQFXIg/1hALW4kGyLIc8yvmO0mwLUzpJVzJUyhkZA3IKjx17NWRryhKQ3Dl1Sp8OSAIPWlomgIsBdxQqKnIpX1rJ+KWniKX1eUB8ANknUcCO56kbQYxkuVCQLxRF4t0KaUZlAZBJ6sowVI8ydF1/mmFCancC0IA12BR9SJuuY3L19uvImdaGX00ie+bhZx9hSBOCJzwDgkhyg4De2kV2gkaPqsKFd8Q6pV5nvnMqzthXcmpoM+jn0p1KOfy6bp7v7LcibeAM1DFKj/K615Qukl1UyBBHYNgcedZnr8aTGOkLi5no10cCfQ5xFMpi4Tx2sAleGH4m6uI7wAmzGWw78pFCMDwgLMj1AjBqtQOTGSVWD7kcs/TCSfGEpg2TprfTcMqRPWiXIIeRFXUI9rgtkdZWPuZMZZmoYUwjwwQbJfuRleng0ma3vHJeXZ7Jyo4A6ZqSaApwmWsjVnT3rdEtp30icXN7wbYyIKyuSlAJpzWvmc0AR9C3Bzt1HHpDyJvGMn+3tXJuMo9TyuIZvVzKzK0Vxn2zIHGLUKecuQNtOmKV4/TqZs8X+zkDkoF784jExNaVl8/HAMkjZ0wj2CCnYdjolmiytTu8kxCc6M9IACpn78zEoVsUgAKwhFyAOsCSvTFTjG6pDL1HWn6ditM9UGz+gfUH1AsZdgQBomerDaWVDkyQDwENRTCNe1Iu0NDrjPf3KnVTFFiSbkLeVT/GFJ7WQDRa7Gqd8QHPRZ/aCT8y7gkzjLX2GFn7O9iSNdkvSA8Nw5CZ4NquZqcoJdfaYykDIdPvic81Q9k8O6yg5QE9xOuXxHa/d4dvVUcEXM2dQR/Rf2rwu/oeEuWVo5cId4Kv7f9ouu7NoVf3UGyyA1pR+ZLlkNnL0ehRzujgzrdmr6d+EmrDs8G3Oji+uPmwPP0dQWlPmPwF3c0flzSazCqysjwgP3pTwHYoAYApVmwhkwo5Q5iefx9ZuWod8eiPZa7MfURI5iNF+cwmfX8opWEIMFCVBottuoz94yIlSdSeYIz+OovImCwH/L9TlMCSoEZGpLys3hgV5ceMsVNkCqWhe2WVJ9/cEeagPfoSiO08MXZHVSUgjzqCwpYLQ2BClDs7MGDxEELJjkKqWU/WpK1A/p3RTIn0ciGGDjg7ifUkKWHQ18seC8uOaYa8ERHOD4SMVNUxo1Gt4muVv2pIfV/HJh+8yHe+5Wt26w8+FI8d5g/K9VHzKMpEMFaFtryYLzFsZhGhIgCOrrq7nDeyQS9KfhmC5pV086eXFZzEaN/CeMYEUR2Fs6nNIj2UR1mUrTi8xtf9MJwXMZLDXaJmqj5/seIDk2ZAqhLRQNMph8lJpv6NCw33WKxl73ICfVT8ErFmoIUiog8wCU/YlCKnQ6o3IMVqAxQUUJRX0wAjRcCYvlHvBfgE9aOcE/Fbj7Hjpt2IEZcz217DgaVnfWvY59cRAhHPY83p0YtOr8IScKUFWkofiDpNitE8PjKvNZn8bFqmxB7mwqNUTsmI9m9Tm2Wecay8xSxzyMLymCCu5dRLxBmPVF3iq6hYDG35qcSE6PQt8Mnp9TXDs4YfwtXh97O2JuyuYFnCytS+J6LGU/XgMXl4i23rzBgLi6iMAB+/Hu3nf6uHBYfQabfjf6Qf726BWsDgTORd4IQDO0BYkPG0NORKcDhmGU+F5Pq/eft5idAsWehZc3MYQHeuhXUjg28u/H0i0nmK/qyoLrBba0ICHFwDlzlOeEdx5BUaaf3MxfFmdgbKWKUAC6zqa92uUJOp3kMgT0DLxkikZXWnzIrvuII6fiPa6M0Jb78i5SFptjKX/LXgNGedMJoeXLLMhPnIx4FzVGYGihBQELc8//PMZPOyUJ5ohwn4jPc4sTiKJ8zccEHT46Kz2f/zTQhCD+h6rDzBAUIaEeZjO2hbm9oY703zYk+Rp/ysAdkIl1zGPp/DDPF7BLFGNzYkV3y5s7grxoMImVgQwnbn3QGWFgIlOLyYkbxnIJPAIHF/B+QjYbbCeDeTrC6TAOVGz4aI7jq5wJJN6jgTs2MJLySg0d61Q7dTc14dxvGZ8bUJqsFQGiAJSvdpaN2v1OghTa/unvh26O2VnKWWbJ8GiuWv187xyJxUztxG49l5JNJCaibtgUI4PP8FbohuwO6ZFvNCuADH68bxPqYJGPfWP2EZpU3YEXIQ28szIed/QQzK9Y9BM8Nh5aWMErKyB7KGfU8YMakPnYfeBQOs0GkX+fkC8THMEXndq2cZ0dbUEVEMYxsYh0gO0zQ6dpcPTqfZ7QwcS7Z+TLaygtc0K+l+35z7VC3MtLLxmYHj2nbLIdwm6q/kYlx8Gq+kxzQJBG8kZAbHycrvOSAxSRx0SbuBNwCahZ4Ln+NyF1PcxdTSA8+I+RyfRx3Ejb9Y5JHUxxcjadVns0yhN6TPDj/g26qDjcjx+DjXo83+9zsbmVc6nbCETMLRrkIV9qEDv8KjWOaD6QepZUVSXzwJyhXUssqJ7/gRuv0IaHQ3C4ZTHZjcrsjR6seODfTKa2IMxVGuux685T0wfobBa17RoR5cHV3EByJljCZS9huRE= + +Index = 12297829382473034410 +Start = 0 +End = 18446744069414649856 +EntryHash = zZy5wwPje0fjCAmZetaPV1XVa3+kChU097Jh4DoUQqE= +SubtreeHash = zYMDnD6Nmt6QHDjykc/BEGv/7YvpncpLbhL16HWE6Gc= +Proof = Tszo4mrQPxHMw+xvGDxjD2XuXQ+AOYkElObYPac9xbJ2ogyRab/G3eUwaCL9e5+akJamrw5HHzZtc6kF9TkyTUo1NsdorlpzBfbat0jsGeV3DEq0xj1GkH6cTtHxOMyQkpFIpLgsEeCMdF5BCkrarcLDCT9KBhfEf9rLxm17nQYI9NLOv6vKsfUz6/tmfg0KPGc/V27Ta6rRYuFCnQKWGzvtH6upPRGzkBZquxNV+ydopIix+VfSRItZCxRW20juMORhS6Lmy2k3IMVa5Iyx412aw9ykykTX+55pEz2Am43pGOwae3bLWwzUdqCPseKVADIBk4G0VXSVIYvu1S9sy3RU5mnhg3ga8wTsRcc1OoQScDIKP371oztwlWrKTkLT6/JIogwU4atWUhrncCzu2UcMhr+/gBDW6Gwfj+w9e3toLBqN/p8IvkU3tXJTNDfbZMbncjyiJfJCE3YOBqVudeFcadDyTt1Ol+j7sV+yGBz5gChjpDEJ/UXhOWpycL6b9TPrYFAgDIu/9AKD75qRb5kxLtM7XT9DRZXTGWhfoCU3XC7Xmzwcj59kRMpmQCHWrM4OgvgGgSbG/5QsCD722MdbsmM+kDFkO3xCbRQiEUU09006TopSlMHAsCmDXpm5wo1zibULK3WFOYZ1MWGwNj+ka0n/VjgKVVzu7/NSFspo++kbSiJQhPqjIk/ewacvFLfFbyELcXnRQw2KKaY+fxYiIKF5+6PmzBPZVpbjuC/vG0w3DNJNCaN5UIeglhYduVOyo1GkPAtIMEPKu8ZXOPmSrRUf4IHeB7xrLd951kq4D4IK6OciE4bUk0/vJoy8iRSBrn9rBL15e/6Fcir040MZrLLC5kGoZWmu8J/8ceeG2qViJm+YkiZOltjRu1vyPD1wlSjgELAD8eHe/R2cbOZvG+gw08unPJkWY3MaHzKDUWocpixBrvwpg5lFoIq7qqSRuLPCku2TJYKvuY5PZ0raXJ5ZSWplJYB/b5BsmnUV89H+rFwFPyebXHHNJ7lakLEdHOhNj4pfCp6QauwVPZA49ETmOeQ1KemJyLazsxuztHgC5ZUnS0SlGhSR3sR/In7GywMPZAgG8ORmISmcmWpIs1kWJgzp3Lk0ntTRxEjlN+7PxXFYxc2IJyTpJmgMRV4qI35GGlZsH4UFzIkUpoQXaCDfT7QH5+MpeSZ3l5HAqsq1jc7egR0+a5LbXrVrpPKOXRm/rZU3rN0tLPzjeWyd4UIhrqlHbA8YvUEl8uC4DqkVhVqml9EJAZ/hO4rUs7USzp+kkJlx642c24kRQIovJqinzxzujhinlgL7DUCVpBzEuZRSXmaUNkUDZ9+nE+L5POoG6TaBIIHU7SWwD4Hwweh+Xk2VyQtHx3ZKporXetqOH3SimfHshLqffDTDWv6o3B0EvjI9wkZVNQaO4KZtiYCNzP7R5dkxdxQRq8+gLSiYWj8HNf3WtEMZYH0zQMHa4a/yujaTY1k75+zDQf5oHIrt95V50mLr63AdMYvLI5Iuic99c95XbE0lwikQ+MUkLRHYro2s6Wwe5cLrOuI8IZtOUfXK3+C7sxhYNGoi4c6k1VpkY4UxMUIVVEo6NsFhCKtOI/jgJitSRFyOvV66D9oPd3XKeqHaGdDrRVKXiJ3G9jdTikMx9ylMcjA84hsjIT+3bMG94cBRS0cH+aiBAKP9eyMxeGUWQ2PWpHI7qjyxKZp3UhRGdwiPckfg2o1/mcq6h9W9iVrhkPSsgoWa23FiyIdwhXHYd28sOBH7NWg3WENjfdRnwEsdoQJSBjRPfT2L/YZTwn3PPfYSHSUC2qbIVEhXmcKMFwq6CDXExnKxNVDpZNeclHDi3oSzS7NPV4NuDVTacjiSSP6HoF78Luv64TPgtAQOM1sBXavJIfkFX4TQQxfR6kNu7nauxFaWDPdAEwGRzEz1jN3ZsDmeGHRd/yEVOfbl325KY2KrRz82Oif+BT1QgIiob1NbF8v1HVUIPP7b/hpWERqC6ZOmoeuI6RlIq+XBadWSOtR9QdEJs0MiqVc0Phs33bfnvg62x5QJY9MG1nD+GOCBjIEwHjTyf7EMsHz+fdXNyGQmsjzIZbTTToiZ/qyaNObPvS0+XLISjZNVYUmIV11ED5BUq0zSV6Osu8MlGRrikA3aomdqEEO4PiOOTModXtRqVQEEdGY0IwtmLgOFe18whBbVysoDtt97Ky4ZylwFIZp3n3HcdNatQw3yn+cJkCTGX5VNKzFK6Byz9AcnWZub1ow6K8HP6/h1D2aQ3Q8mOQtIoANsmTOSNcppceYZvaJHGI5RQmWSEtefxRG/tjBu5CwI51TBi7HH3gcc0KFxp7cf9Dnx+3zti9tkg+OFfuD75kCFY7T33IOUqQPP25X9WX7nw8lsqpe5SX6jbwzrQI/YHjpezGXDV+hJW3eqtWFLtPqwNa3q+rr13/Kld7bFYr2dLAVeqqw0PjqcXeSwrdc6hRg+rSRrsZmjE7cplMLW2cc4xF6uDjr6qNjguNWUBVN0hft018UF7Rfi4RkFxWSK7N2amRlRtX5POnogdOabB02K7Pr+oRtmSyuoakF2Zk61aQOQGauRYLoHGwsco4UrtfRwfd6dNbIkidSpp00LUFq03GnTVOpH+fJha/N2CfekI3swUczKGtTczl2iTtlpXXYvE0bjlb31Tp9nWJpenOIsuG+Hr6fvQY+mtzZq/IlHtP1QosHq1YJtUWmNtZ4= + +Index = 18446744069414628010 +Start = 0 +End = 18446744069414649856 +EntryHash = ZByCMb0PBMLGyvZCEUqiXs49Gjpc1PkOkDkZQASNck4= +SubtreeHash = zYMDnD6Nmt6QHDjykc/BEGv/7YvpncpLbhL16HWE6Gc= +Proof = fxHR9+4iv4e1zKkSt0HeeEf2paoutXM05vLZX0nKhys3dX9ptO/HvHgdmZHrr1a42dPF91hK5bvx+uqMx2EHZdb/4hrBjPcqyghluHzBi4xoMIEIym0Y7KvSZhxAlXWuG7RdrlshkHYrmi98q4FKOa5NU5aRoMz4Dx/LE7SshG3NB7tMVkhDHTZpnGOZUhOMT0gKCbavTq/vgB6Dx8sFgKxzFY9u02nTvBDBpUONZYVeQl0gMJwfhGjd7xGL56FE6N6w5WZXhYqYVMntqiE+JBYsUJHUVl/jx+m9XkHG8dNVLwn3IVYb7Fe0BcnFl3oFKSBMmoLC0GW0jAWGB0s1y8wolD7u7/adEf1pp1o/+uu/h/qodDrx+d2e6geg7+JkdUuoy5zfbrBuGZ+8wu/7JFojtclO0agJdi3W8rX7VH4tG9NqDomkzQPQkN+2zAEgw6tIwpwpOwpR315R4olRWOxdAIEIprzsLvsLU9zOmS8Av0l8Oycuj6nGpqWIaBlVk9SPBBjATRIHN/qJd/HHgIpTX7oZayxA0cwUGyzOA2ylYtB/gWmSJbnOVElWy+Z97ZQLIs9nwxkaY/9pEX7fxGmP/TK14ApgL7aO2IYaOnmXAJ4gHGExqAlAaR2q0ADKMKdpuzf/cNXK6hmOkB6krYzmZMMFBwVng2cSEweXQpezbytlt2GJdmAdOuy1wNmopg1rj5Oi2ivlLgkifNI4yFMQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8NHQbHez7nWfQ5ufP9//p+pNvfOjbWqpFpA4Tgx6A390pziLLhvh6+n70GPprc2avyJR7T9UKLB6tWCbVFpjbWe + +Index = 18446744069414649855 +Start = 0 +End = 18446744069414649856 +EntryHash = GA7MCj5ulNkBnLFNi2oTQYgLDO5FG06kGH2bCucmabM= +SubtreeHash = zYMDnD6Nmt6QHDjykc/BEGv/7YvpncpLbhL16HWE6Gc= +Proof = F31+8AYjBQ6DIlIIwLSa6mm0SqKUjC6Zmpd6xY244ROB2fpnaGzS765NsJEr4H7eYwu6mh0gqCgMqRWNa1dQuGHWVDvkrvU/1FDjpLbFReW14FBYjhw+uqY4OhDadtgdbAslb5affn+GH/VM4u3mz1fVzpDuDbXObcC7CtWMSxt301qwIxfGMPV+u878zGq/JDOOZLjqTQu+p0IXl3Ry95Uw7qeCWBkxorv0BDSRf9j6J5JdA29R/AypVzX3CFQk97dL9WD+QE45G+AO4RrKq7ZmIk2t+RUUYwQDhreLqMrHI9MMXbuGY6edIzUxz4jghWN+fpbXz+gnSAxTiT86T2LHvkiMfAZrJaCpD1nhmgBIo2RiqUG55ygZiOQCclMzXE15E+bcjBoYauLhzyNjgS2r9RmpDMWdVdCcqvTGRadRVNjyWhnLSa2ZMmNRSwLzvgetHtZSMxDG+sKGgHJMbwX1SnEXg839IpqX2/F3HbW1nkHw105CJYQCGZ9eoKd/3MTVZdAw6FXcS4rICOyQBEs3tVscu4cAbmSiHKNNASaPV2AWUCZ9O11Q2Ux1NOCKmdVjz5B1Fc7u9/8NAYKiFVfXxivxMp5VdN1uVO4sshou+i+YPrEP/3fdr8PeIgu+MKdpuzf/cNXK6hmOkB6krYzmZMMFBwVng2cSEweXQpezbytlt2GJdmAdOuy1wNmopg1rj5Oi2ivlLgkifNI4yFMQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8NHQbHez7nWfQ5ufP9//p+pNvfOjbWqpFpA4Tgx6A390pziLLhvh6+n70GPprc2avyJR7T9UKLB6tWCbVFpjbWe + +Index = 9223372036854775808 +Start = 9223372036854775808 +End = 18446744069414649856 +EntryHash = 1cv9c6ZlAC6DIZ0vdC0r2XOBO56KzE7TkyZn4jG0jJo= +SubtreeHash = IMxVGuux685T0wfobBa17RoR5cHV3EByJljCZS9huRE= +Proof = QLteCl+mVMJSuGz3mc3mfsySP02E6JJiBkhCD/OXem8EszFHktr29AdFTEnX/+PmN0HuC7ojUyvgdOy9ex7AIS0Bc5cMIqaXW64NkBXBL6acJ/W1t+oVfSm21QbO/noxOi3WcjcuJwLHJfc1fYHEzmFrzOwL5ecqQgnDaaJWVAXBSV/a3raGCK6Z815WSMNDHWpCbyUDaghYheIxsRZIqqXwrVmGFCcgIvMJROhK4CMJIgkfToL3wHEKb1bCtQHSannCmxGiGwGhGLNdA5a/eoJTcs0NYN5mMcQSrgOr5hCRsRLJr25GY0tAiJ0JXQWnpIBzJMn1Nveh0zwFf8TrUPa5azYIlI4r9fYykGbE14T6B42N0Lwj4FD/Bwpr1uKeMnH8DSabU2tSqBOQOQ1BbxUlgTpH0SjKIi2uS2JVH8ggR/CrsQ2PJOQoBP1KxISalKYnhgg8mXoP7GVdsrcnyb0ZhcuDsbFGRlQpa2EVKSEjiSplcbqN3ZQHDT96L08YNS+BP6GYdTBVkM8eF//KbOck8QErTvcCHaifBXOq03a2f6vq5NZeyP+QOVlfGbyezHxLU3UUtXE1oJHyMzCuxc7vDpVPOqILyb0M7Jp9BX1MeVt5QGHOcAIvisYDktwC8UYAOVsWfYIoZgDU2xH7pESMAqVCt6T47gqR9a84bOE2bShmAdO8DarrfBvUaG/Te1WjQESno4g6ey8fOV1y20Qg6DbE/hU3MIxJ9eZufyCTfPEsfObG2FTP4Ryr3BEC8Jf3J+B6WzQ15r55URVVgBpWP9aOpdGB+/dnWyE3wbgHV6vvWxxieVsQcg4lWuvzkKyyiEJY1vg0S1yc7QhiVggkG/rsXg7WzOmar1LPhIuH/M7oNwbD9dHZ3c4bAzAYmYUWc0t6TKgVKNtfV7eQ6GqFewZjxsloEra3OWL9ti4QywOkqaUGtmLxmVPI1GD4ywWiKEEt1WtW92ovyLultUWwJ5cdIbmnDfiPl1L5EKituCjlAb2vtwtGdAwquxo+ISOvi8NYmcnTMpTPH/XMDPYIdmE/mm4aO73ND/VpChLOgR9G1rxDFK2MvA1smB5F8CnoHfXqN9KfuJLFM+vWD+fhG99cK9srf+7Uu3ODYGJfN33VZJOhJxayVWdWCiCqyQ++91pcga0zPWms8E3I96A1B15Fw8e4eouY4RFWVUDRLh5/IYo2m5RT6KJHbgSu2LfsnC4IKq2gaMPkbjYBlZ2KkZQA9pUOBkhRFqyArdkKTcI9d7QdcX78qtWtDHlhcJtN8MqEkACaMoUnc/Sx2JGswS8UjhW6DitBI/k/mYCMNuXu6NPX15z/LsUvRciqD6/xb33PhtEaiSovhVVSFHIRXeca6IlU3FLtFPBrShxHpiTems3/2FVRd8aPncF4HGkxOJdPlUNL/3tARWPC67TpoFagSUlcM4f2pNR9hyKS7+fC1v5UPbgFDGkrv1cjwGSTPqPLfoS2JO6/V2qGBfqKIAtoTCzIddFadm7ubLF88WTZ2nigPaSkWZHzaMJHInJAgHT20PY+c8HwpJHYhifew8FITj8XJ8+wnL96iWcBWMlsAcoku62NFZpBwQg/jUa+KVKTbVCmp5cbLzVmNQITWJKJgsd8iyVihoD6KivtObbWWzgEXSxoT9t9qOAUHqpbEO8HhkBArhWJluBgnj6P8oQf+JmADe+1Jjxqa15NAjgU/HnbBjtZPQeyz/qU54C/eArVfdCuuao/EazrRa7lGiQ8K4SjcO31Dn0JcW52PUKSSHjQKeEinIUZFMsuZcdH44RSA/bBMgaUJj3q511XJHzXCPQohntyJahaKdqwvWJK0+KzZqM6lLm01gYEYVdJ74VULLId0uliXplDTxqcJw2Zbgg8As1TOkiSDguLPC7DDo+qrLRno+eKsuN6ghmWHcDURzdulbuVs1eE4ARIx7/Awb3wHTxtr/iH44SEU8v65wey8Am53wrBOSz/nLp2KgqaF8skTzZ3BZXDx0FotLU0sOfya2P5QkMDpIzCR2tsEkyu3DTcg6xm2ciEJnHBHKxeoNbPELgycmn6KuExjckD8OMk8ijOMWf2MkYA+5A0ovvbWYSjNPeSmdZ4jJ24NlwFU6IaKR4a+4ym2J+sfRIRBnzZI7bzNPCiz19LMpO4fUxFWUvnC9XwdQzZ5lgs3DdOT0P0/Ynmp996b+Tx+MyWkIkhUiu5nmA21FldhVK2tQcTw6MD3ld51l+vrBwFM+gvGNG21U2l6Y6fawL9QMa7v8AouWYapRT2CrusG2K2K6IARt7z2euHghlpyUSx5yBmujUVrciPi+U5z7MEMI5sE8sdMHRRfwJvuoSY5I6+xnnt1PDWoQzsG8uk//5TTKxIXhn2GYRCHgR1675y5yLY89a2ycRvdPitMPqsTdJR8gBZe6ZKY748grcoGa/xKvMwAAXpdEhT5s4eoJx1mPtPfyretOtcjDL221jY/zELK4BdloydB4IFujMn1/nq+h/AzlNi79dQ4Z/wz/x39T3SVQB6PeWtdV7R/9LpcnnqrCkgTZgAxBVLtQuDuLTJCox9u551v+dkyCpQrn/Lm2BlSYD1hnjg3mb/CdZ+rLpUTg10gW7plc60eCqjFhDQ/YcBOLI9F4UHwtEyPfekI3swUczKGtTczl2iTtlpXXYvE0bjlb31Tp9nWJpe + +Index = 12297829382473034410 +Start = 9223372036854775808 +End = 18446744069414649856 +EntryHash = zZy5wwPje0fjCAmZetaPV1XVa3+kChU097Jh4DoUQqE= +SubtreeHash = IMxVGuux685T0wfobBa17RoR5cHV3EByJljCZS9huRE= +Proof = Tszo4mrQPxHMw+xvGDxjD2XuXQ+AOYkElObYPac9xbJ2ogyRab/G3eUwaCL9e5+akJamrw5HHzZtc6kF9TkyTUo1NsdorlpzBfbat0jsGeV3DEq0xj1GkH6cTtHxOMyQkpFIpLgsEeCMdF5BCkrarcLDCT9KBhfEf9rLxm17nQYI9NLOv6vKsfUz6/tmfg0KPGc/V27Ta6rRYuFCnQKWGzvtH6upPRGzkBZquxNV+ydopIix+VfSRItZCxRW20juMORhS6Lmy2k3IMVa5Iyx412aw9ykykTX+55pEz2Am43pGOwae3bLWwzUdqCPseKVADIBk4G0VXSVIYvu1S9sy3RU5mnhg3ga8wTsRcc1OoQScDIKP371oztwlWrKTkLT6/JIogwU4atWUhrncCzu2UcMhr+/gBDW6Gwfj+w9e3toLBqN/p8IvkU3tXJTNDfbZMbncjyiJfJCE3YOBqVudeFcadDyTt1Ol+j7sV+yGBz5gChjpDEJ/UXhOWpycL6b9TPrYFAgDIu/9AKD75qRb5kxLtM7XT9DRZXTGWhfoCU3XC7Xmzwcj59kRMpmQCHWrM4OgvgGgSbG/5QsCD722MdbsmM+kDFkO3xCbRQiEUU09006TopSlMHAsCmDXpm5wo1zibULK3WFOYZ1MWGwNj+ka0n/VjgKVVzu7/NSFspo++kbSiJQhPqjIk/ewacvFLfFbyELcXnRQw2KKaY+fxYiIKF5+6PmzBPZVpbjuC/vG0w3DNJNCaN5UIeglhYduVOyo1GkPAtIMEPKu8ZXOPmSrRUf4IHeB7xrLd951kq4D4IK6OciE4bUk0/vJoy8iRSBrn9rBL15e/6Fcir040MZrLLC5kGoZWmu8J/8ceeG2qViJm+YkiZOltjRu1vyPD1wlSjgELAD8eHe/R2cbOZvG+gw08unPJkWY3MaHzKDUWocpixBrvwpg5lFoIq7qqSRuLPCku2TJYKvuY5PZ0raXJ5ZSWplJYB/b5BsmnUV89H+rFwFPyebXHHNJ7lakLEdHOhNj4pfCp6QauwVPZA49ETmOeQ1KemJyLazsxuztHgC5ZUnS0SlGhSR3sR/In7GywMPZAgG8ORmISmcmWpIs1kWJgzp3Lk0ntTRxEjlN+7PxXFYxc2IJyTpJmgMRV4qI35GGlZsH4UFzIkUpoQXaCDfT7QH5+MpeSZ3l5HAqsq1jc7egR0+a5LbXrVrpPKOXRm/rZU3rN0tLPzjeWyd4UIhrqlHbA8YvUEl8uC4DqkVhVqml9EJAZ/hO4rUs7USzp+kkJlx642c24kRQIovJqinzxzujhinlgL7DUCVpBzEuZRSXmaUNkUDZ9+nE+L5POoG6TaBIIHU7SWwD4Hwweh+Xk2VyQtHx3ZKporXetqOH3SimfHshLqffDTDWv6o3B0EvjI9wkZVNQaO4KZtiYCNzP7R5dkxdxQRq8+gLSiYWj8HNf3WtEMZYH0zQMHa4a/yujaTY1k75+zDQf5oHIrt95V50mLr63AdMYvLI5Iuic99c95XbE0lwikQ+MUkLRHYro2s6Wwe5cLrOuI8IZtOUfXK3+C7sxhYNGoi4c6k1VpkY4UxMUIVVEo6NsFhCKtOI/jgJitSRFyOvV66D9oPd3XKeqHaGdDrRVKXiJ3G9jdTikMx9ylMcjA84hsjIT+3bMG94cBRS0cH+aiBAKP9eyMxeGUWQ2PWpHI7qjyxKZp3UhRGdwiPckfg2o1/mcq6h9W9iVrhkPSsgoWa23FiyIdwhXHYd28sOBH7NWg3WENjfdRnwEsdoQJSBjRPfT2L/YZTwn3PPfYSHSUC2qbIVEhXmcKMFwq6CDXExnKxNVDpZNeclHDi3oSzS7NPV4NuDVTacjiSSP6HoF78Luv64TPgtAQOM1sBXavJIfkFX4TQQxfR6kNu7nauxFaWDPdAEwGRzEz1jN3ZsDmeGHRd/yEVOfbl325KY2KrRz82Oif+BT1QgIiob1NbF8v1HVUIPP7b/hpWERqC6ZOmoeuI6RlIq+XBadWSOtR9QdEJs0MiqVc0Phs33bfnvg62x5QJY9MG1nD+GOCBjIEwHjTyf7EMsHz+fdXNyGQmsjzIZbTTToiZ/qyaNObPvS0+XLISjZNVYUmIV11ED5BUq0zSV6Osu8MlGRrikA3aomdqEEO4PiOOTModXtRqVQEEdGY0IwtmLgOFe18whBbVysoDtt97Ky4ZylwFIZp3n3HcdNatQw3yn+cJkCTGX5VNKzFK6Byz9AcnWZub1ow6K8HP6/h1D2aQ3Q8mOQtIoANsmTOSNcppceYZvaJHGI5RQmWSEtefxRG/tjBu5CwI51TBi7HH3gcc0KFxp7cf9Dnx+3zti9tkg+OFfuD75kCFY7T33IOUqQPP25X9WX7nw8lsqpe5SX6jbwzrQI/YHjpezGXDV+hJW3eqtWFLtPqwNa3q+rr13/Kld7bFYr2dLAVeqqw0PjqcXeSwrdc6hRg+rSRrsZmjE7cplMLW2cc4xF6uDjr6qNjguNWUBVN0hft018UF7Rfi4RkFxWSK7N2amRlRtX5POnogdOabB02K7Pr+oRtmSyuoakF2Zk61aQOQGauRYLoHGwsco4UrtfRwfd6dNbIkidSpp00LUFq03GnTVOpH+fJha/N2CfekI3swUczKGtTczl2iTtlpXXYvE0bjlb31Tp9nWJpe + +Index = 18446744069414628010 +Start = 9223372036854775808 +End = 18446744069414649856 +EntryHash = ZByCMb0PBMLGyvZCEUqiXs49Gjpc1PkOkDkZQASNck4= +SubtreeHash = IMxVGuux685T0wfobBa17RoR5cHV3EByJljCZS9huRE= +Proof = fxHR9+4iv4e1zKkSt0HeeEf2paoutXM05vLZX0nKhys3dX9ptO/HvHgdmZHrr1a42dPF91hK5bvx+uqMx2EHZdb/4hrBjPcqyghluHzBi4xoMIEIym0Y7KvSZhxAlXWuG7RdrlshkHYrmi98q4FKOa5NU5aRoMz4Dx/LE7SshG3NB7tMVkhDHTZpnGOZUhOMT0gKCbavTq/vgB6Dx8sFgKxzFY9u02nTvBDBpUONZYVeQl0gMJwfhGjd7xGL56FE6N6w5WZXhYqYVMntqiE+JBYsUJHUVl/jx+m9XkHG8dNVLwn3IVYb7Fe0BcnFl3oFKSBMmoLC0GW0jAWGB0s1y8wolD7u7/adEf1pp1o/+uu/h/qodDrx+d2e6geg7+JkdUuoy5zfbrBuGZ+8wu/7JFojtclO0agJdi3W8rX7VH4tG9NqDomkzQPQkN+2zAEgw6tIwpwpOwpR315R4olRWOxdAIEIprzsLvsLU9zOmS8Av0l8Oycuj6nGpqWIaBlVk9SPBBjATRIHN/qJd/HHgIpTX7oZayxA0cwUGyzOA2ylYtB/gWmSJbnOVElWy+Z97ZQLIs9nwxkaY/9pEX7fxGmP/TK14ApgL7aO2IYaOnmXAJ4gHGExqAlAaR2q0ADKMKdpuzf/cNXK6hmOkB6krYzmZMMFBwVng2cSEweXQpezbytlt2GJdmAdOuy1wNmopg1rj5Oi2ivlLgkifNI4yFMQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8NHQbHez7nWfQ5ufP9//p+pNvfOjbWqpFpA4Tgx6A390g== + +Index = 18446744069414649855 +Start = 9223372036854775808 +End = 18446744069414649856 +EntryHash = GA7MCj5ulNkBnLFNi2oTQYgLDO5FG06kGH2bCucmabM= +SubtreeHash = IMxVGuux685T0wfobBa17RoR5cHV3EByJljCZS9huRE= +Proof = F31+8AYjBQ6DIlIIwLSa6mm0SqKUjC6Zmpd6xY244ROB2fpnaGzS765NsJEr4H7eYwu6mh0gqCgMqRWNa1dQuGHWVDvkrvU/1FDjpLbFReW14FBYjhw+uqY4OhDadtgdbAslb5affn+GH/VM4u3mz1fVzpDuDbXObcC7CtWMSxt301qwIxfGMPV+u878zGq/JDOOZLjqTQu+p0IXl3Ry95Uw7qeCWBkxorv0BDSRf9j6J5JdA29R/AypVzX3CFQk97dL9WD+QE45G+AO4RrKq7ZmIk2t+RUUYwQDhreLqMrHI9MMXbuGY6edIzUxz4jghWN+fpbXz+gnSAxTiT86T2LHvkiMfAZrJaCpD1nhmgBIo2RiqUG55ygZiOQCclMzXE15E+bcjBoYauLhzyNjgS2r9RmpDMWdVdCcqvTGRadRVNjyWhnLSa2ZMmNRSwLzvgetHtZSMxDG+sKGgHJMbwX1SnEXg839IpqX2/F3HbW1nkHw105CJYQCGZ9eoKd/3MTVZdAw6FXcS4rICOyQBEs3tVscu4cAbmSiHKNNASaPV2AWUCZ9O11Q2Ux1NOCKmdVjz5B1Fc7u9/8NAYKiFVfXxivxMp5VdN1uVO4sshou+i+YPrEP/3fdr8PeIgu+MKdpuzf/cNXK6hmOkB6krYzmZMMFBwVng2cSEweXQpezbytlt2GJdmAdOuy1wNmopg1rj5Oi2ivlLgkifNI4yFMQnYhuAZCfDgMhGp/ubbgy/isYgWqcmMekqRIre426hIAZWnM7uaRU9rbiC3f4JCQfGf4I7gGn1Mu7/pT2mI9Q2j7PB6bbs1kw3S2R6ZDrPwiX10EQSj+7fnCtJktWhDMawN4on8A4MRwrmQL0JUfpZKOE377mSqs2xzKeBB0gWtA2rsmyWRY3ugrBRN/H7wrGR8WUv9P10Vx77Q6DijR7dGEMXtP8XHGbv4q9KeAxKhXFQQMxXWHMms67PGq18FRassoljbZpB12zuXR4UD1pmW0R5hrsHCNhCRstqIrK3KzXj9aaBBdRCzr3IQA+SzcE53AF1iEH5ilrfkLDZFNm08NsNlZQm4rsHJxj+s871pwjwjUUvtiYqwJwGnYti7BY4PiZnZGuPpJW5wMXphdlHIz3MfkU7w8aLcokJj4bJzwoJ2Iqf1EmpOBmJvUJnaVDCWsnsCuhnzGPAOCAg/YLMSS+emGnWf/+EnCHd8u6ATnIfu8jaygk1hwMGgOhsnD3v5b8JvewH3nzPS2JaCm5ka7BKyMO7iWtqE84djtAb5p69eq5BnOQtbOHUCjgqiKAPwIBZbLrV8S8vR10HQZpdNJv3j6bCvSbj3793gj0g4WvAkVEUfV6Q1HGxhsySuhXdrfeSYLqIW4jdV5QMfto+HWhROj9yrqixCatAru3LBrnDtpJYtmvt3TEwfq3VdqW+Pp7KudNh9GijUdcQ8Ujh2R60RXzJbtbE3Xaya/kSZ7WPpvHQy0OPAFmTkkX4wXT9IqDnLqjdUM+pSjwSVR7gejC5ODLeuoNAvr2R/Y1/Yvwzmmn5fIisx49IAYPv2STq/aTKYHVCVhLZq9oikJ4JxGlHqPgdDD3fxvgpBMM1A711Vjq5faT9sWbr1d8ODvwMNgeLBFByCWJJ84QcsE/L6ITCwPrj7lsDND45Qv/ln9czO3MCsAlEJ+RUvPotd3ELshhBlQPROGrZY7a6ip6QZO58WdwRBiPZWXUgOyYi2r1OtMZu2auomQO6o81aYFTHFYglRaxPw4kmvOk60fDQEV3Kmu8rpq+eI2HvRhxlPAxUXD4rLEM4DjeuhpjgKcIrqcVUOzjvsLqvTBIMkyiW2Joum0psClcXeoRYdpZovI2nWziQ3bnzBlcGxZF4//DaOqrtuIMSuDoX+5yhvKlSAedyBNCmHwH6zXNgQQeoUFSOwmE6d4jmCOEToqFCcSXG2ALVoEMRxlmfnqto8NHQbHez7nWfQ5ufP9//p+pNvfOjbWqpFpA4Tgx6A390g==
diff --git a/crypto/x509/x509_test.cc b/crypto/x509/x509_test.cc index 6170895..eaf2e66 100644 --- a/crypto/x509/x509_test.cc +++ b/crypto/x509/x509_test.cc
@@ -49,6 +49,7 @@ #include "../internal.h" #include "../test/der_trailing_data.h" +#include "../test/file_test.h" #include "../test/file_util.h" #include "../test/test_data.h" #include "../test/test_util.h" @@ -11390,6 +11391,60 @@ ExhaustivelyEvaluateInclusionProofs(); } +void InclusionProofFileTest(FileTest *t) { + uint64_t index, start, end; + ASSERT_TRUE(t->GetUint64(&index, "Index")); + ASSERT_TRUE(t->GetUint64(&start, "Start")); + ASSERT_TRUE(t->GetUint64(&end, "End")); + std::vector<uint8_t> entry_hash, subtree_hash, proof; + ASSERT_TRUE(t->GetBase64(&entry_hash, "EntryHash")); + ASSERT_TRUE(t->GetBase64(&subtree_hash, "SubtreeHash")); + ASSERT_TRUE(t->GetBase64(&proof, "Proof")); + + const EVP_MD *hash = EVP_sha256(); + std::vector<uint8_t> evaluated_subtree_hash; + evaluated_subtree_hash.resize(EVP_MD_size(hash)); + bool success = x509_evaluate_mtc_subtree_inclusion_proof( + Span(evaluated_subtree_hash), hash, proof, index, entry_hash, start, end); + EXPECT_TRUE(success); + EXPECT_EQ(Bytes(evaluated_subtree_hash), Bytes(subtree_hash)); + + // Truncated inclusion proofs don't work. + const size_t original_proof_size = proof.size(); + EXPECT_FALSE(x509_evaluate_mtc_subtree_inclusion_proof( + Span(evaluated_subtree_hash), hash, + Span(proof).subspan(original_proof_size - 1), index, entry_hash, start, + end)); + EXPECT_FALSE(x509_evaluate_mtc_subtree_inclusion_proof( + Span(evaluated_subtree_hash), hash, + Span(proof).subspan(original_proof_size - EVP_MD_size(hash)), index, + entry_hash, start, end)); + + // Extended inclusion proofs don't work. + proof.resize(original_proof_size + EVP_MD_size(hash)); + EXPECT_FALSE(x509_evaluate_mtc_subtree_inclusion_proof( + Span(evaluated_subtree_hash), hash, + Span(proof).subspan(original_proof_size + 1), index, entry_hash, start, + end)); + EXPECT_FALSE(x509_evaluate_mtc_subtree_inclusion_proof( + Span(evaluated_subtree_hash), hash, proof, index, entry_hash, start, + end)); + + // Bitflipped inclusion proof should produce a wrong subtree hash. + proof.resize(original_proof_size); + proof[0] ^= 1; + success = x509_evaluate_mtc_subtree_inclusion_proof( + Span(evaluated_subtree_hash), hash, proof, index, entry_hash, start, end); + EXPECT_TRUE(success); + EXPECT_NE(Bytes(evaluated_subtree_hash), Bytes(subtree_hash)); +} + +TEST(X509MerkleTreeFileTest, LargeInclusionProofs) { + FileTestGTest( + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", + InclusionProofFileTest); +} + #endif // !defined (BORINGSSL_SHARED_LIBRARY) // Tests for verifying Merkle Tree Certificates. Test data was obtained by
diff --git a/gen/sources.bzl b/gen/sources.bzl index df92c3d..ec950ef 100644 --- a/gen/sources.bzl +++ b/gen/sources.bzl
@@ -1020,6 +1020,8 @@ "crypto/x509/test/mtc/cert_33_8.pem", "crypto/x509/test/mtc/cert_33_9.pem", "crypto/x509/test/mtc/cert_5036_0.pem", + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", "crypto/x509/test/policy_intermediate.pem", "crypto/x509/test/policy_intermediate_any.pem", "crypto/x509/test/policy_intermediate_duplicate.pem", @@ -1417,6 +1419,8 @@ ] pki_test_data = [ + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", "pki/testdata/cert_issuer_source_static_unittest/c1.pem", "pki/testdata/cert_issuer_source_static_unittest/c2.pem", "pki/testdata/cert_issuer_source_static_unittest/d.pem",
diff --git a/gen/sources.cmake b/gen/sources.cmake index bc1f596..2aef9ff 100644 --- a/gen/sources.cmake +++ b/gen/sources.cmake
@@ -1052,6 +1052,8 @@ crypto/x509/test/mtc/cert_33_8.pem crypto/x509/test/mtc/cert_33_9.pem crypto/x509/test/mtc/cert_5036_0.pem + crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt + crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt crypto/x509/test/policy_intermediate.pem crypto/x509/test/policy_intermediate_any.pem crypto/x509/test/policy_intermediate_duplicate.pem @@ -1475,6 +1477,8 @@ set( PKI_TEST_DATA + crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt + crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt pki/testdata/cert_issuer_source_static_unittest/c1.pem pki/testdata/cert_issuer_source_static_unittest/c2.pem pki/testdata/cert_issuer_source_static_unittest/d.pem
diff --git a/gen/sources.gni b/gen/sources.gni index 7af3411..d45faa5 100644 --- a/gen/sources.gni +++ b/gen/sources.gni
@@ -1020,6 +1020,8 @@ "crypto/x509/test/mtc/cert_33_8.pem", "crypto/x509/test/mtc/cert_33_9.pem", "crypto/x509/test/mtc/cert_5036_0.pem", + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", "crypto/x509/test/policy_intermediate.pem", "crypto/x509/test/policy_intermediate_any.pem", "crypto/x509/test/policy_intermediate_duplicate.pem", @@ -1417,6 +1419,8 @@ ] pki_test_data = [ + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", "pki/testdata/cert_issuer_source_static_unittest/c1.pem", "pki/testdata/cert_issuer_source_static_unittest/c2.pem", "pki/testdata/cert_issuer_source_static_unittest/d.pem",
diff --git a/gen/sources.json b/gen/sources.json index 3e01523..94ac37a 100644 --- a/gen/sources.json +++ b/gen/sources.json
@@ -999,6 +999,8 @@ "crypto/x509/test/mtc/cert_33_8.pem", "crypto/x509/test/mtc/cert_33_9.pem", "crypto/x509/test/mtc/cert_5036_0.pem", + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", "crypto/x509/test/policy_intermediate.pem", "crypto/x509/test/policy_intermediate_any.pem", "crypto/x509/test/policy_intermediate_duplicate.pem", @@ -1397,6 +1399,8 @@ "pki/verify_unittest.cc" ], "data": [ + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", "pki/testdata/cert_issuer_source_static_unittest/c1.pem", "pki/testdata/cert_issuer_source_static_unittest/c2.pem", "pki/testdata/cert_issuer_source_static_unittest/d.pem",
diff --git a/gen/sources.mk b/gen/sources.mk index a15ade0..b5eb168 100644 --- a/gen/sources.mk +++ b/gen/sources.mk
@@ -1005,6 +1005,8 @@ crypto/x509/test/mtc/cert_33_8.pem \ crypto/x509/test/mtc/cert_33_9.pem \ crypto/x509/test/mtc/cert_5036_0.pem \ + crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt \ + crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt \ crypto/x509/test/policy_intermediate.pem \ crypto/x509/test/policy_intermediate_any.pem \ crypto/x509/test/policy_intermediate_duplicate.pem \ @@ -1389,6 +1391,8 @@ pki/verify_unittest.cc boringssl_pki_test_data := \ + crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt \ + crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt \ pki/testdata/cert_issuer_source_static_unittest/c1.pem \ pki/testdata/cert_issuer_source_static_unittest/c2.pem \ pki/testdata/cert_issuer_source_static_unittest/d.pem \
diff --git a/pki/merkle_tree.h b/pki/merkle_tree.h index bde729e..5c86db6 100644 --- a/pki/merkle_tree.h +++ b/pki/merkle_tree.h
@@ -73,6 +73,7 @@ // Returns whether [start, end) specifies a valid Subtree. constexpr bool IsValid() const { // A Subtree must be a valid, non-empty interval. + // TODO(crbug.com/452986180): Empty subtrees are now considered valid. if (start >= end) { return false; }
diff --git a/pki/merkle_tree_unittest.cc b/pki/merkle_tree_unittest.cc index 50540f2..8a3927d 100644 --- a/pki/merkle_tree_unittest.cc +++ b/pki/merkle_tree_unittest.cc
@@ -20,6 +20,9 @@ #include <gmock/gmock.h> #include <gtest/gtest.h> +#include <openssl/digest.h> + +#include "../crypto/test/file_test.h" BSSL_NAMESPACE_BEGIN @@ -382,6 +385,121 @@ } } +void InclusionProofFileTest(FileTest *t) { + uint64_t index, start, end; + ASSERT_TRUE(t->GetUint64(&index, "Index")); + ASSERT_TRUE(t->GetUint64(&start, "Start")); + ASSERT_TRUE(t->GetUint64(&end, "End")); + std::vector<uint8_t> entry_hash, subtree_hash, proof; + ASSERT_TRUE(t->GetBase64(&entry_hash, "EntryHash")); + ASSERT_TRUE(t->GetBase64(&subtree_hash, "SubtreeHash")); + ASSERT_TRUE(t->GetBase64(&proof, "Proof")); + + const Subtree subtree{start, end}; + TreeHashConstSpan entry_hash_span(entry_hash); + TreeHashConstSpan subtree_hash_span(subtree_hash); + + auto computed_hash = EvaluateMerkleSubtreeInclusionProof( + proof, index, entry_hash_span, subtree); + EXPECT_TRUE(computed_hash.has_value()); + EXPECT_EQ(*computed_hash, subtree_hash_span); + + // Truncated inclusion proofs don't work. + const size_t original_proof_size = proof.size(); + EXPECT_FALSE(EvaluateMerkleSubtreeInclusionProof( + Span(proof).subspan(original_proof_size - 1), index, entry_hash_span, + subtree)); + EXPECT_FALSE(EvaluateMerkleSubtreeInclusionProof( + Span(proof).subspan(original_proof_size - EVP_MD_size(EVP_sha256())), + index, entry_hash_span, subtree)); + + // Extended inclusion proofs don't work. + proof.resize(original_proof_size + EVP_MD_size(EVP_sha256())); + EXPECT_FALSE(EvaluateMerkleSubtreeInclusionProof( + Span(proof).subspan(original_proof_size + 1), index, entry_hash_span, + subtree)); + EXPECT_FALSE(EvaluateMerkleSubtreeInclusionProof(proof, index, + entry_hash_span, subtree)); + + // Bitflipped inclusion proof should produce a wrong subtree hash. + proof.resize(original_proof_size); + proof[0] ^= 1; + computed_hash = EvaluateMerkleSubtreeInclusionProof(proof, index, + entry_hash_span, subtree); + EXPECT_TRUE(computed_hash.has_value()); + EXPECT_NE(*computed_hash, subtree_hash_span); +} + +TEST(MerkleTreeTest, LargeInclusionProofs) { + FileTestGTest( + "crypto/x509/test/mtc/large_merkle_tree_inclusion_proof_tests.txt", + InclusionProofFileTest); +} + +void ConsistencyProofFileTest(FileTest *t) { + uint64_t start, end, tree_size; + ASSERT_TRUE(t->GetUint64(&start, "Start")); + ASSERT_TRUE(t->GetUint64(&end, "End")); + ASSERT_TRUE(t->GetUint64(&tree_size, "TreeSize")); + std::vector<uint8_t> subtree_hash, tree_hash, proof; + ASSERT_TRUE(t->GetBase64(&subtree_hash, "SubtreeHash")); + ASSERT_TRUE(t->GetBase64(&tree_hash, "TreeHash")); + if (!t->HasAttribute("ProofEmpty")) { + ASSERT_TRUE(t->GetBase64(&proof, "Proof")); + } + + const Subtree subtree{start, end}; + // TODO(crbug.com/452986180): Temporary workaround to skip a test vector + // because empty subtrees are incorrectly considered invalid. + if (!subtree.IsValid()) { + return; + } + + TreeHashConstSpan subtree_hash_span(subtree_hash); + TreeHashConstSpan tree_hash_span(tree_hash); + + auto computed_root_hash = EvaluateMerkleSubtreeConsistencyProof( + tree_size, subtree, proof, subtree_hash_span); + EXPECT_TRUE(computed_root_hash.has_value()); + EXPECT_EQ(*computed_root_hash, tree_hash_span); + + // Truncated consistency proofs don't work. + const size_t original_proof_size = proof.size(); + if (original_proof_size > 0) { + EXPECT_FALSE(EvaluateMerkleSubtreeConsistencyProof( + tree_size, subtree, Span(proof).subspan(original_proof_size - 1), + subtree_hash_span)); + EXPECT_FALSE(EvaluateMerkleSubtreeConsistencyProof( + tree_size, subtree, + Span(proof).subspan(original_proof_size - EVP_MD_size(EVP_sha256())), + subtree_hash_span)); + } + + // Extended consistency proofs don't work. + proof.resize(original_proof_size + EVP_MD_size(EVP_sha256())); + EXPECT_FALSE(EvaluateMerkleSubtreeConsistencyProof( + tree_size, subtree, Span(proof).subspan(original_proof_size + 1), + subtree_hash_span)); + EXPECT_FALSE(EvaluateMerkleSubtreeConsistencyProof(tree_size, subtree, proof, + subtree_hash_span)); + + // Bitflipped input subtree hash should either fail to evaluate or produce a + // wrong tree hash. + proof.resize(original_proof_size); + subtree_hash[0] ^= 1; + computed_root_hash = EvaluateMerkleSubtreeConsistencyProof( + tree_size, subtree, proof, subtree_hash_span); + if (computed_root_hash) { + EXPECT_NE(*computed_root_hash, tree_hash_span); + } +} + +TEST(MerkleTreeTest, LargeConsistencyProofs) { + FileTestGTest( + "crypto/x509/test/mtc/large_merkle_tree_consistency_proof_tests.txt", + ConsistencyProofFileTest); +} + } // namespace BSSL_NAMESPACE_END