diff --git a/barretenberg/cpp/barretenberg_srs_test_crs_bn254/bn254_g1.dat b/barretenberg/cpp/barretenberg_srs_test_crs_bn254/bn254_g1.dat new file mode 100644 index 000000000000..55ee516a4fc5 Binary files /dev/null and b/barretenberg/cpp/barretenberg_srs_test_crs_bn254/bn254_g1.dat differ diff --git a/barretenberg/cpp/barretenberg_srs_test_crs_bn254/crs.lock b/barretenberg/cpp/barretenberg_srs_test_crs_bn254/crs.lock new file mode 100644 index 000000000000..e69de29bb2d1 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_crs_hashes.hpp b/barretenberg/cpp/src/barretenberg/srs/factories/bn254_crs_hashes.hpp new file mode 100644 index 000000000000..cc0cacc7ca53 --- /dev/null +++ b/barretenberg/cpp/src/barretenberg/srs/factories/bn254_crs_hashes.hpp @@ -0,0 +1,347 @@ +#pragma once +#include "barretenberg/common/thread.hpp" +#include "barretenberg/common/throw_or_abort.hpp" +#include "barretenberg/crypto/sha256/sha256.hpp" +#include +#include +#include +#include +#include +#include +#include + +namespace bb::srs { + +/** + * @brief SHA256 hashes for integrity verification of downloaded BN254 CRS G1 data. + * + * @details The CRS file is divided into 8MB (8,388,608 byte) chunks. Each entry contains + * the SHA256 hash of the corresponding chunk. Downloads are rounded up to 8MB boundaries + * so that every downloaded chunk can be fully verified. + * + * Source file: bn254_g1.dat (2147483712 bytes, 33554433 G1 points) + * Chunk size: 8388608 bytes (131072 points per chunk) + * Total chunks: 257 (256 full + 1 partial of 64 bytes) + * + * Regenerate with: barretenberg/scripts/generate_crs_hashes.sh + */ +constexpr size_t CRS_HASH_CHUNK_SIZE = 8388608; +constexpr size_t CRS_NUM_CHUNK_HASHES = 257; +// Number of full 8MB chunks in the CRS (the last chunk is only 64 bytes). +constexpr size_t CRS_NUM_FULL_CHUNKS = 256; + +// clang-format off +inline const std::array BN254_CRS_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 + +/** + * @brief Verify downloaded CRS data against embedded SHA256 chunk hashes. + * + * @details Verifies the integrity of downloaded CRS data by checking SHA256 hashes + * of each 8MB chunk in parallel across available cores. Any trailing bytes smaller + * than a chunk are skipped. + * This provides integrity verification for CRS data downloaded over HTTP without + * requiring SSL/TLS. + * + * @param data The downloaded CRS data bytes (must be a multiple of CRS_HASH_CHUNK_SIZE) + * @throws If the data is not chunk-aligned or any chunk hash does not match + */ +inline void verify_bn254_crs_integrity(const std::vector& data) +{ + // Verify all complete 8MB chunks. Any trailing bytes smaller than a chunk are + // not covered by chunk hashes (the full CRS has a 64-byte remainder after 256 + // full chunks) and are skipped. + size_t num_full_chunks = data.size() / CRS_HASH_CHUNK_SIZE; + size_t chunks_to_verify = std::min(num_full_chunks, CRS_NUM_CHUNK_HASHES); + if (chunks_to_verify == 0) { + return; + } + + // Track a failing chunk index across threads. + std::atomic failed_chunk{ chunks_to_verify }; // sentinel = no failure + + parallel_for([&](const 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) < chunks_to_verify) { + return; + } + size_t offset = i * CRS_HASH_CHUNK_SIZE; + auto chunk = std::span(data.data() + offset, CRS_HASH_CHUNK_SIZE); + auto hash = crypto::sha256(chunk); + if (hash != BN254_CRS_CHUNK_HASHES[i]) { + // Record this failure (only the first CAS wins). + size_t expected = chunks_to_verify; + failed_chunk.compare_exchange_strong(expected, i, std::memory_order_relaxed); + } + } + }); + + size_t bad = failed_chunk.load(); + if (bad < chunks_to_verify) { + size_t offset = bad * CRS_HASH_CHUNK_SIZE; + throw_or_abort("CRS integrity check failed: SHA256 mismatch at chunk " + std::to_string(bad) + + " (bytes " + std::to_string(offset) + "-" + + std::to_string(offset + CRS_HASH_CHUNK_SIZE - 1) + ")"); + } +} + +} // 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..f1eb3d8d1c22 100644 --- a/barretenberg/cpp/src/barretenberg/srs/factories/crs_factory.test.cpp +++ b/barretenberg/cpp/src/barretenberg/srs/factories/crs_factory.test.cpp @@ -3,6 +3,7 @@ #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_crs_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" @@ -122,3 +123,21 @@ TEST(CrsFactory, Bn254Fallback) fs::remove_all(temp_crs_path); } + +TEST(CrsFactory, Bn254HashVerification) +{ + // Verify whatever CRS data we have on disk against the embedded chunk hashes. + auto g1_path = bb::srs::bb_crs_path() / "bn254_g1.dat"; + size_t file_size = get_file_size(g1_path); + + // Round down to a whole number of 8MB chunks (the verify function requires alignment). + size_t verifiable_size = (file_size / bb::srs::CRS_HASH_CHUNK_SIZE) * bb::srs::CRS_HASH_CHUNK_SIZE; + ASSERT_GT(verifiable_size, 0) << "Need at least one 8MB chunk of CRS data on disk"; + + auto data = read_file(g1_path, verifiable_size); + EXPECT_NO_THROW(bb::srs::verify_bn254_crs_integrity(data)); + + // Corrupt a byte and verify that hash check catches it + data[100] ^= 0xFF; + EXPECT_ANY_THROW(bb::srs::verify_bn254_crs_integrity(data)); +} 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..f374120004be 100644 --- a/barretenberg/cpp/src/barretenberg/srs/factories/get_bn254_crs.cpp +++ b/barretenberg/cpp/src/barretenberg/srs/factories/get_bn254_crs.cpp @@ -1,10 +1,12 @@ #include "get_bn254_crs.hpp" #include "barretenberg/api/file_io.hpp" +#include #include "barretenberg/common/flock.hpp" #include "barretenberg/common/serialize.hpp" #include "barretenberg/ecc/curves/bn254/g1.hpp" #include "barretenberg/ecc/curves/bn254/g2.hpp" #include "bn254_crs_data.hpp" +#include "bn254_crs_hashes.hpp" #include "http_download.hpp" namespace { @@ -17,7 +19,19 @@ std::vector download_bn254_g1_data(size_t num_points, const std::string& primary_url, const std::string& fallback_url) { - size_t g1_end = (num_points * sizeof(bb::g1::affine_element)) - 1; + // Round up download size to next 8MB chunk boundary so every downloaded chunk + // can be fully verified against embedded SHA256 hashes. + // Cap at 256 full chunks to avoid requesting past end-of-file (the full CRS has + // 256 full 8MB chunks + a 64-byte remainder that can't fill another chunk). + constexpr size_t points_per_chunk = bb::srs::CRS_HASH_CHUNK_SIZE / sizeof(bb::g1::affine_element); + constexpr size_t max_aligned_points = bb::srs::CRS_NUM_FULL_CHUNKS * points_per_chunk; + size_t aligned_points = ((num_points + points_per_chunk - 1) / points_per_chunk) * points_per_chunk; + if (aligned_points > max_aligned_points) { + aligned_points = max_aligned_points; + } + // Request enough bytes for whichever is larger: the chunk-aligned amount or the actual request. + size_t download_points = std::max(aligned_points, num_points); + size_t g1_end = (download_points * sizeof(bb::g1::affine_element)) - 1; // Try primary URL first, with fallback on failure. // Note: WASM is compiled with -fno-exceptions, so try/catch is not available. @@ -40,19 +54,15 @@ 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. + // Verify first element matches the expected generator point (quick sanity check for all download sizes). 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."); - } - } + // Verify integrity of all complete 8MB chunks against embedded SHA256 hashes. + // This protects against man-in-the-middle attacks on HTTP downloads without requiring SSL/TLS. + bb::srs::verify_bn254_crs_integrity(data); return data; } diff --git a/barretenberg/scripts/generate_crs_hashes.sh b/barretenberg/scripts/generate_crs_hashes.sh new file mode 100755 index 000000000000..9bbcbd466742 --- /dev/null +++ b/barretenberg/scripts/generate_crs_hashes.sh @@ -0,0 +1,162 @@ +#!/usr/bin/env bash +# Generate SHA256 chunk hashes for BN254 CRS G1 data. +# Outputs a C++ header file (bn254_crs_hashes.hpp) with embedded hashes. +# +# Usage: ./generate_crs_hashes.sh [crs_file] [output_file] +# crs_file: Path to bn254_g1.dat (default: downloads from CDN) +# output_file: Output header path (default: stdout) +# +# Requirements: python3, curl (if downloading) + +set -euo pipefail + +CRS_FILE="${1:-}" +OUTPUT_FILE="${2:-}" +CHUNK_SIZE=8388608 # 8MB + +# Download CRS if not provided +if [ -z "$CRS_FILE" ]; then + CRS_FILE=$(mktemp /tmp/bn254_g1_XXXXXX.dat) + trap 'rm -f "$CRS_FILE"' EXIT + + # Download 2^25 + 1 points = 33,554,433 * 64 bytes + NUM_BYTES=$((33554433 * 64)) + END_BYTE=$((NUM_BYTES - 1)) + + PRIMARY_URL="http://crs.aztec-cdn.foundation/g1.dat" + FALLBACK_URL="http://crs.aztec-labs.com/g1.dat" + + echo "Downloading BN254 CRS G1 data ($NUM_BYTES bytes)..." >&2 + if ! curl -f --range "0-$END_BYTE" "$PRIMARY_URL" -o "$CRS_FILE" 2>/dev/null; then + echo "Primary download failed, trying fallback..." >&2 + curl -f --range "0-$END_BYTE" "$FALLBACK_URL" -o "$CRS_FILE" + fi + echo "Download complete." >&2 +fi + +if [ ! -f "$CRS_FILE" ]; then + echo "Error: CRS file not found: $CRS_FILE" >&2 + exit 1 +fi + +python3 -c " +import hashlib, sys, os + +CHUNK_SIZE = $CHUNK_SIZE +crs_file = '$CRS_FILE' +hashes = [] + +with open(crs_file, 'rb') as f: + while True: + chunk = f.read(CHUNK_SIZE) + if not chunk: + break + hashes.append(hashlib.sha256(chunk).digest()) + +file_size = os.path.getsize(crs_file) +full_chunks = file_size // CHUNK_SIZE +partial_size = file_size % CHUNK_SIZE +points_per_chunk = CHUNK_SIZE // 64 + +out = sys.stdout +out.write('#pragma once\n') +out.write('#include \"barretenberg/common/thread.hpp\"\n') +out.write('#include \"barretenberg/common/throw_or_abort.hpp\"\n') +out.write('#include \"barretenberg/crypto/sha256/sha256.hpp\"\n') +out.write('#include \n') +out.write('#include \n') +out.write('#include \n') +out.write('#include \n') +out.write('#include \n') +out.write('#include \n') +out.write('#include \n') +out.write('\n') +out.write('namespace bb::srs {\n') +out.write('\n') +out.write('/**\n') +out.write(' * @brief SHA256 hashes for integrity verification of downloaded BN254 CRS G1 data.\n') +out.write(' *\n') +out.write(' * @details The CRS file is divided into 8MB (8,388,608 byte) chunks. Each entry contains\n') +out.write(' * the SHA256 hash of the corresponding chunk. Downloads are rounded up to 8MB boundaries\n') +out.write(' * so that every downloaded chunk can be fully verified.\n') +out.write(' *\n') +out.write(f' * Source file: bn254_g1.dat ({file_size} bytes, {file_size // 64} G1 points)\n') +out.write(f' * Chunk size: {CHUNK_SIZE} bytes ({points_per_chunk} points per chunk)\n') +out.write(f' * Total chunks: {len(hashes)} ({full_chunks} full + 1 partial of {partial_size} bytes)\n') +out.write(' *\n') +out.write(' * Regenerate with: barretenberg/scripts/generate_crs_hashes.sh\n') +out.write(' */\n') +out.write(f'constexpr size_t CRS_HASH_CHUNK_SIZE = {CHUNK_SIZE};\n') +out.write(f'constexpr size_t CRS_NUM_CHUNK_HASHES = {len(hashes)};\n') +out.write(f'// Number of full {CHUNK_SIZE // (1024*1024)}MB chunks in the CRS (the last chunk is only {partial_size} bytes).\n') +out.write(f'constexpr size_t CRS_NUM_FULL_CHUNKS = {full_chunks};\n') +out.write('\n') +out.write('// clang-format off\n') +out.write(f'inline const std::array BN254_CRS_CHUNK_HASHES = {{{{\n') +for i, h in enumerate(hashes): + hex_bytes = ', '.join(f'0x{b:02x}' for b in h) + comma = ',' if i < len(hashes) - 1 else '' + out.write(f' {{ {hex_bytes} }}{comma}\n') +out.write('}};\n') +out.write('// clang-format on\n') +out.write('\n') +out.write('/**\n') +out.write(' * @brief Verify downloaded CRS data against embedded SHA256 chunk hashes.\n') +out.write(' *\n') +out.write(' * @details Verifies the integrity of downloaded CRS data by checking SHA256 hashes\n') +out.write(' * of each 8MB chunk in parallel across available cores. The data must be aligned to\n') +out.write(' * the 8MB chunk size. Any trailing bytes smaller than a chunk are skipped.\n') +out.write(' * This provides integrity verification for CRS data downloaded over HTTP without\n') +out.write(' * requiring SSL/TLS.\n') +out.write(' *\n') +out.write(' * @param data The downloaded CRS data bytes (must be a multiple of CRS_HASH_CHUNK_SIZE)\n') +out.write(' * @throws If the data is not chunk-aligned or any chunk hash does not match\n') +out.write(' */\n') +out.write('inline void verify_bn254_crs_integrity(const std::vector& data)\n') +out.write('{\n') +out.write(' // Verify all complete 8MB chunks. Any trailing bytes smaller than a chunk are\n') +out.write(' // not covered by chunk hashes (the full CRS has a 64-byte remainder after 256\n') +out.write(' // full chunks) and are skipped.\n') +out.write(' size_t num_full_chunks = data.size() / CRS_HASH_CHUNK_SIZE;\n') +out.write(' size_t chunks_to_verify = std::min(num_full_chunks, CRS_NUM_CHUNK_HASHES);\n') +out.write(' if (chunks_to_verify == 0) {\n') +out.write(' return;\n') +out.write(' }\n') +out.write('\n') +out.write(' // Track the first failing chunk index across threads.\n') +out.write(' std::atomic failed_chunk{ chunks_to_verify }; // sentinel = no failure\n') +out.write('\n') +out.write(' parallel_for([&](const ThreadChunk& tc) {\n') +out.write(' for (size_t i : tc.range(chunks_to_verify)) {\n') +out.write(' // Early exit if another thread already found a mismatch.\n') +out.write(' if (failed_chunk.load(std::memory_order_relaxed) < chunks_to_verify) {\n') +out.write(' return;\n') +out.write(' }\n') +out.write(' size_t offset = i * CRS_HASH_CHUNK_SIZE;\n') +out.write(' auto chunk = std::span(data.data() + offset, CRS_HASH_CHUNK_SIZE);\n') +out.write(' auto hash = crypto::sha256(chunk);\n') +out.write(' if (hash != BN254_CRS_CHUNK_HASHES[i]) {\n') +out.write(' // Record this failure (only the first CAS wins).\n') +out.write(' size_t expected = chunks_to_verify;\n') +out.write(' failed_chunk.compare_exchange_strong(expected, i, std::memory_order_relaxed);\n') +out.write(' }\n') +out.write(' }\n') +out.write(' });\n') +out.write('\n') +out.write(' size_t bad = failed_chunk.load();\n') +out.write(' if (bad < chunks_to_verify) {\n') +out.write(' size_t offset = bad * CRS_HASH_CHUNK_SIZE;\n') +out.write(' throw_or_abort(\"CRS integrity check failed: SHA256 mismatch at chunk \" + std::to_string(bad) +\n') +out.write(' \" (bytes \" + std::to_string(offset) + \"-\" +\n') +out.write(' std::to_string(offset + CRS_HASH_CHUNK_SIZE - 1) + \")\");\n') +out.write(' }\n') +out.write('}\n') +out.write('\n') +out.write('} // namespace bb::srs\n') + +print(f'Generated {len(hashes)} chunk hashes for {file_size} bytes', file=sys.stderr) +" ${OUTPUT_FILE:+> "$OUTPUT_FILE"} + +if [ -n "$OUTPUT_FILE" ]; then + echo "Written to: $OUTPUT_FILE" >&2 +fi