diff --git a/barretenberg/cpp/CLAUDE.md b/barretenberg/cpp/CLAUDE.md index c1e61bee6448..c0276f8e026a 100644 --- a/barretenberg/cpp/CLAUDE.md +++ b/barretenberg/cpp/CLAUDE.md @@ -57,6 +57,13 @@ Note: Once you enable AVM, subsequent `ninja` calls will include AVM targets unt - **dsl/** - ACIR definition in C++. This is dictated by the serialization in noir/, so refactor should generally not change the structure without confirming that the user is changing noir. - **vm2/** - AVM implementation (not enabled, but might need to be fixed for compilation issues in root ./bootstrap.sh). If working in vm2, use barretenberg/cpp/src/barretenberg/vm2/CLAUDE.md +## Code formatting + +All C++ files must be formatted with clang-format before committing: +```bash +clang-format-20 -i +``` + ## Benchmarking: **IMPORTANT**: In the barretenberg context, "bench" or "benchmark" almost always means running `benchmark_remote.sh` for the given target on a remote benchmarking machine. diff --git a/barretenberg/cpp/src/barretenberg/crypto/sha256/sha256.cpp b/barretenberg/cpp/src/barretenberg/crypto/sha256/sha256.cpp index d79d689ec02f..848bb18ddb3e 100644 --- a/barretenberg/cpp/src/barretenberg/crypto/sha256/sha256.cpp +++ b/barretenberg/cpp/src/barretenberg/crypto/sha256/sha256.cpp @@ -194,5 +194,6 @@ template Sha256Hash sha256>(const std::vector& inp template Sha256Hash sha256>(const std::array& input); template Sha256Hash sha256(const std::string& input); template Sha256Hash sha256>(const std::span& input); +template Sha256Hash sha256>(const std::span& input); } // namespace bb::crypto diff --git a/barretenberg/cpp/src/barretenberg/srs/factories/bn254_g1_chunk_hashes.hpp b/barretenberg/cpp/src/barretenberg/srs/factories/bn254_g1_chunk_hashes.hpp new file mode 100644 index 000000000000..43b7d8805a31 --- /dev/null +++ b/barretenberg/cpp/src/barretenberg/srs/factories/bn254_g1_chunk_hashes.hpp @@ -0,0 +1,283 @@ +// AUTO-GENERATED by generate_srs_chunk_hashes.py — do not edit manually +#pragma once +#include +#include +#include + +namespace bb::srs { + +// CRS file: bn254_g1.dat (2,147,483,712 bytes = 33,554,433 G1 points) +// Chunk size: 8,388,608 bytes (131,072 points per 8MB chunk) +// Total chunks: 257 (256 full + 1 partial of 64 bytes) +// Regenerate with: barretenberg/scripts/generate_srs_chunk_hashes.py + +static constexpr size_t SRS_CHUNK_SIZE_POINTS = 131072; // 2^17 +static constexpr size_t SRS_CHUNK_SIZE_BYTES = SRS_CHUNK_SIZE_POINTS * 64; // 8MB +static constexpr size_t SRS_TOTAL_POINTS = 33554433; // 2^25 + 1 +static constexpr size_t SRS_NUM_CHUNKS = 257; +static constexpr size_t SRS_NUM_FULL_CHUNKS = 256; + +// clang-format off +// SHA-256 hashes of each 8MB chunk of g1.dat (last chunk is 64 bytes) +static constexpr std::array, 257> BN254_G1_CHUNK_HASHES = {{ + { 0x37, 0x18, 0xff, 0xbe, 0xd5, 0x83, 0xd8, 0xa2, 0x79, 0xcc, 0xb2, 0x54, 0x51, 0x96, 0xd5, 0x61, 0x8e, 0x3f, 0xd9, 0x75, 0x12, 0xb6, 0x5a, 0xa0, 0x51, 0xd2, 0xeb, 0xd0, 0xf5, 0x7f, 0xb9, 0x99 }, + { 0x76, 0x64, 0x32, 0xec, 0xe7, 0xcc, 0x4e, 0x80, 0x4b, 0x4e, 0x09, 0xdc, 0x57, 0xd3, 0xc1, 0x04, 0x82, 0x39, 0xd2, 0xe8, 0xa4, 0x16, 0xeb, 0x16, 0x91, 0x9c, 0x80, 0xa9, 0x18, 0xa3, 0xb5, 0xfd }, + { 0x94, 0x41, 0x49, 0x1e, 0xac, 0xea, 0xdc, 0x6a, 0xa2, 0x63, 0x5d, 0x6f, 0xf1, 0x6f, 0x73, 0x97, 0x76, 0x80, 0x5e, 0xb1, 0xa4, 0xce, 0x77, 0x0d, 0xca, 0xd0, 0x82, 0xec, 0x93, 0x33, 0xbf, 0x9b }, + { 0xc4, 0x2a, 0xef, 0xb8, 0xf7, 0x2c, 0xf5, 0xd7, 0xc4, 0xe4, 0x90, 0x0a, 0x14, 0x10, 0x67, 0x11, 0xed, 0xe3, 0x65, 0x76, 0x15, 0x94, 0x9d, 0x17, 0xd5, 0xe7, 0x17, 0x92, 0xf6, 0x21, 0xe4, 0xdb }, + { 0x33, 0x08, 0x56, 0x42, 0x28, 0x38, 0x90, 0xeb, 0xe1, 0xd4, 0x2d, 0xf4, 0xf2, 0x85, 0x73, 0x82, 0x22, 0xd6, 0x3d, 0xf3, 0x19, 0x08, 0xaf, 0xe9, 0x3a, 0x13, 0xcf, 0x9d, 0xff, 0x62, 0x70, 0xa9 }, + { 0x95, 0xf2, 0x93, 0xf2, 0x30, 0x92, 0x08, 0x1a, 0xfd, 0x73, 0x1c, 0xf4, 0x90, 0x4e, 0x0f, 0x0a, 0x70, 0x5e, 0x1f, 0x5d, 0x53, 0x24, 0x9e, 0xee, 0x67, 0x40, 0x1c, 0x60, 0x70, 0xef, 0x32, 0x7d }, + { 0x04, 0xd2, 0x3e, 0xb3, 0xe4, 0x45, 0x6f, 0x71, 0x41, 0x3c, 0xcc, 0x51, 0x86, 0x7c, 0x0a, 0x57, 0x15, 0xfc, 0xe4, 0x78, 0x26, 0xf5, 0xf5, 0xdd, 0xa7, 0x2a, 0xbb, 0x4f, 0xfd, 0xa0, 0x72, 0x79 }, + { 0xf3, 0x6a, 0x99, 0xbe, 0xac, 0x7d, 0xec, 0x7b, 0x46, 0x07, 0x37, 0x6d, 0x8e, 0xdd, 0xbc, 0x99, 0x15, 0x7a, 0x4a, 0x59, 0xf7, 0x5e, 0xac, 0x98, 0x87, 0x0f, 0x07, 0xac, 0x54, 0xdb, 0xf2, 0x12 }, + { 0x7b, 0xfd, 0xa8, 0x24, 0x41, 0xab, 0x5e, 0x00, 0xc2, 0xcb, 0x06, 0x13, 0x8e, 0xf4, 0x93, 0xc8, 0x9d, 0x94, 0xe9, 0x71, 0x19, 0xa3, 0xb1, 0x46, 0x33, 0x9c, 0xd3, 0x35, 0x04, 0x9a, 0xeb, 0x63 }, + { 0x45, 0xf4, 0xa4, 0x61, 0x23, 0xc4, 0x34, 0xb7, 0x80, 0x0f, 0x6b, 0x36, 0xae, 0xf4, 0x3e, 0x28, 0xe6, 0x36, 0xdf, 0x87, 0x15, 0x86, 0x93, 0xf4, 0xbb, 0x9d, 0x88, 0xb5, 0xc9, 0x36, 0x4c, 0xd7 }, + { 0x16, 0x41, 0xc3, 0x00, 0x5f, 0x43, 0x4d, 0x8e, 0xc3, 0xf0, 0x4a, 0x1a, 0x5c, 0x94, 0xf6, 0x60, 0x96, 0x62, 0xf1, 0x03, 0x7c, 0x49, 0x04, 0x1d, 0x47, 0x7c, 0x6e, 0x17, 0xc7, 0x3b, 0x17, 0x92 }, + { 0xbe, 0x89, 0xb5, 0x7a, 0xd5, 0x08, 0x93, 0x19, 0x77, 0xaa, 0x22, 0x50, 0x50, 0x95, 0x0d, 0x67, 0x67, 0xeb, 0x2f, 0x9f, 0x96, 0x2a, 0x19, 0x6a, 0x9a, 0x11, 0x45, 0x2c, 0x73, 0xd6, 0xec, 0x1b }, + { 0xc4, 0x86, 0x38, 0xfc, 0x95, 0x37, 0x01, 0x56, 0x09, 0x2d, 0x5c, 0x4d, 0x0b, 0x99, 0x8c, 0x16, 0x1c, 0x3e, 0x3d, 0x48, 0x2a, 0x16, 0xc1, 0xd9, 0xc8, 0xd2, 0x87, 0xa9, 0x4e, 0xb0, 0x49, 0x10 }, + { 0x9c, 0x99, 0xa4, 0xf4, 0xbb, 0xa4, 0xba, 0x9f, 0x52, 0x41, 0x17, 0x78, 0x0d, 0x3f, 0x04, 0x3d, 0xbf, 0xeb, 0xee, 0x92, 0x4d, 0xc1, 0x52, 0x68, 0xc1, 0xf4, 0x9c, 0x6e, 0x40, 0xf1, 0x16, 0x35 }, + { 0x64, 0x2f, 0xc5, 0x9b, 0xd6, 0x11, 0xe7, 0x7c, 0x2b, 0x97, 0xb5, 0x87, 0x85, 0x40, 0x43, 0x4f, 0xfc, 0x6b, 0x75, 0xd9, 0x51, 0x25, 0x59, 0x34, 0x66, 0xbc, 0xe6, 0x77, 0x08, 0x33, 0x6c, 0x74 }, + { 0x46, 0x23, 0x19, 0x98, 0x71, 0xba, 0x5c, 0xc3, 0x1d, 0x37, 0xce, 0xe1, 0x01, 0xc1, 0x2e, 0xb3, 0x96, 0xf6, 0xe4, 0x53, 0x7c, 0x89, 0x96, 0xa0, 0xbe, 0x0c, 0x43, 0xe3, 0x65, 0xfc, 0xaa, 0x7c }, + { 0xf3, 0x3c, 0x73, 0xc4, 0x86, 0x7c, 0xe1, 0x63, 0x1c, 0x89, 0xeb, 0x83, 0x06, 0x79, 0x8f, 0x7b, 0xec, 0x27, 0xd1, 0x8b, 0x1b, 0x23, 0x1f, 0x37, 0x01, 0xbf, 0xc0, 0xa7, 0x2b, 0x44, 0x95, 0x5d }, + { 0x5a, 0x93, 0x51, 0xf3, 0x82, 0xaf, 0x1e, 0x80, 0x42, 0xb2, 0xe2, 0xf3, 0x1d, 0x80, 0xe6, 0xe4, 0x4c, 0xe0, 0xaf, 0xdd, 0x71, 0x86, 0xc7, 0x6a, 0x28, 0x38, 0x4f, 0x85, 0xf9, 0x68, 0x68, 0x9b }, + { 0x2a, 0x39, 0x1b, 0xe1, 0x84, 0x8a, 0xe2, 0x80, 0x54, 0xdc, 0x67, 0x78, 0xe2, 0x23, 0x44, 0x9f, 0x38, 0xdf, 0x40, 0xf2, 0x1a, 0x69, 0x80, 0x51, 0x3c, 0xba, 0x00, 0xde, 0xa8, 0x55, 0x25, 0x05 }, + { 0xca, 0x1b, 0xee, 0x70, 0x4c, 0x89, 0xb2, 0xcf, 0xba, 0xac, 0xe7, 0xfc, 0xf0, 0xed, 0xec, 0x60, 0x13, 0x95, 0xa1, 0xd2, 0x0d, 0xe2, 0x38, 0x4e, 0xd1, 0x62, 0x3d, 0x4e, 0x23, 0xce, 0xda, 0xd9 }, + { 0x6a, 0x22, 0x81, 0x77, 0xcd, 0x17, 0x2a, 0x14, 0x7d, 0x10, 0x50, 0xb6, 0xb4, 0xb9, 0x5d, 0xcb, 0xc2, 0xbc, 0xfc, 0xf7, 0x94, 0x6a, 0x1e, 0xbf, 0x26, 0xe8, 0x11, 0xfb, 0xe1, 0x68, 0x6a, 0xc7 }, + { 0x6c, 0xa0, 0xd3, 0x55, 0xa6, 0xa7, 0x7a, 0x41, 0xb8, 0x52, 0xd9, 0x37, 0xc1, 0xe5, 0x55, 0xae, 0xf4, 0x11, 0xc8, 0x9f, 0xe9, 0x72, 0x9e, 0x2b, 0x97, 0x14, 0xd6, 0x4b, 0x02, 0xda, 0x5c, 0x6d }, + { 0x32, 0x38, 0x0e, 0xc8, 0x68, 0x00, 0x68, 0x9a, 0xeb, 0x8b, 0xf8, 0x25, 0x89, 0xcf, 0x7e, 0xe1, 0x62, 0xb7, 0x63, 0x4e, 0x02, 0x9b, 0xe3, 0xac, 0x0c, 0x42, 0xbc, 0x08, 0x8b, 0xa9, 0x5c, 0x74 }, + { 0xa9, 0x39, 0xe2, 0x3a, 0xf2, 0x37, 0x55, 0xcb, 0x46, 0x28, 0xce, 0xba, 0x8e, 0x54, 0x6e, 0x49, 0xdf, 0xd6, 0x4d, 0xa9, 0x29, 0x13, 0x73, 0x18, 0x17, 0x51, 0xad, 0xa5, 0x30, 0xb3, 0x14, 0x6a }, + { 0xa4, 0xcb, 0x65, 0x63, 0x5b, 0x86, 0x84, 0x63, 0x30, 0x23, 0xed, 0x99, 0xbc, 0x24, 0x69, 0xa0, 0xb7, 0xf3, 0xda, 0x9c, 0xb2, 0xf5, 0x26, 0xfc, 0x48, 0xf4, 0x7b, 0x55, 0x52, 0x26, 0x87, 0xe5 }, + { 0xf7, 0x6b, 0xe9, 0xb9, 0x1a, 0x4d, 0xfd, 0x96, 0xc4, 0x1f, 0x1f, 0x37, 0x38, 0x4e, 0x46, 0x02, 0xbe, 0x26, 0x8b, 0xde, 0x63, 0x0a, 0x38, 0x1a, 0xd5, 0xe4, 0xc0, 0x02, 0xd1, 0x9f, 0x53, 0x33 }, + { 0x0d, 0x4a, 0x07, 0x56, 0x39, 0x6b, 0x3c, 0x5b, 0xe3, 0xfc, 0x3c, 0xf7, 0xc7, 0xa3, 0x8d, 0xfc, 0x3e, 0xd8, 0xc3, 0x68, 0x81, 0xcc, 0x50, 0x06, 0x8b, 0x15, 0x99, 0xe0, 0xe3, 0x40, 0x04, 0x4f }, + { 0x6f, 0xba, 0xdf, 0x0b, 0xa5, 0xb3, 0x55, 0xbf, 0x3f, 0x29, 0x67, 0xf2, 0x30, 0x52, 0xd8, 0x5e, 0x5a, 0x4d, 0xba, 0x05, 0x17, 0xb3, 0x34, 0x94, 0x98, 0x8d, 0x4f, 0xcb, 0xbd, 0x6b, 0xb7, 0xb6 }, + { 0x56, 0xba, 0xbf, 0x37, 0x0b, 0x5b, 0xd0, 0x6f, 0x66, 0x78, 0x40, 0xe1, 0x16, 0x27, 0xba, 0x31, 0xa1, 0xa2, 0xc3, 0xb2, 0x03, 0x33, 0x94, 0xd0, 0xcb, 0x33, 0x77, 0x54, 0xb3, 0xc8, 0x51, 0xc5 }, + { 0x4f, 0x61, 0xf8, 0xa5, 0x57, 0x13, 0x98, 0x05, 0x15, 0x5e, 0xd9, 0xc9, 0x15, 0xa9, 0x8a, 0x86, 0x1d, 0xad, 0xe7, 0x73, 0x55, 0xd1, 0x95, 0xbd, 0x7f, 0x9b, 0x9c, 0xa2, 0x00, 0xd9, 0xaf, 0x2e }, + { 0xb2, 0xbc, 0x21, 0x4c, 0x39, 0xcb, 0x44, 0x4e, 0x57, 0x48, 0xc8, 0xe5, 0xc4, 0x7a, 0xd9, 0xe6, 0x6a, 0x01, 0xac, 0xfc, 0x69, 0x1c, 0x45, 0x71, 0xa3, 0x6c, 0xf7, 0x43, 0x11, 0x14, 0x49, 0x18 }, + { 0xff, 0x82, 0xf0, 0xa6, 0x0f, 0x47, 0x10, 0x1b, 0x2a, 0x0c, 0xc6, 0x56, 0x53, 0xfa, 0x2b, 0xce, 0xdd, 0xd7, 0x58, 0xba, 0x75, 0xc4, 0xf4, 0xbd, 0xd7, 0xde, 0xcb, 0x10, 0xe7, 0x05, 0xbf, 0x69 }, + { 0xea, 0xaa, 0xe0, 0x47, 0xb3, 0xc1, 0xc4, 0xb8, 0x4d, 0xec, 0xc3, 0x19, 0xe6, 0x4b, 0x0a, 0x9f, 0x1d, 0x78, 0xbf, 0x96, 0x79, 0x83, 0x16, 0xeb, 0x40, 0xc8, 0xb3, 0x84, 0x40, 0x02, 0x8b, 0x4e }, + { 0xdf, 0xde, 0x1a, 0xde, 0x2e, 0xda, 0xdd, 0xc9, 0xd9, 0x62, 0x97, 0x88, 0x11, 0x83, 0xc2, 0x56, 0xe0, 0x52, 0xf5, 0x69, 0xcc, 0xa3, 0x28, 0xd0, 0x12, 0x29, 0xb8, 0x17, 0x17, 0xbf, 0xf4, 0x1e }, + { 0x2b, 0xcf, 0x6f, 0x27, 0x65, 0x4e, 0x2f, 0x09, 0xcb, 0xd4, 0x7c, 0xf6, 0xf1, 0x24, 0xcb, 0x3b, 0x72, 0x41, 0x4e, 0xb4, 0x5a, 0xd0, 0x03, 0x32, 0x63, 0x2e, 0x3e, 0xbc, 0x80, 0x6a, 0x6c, 0x6f }, + { 0xb9, 0x57, 0x02, 0xea, 0x42, 0x68, 0xe2, 0xf2, 0x3a, 0xb1, 0x62, 0x53, 0xcf, 0x19, 0xf7, 0xbe, 0xdf, 0xd4, 0xa6, 0x4f, 0x4f, 0x92, 0x87, 0x1b, 0xbb, 0xb7, 0xf4, 0x7c, 0x61, 0x5e, 0x9d, 0x8b }, + { 0xe6, 0x48, 0x3a, 0x34, 0x2f, 0x00, 0xed, 0xa4, 0x4f, 0x1d, 0x6f, 0xcb, 0xdb, 0x02, 0x8e, 0x92, 0x51, 0x27, 0xa1, 0x9b, 0x87, 0x67, 0x2d, 0x44, 0x75, 0x4a, 0x62, 0x90, 0x96, 0x93, 0xe5, 0x08 }, + { 0x74, 0x0b, 0x38, 0x19, 0xb3, 0x63, 0xdc, 0xcf, 0xb5, 0x91, 0x06, 0x86, 0x18, 0xef, 0x32, 0x57, 0x4e, 0xc9, 0xbd, 0x6e, 0x00, 0xe8, 0xde, 0xdb, 0x36, 0xf6, 0xbe, 0x1a, 0xc9, 0xe6, 0x9c, 0x05 }, + { 0x20, 0x79, 0x64, 0xfc, 0x7b, 0xc1, 0x6c, 0x78, 0x76, 0x4b, 0xec, 0xca, 0x58, 0x57, 0x64, 0x3b, 0xe4, 0xde, 0x2d, 0xfb, 0xa1, 0x55, 0x98, 0x67, 0x79, 0x67, 0x30, 0x0e, 0xbe, 0xd8, 0x82, 0xfe }, + { 0xc9, 0x91, 0xde, 0x9d, 0xa1, 0xea, 0x37, 0x7b, 0x9d, 0x01, 0xb7, 0x56, 0xbb, 0x97, 0x64, 0xa0, 0x56, 0x50, 0x0b, 0x36, 0x4d, 0x13, 0x00, 0xc1, 0x42, 0x76, 0x55, 0x76, 0xae, 0x31, 0x15, 0x74 }, + { 0xa5, 0xe4, 0x0e, 0x2a, 0x9b, 0x93, 0x64, 0x33, 0x34, 0x28, 0x38, 0xd6, 0x4f, 0x36, 0xc3, 0xf6, 0x6e, 0xc0, 0xd1, 0x06, 0x03, 0x0f, 0x90, 0xf0, 0x90, 0xe9, 0x00, 0xae, 0x83, 0xe7, 0x8b, 0x97 }, + { 0x28, 0x29, 0xcc, 0x04, 0x80, 0xf3, 0xaf, 0xef, 0xb8, 0x44, 0xea, 0x17, 0x7b, 0x25, 0xd3, 0x60, 0xd6, 0x5c, 0xd3, 0x17, 0x0e, 0xc5, 0xbd, 0x3a, 0x4b, 0xb9, 0x7b, 0x9c, 0x6e, 0xbe, 0x0f, 0xc8 }, + { 0x34, 0xf3, 0x3b, 0x9a, 0x20, 0x09, 0x78, 0x1c, 0x6c, 0x6f, 0x05, 0x3c, 0x6a, 0x94, 0xf8, 0x17, 0xab, 0x8f, 0xda, 0xd9, 0x1a, 0x8c, 0x8e, 0x4f, 0x8c, 0x49, 0x87, 0xa6, 0xb3, 0xf0, 0x6f, 0xc8 }, + { 0x62, 0xb7, 0x84, 0x4f, 0xa7, 0xb7, 0x01, 0xdf, 0x83, 0x0f, 0x6b, 0x76, 0x72, 0x76, 0x0b, 0xc8, 0x91, 0x05, 0x46, 0x76, 0x0e, 0x8b, 0x0e, 0xcf, 0x8f, 0x69, 0x36, 0x56, 0xa8, 0x12, 0x0b, 0x5b }, + { 0x93, 0x30, 0x76, 0x10, 0xfa, 0x9e, 0x6f, 0x45, 0x1c, 0xe0, 0xb8, 0x7c, 0x8b, 0x03, 0x20, 0xb7, 0x46, 0x49, 0x51, 0x5e, 0x86, 0xb9, 0x04, 0xa7, 0xeb, 0x3d, 0x43, 0xa7, 0xf6, 0xa6, 0x50, 0x43 }, + { 0x4c, 0x90, 0x64, 0xf5, 0x57, 0xd7, 0x08, 0x96, 0x7b, 0x59, 0x94, 0x83, 0x3e, 0x6f, 0x4b, 0xd7, 0x43, 0x76, 0xd9, 0xb4, 0xee, 0xa1, 0xf9, 0xdd, 0xe5, 0x5e, 0x9a, 0x4d, 0xb8, 0xf9, 0x3d, 0xc7 }, + { 0x13, 0x69, 0xc1, 0x8c, 0x24, 0x33, 0x94, 0x77, 0x5f, 0x64, 0x88, 0x53, 0x2c, 0x3d, 0x9a, 0xec, 0xcc, 0xb2, 0x05, 0x1d, 0x49, 0x6c, 0x3b, 0x7e, 0xeb, 0xc8, 0xa2, 0x4d, 0x6c, 0x0e, 0xa8, 0xfa }, + { 0xd2, 0x92, 0x6f, 0x1e, 0x75, 0x3f, 0x93, 0x34, 0x7a, 0x89, 0xb2, 0xe9, 0x12, 0x0c, 0xc6, 0x35, 0xff, 0x2a, 0x40, 0xe9, 0xe8, 0xaf, 0x8a, 0xc1, 0x2e, 0xdc, 0x6e, 0x3c, 0x72, 0x98, 0xd9, 0x88 }, + { 0xa0, 0xbc, 0x2d, 0x5b, 0x29, 0x3e, 0x68, 0xbe, 0x4c, 0x92, 0x19, 0xe7, 0x8b, 0xc3, 0xec, 0xed, 0x6c, 0xbd, 0xaf, 0xfb, 0x5f, 0x83, 0x31, 0x34, 0x97, 0xc1, 0xe4, 0xa6, 0x24, 0x0e, 0x14, 0x47 }, + { 0x60, 0x61, 0x4a, 0xb9, 0x54, 0x7a, 0x38, 0xe8, 0x2b, 0xf9, 0x06, 0xd0, 0x8f, 0x07, 0x63, 0x15, 0xff, 0xed, 0xc7, 0x43, 0x2a, 0xaf, 0x29, 0xf4, 0x43, 0x81, 0xa5, 0xa4, 0xdd, 0x3e, 0xc7, 0xc3 }, + { 0x45, 0x46, 0x7c, 0xab, 0xe2, 0xd5, 0xa4, 0x61, 0xaa, 0x57, 0x86, 0xdd, 0xab, 0x02, 0x0c, 0xb0, 0x8d, 0x6d, 0x18, 0xc0, 0x79, 0x1c, 0xd0, 0x95, 0x88, 0x07, 0xf1, 0xb0, 0x9d, 0x8a, 0xe7, 0xbf }, + { 0xce, 0x05, 0xf3, 0x64, 0x00, 0x61, 0x55, 0xdc, 0xbf, 0x6b, 0xd4, 0x30, 0x4e, 0x0c, 0x4c, 0xcf, 0x85, 0x2a, 0x81, 0xf4, 0xd7, 0x04, 0xa2, 0x78, 0x49, 0x20, 0xb6, 0x20, 0x91, 0xeb, 0x0c, 0x99 }, + { 0xd2, 0xa0, 0x1e, 0x89, 0x5c, 0x8a, 0x03, 0x28, 0x16, 0x35, 0x08, 0x99, 0x3e, 0xe4, 0x74, 0xfc, 0x3f, 0x71, 0x79, 0xe7, 0x79, 0xe5, 0x34, 0xbd, 0x0c, 0x30, 0xcf, 0xd6, 0xfb, 0x7c, 0x47, 0xc0 }, + { 0x3e, 0x11, 0x06, 0x0c, 0xe6, 0xda, 0x16, 0x64, 0x7b, 0x3f, 0xcc, 0x47, 0xde, 0x57, 0xbe, 0x55, 0x6e, 0xe3, 0x31, 0x1c, 0x85, 0x97, 0xf9, 0x56, 0x15, 0x76, 0x76, 0xe4, 0x89, 0x85, 0x79, 0xe9 }, + { 0x08, 0x36, 0x36, 0x43, 0xad, 0xcd, 0x93, 0x99, 0x3b, 0x5d, 0x51, 0x9f, 0x04, 0x2b, 0x38, 0xae, 0x5a, 0xfb, 0x83, 0xe1, 0x65, 0x6c, 0x0c, 0xfd, 0x91, 0x4d, 0xeb, 0xfa, 0x2c, 0x47, 0x1b, 0x88 }, + { 0xa2, 0xe9, 0x2b, 0x55, 0x45, 0x9b, 0xfd, 0x25, 0xec, 0x0b, 0x63, 0x89, 0x4f, 0xcf, 0x32, 0xec, 0x7e, 0xdb, 0x1a, 0x2b, 0x3e, 0xc6, 0x95, 0xf7, 0x25, 0xfe, 0x15, 0xfc, 0x39, 0x3c, 0x8c, 0xe5 }, + { 0x1a, 0xdb, 0x43, 0x2b, 0xb7, 0x2c, 0x8a, 0x73, 0x15, 0x2d, 0x42, 0xc3, 0xf1, 0xf3, 0xd8, 0x8c, 0x78, 0x14, 0x07, 0xe4, 0x17, 0x8f, 0xad, 0xff, 0x9c, 0x1d, 0xfb, 0x0d, 0x95, 0xdc, 0x30, 0x37 }, + { 0x55, 0x66, 0x5c, 0xa6, 0xd6, 0x0c, 0xe9, 0xe7, 0x9f, 0x17, 0xf4, 0x15, 0x2a, 0xde, 0xdb, 0x00, 0x0f, 0x5c, 0x1b, 0xe4, 0x19, 0x06, 0x7e, 0x59, 0x2d, 0xaf, 0x2f, 0xfd, 0x9b, 0xab, 0xd4, 0x6c }, + { 0xe6, 0x30, 0xbe, 0x60, 0x42, 0x38, 0x9e, 0xd7, 0xb6, 0xdf, 0xb8, 0x3b, 0x23, 0x6a, 0xc7, 0x17, 0x59, 0x77, 0x15, 0xec, 0xa6, 0x64, 0xc2, 0x6e, 0x87, 0x22, 0x9a, 0x80, 0x71, 0x8b, 0x64, 0x26 }, + { 0x68, 0xe9, 0xb5, 0xf3, 0xbd, 0xba, 0x70, 0x88, 0x30, 0x87, 0xe1, 0x95, 0x28, 0x2f, 0xe6, 0x2c, 0x15, 0xca, 0x7c, 0xe8, 0x91, 0x7f, 0x17, 0xcf, 0xb2, 0x43, 0x56, 0x8f, 0xc6, 0xd0, 0xd1, 0x10 }, + { 0x4a, 0xa2, 0x36, 0xe9, 0xa6, 0x07, 0x54, 0xbf, 0xc4, 0x49, 0xde, 0x2a, 0x05, 0x08, 0x33, 0x5d, 0x17, 0xc1, 0x10, 0x3c, 0x15, 0xe2, 0xdb, 0x05, 0xd5, 0x08, 0x00, 0xca, 0x94, 0x39, 0x82, 0xba }, + { 0x1d, 0x93, 0x37, 0xdb, 0x37, 0x97, 0xbf, 0xd9, 0xde, 0xb1, 0xd2, 0xae, 0x5c, 0xbf, 0xbf, 0x05, 0xc8, 0x94, 0xff, 0x62, 0x6b, 0xcb, 0xd2, 0x01, 0x3b, 0x06, 0x43, 0x9d, 0x58, 0x8e, 0x26, 0x8a }, + { 0x8d, 0x8d, 0x7e, 0xbf, 0xbe, 0x02, 0x54, 0x92, 0x07, 0x0f, 0x1e, 0x3b, 0x2d, 0x2a, 0x29, 0x9d, 0x49, 0x3d, 0x20, 0xf4, 0xdb, 0x91, 0x08, 0xd6, 0x25, 0x46, 0x5a, 0x7a, 0x95, 0x5e, 0x09, 0x77 }, + { 0x02, 0xf6, 0x79, 0x9a, 0x15, 0x0f, 0xbe, 0x71, 0x47, 0x2a, 0x7d, 0x5f, 0x9b, 0x69, 0x89, 0x4b, 0x85, 0xa4, 0xa4, 0xf5, 0xfc, 0x5d, 0xbc, 0xce, 0xb6, 0xdd, 0x55, 0xce, 0x75, 0x6e, 0x12, 0x12 }, + { 0x97, 0xc1, 0x84, 0x0a, 0xdb, 0x7d, 0xca, 0x49, 0xfd, 0x50, 0x09, 0x78, 0xb4, 0x63, 0xd9, 0x90, 0xf3, 0x80, 0xf1, 0xf8, 0xa9, 0x5c, 0x4c, 0x50, 0x94, 0x16, 0x25, 0xe2, 0xba, 0x75, 0x61, 0xd1 }, + { 0x4e, 0xf6, 0x06, 0x09, 0x46, 0x52, 0xf0, 0x28, 0xa2, 0xa1, 0x40, 0xcc, 0x9c, 0xa0, 0xe1, 0x04, 0xe9, 0x1a, 0x39, 0x49, 0x51, 0x90, 0x08, 0xce, 0xc7, 0xf3, 0x67, 0x8e, 0xac, 0x18, 0xe1, 0x10 }, + { 0x35, 0xd0, 0xcf, 0x6b, 0x46, 0xa2, 0x7d, 0x24, 0x24, 0x36, 0x7f, 0xea, 0x6b, 0xda, 0xdb, 0xa7, 0xea, 0x77, 0xa5, 0x5c, 0xd3, 0x60, 0x52, 0xef, 0x57, 0xfc, 0x7d, 0x42, 0x7c, 0x20, 0xc7, 0xc9 }, + { 0x63, 0xef, 0x2d, 0x21, 0xd4, 0x37, 0xa7, 0xa9, 0xc8, 0x36, 0xf3, 0x17, 0xeb, 0x73, 0x4c, 0x4b, 0x77, 0xa6, 0x13, 0x8b, 0x5e, 0x8d, 0x44, 0x6d, 0x1e, 0x92, 0x15, 0x8b, 0x86, 0x67, 0xd2, 0x2b }, + { 0xf0, 0x1c, 0xe9, 0xd6, 0x79, 0xa9, 0x03, 0x36, 0xe1, 0xb5, 0x2f, 0x63, 0x2c, 0x61, 0x86, 0x24, 0xf2, 0x7a, 0xd1, 0x0c, 0xdf, 0x82, 0xbb, 0x27, 0x26, 0x2a, 0xe5, 0x51, 0x7c, 0x22, 0x29, 0x9c }, + { 0x81, 0x8e, 0x4d, 0x5e, 0x48, 0x28, 0x22, 0x49, 0xa1, 0x83, 0x9f, 0xf5, 0x02, 0x6b, 0x56, 0x90, 0x22, 0xd3, 0x3a, 0xca, 0x93, 0x40, 0x9f, 0x19, 0x6d, 0x80, 0xd1, 0x42, 0x33, 0x8f, 0x95, 0x09 }, + { 0x01, 0xa8, 0x72, 0x04, 0xe0, 0x40, 0x6e, 0x76, 0x7a, 0x42, 0xa5, 0x55, 0xd3, 0x2c, 0xd6, 0x01, 0x5e, 0x68, 0x62, 0xce, 0xca, 0x8a, 0xcf, 0x3d, 0xa1, 0x90, 0x2b, 0x49, 0xdb, 0x2d, 0x4e, 0x74 }, + { 0x2c, 0x06, 0x2a, 0x91, 0x37, 0x36, 0x59, 0x26, 0xac, 0xcf, 0xd0, 0x60, 0x79, 0xf8, 0x16, 0x56, 0xdc, 0x93, 0x68, 0xdc, 0x57, 0xeb, 0x8a, 0x23, 0xfd, 0x66, 0xba, 0x48, 0xbf, 0x22, 0xaa, 0xd9 }, + { 0xc1, 0x4e, 0xc2, 0xfb, 0x0f, 0x47, 0x63, 0x58, 0x57, 0x32, 0x37, 0xee, 0x17, 0xd0, 0x52, 0x4a, 0x34, 0x68, 0xbb, 0x33, 0xc8, 0x55, 0xe4, 0xcc, 0x5f, 0x8d, 0x4a, 0x8c, 0xd0, 0xf9, 0x02, 0xc1 }, + { 0x5a, 0x2d, 0x95, 0xe5, 0xa2, 0x42, 0x6c, 0xde, 0x0c, 0x46, 0x0a, 0xfc, 0x3a, 0x1a, 0x6d, 0x20, 0x7b, 0x20, 0xfd, 0x06, 0x29, 0x43, 0x08, 0xa8, 0x82, 0x53, 0x66, 0x49, 0x61, 0x48, 0xb1, 0x0b }, + { 0x4c, 0x67, 0xd0, 0xcd, 0x40, 0xf5, 0x3f, 0x11, 0x8a, 0x1e, 0xed, 0x46, 0xef, 0x38, 0x2f, 0x85, 0x8f, 0x94, 0xf7, 0x53, 0xac, 0x2d, 0xf1, 0x3c, 0x73, 0x6b, 0x73, 0xae, 0x8f, 0xb6, 0x0d, 0x55 }, + { 0x3e, 0xcb, 0x0d, 0xea, 0x27, 0x71, 0xfe, 0xf1, 0x51, 0x74, 0xa5, 0x70, 0x88, 0x50, 0xae, 0x10, 0xbf, 0x5c, 0x34, 0x9f, 0x29, 0xd4, 0x8b, 0xfc, 0x43, 0x01, 0x42, 0x65, 0x37, 0x60, 0x71, 0x45 }, + { 0x2b, 0xa6, 0x34, 0x97, 0x1d, 0xe5, 0x11, 0xc8, 0x86, 0xe3, 0xca, 0x9c, 0x6c, 0x3a, 0xcd, 0x09, 0x4b, 0x34, 0xa7, 0x8c, 0x2e, 0xcc, 0x9a, 0x72, 0x95, 0xd7, 0xed, 0x78, 0x50, 0x2e, 0x78, 0xc8 }, + { 0x69, 0x37, 0xe8, 0x14, 0xe2, 0x41, 0xf4, 0x7c, 0x9c, 0xa1, 0xb4, 0xe9, 0xe4, 0xb1, 0x2a, 0x12, 0xba, 0x48, 0x4a, 0xd3, 0xb1, 0xf3, 0x42, 0x52, 0xd0, 0x53, 0xfe, 0x29, 0x32, 0x25, 0x73, 0x9c }, + { 0x5b, 0x42, 0x81, 0xde, 0x5e, 0x57, 0x3b, 0x93, 0x9f, 0x43, 0x04, 0x26, 0x60, 0x02, 0xa7, 0x16, 0xf5, 0x1f, 0x20, 0x16, 0x9d, 0x18, 0xca, 0x81, 0xeb, 0x38, 0x56, 0x68, 0x54, 0x3c, 0xc6, 0xcd }, + { 0x89, 0x98, 0xca, 0xfc, 0x82, 0xcb, 0x0a, 0x05, 0x0d, 0x46, 0xc6, 0x15, 0xda, 0xea, 0x3e, 0x87, 0x5b, 0x88, 0x16, 0x19, 0xf5, 0x96, 0x21, 0x44, 0x47, 0x96, 0x28, 0x3e, 0x43, 0x33, 0x13, 0x5c }, + { 0xff, 0x55, 0xed, 0x41, 0xd7, 0x3f, 0x62, 0xf8, 0x53, 0x0a, 0x35, 0xe2, 0x4c, 0x20, 0x9c, 0x6a, 0xe5, 0x82, 0x65, 0x0c, 0x1c, 0x81, 0x25, 0x1a, 0x0a, 0x59, 0xa5, 0x2f, 0x2f, 0x0d, 0xad, 0xec }, + { 0x5b, 0x8a, 0xc1, 0x7d, 0xdd, 0xe9, 0x0c, 0xbc, 0x6e, 0xad, 0xb9, 0x6d, 0x11, 0x3c, 0x06, 0x96, 0xf0, 0x39, 0xfb, 0x77, 0x11, 0x45, 0x8e, 0x7a, 0x5c, 0xea, 0x95, 0xb0, 0x72, 0x10, 0xa8, 0xbf }, + { 0x47, 0x27, 0xc4, 0xc1, 0x63, 0xc7, 0x59, 0xb7, 0xbc, 0xee, 0x2e, 0x68, 0x34, 0xaa, 0x3d, 0x83, 0xe7, 0xd1, 0x12, 0x73, 0x50, 0x45, 0xb5, 0x1e, 0x5d, 0x28, 0x28, 0x82, 0x54, 0xad, 0x67, 0x92 }, + { 0x6e, 0x28, 0xcc, 0x6d, 0x75, 0x23, 0x26, 0xb9, 0x84, 0x4c, 0x9e, 0x28, 0x74, 0xb7, 0x45, 0xda, 0x8e, 0xee, 0x81, 0x85, 0x33, 0x96, 0x1a, 0x8a, 0xb5, 0x59, 0xcf, 0xed, 0x1a, 0xb9, 0x24, 0x42 }, + { 0xd7, 0x83, 0x22, 0x20, 0x59, 0xe8, 0xa4, 0x9c, 0x05, 0xc5, 0x45, 0xb7, 0x12, 0x43, 0x4f, 0x99, 0xd0, 0x7c, 0xd5, 0x6d, 0xd9, 0x6b, 0xc4, 0x02, 0x1d, 0x72, 0x61, 0x61, 0x10, 0x85, 0x94, 0x9f }, + { 0x53, 0x4f, 0x53, 0x7d, 0xa6, 0x33, 0x59, 0xc8, 0xb0, 0xde, 0x86, 0xf1, 0x53, 0xcc, 0x7e, 0xe4, 0x8c, 0x72, 0xaf, 0x9a, 0xe2, 0x80, 0x21, 0x93, 0xfa, 0xcf, 0x50, 0x48, 0x6f, 0xf4, 0x26, 0xd5 }, + { 0xb2, 0x6c, 0x74, 0x7a, 0x0f, 0x3e, 0xc7, 0x7c, 0xd1, 0x5c, 0x6e, 0x9b, 0x79, 0x37, 0x9d, 0xa5, 0xae, 0xa9, 0xdc, 0x30, 0x59, 0x7f, 0xc0, 0x77, 0xd2, 0xd1, 0x24, 0x75, 0x37, 0xa1, 0x3d, 0x68 }, + { 0xa2, 0xbb, 0x47, 0xad, 0x48, 0x19, 0x66, 0x36, 0xa9, 0x16, 0x3e, 0x05, 0xdc, 0x9f, 0x45, 0xe7, 0xf5, 0x25, 0x5c, 0xbb, 0x82, 0x24, 0xa0, 0x01, 0x12, 0xa5, 0x0e, 0xfd, 0x8d, 0xb6, 0xac, 0x0e }, + { 0x24, 0xfe, 0x81, 0xf9, 0xf7, 0x38, 0x3f, 0x38, 0x41, 0x27, 0x4d, 0x50, 0xfc, 0xa3, 0x46, 0xde, 0xce, 0x5b, 0x76, 0x7f, 0xbe, 0x42, 0xac, 0xc6, 0x19, 0x1c, 0xd1, 0x05, 0x3d, 0x93, 0x4f, 0x33 }, + { 0xcf, 0x0d, 0x0c, 0xb9, 0xeb, 0xc2, 0xaf, 0x2e, 0xcd, 0xf2, 0x5e, 0xb2, 0xdb, 0xe5, 0x5b, 0x10, 0x78, 0xa8, 0x13, 0x6b, 0xfc, 0x9d, 0xb7, 0x6f, 0xc3, 0x4a, 0x00, 0x10, 0x44, 0xf6, 0x57, 0x0e }, + { 0x08, 0xbb, 0x99, 0x00, 0x78, 0xe5, 0x99, 0xd7, 0xf2, 0x71, 0x4c, 0x60, 0x6f, 0xeb, 0x37, 0xc2, 0x21, 0xb0, 0xc0, 0xa3, 0x4f, 0x23, 0xb7, 0xe8, 0xf6, 0x34, 0x14, 0x52, 0x73, 0x8c, 0xdb, 0xbe }, + { 0xfa, 0x3b, 0xff, 0xb8, 0x03, 0x14, 0x9a, 0x7b, 0xee, 0x77, 0x43, 0x02, 0x6c, 0xb6, 0x62, 0x98, 0xd3, 0xf7, 0x35, 0xd6, 0x53, 0xf4, 0x8f, 0x55, 0xde, 0x96, 0x7c, 0x40, 0xcd, 0x68, 0x5d, 0x3b }, + { 0x42, 0xa3, 0xf1, 0xa1, 0x9c, 0x5e, 0x7f, 0x03, 0x8d, 0xed, 0x17, 0xab, 0x28, 0x9b, 0x58, 0x2b, 0x4d, 0x39, 0x6b, 0x49, 0xcc, 0x75, 0xac, 0xed, 0x30, 0x16, 0xd8, 0x94, 0xc9, 0xb2, 0xd3, 0x22 }, + { 0x79, 0xa8, 0x5c, 0x15, 0x71, 0xf9, 0x0a, 0x22, 0x75, 0x48, 0x44, 0xdd, 0xe4, 0x6e, 0xf0, 0x54, 0xe6, 0x43, 0x56, 0x7f, 0xcd, 0x0d, 0x4f, 0x40, 0x26, 0xf9, 0x0b, 0x3c, 0xf5, 0x0b, 0xbf, 0x63 }, + { 0x26, 0x48, 0xad, 0x0d, 0x31, 0x03, 0xe1, 0x85, 0x3f, 0x7c, 0x3a, 0xf7, 0x3e, 0xe4, 0x6e, 0xa7, 0x19, 0x93, 0xbf, 0xce, 0x05, 0xd7, 0xb6, 0x38, 0xa3, 0x30, 0x63, 0xf9, 0x24, 0x39, 0xb3, 0x91 }, + { 0xe8, 0xb5, 0x92, 0x66, 0xc1, 0xe5, 0xc7, 0x05, 0x83, 0xc5, 0xa2, 0xdb, 0x56, 0x72, 0x24, 0xa7, 0x63, 0x72, 0x8b, 0x23, 0xb4, 0xf5, 0xdd, 0xa7, 0x75, 0x11, 0x96, 0xd5, 0x70, 0xb4, 0x8c, 0xe4 }, + { 0x7e, 0x12, 0xbb, 0x3f, 0x8e, 0x52, 0x6b, 0x40, 0xe6, 0x98, 0x15, 0x56, 0x6d, 0xba, 0x6c, 0x35, 0xae, 0xe0, 0x80, 0xcf, 0xa2, 0xb5, 0xe5, 0xe0, 0xbb, 0x80, 0x4f, 0x31, 0xf8, 0xf0, 0xec, 0x3b }, + { 0xa5, 0x6d, 0x8b, 0x27, 0xa6, 0xbe, 0xb4, 0x99, 0x9a, 0x24, 0xd3, 0x7d, 0x39, 0x4b, 0xf3, 0x3d, 0xb7, 0x99, 0xc5, 0xd3, 0x8d, 0xdc, 0xb1, 0x51, 0x4e, 0x22, 0xbd, 0x62, 0x40, 0xfb, 0x30, 0x66 }, + { 0xb9, 0xa6, 0x03, 0x0a, 0xd4, 0xc0, 0x5a, 0x95, 0xae, 0x0f, 0xf0, 0x28, 0x09, 0xb2, 0xfe, 0x9c, 0x6e, 0x6d, 0x71, 0xc2, 0x19, 0x98, 0xc1, 0x77, 0xf3, 0x84, 0x2c, 0x98, 0x6b, 0xd1, 0x9a, 0x41 }, + { 0x61, 0x95, 0x64, 0xdd, 0xfc, 0x78, 0x52, 0x0e, 0x70, 0x48, 0x2c, 0x77, 0x5d, 0xa5, 0x04, 0x36, 0x74, 0x41, 0x99, 0xf7, 0xbc, 0x95, 0x3c, 0xfe, 0xa8, 0x60, 0x2d, 0x67, 0x6d, 0x88, 0xb8, 0xad }, + { 0x02, 0x10, 0x97, 0xd4, 0xcc, 0x00, 0x13, 0x39, 0x6b, 0x8e, 0xe3, 0x82, 0x06, 0x16, 0x79, 0x25, 0x2e, 0x23, 0x7e, 0x7f, 0x47, 0x90, 0x2b, 0xa4, 0x21, 0x11, 0x6f, 0x4b, 0x01, 0x48, 0x8a, 0xd7 }, + { 0x2c, 0x1f, 0x2c, 0xac, 0x92, 0xf5, 0x44, 0x3a, 0x28, 0x05, 0x93, 0xc1, 0x6c, 0x2c, 0x45, 0x16, 0x0b, 0x25, 0x19, 0xdd, 0x7a, 0x2a, 0xb2, 0xa6, 0x00, 0x68, 0xf0, 0xcf, 0xff, 0x58, 0x28, 0xe1 }, + { 0x29, 0xb5, 0x61, 0x35, 0x68, 0x11, 0x6e, 0x6e, 0x76, 0x67, 0x39, 0x3c, 0xcc, 0x81, 0x90, 0x33, 0x9d, 0xf3, 0xd0, 0x4a, 0x7f, 0xb1, 0x5e, 0x03, 0xd5, 0x53, 0x99, 0x60, 0xfb, 0xd8, 0x0e, 0x62 }, + { 0x47, 0x2e, 0x17, 0x63, 0xa2, 0x49, 0x91, 0xab, 0x3e, 0x66, 0x28, 0x37, 0xa3, 0x9a, 0x0c, 0x4b, 0x0f, 0x43, 0x17, 0xbd, 0x81, 0x96, 0xd7, 0xe4, 0x2a, 0xec, 0x8b, 0xe8, 0x07, 0x65, 0x37, 0x5b }, + { 0x45, 0x03, 0xfa, 0x6d, 0xba, 0xc5, 0xb7, 0xc9, 0x1b, 0xc7, 0x3b, 0x26, 0xb8, 0xe7, 0x94, 0x7c, 0x1d, 0x2a, 0xa4, 0x5d, 0x16, 0x0a, 0xf0, 0x4b, 0x45, 0xaa, 0x85, 0x08, 0x90, 0x21, 0x55, 0x34 }, + { 0xcf, 0x95, 0x39, 0xe0, 0xf4, 0x07, 0xef, 0xec, 0x6d, 0x3f, 0x6a, 0xe1, 0x6e, 0x2f, 0x08, 0xc3, 0x67, 0xc6, 0xcf, 0xd8, 0x58, 0xee, 0xc0, 0x14, 0xa3, 0x17, 0xfe, 0x58, 0x60, 0x6f, 0x9f, 0x7b }, + { 0x91, 0x54, 0x08, 0xef, 0xe1, 0xea, 0xd6, 0x59, 0xf9, 0xc7, 0x79, 0xd8, 0x85, 0x6d, 0x2b, 0x61, 0xa8, 0xc9, 0x66, 0x96, 0xe5, 0x43, 0x97, 0xb1, 0x84, 0x0c, 0xa0, 0xef, 0x7c, 0x4d, 0xaa, 0x6b }, + { 0xf5, 0x27, 0x2b, 0x6e, 0xc6, 0xfe, 0xb0, 0x43, 0x87, 0xb6, 0xdc, 0x13, 0xc3, 0x97, 0x45, 0xff, 0x45, 0xf8, 0x1f, 0x5a, 0x73, 0x3e, 0xd7, 0x1a, 0xdd, 0xd0, 0x4f, 0x45, 0xaf, 0x61, 0xb8, 0x4e }, + { 0xc7, 0x98, 0xa8, 0xc8, 0x56, 0x9d, 0x3e, 0xb0, 0xcb, 0x6d, 0x96, 0x17, 0xb9, 0xdc, 0x86, 0x62, 0x30, 0x96, 0xd9, 0x4d, 0xbf, 0xcb, 0xbe, 0xdd, 0xf5, 0x84, 0xb3, 0x00, 0x0f, 0x80, 0xed, 0x90 }, + { 0xa5, 0x95, 0xa2, 0x5e, 0xef, 0x49, 0x50, 0x70, 0xd2, 0xf0, 0x7f, 0x87, 0xe9, 0x4e, 0x42, 0x10, 0x6b, 0x3a, 0xcb, 0xa0, 0xf8, 0x36, 0x81, 0xb8, 0xcc, 0xbf, 0x54, 0x3a, 0x05, 0x8c, 0x3a, 0x6f }, + { 0xfd, 0x81, 0xa1, 0x03, 0x5c, 0xe1, 0x63, 0xf8, 0x3d, 0xa1, 0x88, 0xe8, 0xd2, 0xab, 0x9b, 0xe7, 0x47, 0x2f, 0x64, 0x9c, 0x68, 0xcb, 0x01, 0x25, 0x28, 0xc9, 0x7d, 0xf4, 0x2c, 0x70, 0x02, 0x58 }, + { 0xfa, 0x67, 0xcb, 0xd4, 0xf3, 0x7c, 0xac, 0xac, 0x4d, 0x8c, 0xc6, 0x21, 0x58, 0x00, 0x7f, 0x26, 0x86, 0x2d, 0xf4, 0xc1, 0x9c, 0xa9, 0x0d, 0x9c, 0xea, 0xe4, 0x16, 0x74, 0x8a, 0xa9, 0x3b, 0x83 }, + { 0xc6, 0x21, 0x75, 0x63, 0xfb, 0xda, 0xb3, 0x90, 0x01, 0x30, 0x85, 0xb9, 0x4f, 0xe8, 0x24, 0x11, 0xa6, 0x08, 0x90, 0xd7, 0x1a, 0x6c, 0x96, 0xbc, 0x0b, 0x94, 0xad, 0xb7, 0x62, 0xd1, 0xaa, 0xdd }, + { 0x91, 0xc5, 0x89, 0xb1, 0xa2, 0xfd, 0xf8, 0xc8, 0x81, 0x57, 0xbb, 0x40, 0xee, 0x33, 0x1a, 0x53, 0x83, 0x7f, 0xbd, 0x7e, 0x9a, 0xae, 0xf1, 0x31, 0x5c, 0x23, 0x17, 0xd8, 0x7b, 0xf9, 0x1f, 0xb2 }, + { 0x45, 0x5b, 0x89, 0xef, 0xad, 0x62, 0x68, 0xca, 0xfa, 0x88, 0x56, 0xd7, 0x77, 0x4a, 0xb2, 0x48, 0xfa, 0x20, 0x9b, 0x30, 0xa2, 0x34, 0xa9, 0x5c, 0x38, 0x63, 0x10, 0x36, 0x07, 0x5f, 0x8b, 0x28 }, + { 0x90, 0xf0, 0xfc, 0x59, 0xdd, 0x1a, 0x83, 0xa1, 0x5b, 0x73, 0xf9, 0xb3, 0xa8, 0xc2, 0x00, 0x94, 0xd1, 0x79, 0xb5, 0x86, 0x38, 0xc4, 0x59, 0x27, 0xd9, 0xb6, 0xcc, 0x72, 0x81, 0x74, 0x18, 0xdf }, + { 0x4f, 0xca, 0xaf, 0xad, 0xc9, 0xab, 0x37, 0x77, 0x49, 0x2a, 0x1d, 0xd2, 0xfe, 0x83, 0xd5, 0x25, 0xac, 0x6b, 0xa6, 0x3c, 0xe9, 0x60, 0x3f, 0x3a, 0x7a, 0xe3, 0x03, 0xa6, 0xfd, 0xf8, 0xf1, 0x08 }, + { 0x9d, 0x43, 0x8f, 0x91, 0x87, 0xf8, 0x53, 0xf4, 0xc1, 0x25, 0x8a, 0x56, 0x55, 0x66, 0x6e, 0x27, 0x1d, 0x5d, 0xfb, 0x9d, 0x1d, 0x99, 0x81, 0x93, 0x52, 0x4b, 0xf2, 0xb5, 0x57, 0x9b, 0x57, 0xf2 }, + { 0x19, 0x81, 0x61, 0xe8, 0xad, 0x72, 0x89, 0x07, 0x48, 0xef, 0x90, 0x42, 0x59, 0x0a, 0xf0, 0xc4, 0x93, 0xd2, 0x84, 0x8c, 0x62, 0x68, 0xe8, 0x79, 0xda, 0x6f, 0x8f, 0x90, 0xfc, 0xd9, 0x97, 0xaa }, + { 0xa4, 0x42, 0xe6, 0xfb, 0xc8, 0xe9, 0x39, 0xe9, 0x3a, 0x36, 0xad, 0x6a, 0xff, 0xa2, 0xf3, 0xbc, 0xb2, 0x9d, 0x02, 0x5d, 0xa8, 0xd1, 0xa2, 0xa3, 0x5f, 0x79, 0xd1, 0x20, 0x25, 0xc8, 0xea, 0xd3 }, + { 0x66, 0xa0, 0xd2, 0x19, 0xcb, 0xff, 0x73, 0x3e, 0x74, 0x5b, 0x66, 0xe1, 0xd1, 0xf7, 0xe9, 0x60, 0xc2, 0x2b, 0x44, 0x2d, 0xe2, 0xb9, 0xc2, 0x0c, 0xb4, 0xd5, 0xd4, 0xb3, 0x65, 0xc5, 0x52, 0x70 }, + { 0x26, 0x37, 0x25, 0x41, 0xcf, 0x75, 0x8e, 0x30, 0x4e, 0x5d, 0xb7, 0x6f, 0x2e, 0x49, 0xdd, 0xad, 0xad, 0x88, 0xca, 0x23, 0x01, 0x42, 0xf2, 0xa3, 0x0e, 0xd4, 0x52, 0x2c, 0xec, 0x14, 0x9c, 0x80 }, + { 0x83, 0x36, 0xbe, 0x85, 0x39, 0x14, 0xcb, 0x01, 0x9a, 0x39, 0x19, 0xf1, 0x3c, 0x67, 0xb6, 0x9e, 0x28, 0xcb, 0x71, 0xe4, 0xb7, 0x33, 0xa7, 0xdb, 0x68, 0xea, 0xa1, 0x67, 0x4d, 0x4d, 0xf7, 0xe0 }, + { 0x2f, 0x77, 0xa0, 0x5b, 0xea, 0xa7, 0x34, 0xe9, 0x3d, 0x8b, 0xf5, 0xc8, 0x0d, 0x50, 0xbf, 0x25, 0xd1, 0xe4, 0xfb, 0x86, 0xe7, 0x88, 0x25, 0x6b, 0x17, 0xe8, 0x03, 0x53, 0x96, 0x60, 0x6c, 0x46 }, + { 0x40, 0x35, 0x13, 0x82, 0xa6, 0x4d, 0x47, 0x14, 0x55, 0xf8, 0x26, 0x2a, 0xd3, 0x75, 0x36, 0x2a, 0x84, 0xf5, 0x0a, 0x1f, 0x62, 0xc0, 0x5a, 0xcf, 0xdb, 0x94, 0x85, 0x44, 0xc6, 0x92, 0x0b, 0xa7 }, + { 0x31, 0x49, 0x45, 0x5e, 0x13, 0x16, 0xe5, 0xc2, 0x38, 0x9a, 0x32, 0x02, 0xf2, 0xd0, 0xc1, 0xe3, 0xcf, 0x65, 0x96, 0x27, 0xce, 0xe2, 0x46, 0xec, 0x7d, 0xfe, 0xeb, 0x0b, 0x97, 0xa9, 0x5d, 0x4e }, + { 0x9b, 0xb5, 0x72, 0x56, 0x51, 0x15, 0x05, 0xf9, 0x80, 0xf5, 0xa2, 0xb3, 0x5e, 0xb9, 0x15, 0x92, 0x5a, 0x63, 0xda, 0xee, 0x57, 0x51, 0xb5, 0x4a, 0xb7, 0xa5, 0x24, 0x60, 0x3e, 0x39, 0x44, 0xb3 }, + { 0x08, 0x08, 0xf1, 0xe8, 0xba, 0xb3, 0x4a, 0xd8, 0x7e, 0xb4, 0x7f, 0x70, 0xe1, 0x45, 0x6b, 0x95, 0x71, 0x52, 0x6e, 0x80, 0xf1, 0x76, 0x01, 0xe9, 0xce, 0xb9, 0xb9, 0x23, 0x08, 0x93, 0xaf, 0xb0 }, + { 0x85, 0x36, 0x7a, 0x37, 0x6a, 0x43, 0xff, 0x71, 0x05, 0xcc, 0xf2, 0xa9, 0x64, 0xd5, 0xf7, 0xe2, 0x22, 0xac, 0x83, 0xd0, 0xe4, 0xaa, 0xcb, 0x0b, 0xfb, 0xe3, 0x8f, 0xaf, 0x84, 0xb4, 0xb6, 0x6d }, + { 0xf1, 0x14, 0xf0, 0xa9, 0x7f, 0x99, 0x95, 0x65, 0x86, 0x60, 0x74, 0x46, 0x6a, 0xc7, 0x7e, 0xd1, 0x13, 0xf9, 0x58, 0x9b, 0x6c, 0x90, 0xc5, 0x3f, 0x23, 0x1d, 0xdb, 0xd0, 0x4d, 0x1b, 0xd5, 0x25 }, + { 0x4f, 0x74, 0xc9, 0x80, 0x51, 0xf9, 0xd1, 0x2f, 0x23, 0xf0, 0x75, 0x0b, 0xac, 0x07, 0x13, 0xff, 0x53, 0xe5, 0x8b, 0xdf, 0x57, 0x74, 0x10, 0x34, 0xb7, 0x42, 0xc6, 0x05, 0x87, 0xe9, 0x36, 0x6c }, + { 0xac, 0x87, 0xe1, 0xc0, 0xc7, 0x6f, 0xf7, 0x6e, 0x2f, 0xa0, 0x84, 0x9f, 0x0d, 0x07, 0x9d, 0xf6, 0xe8, 0xf1, 0x1f, 0x2c, 0xa4, 0x42, 0x35, 0x8d, 0x6c, 0x7b, 0x06, 0xe9, 0xb4, 0xdf, 0xcf, 0x65 }, + { 0xeb, 0x5c, 0xa7, 0x24, 0x18, 0x85, 0x99, 0x11, 0x69, 0xe8, 0x50, 0xca, 0x1d, 0x22, 0xec, 0xab, 0xe4, 0xf0, 0x42, 0x67, 0x09, 0xec, 0x91, 0x5d, 0x86, 0x39, 0xa4, 0x83, 0xcd, 0xe3, 0xa4, 0xb5 }, + { 0xc2, 0x47, 0x4e, 0xef, 0xd6, 0xd4, 0x37, 0x4b, 0x22, 0x7f, 0x39, 0x8a, 0x0c, 0xf7, 0x46, 0xa3, 0x3e, 0xb3, 0x0e, 0xbe, 0x02, 0xec, 0x98, 0xdb, 0x10, 0xfb, 0xd7, 0x46, 0xd3, 0x91, 0x65, 0xe8 }, + { 0x06, 0x38, 0x87, 0xc6, 0xfe, 0x24, 0x9b, 0xdc, 0x03, 0x66, 0xd9, 0x56, 0xc0, 0xf6, 0x72, 0x13, 0xb9, 0x63, 0xd2, 0x0b, 0x2d, 0x45, 0xd4, 0x37, 0xca, 0x05, 0xd0, 0xf0, 0x33, 0x36, 0x68, 0x24 }, + { 0x14, 0xf7, 0x9e, 0x44, 0x5b, 0x93, 0xc2, 0x4a, 0x14, 0x0d, 0xbc, 0x99, 0x0c, 0x98, 0x76, 0xc0, 0xc4, 0xfc, 0xe8, 0x82, 0x59, 0xd2, 0x13, 0xe6, 0x1e, 0x70, 0x4e, 0x76, 0x30, 0xd0, 0xfa, 0x09 }, + { 0x5f, 0xce, 0x6e, 0x31, 0x36, 0xca, 0x3c, 0xa4, 0x33, 0xae, 0xe5, 0xb2, 0x63, 0x4c, 0xae, 0xb8, 0xcf, 0x00, 0x3e, 0x5f, 0x79, 0x9f, 0x2f, 0x8b, 0xb9, 0x2c, 0xf2, 0xcd, 0x65, 0x66, 0x2f, 0x7b }, + { 0x04, 0xdc, 0x53, 0x25, 0x41, 0x8a, 0x50, 0x9a, 0x33, 0x52, 0xea, 0xca, 0x5a, 0x8d, 0x74, 0xa6, 0x1e, 0x83, 0xef, 0x78, 0xaa, 0x8e, 0x60, 0x9b, 0xbb, 0x3e, 0xdd, 0x47, 0x97, 0x9f, 0xb9, 0xdc }, + { 0x63, 0xa4, 0x2e, 0x76, 0x07, 0x84, 0x80, 0xe9, 0xc4, 0x04, 0xaf, 0x5f, 0x99, 0x84, 0x3c, 0xc5, 0x08, 0x2c, 0xff, 0xf3, 0x0a, 0x5f, 0x11, 0x3b, 0x07, 0x58, 0xa0, 0xca, 0xd1, 0xeb, 0x3b, 0x70 }, + { 0x9a, 0x16, 0xbf, 0x59, 0xb2, 0x76, 0x72, 0x05, 0x90, 0xec, 0x74, 0x52, 0x74, 0x0c, 0x88, 0xe0, 0x18, 0x4f, 0x16, 0x49, 0x55, 0xf0, 0x46, 0xea, 0xaf, 0x6e, 0x8e, 0x45, 0x1b, 0x6c, 0x43, 0x82 }, + { 0xe4, 0x34, 0x64, 0xac, 0x10, 0xfc, 0x0a, 0xa6, 0xf6, 0x32, 0xc2, 0x81, 0xcd, 0x3a, 0xae, 0x9e, 0xa2, 0x57, 0xfc, 0x4b, 0x4f, 0xd1, 0x5a, 0xbb, 0x9e, 0x04, 0x4e, 0x04, 0x1c, 0x81, 0xbb, 0x92 }, + { 0x43, 0xe0, 0x0c, 0xfc, 0x9e, 0x3a, 0x1e, 0x4f, 0xd3, 0x0e, 0x2a, 0x5c, 0x5a, 0xb9, 0x33, 0x0d, 0x1b, 0xd7, 0x21, 0x6c, 0xdc, 0x03, 0x8c, 0x36, 0x8f, 0xe4, 0x9a, 0x87, 0x02, 0xcf, 0x65, 0xa7 }, + { 0xf7, 0x8f, 0x95, 0x09, 0xf1, 0xce, 0x8c, 0xbb, 0x3f, 0xc0, 0xb7, 0x14, 0x00, 0xdc, 0x5c, 0xd0, 0xe4, 0x1c, 0x56, 0x89, 0x53, 0xf4, 0x9a, 0x8a, 0xa4, 0xc7, 0xbc, 0xc5, 0xfe, 0x64, 0x80, 0x9e }, + { 0x08, 0xdd, 0xc5, 0x25, 0xf7, 0xc5, 0x0b, 0xaa, 0x7c, 0xf2, 0xc9, 0xd6, 0x9b, 0xb7, 0x0e, 0xf4, 0x57, 0x49, 0x13, 0xf3, 0x4f, 0x38, 0x6e, 0xeb, 0x4b, 0xcc, 0x20, 0xf7, 0x5d, 0x12, 0x26, 0xd2 }, + { 0x95, 0xff, 0xe0, 0x8d, 0x7f, 0xc5, 0x06, 0x6d, 0xc3, 0x5b, 0xa4, 0x09, 0x81, 0xa7, 0xc6, 0x34, 0x8b, 0x99, 0x09, 0x32, 0xb7, 0x9c, 0x38, 0x07, 0xc9, 0x1b, 0x28, 0xa7, 0x1b, 0x31, 0x4e, 0xb9 }, + { 0x02, 0xd3, 0x98, 0xe6, 0xa5, 0xad, 0x51, 0x3c, 0xed, 0xe1, 0x27, 0xc2, 0xc4, 0x7a, 0xf3, 0x96, 0xa1, 0x04, 0x10, 0x43, 0x90, 0x52, 0xef, 0xd5, 0xba, 0x2e, 0x36, 0x7b, 0xb7, 0x82, 0x51, 0xa5 }, + { 0x32, 0x76, 0x61, 0x83, 0x99, 0x18, 0x20, 0x5c, 0x16, 0x78, 0x72, 0xa0, 0xe4, 0xc3, 0x6c, 0x0a, 0x02, 0xe0, 0x50, 0xf8, 0x66, 0xc6, 0xd3, 0xc4, 0xa3, 0xfd, 0xca, 0xbf, 0x46, 0x54, 0x0d, 0xcf }, + { 0x50, 0xfb, 0x84, 0xaf, 0x6d, 0x95, 0x42, 0x7e, 0x5f, 0xa6, 0x19, 0x48, 0x72, 0x99, 0x33, 0xae, 0xe9, 0x25, 0x40, 0x50, 0xd9, 0x25, 0x9a, 0xb6, 0xa9, 0x2c, 0xbe, 0xed, 0xfb, 0x6a, 0x2d, 0x16 }, + { 0xa3, 0xf6, 0x4e, 0xbb, 0x4c, 0x02, 0x9b, 0x7a, 0x28, 0x07, 0x49, 0x76, 0x8b, 0x07, 0xa0, 0x9f, 0xcc, 0xbc, 0x04, 0xfd, 0x1d, 0xe4, 0x17, 0xca, 0x48, 0x9f, 0xdf, 0x66, 0x45, 0x73, 0xbc, 0x62 }, + { 0x7f, 0x82, 0x2f, 0x5c, 0x2e, 0xd3, 0xac, 0xe1, 0xad, 0xca, 0x13, 0x93, 0xb3, 0x22, 0x22, 0xd7, 0xf5, 0x02, 0xeb, 0xa7, 0xe0, 0x8a, 0x7e, 0xa3, 0x58, 0xfb, 0xe4, 0xc8, 0xc0, 0x07, 0xe5, 0xfd }, + { 0xa0, 0x27, 0x29, 0x73, 0x0e, 0xc1, 0x6a, 0x4c, 0xd7, 0x29, 0x7c, 0xa8, 0x23, 0x28, 0xf1, 0x5c, 0x8d, 0x73, 0x7c, 0x2f, 0x51, 0x16, 0xc0, 0x75, 0x63, 0x2f, 0x1d, 0x26, 0x9e, 0xac, 0xf2, 0x01 }, + { 0xff, 0x20, 0xc8, 0x1f, 0xb8, 0xd2, 0x60, 0xb5, 0xd3, 0xe2, 0x13, 0x11, 0x1d, 0x9d, 0x17, 0x72, 0xe2, 0x7f, 0xb6, 0xf3, 0x86, 0x1a, 0xe4, 0x06, 0x0a, 0xbc, 0x99, 0xa1, 0x73, 0x9b, 0xf2, 0x65 }, + { 0xf7, 0x51, 0x9a, 0x3a, 0x99, 0x6d, 0x19, 0x0b, 0xf5, 0xae, 0xaf, 0xaf, 0x1f, 0x9b, 0x9c, 0x0f, 0xac, 0xb0, 0x01, 0xad, 0x3f, 0x84, 0x98, 0x15, 0x4f, 0x53, 0x33, 0x04, 0x3a, 0x10, 0xcd, 0x68 }, + { 0x0c, 0xe9, 0xf0, 0x2d, 0xd2, 0xaa, 0xad, 0x06, 0x5d, 0xa1, 0x1c, 0x9b, 0xd5, 0x67, 0x14, 0x56, 0x43, 0x5b, 0x0a, 0xfc, 0x8a, 0x83, 0x9b, 0x16, 0x21, 0xe5, 0x94, 0xf7, 0x03, 0x51, 0x0d, 0x40 }, + { 0xb7, 0x86, 0x4a, 0xe5, 0x29, 0x3e, 0x3a, 0xa4, 0xd5, 0x2e, 0x97, 0x9e, 0x86, 0x96, 0x8e, 0xd0, 0x2b, 0x5c, 0x3b, 0x1d, 0x45, 0x45, 0x30, 0xf9, 0x7b, 0x81, 0x7e, 0x50, 0x72, 0x3a, 0x54, 0xfc }, + { 0x7e, 0x81, 0xef, 0x95, 0x2d, 0xd5, 0xec, 0x88, 0x0a, 0x49, 0xa4, 0xe5, 0x96, 0xaa, 0x2e, 0x4c, 0xb9, 0xba, 0xa8, 0xcc, 0x4b, 0xd5, 0xbf, 0x96, 0x4e, 0x4f, 0x7d, 0xbb, 0x2c, 0x68, 0x06, 0xca }, + { 0xa2, 0xaf, 0x78, 0xb0, 0x9a, 0xe0, 0xef, 0xf3, 0x11, 0x55, 0x88, 0xbf, 0xf9, 0x13, 0x74, 0x1d, 0xdf, 0xa3, 0x74, 0xfd, 0xff, 0xa5, 0xbe, 0x1f, 0x01, 0xc1, 0xf4, 0xf3, 0xb0, 0x8c, 0xd7, 0x60 }, + { 0x75, 0x06, 0x2a, 0x64, 0x34, 0x66, 0x24, 0xd2, 0xfd, 0xb2, 0x62, 0x51, 0x3a, 0xbc, 0xbc, 0x84, 0xf4, 0x1b, 0x07, 0xe6, 0x43, 0x76, 0x6e, 0x5b, 0x9e, 0x06, 0x8c, 0xa2, 0x2e, 0x85, 0xc4, 0x7b }, + { 0xe2, 0x91, 0x5d, 0xd2, 0xb6, 0x38, 0x73, 0x52, 0x37, 0xcc, 0xe8, 0x79, 0xb9, 0x81, 0xfa, 0xb4, 0xad, 0xe5, 0x7c, 0xf8, 0x78, 0x11, 0xb6, 0x36, 0x56, 0xfa, 0x11, 0x7c, 0x36, 0x47, 0x8d, 0x2d }, + { 0x33, 0x7a, 0xea, 0xfe, 0x2c, 0x17, 0xe3, 0xbc, 0xe8, 0x03, 0xcf, 0xe8, 0x52, 0xf9, 0xe5, 0x6a, 0x30, 0xaf, 0x55, 0xcf, 0x80, 0x47, 0xe2, 0x18, 0x6c, 0x01, 0x2c, 0xde, 0x8c, 0x44, 0x01, 0x9c }, + { 0x58, 0x5a, 0xfd, 0x28, 0x94, 0xac, 0xb6, 0x55, 0xcc, 0x03, 0xae, 0x8d, 0xe0, 0x59, 0x68, 0x63, 0xeb, 0x73, 0x37, 0x1d, 0xc7, 0x77, 0xdf, 0x80, 0xfd, 0x52, 0x08, 0x61, 0x19, 0x52, 0x05, 0xfe }, + { 0x2d, 0xba, 0xef, 0x44, 0xea, 0xe2, 0xa6, 0xc4, 0x8a, 0x0a, 0x4b, 0xaa, 0xa3, 0x40, 0x81, 0xf0, 0x0e, 0xce, 0xa5, 0xa5, 0x51, 0xbe, 0x52, 0x23, 0x10, 0xdd, 0x97, 0x16, 0x49, 0xc0, 0x4d, 0xac }, + { 0x61, 0x4a, 0x26, 0x94, 0x52, 0x40, 0xd9, 0xd9, 0xc5, 0xad, 0x07, 0x20, 0x5d, 0x60, 0x4f, 0xc3, 0x65, 0x73, 0xc7, 0xb6, 0x98, 0xa2, 0xe8, 0xeb, 0xc4, 0x7b, 0x63, 0x30, 0xa5, 0x8c, 0x99, 0xc9 }, + { 0x44, 0x5c, 0x06, 0x8d, 0x50, 0xc3, 0x93, 0xd0, 0xff, 0x07, 0x48, 0xb6, 0xbd, 0xbd, 0xf1, 0x85, 0x15, 0x40, 0x95, 0x36, 0xf8, 0x79, 0xed, 0x51, 0xdf, 0x83, 0xe7, 0xf9, 0x05, 0x54, 0x2f, 0x2d }, + { 0xdc, 0x18, 0x53, 0x72, 0x14, 0x38, 0xee, 0xa0, 0x56, 0x5d, 0x83, 0xf8, 0x40, 0x51, 0x96, 0xec, 0x63, 0xd1, 0xee, 0x6f, 0x36, 0x40, 0xea, 0x55, 0x1f, 0x8a, 0x85, 0xc4, 0xac, 0x0f, 0x06, 0x15 }, + { 0x2b, 0x09, 0xfe, 0xe2, 0x8c, 0xc6, 0xf8, 0xc7, 0xc3, 0x5e, 0xc0, 0x33, 0x64, 0xd3, 0xf1, 0xa9, 0xa1, 0x4b, 0x01, 0x19, 0xf7, 0x54, 0xd9, 0xe2, 0xd6, 0x54, 0x5d, 0xa9, 0xd3, 0xbb, 0x18, 0x4e }, + { 0x0a, 0x98, 0xb6, 0xea, 0x43, 0xc0, 0x27, 0x10, 0x35, 0x61, 0x08, 0xe3, 0x29, 0x9c, 0xde, 0x1a, 0xf5, 0xda, 0xda, 0xb2, 0xec, 0x81, 0x39, 0x8f, 0xef, 0xed, 0xee, 0x59, 0x01, 0x32, 0xa7, 0x00 }, + { 0xc6, 0x43, 0x26, 0x26, 0x80, 0x88, 0x08, 0x02, 0x50, 0xb7, 0x3f, 0x6c, 0xe2, 0x78, 0xba, 0x15, 0x24, 0x6d, 0x58, 0x1a, 0xd2, 0x31, 0x6a, 0x7a, 0x45, 0xb2, 0x7a, 0xf4, 0x52, 0x70, 0xdf, 0xbf }, + { 0x47, 0xf5, 0x74, 0xde, 0xb5, 0xcc, 0x24, 0x7b, 0xf4, 0xba, 0x4b, 0xe4, 0xef, 0x91, 0x28, 0x26, 0x03, 0xb0, 0xdf, 0x2d, 0x43, 0x62, 0x8d, 0x01, 0x6c, 0xc9, 0x50, 0xd5, 0xef, 0x0d, 0x99, 0x56 }, + { 0xbb, 0xa0, 0xd4, 0x38, 0x11, 0xf6, 0xa1, 0xd3, 0xee, 0xe7, 0x53, 0xd6, 0xd3, 0x77, 0xb4, 0xae, 0xef, 0x11, 0xba, 0xbc, 0x8b, 0x6d, 0xa2, 0xa5, 0xa1, 0x25, 0x96, 0x33, 0xb2, 0x0a, 0x6c, 0x06 }, + { 0xf1, 0x75, 0x0e, 0xe9, 0xc6, 0x9d, 0xf6, 0x2d, 0x8f, 0x3b, 0x2d, 0x21, 0xd5, 0x62, 0xac, 0x5b, 0x2f, 0x78, 0x73, 0x83, 0x15, 0x89, 0x74, 0xec, 0x69, 0x3c, 0xe5, 0xfe, 0xd6, 0x49, 0xfd, 0xab }, + { 0xa9, 0xcd, 0x78, 0x98, 0x04, 0xf9, 0xf2, 0xed, 0x9b, 0xd5, 0x21, 0xc7, 0x21, 0x06, 0x41, 0x6e, 0xa2, 0xbc, 0xa0, 0xdc, 0xf7, 0xbd, 0x00, 0x20, 0x3f, 0x3b, 0xe6, 0xf0, 0x5b, 0x65, 0xcb, 0xe0 }, + { 0x41, 0x0e, 0x99, 0x6a, 0x1c, 0x40, 0xed, 0x19, 0xa8, 0xed, 0x4c, 0x65, 0xbe, 0x33, 0x58, 0x50, 0x0b, 0x08, 0xb9, 0xac, 0xb9, 0xe1, 0x3f, 0xa7, 0xa6, 0x7e, 0x52, 0x04, 0xd0, 0xb3, 0x58, 0x6f }, + { 0xa7, 0x99, 0x5b, 0x2b, 0x0a, 0x68, 0x1b, 0x02, 0xee, 0x36, 0x6d, 0x08, 0x37, 0x8f, 0x22, 0x58, 0x8b, 0x4d, 0x90, 0x93, 0x4e, 0x18, 0xee, 0x45, 0x58, 0x36, 0xe4, 0x2c, 0xca, 0x7d, 0xc2, 0xe0 }, + { 0x98, 0x34, 0xf8, 0xee, 0xde, 0xf5, 0xa1, 0x83, 0x34, 0xa3, 0xc9, 0x1d, 0xcb, 0x21, 0x17, 0x45, 0x58, 0x5a, 0xfa, 0x10, 0x73, 0x21, 0x5e, 0x2d, 0xf5, 0x06, 0xee, 0x82, 0x6f, 0x13, 0x9c, 0x78 }, + { 0xa7, 0x1d, 0xff, 0x4f, 0xa1, 0x0e, 0xe9, 0x99, 0x6d, 0x88, 0x21, 0xbc, 0x12, 0x3e, 0x10, 0x93, 0x3e, 0x97, 0x11, 0xf7, 0x3e, 0x21, 0x73, 0x51, 0x0c, 0x78, 0xcd, 0x88, 0x44, 0x6b, 0x24, 0x63 }, + { 0xd8, 0xd9, 0x36, 0xd7, 0x1e, 0xa6, 0x99, 0x25, 0x24, 0x14, 0x85, 0xe5, 0x6d, 0x52, 0xd2, 0x6a, 0x3e, 0x76, 0xf7, 0xe3, 0xd1, 0x1c, 0x2d, 0xf4, 0xc9, 0x03, 0xb1, 0x5c, 0x0d, 0xdb, 0x46, 0xcb }, + { 0xda, 0x28, 0xb2, 0x45, 0xab, 0xae, 0x22, 0x98, 0x22, 0x23, 0x92, 0x7f, 0xe7, 0x3a, 0x5d, 0x51, 0xc3, 0x7a, 0x7a, 0x6e, 0x94, 0x13, 0xa1, 0x67, 0x90, 0x68, 0x6b, 0xa2, 0x12, 0xc7, 0x37, 0x3b }, + { 0x7a, 0x7b, 0x03, 0x07, 0xdb, 0x35, 0x0d, 0x0f, 0x5d, 0xfe, 0x95, 0x28, 0xab, 0x0c, 0x43, 0xad, 0x88, 0x43, 0xeb, 0xff, 0xda, 0x8d, 0x43, 0x8e, 0xfd, 0x22, 0x5e, 0xbe, 0x7e, 0x10, 0x89, 0xc5 }, + { 0x86, 0xda, 0xb7, 0xc4, 0x39, 0xd1, 0x51, 0x65, 0xe4, 0x0b, 0x31, 0xf9, 0x18, 0x1f, 0x10, 0x8b, 0xc1, 0xc4, 0xc1, 0xf2, 0x53, 0x31, 0x73, 0x96, 0x63, 0x11, 0x37, 0x30, 0x01, 0x37, 0xc8, 0x17 }, + { 0x9e, 0x39, 0x42, 0xd1, 0x02, 0xcb, 0x80, 0x2e, 0xa5, 0xa7, 0x0b, 0x9f, 0x7f, 0x70, 0x9e, 0xc5, 0x81, 0xfb, 0xf6, 0x1d, 0xec, 0x18, 0xd1, 0x7c, 0x8f, 0xc9, 0xcb, 0xc6, 0xd4, 0xf8, 0x59, 0xd5 }, + { 0xb3, 0x81, 0xdd, 0x38, 0xa9, 0x15, 0x30, 0x82, 0x1c, 0xfe, 0x5e, 0x66, 0x83, 0xcb, 0x08, 0x29, 0x8c, 0x59, 0x8d, 0x97, 0x81, 0x7a, 0xae, 0x9a, 0x71, 0xa5, 0x45, 0x7a, 0x76, 0x97, 0xe7, 0xf6 }, + { 0xf3, 0x12, 0xbd, 0x3c, 0x65, 0x81, 0xa9, 0xc2, 0x30, 0xe7, 0x98, 0x31, 0x83, 0x49, 0x49, 0xad, 0xdd, 0x3d, 0x26, 0x85, 0xfe, 0x15, 0x59, 0xff, 0xd4, 0x71, 0xed, 0x6a, 0x34, 0xbc, 0x49, 0x74 }, + { 0x30, 0x26, 0x30, 0x72, 0xf9, 0x9b, 0xde, 0x6f, 0x4c, 0xb0, 0xa2, 0x4e, 0x97, 0x1d, 0xf1, 0x20, 0x56, 0xd4, 0x7a, 0x27, 0x1b, 0xfa, 0x69, 0x2a, 0x86, 0x54, 0x3f, 0x6b, 0x7b, 0x2b, 0xe7, 0x5a }, + { 0x0e, 0x35, 0x3e, 0xef, 0x58, 0xa4, 0x05, 0x28, 0x5d, 0x72, 0xd3, 0xf2, 0x96, 0x22, 0xe1, 0x88, 0xb7, 0x4e, 0xdf, 0xcf, 0xae, 0x2d, 0xc4, 0x0c, 0x91, 0x6c, 0x37, 0xdc, 0xa5, 0xa2, 0x6b, 0xb8 }, + { 0xd4, 0xe0, 0xb0, 0xae, 0xb4, 0x65, 0xae, 0xfd, 0xd4, 0xe4, 0x23, 0x2a, 0xae, 0xb4, 0xf6, 0x65, 0x69, 0xbd, 0xcc, 0x22, 0xc9, 0xf7, 0x79, 0xd6, 0x61, 0xa7, 0x44, 0xef, 0xaf, 0x49, 0xef, 0xc1 }, + { 0xf3, 0x9d, 0x9b, 0xc0, 0xca, 0xe4, 0x54, 0x59, 0x78, 0xea, 0xbd, 0x03, 0x25, 0x2c, 0x7d, 0x3e, 0x5d, 0x89, 0xf3, 0x6e, 0x13, 0x46, 0x88, 0xf2, 0xab, 0xa7, 0x36, 0x13, 0x72, 0xc8, 0xc2, 0x26 }, + { 0xab, 0x7f, 0xf0, 0x26, 0xb0, 0xf1, 0x3c, 0x60, 0x74, 0x72, 0x4b, 0xc3, 0x7e, 0x38, 0x3f, 0x76, 0x4a, 0xdc, 0xa0, 0xd0, 0x87, 0x73, 0x60, 0x90, 0x82, 0x58, 0xa2, 0x7c, 0x44, 0xbf, 0x3b, 0x38 }, + { 0xf2, 0x3c, 0x94, 0x1a, 0x53, 0xd9, 0x32, 0xc4, 0xac, 0x35, 0x46, 0xa1, 0x17, 0x81, 0x0f, 0x48, 0xda, 0x3b, 0x88, 0x21, 0x22, 0x9d, 0xc8, 0xc0, 0x1b, 0x8b, 0xf5, 0x8b, 0xc3, 0x34, 0xdc, 0x37 }, + { 0x09, 0x7e, 0x34, 0xdc, 0xd4, 0xfc, 0xdd, 0xeb, 0x06, 0xd0, 0xc2, 0xd9, 0x35, 0xd6, 0x04, 0x02, 0xd1, 0x3d, 0x83, 0x24, 0x18, 0xa9, 0x65, 0x5e, 0xbe, 0xab, 0x19, 0xb6, 0x4d, 0x8a, 0x8f, 0xa5 }, + { 0xc1, 0x81, 0x43, 0xcc, 0xfa, 0x86, 0x60, 0xe3, 0xd8, 0x09, 0xbd, 0x26, 0x96, 0xb7, 0x8b, 0xa6, 0xe9, 0x2e, 0xa9, 0x0d, 0xb0, 0x54, 0xa4, 0xd7, 0x85, 0x97, 0xb8, 0xf5, 0x6f, 0x14, 0x53, 0xb6 }, + { 0xab, 0xda, 0xed, 0xb2, 0x47, 0x0e, 0xdc, 0xcd, 0xed, 0x3b, 0xee, 0x80, 0xf5, 0x32, 0xe4, 0x18, 0x1d, 0x2d, 0xfe, 0xea, 0x5a, 0x68, 0xc5, 0xf8, 0x60, 0x05, 0xa0, 0xde, 0xc2, 0xfd, 0x1b, 0xf6 }, + { 0x3e, 0x05, 0xac, 0x33, 0x0d, 0x42, 0xc0, 0xe9, 0xb1, 0xbc, 0xfd, 0x2a, 0xbc, 0xc5, 0xcb, 0x98, 0x52, 0x7e, 0x9c, 0xd1, 0x1c, 0xa8, 0x3d, 0x05, 0xa3, 0x46, 0x83, 0x88, 0xe0, 0xec, 0xbf, 0x0d }, + { 0x3c, 0x66, 0x18, 0x83, 0x29, 0xfa, 0xf5, 0x1e, 0xc4, 0x0c, 0x19, 0x8b, 0xeb, 0x20, 0x24, 0xbf, 0x57, 0x4b, 0xf0, 0x4b, 0xee, 0x20, 0x13, 0xf8, 0x68, 0xbc, 0x53, 0x4c, 0xb9, 0x6c, 0x44, 0x81 }, + { 0x63, 0x5b, 0x81, 0xab, 0x2a, 0x56, 0x27, 0x17, 0xf0, 0xb4, 0xb5, 0x70, 0xb7, 0x2d, 0xe3, 0x45, 0x78, 0xc1, 0x37, 0x63, 0xc1, 0x8c, 0x58, 0xc8, 0x6e, 0xfe, 0x09, 0xd4, 0x90, 0x15, 0x82, 0x40 }, + { 0x37, 0x06, 0xab, 0x4f, 0x7b, 0x65, 0x9c, 0xbe, 0xbf, 0x87, 0xe4, 0xa0, 0x21, 0x9f, 0xf6, 0x6b, 0x7a, 0x03, 0xa3, 0xda, 0x20, 0xd4, 0x6c, 0xba, 0xd6, 0xaa, 0xe7, 0x9e, 0x86, 0x38, 0xc3, 0xe4 }, + { 0xa8, 0x02, 0x74, 0x2c, 0x80, 0xb5, 0xa1, 0x82, 0x53, 0x3c, 0xc0, 0x1d, 0x0e, 0x30, 0x62, 0x08, 0x81, 0x5b, 0x80, 0xef, 0x5e, 0xc5, 0x76, 0x31, 0x2c, 0x1f, 0x2c, 0xa8, 0xc5, 0x0f, 0x0a, 0xd1 }, + { 0xc0, 0xc4, 0xdf, 0x2e, 0xe8, 0x39, 0xf3, 0x9a, 0xa3, 0x6f, 0xc1, 0xb1, 0x66, 0x33, 0x9f, 0x72, 0xdf, 0x4f, 0xdf, 0xf2, 0xec, 0x44, 0xf2, 0xd7, 0xd6, 0x32, 0x5b, 0xd8, 0xc7, 0x29, 0x72, 0x47 }, + { 0x2b, 0x46, 0x9c, 0xc7, 0x64, 0x54, 0x68, 0x6d, 0x34, 0xcd, 0xa8, 0xf6, 0xc3, 0x42, 0x6c, 0x68, 0x30, 0x6b, 0x0c, 0x86, 0xc7, 0xb8, 0xc2, 0x8c, 0x91, 0x89, 0xad, 0x23, 0x5b, 0xe1, 0x9d, 0x76 }, + { 0x89, 0xcf, 0xdc, 0x1e, 0x73, 0xd5, 0x1a, 0x36, 0xf8, 0x07, 0xff, 0xbc, 0x28, 0x4e, 0xff, 0x6a, 0xaf, 0xd8, 0xf2, 0xeb, 0xfe, 0x1b, 0x3a, 0x01, 0x44, 0x55, 0x4b, 0xc1, 0x49, 0x74, 0xa9, 0x1b }, + { 0x32, 0x3c, 0x62, 0xa3, 0x4c, 0xc0, 0xe2, 0x3a, 0xc1, 0xe5, 0x7b, 0x30, 0x59, 0xa6, 0xc4, 0x51, 0x4a, 0x3a, 0xff, 0x54, 0xb2, 0xcd, 0xed, 0x16, 0x40, 0x3d, 0xf2, 0x67, 0x21, 0xf0, 0x6e, 0x77 }, + { 0x49, 0x08, 0x3a, 0x0c, 0x40, 0x4e, 0x4e, 0x94, 0x5b, 0xad, 0x9b, 0xb8, 0x48, 0xcf, 0x3e, 0xa7, 0xec, 0xe1, 0x36, 0xed, 0xb6, 0x50, 0xa3, 0xbd, 0xbf, 0xca, 0x02, 0x9f, 0xe4, 0x11, 0x5b, 0xa0 }, + { 0x1a, 0x2a, 0x00, 0x9e, 0x9f, 0xcb, 0x39, 0xcc, 0xc8, 0x10, 0xcd, 0x9c, 0x8e, 0xb6, 0x05, 0xb1, 0x23, 0x47, 0x7b, 0x6a, 0x1e, 0xe2, 0xdc, 0x3e, 0xfe, 0x82, 0xd7, 0x2c, 0x18, 0xef, 0x2e, 0x58 }, + { 0x3e, 0x30, 0x80, 0x8c, 0xfe, 0xb7, 0xf7, 0x7d, 0x58, 0x09, 0x5c, 0x13, 0x07, 0x58, 0x08, 0x7e, 0xef, 0x11, 0x61, 0xb5, 0xa6, 0xea, 0x21, 0xdd, 0x27, 0xe7, 0xf4, 0x51, 0x38, 0x52, 0x89, 0xbe }, + { 0xb2, 0x77, 0x30, 0xbd, 0xdc, 0x39, 0xde, 0x78, 0x65, 0x45, 0xa6, 0xb2, 0xdb, 0x45, 0x13, 0x00, 0x6c, 0xff, 0x78, 0xa7, 0x2a, 0x27, 0x89, 0x4c, 0xff, 0xd3, 0x52, 0x2d, 0x71, 0x4e, 0xa7, 0x16 }, + { 0xec, 0x88, 0x16, 0x49, 0xcc, 0x51, 0xb8, 0x88, 0xb5, 0x2d, 0x2f, 0xaa, 0x15, 0x01, 0xb8, 0xaf, 0xfa, 0xa9, 0x57, 0x0d, 0xe0, 0x8e, 0x41, 0x28, 0x5b, 0x95, 0x7d, 0x9b, 0x94, 0x6a, 0xf6, 0x26 }, + { 0x84, 0x79, 0xb6, 0x99, 0x40, 0x61, 0xa7, 0x08, 0x70, 0x71, 0x6c, 0xf8, 0x8c, 0x65, 0xc7, 0xb6, 0x33, 0x50, 0xc7, 0x0f, 0x15, 0xbe, 0x6f, 0xa4, 0x61, 0x4d, 0x64, 0xa2, 0x15, 0x2e, 0xe3, 0xcd }, + { 0x2c, 0x06, 0x03, 0xa5, 0xd9, 0x74, 0x2e, 0x0d, 0x6b, 0x73, 0x55, 0x8c, 0x0f, 0x20, 0xa9, 0x06, 0xb1, 0x41, 0xd6, 0x0e, 0xe0, 0xcb, 0xb8, 0x09, 0x1a, 0x21, 0xff, 0x45, 0xde, 0x9f, 0x5f, 0x65 }, + { 0x5d, 0x37, 0xa4, 0x56, 0x3f, 0x0d, 0x86, 0xbe, 0x7a, 0x9d, 0x9f, 0x7c, 0xb2, 0x95, 0x8f, 0x43, 0xa0, 0x00, 0x06, 0x55, 0x78, 0x6d, 0x17, 0x18, 0xad, 0x74, 0x4b, 0xa8, 0xba, 0x3d, 0xaa, 0x25 }, + { 0xcc, 0x8a, 0xb6, 0x15, 0xea, 0x04, 0x65, 0x56, 0x54, 0xbb, 0x88, 0x78, 0x5a, 0xd2, 0x61, 0x8b, 0x19, 0x90, 0xc1, 0x8f, 0xdb, 0x27, 0xbe, 0xc0, 0x26, 0x12, 0xdb, 0xc2, 0xaf, 0x85, 0x93, 0x5e }, + { 0x7d, 0xb7, 0xd6, 0x0a, 0xf6, 0x27, 0x24, 0xbc, 0x74, 0xe4, 0x9f, 0xa6, 0x28, 0x8d, 0xce, 0x7f, 0x10, 0xdc, 0xe0, 0x81, 0xb2, 0x30, 0x9a, 0xba, 0x5e, 0x8a, 0xb1, 0x42, 0xd0, 0x84, 0xf6, 0xff }, + { 0x2d, 0x4f, 0x16, 0xcb, 0x08, 0xea, 0x01, 0xf3, 0x22, 0xae, 0x91, 0xa3, 0x74, 0xf4, 0x6d, 0x2b, 0x14, 0x9b, 0x99, 0x8b, 0x0d, 0xed, 0xc8, 0x1b, 0xba, 0x47, 0x6c, 0xb7, 0x31, 0x69, 0x39, 0x58 }, + { 0x51, 0xb2, 0x1a, 0xac, 0xae, 0x2b, 0xef, 0x19, 0x8e, 0xca, 0x3e, 0x06, 0x77, 0x2e, 0x24, 0xac, 0x07, 0x17, 0x80, 0x71, 0xe0, 0x86, 0x0e, 0xc9, 0x09, 0x33, 0xa9, 0xcb, 0xd0, 0xa4, 0x6e, 0xd9 }, + { 0xc1, 0x95, 0x38, 0x26, 0x50, 0x55, 0x0e, 0xf3, 0x6d, 0x53, 0x39, 0x2b, 0x11, 0x8f, 0xec, 0xfa, 0x79, 0x96, 0xc3, 0xad, 0x6b, 0x03, 0x71, 0xf2, 0x0a, 0x8f, 0x95, 0xcd, 0x91, 0x40, 0xa5, 0xd4 }, + { 0xfb, 0x2c, 0xd3, 0xfe, 0x85, 0xad, 0x72, 0x4b, 0xc3, 0xb2, 0x0c, 0x50, 0x50, 0xa9, 0x07, 0xc1, 0x22, 0xc9, 0x53, 0x18, 0xd5, 0xbc, 0x8d, 0x33, 0x27, 0xd4, 0x28, 0x0e, 0x21, 0xc5, 0xb2, 0x70 }, + { 0x6e, 0x6f, 0x49, 0x57, 0x8b, 0xc4, 0xf3, 0xe7, 0x55, 0x4a, 0xa9, 0x23, 0x42, 0x92, 0xd6, 0x08, 0xd8, 0xf7, 0x51, 0xc8, 0x8a, 0xc9, 0x65, 0x37, 0x4f, 0x2b, 0x23, 0xf2, 0x2c, 0x18, 0x98, 0xa7 }, + { 0x49, 0x07, 0x80, 0x52, 0xa5, 0x9f, 0xca, 0x9a, 0xf2, 0x24, 0x67, 0x0c, 0xac, 0xb9, 0x02, 0xf1, 0x0a, 0xe8, 0x0a, 0xe8, 0xc4, 0x9a, 0x89, 0x1b, 0x88, 0x3f, 0x73, 0xa8, 0x57, 0xd2, 0x89, 0x1d }, + { 0x46, 0xe0, 0x8f, 0xa8, 0xf2, 0x42, 0x9a, 0xd8, 0xb6, 0x9b, 0x2a, 0xc9, 0x06, 0x08, 0xc2, 0x6f, 0x9e, 0x45, 0x65, 0x8a, 0x86, 0x2d, 0x57, 0xfd, 0xa7, 0xd4, 0xd3, 0x5a, 0xa6, 0xb9, 0x72, 0x98 }, + { 0x93, 0x75, 0xb1, 0xff, 0xfd, 0x57, 0xa2, 0xcd, 0x6d, 0x3a, 0x33, 0xd4, 0xc7, 0x02, 0xb0, 0xba, 0xb5, 0xf3, 0xb6, 0x35, 0x0d, 0x95, 0x1b, 0x4f, 0x0c, 0xea, 0x40, 0x79, 0x45, 0x16, 0x3e, 0x48 }, + { 0x9e, 0xd4, 0x4c, 0xac, 0xea, 0x56, 0xab, 0xbe, 0xcb, 0x78, 0x76, 0xa7, 0xd8, 0x87, 0x66, 0xfc, 0x2e, 0xe0, 0x43, 0xb3, 0x69, 0xfb, 0x0a, 0xaf, 0x5d, 0x29, 0xd6, 0x7d, 0x0a, 0xea, 0x36, 0xa2 }, + { 0x94, 0x8a, 0xca, 0xa5, 0xa8, 0xa8, 0x44, 0x0d, 0x4d, 0x7a, 0x73, 0x97, 0xe7, 0x47, 0x84, 0xf3, 0x81, 0x87, 0xe1, 0xb2, 0x37, 0x00, 0xae, 0x29, 0xa6, 0x78, 0xc3, 0x1a, 0x60, 0x1d, 0x13, 0xc1 }, + { 0x01, 0x9a, 0x25, 0x5a, 0x28, 0x5d, 0xea, 0x68, 0x20, 0x1b, 0x20, 0xc0, 0x4e, 0xa3, 0xd4, 0x12, 0xf5, 0x33, 0x9c, 0xb9, 0x22, 0xfe, 0x5d, 0xfe, 0xbd, 0xc1, 0x87, 0x31, 0xdb, 0x8e, 0x9b, 0xa4 }, + { 0xb7, 0xcc, 0x1c, 0x62, 0xbc, 0x62, 0xcc, 0x3f, 0xb0, 0xaa, 0x7c, 0xba, 0x61, 0x1e, 0x03, 0xa2, 0x76, 0x8b, 0x6d, 0xe5, 0x0e, 0x80, 0x63, 0x85, 0x29, 0x23, 0xf8, 0x77, 0xda, 0xf9, 0x45, 0xd6 }, + { 0x87, 0x11, 0xc8, 0xac, 0x5a, 0xf3, 0xa8, 0xbb, 0x31, 0x33, 0x51, 0xa7, 0x68, 0x4c, 0x88, 0x78, 0xc1, 0xbc, 0xed, 0x94, 0xce, 0x12, 0xef, 0x81, 0x17, 0x02, 0xa6, 0xc7, 0x3a, 0x79, 0x12, 0xe4 }, + { 0x33, 0xca, 0xb9, 0x14, 0xdf, 0xe8, 0xae, 0xe0, 0xdc, 0xaa, 0xb2, 0x29, 0x29, 0xf2, 0x0c, 0x3d, 0xba, 0x22, 0x1c, 0x73, 0x21, 0xd4, 0x8e, 0x7f, 0x72, 0x36, 0xb6, 0xbf, 0x65, 0xc2, 0xf8, 0x34 }, + { 0xe5, 0xbc, 0xaf, 0x0d, 0xde, 0x3e, 0x00, 0x52, 0x2f, 0x61, 0x27, 0x77, 0x37, 0x3f, 0x08, 0xcd, 0x1c, 0x31, 0xa6, 0x5d, 0x50, 0x53, 0x02, 0x2f, 0x44, 0xc0, 0x94, 0xe9, 0x1b, 0xc6, 0xae, 0xdc }, + { 0xcf, 0x6b, 0x59, 0xce, 0x96, 0x5f, 0xdd, 0xf6, 0xb0, 0x29, 0xfa, 0xef, 0x65, 0x59, 0xc2, 0x93, 0xae, 0x7c, 0xe5, 0xec, 0xc7, 0x79, 0xb6, 0x87, 0xb9, 0xf3, 0x49, 0x3e, 0x64, 0x65, 0x58, 0xdd }, + { 0x6d, 0xf1, 0x3c, 0x6a, 0xe4, 0x34, 0x47, 0x13, 0x85, 0x16, 0x68, 0x1a, 0x50, 0xe5, 0x74, 0xbc, 0xe0, 0xa6, 0x8f, 0x3f, 0x14, 0x68, 0x5d, 0xf1, 0xe5, 0x04, 0x5b, 0x3a, 0xd1, 0x4b, 0x01, 0xd6 }, + { 0x97, 0x93, 0xea, 0x3d, 0x7d, 0x66, 0xc4, 0xf4, 0x37, 0x3b, 0xc1, 0x97, 0x09, 0xc9, 0xc5, 0x5d, 0xe5, 0x62, 0xde, 0x7e, 0x43, 0xa0, 0xb2, 0x33, 0x11, 0x7d, 0xc0, 0x6c, 0x55, 0xa6, 0xa4, 0x18 }, + { 0x02, 0x32, 0x50, 0x80, 0x99, 0x3c, 0xfa, 0x25, 0x37, 0x93, 0x11, 0xd5, 0x2e, 0x03, 0x1a, 0xb2, 0x7d, 0xc3, 0x06, 0xd7, 0x04, 0xc0, 0xd3, 0x3c, 0xcb, 0x6e, 0x32, 0x12, 0xcc, 0x08, 0x67, 0x4c }, + { 0xce, 0xa7, 0x08, 0xe1, 0xfd, 0x0a, 0x96, 0x03, 0x95, 0x42, 0xd9, 0x11, 0xc1, 0x6d, 0xf0, 0xc0, 0x00, 0x06, 0x2a, 0x20, 0xff, 0x42, 0x25, 0x60, 0x41, 0xfe, 0x35, 0xba, 0x08, 0x03, 0x99, 0x5e }, + { 0xa8, 0xf8, 0xbe, 0x4a, 0x4f, 0x87, 0x1c, 0x41, 0xc5, 0xb6, 0xc8, 0x29, 0x66, 0x99, 0x07, 0x07, 0x02, 0x7a, 0x09, 0xe8, 0x7e, 0x37, 0x28, 0x4c, 0x54, 0xe8, 0x2b, 0x58, 0x86, 0xc3, 0x3f, 0xb6 }, + { 0x47, 0xb6, 0x0e, 0x9e, 0x93, 0xeb, 0xf5, 0xae, 0xa2, 0x6d, 0x73, 0xd4, 0xba, 0xc8, 0x5a, 0xad, 0x39, 0xa5, 0xbe, 0x64, 0x54, 0x34, 0xd7, 0xeb, 0x90, 0x7a, 0xb4, 0xbe, 0xb9, 0x73, 0x88, 0x1b }, + { 0x8d, 0x7d, 0xed, 0x77, 0x15, 0xf4, 0x79, 0x20, 0x1b, 0xd8, 0x0c, 0x15, 0x21, 0x9f, 0xea, 0x6e, 0xb9, 0xae, 0xb2, 0x9d, 0x5d, 0x94, 0x20, 0xa3, 0x71, 0x8c, 0xf6, 0x60, 0x5c, 0x64, 0xc5, 0x6c }, + { 0xf2, 0x19, 0x2d, 0x9d, 0x51, 0x60, 0x22, 0x05, 0xcc, 0xde, 0x99, 0xfc, 0x5b, 0x18, 0x4d, 0x9d, 0x05, 0x19, 0x66, 0xd8, 0x6a, 0xbd, 0x61, 0x8f, 0xeb, 0x5c, 0x28, 0x8a, 0x59, 0xf4, 0xd2, 0x38 }, + { 0xa4, 0xbd, 0x01, 0x7a, 0x2b, 0xab, 0x8e, 0x78, 0x8c, 0x2d, 0xf1, 0x47, 0xe7, 0xf4, 0xf2, 0xee, 0x8f, 0xce, 0x8a, 0xe5, 0xfe, 0x4c, 0xe6, 0x16, 0x94, 0xcb, 0x8f, 0xf4, 0xe1, 0x00, 0x08, 0x15 }, + { 0xb2, 0x33, 0x51, 0x9b, 0x87, 0x23, 0x26, 0xf0, 0xfc, 0x9f, 0x9a, 0x30, 0x58, 0xf3, 0x7f, 0x61, 0xc5, 0x01, 0x1f, 0xf7, 0x3e, 0x18, 0x36, 0x48, 0xdf, 0xef, 0xef, 0xef, 0xbe, 0x26, 0x97, 0xdf }, + { 0xa2, 0x0a, 0xf0, 0x97, 0x37, 0x0c, 0x86, 0xfb, 0x28, 0x11, 0x5e, 0x9f, 0x18, 0x49, 0x1a, 0x84, 0xd7, 0x19, 0x14, 0x3a, 0x2f, 0xda, 0xe4, 0xf6, 0xa9, 0x59, 0x11, 0xa2, 0x26, 0x9a, 0x08, 0x12 }, + { 0x40, 0x34, 0x55, 0xd7, 0x4a, 0x4b, 0xe9, 0x90, 0xfb, 0xb5, 0x5d, 0x75, 0xc4, 0xa4, 0x04, 0x37, 0xa3, 0xd1, 0xf8, 0xa9, 0x05, 0xba, 0x89, 0xec, 0xfb, 0xc0, 0x32, 0xdf, 0x68, 0x4d, 0xda, 0xc5 }, + { 0x4b, 0xb6, 0xb4, 0xb0, 0x89, 0x13, 0xf2, 0x60, 0x88, 0x3b, 0xb8, 0xd0, 0x92, 0x8f, 0x25, 0x3e, 0x44, 0xc5, 0x20, 0xdc, 0xc1, 0xc8, 0x58, 0xe0, 0x08, 0x29, 0xca, 0xd0, 0xb3, 0x87, 0x9e, 0xe9 }, + { 0x57, 0xce, 0x4b, 0x96, 0xa1, 0x2b, 0xf1, 0xca, 0x26, 0x2c, 0x98, 0x33, 0x4f, 0x36, 0x70, 0xe1, 0x52, 0xa2, 0xfe, 0x28, 0xe7, 0xfd, 0xa8, 0x4f, 0xb7, 0x7c, 0xb3, 0x22, 0x9f, 0x19, 0x4b, 0xdd }, + { 0x70, 0xad, 0xc7, 0x0d, 0xd0, 0xa2, 0x9a, 0xee, 0x66, 0xb9, 0xe4, 0x03, 0x66, 0xd3, 0x10, 0x8e, 0x85, 0x20, 0x9c, 0x04, 0x30, 0xe8, 0x69, 0x74, 0x1e, 0x2b, 0x4d, 0xb3, 0x41, 0xf1, 0xdb, 0x96 }, + { 0x4f, 0x80, 0xee, 0x7d, 0x24, 0xe1, 0xfc, 0x73, 0x5a, 0x02, 0x85, 0x69, 0x07, 0x5b, 0x10, 0x8f, 0x82, 0x6c, 0x0c, 0xbc, 0x43, 0x93, 0x1f, 0x12, 0x96, 0xf7, 0x9c, 0x61, 0x70, 0x44, 0x56, 0xa6 }, + { 0x57, 0x18, 0x99, 0x32, 0x14, 0x1d, 0x23, 0xa2, 0x46, 0x0e, 0xdf, 0x52, 0xb7, 0xb7, 0x4d, 0x8f, 0x2f, 0x3c, 0x07, 0x77, 0x4d, 0xb1, 0xa3, 0x83, 0x46, 0x65, 0xed, 0xd0, 0xb9, 0x7a, 0x25, 0xba }, + { 0x7f, 0x02, 0xaa, 0x59, 0xc7, 0xbb, 0x9c, 0x68, 0xdd, 0x24, 0x3d, 0x00, 0x59, 0x40, 0x1c, 0x70, 0xb4, 0xbd, 0xd0, 0x33, 0x46, 0x4d, 0x0c, 0xcc, 0x46, 0x6a, 0xa1, 0x60, 0x8d, 0x54, 0x32, 0xc2 }, + { 0xad, 0x99, 0xed, 0x1c, 0xe9, 0x0b, 0xb4, 0xbb, 0x87, 0x18, 0x49, 0xee, 0x3d, 0x1f, 0x25, 0x34, 0x9c, 0x31, 0xb5, 0x4f, 0x19, 0x2b, 0xc1, 0xda, 0x65, 0x4d, 0x80, 0x50, 0xdd, 0x35, 0xf7, 0xc7 }, + { 0x80, 0x63, 0x59, 0xe2, 0x9b, 0x9c, 0x5a, 0xbe, 0xe0, 0xd0, 0xc1, 0x0b, 0xc2, 0x85, 0x5e, 0x2a, 0xd6, 0xed, 0xe3, 0x9a, 0x05, 0xe5, 0x47, 0xb0, 0x2a, 0xa0, 0x44, 0x80, 0x5a, 0xee, 0xb8, 0x09 }, + { 0x00, 0x14, 0xec, 0x7c, 0xc5, 0x71, 0x29, 0x3f, 0x45, 0xe8, 0x5f, 0x59, 0xf4, 0x8c, 0x85, 0x03, 0xbb, 0xe9, 0x20, 0xbc, 0x0d, 0x15, 0x4a, 0x2f, 0x0a, 0x99, 0x8f, 0xc3, 0x63, 0x0d, 0xb9, 0x4c }, + { 0xdd, 0xd7, 0xbe, 0x7d, 0xb8, 0xa3, 0xf1, 0x6f, 0x2a, 0xf8, 0x47, 0xf4, 0xc0, 0x32, 0xd4, 0x2e, 0xc1, 0xaa, 0xb5, 0x1e, 0xe8, 0x1c, 0xbb, 0x04, 0x5a, 0x0c, 0xf2, 0x16, 0xf8, 0xad, 0xae, 0xc9 }, + { 0x7b, 0xb9, 0x30, 0x2d, 0xd4, 0xf6, 0x25, 0x0f, 0x33, 0xd3, 0x86, 0x6f, 0xdc, 0x51, 0x32, 0x70, 0x83, 0x8e, 0x91, 0xd5, 0xfa, 0xfb, 0xab, 0x02, 0xb8, 0xb0, 0xfa, 0xc4, 0x1c, 0xdc, 0x89, 0x17 }, + { 0x1c, 0xa2, 0x9b, 0xe7, 0x4e, 0xd3, 0xcc, 0x44, 0xd0, 0x81, 0x68, 0x61, 0x24, 0x11, 0xa0, 0x9d, 0x9f, 0xb3, 0xf7, 0x13, 0x38, 0x3b, 0xef, 0x2e, 0xcc, 0x87, 0x79, 0x88, 0x73, 0x3d, 0xac, 0x25 }, + { 0xcc, 0x17, 0x23, 0x21, 0x4e, 0x75, 0xd7, 0xc1, 0xa5, 0x47, 0xad, 0x42, 0x77, 0x85, 0x03, 0x00, 0xa2, 0xfd, 0x03, 0x24, 0x5f, 0x4d, 0x14, 0x0e, 0xd7, 0x08, 0x21, 0xf4, 0xae, 0x43, 0x28, 0xaa }, + { 0x8a, 0xaf, 0xae, 0x77, 0x83, 0x12, 0xd3, 0xa5, 0x46, 0xad, 0x97, 0x23, 0x31, 0x7d, 0x21, 0x0d, 0x6c, 0x35, 0xcc, 0xa3, 0xa6, 0x56, 0x10, 0x1c, 0x5a, 0xc7, 0x41, 0x5a, 0xbc, 0x59, 0xad, 0x2b }, + { 0xa3, 0xd6, 0xf2, 0xdd, 0x71, 0x96, 0xa8, 0x3f, 0xf7, 0x69, 0x35, 0x23, 0x86, 0x0f, 0xee, 0xb5, 0x16, 0x3c, 0x35, 0x7e, 0xee, 0xad, 0xf6, 0x24, 0x6c, 0x21, 0xf3, 0x3e, 0x59, 0x8e, 0x4a, 0xaa }, + { 0x3f, 0xe6, 0xfc, 0xf8, 0x63, 0x88, 0xfb, 0x65, 0x0b, 0x28, 0x1f, 0xb7, 0xc0, 0x81, 0x61, 0x4d, 0x85, 0xa7, 0x89, 0xd7, 0x34, 0x44, 0xe5, 0x64, 0x22, 0x35, 0x89, 0x42, 0xdf, 0x5e, 0x1a, 0x6f }, + { 0xec, 0xd8, 0xab, 0xa9, 0x5f, 0xb1, 0xdc, 0xb5, 0x08, 0x2a, 0xb5, 0xa2, 0x22, 0x64, 0xc4, 0x54, 0x3e, 0x32, 0x79, 0x59, 0x78, 0xb9, 0xfb, 0x6b, 0x5c, 0x76, 0x66, 0x35, 0xa5, 0xa2, 0xbb, 0xba }, + { 0x2e, 0xab, 0x27, 0x1b, 0x58, 0xfe, 0xd4, 0x1b, 0xa9, 0x2f, 0x50, 0x38, 0x93, 0xb1, 0x00, 0xaf, 0x2c, 0x8f, 0xfd, 0xbe, 0x90, 0x18, 0x21, 0x41, 0xd6, 0x4f, 0x06, 0x52, 0xc6, 0xe7, 0xd5, 0x6b } +}}; +// clang-format on + +} // namespace bb::srs diff --git a/barretenberg/cpp/src/barretenberg/srs/factories/crs_factory.test.cpp b/barretenberg/cpp/src/barretenberg/srs/factories/crs_factory.test.cpp index b79ead7c4c13..fa9f74fcceaf 100644 --- a/barretenberg/cpp/src/barretenberg/srs/factories/crs_factory.test.cpp +++ b/barretenberg/cpp/src/barretenberg/srs/factories/crs_factory.test.cpp @@ -1,8 +1,10 @@ #include "barretenberg/api/file_io.hpp" #include "barretenberg/common/serialize.hpp" +#include "barretenberg/crypto/sha256/sha256.hpp" #include "barretenberg/ecc/curves/bn254/bn254.hpp" #include "barretenberg/ecc/curves/bn254/pairing.hpp" #include "barretenberg/srs/factories/bn254_crs_data.hpp" +#include "barretenberg/srs/factories/bn254_g1_chunk_hashes.hpp" #include "barretenberg/srs/factories/get_bn254_crs.hpp" #include "barretenberg/srs/factories/mem_bn254_crs_factory.hpp" #include "barretenberg/srs/factories/mem_grumpkin_crs_factory.hpp" @@ -10,6 +12,7 @@ #include "barretenberg/srs/global_crs.hpp" #include #include +#include #include using namespace bb; @@ -122,3 +125,24 @@ TEST(CrsFactory, Bn254Fallback) fs::remove_all(temp_crs_path); } + +TEST(CrsFactory, Bn254ChunkHashFirstChunk) +{ + // Verify that the first 8MB chunk of the cached CRS matches the embedded hash + auto data = read_file(bb::srs::bb_crs_path() / "bn254_g1.dat", bb::srs::SRS_CHUNK_SIZE_BYTES); + auto chunk = std::span(data.data(), data.size()); + auto hash = bb::crypto::sha256(chunk); + EXPECT_EQ(hash, bb::srs::BN254_G1_CHUNK_HASHES[0]); +} + +TEST(CrsFactory, Bn254ChunkHashCorruptionDetected) +{ + // Verify that corrupted data fails chunk hash verification + auto data = read_file(bb::srs::bb_crs_path() / "bn254_g1.dat", bb::srs::SRS_CHUNK_SIZE_BYTES); + + // Corrupt a byte in the middle of the chunk + data[bb::srs::SRS_CHUNK_SIZE_BYTES / 2] ^= 0xFF; + auto chunk = std::span(data.data(), data.size()); + auto hash = bb::crypto::sha256(chunk); + EXPECT_NE(hash, bb::srs::BN254_G1_CHUNK_HASHES[0]); +} diff --git a/barretenberg/cpp/src/barretenberg/srs/factories/get_bn254_crs.cpp b/barretenberg/cpp/src/barretenberg/srs/factories/get_bn254_crs.cpp index 8e08f48deace..ce6c4bebfc95 100644 --- a/barretenberg/cpp/src/barretenberg/srs/factories/get_bn254_crs.cpp +++ b/barretenberg/cpp/src/barretenberg/srs/factories/get_bn254_crs.cpp @@ -2,10 +2,16 @@ #include "barretenberg/api/file_io.hpp" #include "barretenberg/common/flock.hpp" #include "barretenberg/common/serialize.hpp" +#include "barretenberg/common/thread.hpp" +#include "barretenberg/crypto/sha256/sha256.hpp" #include "barretenberg/ecc/curves/bn254/g1.hpp" #include "barretenberg/ecc/curves/bn254/g2.hpp" #include "bn254_crs_data.hpp" +#include "bn254_g1_chunk_hashes.hpp" #include "http_download.hpp" +#include +#include +#include namespace { // Primary CRS URL (Cloudflare R2) @@ -13,6 +19,77 @@ constexpr const char* CRS_PRIMARY_URL = "http://crs.aztec-cdn.foundation/g1.dat" // Fallback CRS URL (AWS S3) constexpr const char* CRS_FALLBACK_URL = "http://crs.aztec-labs.com/g1.dat"; +/** + * @brief Round num_points up to the next chunk boundary so every downloaded byte is hash-verified. + * Capped at SRS_TOTAL_POINTS (the full SRS size). + */ +size_t round_up_to_chunk_boundary(size_t num_points) +{ + if (num_points >= bb::srs::SRS_TOTAL_POINTS) { + return bb::srs::SRS_TOTAL_POINTS; + } + size_t rounded = ((num_points + bb::srs::SRS_CHUNK_SIZE_POINTS - 1) / bb::srs::SRS_CHUNK_SIZE_POINTS) * + bb::srs::SRS_CHUNK_SIZE_POINTS; + return std::min(rounded, bb::srs::SRS_TOTAL_POINTS); +} + +/** + * @brief Verify downloaded CRS data against embedded SHA-256 chunk hashes. + * + * @details Verifies all complete 8MB chunks in parallel across available cores with early-exit + * on first mismatch. Also verifies the partial last chunk (if present) so every downloaded byte + * is covered. Uses std::span to avoid per-chunk memory allocation. + */ +void verify_bn254_crs_integrity(const std::vector& data) +{ + size_t num_full_chunks = data.size() / bb::srs::SRS_CHUNK_SIZE_BYTES; + size_t chunks_to_verify = std::min(num_full_chunks, static_cast(bb::srs::SRS_NUM_FULL_CHUNKS)); + + // Sentinel value means "no failure found yet" + const size_t sentinel = bb::srs::SRS_NUM_CHUNKS; + std::atomic failed_chunk{ sentinel }; + + // Verify all complete 8MB chunks in parallel + if (chunks_to_verify > 0) { + bb::parallel_for([&](const bb::ThreadChunk& tc) { + for (size_t i : tc.range(chunks_to_verify)) { + // Early exit if another thread already found a mismatch + if (failed_chunk.load(std::memory_order_relaxed) < sentinel) { + return; + } + size_t offset = i * bb::srs::SRS_CHUNK_SIZE_BYTES; + auto chunk = std::span(data.data() + offset, bb::srs::SRS_CHUNK_SIZE_BYTES); + auto hash = bb::crypto::sha256(chunk); + if (hash != bb::srs::BN254_G1_CHUNK_HASHES[i]) { + size_t expected = sentinel; + failed_chunk.compare_exchange_strong(expected, i, std::memory_order_relaxed); + } + } + }); + } + + // Verify partial last chunk (e.g. the 64-byte tail of the full CRS) + size_t tail_offset = chunks_to_verify * bb::srs::SRS_CHUNK_SIZE_BYTES; + size_t tail_size = data.size() - tail_offset; + if (tail_size > 0 && chunks_to_verify < bb::srs::SRS_NUM_CHUNKS) { + auto tail = std::span(data.data() + tail_offset, tail_size); + auto hash = bb::crypto::sha256(tail); + if (hash != bb::srs::BN254_G1_CHUNK_HASHES[chunks_to_verify]) { + size_t expected = sentinel; + failed_chunk.compare_exchange_strong(expected, chunks_to_verify, std::memory_order_relaxed); + } + } + + size_t bad = failed_chunk.load(); + if (bad < sentinel) { + size_t offset = bad * bb::srs::SRS_CHUNK_SIZE_BYTES; + throw_or_abort("CRS integrity check failed: SHA-256 mismatch at chunk " + std::to_string(bad) + " (bytes " + + std::to_string(offset) + "+)"); + } + + vinfo("verified ", chunks_to_verify + (tail_size > 0 ? 1 : 0), " BN254 G1 CRS chunks via SHA-256"); +} + std::vector download_bn254_g1_data(size_t num_points, const std::string& primary_url, const std::string& fallback_url) @@ -40,19 +117,14 @@ std::vector download_bn254_g1_data(size_t num_points, throw_or_abort("Downloaded g1 data is too small"); } - // Verify first element matches our expected point. + // Quick sanity check: verify the first G1 point is the expected generator auto first_element = from_buffer(data, 0); if (first_element != bb::srs::BN254_G1_FIRST_ELEMENT) { throw_or_abort("Downloaded BN254 G1 CRS first element does not match expected point."); } - // Verify second element if we have enough data - if (data.size() >= 2 * sizeof(bb::g1::affine_element)) { - auto second_element = from_buffer(data, sizeof(bb::g1::affine_element)); - if (second_element != bb::srs::get_bn254_g1_second_element()) { - throw_or_abort("Downloaded BN254 G1 CRS second element does not match expected point."); - } - } + // Full integrity verification: SHA-256 chunk hashes in parallel + verify_bn254_crs_integrity(data); return data; } @@ -108,8 +180,10 @@ std::vector get_bn254_g1_data(const std::filesystem::path& p return points; } - vinfo("downloading bn254 crs..."); - auto data = download_bn254_g1_data(num_points, primary_url, fallback_url); + // Round up to chunk boundary so every downloaded byte is hash-verified + size_t download_points = round_up_to_chunk_boundary(num_points); + vinfo("downloading bn254 crs (", num_points, " points requested, downloading ", download_points, ")..."); + auto data = download_bn254_g1_data(download_points, primary_url, fallback_url); write_file(g1_path, data); auto points = std::vector(num_points);