use crate::v103::{cityhash_103_128, cityhash_103_128_with_seed};
use std::vec::Vec;
const K_DATA_SIZE: usize = 1 << 20;
const K_TEST_SIZE: usize = 300;
const K0: u64 = 0xc3a5c85c97cb3127;
fn setup() -> Vec<u8> {
let mut out = vec![0u8; K_DATA_SIZE];
let mut a = 9u64;
let mut b = 777u64;
for i in 0..K_DATA_SIZE {
a = (a ^ (a >> 41)).wrapping_mul(K0).wrapping_add(b);
b = (b ^ (b >> 41)).wrapping_mul(K0).wrapping_add(i as u64);
out[i as usize] = (b >> 37) as u8;
}
out
}
fn test_standard_iter(expected: &[u64; 15], input: &[u8]) {
println!("running test of length {}", input.len());
let u = cityhash_103_128(input);
let v = cityhash_103_128_with_seed(input, (1234567u64, K0));
assert_eq!(expected[3], (u >> 64) as u64);
assert_eq!(expected[4], u as u64);
assert_eq!(expected[5], (v >> 64) as u64);
assert_eq!(expected[6], v as u64);
}
#[test]
fn test_standard() {
let data = setup();
for i in 0..K_TEST_SIZE - 1 {
test_standard_iter(&TEST_DATA[i], &data[i * i..i * i + i]);
}
}
const TEST_DATA: &[[u64; 15]] = &[
[
0x9ae16a3b2f90404f,
0x75106db890237a4a,
0x3feac5f636039766,
0x3df09dfc64c09a2b,
0x3cb540c392e51e29,
0x6b56343feac0663,
0x5b7bc50fd8e8ad92,
0x3df09dfc64c09a2b,
0x3cb540c392e51e29,
0x6b56343feac0663,
0x5b7bc50fd8e8ad92,
0x889f555a0f5b2dc0,
0x7767800902c8a8ce,
0xbcd2a808f4cb4a44,
0xe9024dba8f94f2f3,
],
[
0x75e9dee28ded761d,
0x931992c1b14334c5,
0x245eeb25ba2c172e,
0x1290f0e8a5caa74d,
0xca4c6bf7583f5cda,
0xe1d60d51632c536d,
0xcbc54a1db641910a,
0x1290f0e8a5caa74d,
0xca4c6bf7583f5cda,
0xe1d60d51632c536d,
0xcbc54a1db641910a,
0x9866d68d17c2c08e,
0x8d84ba63eb4d020a,
0xdf0ad99c78cbce44,
0x7c98593ef62573ed,
],
[
0x75de892fdc5ba914,
0xf89832e71f764c86,
0x39a82df1f278a297,
0xb4af8ae673acb930,
0x992b7acb203d8885,
0x57b533f3f8b94d50,
0xbbb69298a5dcf1a1,
0xb4af8ae673acb930,
0x992b7acb203d8885,
0x57b533f3f8b94d50,
0xbbb69298a5dcf1a1,
0x433495196af9ac4f,
0x53445c0896ae1fe6,
0xf7b939315f6fb56f,
0xac1b05e5a2e0335e,
],
[
0x69cfe9fca1cc683a,
0xe65f2a81e19b8067,
0x20575ea6370a9d14,
0x8f52532fc6f005b7,
0x4ebe60df371ec129,
0xc6ef8a7f8deb8116,
0x83df17e3c9bb9a67,
0x8f52532fc6f005b7,
0x4ebe60df371ec129,
0xc6ef8a7f8deb8116,
0x83df17e3c9bb9a67,
0x6a0aaf51016e19cd,
0xfb0d1e89f39dbf6a,
0xc73095102872943a,
0x405ea97456c28a75,
],
[
0x675b04c582a34966,
0x53624b5ef8cd4f45,
0xc412e0931ac8c9b1,
0x798637e677c65a3,
0x83e3b06adc4cd3ff,
0xf3e76e8a7135852f,
0x111e66cfbb05366d,
0x798637e677c65a3,
0x83e3b06adc4cd3ff,
0xf3e76e8a7135852f,
0x111e66cfbb05366d,
0x29c4f84aa48e8682,
0xb77a8685750c94d0,
0x7cab65571969123f,
0xfb1dbd79f68a8519,
],
[
0x46fa817397ea8b68,
0xcc960c1c15ce2d20,
0xe5f9f947bafb9e79,
0xb342cdf0d7ac4b2a,
0x66914d44b373b232,
0x261194e76cb43966,
0x45a0010190365048,
0xb342cdf0d7ac4b2a,
0x66914d44b373b232,
0x261194e76cb43966,
0x45a0010190365048,
0xe2586947ca8eac83,
0x6650daf2d9677cdc,
0x2f9533d8f4951a9,
0xa5bdc0f3edc4bd7b,
],
[
0x406e959cdffadec7,
0xe80dc125dca28ed1,
0xe5beb146d4b79a21,
0xe66d5c1bb441541a,
0xd14961bc1fd265a2,
0xe4cc669d4fc0577f,
0xabf4a51e36da2702,
0xe66d5c1bb441541a,
0xd14961bc1fd265a2,
0xe4cc669d4fc0577f,
0xabf4a51e36da2702,
0x21236d12df338f75,
0x54b8c4a5ad2ae4a4,
0x202d50ef9c2d4465,
0x5ecc6a128e51a797,
],
[
0x46663908b4169b95,
0x4e7e90b5c426bf1d,
0xdc660b58daaf8b2c,
0xb298265ebd1bd55f,
0x4a5f6838b55c0b08,
0xfc003c97aa05d397,
0x2fb5adad3380c3bc,
0xb298265ebd1bd55f,
0x4a5f6838b55c0b08,
0xfc003c97aa05d397,
0x2fb5adad3380c3bc,
0xc46fd01d253b4a0b,
0x4c799235c2a33188,
0x7e21bc57487a11bf,
0xe1392bb1994bd4f2,
],
[
0xf214b86cffeab596,
0x5fccb0b132da564f,
0x86e7aa8b4154b883,
0x763529c8d4189ea8,
0x860d77e7fef74ca3,
0x3b1ba41191219b6b,
0x722b25dfa6d0a04b,
0x763529c8d4189ea8,
0x860d77e7fef74ca3,
0x3b1ba41191219b6b,
0x722b25dfa6d0a04b,
0x5f7b463094e22a91,
0x75d6f57376b31bd7,
0xd253c7f89efec8e6,
0xefe56ac880a2b8a3,
],
[
0xeba670441d1a4f7d,
0xeb6b272502d975fa,
0x69f8d424d50c083e,
0x313d49cb51b8cd2c,
0x6e982d8b4658654a,
0xdd59629a17e5492d,
0x81cb23bdab95e30e,
0x313d49cb51b8cd2c,
0x6e982d8b4658654a,
0xdd59629a17e5492d,
0x81cb23bdab95e30e,
0x1e6c3e6c454c774f,
0x177655172666d5ea,
0x9cc67e0d38d80886,
0x36a2d64d7bc58d22,
],
[
0x172c17ff21dbf88d,
0x1f5104e320f0c815,
0x1e34e9f1fa63bcef,
0x3506ae8fae368d2a,
0x59fa2b2de5306203,
0x67d1119dcfa6007e,
0x1f7190c648ad9aef,
0x3506ae8fae368d2a,
0x59fa2b2de5306203,
0x67d1119dcfa6007e,
0x1f7190c648ad9aef,
0x7e8b1e689137b637,
0xcbe373368a31db3c,
0xdbc79d82cd49c671,
0x641399520c452c99,
],
[
0x5a0838df8a019b8c,
0x73fc859b4952923,
0x45e39daf153491bd,
0xa9b91459a5fada46,
0xde0fbf8800a2da3,
0x21800e4b5af9dedb,
0x517c3726ae0dbae7,
0xa9b91459a5fada46,
0xde0fbf8800a2da3,
0x21800e4b5af9dedb,
0x517c3726ae0dbae7,
0x1ccffbd74acf9d66,
0xcbb08cf95e7eda99,
0x61444f09e2a29587,
0x35c0d15745f96455,
],
[
0x8f42b1fbb2fc0302,
0x5ae31626076ab6ca,
0xb87f0cb67cb75d28,
0x2498586ac2e1fab2,
0xe683f9cbea22809a,
0xa9728d0b2bbe377c,
0x46baf5cae53dc39a,
0x2498586ac2e1fab2,
0xe683f9cbea22809a,
0xa9728d0b2bbe377c,
0x46baf5cae53dc39a,
0x806f4352c99229e,
0xd4643728fc71754a,
0x998c1647976bc893,
0xd8094fdc2d6bb032,
],
[
0x72085e82d70dcea9,
0x32f502c43349ba16,
0x5ebc98c3645a018f,
0xc7fa762238fd90ac,
0x8d03b5652d615677,
0xa3f5226e51d42217,
0x46d5010a7cae8c1e,
0xc7fa762238fd90ac,
0x8d03b5652d615677,
0xa3f5226e51d42217,
0x46d5010a7cae8c1e,
0x4293122580db7f5f,
0x3df6042f39c6d487,
0x439124809cf5c90e,
0x90b704e4f71d0ccf,
],
[
0x32b75fc2223b5032,
0x246fff80eb230868,
0xa6fdbc82c9aeecc0,
0xc089498074167021,
0xab094a9f9ab81c23,
0x4facf3d9466bcb03,
0x57aa9c67938cf3eb,
0xc089498074167021,
0xab094a9f9ab81c23,
0x4facf3d9466bcb03,
0x57aa9c67938cf3eb,
0x79a769ca1c762117,
0x9c8dee60337f87a8,
0xdabf1b96535a3abb,
0xf87e9fbb590ba446,
],
[
0xe1dd010487d2d647,
0x12352858295d2167,
0xacc5e9b6f6b02dbb,
0x1c66ceea473413df,
0xdc3f70a124b25a40,
0x66a6dfe54c441cd8,
0xb436dabdaaa37121,
0x1c66ceea473413df,
0xdc3f70a124b25a40,
0x66a6dfe54c441cd8,
0xb436dabdaaa37121,
0x6d95aa6890f51674,
0x42c6c0fc7ab3c107,
0x83b9dfe082e76140,
0x939cdbd3614d6416,
],
[
0x2994f9245194a7e2,
0xb7cd7249d6db6c0c,
0x2170a7d119c5c6c3,
0x8505c996b70ee9fc,
0xb92bba6b5d778eb7,
0x4db4c57f3a7a4aee,
0x3cfd441cb222d06f,
0x8505c996b70ee9fc,
0xb92bba6b5d778eb7,
0x4db4c57f3a7a4aee,
0x3cfd441cb222d06f,
0x4d940313c96ac6bd,
0x43762837c9ffac4b,
0x480fcf58920722e3,
0x4bbd1e1a1d06752f,
],
[
0x32e2ed6fa03e5b22,
0x58baf09d7c71c62b,
0xa9c599f3f8f50b5b,
0x1660a2c4972d0fa1,
0x1a1538d6b50a57c,
0x8a5362485bbc9363,
0xe8eec3c84fd9f2f8,
0x1660a2c4972d0fa1,
0x1a1538d6b50a57c,
0x8a5362485bbc9363,
0xe8eec3c84fd9f2f8,
0x2562514461d373da,
0x33857675fed52b4,
0xe58d2a17057f1943,
0xfe7d3f30820e4925,
],
[
0x37a72b6e89410c9f,
0x139fec53b78cee23,
0x4fccd8f0da7575c3,
0x3a5f04166518ac75,
0xf49afe05a44fc090,
0xcb01b4713cfda4bd,
0x9027bd37ffc0a5de,
0x3a5f04166518ac75,
0xf49afe05a44fc090,
0xcb01b4713cfda4bd,
0x9027bd37ffc0a5de,
0xe15144d3ad46ec1b,
0x736fd99679a5ae78,
0xb3d7ed9ed0ddfe57,
0xcef60639457867d7,
],
[
0x10836563cb8ff3a1,
0xd36f67e2dfc085f7,
0xedc1bb6a3dcba8df,
0xbd4f3a0566df3bed,
0x81fc8230c163dcbe,
0x4168bc8417a8281b,
0x7100c9459827c6a6,
0xbd4f3a0566df3bed,
0x81fc8230c163dcbe,
0x4168bc8417a8281b,
0x7100c9459827c6a6,
0x21cad59eaf79e72f,
0x61c8af6fb71469f3,
0xb0dfc42ce4f578b,
0x33ea34ccea305d4e,
],
[
0x4dabcb5c1d382e5c,
0x9a868c608088b7a4,
0x7b2b6c389b943be5,
0xc914b925ab69fda0,
0x6bafe864647c94d7,
0x7a48682dd4afa22,
0x40fe01210176ba10,
0xc914b925ab69fda0,
0x6bafe864647c94d7,
0x7a48682dd4afa22,
0x40fe01210176ba10,
0x88dd28f33ec31388,
0xc6db60abf1d45381,
0x7b94c447298824d5,
0x6b2a5e05ad0b9fc0,
],
[
0x296afb509046d945,
0xc38fe9eb796bd4be,
0xd7b17535df110279,
0xdd2482b87d1ade07,
0x662785d2e3e78ddf,
0xeae39994375181bb,
0x9994500c077ee1db,
0xdd2482b87d1ade07,
0x662785d2e3e78ddf,
0xeae39994375181bb,
0x9994500c077ee1db,
0xa275489f8c6bb289,
0x30695ea31df1a369,
0x1aeeb31802d701b5,
0x7799d5a6d5632838,
],
[
0xf7c0257efde772ea,
0xaf6af9977ecf7bff,
0x1cdff4bd07e8d973,
0xfab1f4acd2cd4ab4,
0xb4e19ba52b566bd,
0x7f1db45725fe2881,
0x70276ff8763f8396,
0xfab1f4acd2cd4ab4,
0xb4e19ba52b566bd,
0x7f1db45725fe2881,
0x70276ff8763f8396,
0x1b0f2b546dddd16b,
0xaa066984b5fd5144,
0x7c3f9386c596a5a8,
0xe5befdb24b665d5f,
],
[
0x61e021c8da344ba1,
0xcf9c720676244755,
0x354ffa8e9d3601f6,
0x44e40a03093fbd92,
0xbda9481cc5b93cae,
0x986b589cbc0cf617,
0x210f59f074044831,
0x44e40a03093fbd92,
0xbda9481cc5b93cae,
0x986b589cbc0cf617,
0x210f59f074044831,
0xac32cbbb6f50245a,
0xafa6f712efb22075,
0x47289f7af581719f,
0x31b6e75d3aa0e54b,
],
[
0xc0a86ed83908560b,
0x440c8b6f97bd1749,
0xa99bf2891726ea93,
0xac0c0b84df66df9d,
0x3ee2337b437eb264,
0x8a341daed9a25f98,
0xcc665499aa38c78c,
0xac0c0b84df66df9d,
0x3ee2337b437eb264,
0x8a341daed9a25f98,
0xcc665499aa38c78c,
0xaf7275299d79a727,
0x874fa8434b45d0e,
0xca7b67388950dd33,
0x2db5cd3675ec58f7,
],
[
0x35c9cf87e4accbf3,
0x2267eb4d2191b2a3,
0x80217695666b2c9,
0xcd43a24abbaae6d,
0xa88abf0ea1b2a8ff,
0xe297ff01427e2a9d,
0x935d545695b2b41d,
0xcd43a24abbaae6d,
0xa88abf0ea1b2a8ff,
0xe297ff01427e2a9d,
0x935d545695b2b41d,
0x6accd4dbcb52e849,
0x261295acb662fd49,
0xf9d91f1ac269a8a2,
0x5e45f39df355e395,
],
[
0xe74c366b3091e275,
0x522e657c5da94b06,
0xca9afa806f1a54ac,
0xb545042f67929471,
0x90d10e75ed0e75d8,
0x3ea60f8f158df77e,
0x8863eff3c2d670b7,
0xb545042f67929471,
0x90d10e75ed0e75d8,
0x3ea60f8f158df77e,
0x8863eff3c2d670b7,
0x5799296e97f144a7,
0x1d6e517c12a88271,
0xda579e9e1add90ef,
0x942fb4cdbc3a4da,
],
[
0xa3f2ca45089ad1a6,
0x13f6270fe56fbce4,
0x1f93a534bf03e705,
0xaaea14288ae2d90c,
0x1be3cd51ef0f15e8,
0xe8b47c84d5a4aac1,
0x297d27d55b766782,
0xaaea14288ae2d90c,
0x1be3cd51ef0f15e8,
0xe8b47c84d5a4aac1,
0x297d27d55b766782,
0xe922d1d8bb2afd0,
0xb4481c4fa2e7d8d5,
0x691e21538af794d5,
0x9bd4fb0a53962a72,
],
[
0xe5181466d8e60e26,
0xcf31f3a2d582c4f3,
0xd9cee87cb71f75b2,
0x4750ca6050a2d726,
0xd6e6dd8940256849,
0xf3b3749fdab75b0,
0xc55d8a0f85ba0ccf,
0x4750ca6050a2d726,
0xd6e6dd8940256849,
0xf3b3749fdab75b0,
0xc55d8a0f85ba0ccf,
0x47f134f9544c6da6,
0xe1cdd9cb74ad764,
0x3ce2d096d844941e,
0x321fe62f608d2d4e,
],
[
0xfb528a8dd1e48ad7,
0x98c4fd149c8a63dd,
0x4abd8fc3377ae1f,
0xd7a9304abbb47cc5,
0x7f2b9a27aa57f99,
0x353ab332d4ef9f18,
0x47d56b8d6c8cf578,
0xd7a9304abbb47cc5,
0x7f2b9a27aa57f99,
0x353ab332d4ef9f18,
0x47d56b8d6c8cf578,
0xdf55f58ae09f311f,
0xdba9511784fa86e3,
0xc43ce0288858a47e,
0x62971e94270b78e1,
],
[
0xda6d2b7ea9d5f9b6,
0x57b11153ee3b4cc8,
0x7d3bd1256037142f,
0x90b16ff331b719b5,
0xfc294e7ad39e01e6,
0xd2145386bab41623,
0x7045a63d44d76011,
0x90b16ff331b719b5,
0xfc294e7ad39e01e6,
0xd2145386bab41623,
0x7045a63d44d76011,
0xa232222ed0fe2fa4,
0xe6c17dff6c323a8a,
0xbbcb079be123ac6c,
0x4121fe2c5de7d850,
],
[
0x61d95225bc2293e,
0xf6c52cb6be9889a8,
0x91a0667a7ed6a113,
0x441133d221486a3d,
0xfb9c5a40e19515b,
0x6c967b6c69367c2d,
0x145bd9ef258c4099,
0x441133d221486a3d,
0xfb9c5a40e19515b,
0x6c967b6c69367c2d,
0x145bd9ef258c4099,
0xa0197657160c686e,
0x91ada0871c23f379,
0x2fd74fceccb5c80c,
0xbf04f24e2dc17913,
],
[
0x81247c01ab6a9cc1,
0xfbccea953e810636,
0xae18965000c31be0,
0x15bb46383daec2a5,
0x716294063b4ba089,
0xf3bd691ce02c3014,
0x14ccaad685a20764,
0x15bb46383daec2a5,
0x716294063b4ba089,
0xf3bd691ce02c3014,
0x14ccaad685a20764,
0x5db25914279d6f24,
0x25c451fce3b2ed06,
0xe6bacb43ba1ddb9a,
0x6d77493a2e6fd76,
],
[
0xc17f3ebd3257cb8b,
0xe9e68c939c118c8d,
0x72a5572be35bfc1b,
0xf6916c341cb31f2a,
0x591da1353ee5f31c,
0xf1313c98a836b407,
0xe0b8473eada48cd1,
0xf6916c341cb31f2a,
0x591da1353ee5f31c,
0xf1313c98a836b407,
0xe0b8473eada48cd1,
0xac5c2fb40b09ba46,
0x3a3e8a9344eb6548,
0x3bf9349a9d8483a6,
0xc30dd0d9b15e92d0,
],
[
0x9802438969c3043b,
0x6cd07575c948dd82,
0x83e26b6830ea8640,
0xd52f1fa190576961,
0x11d182e4f0d419cc,
0x5d9ccf1b56617424,
0xc8a16debb585e452,
0xd52f1fa190576961,
0x11d182e4f0d419cc,
0x5d9ccf1b56617424,
0xc8a16debb585e452,
0x2158a752d2686d40,
0xb93c1fdf54789e8c,
0x3a9a435627b2a30b,
0xde6e5e551e7e5ad5,
],
[
0x3dd8ed248a03d754,
0xd8c1fcf001cb62e0,
0x87a822141ed64927,
0x4bfaf6fd26271f47,
0xaefeae8222ad3c77,
0xcfb7b24351a60585,
0x8678904e9e890b8f,
0x4bfaf6fd26271f47,
0xaefeae8222ad3c77,
0xcfb7b24351a60585,
0x8678904e9e890b8f,
0x968dd1aa4d7dcf31,
0x7ac643b015007a39,
0xd1e1bac3d94406ec,
0xbabfa52474a404fa,
],
[
0xc5bf48d7d3e9a5a3,
0x8f0249b5c5996341,
0xc6d2c8a606f45125,
0xfd1779db740e2c48,
0x1950ef50fefab3f8,
0xe4536426a6196809,
0x699556c502a01a6a,
0xfd1779db740e2c48,
0x1950ef50fefab3f8,
0xe4536426a6196809,
0x699556c502a01a6a,
0x2f49d268bb57b946,
0xb205baa6c66ebfa5,
0xab91ebe4f48b0da1,
0xc7e0718ccc360328,
],
[
0xbc4a21d00cf52288,
0x28df3eb5a533fa87,
0x6081bbc2a18dd0d,
0x8eed355d219e58b9,
0x2d7b9f1a3d645165,
0x5758d1aa8d85f7b2,
0x9c90c65920041dff,
0x8eed355d219e58b9,
0x2d7b9f1a3d645165,
0x5758d1aa8d85f7b2,
0x9c90c65920041dff,
0x3c5c4ea46645c7f1,
0x346879ecc0e2eb90,
0x8434fec461bb5a0f,
0x783ccede50ef5ce9,
],
[
0x172c8674913ff413,
0x1815a22400e832bf,
0x7e011f9467a06650,
0x161be43353a31dd0,
0x79a8afddb0642ac3,
0xdf43af54e3e16709,
0x6e12553a75b43f07,
0x161be43353a31dd0,
0x79a8afddb0642ac3,
0xdf43af54e3e16709,
0x6e12553a75b43f07,
0x3ac1b1121e87d023,
0x2d47d33df7b9b027,
0xe2d3f71f4e817ff5,
0x70b3a11ca85f8a39,
],
[
0x17a361dbdaaa7294,
0xc67d368223a3b83c,
0xf49cf8d51ab583d2,
0x666eb21e2eaa596,
0x778f3e1b6650d56,
0x3f6be451a668fe2d,
0x5452892b0b101388,
0x666eb21e2eaa596,
0x778f3e1b6650d56,
0x3f6be451a668fe2d,
0x5452892b0b101388,
0xcc867fceaeabdb95,
0xf238913c18aaa101,
0xf5236b44f324cea1,
0xc507cc892ff83dd1,
],
[
0x5cc268bac4bd55f,
0x232717a35d5b2f1,
0x38da1393365c961d,
0x2d187f89c16f7b62,
0x4eb504204fa1be8,
0x222bd53d2efe5fa,
0xa4dcd6d721ddb187,
0x2d187f89c16f7b62,
0x4eb504204fa1be8,
0x222bd53d2efe5fa,
0xa4dcd6d721ddb187,
0xd86bbe67666eca70,
0xc8bbae99d8e6429f,
0x41dac4ceb2cb6b10,
0x2f90c331755f6c48,
],
[
0xdb04969cc06547f1,
0xfcacc8a75332f120,
0x967ccec4ed0c977e,
0xac5d1087e454b6cd,
0xc1f8b2e284d28f6c,
0xcc3994f4a9312cfa,
0x8d61606dbc4e060d,
0xac5d1087e454b6cd,
0xc1f8b2e284d28f6c,
0xcc3994f4a9312cfa,
0x8d61606dbc4e060d,
0x17315af3202a1307,
0x850775145e01163a,
0x96f10e7357f930d2,
0xabf27049cf07129,
],
[
0x25bd8d3ca1b375b2,
0x4ad34c2c865816f9,
0x9be30ad32f8f28aa,
0x7755ea02dbccad6a,
0xcb8aaf8886247a4a,
0x8f6966ce7ea1b6e6,
0x3f2863090fa45a70,
0x7755ea02dbccad6a,
0xcb8aaf8886247a4a,
0x8f6966ce7ea1b6e6,
0x3f2863090fa45a70,
0x1e46d73019c9fb06,
0xaf37f39351616f2c,
0x657efdfff20ea2ed,
0x93bdf4c58ada3ecb,
],
[
0x166c11fbcbc89fd8,
0xcce1af56c48a48aa,
0x78908959b8ede084,
0x19032925ba2c951a,
0xa53ed6e81b67943a,
0xedc871a9e8ef4bdf,
0xae66cf46a8371aba,
0x19032925ba2c951a,
0xa53ed6e81b67943a,
0xedc871a9e8ef4bdf,
0xae66cf46a8371aba,
0xa37b97790fe75861,
0xeda28c8622708b98,
0x3f0a23509d3d5c9d,
0x5787b0e7976c97cf,
],
[
0x3565bcc4ca4ce807,
0xec35bfbe575819d5,
0x6a1f690d886e0270,
0x1ab8c584625f6a04,
0xccfcdafb81b572c4,
0x53b04ba39fef5af9,
0x64ce81828eefeed4,
0x1ab8c584625f6a04,
0xccfcdafb81b572c4,
0x53b04ba39fef5af9,
0x64ce81828eefeed4,
0x131af99997fc662c,
0x8d9081192fae833c,
0x2828064791cb2eb,
0x80554d2e8294065c,
],
[
0xb7897fd2f274307d,
0x6d43a9e5dd95616d,
0x31a2218e64d8fce0,
0x664e581fc1cf769b,
0x415110942fc97022,
0x7a5d38fee0bfa763,
0xdc87ddb4d7495b6c,
0x664e581fc1cf769b,
0x415110942fc97022,
0x7a5d38fee0bfa763,
0xdc87ddb4d7495b6c,
0x7c3b66372e82e64b,
0x1c89c0ceeeb2dd1,
0xdad76d2266214dbd,
0x744783486e43cc61,
],
[
0xaba98113ab0e4a16,
0x287f883aede0274d,
0x3ecd2a607193ba3b,
0xe131f6cc9e885c28,
0xb399f98d827e4958,
0x6eb90c8ed6c9090c,
0xec89b378612a2b86,
0xe131f6cc9e885c28,
0xb399f98d827e4958,
0x6eb90c8ed6c9090c,
0xec89b378612a2b86,
0xcfc0e126e2f860c0,
0xa9a8ab5dec95b1c,
0xd06747f372f7c733,
0xfbd643f943a026d3,
],
[
0x17f7796e0d4b636c,
0xddba5551d716137b,
0x65f9735375df1ada,
0xa39e946d02e14ec2,
0x1c88cc1d3822a193,
0x663f8074a5172bb4,
0x8ad2934942e4cb9c,
0xa39e946d02e14ec2,
0x1c88cc1d3822a193,
0x663f8074a5172bb4,
0x8ad2934942e4cb9c,
0x3da03b033a95f16c,
0x54a52f1932a1749d,
0x779eeb734199bc25,
0x359ce8c8faccc57b,
],
[
0x33c0128e62122440,
0xb23a588c8c37ec2b,
0xf2608199ca14c26a,
0xacab0139dc4f36df,
0x9502b1605ca1345a,
0x32174ef1e06a5e9c,
0xd824b7869258192b,
0xacab0139dc4f36df,
0x9502b1605ca1345a,
0x32174ef1e06a5e9c,
0xd824b7869258192b,
0x681d021b52064762,
0x30b6c735f80ac371,
0x6a12d8d7f78896b3,
0x157111657a972144,
],
[
0x988bc5d290b97aef,
0x6754bb647eb47666,
0x44b5cf8b5b8106a8,
0xa1c5ba961937f723,
0x32d6bc7214dfcb9b,
0x6863397e0f4c6758,
0xe644bcb87e3eef70,
0xa1c5ba961937f723,
0x32d6bc7214dfcb9b,
0x6863397e0f4c6758,
0xe644bcb87e3eef70,
0xbf25ae22e7aa7c97,
0xf5f3177da5756312,
0x56a469cb0dbb58cd,
0x5233184bb6130470,
],
[
0x23c8c25c2ab72381,
0xd6bc672da4175fba,
0x6aef5e6eb4a4eb10,
0x3df880c945e68aed,
0x5e08a75e956d456f,
0xf984f088d1a322d7,
0x7d44a1b597b7a05e,
0x3df880c945e68aed,
0x5e08a75e956d456f,
0xf984f088d1a322d7,
0x7d44a1b597b7a05e,
0xcbd7d157b7fcb020,
0x2e2945e90749c2aa,
0xa86a13c934d8b1bb,
0xfbe3284bb4eab95f,
],
[
0x450fe4acc4ad3749,
0x3111b29565e4f852,
0xdb570fc2abaf13a9,
0x35107d593ba38b22,
0xfd8212a125073d88,
0x72805d6e015bfacf,
0x6b22ae1a29c4b853,
0x35107d593ba38b22,
0xfd8212a125073d88,
0x72805d6e015bfacf,
0x6b22ae1a29c4b853,
0xdf2401f5c3c1b633,
0xc72307e054c81c8f,
0x3efbfe65bd2922c0,
0xb4f632e240b3190c,
],
[
0x48e1eff032d90c50,
0xdee0fe333d962b62,
0xc845776990c96775,
0x8ea71758346b71c9,
0xd84258cab79431fd,
0xaf566b4975cce10a,
0x5c5c7e70a91221d2,
0x8ea71758346b71c9,
0xd84258cab79431fd,
0xaf566b4975cce10a,
0x5c5c7e70a91221d2,
0xc33202c7be49ea6f,
0xe8ade53b6cbf4caf,
0x102ea04fc82ce320,
0xc1f7226614715e5e,
],
[
0xc048604ba8b6c753,
0x21ea6d24b417fdb6,
0x4e40a127ad2d6834,
0x5234231bf173c51,
0x62319525583eaf29,
0x87632efa9144cc04,
0x1749de70c8189067,
0x5234231bf173c51,
0x62319525583eaf29,
0x87632efa9144cc04,
0x1749de70c8189067,
0x29672240923e8207,
0x11dd247a815f6d0d,
0x8d64e16922487ed0,
0x9fa6f45d50d83627,
],
[
0x67ff1cbe469ebf84,
0x3a828ac9e5040eb0,
0x85bf1ad6b363a14b,
0x2fc6c0783390d035,
0xef78307f5be5524e,
0xa46925b7a1a77905,
0xfea37470f9a51514,
0x2fc6c0783390d035,
0xef78307f5be5524e,
0xa46925b7a1a77905,
0xfea37470f9a51514,
0x9d6504cf6d3947ce,
0x174cc006b8e96e7,
0xd653a06d8a009836,
0x7d22b5399326a76c,
],
[
0xb45c7536bd7a5416,
0xe2d17c16c4300d3c,
0xb70b641138765ff5,
0xa5a859ab7d0ddcfc,
0x8730164a0b671151,
0xaf93810c10348dd0,
0x7256010c74f5d573,
0xa5a859ab7d0ddcfc,
0x8730164a0b671151,
0xaf93810c10348dd0,
0x7256010c74f5d573,
0xe22a335be6cd49f3,
0x3bc9c8b40c9c397a,
0x18da5c08e28d3fb5,
0xf58ea5a00404a5c9,
],
[
0x215c2eaacdb48f6f,
0x33b09acf1bfa2880,
0x78c4e94ba9f28bf,
0x981b7219224443d1,
0x1f476fc4344d7bba,
0xabad36e07283d3a5,
0x831bf61190eaaead,
0x981b7219224443d1,
0x1f476fc4344d7bba,
0xabad36e07283d3a5,
0x831bf61190eaaead,
0x4c90729f62432254,
0x2ffadc94c89f47b3,
0x677e790b43d20e9a,
0xbb0a1686e7c3ae5f,
],
[
0x241baf16d80e0fe8,
0xb6b3c5b53a3ce1d,
0x6ae6b36209eecd70,
0xa560b6a4aa3743a4,
0xb3e04f202b7a99b,
0x3b3b1573f4c97d9f,
0xccad8715a65af186,
0xa560b6a4aa3743a4,
0xb3e04f202b7a99b,
0x3b3b1573f4c97d9f,
0xccad8715a65af186,
0xd0c93a838b0c37e7,
0x7150aa1be7eb1aad,
0x755b1e60b84d8d,
0x51916e77b1b05ba9,
],
[
0xd10a9743b5b1c4d1,
0xf16e0e147ff9ccd6,
0xfbd20a91b6085ed3,
0x43d309eb00b771d5,
0xa6d1f26105c0f61b,
0xd37ad62406e5c37e,
0x75d9b28c717c8cf7,
0x43d309eb00b771d5,
0xa6d1f26105c0f61b,
0xd37ad62406e5c37e,
0x75d9b28c717c8cf7,
0x8f5f118b425b57cd,
0x5d806318613275f3,
0x8150848bcf89d009,
0xd5531710d53e1462,
],
[
0x919ef9e209f2edd1,
0x684c33fb726a720a,
0x540353f94e8033,
0x26da1a143e7d4ec4,
0x55095eae445aacf4,
0x31efad866d075938,
0xf9b580cff4445f94,
0x26da1a143e7d4ec4,
0x55095eae445aacf4,
0x31efad866d075938,
0xf9b580cff4445f94,
0xb1bea6b8716d9c48,
0x9ed2a3df4a15dc53,
0x11f1be58843eb8e9,
0xd9899ecaaef3c77c,
],
[
0xb5f9519b6c9280b,
0x7823a2fe2e103803,
0xd379a205a3bd4660,
0x466ec55ee4b4302a,
0x714f1b9985deeaf0,
0x728595f26e633cf7,
0x25ecd0738e1bee2b,
0x466ec55ee4b4302a,
0x714f1b9985deeaf0,
0x728595f26e633cf7,
0x25ecd0738e1bee2b,
0xdb51771ad4778278,
0x763e5742ac55639e,
0xdf040e92d38aa785,
0x5df997d298499bf1,
],
[
0x77a75e89679e6757,
0x25d31fee616b5dd0,
0xd81f2dfd08890060,
0x7598df8911dd40a4,
0x3b6dda517509b41b,
0x7dae29d248dfffae,
0x6697c427733135f,
0x7598df8911dd40a4,
0x3b6dda517509b41b,
0x7dae29d248dfffae,
0x6697c427733135f,
0x834d6c0444c90899,
0xc790675b3cd53818,
0x28bb4c996ecadf18,
0x92c648513e6e6064,
],
[
0x9d709e1b086aabe2,
0x4d6d6a6c543e3fec,
0xdf73b01acd416e84,
0xd54f613658e35418,
0xfcc88fd0567afe77,
0xd18f2380980db355,
0xec3896137dfbfa8b,
0xd54f613658e35418,
0xfcc88fd0567afe77,
0xd18f2380980db355,
0xec3896137dfbfa8b,
0xeb48dbd9a1881600,
0xca7bd7415ab43ca9,
0xe6c5a362919e2351,
0x2f4e4bd2d5267c21,
],
[
0x91c89971b3c20a8a,
0x87b82b1d55780b5,
0xbc47bb80dfdaefcd,
0x87e11c0f44454863,
0x2df1aedb5871cc4b,
0xba72fd91536382c8,
0x52cebef9e6ea865d,
0x87e11c0f44454863,
0x2df1aedb5871cc4b,
0xba72fd91536382c8,
0x52cebef9e6ea865d,
0x5befc3fc66bc7fc5,
0xb128bbd735a89061,
0xf8f500816fa012b3,
0xf828626c9612f04,
],
[
0x16468c55a1b3f2b4,
0x40b1e8d6c63c9ff4,
0x143adc6fee592576,
0x4caf4deeda66a6ee,
0x264720f6f35f7840,
0x71c3aef9e59e4452,
0x97886ca1cb073c55,
0x4caf4deeda66a6ee,
0x264720f6f35f7840,
0x71c3aef9e59e4452,
0x97886ca1cb073c55,
0x16155fef16fc08e8,
0x9d0c1d1d5254139a,
0x246513bf2ac95ee2,
0x22c8440f59925034,
],
[
0x1a2bd6641870b0e4,
0xe4126e928f4a7314,
0x1e9227d52aab00b2,
0xd82489179f16d4e8,
0xa3c59f65e2913cc5,
0x36cbaecdc3532b3b,
0xf1b454616cfeca41,
0xd82489179f16d4e8,
0xa3c59f65e2913cc5,
0x36cbaecdc3532b3b,
0xf1b454616cfeca41,
0x99393e31e3eefc16,
0x3ca886eac5754cdf,
0xc11776fc3e4756dd,
0xca118f7059198ba,
],
[
0x1d2f92f23d3e811a,
0xe0812edbcd475412,
0x92d2d6ad29c05767,
0xfd7feb3d2956875e,
0xd7192a886b8b01b6,
0x16e71dba55f5b85a,
0x93dabd3ff22ff144,
0xfd7feb3d2956875e,
0xd7192a886b8b01b6,
0x16e71dba55f5b85a,
0x93dabd3ff22ff144,
0x14ff0a5444c272c9,
0xfb024d3bb8d915c2,
0x1bc3229a94cab5fe,
0x6f6f1fb3c0dccf09,
],
[
0xa47c08255da30ca8,
0xcf6962b7353f4e68,
0x2808051ea18946b1,
0xb5b472960ece11ec,
0x13935c99b9abbf53,
0x3e80d95687f0432c,
0x3516ab536053be5,
0xb5b472960ece11ec,
0x13935c99b9abbf53,
0x3e80d95687f0432c,
0x3516ab536053be5,
0x748ce6a935755e20,
0x2961b51d61b0448c,
0x864624113aae88d2,
0xa143805366f91338,
],
[
0xefb3b0262c9cd0c,
0x1273901e9e7699b3,
0x58633f4ad0dcd5bb,
0x62e33ba258712d51,
0xfa085c15d779c0e,
0x2c15d9142308c5ad,
0xfeb517011f27be9e,
0x62e33ba258712d51,
0xfa085c15d779c0e,
0x2c15d9142308c5ad,
0xfeb517011f27be9e,
0x1b2b049793b9eedb,
0xd26be505fabc5a8f,
0xadc483e42a5c36c5,
0xc81ff37d56d3b00b,
],
[
0x5029700a7773c3a4,
0xd01231e97e300d0f,
0x397cdc80f1f0ec58,
0xe4041579de57c879,
0xbbf513cb7bab5553,
0x66ad0373099d5fa0,
0x44bb6b21b87f3407,
0xe4041579de57c879,
0xbbf513cb7bab5553,
0x66ad0373099d5fa0,
0x44bb6b21b87f3407,
0xa8108c43b4daba33,
0xc0b5308c311e865e,
0xcdd265ada48f6fcf,
0xefbc1dae0a95ac0a,
],
[
0x71c8287225d96c9a,
0xeb836740524735c4,
0x4777522d0e09846b,
0x16fde90d02a1343b,
0xad14e0ed6e165185,
0x8df6e0b2f24085dd,
0xcaa8a47292d50263,
0x16fde90d02a1343b,
0xad14e0ed6e165185,
0x8df6e0b2f24085dd,
0xcaa8a47292d50263,
0xa020413ba660359d,
0x9de401413f7c8a0c,
0x20bfb965927a7c85,
0xb52573e5f817ae27,
],
[
0x4e8b9ad9347d7277,
0xc0f195eeee7641cf,
0xdbd810bee1ad5e50,
0x8459801016414808,
0x6fbf75735353c2d1,
0x6e69aaf2d93ed647,
0x85bb5b90167cce5e,
0x8459801016414808,
0x6fbf75735353c2d1,
0x6e69aaf2d93ed647,
0x85bb5b90167cce5e,
0x39d79ee490d890cc,
0xac9f31f7ec97deb0,
0x3bdc1cae4ed46504,
0xeb5c63cfaee05622,
],
[
0x1d5218d6ee2e52ab,
0xcb25025c4daeff3b,
0xaaf107566f31bf8c,
0xaad20d70e231582b,
0xeab92d70d9a22e54,
0xcc5ab266375580c0,
0x85091463e3630dce,
0xaad20d70e231582b,
0xeab92d70d9a22e54,
0xcc5ab266375580c0,
0x85091463e3630dce,
0xb830b617a4690089,
0x9dacf13cd76f13cf,
0xd47cc5224265c68f,
0xf04690880202b002,
],
[
0x162360be6c293c8b,
0xff672b4a831953c8,
0xdda57487ab6f78b5,
0x38a42e0db55a4275,
0x585971da56bb56d6,
0xcd957009adc1482e,
0xd6a96021e427567d,
0x38a42e0db55a4275,
0x585971da56bb56d6,
0xcd957009adc1482e,
0xd6a96021e427567d,
0x8e2b1a5a63cd96fe,
0x426ef8ce033d722d,
0xc4d1c3d8acdda5f,
0x4e694c9be38769b2,
],
[
0x31459914f13c8867,
0xef96f4342d3bef53,
0xa4e944ee7a1762fc,
0x3526d9b950a1d910,
0xa58ba01135bca7c0,
0xcbad32e86d60a87c,
0xadde1962aad3d730,
0x3526d9b950a1d910,
0xa58ba01135bca7c0,
0xcbad32e86d60a87c,
0xadde1962aad3d730,
0x55faade148929704,
0xbfc06376c72a2968,
0x97762698b87f84be,
0x117483d4828cbaf7,
],
[
0x6b4e8fca9b3aecff,
0x3ea0a33def0a296c,
0x901fcb5fe05516f5,
0x7c909e8cd5261727,
0xc5acb3d5fbdc832e,
0x54eff5c782ad3cdd,
0x9d54397f3caf5bfa,
0x7c909e8cd5261727,
0xc5acb3d5fbdc832e,
0x54eff5c782ad3cdd,
0x9d54397f3caf5bfa,
0x6b53ce24c4fc3092,
0x2789abfdd4c9a14d,
0x94d6a2261637276c,
0x648aa4a2a1781f25,
],
[
0xdd3271a46c7aec5d,
0xfb1dcb0683d711c3,
0x240332e9ebe5da44,
0x479f936b6d496dca,
0xdc2dc93d63739d4a,
0x27e4151c3870498c,
0x3a3a22ba512d13ba,
0x479f936b6d496dca,
0xdc2dc93d63739d4a,
0x27e4151c3870498c,
0x3a3a22ba512d13ba,
0x5da92832f96d3cde,
0x439b9ad48c4e7644,
0xd2939279030accd9,
0x6829f920e2950dbe,
],
[
0x109b226238347d6e,
0xe27214c32c43b7e7,
0xeb71b0afaf0163ef,
0x464f1adf4c68577,
0xacf3961e1c9d897f,
0x985b01ab89b41fe1,
0x6972d6237390aac0,
0x464f1adf4c68577,
0xacf3961e1c9d897f,
0x985b01ab89b41fe1,
0x6972d6237390aac0,
0x122d89898e256a0e,
0xac830561bd8be599,
0x5744312574fbf0ad,
0x7bff7f480a924ce9,
],
[
0xcc920608aa94cce4,
0xd67efe9e097bce4f,
0x5687727c2c9036a9,
0x8af42343888843c,
0x191433ffcbab7800,
0x7eb45fc94f88a71,
0x31bc5418ffb88fa8,
0x8af42343888843c,
0x191433ffcbab7800,
0x7eb45fc94f88a71,
0x31bc5418ffb88fa8,
0x4b53a37d8f446cb7,
0xa6a7dfc757a60d28,
0xa074be7bacbc013a,
0xcc6db5f270de7adc,
],
[
0x901ff46f22283dbe,
0x9dd59794d049a066,
0x3c7d9c3b0e77d2c6,
0xdc46069eec17bfdf,
0xcacb63fe65d9e3e,
0x362fb57287d530c6,
0x5854a4fbe1762d9,
0xdc46069eec17bfdf,
0xcacb63fe65d9e3e,
0x362fb57287d530c6,
0x5854a4fbe1762d9,
0x3197427495021efc,
0x5fabf34386aa4205,
0xca662891de36212,
0x21f603e4d39bca84,
],
[
0x11b3bdda68b0725d,
0x2366bf0aa97a00bd,
0x55dc4a4f6bf47e2b,
0x69437142dae5a255,
0xf2980cc4816965ac,
0xdbbe76ba1d9adfcf,
0x49c18025c0a8b0b5,
0x69437142dae5a255,
0xf2980cc4816965ac,
0xdbbe76ba1d9adfcf,
0x49c18025c0a8b0b5,
0xfe25c147c9001731,
0x38b99cad0ca30c81,
0xc7ff06ac47eb950,
0xa10f92885a6b3c02,
],
[
0x9f5f03e84a40d232,
0x1151a9ff99da844,
0xd6f2e7c559ac4657,
0x5e351e20f30377bf,
0x91b3805daf12972c,
0x94417fa6452a265e,
0xbfa301a26765a7c,
0x5e351e20f30377bf,
0x91b3805daf12972c,
0x94417fa6452a265e,
0xbfa301a26765a7c,
0x6924e2a053297d13,
0xed4a7904ed30d77e,
0xd734abaad66d6eab,
0xce373e6c09e6e8a1,
],
[
0x39eeff4f60f439be,
0x1f7559c118517c70,
0x6139d2492237a36b,
0xfd39b7642cecf78f,
0x104f1af4e9201df5,
0xab1a3cc7eaeab609,
0xcee3363f210a3d8b,
0xfd39b7642cecf78f,
0x104f1af4e9201df5,
0xab1a3cc7eaeab609,
0xcee3363f210a3d8b,
0x51490f65fe56c884,
0x6a8c8322cda993c,
0x1f90609a017de1f0,
0x9f3acea480a41edf,
],
[
0x9b9e0126fe4b8b04,
0x6a6190d520886c41,
0x69640b27c16b3ed8,
0x18865ff87619fd8f,
0xdec5293e665663d8,
0xea07c345872d3201,
0x6fce64da038a17ab,
0x18865ff87619fd8f,
0xdec5293e665663d8,
0xea07c345872d3201,
0x6fce64da038a17ab,
0xad48f3c826c6a83e,
0x70a1ff080a4da737,
0xecdac686c7d7719,
0x700338424b657470,
],
[
0x3ec4b8462b36df47,
0xff8de4a1cbdb7e37,
0x4ede0449884716ac,
0xb5f630ac75a8ce03,
0x7cf71ae74fa8566a,
0xe068f2b4618df5d,
0x369df952ad3fd0b8,
0xb5f630ac75a8ce03,
0x7cf71ae74fa8566a,
0xe068f2b4618df5d,
0x369df952ad3fd0b8,
0x5e1ba38fea018eb6,
0x5ea5edce48e3da30,
0x9b3490c941069dcb,
0xe17854a44cc2fff,
],
[
0x5e3fd9298fe7009f,
0xd2058a44222d5a1d,
0xcc25df39bfeb005c,
0x1b0118c5c60a99c7,
0x6ae919ef932301b8,
0xcde25defa089c2fc,
0xc2a3776e3a7716c4,
0x1b0118c5c60a99c7,
0x6ae919ef932301b8,
0xcde25defa089c2fc,
0xc2a3776e3a7716c4,
0x2557bf65fb26269e,
0xb2edabba58f2ae4f,
0x264144e9f0e632cb,
0xad6481273c979566,
],
[
0x7504ecb4727b274e,
0xf698cfed6bc11829,
0x71b62c425ecd348e,
0x2a5e555fd35627db,
0x55d5da439c42f3b8,
0xa758e451732a1c6f,
0x18caa6b46664b484,
0x2a5e555fd35627db,
0x55d5da439c42f3b8,
0xa758e451732a1c6f,
0x18caa6b46664b484,
0x6ec1c7d1524bbad7,
0x1cc3531dc422529d,
0x61a6eeb29c0e5110,
0x9cc8652016784a6a,
],
[
0x4bdedc104d5eaed5,
0x531c4bb4fd721e5d,
0x1d860834e94a219f,
0x1944ec723253392b,
0x7ea6aa6a2f278ea5,
0x5ff786af8113b3d5,
0x194832eb9b0b8d0f,
0x1944ec723253392b,
0x7ea6aa6a2f278ea5,
0x5ff786af8113b3d5,
0x194832eb9b0b8d0f,
0x56ab0396ed73fd38,
0x2c88725b3dfbf89d,
0x7ff57adf6275c816,
0xb32f7630bcdb218,
],
[
0xda0b4a6fb26a4748,
0x8a3165320ae1af74,
0x4803664ee3d61d09,
0x81d90ddff0d00fdb,
0x2c8c7ce1173b5c77,
0x18c6b6c8d3f91dfb,
0x415d5cbbf7d9f717,
0x81d90ddff0d00fdb,
0x2c8c7ce1173b5c77,
0x18c6b6c8d3f91dfb,
0x415d5cbbf7d9f717,
0xb683e956f1eb3235,
0x43166dde2b64d11f,
0xf9689c90f5aad771,
0xca0ebc253c2eec38,
],
[
0xbad6dd64d1b18672,
0x6d4c4b91c68bd23f,
0xd8f1507176822db7,
0x381068e0f65f708b,
0xb4f3762e451b12a6,
0x6d61ed2f6d4e741,
0x8b3b9df537b91a2c,
0x381068e0f65f708b,
0xb4f3762e451b12a6,
0x6d61ed2f6d4e741,
0x8b3b9df537b91a2c,
0xb0759e599a91575c,
0x9e7adbcc77212239,
0xcf0eba98436555fe,
0xb1fcc9c42c4cd1e6,
],
[
0x98da3fe388d5860e,
0x14a9fda8b3adb103,
0xd85f5f798637994b,
0x6e8e8ff107799274,
0x24a2ef180891b531,
0xc0eaf33a074bcb9d,
0x1fa399a82974e17e,
0x6e8e8ff107799274,
0x24a2ef180891b531,
0xc0eaf33a074bcb9d,
0x1fa399a82974e17e,
0xe7c116bef933725d,
0x859908c7d17b93de,
0xf6cfa27113af4a72,
0xedf41c5d83c721a8,
],
[
0xef243a576431d7ac,
0x92a32619ecfae0a5,
0xfb34d2c062dc803a,
0xf5f8b21ec30bd3a0,
0x80a442fd5c6482a8,
0x4fde11e5ccde5169,
0x55671451f661a885,
0xf5f8b21ec30bd3a0,
0x80a442fd5c6482a8,
0x4fde11e5ccde5169,
0x55671451f661a885,
0x94f27bc2d5d8d63e,
0x2156968b87f084dc,
0xb591bcae146f6fea,
0xf57f4c01e41ac7fe,
],
[
0x97854de6f22c97b6,
0x1292ac07b0f426bb,
0x9a099a28b22d3a38,
0xcaac64f5865d87f3,
0x771b9fdbd3aa4bd2,
0x88446393c3606c2d,
0xbc3d3dcd5b7d6d7f,
0xcaac64f5865d87f3,
0x771b9fdbd3aa4bd2,
0x88446393c3606c2d,
0xbc3d3dcd5b7d6d7f,
0x56e22512b832d3ee,
0xbbc677fe5ce0b665,
0xf1914b0f070e5c32,
0xc10d40362472dcd1,
],
[
0xd26ce17bfc1851d,
0xdb30fb632c7da294,
0x26cb7b1a465400a5,
0x401a0581221957e2,
0xfc04e99ae3a283ce,
0xfe895303ab2d1e3e,
0x35ab7c498403975b,
0x401a0581221957e2,
0xfc04e99ae3a283ce,
0xfe895303ab2d1e3e,
0x35ab7c498403975b,
0xc6e4c8dc6f52fb11,
0x63f0b484c2c7502f,
0x93693da3439bdbe9,
0x1264dbaaaaf6b7f1,
],
[
0x97477bac0ba4c7f1,
0x788ef8729dca29ac,
0x63d88e226d36132c,
0x330b7e93663affbd,
0x3c59913fcf0d603f,
0xe207e6572672fd0a,
0x8a5dc17019c8a667,
0x330b7e93663affbd,
0x3c59913fcf0d603f,
0xe207e6572672fd0a,
0x8a5dc17019c8a667,
0x5c8f47ade659d40,
0x6e0838e5a808e9a2,
0x8a2d9a0afcd48b19,
0xd1c9d5af7b48418d,
],
[
0xf6bbcba92b11f5c8,
0x72cf221cad20f191,
0xa04726593764122d,
0x77fbb70409d316e2,
0xc864432c5208e583,
0xd3f593922668c184,
0x23307562648bdb54,
0x77fbb70409d316e2,
0xc864432c5208e583,
0xd3f593922668c184,
0x23307562648bdb54,
0xb03e0b274f848a74,
0xc6121e3af71f4281,
0x2e48dd2a16ca63ec,
0xf4cd44c69ae024df,
],
[
0x1ac8b67c1c82132,
0x7536db9591be9471,
0x42f18fbe7141e565,
0x20085827a39ff749,
0x42e6c504df174606,
0x839da16331fea7ac,
0x7fd768552b10ffc6,
0x20085827a39ff749,
0x42e6c504df174606,
0x839da16331fea7ac,
0x7fd768552b10ffc6,
0xd1c53c90fde72640,
0xc61ae7cf4e266556,
0x127561e440e4c156,
0xf329cae8c26af3e1,
],
[
0x9cd716ca0eee52fa,
0x67c1076e1ef11f93,
0x927342024f36f5d7,
0xd0884af223fd056b,
0xbb33aafc7b80b3e4,
0x36b722fea81a4c88,
0x6e72e3022c0ed97,
0xd0884af223fd056b,
0xbb33aafc7b80b3e4,
0x36b722fea81a4c88,
0x6e72e3022c0ed97,
0x5db446a3ba66e0ba,
0x2e138fb81b28ad9,
0x16e8e82995237c85,
0x9730dbfb072fbf03,
],
[
0x1909f39123d9ad44,
0xc0bdd71c5641fdb7,
0x112e5d19abda9b14,
0x984cf3f611546e28,
0xd7d9c9c4e7efb5d7,
0xb3152c389532b329,
0x1c168b512ec5f659,
0x984cf3f611546e28,
0xd7d9c9c4e7efb5d7,
0xb3152c389532b329,
0x1c168b512ec5f659,
0xeca67cc49e26069a,
0x73cb0b224d36d541,
0xdf8379190ae6c5fe,
0xe0f6bde7c4726211,
],
[
0x1d206f99f535efeb,
0x882e15548afc3422,
0xc94f203775c8c634,
0x24940a3adac420b8,
0x5adf73051c52bce0,
0x1aa5030247ed3d32,
0xe1ae74ab6804c08b,
0x24940a3adac420b8,
0x5adf73051c52bce0,
0x1aa5030247ed3d32,
0xe1ae74ab6804c08b,
0x95217bf71b0da84c,
0xca9bb91c0126a36e,
0x741b9a99ea470974,
0x2adc4e34b8670f41,
],
[
0xb38c3a83042eb802,
0xea134be7c6e0c326,
0x81d396c683df4f35,
0x2a55645640911e27,
0x4fac2eefbd36e26f,
0x79ad798fb4c5835c,
0x359aa2faec050131,
0x2a55645640911e27,
0x4fac2eefbd36e26f,
0x79ad798fb4c5835c,
0x359aa2faec050131,
0x5b802dcec21a7157,
0x6ecde915b75ede0a,
0xf2e653587e89058b,
0xa661be80528d3385,
],
[
0x488d6b45d927161b,
0xf5cac66d869a8aaf,
0xc326d56c643a214e,
0x10a7228693eb083e,
0x1054fb19cbacf01c,
0xa8f389d24587ebd8,
0xafcb783a39926dba,
0x10a7228693eb083e,
0x1054fb19cbacf01c,
0xa8f389d24587ebd8,
0xafcb783a39926dba,
0xfe83e658532edf8f,
0x6fdcf97f147dc4db,
0xdc5e487845abef4b,
0x137693f4eab77e27,
],
[
0x3d6aaa43af5d4f86,
0x44c7d370910418d8,
0xd099515f7c5c4eca,
0x39756960441fbe2f,
0xfb68e5fedbe3d874,
0x3ff380fbdd27b8e,
0xf48832fdda648998,
0x39756960441fbe2f,
0xfb68e5fedbe3d874,
0x3ff380fbdd27b8e,
0xf48832fdda648998,
0x270ddbf2327058c9,
0x9eead83a8319d0c4,
0xb4c3356e162b086d,
0x88f013588f411b7,
],
[
0xe5c40a6381e43845,
0x312a18e66bbceaa3,
0x31365186c2059563,
0xcba4c10e65410ba0,
0x3c250c8b2d72c1b6,
0x177e82f415595117,
0x8c8dcfb9e73d3f6,
0xcba4c10e65410ba0,
0x3c250c8b2d72c1b6,
0x177e82f415595117,
0x8c8dcfb9e73d3f6,
0xc017a797e49c0f7,
0xea2b233b2e7d5aea,
0x878d204c55a56cb1,
0x7b1b62cc0dfdc523,
],
[
0x86fb323e5a4b710b,
0x710c1092c23a79e0,
0xbd2c6d3fc949402e,
0x951f2078aa4b8099,
0xe68b7fefa1cfd190,
0x41525a4990ba6d4a,
0xc373552ef4b51712,
0x951f2078aa4b8099,
0xe68b7fefa1cfd190,
0x41525a4990ba6d4a,
0xc373552ef4b51712,
0x73eb44c6122bdf5a,
0x58047289a314b013,
0xe31d30432521705b,
0x6cf856774873faa4,
],
[
0x7930c09adaf6e62e,
0xf230d3311593662c,
0xa795b9bf6c37d211,
0xb57ec44bc7101b96,
0x6cb710e77767a25a,
0x2f446152d5e3a6d0,
0xcd69172f94543ce3,
0xb57ec44bc7101b96,
0x6cb710e77767a25a,
0x2f446152d5e3a6d0,
0xcd69172f94543ce3,
0xe6c2483cf425f072,
0x2060d5d4379d6d5a,
0x86a3c04c2110d893,
0x561d3b8a509313c6,
],
[
0xe505e86f0eff4ecd,
0xcf31e1ccb273b9e6,
0xd8efb8e9d0fe575,
0xed094f47671e359d,
0xd9ebdb047d57611a,
0x1c620e4d301037a3,
0xdf6f401c172f68e8,
0xed094f47671e359d,
0xd9ebdb047d57611a,
0x1c620e4d301037a3,
0xdf6f401c172f68e8,
0xaf0a2c7f72388ec7,
0x6d4c4a087fa4564a,
0x411b30def69700a,
0x67e5c84557a47e01,
],
[
0xdedccb12011e857,
0xd831f899174feda8,
0xee4bcdb5804c582a,
0x5d765af4e88f3277,
0xd2abe1c63ad4d103,
0x342a8ce0bc7af6e4,
0x31bfda956f3e5058,
0x5d765af4e88f3277,
0xd2abe1c63ad4d103,
0x342a8ce0bc7af6e4,
0x31bfda956f3e5058,
0x4c7a1fec9af54bbb,
0x84a88f0655899bf4,
0x66fb60d0582ac601,
0xbe0dd1ffe967bd4a,
],
[
0x4d679bda26f5555f,
0x7deb387eb7823c1c,
0xa65ef3b4fecd6888,
0xa6814d3dc578b9df,
0x3372111a3292b691,
0xe97589c81d92b513,
0x74edd943d1b9b5bf,
0xa6814d3dc578b9df,
0x3372111a3292b691,
0xe97589c81d92b513,
0x74edd943d1b9b5bf,
0x889e38b0af80bb7a,
0xa416349af3c5818b,
0xf5f5bb25576221c1,
0x3be023fa6912c32e,
],
[
0xe47cd22995a75a51,
0x3686350c2569a162,
0x861afcb185b8efd9,
0x63672de7951e1853,
0x3ca0c763273b99db,
0x29e04fa994cccb98,
0xb02587d792be5ee8,
0x63672de7951e1853,
0x3ca0c763273b99db,
0x29e04fa994cccb98,
0xb02587d792be5ee8,
0xc85ada4858f7e4fc,
0x3f280ab7d5864460,
0x4109822f92f68326,
0x2d73f61314a2f630,
],
[
0x92ba8e12e0204f05,
0x4e29321580273802,
0xaa83b675ed74a851,
0xa16cd2e8b445a3fd,
0xf0d4f9fb613c38ef,
0xeee7755d444d8f2f,
0xb530591eb67ae30d,
0xa16cd2e8b445a3fd,
0xf0d4f9fb613c38ef,
0xeee7755d444d8f2f,
0xb530591eb67ae30d,
0x6fb3031a6edf8fec,
0x65118d08aecf56d8,
0x9a2117bbef1faa8,
0x97055c5fd310aa93,
],
[
0xbb3a8427c64f8939,
0xb5902af2ec095a04,
0x89f1b440667b2a28,
0x5386ef0b438d0330,
0xd39e03c686f8a2da,
0x9555249bb9073d78,
0x8c0b3623fdf0b156,
0x5386ef0b438d0330,
0xd39e03c686f8a2da,
0x9555249bb9073d78,
0x8c0b3623fdf0b156,
0x354fc5d3a5504e5e,
0xb2fd7391719aa614,
0x13cd4ce3dfe27b3d,
0xa2d63a85dc3cae4b,
],
[
0x998988f7d6dacc43,
0x5f2b853d841152db,
0xd76321badc5cb978,
0xe381f24ee1d9a97d,
0x7c5d95b2a3af2e08,
0xca714acc461cdc93,
0x1a8ee94bc847aa3e,
0xe381f24ee1d9a97d,
0x7c5d95b2a3af2e08,
0xca714acc461cdc93,
0x1a8ee94bc847aa3e,
0xee59ee4c21a36f47,
0xd476e8bba5bf5143,
0x22a03cb5900f6ec8,
0x19d954e14f35d7a8,
],
[
0x3f1049221dd72b98,
0x8d9200d7a0664c37,
0x3925704c83a5f406,
0x4cbef49086e62678,
0xd77dfecc2819ef19,
0xc327e4deaf4c7e72,
0xb4d58c73a262a32d,
0x4cbef49086e62678,
0xd77dfecc2819ef19,
0xc327e4deaf4c7e72,
0xb4d58c73a262a32d,
0x78cd002324861653,
0x7c3f3977576efb88,
0xd1c9975fd4a4cc26,
0x3e3cbc90a9baa442,
],
[
0x419e4ff78c3e06f3,
0xaa8ff514c8a141d7,
0x5bb176e21f89f10d,
0xbecb065dc12d8b4e,
0xebee135492a2018,
0xd3f07e65bcd9e13a,
0x85c933e85382e9f9,
0xbecb065dc12d8b4e,
0xebee135492a2018,
0xd3f07e65bcd9e13a,
0x85c933e85382e9f9,
0x2c19ab7c419ebaca,
0x982375b2999bdb46,
0x652ca1c6325d9296,
0xe9c790fa8561940a,
],
[
0x9ba090af14171317,
0xb0445c5232d7be53,
0x72cc929d1577ddb8,
0xbc944c1b5ba2184d,
0xab3d57e5e60e9714,
0x5d8d27e7dd0a365a,
0x4dd809e11740af1a,
0xbc944c1b5ba2184d,
0xab3d57e5e60e9714,
0x5d8d27e7dd0a365a,
0x4dd809e11740af1a,
0x6f42d856faad44df,
0x5118dc58d7eaf56e,
0x829bbc076a43004,
0x1747fbbfaca6da98,
],
[
0x6ad739e4ada9a340,
0x2c6c4fb3a2e9b614,
0xab58620e94ca8a77,
0xaaa144fbe3e6fda2,
0x52a9291d1e212bc5,
0x2b4c68291f26b570,
0x45351ab332855267,
0xaaa144fbe3e6fda2,
0x52a9291d1e212bc5,
0x2b4c68291f26b570,
0x45351ab332855267,
0x1149f55400bc9799,
0x8c6ec1a0c617771f,
0xe9966cc03f3bec05,
0x3e6889140ccd2646,
],
[
0x8ecff07fd67e4abd,
0xf1b8029b17006ece,
0x21d96d5859229a61,
0xb8c18d66154ac51,
0x5807350371ad7388,
0x81f783f4f5ab2b8,
0xfa4e659f90744de7,
0xb8c18d66154ac51,
0x5807350371ad7388,
0x81f783f4f5ab2b8,
0xfa4e659f90744de7,
0x809da4baa51cad2c,
0x88d5c11ff5598342,
0x7c7125b0681d67d0,
0x1b5ba6124bfed8e8,
],
[
0x497ca8dbfee8b3a7,
0x58c708155d70e20e,
0x90428a7e349d6949,
0xb744f5056e74ca86,
0x88aa27b96f3d84a5,
0xb4b1ee0470ac3826,
0xaeb46264f4e15d4f,
0xb744f5056e74ca86,
0x88aa27b96f3d84a5,
0xb4b1ee0470ac3826,
0xaeb46264f4e15d4f,
0x14921b1ee856bc55,
0xa341d74aaba00a02,
0x4f50aa8e3d08a919,
0x75a148668ff3869e,
],
[
0xa929cd66daa65b0a,
0x7c0150a2d9ca564d,
0x46ddec37e2ec0a6d,
0x4323852cc57e4af3,
0x1f5f638bbf9d2e5b,
0x578fb6ac89a31d9,
0x7792536d9ac4bf12,
0x4323852cc57e4af3,
0x1f5f638bbf9d2e5b,
0x578fb6ac89a31d9,
0x7792536d9ac4bf12,
0x60be62e795ef5798,
0xc276cc5b44febefe,
0x519ba0b9f6d1be95,
0x1fdce3561ed35bb8,
],
[
0x4107c4156bc8d4bc,
0x1cda0c6f3f0f48af,
0xcf11a23299cf7181,
0x766b71bff7d6f461,
0xb004f2c910a6659e,
0x4c0eb3848e1a7c8,
0x3f90439d05c3563b,
0x766b71bff7d6f461,
0xb004f2c910a6659e,
0x4c0eb3848e1a7c8,
0x3f90439d05c3563b,
0x4a2a013f4bc2c1d7,
0x888779ab0c272548,
0xae0f8462d89a4241,
0xc5c85b7c44679abd,
],
[
0x15b38dc0e40459d1,
0x344fedcfc00fff43,
0xb9215c5a0fcf17df,
0xd178444a236c1f2d,
0x5576deee27f3f103,
0x943611bb5b1b0736,
0xa0fde17cb5c2316d,
0xd178444a236c1f2d,
0x5576deee27f3f103,
0x943611bb5b1b0736,
0xa0fde17cb5c2316d,
0xfeaa1a047f4375f3,
0x5435f313e84767e,
0x522e4333cd0330c1,
0x7e6b609b0ea9e91f,
],
[
0xe5e5370ed3186f6c,
0x4592e75db47ea35d,
0x355d452b82250e83,
0x7a265e37da616168,
0x6a1f06c34bafa27,
0xfbae175e7ed22a9c,
0xb144e84f6f33c098,
0x7a265e37da616168,
0x6a1f06c34bafa27,
0xfbae175e7ed22a9c,
0xb144e84f6f33c098,
0xbd444561b0db41fc,
0x2072c85731e7b0b0,
0xce1b1fac436b51f3,
0x4f5d44f31a3dcdb9,
],
[
0xea2785c8f873e28f,
0x3e257272f4464f5f,
0x9267e7e0cc9c7fb5,
0x9fd4d9362494cbbc,
0xe562bc615befb1b9,
0x8096808d8646cfde,
0xc4084a587b9776ec,
0x9fd4d9362494cbbc,
0xe562bc615befb1b9,
0x8096808d8646cfde,
0xc4084a587b9776ec,
0xa9135db8a850d8e4,
0xfffc4f8b1a11f5af,
0xc50e9173c2c6fe64,
0xa32630581df4ceda,
],
[
0xe7bf98235fc8a4a8,
0x4042ef2aae400e64,
0x6538ba9ffe72dd70,
0xc84bb7b3881ab070,
0x36fe6c51023fbda0,
0xd62838514bb87ea4,
0x9eeb5e7934373d86,
0xc84bb7b3881ab070,
0x36fe6c51023fbda0,
0xd62838514bb87ea4,
0x9eeb5e7934373d86,
0x5f8480d0a2750a96,
0x40afa38506456ad9,
0xe4012b7ef2e0ddea,
0x659da200a011836b,
],
[
0xb94e261a90888396,
0x1f468d07e853294c,
0xcb2c9b863a5317b9,
0x4473c8e2a3458ee0,
0x258053945ab4a39a,
0xf8d745ca41962817,
0x7afb6d40df9b8f71,
0x4473c8e2a3458ee0,
0x258053945ab4a39a,
0xf8d745ca41962817,
0x7afb6d40df9b8f71,
0x9030c2349604f677,
0xf544dcd593087faf,
0x77a3b0efe6345d12,
0xfff4e398c05817cc,
],
[
0x4b0226e5f5cdc9c,
0xa836ae7303dc4301,
0x8505e1b628bac101,
0xb5f52041a698da7,
0x29864874b5f1936d,
0x49b3a0c6d78f98da,
0x93a1a8c7d90de296,
0xb5f52041a698da7,
0x29864874b5f1936d,
0x49b3a0c6d78f98da,
0x93a1a8c7d90de296,
0xed62288423c17b7f,
0x685afa2cfba09660,
0x6d9b6f59585452c6,
0xe505535c4010efb9,
],
[
0xe07edbe7325c718c,
0x9db1eda964f06827,
0x2f245ad774e4cb1b,
0x664ec3fad8521859,
0x406f082beb9ca29a,
0xb6b0fb3a7981c7c8,
0x3ebd280b598a9721,
0x664ec3fad8521859,
0x406f082beb9ca29a,
0xb6b0fb3a7981c7c8,
0x3ebd280b598a9721,
0xd9a6ceb072eab22a,
0xd5bc5df5eb2ff6f1,
0x488db3cab48daa0b,
0x9916f14fa5672f37,
],
[
0xf4b56421eae4c4e7,
0x5da0070cf40937a0,
0xaca4a5e01295984a,
0x5414e385f5677a6d,
0x41ef105f8a682a28,
0x4cd2e95ea7f5e7b0,
0x775bb1e0d57053b2,
0x5414e385f5677a6d,
0x41ef105f8a682a28,
0x4cd2e95ea7f5e7b0,
0x775bb1e0d57053b2,
0x8919017805e84b3f,
0x15402f44e0e2b259,
0x483b1309e1403c87,
0x85c7b4232d45b0d9,
],
[
0xc07fcb8ae7b4e480,
0x4ebcad82e0b53976,
0x8643c63d6c78a6ce,
0xd4bd358fed3e6aa5,
0x8a1ba396356197d9,
0x7afc2a54733922cc,
0xb813bdac4c7c02ef,
0xd4bd358fed3e6aa5,
0x8a1ba396356197d9,
0x7afc2a54733922cc,
0xb813bdac4c7c02ef,
0xf6c610cf7e7c955,
0xdab6a53e1c0780f8,
0x837c9ffec33e5d48,
0x8cb8c20032af152d,
],
[
0x3edad9568a9aaab,
0x23891bbaeb3a17bc,
0x4eb7238738b0c51a,
0xdb0c32f76f5b7fc1,
0x5e41b711f0abd1a0,
0xbcb758f01ded0a11,
0x7d15f7d87955e28b,
0xdb0c32f76f5b7fc1,
0x5e41b711f0abd1a0,
0xbcb758f01ded0a11,
0x7d15f7d87955e28b,
0xcd2dc1f0b05939b,
0x9fd6d680462e4c47,
0x95d5846e993bc8ff,
0xf0b3cafc2697b8a8,
],
[
0xfcabde8700de91e8,
0x63784d19c60bf366,
0x8f3af9a056b1a1c8,
0x32d3a29cf49e2dc9,
0x3079c0b0c2269bd0,
0xed76ba44f04e7b82,
0x6eee76a90b83035f,
0x32d3a29cf49e2dc9,
0x3079c0b0c2269bd0,
0xed76ba44f04e7b82,
0x6eee76a90b83035f,
0x4a9286f545bbc09,
0xbd36525be4dd1b51,
0x5f7a9117228fdee5,
0x543c96a08f03151c,
],
[
0x362fc5ba93e8eb31,
0x7549ae99fa609d61,
0x47e4cf524e37178f,
0xa54eaa5d7f3a7227,
0x9d26922965d54727,
0x27d22acb31a194d4,
0xe9b8e68771db0da6,
0xa54eaa5d7f3a7227,
0x9d26922965d54727,
0x27d22acb31a194d4,
0xe9b8e68771db0da6,
0x16fd0e006209abe8,
0x81d3f72987a6a81a,
0x74e96e4044817bc7,
0x924ca5f08572fef9,
],
[
0xe323b1c5b55a4dfb,
0x719993d7d1ad77fb,
0x555ca6c6166e989c,
0xea37f61c0c2f6d53,
0x9b0c2174f14a01f5,
0x7bbe6921e26293f3,
0x2ab6c72235b6c98a,
0xea37f61c0c2f6d53,
0x9b0c2174f14a01f5,
0x7bbe6921e26293f3,
0x2ab6c72235b6c98a,
0x2c6e7668f37f6d23,
0x3e8edb057a57c2dd,
0x2595fc79768c8b34,
0xffc541f5efed9c43,
],
[
0x9461913a153530ef,
0x83fc6d9ed7d1285a,
0x73df90bdc50807cf,
0xa32c192f6e3c3f66,
0x8f10077b8a902d00,
0x61a227f2faac29b4,
0x1a71466fc005a61d,
0xa32c192f6e3c3f66,
0x8f10077b8a902d00,
0x61a227f2faac29b4,
0x1a71466fc005a61d,
0x12545812f3d01a92,
0xaece72f823ade07d,
0x52634cdd5f9e5260,
0xcb48f56805c08e98,
],
[
0xec2332acc6df0c41,
0x59f5ee17e20a8263,
0x1087d756afcd8e7b,
0xa82a7bb790678fc9,
0xd197682c421e4373,
0xdd78d25c7f0f935a,
0x9850cb6fbfee520f,
0xa82a7bb790678fc9,
0xd197682c421e4373,
0xdd78d25c7f0f935a,
0x9850cb6fbfee520f,
0x2590847398688a46,
0xad266f08713ca5fe,
0x25b978be91e830b5,
0x2996c8f2b4c8f231,
],
[
0xaae00b3a289bc82,
0x4f6d69f5a5a5b659,
0x3ff5abc145614e3,
0x33322363b5f45216,
0x7e83f1fe4189e843,
0xdf384b2adfc35b03,
0x396ce7790a5ada53,
0x33322363b5f45216,
0x7e83f1fe4189e843,
0xdf384b2adfc35b03,
0x396ce7790a5ada53,
0xc3286e44108b8d36,
0x6db8716c498d703f,
0xd1db09466f37f4e7,
0x56c98e7f68a41388,
],
[
0x4c842e732fcd25f,
0xe7dd7b953cf9c2b2,
0x911ee248a76ae3,
0x33c6690937582317,
0xfe6d61a77985d7bb,
0x97b153d04a115535,
0xd3fde02e42cfe6df,
0x33c6690937582317,
0xfe6d61a77985d7bb,
0x97b153d04a115535,
0xd3fde02e42cfe6df,
0xd1c7d1efa52a016,
0x1d6ed137f4634c,
0x1a260ec505097081,
0x8d1e70861a1c7db6,
],
[
0x40e23ca5817a91f3,
0x353e2935809b7ad1,
0xf7820021b86391bb,
0xf3d41b3d4717eb83,
0x2670d457dde68842,
0x19707a6732c49278,
0x5d0f05a83569ba26,
0xf3d41b3d4717eb83,
0x2670d457dde68842,
0x19707a6732c49278,
0x5d0f05a83569ba26,
0x6fe5bc84e528816a,
0x94df3dca91a29ace,
0x420196ed097e8b6f,
0x7c52da0e1f043ad6,
],
[
0x2564527fad710b8d,
0x2bdcca8d57f890f,
0x81f7bfcd9ea5a532,
0xdd70e407984cfa80,
0x66996d6066db6e1a,
0x36a812bc418b97c9,
0x18ea2c63da57f36e,
0xdd70e407984cfa80,
0x66996d6066db6e1a,
0x36a812bc418b97c9,
0x18ea2c63da57f36e,
0x937fd7ad09be1a8f,
0x163b12cab35d5d15,
0x3606c3e441335cce,
0x949f6ea5bb241ae8,
],
[
0x6bf70df9d15a2bf6,
0x81cad17764b8e0dd,
0x58b349a9ba22a7ef,
0x9432536dd9f65229,
0x192dc54522da3e3d,
0x274c6019e0227ca9,
0x160abc932a4e4f35,
0x9432536dd9f65229,
0x192dc54522da3e3d,
0x274c6019e0227ca9,
0x160abc932a4e4f35,
0x1204f2fb5aa79dc6,
0x2536edaf890f0760,
0x6f2b561f44ff46b4,
0x8c7b3e95baa8d984,
],
[
0x45e6f446eb6bbcf5,
0x98ab0ef06f1a7d84,
0x85ae96bacca50de6,
0xb9aa5bead3352801,
0x8a6d9e02a19a4229,
0xc352f5b6d5ee1d9d,
0xce562bdb0cfa84fb,
0xb9aa5bead3352801,
0x8a6d9e02a19a4229,
0xc352f5b6d5ee1d9d,
0xce562bdb0cfa84fb,
0xd47b768a85283981,
0x1fe72557be57a11b,
0x95d8afe4af087d51,
0x2f59c4e383f30045,
],
[
0x620d3fe4b8849c9e,
0x975a15812a429ec2,
0x437c453593dcaf13,
0x8d8e7c63385df78e,
0x16d55add72a5e25e,
0xaa6321421dd87eb5,
0x6f27f62e785f0203,
0x8d8e7c63385df78e,
0x16d55add72a5e25e,
0xaa6321421dd87eb5,
0x6f27f62e785f0203,
0x829030a61078206e,
0xae1f30fcfa445cc8,
0xf61f21c9df4ef68d,
0x1e5b1945f858dc4c,
],
[
0x535aa7340b3c168f,
0xbed5d3c3cd87d48a,
0x266d40ae10f0cbc1,
0xce218d5b44f7825a,
0x2ae0c64765800d3a,
0xf22dc1ae0728fc01,
0x48a171bc666d227f,
0xce218d5b44f7825a,
0x2ae0c64765800d3a,
0xf22dc1ae0728fc01,
0x48a171bc666d227f,
0xe7367aff24203c97,
0xda39d2be1db3a58d,
0x85ce86523003933a,
0xdfd4ef2ae83f138a,
],
[
0xdd3e761d4eada300,
0x893d7e4c3bea5bb6,
0xcc6d6783bf43eea,
0xeb8eed7c391f0044,
0xb58961c3abf80753,
0x3d75ea687191521,
0x389be7bbd8e478f3,
0xeb8eed7c391f0044,
0xb58961c3abf80753,
0x3d75ea687191521,
0x389be7bbd8e478f3,
0x917070a07441ee47,
0xd78efa8cd65b313,
0xa8a16f4c1c08c8a1,
0xb69cb8ee549eb113,
],
[
0x4ac1902ccde06545,
0x2c44aeb0983a7a07,
0xb566035215b309f9,
0x64c136fe9404a7b3,
0x99f3d8c98a399d5e,
0x6319c7cb14180185,
0xfbacdbd277d33f4c,
0x64c136fe9404a7b3,
0x99f3d8c98a399d5e,
0x6319c7cb14180185,
0xfbacdbd277d33f4c,
0xa96a5626c2adda86,
0x39ea72fd2ad133ed,
0xb5583f2f736df73e,
0xef2c63619782b7ba,
],
[
0xaee339a23bb00a5e,
0xcbb402255318f919,
0x9922948e99aa0781,
0xdf367034233fedc4,
0xdcbe14db816586e5,
0xf4b1cb814adf21d3,
0xf4690695102fa00a,
0xdf367034233fedc4,
0xdcbe14db816586e5,
0xf4b1cb814adf21d3,
0xf4690695102fa00a,
0x6b4f01dd6b76dafc,
0xb79388676b50da5d,
0xcb64f8bde5ed3393,
0x9b422781f13219d3,
],
[
0x627599e91148df4f,
0x3e2d01e8baab062b,
0x2daab20edb245251,
0x9a958bc3a895a223,
0x331058dd6c5d2064,
0x46c4d962072094fa,
0xe6207c19160e58eb,
0x9a958bc3a895a223,
0x331058dd6c5d2064,
0x46c4d962072094fa,
0xe6207c19160e58eb,
0x5655e4dbf7272728,
0x67b217b1f56c747d,
0x3ac0be79691b9a0d,
0x9d0954dd0b57073,
],
[
0xcfb04cf00cfed6b3,
0x5fe75fc559af22fa,
0xc440a935d72cdc40,
0x3ab0d0691b251b8b,
0x47181a443504a819,
0x9bcaf1253f99f499,
0x8ee002b89c1b6b3f,
0x3ab0d0691b251b8b,
0x47181a443504a819,
0x9bcaf1253f99f499,
0x8ee002b89c1b6b3f,
0x55dfe8eedcd1ec5e,
0x1bf50f0bbad796a5,
0x9044369a042d7fd6,
0xd423df3e3738ba8f,
],
[
0x942631c47a26889,
0x427962c82d8a6e00,
0x224071a6592537ff,
0xd3e96f4fb479401,
0x68b3f2ec11de9368,
0xcb51b01083acad4f,
0x500cec4564d62aeb,
0xd3e96f4fb479401,
0x68b3f2ec11de9368,
0xcb51b01083acad4f,
0x500cec4564d62aeb,
0x4ce547491e732887,
0x9423883a9a11df4c,
0x1a0fc7a14214360,
0x9e837914505da6ed,
],
[
0x4c9eb4e09726b47e,
0xfd927483a2b38cf3,
0x6d7e56407d1ba870,
0x9f5dc7db69fa1e29,
0xf42fff56934533d5,
0x92d768c230a53918,
0xf3360ff11642136c,
0x9f5dc7db69fa1e29,
0xf42fff56934533d5,
0x92d768c230a53918,
0xf3360ff11642136c,
0x9e989932eb86d1b5,
0x449a77f69a8a9d65,
0xefabaf8a7789ed9a,
0x2798eb4c50c826fd,
],
[
0xcf7f208ef20e887a,
0xf4ce4edeadcaf1a1,
0x7ee15226eaf4a74d,
0x17ab41ab2ae0705d,
0x9dd56694aa2dcd4e,
0xdd4fa2add9baced2,
0x7ad99099c9e199a3,
0x17ab41ab2ae0705d,
0x9dd56694aa2dcd4e,
0xdd4fa2add9baced2,
0x7ad99099c9e199a3,
0xa59112144accef0e,
0x5838df47e38d251d,
0x8750fe45760331e5,
0x4b2ce14732e0312a,
],
[
0xa8dc4687bcf27f4,
0xc4aadd7802553f15,
0x5401eb9912be5269,
0x5c2a2b5b0657a928,
0x1e1968ebb38fcb99,
0xa082d0e067c4a59c,
0x18b616495ad9bf5d,
0x5c2a2b5b0657a928,
0x1e1968ebb38fcb99,
0xa082d0e067c4a59c,
0x18b616495ad9bf5d,
0x18c5dc6c78a7f9ed,
0xb3cc94fe34b68aa1,
0x3b77e91292be38cc,
0x61d1786ec5097971,
],
[
0xdaed638536ed19df,
0x1a762ea5d7ac6f7e,
0x48a1cc07a798b84f,
0x7f15bdaf50d550f9,
0x4c1d48aa621a037e,
0x2b1d7a389d497ee0,
0x81c6775d46f4b517,
0x7f15bdaf50d550f9,
0x4c1d48aa621a037e,
0x2b1d7a389d497ee0,
0x81c6775d46f4b517,
0x35296005cbba3ebe,
0xdb1642f825b53532,
0x3e07588a9fd829a4,
0x60f13b5446bc7638,
],
[
0x90a04b11ee1e4af3,
0xab09a35f8f2dff95,
0xd7cbe82231ae1e83,
0x3262e9017bb788c4,
0x1612017731c997bc,
0xe789d66134aff5e1,
0x275642fd17048af1,
0x3262e9017bb788c4,
0x1612017731c997bc,
0xe789d66134aff5e1,
0x275642fd17048af1,
0x99255b68d0b46b51,
0x74a6f1ad4b2bb296,
0x4164222761af840e,
0x54d59bf6211a8fe6,
],
[
0x511f29e1b732617d,
0x551cb47a9a83d769,
0xdf6f56fbda20e7a,
0xf27583a930221d44,
0xd7d2c46de69b2ed8,
0xadd24ddd2be4a850,
0x5cf2f688dbb93585,
0xf27583a930221d44,
0xd7d2c46de69b2ed8,
0xadd24ddd2be4a850,
0x5cf2f688dbb93585,
0xa7f8e42d5dd4aa00,
0x72dc11fd76b4dea9,
0x8886f194e6f8e3ff,
0x7e8ead04a0e0b1ef,
],
[
0x95567f03939e651f,
0x62a426f09d81d884,
0x15cb96e36a8e712c,
0x1a2f43bdeaea9c28,
0xbca2fd840831291f,
0x83446d4a1f7dcc1a,
0x449a211df83b6187,
0x1a2f43bdeaea9c28,
0xbca2fd840831291f,
0x83446d4a1f7dcc1a,
0x449a211df83b6187,
0x553ce97832b2f695,
0x3110a2ba303db75,
0xb91d6d399a02f453,
0x3cb148561e0ef2bb,
],
[
0x248a32ad10e76bc3,
0xdac39c8b036985e9,
0x79d38c4af2958b56,
0xcc954b4e56275f54,
0x700cd864e04e8aaa,
0xd6ba03cbff7cc34b,
0xda297d7891c9c046,
0xcc954b4e56275f54,
0x700cd864e04e8aaa,
0xd6ba03cbff7cc34b,
0xda297d7891c9c046,
0xc05d2be8f8ee8114,
0x7f4541cbe2ec0025,
0x8f0a7a70af6ea926,
0x3837ddce693781b5,
],
[
0xf9f05a2a892242eb,
0xde00b6b2e0998460,
0xf1f4bd817041497a,
0x3deac49eb42a1e26,
0x642f77f7c57e84b7,
0x2f2c231222651e8b,
0x380202ec06bdc29e,
0x3deac49eb42a1e26,
0x642f77f7c57e84b7,
0x2f2c231222651e8b,
0x380202ec06bdc29e,
0x59abc4ff54765e66,
0x8561ea1dddd1f742,
0x9ca1f94b0d3f3875,
0xb7fa93c3a9fa4ec4,
],
[
0x3a015cea8c3f5bdf,
0x5583521b852fc3ac,
0x53d5cd66029a1014,
0xac2eeca7bb04412a,
0xdaba45cb16ccff2b,
0xddd90b51209e414,
0xd90e74ee28cb6271,
0xac2eeca7bb04412a,
0xdaba45cb16ccff2b,
0xddd90b51209e414,
0xd90e74ee28cb6271,
0x117027648ca9db68,
0x29c1dba39bbcf072,
0x787f6bb010a34cd9,
0xe099f487e09b847,
],
[
0x670e43506aa1f71b,
0x1cd7929573e54c05,
0xcbb00a0aaba5f20a,
0xf779909e3d5688d1,
0x88211b9117678271,
0x59f44f73759a8bc6,
0xef14f73c405123b4,
0xf779909e3d5688d1,
0x88211b9117678271,
0x59f44f73759a8bc6,
0xef14f73c405123b4,
0x78775601f11186f,
0xfc4641d676fbeed9,
0x669ca96b5a2ae5b,
0x67b5f0d072025f8d,
],
[
0x977bb79b58bbd984,
0x26d45cfcfb0e9756,
0xdf8885db518d5f6a,
0x6a1d2876488bed06,
0xae35d83c3afb5769,
0x33667427d99f9f4e,
0xd84c31c17495e3ba,
0x6a1d2876488bed06,
0xae35d83c3afb5769,
0x33667427d99f9f4e,
0xd84c31c17495e3ba,
0x31357cded7495ffc,
0x295e2eefcd383a2e,
0x25063ef4a24c29ae,
0x88c694170fcbf0b7,
],
[
0xe6264fbccd93a530,
0xc92f420494e99a7d,
0xc14001a298cf976,
0x5c8685fee2e4ce55,
0x228c49268d6a4345,
0x3b04ee2861baec6d,
0x7334878a00e96e72,
0x5c8685fee2e4ce55,
0x228c49268d6a4345,
0x3b04ee2861baec6d,
0x7334878a00e96e72,
0x7317164b2ce711bb,
0xe645447e363e8ca1,
0xd326d129ad7b4e7f,
0x58b9b76d5c2eb272,
],
[
0x54e4d0cab7ec5c27,
0x31ca61d2262a9acc,
0x30bd3a50d8082ff6,
0x46b3b963bf7e2847,
0xb319d04e16ad10b0,
0x76c8dd82e6f5a0eb,
0x2070363cefb488bc,
0x46b3b963bf7e2847,
0xb319d04e16ad10b0,
0x76c8dd82e6f5a0eb,
0x2070363cefb488bc,
0x6f9dbacb2bdc556d,
0x88a5fb0b293c1e22,
0xcb131d9b9abd84b7,
0x21db6f0e147a0040,
],
[
0x882a598e98cf5416,
0x36c8dca4a80d9788,
0xc386480f07591cfe,
0x5b517bcf2005fd9c,
0xb9b8f8e5f90e7025,
0x2a833e6199e21708,
0xbcb7549de5fda812,
0x5b517bcf2005fd9c,
0xb9b8f8e5f90e7025,
0x2a833e6199e21708,
0xbcb7549de5fda812,
0x44fc96a3cafa1c34,
0xfb7724d4899ec7c7,
0x4662e3b87df93e13,
0xbcf22545acbcfd4e,
],
[
0x7c37a5376c056d55,
0xe0cce8936a06b6f6,
0xd32f933fdbec4c7d,
0x7ac50423e2be4703,
0x546d4b42340d6dc7,
0x624f56ee027f12bf,
0x5f7f65d1e90c30f9,
0x7ac50423e2be4703,
0x546d4b42340d6dc7,
0x624f56ee027f12bf,
0x5f7f65d1e90c30f9,
0xd6f15c19625d2621,
0xc7afd12394f24b50,
0x2c6adde5d249bcd0,
0x6c857e6aa07b9fd2,
],
[
0x21c5e9616f24be97,
0xba3536c86e4b6fe9,
0x6d3a65cfe3a9ae06,
0x2113903ebd760a31,
0xe561f76a5eac8beb,
0x86b5b3e76392e166,
0x68c8004ccc53e049,
0x2113903ebd760a31,
0xe561f76a5eac8beb,
0x86b5b3e76392e166,
0x68c8004ccc53e049,
0xb51a28fe4251dd79,
0xfd9c2d4d2a84c3c7,
0x5bf2ec8a470d2553,
0x135a52cdc76241c9,
],
[
0xa6eaefe74fa7d62b,
0xcb34669c751b10eb,
0x80da952ad8abd5f3,
0x3368262b0e172d82,
0x1d51f6c982476285,
0x4497675ac57228a9,
0x2a71766a71d0b83f,
0x3368262b0e172d82,
0x1d51f6c982476285,
0x4497675ac57228a9,
0x2a71766a71d0b83f,
0x79ad94d1e9c1dedd,
0xcbf1a1c9f23bfa40,
0x3ebf24e068cd638b,
0xbe8e63472edfb462,
],
[
0x764af88ed4b0b828,
0x36946775f20457ce,
0xd4bc88ac8281c22e,
0x3b2104d68dd9ac02,
0x2eca14fcdc0892d0,
0x7913b0c09329cd47,
0x9373f458938688c8,
0x3b2104d68dd9ac02,
0x2eca14fcdc0892d0,
0x7913b0c09329cd47,
0x9373f458938688c8,
0xb4448f52a5bf9425,
0x9f8c8b90b61ed532,
0x78f6774f48e72961,
0xe47c00bf9c1206f4,
],
[
0x5f55a694fb173ea3,
0x7db02b80ef5a918b,
0xd87ff079f476ca3a,
0x1d11117374e0da3,
0x744bfbde42106439,
0x93a99fab10bb1789,
0x246ba292a85d8d7c,
0x1d11117374e0da3,
0x744bfbde42106439,
0x93a99fab10bb1789,
0x246ba292a85d8d7c,
0xe5bd7838e9edd53a,
0xd9c0b104c79d9019,
0xee3dcc7a8e565de5,
0x619c9e0a9cf3596d,
],
[
0x86d086738b0a7701,
0xd2402313a4280dda,
0xb327aa1a25278366,
0x49efdde5d1f98163,
0xcbcffcee90f22824,
0x951aec1daeb79bab,
0x7055e2c70d2eeb4c,
0x49efdde5d1f98163,
0xcbcffcee90f22824,
0x951aec1daeb79bab,
0x7055e2c70d2eeb4c,
0x1fc0de9399bacb96,
0xdab7bbe67901959e,
0x375805eccf683ef0,
0xbbb6f465c4bae04e,
],
[
0xacfc8be97115847b,
0xc8f0d887bf8d9d1,
0xe698fbc6d39bf837,
0x61fd1d6b13c1ea77,
0x527ed97ff4ae24f0,
0xaf51a9ebb322c0,
0x14f7c25058864825,
0x61fd1d6b13c1ea77,
0x527ed97ff4ae24f0,
0xaf51a9ebb322c0,
0x14f7c25058864825,
0xf40b2bbeaf9f021d,
0x80d827160dfdc2d2,
0x77baea2e3650486e,
0x5de2d256740a1a97,
],
[
0xdc5ad3c016024d4,
0xa0235e954da1a152,
0x6daa8a4ed194cc43,
0x185e650afc8d39f8,
0xadba03a4d40de998,
0x9975c776b499b26f,
0x9770c59368a43a2,
0x185e650afc8d39f8,
0xadba03a4d40de998,
0x9975c776b499b26f,
0x9770c59368a43a2,
0xd2776f0cf0e4f66c,
0x38eaaabfb743f7f6,
0xc066f03d959b3f07,
0x9d91c2d52240d546,
],
[
0xa0e91182f03277f7,
0x15c6ebef7376556,
0x516f887657ab5a,
0xf95050524c7f4b84,
0x460dcebbaaa09ae3,
0xa9f7a9f0b1b2a961,
0x5f8dc5e198e34539,
0xf95050524c7f4b84,
0x460dcebbaaa09ae3,
0xa9f7a9f0b1b2a961,
0x5f8dc5e198e34539,
0x9c49227ffcff07cb,
0xa29388e9fcb794c8,
0x475867910d110cba,
0x8c9a5cee480b5bac,
],
[
0x767f1dbd1dba673b,
0x1e466a3848a5b01e,
0x483eadef1347cd6e,
0xa67645c72f54fe24,
0xc7a5562c69bd796b,
0xe14201a35b55e4a6,
0xb3a6d89f19d8f774,
0xa67645c72f54fe24,
0xc7a5562c69bd796b,
0xe14201a35b55e4a6,
0xb3a6d89f19d8f774,
0xbb4d607ac22bebe5,
0x792030edeaa924e0,
0x138730dcb60f7e32,
0x699d9dcc326c72dc,
],
[
0xa5e30221500dcd53,
0x3a1058d71c9fad93,
0x510520710c6444e8,
0xa6a5e60c2c1d0108,
0x45c8ea4e14bf8c6b,
0x213a7235416b86df,
0xc186072f80d56ad3,
0xa6a5e60c2c1d0108,
0x45c8ea4e14bf8c6b,
0x213a7235416b86df,
0xc186072f80d56ad3,
0x2e7be098db59d832,
0xd5fa382f3717a0ee,
0xb168b26921d243d,
0x61601a60c2addfbb,
],
[
0xebaed82e48e18ce4,
0xcfe6836b65ebe7c7,
0x504d9d388684d449,
0xbd9c744ee9e3308e,
0xfaefbb8d296b65d4,
0xeba051fe2404c25f,
0x250c8510b8931f87,
0xbd9c744ee9e3308e,
0xfaefbb8d296b65d4,
0xeba051fe2404c25f,
0x250c8510b8931f87,
0x3c4a49150dc5676f,
0x6c28793c565345c4,
0x9df6dd8829a6d8fb,
0x760d3a023fab72e7,
],
[
0xffa50913362b118d,
0x626d52251a8ec3e0,
0x76ce4b9dde2e8c5e,
0xfc57418d92e52355,
0x6b46c559e67a063,
0x3f5c269e10690c5c,
0x6870de8d49e65349,
0xfc57418d92e52355,
0x6b46c559e67a063,
0x3f5c269e10690c5c,
0x6870de8d49e65349,
0x88737e5c672de296,
0xca71fca5f4c4f1ce,
0x42fca3fa7f60e031,
0x4a70246d0d4c2bd8,
],
[
0x256186bcda057f54,
0xfb059b012049fd8e,
0x304e07418b5f739b,
0x3e166f9fac2eec0b,
0x82bc11707ec4a7a4,
0xe29acd3851ce36b6,
0x9765ca9323d30046,
0x3e166f9fac2eec0b,
0x82bc11707ec4a7a4,
0xe29acd3851ce36b6,
0x9765ca9323d30046,
0xdab63e7790017f7c,
0xb9559988bff0f170,
0x48d9ef8aea13eee8,
0xe31e47857c511ec2,
],
[
0x382b15315e84f28b,
0xf9a2578b79590b72,
0x708936af6d4450e8,
0x76a9d4843df75c1c,
0x2c33447da3f2c70a,
0x5e4dcf2eaeace0d6,
0x2ae1727aa7220634,
0x76a9d4843df75c1c,
0x2c33447da3f2c70a,
0x5e4dcf2eaeace0d6,
0x2ae1727aa7220634,
0xa122f6b52e1130ba,
0xa17ae9a21f345e91,
0xff67313f1d0906a9,
0xbb16dc0acd6ebecc,
],
[
0x9983a9cc5576d967,
0x29e37689a173109f,
0xc526073a91f2808c,
0xfe9a9d4a799cf817,
0x7ca841999012c0d1,
0x8b3abfa4bd2aa28e,
0x4ed49274526602eb,
0xfe9a9d4a799cf817,
0x7ca841999012c0d1,
0x8b3abfa4bd2aa28e,
0x4ed49274526602eb,
0x40995df99063fe23,
0x7f51b7ceded05144,
0x743c89732b265bf2,
0x10c8e1fd835713fd,
],
[
0xc2c58a843f733bdb,
0x516c47c97b4ba886,
0xabc3cae0339517db,
0xbe29af0dad5c9d27,
0x70f802599d97fe08,
0x23af3f67d941e52b,
0xa031edd8b3a008fb,
0xbe29af0dad5c9d27,
0x70f802599d97fe08,
0x23af3f67d941e52b,
0xa031edd8b3a008fb,
0x43431336b198f8fd,
0x7c4b60284e1c2245,
0x51ee580ddabae1b3,
0xca99bd13845d8f7f,
],
[
0x648ff27fabf93521,
0xd7fba33cbc153035,
0x3dbcdcf87ad06c9e,
0x52ddbdc9dfd26990,
0xd46784cd2aeabb28,
0xbd3a15e5e4eb7177,
0xb5d7632e19a2cd,
0x52ddbdc9dfd26990,
0xd46784cd2aeabb28,
0xbd3a15e5e4eb7177,
0xb5d7632e19a2cd,
0x8007450fa355dc04,
0x41ca59f64588bb5c,
0x66f2ca6b7487499d,
0x8098716530db9bea,
],
[
0x99be55475dcb3461,
0xd94ffa462f6ba8dc,
0xdbab2b456bdf13bb,
0xf28f496e15914b2d,
0x1171ce20f49cc87d,
0x1b5f514bc1b377a9,
0x8a02cb12ec4d6397,
0xf28f496e15914b2d,
0x1171ce20f49cc87d,
0x1b5f514bc1b377a9,
0x8a02cb12ec4d6397,
0x1c6540740c128d79,
0xd085b67114969f41,
0xaf8c1988085306f3,
0x4681f415d9ce8038,
],
[
0xe16fbb9303dd6d92,
0x4d92b99dd164db74,
0x3f98f2c9da4f5ce3,
0xc65b38c5a47eeed0,
0x5c5301c8ee3923a6,
0x51bf9f9eddec630e,
0xb1cbf1a68be455c2,
0xc65b38c5a47eeed0,
0x5c5301c8ee3923a6,
0x51bf9f9eddec630e,
0xb1cbf1a68be455c2,
0xc356f5f98499bdb8,
0xd897df1ad63fc1d4,
0x9bf2a3a69982e93a,
0xa2380d43e271bcc8,
],
[
0x4a57a4899834e4c0,
0x836c4df2aac32257,
0xcdb66b29e3e12147,
0xc734232cbda1eb4c,
0x30a3cffff6b9dda0,
0xd199313e17cca1ed,
0x594d99e4c1360d82,
0xc734232cbda1eb4c,
0x30a3cffff6b9dda0,
0xd199313e17cca1ed,
0x594d99e4c1360d82,
0xccc37662829a65b7,
0xcae30ff4d2343ce9,
0x54da907f7aade4fa,
0x5d6e4a0272958922,
],
[
0xf658958cdf49f149,
0xde8e4a622b7a16b,
0xa227ebf448c80415,
0x3de9e38b3a369785,
0x84d160d688c573a9,
0x8f562593add0ad54,
0x4446b762cc34e6bf,
0x3de9e38b3a369785,
0x84d160d688c573a9,
0x8f562593add0ad54,
0x4446b762cc34e6bf,
0x2f795f1594c7d598,
0x29e05bd1e0dceaff,
0xa9a88f2962b49589,
0x4b9c86c141ac120b,
],
[
0xae1befc65d3ea04d,
0xcfd9bc0388c8fd00,
0x522f2e1f6cdb31af,
0x585447ebe078801a,
0x14a31676ec4a2cbd,
0xb274e7e6af86a5e1,
0x2d487019570bedce,
0x585447ebe078801a,
0x14a31676ec4a2cbd,
0xb274e7e6af86a5e1,
0x2d487019570bedce,
0xea1dc9ef3c7b2fcc,
0xbde99d4af2f4ee8c,
0x64e4c43cd7c43442,
0x9b5262ee2eed2f99,
],
[
0x2fc8f9fc5946296d,
0x6a2b94c6765ebfa2,
0xf4108b8c79662fd8,
0x3a48de4a1e994623,
0x6318e6e1ff7bc092,
0x84aee2ea26a048fb,
0xcf3c393fdad7b184,
0x3a48de4a1e994623,
0x6318e6e1ff7bc092,
0x84aee2ea26a048fb,
0xcf3c393fdad7b184,
0x28b265bd8985a71e,
0xbd3d97dbd76d89a5,
0xb04ba1623c0937d,
0xb6de821229693515,
],
[
0xefdb4dc26e84dce4,
0x9ce45b6172dffee8,
0xc15ad8c8bcaced19,
0xf10cc2bcf0475411,
0x1126f457c160d8f5,
0x34c67f6ea249d5cc,
0x3ab7633f4557083,
0xf10cc2bcf0475411,
0x1126f457c160d8f5,
0x34c67f6ea249d5cc,
0x3ab7633f4557083,
0x3b2e4d8611a03bd7,
0x3103d6e63d71c3c9,
0x43a56a0b93bb9d53,
0x50aa3ae25803c403,
],
[
0xe84a123b3e1b0c91,
0x735cc1d493c5e524,
0x287030af8f4ac951,
0xfb46abaf4713dda0,
0xe8835b9a08cf8cb2,
0x3b85a40e6bee4cce,
0xeea02a3930757200,
0xfb46abaf4713dda0,
0xe8835b9a08cf8cb2,
0x3b85a40e6bee4cce,
0xeea02a3930757200,
0xfe7057d5fb18ee87,
0x723d258b36eada2a,
0x67641393692a716c,
0xc8539a48dae2e539,
],
[
0x686c22d2863c48a6,
0x1ee6804e3ddde627,
0x8d66184dd34ddac8,
0x35ac1bc76c11976,
0xfed58f898503280d,
0xab6fcb01c630071e,
0xedabf3ec7663c3c9,
0x35ac1bc76c11976,
0xfed58f898503280d,
0xab6fcb01c630071e,
0xedabf3ec7663c3c9,
0x591ec5025592b76e,
0x918a77179b072163,
0x25421d9db4c81e1a,
0x96f1b3be51f0b548,
],
[
0x2c5c1c9fa0ecfde0,
0x266a71b430afaec3,
0x53ab2d731bd8184a,
0x5722f16b15e7f206,
0x35bb5922c0946610,
0xb8d72c08f927f2aa,
0x65f2c378cb9e8c51,
0x5722f16b15e7f206,
0x35bb5922c0946610,
0xb8d72c08f927f2aa,
0x65f2c378cb9e8c51,
0xcd42fec772c2d221,
0x10ccd5d7bacffdd9,
0xa75ecb52192f60e2,
0xa648f5fe45e5c164,
],
[
0x7a0ac8dd441c9a9d,
0x4a4315964b7377f0,
0x24092991c8f27459,
0x9c6868d561691eb6,
0x78b7016996f98828,
0x651e072f06c9e7b7,
0xfed953d1251ae90,
0x9c6868d561691eb6,
0x78b7016996f98828,
0x651e072f06c9e7b7,
0xfed953d1251ae90,
0x7a4d19fdd89e368c,
0xd8224d83b6b9a753,
0x3a93520a455ee9c9,
0x159942bea42b999c,
],
[
0xc6f9a31dfc91537c,
0xb3a250ae029272f8,
0xd065fc76d79ec222,
0xd2baa99749c71d52,
0x5f90a2cfc2a3f637,
0x79e4aca7c8bb0998,
0x981633149c85c0ba,
0xd2baa99749c71d52,
0x5f90a2cfc2a3f637,
0x79e4aca7c8bb0998,
0x981633149c85c0ba,
0x5ded415df904b2ee,
0xd37d1fc032ebca94,
0xed5b024594967bf7,
0xed7ae636d467e961,
],
[
0x2d12010eaf7d8d3d,
0xeaec74ccd9b76590,
0x541338571d45608b,
0xe97454e4191065f3,
0xafb357655f2a5d1c,
0x521ac1614653c130,
0xc8a8cac96aa7f32c,
0xe97454e4191065f3,
0xafb357655f2a5d1c,
0x521ac1614653c130,
0xc8a8cac96aa7f32c,
0x196d7f3f386dfd29,
0x1dcd2da5227325cc,
0x10e3b9fa712d3405,
0xfdf7864ede0856c0,
],
[
0xf46de22b2d79a5bd,
0xe3e198ba766c0a29,
0x828d8c137216b797,
0xbafdb732c8a29420,
0x2ed0b9f4548a9ac3,
0xf1ed2d5417d8d1f7,
0x451462f90354d097,
0xbafdb732c8a29420,
0x2ed0b9f4548a9ac3,
0xf1ed2d5417d8d1f7,
0x451462f90354d097,
0xbdd091094408851a,
0xc4c1731c1ea46c2c,
0x615a2348d60409a8,
0xfbc2f058d5539bcc,
],
[
0x2ce2f3e89fa141fe,
0xac588fe6ab2b719,
0x59b848c80739487d,
0x423722957b566d10,
0xae4be02664998dc6,
0x64017aacfa69ef80,
0x28076dddbf65a40a,
0x423722957b566d10,
0xae4be02664998dc6,
0x64017aacfa69ef80,
0x28076dddbf65a40a,
0x873bc41acb810f94,
0xac0edafb574b7c0d,
0x937d5d5fd95330bf,
0x4ea91171e208bd7e,
],
[
0x8aa75419d95555dd,
0xbdb046419d0bf1b0,
0xaadf49f217b153da,
0xc3cbbe7eb0f5e126,
0xfd1809c329311bf6,
0x9c26cc255714d79d,
0x67093aeb89f5d8c8,
0xc3cbbe7eb0f5e126,
0xfd1809c329311bf6,
0x9c26cc255714d79d,
0x67093aeb89f5d8c8,
0x265954c61009eaf7,
0xa5703e8073eaf83f,
0x855382b1aed9c128,
0xa6652d5a53d4a008,
],
[
0x1fbf19dd9207e6aa,
0x722834f3c5e43cb7,
0xe3c13578c5a69744,
0xdb9120bc83472135,
0xf3d9f715e669cfd5,
0x63facc852f487dda,
0x9f08fd85a3a78111,
0xdb9120bc83472135,
0xf3d9f715e669cfd5,
0x63facc852f487dda,
0x9f08fd85a3a78111,
0x6c1e5c694b51b7ca,
0xbbceb2e47d44f6a1,
0x2eb472efe06f8330,
0x1844408e2bb87ee,
],
[
0x6f11f9c1131f1182,
0x6f90740debc7bad2,
0x8d6e4e2d46ee614b,
0x403e3793f0805ac3,
0x6278da3d8667a055,
0x98eceadb4f237978,
0x4daa96284c847b0,
0x403e3793f0805ac3,
0x6278da3d8667a055,
0x98eceadb4f237978,
0x4daa96284c847b0,
0xab119ac9f803d770,
0xab893fe847208376,
0xf9d9968ae4472ac3,
0xb149ff3b35874201,
],
[
0x92e896d8bfdebdb5,
0x2d5c691a0acaeba7,
0x377d7f86b7cb2f8b,
0xb8a0738135dde772,
0x57fb6c9033fc5f35,
0x20e628f266e63e1,
0x1ad6647eaaa153a3,
0xb8a0738135dde772,
0x57fb6c9033fc5f35,
0x20e628f266e63e1,
0x1ad6647eaaa153a3,
0x10005c85a89e601a,
0xcc9088ed03a78e4a,
0xc8d3049b8c0d26a1,
0x26e8c0e936cf8cce,
],
[
0x369ba54df3c534d1,
0x972c7d2be5f62834,
0x112c8d0cfcc8b1e,
0xbcddd22a14192678,
0x446cf170a4f05e72,
0xc9e992c7a79ce219,
0xfa4762e60a93cf84,
0xbcddd22a14192678,
0x446cf170a4f05e72,
0xc9e992c7a79ce219,
0xfa4762e60a93cf84,
0xb2e11a375a352f,
0xa70467d0fd624cf1,
0x776b638246febf88,
0xe7d1033f7faa39b5,
],
[
0xbcc4229e083e940e,
0x7a42ebe9e8f526b5,
0xbb8d1f389b0769ee,
0xae6790e9fe24c57a,
0x659a16feab53eb5,
0x6fd4cfade750bf16,
0x31b1acd328815c81,
0xae6790e9fe24c57a,
0x659a16feab53eb5,
0x6fd4cfade750bf16,
0x31b1acd328815c81,
0x8a711090a6ccfd44,
0x363240c31681b80e,
0xad791f19de0b07e9,
0xd512217d21c7c370,
],
[
0x17c648f416fb15ca,
0xfe4d070d14d71a1d,
0xff22eac66f7eb0d3,
0xfa4c10f92facc6c7,
0x94cad9e4daecfd58,
0x6ffcf829a275d7ef,
0x2a35d2436894d549,
0xfa4c10f92facc6c7,
0x94cad9e4daecfd58,
0x6ffcf829a275d7ef,
0x2a35d2436894d549,
0xc9ea25549513f5a,
0x93f7cf06df2d0206,
0xef0da319d38fe57c,
0xf715dc84df4f4a75,
],
[
0x8b752dfa2f9fa592,
0xca95e87b662fe94d,
0x34da3aadfa49936d,
0xbf1696df6e61f235,
0x9724fac2c03e3859,
0xd9fd1463b07a8b61,
0xf8e397251053d8ca,
0xbf1696df6e61f235,
0x9724fac2c03e3859,
0xd9fd1463b07a8b61,
0xf8e397251053d8ca,
0xc6d26d868c9e858e,
0x2f4a1cb842ed6105,
0x6cc48927bd59d1c9,
0x469e836d0b7901e1,
],
[
0x3edda5262a7869bf,
0xa15eab8c522050c9,
0xba0853c48707207b,
0x4d751c1a836dcda3,
0x9747a6e96f1dd82c,
0x3c986fc5c9dc9755,
0xa9d04f3a92844ecd,
0x4d751c1a836dcda3,
0x9747a6e96f1dd82c,
0x3c986fc5c9dc9755,
0xa9d04f3a92844ecd,
0x2da9c6cede185e36,
0xfae575ef03f987d6,
0xb4a6a620b2bee11a,
0x8acba91c5813c424,
],
[
0xb5776f9ceaf0dba2,
0x546eee4cee927b0a,
0xce70d774c7b1cf77,
0x7f707785c2d807d7,
0x1ea8247d40cdfae9,
0x4945806eac060028,
0x1a14948790321c37,
0x7f707785c2d807d7,
0x1ea8247d40cdfae9,
0x4945806eac060028,
0x1a14948790321c37,
0xba3327bf0a6ab79e,
0x54e2939592862de8,
0xb7d4651234fa11c7,
0xd122970552454def,
],
[
0x313161f3ce61ec83,
0xc6c5acb78303987d,
0xf00761c6c6e44cee,
0xea660b39d2528951,
0xe84537f81a44826a,
0xb850bbb69593c26d,
0x22499793145e1209,
0xea660b39d2528951,
0xe84537f81a44826a,
0xb850bbb69593c26d,
0x22499793145e1209,
0x4c61b993560bbd58,
0x636d296abe771743,
0xf1861b17b8bc3146,
0xcd5fca4649d30f8a,
],
[
0x6e23080c57f4bcb,
0x5f4dad6078644535,
0xf1591bc445804407,
0x46ca76959d0d4824,
0x200b16bb4031e6a5,
0x3d0e4718ed5363d2,
0x4c8cfcc96382106f,
0x46ca76959d0d4824,
0x200b16bb4031e6a5,
0x3d0e4718ed5363d2,
0x4c8cfcc96382106f,
0x8d6258d795b8097b,
0x23ae7cd1cab4b141,
0xcbe74e8fd420afa,
0xd553da4575629c63,
],
[
0xa194c120f440fd48,
0xac0d985eef446947,
0x5df9fa7d97244438,
0xfce2269035535eba,
0x2d9b4b2010a90960,
0x2b0952b893dd72f0,
0x9a51e8462c1111de,
0xfce2269035535eba,
0x2d9b4b2010a90960,
0x2b0952b893dd72f0,
0x9a51e8462c1111de,
0x8682b5e0624432a4,
0xde8500edda7c67a9,
0x4821b171f562c5a2,
0xecb17dea1002e2df,
],
[
0x3c78f67ee87b62fe,
0x274c83c73f20f662,
0x25a94c36d3763332,
0x7e053f1b873bed61,
0xd1c343547cd9c816,
0x4deee69b90a52394,
0x14038f0f3128ca46,
0x7e053f1b873bed61,
0xd1c343547cd9c816,
0x4deee69b90a52394,
0x14038f0f3128ca46,
0xebbf836e38c70747,
0xc3c1077b9a7598d0,
0xe73c720a27b07ba7,
0xec57f8a9a75af4d9,
],
[
0xb7d2aee81871e3ac,
0x872ac6546cc94ff2,
0xa1b0d2f507ad2d8f,
0xbdd983653b339252,
0xc02783d47ab815f8,
0x36c5dc27d64d776c,
0x5193988eea7df808,
0xbdd983653b339252,
0xc02783d47ab815f8,
0x36c5dc27d64d776c,
0x5193988eea7df808,
0x8d8cca9c605cdb4a,
0x334904fd32a1f934,
0xdbfc15742057a47f,
0xf3f92db42ec0cba1,
],
[
0x41ec0382933e8f72,
0xbd5e52d651bf3a41,
0xcbf51a6873d4b29e,
0x1c8c650bfed2c546,
0x9c9085c070350c27,
0xe82305be3bded854,
0xcf56326bab3d685d,
0x1c8c650bfed2c546,
0x9c9085c070350c27,
0xe82305be3bded854,
0xcf56326bab3d685d,
0xf94db129adc6cecc,
0x1f80871ec4b35deb,
0xc0dc1a4c74d63d0,
0xd3cac509f998c174,
],
[
0x7fe4e777602797f0,
0x626e62f39f7c575d,
0xd15d6185215fee2f,
0xf82ef80641514b70,
0xe2702de53389d34e,
0x9950592b7f2da8d8,
0xd6b960bf3503f893,
0xf82ef80641514b70,
0xe2702de53389d34e,
0x9950592b7f2da8d8,
0xd6b960bf3503f893,
0x95de69e4f131a9b,
0xee6f56eeff9cdefa,
0x28f4f86c2b856b72,
0xb73d2decaac56b5b,
],
[
0xaa71127fd91bd68a,
0x960f6304500f8069,
0x5cfa9758933beba8,
0xdcbbdeb1f56b0ac5,
0x45164c603d084ce4,
0x85693f4ef7e34314,
0xe3a3e3a5ec1f6252,
0xdcbbdeb1f56b0ac5,
0x45164c603d084ce4,
0x85693f4ef7e34314,
0xe3a3e3a5ec1f6252,
0x91f4711c59532bab,
0x5e5a61d26f97200b,
0xffa65a1a41da5883,
0x5f0e712235371eef,
],
[
0x677b53782a8af152,
0x90d76ef694361f72,
0xfa2cb9714617a9e0,
0x72c8667cc1e45aa9,
0x3a0aa035bbcd1ef6,
0x588e89b034fde91b,
0xf62e4e1d81c1687,
0x72c8667cc1e45aa9,
0x3a0aa035bbcd1ef6,
0x588e89b034fde91b,
0xf62e4e1d81c1687,
0x1ea81508efa11e09,
0x1cf493a4dcd49aad,
0x8217d0fbe8226130,
0x607b979c0eb297dd,
],
[
0x8f97bb03473c860f,
0xe23e420f9a32e4a2,
0x3432c97895fea7cf,
0x69cc85dac0991c6c,
0x4a6c529f94e9c36a,
0xe5865f8da8c887df,
0x27e8c77da38582e0,
0x69cc85dac0991c6c,
0x4a6c529f94e9c36a,
0xe5865f8da8c887df,
0x27e8c77da38582e0,
0x8e60596b4e327dbc,
0x955cf21baa1ddb18,
0xc24a8eb9360370aa,
0x70d75fd116c2cab1,
],
[
0xfe50ea9f58e4de6f,
0xf0a085b814230ce7,
0x89407f0548f90e9d,
0x6c595ea139648eba,
0xefe867c726ab2974,
0x26f48ecc1c3821cf,
0x55c63c1b3d0f1549,
0x6c595ea139648eba,
0xefe867c726ab2974,
0x26f48ecc1c3821cf,
0x55c63c1b3d0f1549,
0x552e5f78e1d87a69,
0xc9bfe2747a4eedf0,
0xd5230acb6ef95a1,
0x1e812f3c0d9962bd,
],
[
0x56eb0fcb9852bd27,
0xc817b9a578c7b12,
0x45427842795bfa84,
0x8dccc5f52a65030c,
0xf89ffa1f4fab979,
0x7d94da4a61305982,
0x1ba6839d59f1a07a,
0x8dccc5f52a65030c,
0xf89ffa1f4fab979,
0x7d94da4a61305982,
0x1ba6839d59f1a07a,
0xe0162ec1f40d583e,
0x6abf0b85552c7c33,
0xf14bb021a875867d,
0xc12a569c8bfe3ba7,
],
[
0x6be2903d8f07af90,
0x26aaf7b795987ae8,
0x44a19337cb53fdeb,
0xf0e14afc59e29a3a,
0xa4d0084172a98c0d,
0x275998a345d04f0f,
0xdb73704d81680e8d,
0xf0e14afc59e29a3a,
0xa4d0084172a98c0d,
0x275998a345d04f0f,
0xdb73704d81680e8d,
0x351388cf7529b1b1,
0xa3155d0237571da5,
0x355231b516da2890,
0x263c5a3d498c1cc,
],
[
0x58668066da6bfc4,
0xa4ea2eb7212df3dd,
0x481f64f7ca220524,
0x11b3b649b1cea339,
0x57f4ad5b54d71118,
0xfeeb30bec803ab49,
0x6ed9bcc1973d9bf9,
0x11b3b649b1cea339,
0x57f4ad5b54d71118,
0xfeeb30bec803ab49,
0x6ed9bcc1973d9bf9,
0xbf2859d9964a70c8,
0xd31ab162ca25f24e,
0x70349336ff55d5d5,
0x9a2fa97115ef4409,
],
[
0x2d04d1fbab341106,
0xefe0c5b2878b444c,
0x882a2a889b5e8e71,
0x18cc96be09e5455,
0x1ad58fd26919e409,
0x76593521c4a0006b,
0xf1361f348fa7cbfb,
0x18cc96be09e5455,
0x1ad58fd26919e409,
0x76593521c4a0006b,
0xf1361f348fa7cbfb,
0x205bc68e660b0560,
0x74360e11f9fc367e,
0xa88b7b0fa86caf,
0xa982d749b30d4e4c,
],
[
0xd366b37bcd83805b,
0xa6d16fea50466886,
0xcb76dfa8eaf74d70,
0x389c44e423749aa,
0xa30d802bec4e5430,
0x9ac1279f92bea800,
0x686ef471c2624025,
0x389c44e423749aa,
0xa30d802bec4e5430,
0x9ac1279f92bea800,
0x686ef471c2624025,
0x2c21a72f8e3a3423,
0xdf5ab83f0918646a,
0xcd876e0cb4df80fa,
0x5abbb92679b3ea36,
],
[
0xbbb9bc819ab65946,
0x25e0c756c95803e2,
0x82a73a1e1cc9bf6a,
0x671b931b702519a3,
0x61609e7dc0dd9488,
0x9cb329b8cab5420,
0x3c64f8ea340096ca,
0x671b931b702519a3,
0x61609e7dc0dd9488,
0x9cb329b8cab5420,
0x3c64f8ea340096ca,
0x1690afe3befd3afb,
0x4d3c18a846602740,
0xa6783133a31dd64d,
0xecf4665e6bc76729,
],
[
0x8e994eac99bbc61,
0x84de870b6f3c114e,
0x150efc95ce7b0cd2,
0x4c5d48abf41185e3,
0x86049a83c7cdcc70,
0xad828ff609277b93,
0xf60fe028d582ccc7,
0x4c5d48abf41185e3,
0x86049a83c7cdcc70,
0xad828ff609277b93,
0xf60fe028d582ccc7,
0x464e0b174da0cbd4,
0xeadf1df69041b06e,
0x48cb9c96a9df1cdc,
0xb7e5ee62809223a1,
],
[
0x364cabf6585e2f7d,
0x3be1cc452509807e,
0x1236ce85788680d4,
0x4cea77c54fc3583a,
0x9a2a64766fd77614,
0x63e6c9254b5dc4db,
0x26af12ba3bf5988e,
0x4cea77c54fc3583a,
0x9a2a64766fd77614,
0x63e6c9254b5dc4db,
0x26af12ba3bf5988e,
0x4a821aca3ffa26a1,
0x99aa9aacbb3d08e3,
0x619ac77b52e8a823,
0x68c745a1ce4b7adb,
],
[
0xe878e2200893d775,
0x76b1e0a25867a803,
0x9c14d6d91f5ae2c5,
0xac0ffd8d64e242ed,
0xe1673ee2dd997587,
0x8cdf3e9369d61003,
0xc37c9a5258b98eba,
0xac0ffd8d64e242ed,
0xe1673ee2dd997587,
0x8cdf3e9369d61003,
0xc37c9a5258b98eba,
0xf252b2e7b67dd012,
0x47fc1eb088858f28,
0x59c42e4af1353223,
0xe05b6c61c19eb26e,
],
[
0x6f6a014b9a861926,
0x269e13a120277867,
0x37fc8a181e78711b,
0x33dd054c41f3aef2,
0x4fc8ab1a2ef3da7b,
0x597178c3756a06dc,
0x748f8aadc540116f,
0x33dd054c41f3aef2,
0x4fc8ab1a2ef3da7b,
0x597178c3756a06dc,
0x748f8aadc540116f,
0x78e3be34de99461e,
0x28b7b60d90dddab4,
0xe47475fa9327a619,
0x88b17629e6265924,
],
[
0xda52b64212e8149b,
0x121e713c1692086f,
0xf3d63cfa03850a02,
0xf0d82bafec3c564c,
0x37dece35b549a1ce,
0x5fb28f6078c4a2bd,
0xb69990b7d9405710,
0xf0d82bafec3c564c,
0x37dece35b549a1ce,
0x5fb28f6078c4a2bd,
0xb69990b7d9405710,
0x3af5223132071100,
0x56d5bb35f3bb5d2a,
0xfcad4a4d5d3a1bc7,
0xf17bf3d8853724d0,
],
[
0x1100f797ce53a629,
0xf528c6614a1a30c2,
0x30e49fb56bec67fa,
0xf991664844003cf5,
0xd54f5f6c8c7cf835,
0xca9cc4437c591ef3,
0xd5871c77cf8fb424,
0xf991664844003cf5,
0xd54f5f6c8c7cf835,
0xca9cc4437c591ef3,
0xd5871c77cf8fb424,
0x5cf90f1e617b750c,
0x1648f825ab986232,
0x936cf225126a60,
0x90fa5311d6f2445c,
],
[
0x4f00655b76e9cfda,
0x9dc5c707772ed283,
0xb0f885f1e01927ec,
0x6e4d6843289dfb47,
0x357b41c6e5fd561f,
0x491e386bacb6df3c,
0x86be1b64ecd9945c,
0x6e4d6843289dfb47,
0x357b41c6e5fd561f,
0x491e386bacb6df3c,
0x86be1b64ecd9945c,
0xbe9547e3cfd85fae,
0xf9e26ac346b430a8,
0x38508b84b0e68cff,
0xa28d49dbd5562703,
],
[
0xd970198b6ca854db,
0x92e3d1786ae556a0,
0x99a165d7f0d85cf1,
0x6548910c5f668397,
0xa5c8d20873e7de65,
0x5b7c4ecfb8e38e81,
0x6aa50a5531dad63e,
0x6548910c5f668397,
0xa5c8d20873e7de65,
0x5b7c4ecfb8e38e81,
0x6aa50a5531dad63e,
0xab903d724449e003,
0xea3cc836c28fef88,
0x4b250d6c7200949d,
0x13a110654fa916c0,
],
[
0x76c850754f28803,
0xa4bffed2982cb821,
0x6710e352247caf63,
0xd9cbf5b9c31d964e,
0x25c8f890178b97ae,
0xe7c46064676cde9f,
0xd8bb5eeb49c06336,
0xd9cbf5b9c31d964e,
0x25c8f890178b97ae,
0xe7c46064676cde9f,
0xd8bb5eeb49c06336,
0x962b35ae89d5f4c1,
0xc49083801ac2c21,
0x2db46ddec36ff33b,
0xda48992ab8da284,
],
[
0x9c98da9763f0d691,
0xf5437139a3d40401,
0x6f493c26c42f91e2,
0xe857e4ab2d124d5,
0x6417bb2f363f36da,
0xadc36c9c92193bb1,
0xd35bd456172df3df,
0xe857e4ab2d124d5,
0x6417bb2f363f36da,
0xadc36c9c92193bb1,
0xd35bd456172df3df,
0x577da94064d3a3d6,
0x23f13d7532ea496a,
0x6e09392d80b8e85b,
0x2e05ff6f23663892,
],
[
0x22f8f6869a5f325,
0xa0e7a96180772c26,
0xcb71ea6825fa3b77,
0x39d3dec4e718e903,
0x900c9fbdf1ae2428,
0x305301da2584818,
0xc6831f674e1fdb1f,
0x39d3dec4e718e903,
0x900c9fbdf1ae2428,
0x305301da2584818,
0xc6831f674e1fdb1f,
0x8ad0e38ffe71babf,
0x554ac85a8a837e64,
0x9900c582cf401356,
0x169f646b01ed7762,
],
[
0x9ae7575fc14256bb,
0xab9c5a397fabc1b3,
0x1d3f582aaa724b2e,
0x94412f598ef156,
0x15bf1a588f25b327,
0x5756646bd68ce022,
0xf062a7d29be259a5,
0x94412f598ef156,
0x15bf1a588f25b327,
0x5756646bd68ce022,
0xf062a7d29be259a5,
0xaa99c683cfb60b26,
0x9e3b7d4b17f91273,
0x301d3f5422dd34cf,
0x53d3769127253551,
],
[
0x540040e79752b619,
0x670327e237c88cb3,
0x50962f261bcc31d9,
0x9a8ea2b68b2847ec,
0xbc24ab7d4cbbda31,
0xdf5aff1cd42a9b57,
0xdb47d368295f4628,
0x9a8ea2b68b2847ec,
0xbc24ab7d4cbbda31,
0xdf5aff1cd42a9b57,
0xdb47d368295f4628,
0x9a66c221d1bf3f3,
0x7ae74ee1281de8ee,
0xa4e173e2c787621f,
0x5b51062d10ae472,
],
[
0x34cbf85722d897b1,
0x6208cb2a0fff4eba,
0xe926cbc7e86f544e,
0x883706c4321efee0,
0x8fd5d3d84c7827e4,
0xa5c80e455a7ccaaa,
0x3515f41164654591,
0x883706c4321efee0,
0x8fd5d3d84c7827e4,
0xa5c80e455a7ccaaa,
0x3515f41164654591,
0x2c08bfc75dbfd261,
0x6e9eadf14f8c965e,
0x18783f5770cd19a3,
0xa6c7f2f1aa7b59ea,
],
[
0x46afa66366bf5989,
0xaa0d424ac649008b,
0x97a9108b3cd9c5c9,
0x6ca08e09227a9630,
0x8b11f73a8e5b80eb,
0x2391bb535dc7ce02,
0xe43e2529cf36f4b9,
0x6ca08e09227a9630,
0x8b11f73a8e5b80eb,
0x2391bb535dc7ce02,
0xe43e2529cf36f4b9,
0xc9bd6d82b7a73d9d,
0xb2ed9bae888447ac,
0xbd22bb13af0cd06d,
0x62781441785b355b,
],
[
0xe15074b077c6e560,
0x7c8f2173fcc34afa,
0x8aad55bc3bd38370,
0xd407ecdbfb7cb138,
0x642442eff44578af,
0xd3e9fdaf71a5b79e,
0xc87c53eda46aa860,
0xd407ecdbfb7cb138,
0x642442eff44578af,
0xd3e9fdaf71a5b79e,
0xc87c53eda46aa860,
0x8462310a2c76ff51,
0x1bc17a2e0976665e,
0x6ec446b13b4d79cf,
0x388c7a904b4264c1,
],
[
0x9740b2b2d6d06c6,
0xe738265f9de8dafc,
0xfdc947c1fca8be9e,
0xd6936b41687c1e3d,
0xa1a2deb673345994,
0x91501e58b17168bd,
0xb8edee2b0b708dfc,
0xd6936b41687c1e3d,
0xa1a2deb673345994,
0x91501e58b17168bd,
0xb8edee2b0b708dfc,
0xddf4b43dafd17445,
0x44015d050a04ce5c,
0x1019fd9ab82c4655,
0xc803aea0957bcdd1,
],
[
0xf1431889f2db1bff,
0x85257aa1dc6bd0d0,
0x1abbdea0edda5be4,
0x775aa89d278f26c3,
0xa542d20265e3ef09,
0x933bdcac58a33090,
0xc43614862666ca42,
0x775aa89d278f26c3,
0xa542d20265e3ef09,
0x933bdcac58a33090,
0xc43614862666ca42,
0x4c5e54d481a9748d,
0x65ce3cd0db838b26,
0x9ccbb4005c7f09d2,
0xe6dda9555dde899a,
],
[
0xe2dd273a8d28c52d,
0x8cd95915fdcfd96b,
0x67c0f5b1025f0699,
0xcbc94668d48df4d9,
0x7e3d656e49d632d1,
0x8329e30cac7a61d4,
0x38e6cd1e2034e668,
0xcbc94668d48df4d9,
0x7e3d656e49d632d1,
0x8329e30cac7a61d4,
0x38e6cd1e2034e668,
0x41e0bce03ed9394b,
0x7be48d0158b9834a,
0x9ea8d5d1a976b18b,
0x606c424c33617e7a,
],
[
0xe0f79029834cc6ac,
0xf2b1dcb87cc5e94c,
0x4210bc221fe5e70a,
0xfd4a4301d4e2ac67,
0x8f84358d25b2999b,
0x6c4b7d8a5a22ccbb,
0x25df606bb23c9d40,
0xfd4a4301d4e2ac67,
0x8f84358d25b2999b,
0x6c4b7d8a5a22ccbb,
0x25df606bb23c9d40,
0x915298b0eaadf85b,
0x5ec23cc4c6a74e62,
0xd640a4ff99763439,
0x1603753fb34ad427,
],
[
0x9dc0a29830bcbec1,
0xec4a01dbd52d96a0,
0xcd49c657eff87b05,
0xea487fe948c399e1,
0xf5de9b2e59192609,
0x4604d9b3248b3a5,
0x1929878a22c86a1d,
0xea487fe948c399e1,
0xf5de9b2e59192609,
0x4604d9b3248b3a5,
0x1929878a22c86a1d,
0x3cf6cd7c19dfa1ef,
0x46e404ee4af2d726,
0x613ab0588a5527b5,
0x73e39385ced7e684,
],
[
0xd10b70dde60270a6,
0xbe0f3b256e23422a,
0x6c601297a3739826,
0xe327ffc477cd2467,
0xebebba63911f32b2,
0x2c2c5c24cf4970a2,
0xa3cd2c192c1b8bf,
0xe327ffc477cd2467,
0xebebba63911f32b2,
0x2c2c5c24cf4970a2,
0xa3cd2c192c1b8bf,
0x94cb02c94aaf250b,
0x30ca38d5e3dac579,
0xd68598a91dc597b5,
0x162b050e8de2d92,
],
[
0x58d2459f094d075c,
0xb4df247528d23251,
0x355283f2128a9e71,
0xd046198e4df506c2,
0xc61bb9705786ae53,
0xb360200380d10da8,
0x59942bf009ee7bc,
0xd046198e4df506c2,
0xc61bb9705786ae53,
0xb360200380d10da8,
0x59942bf009ee7bc,
0x95806d027f8d245e,
0x32df87487ed9d0f4,
0xe2c5bc224ce97a98,
0x9a47c1e33cfb1cc5,
],
[
0x68c600cdd42d9f65,
0xbdf0c331f039ff25,
0x1354ac1d98944023,
0xb5cdfc0b06fd1bd9,
0x71f0ce33b183efab,
0xd8ae4f9d4b949755,
0x877da19d6424f6b3,
0xb5cdfc0b06fd1bd9,
0x71f0ce33b183efab,
0xd8ae4f9d4b949755,
0x877da19d6424f6b3,
0xf7cc5cbf76bc6006,
0xc93078f44b98efdb,
0x3d482142c727e8bc,
0x8e23f92e0616d711,
],
[
0x9fc0bd876cb975da,
0x80f41015045d1ade,
0x5cbf601fc55c809a,
0x7d9c567075001705,
0xa2fafeed0df46d5d,
0xa70b82990031da8f,
0x8611c76abf697e56,
0x7d9c567075001705,
0xa2fafeed0df46d5d,
0xa70b82990031da8f,
0x8611c76abf697e56,
0x806911617e1ee53,
0x1ce82ae909fba503,
0x52df85fea9e404bd,
0xdbd184e5d9a11a3e,
],
[
0x7b3e8c267146c361,
0xc6ad095af345b726,
0xaf702ddc731948bd,
0x7ca4c883bded44b5,
0xc90beb31ee9b699a,
0x2cdb4aba3d59b8a3,
0xdf0d4fa685e938f0,
0x7ca4c883bded44b5,
0xc90beb31ee9b699a,
0x2cdb4aba3d59b8a3,
0xdf0d4fa685e938f0,
0xcc0e568e91aaa382,
0x70ca583a464dbea,
0xb7a5859b44710e1a,
0xad141467fdf9a83a,
],
[
0x6c49c6b3c9dd340f,
0x897c41d89af37bd1,
0x52df69e0e2c68a8d,
0xeec4be1f65531a50,
0xbf23d928f20f1b50,
0xc642009b9c593940,
0xc5e59e6ca9e96f85,
0xeec4be1f65531a50,
0xbf23d928f20f1b50,
0xc642009b9c593940,
0xc5e59e6ca9e96f85,
0x7fbd53343e7da499,
0xdd87e7b88afbd251,
0x92696e7683b9f322,
0x60ff51ef02c24652,
],
[
0x47324327a4cf1732,
0x6044753d211e1dd5,
0x1ecae46d75192d3b,
0xb6d6315a902807e3,
0xccc8312c1b488e5d,
0xb933a7b48a338ec,
0x9d6753cd83422074,
0xb6d6315a902807e3,
0xccc8312c1b488e5d,
0xb933a7b48a338ec,
0x9d6753cd83422074,
0x5714bd5c0efdc7a8,
0x221585e2c88068ca,
0x303342b25678904,
0x8c174a03e69a76e,
],
[
0x1e984ef53c5f6aae,
0x99ea10dac804298b,
0xa3f8c241100fb14d,
0x259eb3c63a9c9be6,
0xf8991532947c7037,
0xa16d20b3fc29cfee,
0x493c2e91a775af8c,
0x259eb3c63a9c9be6,
0xf8991532947c7037,
0xa16d20b3fc29cfee,
0x493c2e91a775af8c,
0x275fccf4acb08abc,
0xd13fb6ea3eeaf070,
0x505283e5b702b9ea,
0x64c092f9f8df1901,
],
[
0xb88f5c9b8b854cc6,
0x54fc5d39825b446,
0xa12fc1546eac665d,
0xab90eb7fa58b280c,
0xdda26598356aa599,
0x64191d63f2586e52,
0xcada0075c34e8b02,
0xab90eb7fa58b280c,
0xdda26598356aa599,
0x64191d63f2586e52,
0xcada0075c34e8b02,
0xe7de6532b691d87c,
0xa28fec86e368624,
0x796c280eebd0241a,
0xacfcecb641fdbeee,
],
[
0x9fcb3fdb09e7a63a,
0x7a115c9ded150112,
0xe9ba629108852f37,
0x9b03c7c218c192a,
0x93c1dd563f46308e,
0xf9553625917ea800,
0xe0a52f8a5024c59,
0x9b03c7c218c192a,
0x93c1dd563f46308e,
0xf9553625917ea800,
0xe0a52f8a5024c59,
0x2bb3a9e8b053e490,
0x8b97936723cd8ff6,
0xbf3f835246d02722,
0xc8e033da88ecd724,
],
[
0xd58438d62089243,
0xd8c19375b228e9d3,
0x13042546ed96e790,
0x4a42ef343514138c,
0x549e62449e225cf1,
0xdd8260e2808f68e8,
0x69580fc81fcf281b,
0x4a42ef343514138c,
0x549e62449e225cf1,
0xdd8260e2808f68e8,
0x69580fc81fcf281b,
0xfc0e30d682e87289,
0xf44b784248d6107b,
0xdf25119527fdf209,
0xcc265612588171a8,
],
[
0x7ea73b6b74c8cd0b,
0xe07188dd9b5bf3ca,
0x6ef62ff2dd008ed4,
0xacd94b3038342152,
0x1b0ed99c9b7ba297,
0xb794a93f4c895939,
0x97a60cd93021206d,
0xacd94b3038342152,
0x1b0ed99c9b7ba297,
0xb794a93f4c895939,
0x97a60cd93021206d,
0x9e0c0e6da5001b07,
0x5f5b817de5d2a391,
0x35b8a8702acdd533,
0x3bbcfef344f455,
],
[
0xe42ffdf6278bb21,
0x59df3e5ca582ff9d,
0xf3108785599dbde9,
0xf78e8a2d4aba6a1d,
0x700473fb0d8380fc,
0xd0a0d68061ac74b2,
0x11650612fa426e5a,
0xf78e8a2d4aba6a1d,
0x700473fb0d8380fc,
0xd0a0d68061ac74b2,
0x11650612fa426e5a,
0xe39ceb5b2955710c,
0xf559ff201f8cebaa,
0x1fbc182809e829a0,
0x295c7fc82fa6fb5b,
],
[
0x9ad37fcd49fe4aa0,
0x76d40da71930f708,
0xbea08b630f731623,
0x797292108901a81f,
0x3b94127b18fae49c,
0x688247179f144f1b,
0x48a507a1625d13d7,
0x797292108901a81f,
0x3b94127b18fae49c,
0x688247179f144f1b,
0x48a507a1625d13d7,
0x452322aaad817005,
0x51d730d973e13d44,
0xc883eb30176652ea,
0x8d338fd678b2404d,
],
[
0x27b7ff391136696e,
0x60db94a18593438c,
0xb5e46d79c4dafbad,
0xad56fd25a6f15289,
0x68a0ec7c0179df80,
0xa0aacfc36620957,
0x87a0762a09e2e1c1,
0xad56fd25a6f15289,
0x68a0ec7c0179df80,
0xa0aacfc36620957,
0x87a0762a09e2e1c1,
0xd50ace99460f0be3,
0x7f1fe5653ae0d999,
0x3870899d9d6c22c,
0xdf5f952dd90d5a09,
],
[
0x76bd077e42692ddf,
0xc14b60958c2c7a85,
0xfd9f3b0b3b1e2738,
0x273d2c51a8e65e71,
0xac531423f670bf34,
0x7f40c6bfb8c5758a,
0x5fde65b433a10b02,
0x273d2c51a8e65e71,
0xac531423f670bf34,
0x7f40c6bfb8c5758a,
0x5fde65b433a10b02,
0xdbda6c4252b0a75c,
0x5d4cfd8f937b23d9,
0x3895f478e1c29c9d,
0xe3e7c1fd1199aec6,
],
[
0x81c672225442e053,
0x927c3f6c8964050e,
0xcb59f8f2bb36fac5,
0x298f3583326fd942,
0xb85602a9a2e2f97c,
0x65c849bfa3191459,
0xbf21329dfb496c0d,
0x298f3583326fd942,
0xb85602a9a2e2f97c,
0x65c849bfa3191459,
0xbf21329dfb496c0d,
0xea7b7b44c596aa18,
0xc18bfb6e9a36d59c,
0x1b55f03e8a38cc0a,
0xb6a94cd47bbf847f,
],
[
0x37b9e308747448ca,
0x513f39f5545b1bd,
0x145b32114ca00f9c,
0xcce24b9910eb0489,
0xaf4ac64668ac57d9,
0xea0e44c13a9a5d5e,
0xb224fb0c680455f4,
0xcce24b9910eb0489,
0xaf4ac64668ac57d9,
0xea0e44c13a9a5d5e,
0xb224fb0c680455f4,
0xa7714bbba8699be7,
0xfecad6e0e0092204,
0xc1ce8bd5ac247eb4,
0x3993aef5c07cdca2,
],
[
0xdab71695950a51d4,
0x9e98e4dfa07566fe,
0xfab3587513b84ec0,
0x2409f60f0854f305,
0xb17f6e6c8ff1894c,
0x62fa048551dc7ad6,
0xd99f4fe2799bad72,
0x2409f60f0854f305,
0xb17f6e6c8ff1894c,
0x62fa048551dc7ad6,
0xd99f4fe2799bad72,
0x4a38e7f2f4a669d3,
0x53173510ca91f0e3,
0xcc9096c0df860b0,
0x52ed637026a4a0d5,
],
[
0x28630288285c747b,
0xa165a5bf51aaec95,
0x927d211f27370016,
0x727c782893d30c22,
0x742706852989c247,
0xc546494c3bb5e7e2,
0x1fb2a5d1570f5dc0,
0x727c782893d30c22,
0x742706852989c247,
0xc546494c3bb5e7e2,
0x1fb2a5d1570f5dc0,
0x71e498804df91b76,
0x4a6a5aa6f7e5621,
0x871a63730d13a544,
0x63f77c8f371cc2f8,
],
[
0x4b591ad5160b6c1b,
0xe8f85ddd5a1143f7,
0x377e18171476d64,
0x829481773cce2cb1,
0xc9d9fb4e25e4d243,
0xc1fff894f0cf713b,
0x69edd73ec20984b0,
0x829481773cce2cb1,
0xc9d9fb4e25e4d243,
0xc1fff894f0cf713b,
0x69edd73ec20984b0,
0x7fb1132262925f4a,
0xa292e214fe56794f,
0x915bfee68e16f46f,
0x98bcc857bb6d31e7,
],
[
0x7e02f7a5a97dd3df,
0x9724a88ac8c30809,
0xd8dee12589eeaf36,
0xc61f8fa31ad1885b,
0x3e3744e04485ff9a,
0x939335b37f34c7a2,
0xfaa5de308dbbbc39,
0xc61f8fa31ad1885b,
0x3e3744e04485ff9a,
0x939335b37f34c7a2,
0xfaa5de308dbbbc39,
0xf5996b1be7837a75,
0x4fcb12d267f5af4f,
0x39be67b8cd132169,
0x5c39e3819198b8a1,
],
[
0xff66660873521fb2,
0xd82841f7e714ce03,
0xc830d273f005e378,
0x66990c8c54782228,
0x4f28bea83dda97c,
0x6a24c64698688de0,
0x69721141111da99b,
0x66990c8c54782228,
0x4f28bea83dda97c,
0x6a24c64698688de0,
0x69721141111da99b,
0xd5c771fade83931b,
0x8094ed75e6feb396,
0x7a79d4de8efd1a2c,
0x5f9e50167693e363,
],
[
0xef3c4dd60fa37412,
0xe8d2898c86d11327,
0x8c883d860aafacfe,
0xa4ace72ba19d6de5,
0x4cae26627dfc5511,
0x38e496de9f677b05,
0x558770996e1906d6,
0xa4ace72ba19d6de5,
0x4cae26627dfc5511,
0x38e496de9f677b05,
0x558770996e1906d6,
0x40df30e332ceca69,
0x8f106cbd94166c42,
0x332b6ab4f4c1014e,
0x7c0bc3092ad850e5,
],
[
0xa7b07bcb1a1333ba,
0x9d007956720914c3,
0x4751f60ef2b15545,
0x77ac4dcee10c9023,
0xe90235108fa20e56,
0x1d3ea38535215800,
0x5ed1ccfff26bc64,
0x77ac4dcee10c9023,
0xe90235108fa20e56,
0x1d3ea38535215800,
0x5ed1ccfff26bc64,
0x789a1c352bf5c61e,
0x860a119056da8252,
0xa6c268a238699086,
0x4d70f5cccf4ef2eb,
],
[
0x89858fc94ee25469,
0xf72193b78aeaa896,
0x7dba382760727c27,
0x846b72f372f1685a,
0xf708db2fead5433c,
0xc04e121770ee5dc,
0x4619793b67d0daa4,
0x846b72f372f1685a,
0xf708db2fead5433c,
0xc04e121770ee5dc,
0x4619793b67d0daa4,
0x79f80506f152285f,
0x5300074926fccd56,
0x7fbbff6cc418fce6,
0xb908f77c676b32e4,
],
[
0xe6344d83aafdca2e,
0x6e147816e6ebf87,
0x8508c38680732caf,
0xf4ce36d3a375c981,
0x9d67e5572f8d7bf4,
0x900d63d9ec79e477,
0x5251c85ab52839a3,
0xf4ce36d3a375c981,
0x9d67e5572f8d7bf4,
0x900d63d9ec79e477,
0x5251c85ab52839a3,
0x92ec4b3952e38027,
0x40b2dc421a518cbf,
0x661ea97b2331a070,
0x8d428a4a9485179b,
],
[
0x3ddbb400198d3d4d,
0xfe73de3ada21af5c,
0xcd7df833dacd8da3,
0x162be779eea87bf8,
0x7d62d36edf759e6d,
0xdc20f528362e37b2,
0x1a902edfe4a5824e,
0x162be779eea87bf8,
0x7d62d36edf759e6d,
0xdc20f528362e37b2,
0x1a902edfe4a5824e,
0xe6a258d30fa817ba,
0xc5d73adf6fb196fd,
0x475b7a6286a207fb,
0xd35f96363e8eba95,
],
[
0x79d4c20cf83a7732,
0x651ea0a6ab059bcd,
0x94631144f363cdef,
0x894a0ee0c1f87a22,
0x4e682573f8b38f25,
0x89803fc082816289,
0x71613963a02d90e1,
0x894a0ee0c1f87a22,
0x4e682573f8b38f25,
0x89803fc082816289,
0x71613963a02d90e1,
0x4c6cc0e5a737c910,
0xa3765b5da16bccd9,
0x8bf483c4d735ec96,
0x7fd7c8ba1934afec,
],
[
0x5aaf0d7b669173b5,
0x19661ca108694547,
0x5d03d681639d71fe,
0x7c422f4a12fd1a66,
0xaa561203e7413665,
0xe99d8d202a04d573,
0x6090357ec6f1f1,
0x7c422f4a12fd1a66,
0xaa561203e7413665,
0xe99d8d202a04d573,
0x6090357ec6f1f1,
0xdbfe89f01f0162e,
0x49aa89da4f1e389b,
0x7119a6f4514efb22,
0x56593f6b4e7318d9,
],
[
0x35d6cc883840170c,
0x444694c4f8928732,
0x98500f14b8741c6,
0x5021ac9480077dd,
0x44c2ebc11cfb9837,
0xe5d310c4b5c1d9fd,
0xa577102c33ac773c,
0x5021ac9480077dd,
0x44c2ebc11cfb9837,
0xe5d310c4b5c1d9fd,
0xa577102c33ac773c,
0xa00d2efd2effa3cf,
0xc2c33ffcda749df6,
0xd172099d3b6f2986,
0xf308fe33fcd23338,
],
[
0xb07eead7a57ff2fe,
0xc1ffe295ca7dbf47,
0xef137b125cfa8851,
0x8f8eec5cde7a490a,
0x79916d20a405760b,
0x3c30188c6d38c43c,
0xb17e3c3ff7685e8d,
0x8f8eec5cde7a490a,
0x79916d20a405760b,
0x3c30188c6d38c43c,
0xb17e3c3ff7685e8d,
0xac8aa3cd0790c4c9,
0x78ca60d8bf10f670,
0x26f522be4fbc1184,
0x55bc7688083326d4,
],
[
0x20fba36c76380b18,
0x95c39353c2a3477d,
0x4f362902cf9117ad,
0x89816ec851e3f405,
0x65258396f932858d,
0xb7dcaf3cc57a0017,
0xb368f482afc90506,
0x89816ec851e3f405,
0x65258396f932858d,
0xb7dcaf3cc57a0017,
0xb368f482afc90506,
0x88f08c74465015f1,
0x94ebaf209d59099d,
0xc1b7ff7304b0a87,
0x56bf8235257d4435,
],
[
0xc7e9e0c45afeab41,
0x999d95f41d9ee841,
0x55ef15ac11ea010,
0xcc951b8eab5885d,
0x956c702c88ac056b,
0xde355f324a37e3c0,
0xed09057eb60bd463,
0xcc951b8eab5885d,
0x956c702c88ac056b,
0xde355f324a37e3c0,
0xed09057eb60bd463,
0x1f44b6d04a43d088,
0x53631822a26ba96d,
0x90305fc2d21f8d28,
0x60693a9a6093351a,
],
[
0x69a8e59c1577145d,
0xcb04a6e309ebc626,
0x9b3326a5b250e9b1,
0xd805f665265fd867,
0x82b2b019652c19c6,
0xf0df7738353c82a6,
0x6a9acf124383ca5f,
0xd805f665265fd867,
0x82b2b019652c19c6,
0xf0df7738353c82a6,
0x6a9acf124383ca5f,
0x6838374508a7a99f,
0x7b6719db8d3e40af,
0x1a22666cf0dcb7cf,
0x989a9cf7f46b434d,
],
[
0x6638191337226509,
0x42b55e08e4894870,
0xa7696f5fbd51878e,
0x433bbdd27481d85d,
0xee32136b5a47bbec,
0x769a77f346d82f4e,
0x38b91b1cb7e34be,
0x433bbdd27481d85d,
0xee32136b5a47bbec,
0x769a77f346d82f4e,
0x38b91b1cb7e34be,
0xcb10fd95c0e43875,
0xce9744efd6f11427,
0x946b32bddada6a13,
0x35d544690b99e3b6,
],
[
0xc44e8c33ff6c5e13,
0x1f128a22aab3007f,
0x6a8b41bf04cd593,
0x1b9b0deaf126522a,
0xcc51d382baedc2eb,
0x8df8831bb2e75daa,
0xde4e7a4b5de99588,
0x1b9b0deaf126522a,
0xcc51d382baedc2eb,
0x8df8831bb2e75daa,
0xde4e7a4b5de99588,
0x55a2707103a9f968,
0xe0063f4e1649702d,
0x7e82f5b440e74043,
0x649b44a27f00219d,
],
[
0x68125009158bded7,
0x563a9a62753fc088,
0xb97a9873a352cf6a,
0x237d1de15ae56127,
0xb96445f758ba57d,
0xb842628a9f9938eb,
0x70313d232dc2cd0d,
0x237d1de15ae56127,
0xb96445f758ba57d,
0xb842628a9f9938eb,
0x70313d232dc2cd0d,
0x8bfe1f78cb40ad5b,
0xa5bde811d49f56e1,
0x1acd0cf913ded507,
0x820b3049fa5e6786,
],
[
0xe0dd644db35a62d6,
0x292889772752ab42,
0xb80433749dbb8793,
0x7032fe67035f95db,
0xd8076d1fda17eb8d,
0x115ca1775560f946,
0x92da1e16f396bf61,
0x7032fe67035f95db,
0xd8076d1fda17eb8d,
0x115ca1775560f946,
0x92da1e16f396bf61,
0x17c8bc7f6d23a639,
0xfb28a2afa4d562a9,
0x6c59c95fa2450d5f,
0xfe0d41d5ebfbce2a,
],
[
0x21ce9eab220aaf87,
0x27d20caec922d708,
0x610c51f976cb1d30,
0x6052f97a1e02d2ba,
0x836eea7ce63dea17,
0xe1f8efb81b443b45,
0xddbdbbe717570246,
0x6052f97a1e02d2ba,
0x836eea7ce63dea17,
0xe1f8efb81b443b45,
0xddbdbbe717570246,
0x69551045b0e56f60,
0x625a435960ba7466,
0x9cdb004e8b11405c,
0xd6284db99a3b16af,
],
[
0x83b54046fdca7c1e,
0xe3709e9153c01626,
0xf306b5edc2682490,
0x88f14b0b554fba02,
0xa0ec13fac0a24d0,
0xf468ebbc03b05f47,
0xa9cc417c8dad17f0,
0x88f14b0b554fba02,
0xa0ec13fac0a24d0,
0xf468ebbc03b05f47,
0xa9cc417c8dad17f0,
0x4c1ababa96d42275,
0xc112895a2b751f17,
0x5dd7d9fa55927aa9,
0xca09db548d91cd46,
],
[
0xdd3b2ce7dabb22fb,
0x64888c62a5cb46ee,
0xf004e8b4b2a97362,
0x31831cf3efc20c84,
0x901ba53808e677ae,
0x4b36895c097d0683,
0x7d93ad993f9179aa,
0x31831cf3efc20c84,
0x901ba53808e677ae,
0x4b36895c097d0683,
0x7d93ad993f9179aa,
0xa4c5ea29ae78ba6b,
0x9cf637af6d607193,
0x5731bd261d5b3adc,
0xd59a9e4f796984f3,
],
[
0x9ee08fc7a86b0ea6,
0x5c8d17dff5768e66,
0x18859672bafd1661,
0xd3815c5f595e513e,
0x44b3bdbdc0fe061f,
0xf5f43b2a73ad2df5,
0x7c0e6434c8d7553c,
0xd3815c5f595e513e,
0x44b3bdbdc0fe061f,
0xf5f43b2a73ad2df5,
0x7c0e6434c8d7553c,
0x8c05859060821002,
0x73629a0d275008ce,
0x860c012879e6f00f,
0xd48735a120d2c37c,
],
[
0x4e2a10f1c409dfa5,
0x6e684591f5da86bd,
0xff8c9305d447cadb,
0xc43ae49df25b1c86,
0xd4f42115cee1ac8,
0xa0e6a714471b975c,
0xa40089dec5fe07b0,
0xc43ae49df25b1c86,
0xd4f42115cee1ac8,
0xa0e6a714471b975c,
0xa40089dec5fe07b0,
0x18c3d8f967915e10,
0x739c747dbe05adfb,
0x4b0397b596e16230,
0x3c57d7e1de9e58d1,
],
[
0xbdf3383d7216ee3c,
0xeed3a37e4784d324,
0x247cff656d081ba0,
0x76059e4cb25d4700,
0xe0af815fe1fa70ed,
0x5a6ccb4f36c5b3df,
0x391a274cd5f5182d,
0x76059e4cb25d4700,
0xe0af815fe1fa70ed,
0x5a6ccb4f36c5b3df,
0x391a274cd5f5182d,
0xff1579baa6a2b511,
0xc385fc5062e8a728,
0xe940749739a37c78,
0xa093523a5b5edee5,
],
[
0xa22e8f6681f0267d,
0x61e79bc120729914,
0x86ec13c84c1600d3,
0x1614811d59dcab44,
0xd1ddcca9a2675c33,
0xf3c551d5fa617763,
0x5c78d4181402e98c,
0x1614811d59dcab44,
0xd1ddcca9a2675c33,
0xf3c551d5fa617763,
0x5c78d4181402e98c,
0xb43b4a9caa6f5d4c,
0xf112829bca2df8f3,
0x87e5c85db80d06c3,
0x8eb4bac85453409,
],
[
0x6997121cae0ce362,
0xba3594cbcc299a07,
0x7e4b71c7de25a5e4,
0x16ad89e66db557ba,
0xa43c401140ffc77d,
0x3780a8b3fd91e68,
0x48190678248a06b5,
0x16ad89e66db557ba,
0xa43c401140ffc77d,
0x3780a8b3fd91e68,
0x48190678248a06b5,
0xd10deb97b651ad42,
0x3a69f3f29046a24f,
0xf7179735f2c6dab4,
0xac82965ad3b67a02,
],
[
0x9bfc2c3e050a3c27,
0xdc434110e1059ff3,
0x5426055da178decd,
0xcb44d00207e16f99,
0x9d9e99afedc8107f,
0x56907c4fb7b3bc01,
0xbcff1472bb01f85a,
0xcb44d00207e16f99,
0x9d9e99afedc8107f,
0x56907c4fb7b3bc01,
0xbcff1472bb01f85a,
0x516f800f74ad0985,
0xf93193ade9614da4,
0x9f4a7845355b75b7,
0x423c17045824dea5,
],
[
0xa3f37e415aedf14,
0x8d21c92bfa0dc545,
0xa2715ebb07deaf80,
0x98ce1ff2b3f99f0f,
0x162acfd3b47c20bf,
0x62b9a25fd39dc6c0,
0xc165c3c95c878dfe,
0x98ce1ff2b3f99f0f,
0x162acfd3b47c20bf,
0x62b9a25fd39dc6c0,
0xc165c3c95c878dfe,
0x2b9a7e1f055bd27c,
0xe91c8099cafaa75d,
0x37e38d64ef0263b,
0xa46e89f47a1a70d5,
],
[
0xcef3c748045e7618,
0x41dd44faef4ca301,
0x6add718a88f383c6,
0x1197eca317e70a93,
0x61f9497e6cc4a33,
0x22e7178d1e57af73,
0x5df95da0ff1c6435,
0x1197eca317e70a93,
0x61f9497e6cc4a33,
0x22e7178d1e57af73,
0x5df95da0ff1c6435,
0x934327643705e56c,
0x11eb0eec553137c9,
0x1e6b9b57ac5283ec,
0x6934785db184b2e4,
],
[
0xfe2b841766a4d212,
0x42cf817e58fe998c,
0x29f7f493ba9cbe6c,
0x2a9231d98b441827,
0xfca55e769df78f6c,
0xda87ea680eb14df4,
0xe0b77394b0fd2bcc,
0x2a9231d98b441827,
0xfca55e769df78f6c,
0xda87ea680eb14df4,
0xe0b77394b0fd2bcc,
0xf36a2a3c73ab371a,
0xd52659d36d93b71,
0x3d3b7d2d2fafbb14,
0xb4b7b317d9266711,
],
[
0xd6131e688593a181,
0x5b658b282688ccd3,
0xb9f7c066beed1204,
0xe9dd79bad89f6b19,
0xb420092bae6aaf41,
0x515f9bbd06069d77,
0x80664957a02cbc29,
0xe9dd79bad89f6b19,
0xb420092bae6aaf41,
0x515f9bbd06069d77,
0x80664957a02cbc29,
0xf9dc7a744a56d9b3,
0x7eb2bdcd6667f383,
0xc5914296fbdaf9d1,
0xaf0d5a8fec374fc4,
],
[
0x91288884ebfcf145,
0x3dffd892d36403af,
0x7c4789db82755080,
0x634acbe037edec27,
0x878a97fab822d804,
0xfcb042af908f0577,
0x4cbafc318bb90a2e,
0x634acbe037edec27,
0x878a97fab822d804,
0xfcb042af908f0577,
0x4cbafc318bb90a2e,
0x68a96d589d5e5654,
0xa752cb250bca1bc0,
0x8f228f406024aa7e,
0xfc5408cf22a080b5,
],
[
0x754c7e98ae3495ea,
0x2030124a22512c19,
0xec241579c626c39d,
0xe682b5c87fa8e41b,
0x6cfa4baff26337ac,
0x4d66358112f09b2a,
0x58889d3f50ffa99c,
0x33fc6ffd1ffb8676,
0x36db7617b765f6e2,
0x8df41c03c514a9dc,
0x6707cc39a809bb74,
0x3f27d7bb79e31984,
0xa39dc6ac6cb0b0a8,
0x33fc6ffd1ffb8676,
0x36db7617b765f6e2,
],
];