use crate::v102::{cityhash_102_128, cityhash_102_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_102_128(input);
let v = cityhash_102_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,
0x95023ca8f708594b,
0x1a53a4d030ae7a4c,
0x6dcd2262ea627129,
0x4d74ec7516ab8204,
],
[
0x75e9dee28ded761d,
0x931992c1b14334c5,
0x245eeb25ba2c172e,
0x1290f0e8a5caa74d,
0xca4c6bf7583f5cda,
0xe1d60d51632c536d,
0xcbc54a1db641910a,
0x1290f0e8a5caa74d,
0xca4c6bf7583f5cda,
0xe1d60d51632c536d,
0xcbc54a1db641910a,
0xf4c86421d64a4389,
0x294d0d59683eb5db,
0x80cdaadae9b53b1f,
0x430875b396e01610,
],
[
0x75de892fdc5ba914,
0xf89832e71f764c86,
0x39a82df1f278a297,
0xb4af8ae673acb930,
0x992b7acb203d8885,
0x57b533f3f8b94d50,
0xbbb69298a5dcf1a1,
0xb4af8ae673acb930,
0x992b7acb203d8885,
0x57b533f3f8b94d50,
0xbbb69298a5dcf1a1,
0x268ef94b0a4078cd,
0xfe947b396ffec889,
0x3fa904353795d77d,
0x77a18f0f07ac9f7f,
],
[
0x69cfe9fca1cc683a,
0xe65f2a81e19b8067,
0x20575ea6370a9d14,
0x8f52532fc6f005b7,
0x4ebe60df371ec129,
0xc6ef8a7f8deb8116,
0x83df17e3c9bb9a67,
0x8f52532fc6f005b7,
0x4ebe60df371ec129,
0xc6ef8a7f8deb8116,
0x83df17e3c9bb9a67,
0x847adc1e007da730,
0x7d49c8095815cdfd,
0xcff14fc5a2491665,
0x761b5d3b787a424f,
],
[
0x675b04c582a34966,
0x53624b5ef8cd4f45,
0xc412e0931ac8c9b1,
0x798637e677c65a3,
0x83e3b06adc4cd3ff,
0xf3e76e8a7135852f,
0x111e66cfbb05366d,
0x798637e677c65a3,
0x83e3b06adc4cd3ff,
0xf3e76e8a7135852f,
0x111e66cfbb05366d,
0x77163a370a416689,
0x1c27c0ee7688c56f,
0x8b6e8437bbf4f621,
0x37f4f4147ad4b53d,
],
[
0x46fa817397ea8b68,
0xcc960c1c15ce2d20,
0xe5f9f947bafb9e79,
0xb342cdf0d7ac4b2a,
0x66914d44b373b232,
0x261194e76cb43966,
0x45a0010190365048,
0xb342cdf0d7ac4b2a,
0x66914d44b373b232,
0x261194e76cb43966,
0x45a0010190365048,
0xbd92dffa3bc91d9,
0x1854247ba582a26c,
0xc1c6edb93d443899,
0x520dcb565f49bf4e,
],
[
0x406e959cdffadec7,
0xe80dc125dca28ed1,
0xe5beb146d4b79a21,
0xe66d5c1bb441541a,
0xd14961bc1fd265a2,
0xe4cc669d4fc0577f,
0xabf4a51e36da2702,
0xe66d5c1bb441541a,
0xd14961bc1fd265a2,
0xe4cc669d4fc0577f,
0xabf4a51e36da2702,
0x1df2adbb7fa956d8,
0xb166453cb97efb61,
0xd3214c1e1596aa87,
0x21eb0f13dff1f383,
],
[
0x46663908b4169b95,
0x4e7e90b5c426bf1d,
0xdc660b58daaf8b2c,
0xb298265ebd1bd55f,
0x4a5f6838b55c0b08,
0xfc003c97aa05d397,
0x2fb5adad3380c3bc,
0xb298265ebd1bd55f,
0x4a5f6838b55c0b08,
0xfc003c97aa05d397,
0x2fb5adad3380c3bc,
0xffd1d16a13a0273c,
0x46c7ca881c23a15a,
0x88d8b2597f333fea,
0x513cb03a061ba356,
],
[
0xf214b86cffeab596,
0x5fccb0b132da564f,
0x86e7aa8b4154b883,
0x763529c8d4189ea8,
0x860d77e7fef74ca3,
0x3b1ba41191219b6b,
0x722b25dfa6d0a04b,
0x763529c8d4189ea8,
0x860d77e7fef74ca3,
0x3b1ba41191219b6b,
0x722b25dfa6d0a04b,
0xd38bce10e9cb7046,
0xbd1dbdc98876e297,
0x3a0a7b7e6a9e5255,
0x814aacf7e8f7637,
],
[
0xeba670441d1a4f7d,
0xeb6b272502d975fa,
0x69f8d424d50c083e,
0x313d49cb51b8cd2c,
0x6e982d8b4658654a,
0xdd59629a17e5492d,
0x81cb23bdab95e30e,
0x313d49cb51b8cd2c,
0x6e982d8b4658654a,
0xdd59629a17e5492d,
0x81cb23bdab95e30e,
0xbea50d61120cc62f,
0x6d1ce78f0bc0b80b,
0xe909a964599f968,
0x6f5d2ab1656e6d1d,
],
[
0x172c17ff21dbf88d,
0x1f5104e320f0c815,
0x1e34e9f1fa63bcef,
0x3506ae8fae368d2a,
0x59fa2b2de5306203,
0x67d1119dcfa6007e,
0x1f7190c648ad9aef,
0x3506ae8fae368d2a,
0x59fa2b2de5306203,
0x67d1119dcfa6007e,
0x1f7190c648ad9aef,
0x86cfcfc1cc6a11db,
0x6c0890c7270e0dbe,
0x8e89d2e6861ecb5,
0xd6a2151582a36609,
],
[
0x5a0838df8a019b8c,
0x73fc859b4952923,
0x45e39daf153491bd,
0xa9b91459a5fada46,
0xde0fbf8800a2da3,
0x21800e4b5af9dedb,
0x517c3726ae0dbae7,
0xa9b91459a5fada46,
0xde0fbf8800a2da3,
0x21800e4b5af9dedb,
0x517c3726ae0dbae7,
0xa0074f54a45db108,
0x99218eadf0603a25,
0x16cc650b8dded2ee,
0x23358fe215f748f0,
],
[
0x8f42b1fbb2fc0302,
0x5ae31626076ab6ca,
0xb87f0cb67cb75d28,
0x2498586ac2e1fab2,
0xe683f9cbea22809a,
0xa9728d0b2bbe377c,
0x46baf5cae53dc39a,
0x2498586ac2e1fab2,
0xe683f9cbea22809a,
0xa9728d0b2bbe377c,
0x46baf5cae53dc39a,
0x47927391c3a2af3,
0x172127d21e88bc24,
0xe3e8e9c10fc2f5af,
0x90887b1e55a6fd19,
],
[
0x72085e82d70dcea9,
0x32f502c43349ba16,
0x5ebc98c3645a018f,
0xc7fa762238fd90ac,
0x8d03b5652d615677,
0xa3f5226e51d42217,
0x46d5010a7cae8c1e,
0xc7fa762238fd90ac,
0x8d03b5652d615677,
0xa3f5226e51d42217,
0x46d5010a7cae8c1e,
0xddb4eae471da4140,
0x863d5d01a2ca98d5,
0x97532c6592d84c3d,
0x5db95b869784afde,
],
[
0x32b75fc2223b5032,
0x246fff80eb230868,
0xa6fdbc82c9aeecc0,
0xc089498074167021,
0xab094a9f9ab81c23,
0x4facf3d9466bcb03,
0x57aa9c67938cf3eb,
0xc089498074167021,
0xab094a9f9ab81c23,
0x4facf3d9466bcb03,
0x57aa9c67938cf3eb,
0xfd467cc2f458325c,
0xdd66e7703b05a582,
0x7e4ceb0c62bdd4a9,
0xdcfd5f0b5b7236fc,
],
[
0xe1dd010487d2d647,
0x12352858295d2167,
0xacc5e9b6f6b02dbb,
0x1c66ceea473413df,
0xdc3f70a124b25a40,
0x66a6dfe54c441cd8,
0xb436dabdaaa37121,
0x1c66ceea473413df,
0xdc3f70a124b25a40,
0x66a6dfe54c441cd8,
0xb436dabdaaa37121,
0xae1dc1de7ee66758,
0xf3be41b059b8d25d,
0xba692ade4ded17f4,
0xe4fb583d3ce32b7d,
],
[
0x2994f9245194a7e2,
0xb7cd7249d6db6c0c,
0x2170a7d119c5c6c3,
0x8505c996b70ee9fc,
0xb92bba6b5d778eb7,
0x4db4c57f3a7a4aee,
0x3cfd441cb222d06f,
0x8505c996b70ee9fc,
0xb92bba6b5d778eb7,
0x4db4c57f3a7a4aee,
0x3cfd441cb222d06f,
0x8a4b50e7c91ecdcf,
0xb75dfba44eee3725,
0x92ce15e3cfcdb2f6,
0x39db1f066b2c66d0,
],
[
0x32e2ed6fa03e5b22,
0x58baf09d7c71c62b,
0xa9c599f3f8f50b5b,
0x1660a2c4972d0fa1,
0x1a1538d6b50a57c,
0x8a5362485bbc9363,
0xe8eec3c84fd9f2f8,
0x1660a2c4972d0fa1,
0x1a1538d6b50a57c,
0x8a5362485bbc9363,
0xe8eec3c84fd9f2f8,
0x3039e44e78d5c0,
0x987bc225df21d1e3,
0x5e3bceacac08114b,
0xaec827944a4c64ec,
],
[
0x37a72b6e89410c9f,
0x139fec53b78cee23,
0x4fccd8f0da7575c3,
0x3a5f04166518ac75,
0xf49afe05a44fc090,
0xcb01b4713cfda4bd,
0x9027bd37ffc0a5de,
0x3a5f04166518ac75,
0xf49afe05a44fc090,
0xcb01b4713cfda4bd,
0x9027bd37ffc0a5de,
0xed1415a9018d5a89,
0x1323b029f4887b3a,
0x5b09eb0ad88ed7dc,
0x4494d452a6fb4048,
],
[
0x10836563cb8ff3a1,
0xd36f67e2dfc085f7,
0xedc1bb6a3dcba8df,
0xbd4f3a0566df3bed,
0x81fc8230c163dcbe,
0x4168bc8417a8281b,
0x7100c9459827c6a6,
0xbd4f3a0566df3bed,
0x81fc8230c163dcbe,
0x4168bc8417a8281b,
0x7100c9459827c6a6,
0xf28457d4df6004bb,
0xa0946ff2f4b842cd,
0xad95004da4fe697d,
0xf0b57f4dcf7676c2,
],
[
0x4dabcb5c1d382e5c,
0x9a868c608088b7a4,
0x7b2b6c389b943be5,
0xc914b925ab69fda0,
0x6bafe864647c94d7,
0x7a48682dd4afa22,
0x40fe01210176ba10,
0xc914b925ab69fda0,
0x6bafe864647c94d7,
0x7a48682dd4afa22,
0x40fe01210176ba10,
0xf7860d80f8c6cc96,
0xbedbe5f366fc00d6,
0x315a4d69ad10746c,
0x479067287e848907,
],
[
0x296afb509046d945,
0xc38fe9eb796bd4be,
0xd7b17535df110279,
0xdd2482b87d1ade07,
0x662785d2e3e78ddf,
0xeae39994375181bb,
0x9994500c077ee1db,
0xdd2482b87d1ade07,
0x662785d2e3e78ddf,
0xeae39994375181bb,
0x9994500c077ee1db,
0x92925daa51764b59,
0x628e0eb360a63e67,
0xaab5bcf342898229,
0xaa162029312227e6,
],
[
0xf7c0257efde772ea,
0xaf6af9977ecf7bff,
0x1cdff4bd07e8d973,
0xfab1f4acd2cd4ab4,
0xb4e19ba52b566bd,
0x7f1db45725fe2881,
0x70276ff8763f8396,
0xfab1f4acd2cd4ab4,
0xb4e19ba52b566bd,
0x7f1db45725fe2881,
0x70276ff8763f8396,
0x3e5f524573938add,
0x8cdbba98db29868e,
0xc8f17269bef879a,
0xc9db2c6a9391c4ac,
],
[
0x61e021c8da344ba1,
0xcf9c720676244755,
0x354ffa8e9d3601f6,
0x44e40a03093fbd92,
0xbda9481cc5b93cae,
0x986b589cbc0cf617,
0x210f59f074044831,
0x44e40a03093fbd92,
0xbda9481cc5b93cae,
0x986b589cbc0cf617,
0x210f59f074044831,
0x28173177855537e8,
0xa8d855dd9179c337,
0xa75961d94295428e,
0x87b6abda336f08fc,
],
[
0xc0a86ed83908560b,
0x440c8b6f97bd1749,
0xa99bf2891726ea93,
0xac0c0b84df66df9d,
0x3ee2337b437eb264,
0x8a341daed9a25f98,
0xcc665499aa38c78c,
0xac0c0b84df66df9d,
0x3ee2337b437eb264,
0x8a341daed9a25f98,
0xcc665499aa38c78c,
0x825f2d7ee87071ff,
0x71a802c44d48c5c2,
0xe660bce32fe96a74,
0xbf7a93427b02e1dd,
],
[
0x35c9cf87e4accbf3,
0x2267eb4d2191b2a3,
0x80217695666b2c9,
0xcd43a24abbaae6d,
0xa88abf0ea1b2a8ff,
0xe297ff01427e2a9d,
0x935d545695b2b41d,
0xcd43a24abbaae6d,
0xa88abf0ea1b2a8ff,
0xe297ff01427e2a9d,
0x935d545695b2b41d,
0x6da9611e0a97cb7d,
0x4488df3286c81c95,
0xe2e8c4da17d388f3,
0x862af26f430477f8,
],
[
0xe74c366b3091e275,
0x522e657c5da94b06,
0xca9afa806f1a54ac,
0xb545042f67929471,
0x90d10e75ed0e75d8,
0x3ea60f8f158df77e,
0x8863eff3c2d670b7,
0xb545042f67929471,
0x90d10e75ed0e75d8,
0x3ea60f8f158df77e,
0x8863eff3c2d670b7,
0x3f2d5bd313010994,
0x699bd0164ff7bc9b,
0xfa45cc2fd36c475e,
0xd0145b594db1a47f,
],
[
0xa3f2ca45089ad1a6,
0x13f6270fe56fbce4,
0x1f93a534bf03e705,
0xaaea14288ae2d90c,
0x1be3cd51ef0f15e8,
0xe8b47c84d5a4aac1,
0x297d27d55b766782,
0xaaea14288ae2d90c,
0x1be3cd51ef0f15e8,
0xe8b47c84d5a4aac1,
0x297d27d55b766782,
0x2829328c6db9cfad,
0x88475938af5c2b1a,
0xe334da6d8055039c,
0xe72e645453eaa62,
],
[
0xe5181466d8e60e26,
0xcf31f3a2d582c4f3,
0xd9cee87cb71f75b2,
0x4750ca6050a2d726,
0xd6e6dd8940256849,
0xf3b3749fdab75b0,
0xc55d8a0f85ba0ccf,
0x4750ca6050a2d726,
0xd6e6dd8940256849,
0xf3b3749fdab75b0,
0xc55d8a0f85ba0ccf,
0xde0353b2bfd40c2a,
0x59193afed9f5155d,
0xf4274b63b02fb840,
0xe7e1924d404c621c,
],
[
0xfb528a8dd1e48ad7,
0x98c4fd149c8a63dd,
0x4abd8fc3377ae1f,
0xd7a9304abbb47cc5,
0x7f2b9a27aa57f99,
0x353ab332d4ef9f18,
0x47d56b8d6c8cf578,
0xd7a9304abbb47cc5,
0x7f2b9a27aa57f99,
0x353ab332d4ef9f18,
0x47d56b8d6c8cf578,
0x2062bddb82a97056,
0x1a57e6cc6d8a2964,
0x6fd90cbb2109caf4,
0x82f3d6c446b5b3a0,
],
[
0xda6d2b7ea9d5f9b6,
0x57b11153ee3b4cc8,
0x7d3bd1256037142f,
0x90b16ff331b719b5,
0xfc294e7ad39e01e6,
0xd2145386bab41623,
0x7045a63d44d76011,
0x90b16ff331b719b5,
0xfc294e7ad39e01e6,
0xd2145386bab41623,
0x7045a63d44d76011,
0xb346cec7a0d071ee,
0x56e5bc7b05bc6ab4,
0x67b90085206f2a13,
0x622c7d5f99aeea5e,
],
[
0x61d95225bc2293e,
0xf6c52cb6be9889a8,
0x91a0667a7ed6a113,
0x441133d221486a3d,
0xfb9c5a40e19515b,
0x6c967b6c69367c2d,
0x145bd9ef258c4099,
0x441133d221486a3d,
0xfb9c5a40e19515b,
0x6c967b6c69367c2d,
0x145bd9ef258c4099,
0xdb8ecb75eaa297e1,
0x3c02b85694c68851,
0x62d832b4c10fb6db,
0x7a2b185996a2a63e,
],
[
0x81247c01ab6a9cc1,
0xfbccea953e810636,
0xae18965000c31be0,
0x15bb46383daec2a5,
0x716294063b4ba089,
0xf3bd691ce02c3014,
0x14ccaad685a20764,
0x15bb46383daec2a5,
0x716294063b4ba089,
0xf3bd691ce02c3014,
0x14ccaad685a20764,
0x892122c01b9bf3b7,
0x38b1f330dbd7ed55,
0xceacbb1b17339af1,
0x38230aa39400e543,
],
[
0xc17f3ebd3257cb8b,
0xe9e68c939c118c8d,
0x72a5572be35bfc1b,
0xf6916c341cb31f2a,
0x591da1353ee5f31c,
0xf1313c98a836b407,
0xe0b8473eada48cd1,
0xf6916c341cb31f2a,
0x591da1353ee5f31c,
0xf1313c98a836b407,
0xe0b8473eada48cd1,
0xddeac1b84bea27db,
0xf60cfc74d2505bf8,
0x995d7bc8055998ca,
0x2432f8a04d6af08d,
],
[
0x9802438969c3043b,
0x6cd07575c948dd82,
0x83e26b6830ea8640,
0xd52f1fa190576961,
0x11d182e4f0d419cc,
0x5d9ccf1b56617424,
0xc8a16debb585e452,
0xd52f1fa190576961,
0x11d182e4f0d419cc,
0x5d9ccf1b56617424,
0xc8a16debb585e452,
0x9553bfd7b6886d7c,
0x216ed409de5b6b93,
0x8d0e0ce56dac43ff,
0x8b58cfdd161c34e1,
],
[
0x3dd8ed248a03d754,
0xd8c1fcf001cb62e0,
0x87a822141ed64927,
0x4bfaf6fd26271f47,
0xaefeae8222ad3c77,
0xcfb7b24351a60585,
0x8678904e9e890b8f,
0x4bfaf6fd26271f47,
0xaefeae8222ad3c77,
0xcfb7b24351a60585,
0x8678904e9e890b8f,
0xbd674a9139dc4546,
0xcfbe8eb024d612a5,
0xec6fd5d41fad739a,
0xd226c882e0c71c7e,
],
[
0xc5bf48d7d3e9a5a3,
0x8f0249b5c5996341,
0xc6d2c8a606f45125,
0xfd1779db740e2c48,
0x1950ef50fefab3f8,
0xe4536426a6196809,
0x699556c502a01a6a,
0xfd1779db740e2c48,
0x1950ef50fefab3f8,
0xe4536426a6196809,
0x699556c502a01a6a,
0x135b17b83dbbf0c,
0x1b96a2429cdd4d15,
0xcfce0995c1f0fd4c,
0xe5b4b9706b2e56b,
],
[
0xbc4a21d00cf52288,
0x28df3eb5a533fa87,
0x6081bbc2a18dd0d,
0x8eed355d219e58b9,
0x2d7b9f1a3d645165,
0x5758d1aa8d85f7b2,
0x9c90c65920041dff,
0x8eed355d219e58b9,
0x2d7b9f1a3d645165,
0x5758d1aa8d85f7b2,
0x9c90c65920041dff,
0xa0c43ee3ec6a79cd,
0x4c915fa16e8b8c81,
0xb1339b5fe42fab21,
0x89175650bdd1f8cd,
],
[
0x172c8674913ff413,
0x1815a22400e832bf,
0x7e011f9467a06650,
0x161be43353a31dd0,
0x79a8afddb0642ac3,
0xdf43af54e3e16709,
0x6e12553a75b43f07,
0x161be43353a31dd0,
0x79a8afddb0642ac3,
0xdf43af54e3e16709,
0x6e12553a75b43f07,
0x63a2ca06572153c2,
0x5232482e2f3634d7,
0xbe176997776ffc37,
0x1540d53974cdc6bd,
],
[
0x17a361dbdaaa7294,
0xc67d368223a3b83c,
0xf49cf8d51ab583d2,
0x666eb21e2eaa596,
0x778f3e1b6650d56,
0x3f6be451a668fe2d,
0x5452892b0b101388,
0x666eb21e2eaa596,
0x778f3e1b6650d56,
0x3f6be451a668fe2d,
0x5452892b0b101388,
0x8a9fb8df05a47ccd,
0x6f6de5fd8d5a0583,
0x178e2fd588c96844,
0xdd8265ff40669c7d,
],
[
0x5cc268bac4bd55f,
0x232717a35d5b2f1,
0x38da1393365c961d,
0x2d187f89c16f7b62,
0x4eb504204fa1be8,
0x222bd53d2efe5fa,
0xa4dcd6d721ddb187,
0x2d187f89c16f7b62,
0x4eb504204fa1be8,
0x222bd53d2efe5fa,
0xa4dcd6d721ddb187,
0x86db745bb31b6713,
0xf1a3ce35719bf8a8,
0xc971171a7ae89af0,
0xe4e624d3c0ee0f7,
],
[
0xdb04969cc06547f1,
0xfcacc8a75332f120,
0x967ccec4ed0c977e,
0xac5d1087e454b6cd,
0xc1f8b2e284d28f6c,
0xcc3994f4a9312cfa,
0x8d61606dbc4e060d,
0xac5d1087e454b6cd,
0xc1f8b2e284d28f6c,
0xcc3994f4a9312cfa,
0x8d61606dbc4e060d,
0x89bc8be6e4cc91f7,
0x3ce128305856b46e,
0x45fa557debb74f94,
0xf1d01d4419f24cfc,
],
[
0x25bd8d3ca1b375b2,
0x4ad34c2c865816f9,
0x9be30ad32f8f28aa,
0x7755ea02dbccad6a,
0xcb8aaf8886247a4a,
0x8f6966ce7ea1b6e6,
0x3f2863090fa45a70,
0x7755ea02dbccad6a,
0xcb8aaf8886247a4a,
0x8f6966ce7ea1b6e6,
0x3f2863090fa45a70,
0x3780c8671bf69bde,
0x1e02ed476a91a1b8,
0xbd055fd2164db36e,
0x6381a699096e41c2,
],
[
0x166c11fbcbc89fd8,
0xcce1af56c48a48aa,
0x78908959b8ede084,
0x19032925ba2c951a,
0xa53ed6e81b67943a,
0xedc871a9e8ef4bdf,
0xae66cf46a8371aba,
0x19032925ba2c951a,
0xa53ed6e81b67943a,
0xedc871a9e8ef4bdf,
0xae66cf46a8371aba,
0x10650d7854cf2c01,
0x3c8f739a82406c84,
0xef00140edd1f0ef5,
0xbad40d52a178d073,
],
[
0x3565bcc4ca4ce807,
0xec35bfbe575819d5,
0x6a1f690d886e0270,
0x1ab8c584625f6a04,
0xccfcdafb81b572c4,
0x53b04ba39fef5af9,
0x64ce81828eefeed4,
0x1ab8c584625f6a04,
0xccfcdafb81b572c4,
0x53b04ba39fef5af9,
0x64ce81828eefeed4,
0x5cb28ef42b8fd9a2,
0x1b216fbd2a7187ad,
0x210eaa73f53bb956,
0x66e46a98311d257b,
],
[
0xb7897fd2f274307d,
0x6d43a9e5dd95616d,
0x31a2218e64d8fce0,
0x664e581fc1cf769b,
0x415110942fc97022,
0x7a5d38fee0bfa763,
0xdc87ddb4d7495b6c,
0x664e581fc1cf769b,
0x415110942fc97022,
0x7a5d38fee0bfa763,
0xdc87ddb4d7495b6c,
0x4b9cd641187b2496,
0x5b9f4e64fd9dfa83,
0xc005f0afd66a8a2e,
0xbde202bf0cc52141,
],
[
0xaba98113ab0e4a16,
0x287f883aede0274d,
0x3ecd2a607193ba3b,
0xe131f6cc9e885c28,
0xb399f98d827e4958,
0x6eb90c8ed6c9090c,
0xec89b378612a2b86,
0xe131f6cc9e885c28,
0xb399f98d827e4958,
0x6eb90c8ed6c9090c,
0xec89b378612a2b86,
0x3846308b68506215,
0x8014bdd6e9b54908,
0xd4e05cce1a158797,
0x6a7176f691c9eaa5,
],
[
0x17f7796e0d4b636c,
0xddba5551d716137b,
0x65f9735375df1ada,
0xa39e946d02e14ec2,
0x1c88cc1d3822a193,
0x663f8074a5172bb4,
0x8ad2934942e4cb9c,
0xa39e946d02e14ec2,
0x1c88cc1d3822a193,
0x663f8074a5172bb4,
0x8ad2934942e4cb9c,
0xff21f1868b83ca0f,
0xcf32b7705c582889,
0x29de36887ca200fe,
0xbd6ceff8ed2cdeb9,
],
[
0x33c0128e62122440,
0xb23a588c8c37ec2b,
0xf2608199ca14c26a,
0xacab0139dc4f36df,
0x9502b1605ca1345a,
0x32174ef1e06a5e9c,
0xd824b7869258192b,
0xacab0139dc4f36df,
0x9502b1605ca1345a,
0x32174ef1e06a5e9c,
0xd824b7869258192b,
0x8e1da3b98755187d,
0x46d82dcf4cecd82d,
0xef108e3c1ea81140,
0x50b572c4c3e077b6,
],
[
0x988bc5d290b97aef,
0x6754bb647eb47666,
0x44b5cf8b5b8106a8,
0xa1c5ba961937f723,
0x32d6bc7214dfcb9b,
0x6863397e0f4c6758,
0xe644bcb87e3eef70,
0xa1c5ba961937f723,
0x32d6bc7214dfcb9b,
0x6863397e0f4c6758,
0xe644bcb87e3eef70,
0x81989b4fe935f80a,
0x11c9c21ee2de4d2e,
0x324ce7187b355cae,
0xbe226da53be39d0d,
],
[
0x23c8c25c2ab72381,
0xd6bc672da4175fba,
0x6aef5e6eb4a4eb10,
0x3df880c945e68aed,
0x5e08a75e956d456f,
0xf984f088d1a322d7,
0x7d44a1b597b7a05e,
0x3df880c945e68aed,
0x5e08a75e956d456f,
0xf984f088d1a322d7,
0x7d44a1b597b7a05e,
0x8e218be176a82f7d,
0xc2c2e53669acb5c4,
0xf4f9ab73295a87f,
0x5179e3b16fa98921,
],
[
0x450fe4acc4ad3749,
0x3111b29565e4f852,
0xdb570fc2abaf13a9,
0x35107d593ba38b22,
0xfd8212a125073d88,
0x72805d6e015bfacf,
0x6b22ae1a29c4b853,
0x35107d593ba38b22,
0xfd8212a125073d88,
0x72805d6e015bfacf,
0x6b22ae1a29c4b853,
0x294e61f18339cb15,
0xa63bca6ab461de80,
0x2e929d7f213d5f10,
0x204154e8836156ee,
],
[
0x48e1eff032d90c50,
0xdee0fe333d962b62,
0xc845776990c96775,
0x8ea71758346b71c9,
0xd84258cab79431fd,
0xaf566b4975cce10a,
0x5c5c7e70a91221d2,
0x8ea71758346b71c9,
0xd84258cab79431fd,
0xaf566b4975cce10a,
0x5c5c7e70a91221d2,
0x126ef69504e48815,
0x3d5a42a88d9865d4,
0x76c880ec9720e4,
0xc0dfa1b80d093331,
],
[
0xc048604ba8b6c753,
0x21ea6d24b417fdb6,
0x4e40a127ad2d6834,
0x5234231bf173c51,
0x62319525583eaf29,
0x87632efa9144cc04,
0x1749de70c8189067,
0x5234231bf173c51,
0x62319525583eaf29,
0x87632efa9144cc04,
0x1749de70c8189067,
0x9977eb016fb429b,
0xa3d5e0bf931d42d6,
0x8c66bd015dc06fa4,
0xb7b24e70dc14d470,
],
[
0x67ff1cbe469ebf84,
0x3a828ac9e5040eb0,
0x85bf1ad6b363a14b,
0x2fc6c0783390d035,
0xef78307f5be5524e,
0xa46925b7a1a77905,
0xfea37470f9a51514,
0x2fc6c0783390d035,
0xef78307f5be5524e,
0xa46925b7a1a77905,
0xfea37470f9a51514,
0x8e634d63b75c1837,
0x821ebab006d4ca8,
0x2f1afc923db3f52e,
0x720d79b9c49532e5,
],
[
0xb45c7536bd7a5416,
0xe2d17c16c4300d3c,
0xb70b641138765ff5,
0xa5a859ab7d0ddcfc,
0x8730164a0b671151,
0xaf93810c10348dd0,
0x7256010c74f5d573,
0xa5a859ab7d0ddcfc,
0x8730164a0b671151,
0xaf93810c10348dd0,
0x7256010c74f5d573,
0x35eeb326710c212e,
0xa6b808ca3e92a9ab,
0xb6ac65c3594dcbe6,
0xc9b2e5fd4e0d3d8,
],
[
0x215c2eaacdb48f6f,
0x33b09acf1bfa2880,
0x78c4e94ba9f28bf,
0x981b7219224443d1,
0x1f476fc4344d7bba,
0xabad36e07283d3a5,
0x831bf61190eaaead,
0x981b7219224443d1,
0x1f476fc4344d7bba,
0xabad36e07283d3a5,
0x831bf61190eaaead,
0x7a8cfa48d8516601,
0x5597551f26a24ee1,
0x859b9cc44d905413,
0x8a07d88bb72979e1,
],
[
0x241baf16d80e0fe8,
0xb6b3c5b53a3ce1d,
0x6ae6b36209eecd70,
0xa560b6a4aa3743a4,
0xb3e04f202b7a99b,
0x3b3b1573f4c97d9f,
0xccad8715a65af186,
0xa560b6a4aa3743a4,
0xb3e04f202b7a99b,
0x3b3b1573f4c97d9f,
0xccad8715a65af186,
0xfb42b6e5a7d900fd,
0xd439c2dd4ae54899,
0xba6fb2d419bcd0b6,
0x8fe0d33a814587dc,
],
[
0xd10a9743b5b1c4d1,
0xf16e0e147ff9ccd6,
0xfbd20a91b6085ed3,
0x43d309eb00b771d5,
0xa6d1f26105c0f61b,
0xd37ad62406e5c37e,
0x75d9b28c717c8cf7,
0x43d309eb00b771d5,
0xa6d1f26105c0f61b,
0xd37ad62406e5c37e,
0x75d9b28c717c8cf7,
0xae18d930ba857d0c,
0x96376cc9f1faa1f3,
0xe27bce91bf41ff11,
0xe475f347ca20e7f7,
],
[
0x919ef9e209f2edd1,
0x684c33fb726a720a,
0x540353f94e8033,
0x26da1a143e7d4ec4,
0x55095eae445aacf4,
0x31efad866d075938,
0xf9b580cff4445f94,
0x26da1a143e7d4ec4,
0x55095eae445aacf4,
0x31efad866d075938,
0xf9b580cff4445f94,
0x1fa8df59147fad3e,
0xcb2912a109d910d0,
0x85ee391d283e6c3,
0x31f860f0b7d43ede,
],
[
0xb5f9519b6c9280b,
0x7823a2fe2e103803,
0xd379a205a3bd4660,
0x466ec55ee4b4302a,
0x714f1b9985deeaf0,
0x728595f26e633cf7,
0x25ecd0738e1bee2b,
0x466ec55ee4b4302a,
0x714f1b9985deeaf0,
0x728595f26e633cf7,
0x25ecd0738e1bee2b,
0xe3d25610e5aaf0ce,
0xfca7b84ddde4d245,
0xa5724a609112a5d3,
0xc3c8cafce1f39369,
],
[
0x77a75e89679e6757,
0x25d31fee616b5dd0,
0xd81f2dfd08890060,
0x7598df8911dd40a4,
0x3b6dda517509b41b,
0x7dae29d248dfffae,
0x6697c427733135f,
0x7598df8911dd40a4,
0x3b6dda517509b41b,
0x7dae29d248dfffae,
0x6697c427733135f,
0xbb3c2d45a33cb4ad,
0x63759088b45065fb,
0xe3c07d5968858439,
0x6854efd588619d00,
],
[
0x9d709e1b086aabe2,
0x4d6d6a6c543e3fec,
0xdf73b01acd416e84,
0xd54f613658e35418,
0xfcc88fd0567afe77,
0xd18f2380980db355,
0xec3896137dfbfa8b,
0xd54f613658e35418,
0xfcc88fd0567afe77,
0xd18f2380980db355,
0xec3896137dfbfa8b,
0x65722e87ddb7efcb,
0x438b520e0e6e979c,
0xeb5ae2229115057a,
0x288e8fe824b48eab,
],
[
0x91c89971b3c20a8a,
0x87b82b1d55780b5,
0xbc47bb80dfdaefcd,
0x87e11c0f44454863,
0x2df1aedb5871cc4b,
0xba72fd91536382c8,
0x52cebef9e6ea865d,
0x87e11c0f44454863,
0x2df1aedb5871cc4b,
0xba72fd91536382c8,
0x52cebef9e6ea865d,
0x9a251a4f6dec73d0,
0xffe0ac4598453e46,
0xcbf53e723b4c6977,
0x7678a9934b49ce9,
],
[
0x16468c55a1b3f2b4,
0x40b1e8d6c63c9ff4,
0x143adc6fee592576,
0x4caf4deeda66a6ee,
0x264720f6f35f7840,
0x71c3aef9e59e4452,
0x97886ca1cb073c55,
0x4caf4deeda66a6ee,
0x264720f6f35f7840,
0x71c3aef9e59e4452,
0x97886ca1cb073c55,
0xdea7c1f629182595,
0xd70abe8308fb8ff6,
0x20bd73ef8e62748e,
0x393b86d02205a46,
],
[
0x8015f298161f861e,
0x3b4a12bf2e24a16,
0x37b223562c48b473,
0xd82489179f16d4e8,
0xa3c59f65e2913cc5,
0x36cbaecdc3532b3b,
0xf1b454616cfeca41,
0xd82489179f16d4e8,
0xa3c59f65e2913cc5,
0x36cbaecdc3532b3b,
0xf1b454616cfeca41,
0x84b7ca0b97f40c09,
0xb83b76cc780674e6,
0xbfcd22ad536b4bb1,
0x373927fdd98b5603,
],
[
0x71e244d7e2843a41,
0x2132bd3f394ac99d,
0x1791b7a5b93ad1f9,
0xfd7feb3d2956875e,
0xd7192a886b8b01b6,
0x16e71dba55f5b85a,
0x93dabd3ff22ff144,
0xfd7feb3d2956875e,
0xd7192a886b8b01b6,
0x16e71dba55f5b85a,
0x93dabd3ff22ff144,
0xa2cf5b992e172715,
0x4bfd8e8291470259,
0x37424609d330da7c,
0xb81684e4acf6ae11,
],
[
0x5d3cb0d2c7ccf11f,
0x1215f183d5a24092,
0xea833d94dca4809a,
0xb5b472960ece11ec,
0x13935c99b9abbf53,
0x3e80d95687f0432c,
0x3516ab536053be5,
0xb5b472960ece11ec,
0x13935c99b9abbf53,
0x3e80d95687f0432c,
0x3516ab536053be5,
0x6dd659e52a203d9,
0x56113335fd45136c,
0x6c8fec792e683c2,
0xff8278f06fd7b168,
],
[
0xd6cffe6c223aba65,
0xb19224aad3a69ef1,
0x67268f8829a9f99d,
0x62e33ba258712d51,
0xfa085c15d779c0e,
0x2c15d9142308c5ad,
0xfeb517011f27be9e,
0x62e33ba258712d51,
0xfa085c15d779c0e,
0x2c15d9142308c5ad,
0xfeb517011f27be9e,
0xc64b2639773de03a,
0xdff150c89c409027,
0x38f55cf3472e7f43,
0xa178f9518e66c24a,
],
[
0x8a17c5054e85e2be,
0x15e35d5a33726681,
0x9b345fa359c4e8e3,
0xe4041579de57c879,
0xbbf513cb7bab5553,
0x66ad0373099d5fa0,
0x44bb6b21b87f3407,
0xe4041579de57c879,
0xbbf513cb7bab5553,
0x66ad0373099d5fa0,
0x44bb6b21b87f3407,
0x71a75a9eea752287,
0x89e4646caa4d61ed,
0x16dcea6d62871d1e,
0x329110ddf8e15c6e,
],
[
0x77d112a0b7084c6a,
0x2f869c2d79d95e45,
0xa3c8f877e8ebc840,
0x16fde90d02a1343b,
0xad14e0ed6e165185,
0x8df6e0b2f24085dd,
0xcaa8a47292d50263,
0x16fde90d02a1343b,
0xad14e0ed6e165185,
0x8df6e0b2f24085dd,
0xcaa8a47292d50263,
0x7a89e3eebe2939ea,
0xd00e46213690a008,
0xcf21eb7264ec9839,
0x2661cb9947b6e01f,
],
[
0x708f2a6e8bd57583,
0x688e0faea5f15272,
0xd28955c99ed63d38,
0x8459801016414808,
0x6fbf75735353c2d1,
0x6e69aaf2d93ed647,
0x85bb5b90167cce5e,
0x8459801016414808,
0x6fbf75735353c2d1,
0x6e69aaf2d93ed647,
0x85bb5b90167cce5e,
0x6694139503e11ece,
0x262c6b886d57cb2c,
0x59fa9c33d1764117,
0x27de71d654f9930c,
],
[
0x50bc8f76b62c8de9,
0x88b4d8ebe13cbd79,
0xda08ee1bf528e82e,
0xaad20d70e231582b,
0xeab92d70d9a22e54,
0xcc5ab266375580c0,
0x85091463e3630dce,
0xaad20d70e231582b,
0xeab92d70d9a22e54,
0xcc5ab266375580c0,
0x85091463e3630dce,
0x64a6468ae196d852,
0x9f0666ed430c5ced,
0x72276ddc483452f1,
0x3e20002aa0d2f037,
],
[
0x8b15a656b553641a,
0x611c74d4137bf21b,
0xa051cbbf796013c1,
0x38a42e0db55a4275,
0x585971da56bb56d6,
0xcd957009adc1482e,
0xd6a96021e427567d,
0x38a42e0db55a4275,
0x585971da56bb56d6,
0xcd957009adc1482e,
0xd6a96021e427567d,
0x10183eefcb6c149a,
0xdc7b2e95dd0a59d4,
0x249ecfd99a352126,
0x90eb499e5bc3016c,
],
[
0x6ba74ccf722a52be,
0x75e2d5362c0050b1,
0x32e95f14d29a1c01,
0x3526d9b950a1d910,
0xa58ba01135bca7c0,
0xcbad32e86d60a87c,
0xadde1962aad3d730,
0x3526d9b950a1d910,
0xa58ba01135bca7c0,
0xcbad32e86d60a87c,
0xadde1962aad3d730,
0x6978adb645f9d67a,
0x8ecd8010c6c14e6c,
0xa4792a2a4fd8b4d7,
0x80ec738f89e172d7,
],
[
0xfb317bb7533454d0,
0x15f9898fd61f0209,
0x593d179631ddf22c,
0x7c909e8cd5261727,
0xc5acb3d5fbdc832e,
0x54eff5c782ad3cdd,
0x9d54397f3caf5bfa,
0x7c909e8cd5261727,
0xc5acb3d5fbdc832e,
0x54eff5c782ad3cdd,
0x9d54397f3caf5bfa,
0x66c61e7ac32d8e8a,
0x15e13d7e20653581,
0x1fb2a076673d4ed7,
0xdf1d517cbac90f4d,
],
[
0x8eec643f62c90fea,
0xdf17fc55b1d4a915,
0x62fa77ed321e937f,
0x479f936b6d496dca,
0xdc2dc93d63739d4a,
0x27e4151c3870498c,
0x3a3a22ba512d13ba,
0x479f936b6d496dca,
0xdc2dc93d63739d4a,
0x27e4151c3870498c,
0x3a3a22ba512d13ba,
0xe5c26a6a1f34c8b,
0xf8e2d55618cfd437,
0x8f34b1e8afb7c487,
0x1e0b5027a3de88a8,
],
[
0x81ce6becdf10dff2,
0x4182c78d3d609461,
0xdb5cb16e44cb1e37,
0x464f1adf4c68577,
0xacf3961e1c9d897f,
0x985b01ab89b41fe1,
0x6972d6237390aac0,
0x464f1adf4c68577,
0xacf3961e1c9d897f,
0x985b01ab89b41fe1,
0x6972d6237390aac0,
0xa35b31c92616a65a,
0x277fea4f1033e80,
0xb93848f7799af5,
0xaa7ac2e7c2ca0c3f,
],
[
0x549c669fb0049f69,
0xa01f16549b0a628e,
0x675a9a86499cd4e4,
0x8af42343888843c,
0x191433ffcbab7800,
0x7eb45fc94f88a71,
0x31bc5418ffb88fa8,
0x8af42343888843c,
0x191433ffcbab7800,
0x7eb45fc94f88a71,
0x31bc5418ffb88fa8,
0x2a83688059015d3d,
0x6ebaace04b37faee,
0x2711dbf9175e05af,
0xdc48f30c0c5485c,
],
[
0x2b6a3433940bbf2d,
0xdda5e942a8098f8b,
0x812bcb2a17f1f652,
0xdc46069eec17bfdf,
0xcacb63fe65d9e3e,
0x362fb57287d530c6,
0x5854a4fbe1762d9,
0xdc46069eec17bfdf,
0xcacb63fe65d9e3e,
0x362fb57287d530c6,
0x5854a4fbe1762d9,
0xea16deeb7b10c9e9,
0xc41455bd2891035,
0x234df0018e17777f,
0x2af60b0142554ad3,
],
[
0xd80b7a3c691401b7,
0xe205b8266ea761cb,
0x8e44beb4b7cde31b,
0x69437142dae5a255,
0xf2980cc4816965ac,
0xdbbe76ba1d9adfcf,
0x49c18025c0a8b0b5,
0x69437142dae5a255,
0xf2980cc4816965ac,
0xdbbe76ba1d9adfcf,
0x49c18025c0a8b0b5,
0xfb3b9e51f05e41eb,
0x2b98c335d35a255a,
0xe28669bdcfd7e2fc,
0x8fc1628f98097f89,
],
[
0xab3bf6b494f66ef3,
0x530b0467dcaf3c4b,
0x383cc50df33afc6f,
0x5e351e20f30377bf,
0x91b3805daf12972c,
0x94417fa6452a265e,
0xbfa301a26765a7c,
0x5e351e20f30377bf,
0x91b3805daf12972c,
0x94417fa6452a265e,
0xbfa301a26765a7c,
0xf24404822e88caf7,
0x8016a4180e38ae78,
0x554bcd2999907b4d,
0x8b992ca8b140921c,
],
[
0x83f7b824a3911d44,
0x921947a8a2668a44,
0x13c001ebba408aaa,
0xfd39b7642cecf78f,
0x104f1af4e9201df5,
0xab1a3cc7eaeab609,
0xcee3363f210a3d8b,
0xfd39b7642cecf78f,
0x104f1af4e9201df5,
0xab1a3cc7eaeab609,
0xcee3363f210a3d8b,
0x80e6f0488fcf2b74,
0x5ae0c867f4678d7d,
0xc7dd9616090bbb02,
0x3d9f95de498cdc96,
],
[
0x3fb8d482d0d9d03f,
0xd911bf94d3017ee1,
0x96ebbf1ceac7b4cb,
0x18865ff87619fd8f,
0xdec5293e665663d8,
0xea07c345872d3201,
0x6fce64da038a17ab,
0x18865ff87619fd8f,
0xdec5293e665663d8,
0xea07c345872d3201,
0x6fce64da038a17ab,
0xdcb0f7df521354a8,
0xacf6cf3cc75f69cf,
0x63f90b70122e9e1a,
0x31ee0f81f9b46373,
],
[
0xad346a1f100b3944,
0x3934eb0f8d35a797,
0x77664abec282db4c,
0xb5f630ac75a8ce03,
0x7cf71ae74fa8566a,
0xe068f2b4618df5d,
0x369df952ad3fd0b8,
0xb5f630ac75a8ce03,
0x7cf71ae74fa8566a,
0xe068f2b4618df5d,
0x369df952ad3fd0b8,
0x264d8dc45552cbeb,
0xbeb7f7004c8430d9,
0xe2ac51459c50db66,
0x713432ce41894f55,
],
[
0xdb210eb547a3dbc5,
0xe1013615221cb0d7,
0x4ca87abbb73194d8,
0x1b0118c5c60a99c7,
0x6ae919ef932301b8,
0xcde25defa089c2fc,
0xc2a3776e3a7716c4,
0x1b0118c5c60a99c7,
0x6ae919ef932301b8,
0xcde25defa089c2fc,
0xc2a3776e3a7716c4,
0x2d7584f581337ebd,
0x1c2ad68bb3841da4,
0x24642f82c846d102,
0x7ae8189fce271273,
],
[
0xe55fab4f920abdc0,
0x7fa81600f789f5a6,
0x6f67cf7344c18fce,
0x2a5e555fd35627db,
0x55d5da439c42f3b8,
0xa758e451732a1c6f,
0x18caa6b46664b484,
0x2a5e555fd35627db,
0x55d5da439c42f3b8,
0xa758e451732a1c6f,
0x18caa6b46664b484,
0xf1d9a09efaa3b23f,
0x96514bf9d3a14a7c,
0x54bad54ea8aa08a3,
0x8455a4cbe4357da3,
],
[
0x3b530fff7e848c5e,
0x152e3fec5a21ed68,
0x4340e5798860241a,
0x1944ec723253392b,
0x7ea6aa6a2f278ea5,
0x5ff786af8113b3d5,
0x194832eb9b0b8d0f,
0x1944ec723253392b,
0x7ea6aa6a2f278ea5,
0x5ff786af8113b3d5,
0x194832eb9b0b8d0f,
0x147c80ac8c21e312,
0xe8402f00491dd9fe,
0x55f719b61bef6c41,
0x7e40aced35c86182,
],
[
0xbde3379279d1cae1,
0xf3596e48364bdaac,
0x9f070e7509abc6bf,
0x81d90ddff0d00fdb,
0x2c8c7ce1173b5c77,
0x18c6b6c8d3f91dfb,
0x415d5cbbf7d9f717,
0x81d90ddff0d00fdb,
0x2c8c7ce1173b5c77,
0x18c6b6c8d3f91dfb,
0x415d5cbbf7d9f717,
0xfb619d0453fff356,
0xdac13cf12f023e76,
0xf78a099853b565fd,
0xc8181c3dbac54897,
],
[
0x4008062bc7755b37,
0x8873f772dc7d1ea2,
0x4502cd3133c94d7d,
0x381068e0f65f708b,
0xb4f3762e451b12a6,
0x6d61ed2f6d4e741,
0x8b3b9df537b91a2c,
0x381068e0f65f708b,
0xb4f3762e451b12a6,
0x6d61ed2f6d4e741,
0x8b3b9df537b91a2c,
0xef102f6286c7c1af,
0x9afc95cde29a7aa6,
0x2ff712f91ee9494f,
0x9c6c76046b425b10,
],
[
0x76a66ce0ee8094d1,
0x99dc87d517229612,
0x83b12c2aff5dd46e,
0x6e8e8ff107799274,
0x24a2ef180891b531,
0xc0eaf33a074bcb9d,
0x1fa399a82974e17e,
0x6e8e8ff107799274,
0x24a2ef180891b531,
0xc0eaf33a074bcb9d,
0x1fa399a82974e17e,
0xb29167d8432fafe,
0xcc56b9205b528504,
0x10d59e2938d5e43a,
0xa90586bd2fb67b13,
],
[
0x2bc3dfb3b1756918,
0x3e0269476ab76f14,
0x52c60b61184e08de,
0xf5f8b21ec30bd3a0,
0x80a442fd5c6482a8,
0x4fde11e5ccde5169,
0x55671451f661a885,
0xf5f8b21ec30bd3a0,
0x80a442fd5c6482a8,
0x4fde11e5ccde5169,
0x55671451f661a885,
0xb16048988fb7ee6,
0xf885f2afd0dd0a35,
0x43de0587ae1224c4,
0x88e34aaa139bc84c,
],
[
0xd060dc1e8ca204ee,
0xce494f4b2198e36f,
0x1f120ffb0524d537,
0xcaac64f5865d87f3,
0x771b9fdbd3aa4bd2,
0x88446393c3606c2d,
0xbc3d3dcd5b7d6d7f,
0xcaac64f5865d87f3,
0x771b9fdbd3aa4bd2,
0x88446393c3606c2d,
0xbc3d3dcd5b7d6d7f,
0xc3cc4037483d6ffb,
0xc0611d122df0a94a,
0xbd0e8372d4ed9bda,
0x6073eb94cae8b36f,
],
[
0xc8ec4fc839254a74,
0x4d8b8b116ea60b09,
0xd6a77d7a8c6d11f4,
0x401a0581221957e2,
0xfc04e99ae3a283ce,
0xfe895303ab2d1e3e,
0x35ab7c498403975b,
0x401a0581221957e2,
0xfc04e99ae3a283ce,
0xfe895303ab2d1e3e,
0x35ab7c498403975b,
0x90e3d118304fc229,
0xd8c2a402a3880687,
0x790743ff50592460,
0x655741d07bfda16a,
],
[
0x7cdf98a07b1315b0,
0x5b7132d0a9ee6608,
0xd2480e4e97602ad,
0x330b7e93663affbd,
0x3c59913fcf0d603f,
0xe207e6572672fd0a,
0x8a5dc17019c8a667,
0x330b7e93663affbd,
0x3c59913fcf0d603f,
0xe207e6572672fd0a,
0x8a5dc17019c8a667,
0x6a650c716f0fd07b,
0x1b31a47fc8bab8b,
0x61d2ac5f64a95753,
0xd833304729a56db5,
],
[
0x78284cb5c0143ed8,
0xac6af8e6f7820e82,
0x71d171a63a6187b5,
0x77fbb70409d316e2,
0xc864432c5208e583,
0xd3f593922668c184,
0x23307562648bdb54,
0x77fbb70409d316e2,
0xc864432c5208e583,
0xd3f593922668c184,
0x23307562648bdb54,
0xcd179db40527fcd9,
0x5eb42e394975dc42,
0x736ecffd66526be4,
0xac87ae424e7a6584,
],
[
0x5c2c485bdc8e3317,
0x7bfe5915c5e0fa2d,
0x6b433526b05fc4d8,
0x20085827a39ff749,
0x42e6c504df174606,
0x839da16331fea7ac,
0x7fd768552b10ffc6,
0x20085827a39ff749,
0x42e6c504df174606,
0x839da16331fea7ac,
0x7fd768552b10ffc6,
0x2e5d1151c72c6bc4,
0x8c55f4c8b55b8d97,
0xbb3d972b6d146973,
0x73f9202bc741c379,
],
[
0x6e38acb798627f75,
0x55ac9c4d9d32fed7,
0x766ef46cf807f655,
0xd0884af223fd056b,
0xbb33aafc7b80b3e4,
0x36b722fea81a4c88,
0x6e72e3022c0ed97,
0xd0884af223fd056b,
0xbb33aafc7b80b3e4,
0x36b722fea81a4c88,
0x6e72e3022c0ed97,
0x299b25079cd24931,
0x9524a42a403e3a3c,
0x63cf882a484d9a7c,
0xeef97121c5a5a2bb,
],
[
0xc5fb48f0939b4878,
0x7b773f9bcd0ec27a,
0x6d36a844bb3f3360,
0x984cf3f611546e28,
0xd7d9c9c4e7efb5d7,
0xb3152c389532b329,
0x1c168b512ec5f659,
0x984cf3f611546e28,
0xd7d9c9c4e7efb5d7,
0xb3152c389532b329,
0x1c168b512ec5f659,
0x4a0caa396f16d3e9,
0xd812c505c18cb004,
0xd52562645e5d6d29,
0x23a69405f4a7a1fb,
],
[
0x292da6390260110,
0x7608d31cc4c96e48,
0xf843ecb8366f0809,
0x24940a3adac420b8,
0x5adf73051c52bce0,
0x1aa5030247ed3d32,
0xe1ae74ab6804c08b,
0x24940a3adac420b8,
0x5adf73051c52bce0,
0x1aa5030247ed3d32,
0xe1ae74ab6804c08b,
0x5fb9715b2bd92e3f,
0xd9936c85aa5cb454,
0x48f7c7fa87fe0886,
0x33384b5bf3cc0a0f,
],
[
0x1e0ee26b7044741b,
0x1b7f67a75b435af5,
0xb24891afcb0faa49,
0x2a55645640911e27,
0x4fac2eefbd36e26f,
0x79ad798fb4c5835c,
0x359aa2faec050131,
0x2a55645640911e27,
0x4fac2eefbd36e26f,
0x79ad798fb4c5835c,
0x359aa2faec050131,
0xb08464da8fa19778,
0x76225cd3b6ab507b,
0xc2b3fedc26c3070f,
0x2318b4cc1f1eaef,
],
[
0x69b8f7e762db77ec,
0xd845fd95e4f669e0,
0xb1e8e3f0f5c9037e,
0x10a7228693eb083e,
0x1054fb19cbacf01c,
0xa8f389d24587ebd8,
0xafcb783a39926dba,
0x10a7228693eb083e,
0x1054fb19cbacf01c,
0xa8f389d24587ebd8,
0xafcb783a39926dba,
0x9cea7dd3c9d7c13e,
0x359371f6c4b1f07d,
0xa09f9aef856aeecf,
0x47f8fd69174f57c2,
],
[
0x9b321366d6585031,
0x8ffcf9094b4ed2e2,
0x3b7321189816fdcc,
0x39756960441fbe2f,
0xfb68e5fedbe3d874,
0x3ff380fbdd27b8e,
0xf48832fdda648998,
0x39756960441fbe2f,
0xfb68e5fedbe3d874,
0x3ff380fbdd27b8e,
0xf48832fdda648998,
0x5f15cd83a154bb24,
0xb7f8f0acd027320e,
0xcabef155f2bc6cc1,
0x3f71cadd80d07c62,
],
[
0x9375c89169bf70cf,
0x45d697d09989365f,
0x3ab599efd811ae97,
0xcba4c10e65410ba0,
0x3c250c8b2d72c1b6,
0x177e82f415595117,
0x8c8dcfb9e73d3f6,
0xcba4c10e65410ba0,
0x3c250c8b2d72c1b6,
0x177e82f415595117,
0x8c8dcfb9e73d3f6,
0xd7351ad4cced7536,
0x4b642eb64bd85529,
0x8210191af35a2baf,
0x6ad4db2f9a5f7f96,
],
[
0xa8db1643cc52d94d,
0x47d3bfec129f7edd,
0x925b29c3dbfea463,
0x951f2078aa4b8099,
0xe68b7fefa1cfd190,
0x41525a4990ba6d4a,
0xc373552ef4b51712,
0x951f2078aa4b8099,
0xe68b7fefa1cfd190,
0x41525a4990ba6d4a,
0xc373552ef4b51712,
0x4a6206e99d0547b1,
0xf2f9350de5aa024c,
0x1c61958a2c4f08fe,
0xa49542310488f889,
],
[
0xcf7a9ea6a7a30dee,
0x9573ae0f07cb7c2e,
0x6793c6e1fad303dd,
0xb57ec44bc7101b96,
0x6cb710e77767a25a,
0x2f446152d5e3a6d0,
0xcd69172f94543ce3,
0xb57ec44bc7101b96,
0x6cb710e77767a25a,
0x2f446152d5e3a6d0,
0xcd69172f94543ce3,
0xd5fe33eaa00b2cd,
0x6339cc4808b80a67,
0xc171e9e64ab11197,
0xc423dff6ab960cae,
],
[
0x42c2e9f84dc7f129,
0x7b482774b391095c,
0x216a0d505d49b80,
0xed094f47671e359d,
0xd9ebdb047d57611a,
0x1c620e4d301037a3,
0xdf6f401c172f68e8,
0xed094f47671e359d,
0xd9ebdb047d57611a,
0x1c620e4d301037a3,
0xdf6f401c172f68e8,
0x7660fea207a306b2,
0xb0b345f811948268,
0x9af19dfcd71a3507,
0xf6b3906d362aa47b,
],
[
0x394c2c1cca4e9271,
0x2573fb79ecb7111f,
0x5113e80f2555b54c,
0x5d765af4e88f3277,
0xd2abe1c63ad4d103,
0x342a8ce0bc7af6e4,
0x31bfda956f3e5058,
0x5d765af4e88f3277,
0xd2abe1c63ad4d103,
0x342a8ce0bc7af6e4,
0x31bfda956f3e5058,
0x9e2f370f3ca72d39,
0x934672274dae1bbf,
0xa01f2897c4ade8b8,
0xc3ee6a2df09f4e4a,
],
[
0xd38df9e9740cb16c,
0x79be3445c5491402,
0xa15ead26a317837e,
0xa6814d3dc578b9df,
0x3372111a3292b691,
0xe97589c81d92b513,
0x74edd943d1b9b5bf,
0xa6814d3dc578b9df,
0x3372111a3292b691,
0xe97589c81d92b513,
0x74edd943d1b9b5bf,
0xffe5b2d4ad351538,
0x57be9ef9d48108b3,
0x16506856c7346dac,
0xf4f96dcf2d36b005,
],
[
0xec12466d1379cfdf,
0x84aae38bd5b56932,
0x1407e7cad8d977df,
0x63672de7951e1853,
0x3ca0c763273b99db,
0x29e04fa994cccb98,
0xb02587d792be5ee8,
0x63672de7951e1853,
0x3ca0c763273b99db,
0x29e04fa994cccb98,
0xb02587d792be5ee8,
0x12bcd1cd2ed88cbe,
0x868db516f6cfaf86,
0x70325ea7a64556c3,
0xa1532526ba7d70ba,
],
[
0x9050986d9ced6a2e,
0x8bc353d8f72e4f9c,
0xb16a21f3ae8ddaf4,
0xa16cd2e8b445a3fd,
0xf0d4f9fb613c38ef,
0xeee7755d444d8f2f,
0xb530591eb67ae30d,
0xa16cd2e8b445a3fd,
0xf0d4f9fb613c38ef,
0xeee7755d444d8f2f,
0xb530591eb67ae30d,
0xb803af84df15e736,
0xe6d43b5e062f99e8,
0x8edf24b490ca760e,
0x7af8278b4d638935,
],
[
0xc7362967930e8a48,
0xa61695f6772f5336,
0x96e9b973fe114561,
0x5386ef0b438d0330,
0xd39e03c686f8a2da,
0x9555249bb9073d78,
0x8c0b3623fdf0b156,
0x5386ef0b438d0330,
0xd39e03c686f8a2da,
0x9555249bb9073d78,
0x8c0b3623fdf0b156,
0x2d4bc6594c7a5295,
0x31e13fa47c586321,
0x2d68fdb034b0fbe1,
0xdfc819d4cb95e6ed,
],
[
0x47bd8137d464eab3,
0x236db8fed274d4d7,
0x499063daa6e4eae3,
0xe381f24ee1d9a97d,
0x7c5d95b2a3af2e08,
0xca714acc461cdc93,
0x1a8ee94bc847aa3e,
0xe381f24ee1d9a97d,
0x7c5d95b2a3af2e08,
0xca714acc461cdc93,
0x1a8ee94bc847aa3e,
0x82e217c1596deac5,
0x747ce14ecb967425,
0x7999db153c12cd13,
0x66995512db3e71b9,
],
[
0xcff30d9303db2dfe,
0x1afb5899ab9c8653,
0xb2d9cc739ab9f148,
0x4cbef49086e62678,
0xd77dfecc2819ef19,
0xc327e4deaf4c7e72,
0xb4d58c73a262a32d,
0x4cbef49086e62678,
0xd77dfecc2819ef19,
0xc327e4deaf4c7e72,
0xb4d58c73a262a32d,
0xcc79b6db913dc3c2,
0x1aed3e358bee3387,
0x6f785322ea91daf1,
0x2524fdd521691a3c,
],
[
0x8d086fc30b6694b2,
0x90533a6a1124ec0b,
0xf24a7ec2f48b6809,
0xbecb065dc12d8b4e,
0xebee135492a2018,
0xd3f07e65bcd9e13a,
0x85c933e85382e9f9,
0xbecb065dc12d8b4e,
0xebee135492a2018,
0xd3f07e65bcd9e13a,
0x85c933e85382e9f9,
0x4d47e3ea7334ca85,
0x2dbad2622bcd261e,
0x7f41afc6a29b148b,
0xa127381c5f036c23,
],
[
0xb7d681356bdd9e4f,
0x9e8e19b5cdbfb229,
0xe8f5fbafde7bea61,
0xbc944c1b5ba2184d,
0xab3d57e5e60e9714,
0x5d8d27e7dd0a365a,
0x4dd809e11740af1a,
0xbc944c1b5ba2184d,
0xab3d57e5e60e9714,
0x5d8d27e7dd0a365a,
0x4dd809e11740af1a,
0xb8bf591b4926fccf,
0x9dbbca9cc696d802,
0x1346415c65076fab,
0xf68d75f0b2ce488b,
],
[
0x5bb01fcb2e6ad355,
0x895c355e71191ef4,
0x1f7a98978f1bf049,
0xaaa144fbe3e6fda2,
0x52a9291d1e212bc5,
0x2b4c68291f26b570,
0x45351ab332855267,
0xaaa144fbe3e6fda2,
0x52a9291d1e212bc5,
0x2b4c68291f26b570,
0x45351ab332855267,
0xe97b427d76af6ce8,
0xc5475d8608b9f1b7,
0xec7bc03fa014a705,
0x532a752515fbad7f,
],
[
0xcd2ff001a80d1b11,
0xc0f8d9d7d08c74b3,
0x5df56e499e9ca980,
0xb8c18d66154ac51,
0x5807350371ad7388,
0x81f783f4f5ab2b8,
0xfa4e659f90744de7,
0xb8c18d66154ac51,
0x5807350371ad7388,
0x81f783f4f5ab2b8,
0xfa4e659f90744de7,
0xf40172efee95ea91,
0x790d87b29b591f28,
0x5312ecbb4f9d51aa,
0x7e4fec68c1f7cfb0,
],
[
0x8bfbf611401100cd,
0x599edd1f5154a546,
0x56b61ed81d29796,
0xb744f5056e74ca86,
0x88aa27b96f3d84a5,
0xb4b1ee0470ac3826,
0xaeb46264f4e15d4f,
0xb744f5056e74ca86,
0x88aa27b96f3d84a5,
0xb4b1ee0470ac3826,
0xaeb46264f4e15d4f,
0xfd904427792f38c2,
0x3ed5c93003a67d42,
0xe55b5825b0daad8e,
0xb0fcbf7ea7240f37,
],
[
0xec9ae0cf9290d012,
0x14368811a4a1621d,
0xde04cc7d2c562fcf,
0x4323852cc57e4af3,
0x1f5f638bbf9d2e5b,
0x578fb6ac89a31d9,
0x7792536d9ac4bf12,
0x4323852cc57e4af3,
0x1f5f638bbf9d2e5b,
0x578fb6ac89a31d9,
0x7792536d9ac4bf12,
0x40e652b441ced5ed,
0x70abd80b280284a2,
0x59a9fde500b7020d,
0x9aab0532ecd500f5,
],
[
0x4ac2a5e9dc03176d,
0x78df6aca1dd90b2b,
0xe5fcbc1dfe65f7db,
0x766b71bff7d6f461,
0xb004f2c910a6659e,
0x4c0eb3848e1a7c8,
0x3f90439d05c3563b,
0x766b71bff7d6f461,
0xb004f2c910a6659e,
0x4c0eb3848e1a7c8,
0x3f90439d05c3563b,
0xce4a4c5e98f3ece3,
0x500bd4273e7d4819,
0x72cc628b298ca6a,
0xc7760b25c80513eb,
],
[
0x5fd51f635bc557a8,
0x7e810b3d0b3db6dc,
0x603d74dd65a3baf6,
0xd178444a236c1f2d,
0x5576deee27f3f103,
0x943611bb5b1b0736,
0xa0fde17cb5c2316d,
0xd178444a236c1f2d,
0x5576deee27f3f103,
0x943611bb5b1b0736,
0xa0fde17cb5c2316d,
0xcd8d6caab9dfd706,
0x1ffe8429dfef2301,
0x2bf61b63c0ce54da,
0x80f164c017afbb5b,
],
[
0xec3521e8efdb1779,
0x422da247696eedc,
0xa372b6a2f501313c,
0x7a265e37da616168,
0x6a1f06c34bafa27,
0xfbae175e7ed22a9c,
0xb144e84f6f33c098,
0x7a265e37da616168,
0x6a1f06c34bafa27,
0xfbae175e7ed22a9c,
0xb144e84f6f33c098,
0x8f8e0fd7460992e7,
0x238397859829ccfb,
0xba50181729d67168,
0x2e5afacc63032432,
],
[
0xa9147f0fb2e38bb1,
0xd2da27a1045272e7,
0x7bfb951842162784,
0x9fd4d9362494cbbc,
0xe562bc615befb1b9,
0x8096808d8646cfde,
0xc4084a587b9776ec,
0x9fd4d9362494cbbc,
0xe562bc615befb1b9,
0x8096808d8646cfde,
0xc4084a587b9776ec,
0xfe762782827f2a3,
0x37fb8895239f65b6,
0x37194c9ed5c85f0,
0xff55d85de34a85cf,
],
[
0xa080e609751f2e81,
0x2df3057a20f24b2e,
0xb9a0f8b45d79c318,
0xc84bb7b3881ab070,
0x36fe6c51023fbda0,
0xd62838514bb87ea4,
0x9eeb5e7934373d86,
0xc84bb7b3881ab070,
0x36fe6c51023fbda0,
0xd62838514bb87ea4,
0x9eeb5e7934373d86,
0xc8ce51475e7447af,
0xe49577031c3482b5,
0x6b9f34f6d01f844d,
0x5cfba1d77493e3c2,
],
[
0x3bc578f69905fa2d,
0xbb2c316b7f3eb8c2,
0x18646edbbf14b0ed,
0x4473c8e2a3458ee0,
0x258053945ab4a39a,
0xf8d745ca41962817,
0x7afb6d40df9b8f71,
0x4473c8e2a3458ee0,
0x258053945ab4a39a,
0xf8d745ca41962817,
0x7afb6d40df9b8f71,
0xac337c1953b598aa,
0x5f74b5c6c9ea57a6,
0xc699f64c67042a5a,
0x170a611794cd9a0a,
],
[
0x9e6a5e0641d1c0d9,
0xba3905a52abd5805,
0x73c0bcd5a7366e15,
0xb5f52041a698da7,
0x29864874b5f1936d,
0x49b3a0c6d78f98da,
0x93a1a8c7d90de296,
0xb5f52041a698da7,
0x29864874b5f1936d,
0x49b3a0c6d78f98da,
0x93a1a8c7d90de296,
0xb90225f5eeb7f6c3,
0x31be9ab5998656bc,
0xd11c1b51a077518,
0xcec3b33b76a971e2,
],
[
0x83b0cdb3c934c679,
0x88e72fd2e9c85618,
0x25cbcd575a21c446,
0x664ec3fad8521859,
0x406f082beb9ca29a,
0xb6b0fb3a7981c7c8,
0x3ebd280b598a9721,
0x664ec3fad8521859,
0x406f082beb9ca29a,
0xb6b0fb3a7981c7c8,
0x3ebd280b598a9721,
0x1a76fb666b936652,
0x5f1d4f347534db27,
0x29527543299312f0,
0xdcbf8d2bfa78a9c3,
],
[
0xf174161497c5fa97,
0xdb3717129871fa98,
0x5eb7a9d5a724daed,
0x5414e385f5677a6d,
0x41ef105f8a682a28,
0x94ae9f66d82d71f0,
0x6b698643f5924cc6,
0x5414e385f5677a6d,
0x41ef105f8a682a28,
0x94ae9f66d82d71f0,
0x6b698643f5924cc6,
0x43b734974ec0c76a,
0x4ced7086d84d105e,
0xf86223fe44450eb1,
0x5ced41d863a4d226,
],
[
0xd7262cb2f2755e70,
0xf87e6123e1e56dc7,
0x76a474a551662078,
0xd4bd358fed3e6aa5,
0x8a1ba396356197d9,
0x5bcf3e13a8184f6d,
0x5f17183906e40929,
0xd4bd358fed3e6aa5,
0x8a1ba396356197d9,
0x5bcf3e13a8184f6d,
0x5f17183906e40929,
0x4d19331b3ec930ec,
0x53030189a9c901fb,
0x93bff69e4c985550,
0xcb289a8356a7ad3a,
],
[
0x1444ce264e8784b7,
0x72dd36167600c3c4,
0x7e52afec3d9d166e,
0xdb0c32f76f5b7fc1,
0x5e41b711f0abd1a0,
0x41f387462b60ec17,
0x20cd7feaf6b0d5ea,
0xdb0c32f76f5b7fc1,
0x5e41b711f0abd1a0,
0x41f387462b60ec17,
0x20cd7feaf6b0d5ea,
0x52b22d58c4850902,
0x7cdc51eb1705c332,
0xcaef4d284e0a6bd5,
0x195aa229881bcd1,
],
[
0x532e6b5c95a2e229,
0x2e74b7cb427c4e8a,
0x90febf2e15deaaa5,
0x32d3a29cf49e2dc9,
0x3079c0b0c2269bd0,
0x906379f72fdcdff1,
0xea076563ae6ed4ce,
0x32d3a29cf49e2dc9,
0x3079c0b0c2269bd0,
0x906379f72fdcdff1,
0xea076563ae6ed4ce,
0x9ade243380413403,
0x1a1edd18efe953a0,
0x375cfbeadcefb824,
0x2f245730c19edfeb,
],
[
0x183d112159f539eb,
0xe0a272f5325ccfce,
0x82051bab809a3bf3,
0xa54eaa5d7f3a7227,
0x9d26922965d54727,
0x858c68ea2e46ec2e,
0xe157ea542fd04d72,
0xa54eaa5d7f3a7227,
0x9d26922965d54727,
0x858c68ea2e46ec2e,
0xe157ea542fd04d72,
0x4482da9f5920b9a7,
0x9eb3d1148a6bb2b,
0x7607715a95ebcfe1,
0x72780826506d32a1,
],
[
0x8f18272400b3ace9,
0xf936fba4e6c7f6f5,
0xa395a3524727f255,
0xea37f61c0c2f6d53,
0x9b0c2174f14a01f5,
0x631f4fbb52f7b4e1,
0x882e8ea542c5a526,
0xea37f61c0c2f6d53,
0x9b0c2174f14a01f5,
0x631f4fbb52f7b4e1,
0x882e8ea542c5a526,
0x1ec92e2a2420d7c1,
0x2ac6c4b00c99a2f7,
0xa51a134fabb20833,
0x210b66fdd86d39db,
],
[
0x43761e6a5f6f2fd6,
0x49ff8647ef7de2cd,
0x9db86e928d9c50d8,
0xa32c192f6e3c3f66,
0x8f10077b8a902d00,
0x85dcc88c159d5666,
0x2277bf43094b85be,
0xa32c192f6e3c3f66,
0x8f10077b8a902d00,
0x85dcc88c159d5666,
0x2277bf43094b85be,
0x94a19f055590ffde,
0x9fa196a7fbee216b,
0x2dd7eb1748e1938e,
0x8d362a7e503ef13d,
],
[
0x44f615fcd096fbfe,
0xf91b1ef287c2b469,
0xb0153a7a31076599,
0xa82a7bb790678fc9,
0xd197682c421e4373,
0x92183ad53c7546c2,
0x80e483f6e47eb386,
0xa82a7bb790678fc9,
0xd197682c421e4373,
0x92183ad53c7546c2,
0x80e483f6e47eb386,
0x70138535c3e5336d,
0x4eb80eb6b56b8009,
0x5405df59eeb1b89e,
0xc1966a88b1dd7355,
],
[
0x27613f9db818cf78,
0xffe86d35e2b6af5c,
0xbf8519db808bc3fa,
0x33322363b5f45216,
0x7e83f1fe4189e843,
0xe9fbbdca5076a660,
0xa025a44ad19f89a6,
0x33322363b5f45216,
0x7e83f1fe4189e843,
0xe9fbbdca5076a660,
0xa025a44ad19f89a6,
0xec03c179728e7004,
0x98e742a81a7d4523,
0xbebbab82d82216fe,
0xed2f3f8a5219e953,
],
[
0x3f6984c7afaebd0b,
0xce1a85c17d6eaa95,
0x5b4fdfaf084a67cb,
0x33c6690937582317,
0xfe6d61a77985d7bb,
0xd33afeed3012068c,
0x9769fde4cc576926,
0x33c6690937582317,
0xfe6d61a77985d7bb,
0xd33afeed3012068c,
0x9769fde4cc576926,
0x7dd0a0f3b49c71e2,
0x5647e9c2d9e75f7,
0xed0e4a8939988a28,
0x32a7e3586cd9fab8,
],
[
0x8fc511284f47c772,
0xb4c0724c9dd30a7a,
0xd04d61891a700659,
0xf3d41b3d4717eb83,
0x2670d457dde68842,
0x8af262ab62293c,
0xc4bbf2c513a0d201,
0xf3d41b3d4717eb83,
0x2670d457dde68842,
0x8af262ab62293c,
0xc4bbf2c513a0d201,
0x76e978704a11a16b,
0xb0724f72c1f82e9d,
0x45712558287f76ed,
0x822ac276e9a84f89,
],
[
0x15ae5f12f88592e2,
0xaeec43559dd10188,
0x5bd91d548ffefd6e,
0xdd70e407984cfa80,
0x66996d6066db6e1a,
0xccdf7065727283f8,
0x11e3ac9d9fa63e16,
0xdd70e407984cfa80,
0x66996d6066db6e1a,
0xccdf7065727283f8,
0x11e3ac9d9fa63e16,
0x1de97ef223cb1fe0,
0xaf9d731f864de29d,
0x90b5d80578123019,
0xf38f41986f3aba8f,
],
[
0x905f995bddf92cb7,
0xf7847475e7e1e12,
0x4dc5bb06cd995cee,
0x9432536dd9f65229,
0x192dc54522da3e3d,
0x5eecf6aff92e88d4,
0x2d450eaa62f5f8cf,
0x9432536dd9f65229,
0x192dc54522da3e3d,
0x5eecf6aff92e88d4,
0x2d450eaa62f5f8cf,
0x76e3d90a7955b8fe,
0x4e1884d2082708af,
0x10a38e951ca848dd,
0x402eef96359fa8af,
],
[
0xa23ac6bef8905fec,
0xf675b3d658210f05,
0xb363b9add66e1684,
0xb9aa5bead3352801,
0x8a6d9e02a19a4229,
0x481ba75a9a2f85cd,
0x17f5920e749edd3c,
0xb9aa5bead3352801,
0x8a6d9e02a19a4229,
0x481ba75a9a2f85cd,
0x17f5920e749edd3c,
0xd105b754b4015341,
0x36b8eac51f68cb8b,
0x2fe079ec9fbe8825,
0x8bce2434b0bc343c,
],
[
0x403b94a75160a06b,
0xc6eb4d9351f81e3a,
0xaa0739cef99075f8,
0x8d8e7c63385df78e,
0x16d55add72a5e25e,
0x5fc4a1f7b4b489f1,
0xb6bb01a378d6ff12,
0x8d8e7c63385df78e,
0x16d55add72a5e25e,
0x5fc4a1f7b4b489f1,
0xb6bb01a378d6ff12,
0x694e481b95f51b9e,
0x6bd91d351a87a04,
0x568dc4871bb02524,
0x319de7513b93791c,
],
[
0x14d1ee05672fc19b,
0x703c1a85efd79788,
0xd065eb50cfb5c451,
0xce218d5b44f7825a,
0x2ae0c64765800d3a,
0x176c27079a2958b8,
0x9c886360f29d425d,
0xce218d5b44f7825a,
0x2ae0c64765800d3a,
0x176c27079a2958b8,
0x9c886360f29d425d,
0x48fee499ab87acfe,
0x832fd5f475e2d5c3,
0x4cdd0b88b9cd19e5,
0xff991c415dcc6ca,
],
[
0xf59376c617951a2a,
0x32082c76de4710ff,
0x5d291a873d8d9f9a,
0x1682f54521c291e2,
0x17ca7ab8d97ba0d9,
0xd8d6d62c4e314ae1,
0x269df5967d606f43,
0x1682f54521c291e2,
0x17ca7ab8d97ba0d9,
0xd8d6d62c4e314ae1,
0x269df5967d606f43,
0xfe5f6273a99d92d2,
0xc6acba21b2e1211f,
0xf4e1eb97c0a53ac,
0x5f9fad37e48c2e7f,
],
[
0x63982fdc37a9dc5,
0x8f7025774c4faea9,
0xe7d5ccc2c570c989,
0x8868a216a8f9946,
0x136b5ce2ede03238,
0xc19f0f6f73f2e30e,
0x9219f59f493aa238,
0x8868a216a8f9946,
0x136b5ce2ede03238,
0xc19f0f6f73f2e30e,
0x9219f59f493aa238,
0xadfaf5e6efe814d5,
0x49259b1d5b37655c,
0x9161c70ec49c1228,
0xc7f3381c1f29cf87,
],
[
0xeb480334ed838b48,
0x87f74500f9dd7bec,
0x39dfa7182359c93d,
0x6b7d8d04ae2db2b2,
0x703b85004b504bd6,
0x6b08bbdf158d17eb,
0xaa84994c75c80c1b,
0x6b7d8d04ae2db2b2,
0x703b85004b504bd6,
0x6b08bbdf158d17eb,
0xaa84994c75c80c1b,
0x7e8e99af6a4272d6,
0xc254a89bc1ab8a09,
0x2823ea97135168a4,
0xd4779384def89768,
],
[
0xd0b9004efa0a1164,
0x9f68c1718dbde89f,
0xb5d9a7ab23808f7,
0x9463491a8439eb54,
0x2bd049dd3b9307dd,
0x6b8387ee8561f97e,
0x2db67c3e7c0097f2,
0x9463491a8439eb54,
0x2bd049dd3b9307dd,
0x6b8387ee8561f97e,
0x2db67c3e7c0097f2,
0xc0bf9b2f81a1713,
0xfc543e0d193a6893,
0xbdccc5c843dffb71,
0xeb5521c7deb6fe9f,
],
[
0xb31f2b6cc2a15506,
0x28ad14cab53f717a,
0x341f7d6f1212356b,
0xeee5254624f99323,
0x50f935ad0b11b484,
0x56944e9d03e9b415,
0x886a205391ac0526,
0xeee5254624f99323,
0x50f935ad0b11b484,
0x56944e9d03e9b415,
0x886a205391ac0526,
0x7d2993188d92fefa,
0x8fe8f54e4a57f263,
0x48c0e62b15bc56af,
0xe205bc74c8bc8684,
],
[
0x4f9da8a709bec12f,
0x69347f992ba0b479,
0xd82b32d7831a57aa,
0x5e1aaa3d321c7c55,
0xd808df942eb2b92b,
0x6f303048a4f26df9,
0xcaea0391727bdafd,
0x5e1aaa3d321c7c55,
0xd808df942eb2b92b,
0x6f303048a4f26df9,
0xcaea0391727bdafd,
0x196fc0853f68a0e0,
0x92d3147565562aa4,
0x5fa3bdb80def17a8,
0x7d5e40ed55b3f1b5,
],
[
0x5504000602e6f8cf,
0x17b80b6681b62db0,
0xd83dda14a4423630,
0x7926e11179d2b882,
0xe94fcaa22d091d09,
0xea51d34158cd60a8,
0xb6d56df73b12bacc,
0x7926e11179d2b882,
0xe94fcaa22d091d09,
0xea51d34158cd60a8,
0xb6d56df73b12bacc,
0xe65162ce7807404e,
0x31eb63f0c4a123b4,
0xa7874f0d3640e515,
0x420cee9f66be7433,
],
[
0x2d022d82f513a883,
0xda474eedd3ed528,
0xb339f8f80f556971,
0xbba2b0a0f1b18055,
0x1e72c71e6c54cb2e,
0xe43bfe7158c31dc3,
0x416e04cd551cf777,
0xbba2b0a0f1b18055,
0x1e72c71e6c54cb2e,
0xe43bfe7158c31dc3,
0x416e04cd551cf777,
0x64aec39dc4f1f6c7,
0x6cdf3dc50db736e4,
0xca8664901b3a00d,
0xace03c7e1867c414,
],
[
0xa87268205997eddb,
0xe58cd6fb05cb965,
0xc69eac6e1256a4d9,
0xe1dbe62ee1aec1a2,
0xdb97b9879cfc5bb0,
0xc1a96637db293163,
0xcdacf3525efecb1e,
0xe1dbe62ee1aec1a2,
0xdb97b9879cfc5bb0,
0xc1a96637db293163,
0xcdacf3525efecb1e,
0x412d6debef79c3d2,
0xd97655e1602121c9,
0x472fa4096222bb9,
0xfda8628a5e21990d,
],
[
0xfde5f0a803c3affc,
0x9db3e206a3deda39,
0x6a678f40a8058ab0,
0xdd00bf5b13f1b349,
0x9441065c7bddf30a,
0xe6005534fbe17f8e,
0x32346eb79b5ac530,
0xdd00bf5b13f1b349,
0x9441065c7bddf30a,
0xe6005534fbe17f8e,
0x32346eb79b5ac530,
0x7d5ad1e595c0857d,
0x366fe6c4c020aa85,
0x8dab547b7baadbe9,
0x87661c1cc5a9a08d,
],
[
0xfa46e0e215c1aabd,
0x6b795034438df194,
0x14571d59c36d29ea,
0xfa36d64aa42643b7,
0xd2c8ac46f42c7ed,
0xf3d36aa6e975be3f,
0xe7f022266f7e0f3e,
0xfa36d64aa42643b7,
0xd2c8ac46f42c7ed,
0xf3d36aa6e975be3f,
0xe7f022266f7e0f3e,
0x52276ebcac2790e3,
0x713a9516f78e3920,
0xe9712e1e52f5d4df,
0xb12eb6f45a6d2080,
],
[
0x7e1f98b2c16f8b2b,
0xc492c4d36704af4c,
0xd23b89c36294385a,
0x244cf0d778a05ec5,
0x8380a5edd5a19005,
0x29a9617055f5a9d9,
0x7005e59f480fa82,
0x244cf0d778a05ec5,
0x8380a5edd5a19005,
0x29a9617055f5a9d9,
0x7005e59f480fa82,
0x636e521af2d13f5,
0x452d0180cfd54a1f,
0x4e6bccbc4820cc1b,
0x4291165870a4f268,
],
[
0x65a58d22d8665e60,
0x41d64e7bbfe54f80,
0x14ce593a63d5a590,
0x97f748c8a8d4f327,
0x3445886827d5e08c,
0x634b32b334de0fa5,
0x5ff94df6197c1bc1,
0x97f748c8a8d4f327,
0x3445886827d5e08c,
0x634b32b334de0fa5,
0x5ff94df6197c1bc1,
0xe5e878f3d27813bb,
0x8f2c727633cb701c,
0xb9ff0e0fd561c99d,
0xdc1a794a2d1dec63,
],
[
0xb781b9a55e7d6ab9,
0xed16ad5400bc87e,
0xb2ae79ab4b601bec,
0x1cfc0839227804c3,
0xaf51c631d33d0e65,
0xdd36799ebc883ef5,
0x548b458a566154a8,
0x1cfc0839227804c3,
0xaf51c631d33d0e65,
0xdd36799ebc883ef5,
0x548b458a566154a8,
0xd90598c43816265b,
0x27d6a04ebf7cd129,
0x2054183f5a23ec40,
0xa05700bb0668541d,
],
[
0xa88c857b1aeb0835,
0x1b2cdaa3a001518c,
0xb03b42ed85390bea,
0x47a8abfd4b36b416,
0xc28d691c93c456ae,
0x7b0890fd2c0a3e45,
0x757b11be8b925e40,
0x47a8abfd4b36b416,
0xc28d691c93c456ae,
0x7b0890fd2c0a3e45,
0x757b11be8b925e40,
0x81447174c18aedf8,
0x6619a9228d979a37,
0x6d363a425957a36d,
0x3bbaf2ae71a999a3,
],
[
0x2a25994979124643,
0x3a3e0c52948d116a,
0x8667e3420bb8d50,
0xee4ae633d60287f3,
0xbaf02bf6e52c4b9e,
0x31a0d0505fb5b745,
0xbed2029003e3afe5,
0xee4ae633d60287f3,
0xbaf02bf6e52c4b9e,
0x31a0d0505fb5b745,
0xbed2029003e3afe5,
0xb01c41401ac2bf5c,
0xf5ecb340b107e5c4,
0x3437ab8eb435721d,
0xb3de626fb21560b7,
],
[
0x17236ed61e669c6f,
0xb049f89783cd2c3f,
0x28fe56765c1b7ed,
0xe8e11d96868fd11e,
0xd7323d276887576a,
0xb6a62449ac769727,
0xdfcf0d8773df717a,
0xe8e11d96868fd11e,
0xd7323d276887576a,
0xb6a62449ac769727,
0xdfcf0d8773df717a,
0x409b51403f988323,
0x478637bdbcab0148,
0x98443aeea28bfb90,
0x510cb8c9de50ffbb,
],
[
0x304f56359ac375a8,
0x9b303c940f78c5b5,
0xd52df3445a1a027c,
0xfa406ca71ad32716,
0x103ee9820a95f912,
0x4d4cc990a9c5f759,
0x7a70381414b621cf,
0xfa406ca71ad32716,
0x103ee9820a95f912,
0x4d4cc990a9c5f759,
0x7a70381414b621cf,
0xd73781d294e28941,
0x27a74f93060e4850,
0x2d2412d7f302b7b4,
0xc5e86edf2d014368,
],
[
0x2e236ded6ce34194,
0x55cc633269f53f75,
0xb0b18d56850de1a5,
0xeb648960aa937c06,
0xac4d4ac05a66c83e,
0xb56ebc918ee8e99c,
0xacf505efb66a8d78,
0xeb648960aa937c06,
0xac4d4ac05a66c83e,
0xb56ebc918ee8e99c,
0xacf505efb66a8d78,
0x61fd4a2fe0f6c7b4,
0x44caa61737900d59,
0xa0618b159774d0ce,
0x7862dbfe6d79d542,
],
[
0x837ecb10d69f9bb9,
0xa51533872cb4f5b1,
0x620aaae18ac52da4,
0x94728cfb8d580043,
0x98dc3ea6890f66e4,
0x3373ffcf756e1a31,
0x5742e8e69476ef0e,
0x94728cfb8d580043,
0x98dc3ea6890f66e4,
0x3373ffcf756e1a31,
0x5742e8e69476ef0e,
0x872d0f3464fa1d16,
0xea7cbc3848c1dc6e,
0xd397294ddb7b2613,
0x669688d4162e8061,
],
[
0xc94bc80993d726f2,
0x13d4514a68dca054,
0x4b2b9d78cda610a0,
0xc6a9ed722f850d2,
0xff91629f0e2bda83,
0x637d74f5a36dc3d3,
0x788b506986bfbaba,
0xc6a9ed722f850d2,
0xff91629f0e2bda83,
0x637d74f5a36dc3d3,
0x788b506986bfbaba,
0x403b192883817625,
0xcab571b4e769cae8,
0x31f8b3dc88b037ae,
0xfb278eb2bd7f3027,
],
[
0x463b54729349357a,
0x381b0b67f1b0e6cf,
0xab16e09e606fd74f,
0x783cc746f3e0ad94,
0x4cb37580460063a4,
0xbc693f29e8c8e068,
0xd8d02963f0137472,
0x783cc746f3e0ad94,
0x4cb37580460063a4,
0xbc693f29e8c8e068,
0xd8d02963f0137472,
0x31ccc2873c41544b,
0xc06dc76468b1ae0b,
0xc1f3df4a93369f85,
0x3f3cef75bab5a6d6,
],
[
0x52e298a69bc61248,
0xf0c389219e5b280d,
0x45d0e8cbf8999a16,
0xabf9fdcb39df4494,
0xe5f29602c7c58f65,
0x41b808023b066957,
0xe2158bf17bd49509,
0xabf9fdcb39df4494,
0xe5f29602c7c58f65,
0x41b808023b066957,
0xe2158bf17bd49509,
0x7c768c4f020b5cda,
0x5dab22904e7a1284,
0x4b4c3bd118bba731,
0x5ad2ff39ddea315c,
],
[
0xf31bde28294be223,
0x6fcf217a39638e31,
0xb57c20d0886767cc,
0x9ff176e872b59750,
0xb79b82d5e03a36a7,
0xa05cd10a650a945c,
0xbf270f3283985d7d,
0x9ff176e872b59750,
0xb79b82d5e03a36a7,
0xa05cd10a650a945c,
0xbf270f3283985d7d,
0xcaa5f83a21cb9b18,
0x9f202e882fe0aa5d,
0x16dd89da53eb5adc,
0x5216e37d06741216,
],
[
0xd1d98f3bbaf26f1e,
0x6e1bb3126ee93a70,
0xfdb28b9faa7455cb,
0x77bccd28f0502dc2,
0x4704cff4be86c032,
0x2d7083cbb8dabf9,
0x40f403385f91540f,
0x77bccd28f0502dc2,
0x4704cff4be86c032,
0x2d7083cbb8dabf9,
0x40f403385f91540f,
0x16c3dae3a8334001,
0xf147cc672486c8a0,
0x6662f9789e91fd00,
0x26c7a414998ca045,
],
[
0x77969267e761a5e2,
0xef907093519fd3ff,
0x6a50d507180b9dd8,
0xf7671fba16e03cdd,
0x1d6da71263c3c627,
0x1f3fd89b2729c1a7,
0x823b6d2b1df14ad9,
0xf7671fba16e03cdd,
0x1d6da71263c3c627,
0x1f3fd89b2729c1a7,
0x823b6d2b1df14ad9,
0x30aa3260a9f7a2fb,
0x12d37b090f5199e0,
0xe782082d20c2c888,
0xd54934578119df6b,
],
[
0x763f1101a3d8e5d6,
0x6de2bec8b2a9f0d9,
0xbdc2cec3b0c72126,
0xc684b15ed14c4849,
0x25370610ff0d1b07,
0x7b933b223c95a22f,
0x3a44eb381671ea69,
0xc684b15ed14c4849,
0x25370610ff0d1b07,
0x7b933b223c95a22f,
0x3a44eb381671ea69,
0x40db0baa0fbf6530,
0x310bc1302e4c0bce,
0x8f42002c428a01d2,
0x9ebdd24c2ec70c0,
],
[
0xb6ffcab942c26180,
0x1261443adbb2a65b,
0x8bc905dfc7b85595,
0xada824a1b0baddee,
0xdadce601b47afe19,
0x46c3679d5436da89,
0xc6251e4bebbd57da,
0xada824a1b0baddee,
0xdadce601b47afe19,
0x46c3679d5436da89,
0xc6251e4bebbd57da,
0x9a1d11ab6326b9ee,
0x4d2264ede0a8fa6a,
0x8e0d28c46f0a230f,
0x8768a43ff488e65e,
],
[
0x65a85965268277a5,
0xf29a5b2c9a51c439,
0xaabf0324ece8814,
0x6521fe578234c086,
0x88294a1221e85ad5,
0x685d8b1b46910a3a,
0x600a02f24903a0a2,
0x6521fe578234c086,
0x88294a1221e85ad5,
0x685d8b1b46910a3a,
0x600a02f24903a0a2,
0xdf46eb75e5832634,
0xcdf8f3fa8487d50a,
0x1682d092975d5d0,
0x6a319eaed17f1a5f,
],
[
0x6579248c4cabcf91,
0x21b4fdd6da56df76,
0x727c8a9161e8cc9e,
0xf5ef59c60d0513ff,
0xa2c01a296e191385,
0x8a7be6557ac395e3,
0xfa772f9eee991c2e,
0xf5ef59c60d0513ff,
0xa2c01a296e191385,
0x8a7be6557ac395e3,
0xfa772f9eee991c2e,
0xe974088527162452,
0xb2b17f57e5d511d5,
0xa711d336d29e02e7,
0xf07f7400f36629bc,
],
[
0xfcea6deb6fbc95de,
0xfa083e475037dd9b,
0xa402e8b120895dcf,
0x128da31d726a4316,
0x6b12ccb52a7d436b,
0x86a73e06caadae8c,
0xf0106fd320ce8874,
0x128da31d726a4316,
0x6b12ccb52a7d436b,
0x86a73e06caadae8c,
0xf0106fd320ce8874,
0x64aa8b7daea0891c,
0x5ec1bc1ff5d391cc,
0x32fc55155de8c3ed,
0x7f8a38b37601393a,
],
[
0xa5afb4dac88f15f0,
0xfa2d11898daaa5e1,
0xc118493d086eb030,
0x932d16df5d691fb1,
0x5dde659f15fe9b64,
0x6a55cbf2cd4cf502,
0x2c69b73b509c23e4,
0x932d16df5d691fb1,
0x5dde659f15fe9b64,
0x6a55cbf2cd4cf502,
0x2c69b73b509c23e4,
0x9722df40bfbb4999,
0x35c866515c4d4148,
0x90da458940690443,
0xce5154f6d0a54e02,
],
[
0x35f437b7acbfd454,
0x23e56c12e72a5eee,
0xb29d3d3f9fea4832,
0xbd6947ba8f8af57,
0xe2c925a1262dbc65,
0xcec8c16603d2616e,
0x4acfe590ee1f5942,
0xbd6947ba8f8af57,
0xe2c925a1262dbc65,
0xcec8c16603d2616e,
0x4acfe590ee1f5942,
0x80da14790406c57e,
0x18fb591204bcd01a,
0xdc5bbccb9ccb5186,
0xfc31e73fe76a9aa0,
],
[
0x8f45f63a2f2d77d5,
0x2f251880d8b83227,
0x7b457c2c096a4fef,
0x60386ba5baeb0a28,
0x4c8db172ac835d05,
0xc9f3245a03b60ffa,
0x1e40258aeb689328,
0x60386ba5baeb0a28,
0x4c8db172ac835d05,
0xc9f3245a03b60ffa,
0x1e40258aeb689328,
0x46a8d30c192531cc,
0x793478b18882b435,
0xa531e89a8c8db780,
0x10df06050225f784,
],
[
0x62258e6fe64ea749,
0xe61da1411606c50d,
0x1e383042228a6524,
0xed27416d233bcc8c,
0xc36902f1d5236598,
0x72cc7a789bdc0df8,
0x16e1c593759df8ba,
0xed27416d233bcc8c,
0xc36902f1d5236598,
0x72cc7a789bdc0df8,
0x16e1c593759df8ba,
0x2bcf22e9ea2bbe06,
0x9baf6583531b76f5,
0x83d9215c96f6211b,
0x88c8c75776b2bdaa,
],
[
0xfc109f4192ba2587,
0xda1eb26735719b82,
0xda0616341a86759b,
0xbae2015903c43013,
0xded1d087f02e51df,
0x4865349424eee47d,
0xcfab56ebb783561b,
0xbae2015903c43013,
0xded1d087f02e51df,
0x4865349424eee47d,
0xcfab56ebb783561b,
0x5d5d1fad719ab4c1,
0xf33b42b15b262e3d,
0x128672e5d3caef78,
0xf63471af4bb28509,
],
[
0x5364968136715e44,
0x4d6df79cca67503c,
0x1b04a476a5af6319,
0x38769eab2c8333ca,
0x3babeb25b54f33e4,
0x70e9850467e4d7c4,
0x4b23b70a8351c781,
0x38769eab2c8333ca,
0x3babeb25b54f33e4,
0x70e9850467e4d7c4,
0x4b23b70a8351c781,
0xf380a2b5efd93ecf,
0x7778a9b5a9a58073,
0x7cda8c1a01ae53f9,
0xebf7ddf24a99ec41,
],
[
0xdd84538848e07acb,
0x7e8b2c2ea4b31867,
0x4a1b7795ab30febc,
0x6264b317e74f1956,
0xe7baa170c2d01227,
0x1d6e44e71bfb4f79,
0x96c3307376e7264a,
0x6264b317e74f1956,
0xe7baa170c2d01227,
0x1d6e44e71bfb4f79,
0x96c3307376e7264a,
0x316241819c488f50,
0xe688950b08de8201,
0xaa85fb3cbca8745a,
0x62eb90d7fd588cbf,
],
[
0x397d78f9c2fb2a8a,
0xa35668e29dd4493e,
0x4b5d814365f300c3,
0xb47c59e2352ab2de,
0xfee916bf69dca4f2,
0x31720599f9b05204,
0xcefd056a9a8cdb6d,
0xb47c59e2352ab2de,
0xfee916bf69dca4f2,
0x31720599f9b05204,
0xcefd056a9a8cdb6d,
0x3a9f817985de55da,
0xd3f86f21fa53638c,
0xc80df25daac6a39d,
0xe9372b43dbd3e5be,
],
[
0xa3a22aed573f4128,
0x6f441959a6a745a4,
0x61b303cec0f02d33,
0x7b245212b57b6416,
0x483eb1c2247030ca,
0x9e73ba2d0cf42603,
0x7caaf3b868c1fa6d,
0x7b245212b57b6416,
0x483eb1c2247030ca,
0x9e73ba2d0cf42603,
0x7caaf3b868c1fa6d,
0x587c30a367b868f1,
0x102ed86d3bddb02e,
0x1a6b6420d412f047,
0x93f5919b9f81a96f,
],
[
0x94bcd5be64b0caf0,
0x3eee5a2a3b25c93d,
0x465dd18f325b992d,
0xfd45ffd2387a5d25,
0x35a79122b1ac38d2,
0x45c691735698b5c,
0x87dfa15417044ee0,
0xfd45ffd2387a5d25,
0x35a79122b1ac38d2,
0x45c691735698b5c,
0x87dfa15417044ee0,
0x7279e6eacd0e3cc5,
0xd4fb6388249a8e45,
0x14c73952dd243da5,
0x4bd8eaef54668ea0,
],
[
0x81d9fe1f35fe8dc,
0x2c5e1e21c57e9a0f,
0x9cee67a7a5c2455,
0xf92e222a71b413fe,
0xec8f28b36b4b2d43,
0x73416a88b65b673b,
0xcf89cf0d3d4148ae,
0xf92e222a71b413fe,
0xec8f28b36b4b2d43,
0x73416a88b65b673b,
0xcf89cf0d3d4148ae,
0xeb12721f666ed5f4,
0x9b4d30144ffeb98e,
0xa1334e47f3139dc2,
0x582ecf73171747b7,
],
[
0xaa21f88e4310c4aa,
0xfd678eaf1a2ef449,
0x9eb788a336487a2f,
0x6c43d6ff49cff14b,
0x88c3f8f93676751c,
0x2322a939c0b8bef3,
0x4adf71d19b5e462b,
0x6c43d6ff49cff14b,
0x88c3f8f93676751c,
0x2322a939c0b8bef3,
0x4adf71d19b5e462b,
0x7828ca80e7f716f,
0xb9f318f725e85721,
0x9b3e4ed34a015d91,
0xa952dda20242fc40,
],
[
0x88e65c8bd8fd0dc3,
0x67506bfcc1350ac,
0x8e35bd6404cd4a19,
0x10f30b6a6ec67afe,
0xaeb8adee4a38102c,
0xc7c31205261346ba,
0xed3a7eb75f0bd93c,
0x10f30b6a6ec67afe,
0xaeb8adee4a38102c,
0xc7c31205261346ba,
0xed3a7eb75f0bd93c,
0xb775ebcf84957a11,
0x17a623164b5489f6,
0xc6cfa336bdca2d4f,
0x1924f92fa79468d4,
],
[
0xee7c287c7a74eaf6,
0xa4716c9b01821875,
0x15b4a29d0e8621fd,
0xde6e60dce8b3c61,
0x8c97da4b7dca945c,
0x315027b9093d6a5,
0xc60067ac2204a60,
0xde6e60dce8b3c61,
0x8c97da4b7dca945c,
0x315027b9093d6a5,
0xc60067ac2204a60,
0x86cfd4ffdea36ead,
0xc6936cae4e4828cb,
0x9ddcada9edd726dd,
0x82c0fee5b2be94a9,
],
[
0x59492bfd26df7a46,
0x88ef9253d909b4e7,
0x2dabd903fca564b6,
0xd154dee359c629dd,
0x61da6808b6b00605,
0x1c862110cb1fa740,
0x877bc417d7060346,
0xd154dee359c629dd,
0x61da6808b6b00605,
0x1c862110cb1fa740,
0x877bc417d7060346,
0x855ba7d65e75c91b,
0x8e389434d7cbed18,
0xa867f0e5bc8ec887,
0x225ca7717041376e,
],
[
0x79471e68a2e7b4c3,
0xe2ecc811cd228f6c,
0x1c0c9618d88b7cf9,
0xc0eff8b2276af95f,
0x3ec1a9c95964b183,
0x9b480684e56c25dd,
0x8b849da7c70dbd8f,
0xc0eff8b2276af95f,
0x3ec1a9c95964b183,
0x9b480684e56c25dd,
0x8b849da7c70dbd8f,
0x908e5d09c4861494,
0x83a76c29318afdae,
0xb90c04d057223c0d,
0xaf640ded7aa860a4,
],
[
0xf806f8b0f54bbbf4,
0xc55ef4c3c37c3e8,
0xc57fbf8500049609,
0x48180ec114a019d9,
0x5dde07c8bebb3f74,
0xf3c14ac2fd15afc7,
0x18ba219f867fa279,
0x48180ec114a019d9,
0x5dde07c8bebb3f74,
0xf3c14ac2fd15afc7,
0x18ba219f867fa279,
0x2b7b5ace013b7952,
0xd406dc879ee138d6,
0xf5c56dea1f74811b,
0x3cb3d87ed825def8,
],
[
0xaf0a9fa8d197fc2a,
0x83821f8be6e51915,
0x297afa7cc277321a,
0x5006b740dd5776ee,
0xf139123a5edbaaca,
0x40b1400056322a19,
0xb8d5d524f5b2d708,
0x5006b740dd5776ee,
0xf139123a5edbaaca,
0x40b1400056322a19,
0xb8d5d524f5b2d708,
0x7c6f8579423fd3a7,
0x91d265e096ea544a,
0xdf81c4b86b793348,
0x6f211c19875236fe,
],
[
0xa93491c935028bfd,
0x2c36d238aac64cd6,
0xfc5dcf1134041bb3,
0xd813172f90f9ff47,
0xc65afeef14c7926f,
0xe0b91c18356984dd,
0x5b8bcaba09e98375,
0xd813172f90f9ff47,
0xc65afeef14c7926f,
0xe0b91c18356984dd,
0x5b8bcaba09e98375,
0xa958355d9d9ef12d,
0x15dfe0e1301fb990,
0xfb004df606238c5f,
0x3a6d4e39068c8d6c,
],
[
0x35fb344f57414e7e,
0xb4b10fbd03ba41bd,
0xf084e04093c69f21,
0x1f4862ff7005835b,
0xe3281b9e914c7ab1,
0xb551d8d1d75dfe2d,
0xcc64942fb0af0ab5,
0x1f4862ff7005835b,
0xe3281b9e914c7ab1,
0xb551d8d1d75dfe2d,
0xcc64942fb0af0ab5,
0xded13b1da3ced22b,
0x92d399d2b3fe6c63,
0x46f71f9118bc6d34,
0x4060ba4d225575a2,
],
[
0x650c588ae7997006,
0x7b6516105738f40b,
0xfd225f2b4d05e97b,
0x76d74223d7c381f4,
0x84445fec43ac4ba9,
0xe457a2d9de2f0cb,
0x4f80e43844d5a721,
0x76d74223d7c381f4,
0x84445fec43ac4ba9,
0xe457a2d9de2f0cb,
0x4f80e43844d5a721,
0x6e228e27a8f32d2,
0x9954e3c2df675edf,
0x19c5266d5c3a052e,
0xec7b3184c3cc2c48,
],
[
0x8e83c18ec4fac9b2,
0xdd53e5013eea5434,
0x15a4f84e1fbb081f,
0x2494508d174f0a6a,
0xf8f421c15e7812a6,
0x15d14a45d852a3c1,
0xa12e6ceaa7b91862,
0x2494508d174f0a6a,
0xf8f421c15e7812a6,
0x15d14a45d852a3c1,
0xa12e6ceaa7b91862,
0xfa15ecaaf16ab412,
0xf97aa90da810e7f9,
0x3c60ed31a6b864af,
0xb9ec2bbfff57377,
],
[
0x35422c6582e3fa2e,
0xbabd15f9e3a1362d,
0xaac1901ece0f6dbe,
0xa1d206f25bcb2e04,
0x630172f8ae1fbfa7,
0x4df60c162fd13077,
0x24fcca03cbfd0d36,
0xa1d206f25bcb2e04,
0x630172f8ae1fbfa7,
0x4df60c162fd13077,
0x24fcca03cbfd0d36,
0x4e04f489279c4ee7,
0x50dce0384874852b,
0xc0cae8ce2251502b,
0x1d5f6b7dfac0ef99,
],
[
0xfc0cb7f55d516f4e,
0xa92f59467a97a76e,
0xf058bdc360787c2e,
0x2a428170995dc60e,
0x90bf382200c6050d,
0x522302fa40bdb9fa,
0x7d84077cabfda564,
0x2a428170995dc60e,
0x90bf382200c6050d,
0x522302fa40bdb9fa,
0x7d84077cabfda564,
0x1706c4478cb26489,
0x92dc4805ee38f9ab,
0xc0aa6786a003d75e,
0xbce5aa22f7c7f483,
],
[
0xe6245e6273cd7da4,
0xbb6b62af69cce44f,
0xdef05217f2ba3b7e,
0x40bd603028fabdfe,
0x897f7885daba93,
0xd343910442a51554,
0xfe448c8b278337b5,
0x40bd603028fabdfe,
0x897f7885daba93,
0xd343910442a51554,
0xfe448c8b278337b5,
0x95a10203c4b4f72e,
0x8ca0cabffde487e7,
0x94f77ae93eadec4d,
0x689c08b515b0a64f,
],
[
0xbfb40261b25b0146,
0xfd74edf7a1e0a088,
0xd9de3386702c1efa,
0xac61387d34b8eba3,
0xf658eceff68e4f98,
0x77eb7ea3faf6af6f,
0xf2ae3f731cc6c3d1,
0xac61387d34b8eba3,
0xf658eceff68e4f98,
0x77eb7ea3faf6af6f,
0xf2ae3f731cc6c3d1,
0x8012cd6cc04c9d2f,
0xc962c7159c064b23,
0x606d0b4e750545b5,
0x8f81a71197887df9,
],
[
0x298876b240a1f937,
0x81c826252bc3fd08,
0xf4ec81df6387b639,
0xa87f848ac3739101,
0x50a679588482b1c6,
0x5ac0460a499bdd23,
0x49cf4b738f9b6eb1,
0xa87f848ac3739101,
0x50a679588482b1c6,
0x5ac0460a499bdd23,
0x49cf4b738f9b6eb1,
0x18fbe25e26136d71,
0x9a49ca8398f46d58,
0x996cfa5fc309641d,
0x75983d8d8f22f3d1,
],
[
0xbf26833d8f21542e,
0x62d95f72f9dc8b6a,
0x978d2ce692fc2cd8,
0xb2fc06ae50b5bdc4,
0xb5ebdc6f7e689092,
0x1324ae1b8c471019,
0x235375036a20b675,
0xb2fc06ae50b5bdc4,
0xb5ebdc6f7e689092,
0x1324ae1b8c471019,
0x235375036a20b675,
0xcc7585555d64049b,
0x30d719f341c76e2a,
0x79b4f9a243d91bfc,
0x293b7273babf033a,
],
[
0xff85120bd8fa3cd4,
0xf768d9c178d8e1a3,
0xa7a136668d023fec,
0x227a859ccfb575f7,
0x8fc9e6749312034b,
0xfe1358976e8d1d7f,
0x47e95007f7949411,
0x227a859ccfb575f7,
0x8fc9e6749312034b,
0xfe1358976e8d1d7f,
0x47e95007f7949411,
0x61fa1c3806199041,
0xc266a31216641d96,
0xfa81946db7497216,
0x9240d38d4387d001,
],
[
0xa37277b9eb9b16fc,
0x2b780c1cd1dad364,
0xdd4a2f266cd6aa0f,
0xcce760ed2d17daf7,
0x2c5e908016d4ff3c,
0xc68cab0c465584c1,
0x67a3eafc44e4d677,
0xcce760ed2d17daf7,
0x2c5e908016d4ff3c,
0xc68cab0c465584c1,
0x67a3eafc44e4d677,
0x8daaac6fd2019b6f,
0x52ac66567930f82b,
0xea93a3fefe0ef68b,
0xee62d455548ceff6,
],
[
0xb95c558eb132482f,
0x86deccc1c79e3da4,
0x8b43da48c6f5fd49,
0xd35063f44069c518,
0xbfa680a6399cae70,
0x14af385219857c8b,
0x1689871cfa0f2813,
0xd35063f44069c518,
0xbfa680a6399cae70,
0x14af385219857c8b,
0x1689871cfa0f2813,
0x1623e108e2d9a0ae,
0xc779b3052b04f6c8,
0xc3c517367c3c2986,
0xa716c8ca76706a57,
],
[
0xeb2a51b23ea2f82d,
0x7d3802b6045fbd2b,
0xa8670a39b06b41ce,
0x851073e9d44dc921,
0xb0aa6451924617c8,
0x7b3ca65185907aad,
0x4c1e01ba84283e44,
0x851073e9d44dc921,
0xb0aa6451924617c8,
0x7b3ca65185907aad,
0x4c1e01ba84283e44,
0xd92787c23734a22d,
0xa1b488d127ea79c5,
0x15b41f35ba38902d,
0xcf595df5f53be3ef,
],
[
0xc85dcc13ce7d29c0,
0x3a520e93ccdeb592,
0xea19bd7ee74ed003,
0x3628daac258a4a48,
0xafb35f7b660a441,
0x5cb7c82d5974037a,
0xf285ff762ef24753,
0x3628daac258a4a48,
0xafb35f7b660a441,
0x5cb7c82d5974037a,
0xf285ff762ef24753,
0xb56d83b9494581bd,
0xd26ae4b301ccbf42,
0x326937bae1dd44fa,
0x6772af88666b0e2,
],
[
0x8a8707d80cb54c7a,
0xa4135e3dcd129a6c,
0x411cbfa152de1998,
0x674142656124b5c7,
0x1280123d0a21a062,
0x1afc0b67eb7c5bf7,
0x6a666c0d97040f27,
0x674142656124b5c7,
0x1280123d0a21a062,
0x1afc0b67eb7c5bf7,
0x6a666c0d97040f27,
0x204e54dafa0472d,
0xa3f8980d0d8f8872,
0x7deba057ab58bb4,
0x27f582ab633e1c50,
],
[
0x12c7ffecff1800ba,
0x1172a3993fff1057,
0x44bd867e67fc8ae4,
0x81b2a78e5319365c,
0xb3aa90916d02335f,
0xd36241c3a0745572,
0x5c6e74ae8dd3d88b,
0x81b2a78e5319365c,
0xb3aa90916d02335f,
0xd36241c3a0745572,
0x5c6e74ae8dd3d88b,
0x5ffb3be405ecde49,
0x54e8d94250ec6c3d,
0xafa435e69d9a0c20,
0x59d47e1e82e13cfb,
],
[
0xcb16c5c1e342e34d,
0x9087c1dc80a18b68,
0xd48a476057f23dc8,
0x41ff65495500e2e4,
0xb8fab1ad95574a61,
0xdbfd0326a7599b91,
0xae5eb38b876d3fa9,
0x41ff65495500e2e4,
0xb8fab1ad95574a61,
0xdbfd0326a7599b91,
0xae5eb38b876d3fa9,
0x67bb0e231945b9da,
0x19bacbfe4d30bec6,
0x4403017a97509174,
0x12508312752f4d5e,
],
[
0x27fddd06bd368c50,
0xf7efaa7ef3bed090,
0xb505f7b0690e3f70,
0xed194c89f81522b9,
0x272a0528540527e1,
0x57e1e98c484b9f28,
0xe0d5a808989c1b7,
0xed194c89f81522b9,
0x272a0528540527e1,
0x57e1e98c484b9f28,
0xe0d5a808989c1b7,
0x5b4949a7af2a254e,
0xc751a6e3760e34a5,
0xed3edc0227801ce8,
0x2a40a423a8c5938e,
],
[
0x5e6c6ee85cec7703,
0xdc33500e0dea1513,
0xb0d9d93b584d752f,
0x596dad7ffc69035,
0x1a31664d3d509c10,
0x8dcf0b12245cbae5,
0x6a01673fd8b513d,
0x596dad7ffc69035,
0x1a31664d3d509c10,
0x8dcf0b12245cbae5,
0x6a01673fd8b513d,
0xa06973b2de272d06,
0xe34cb809a6943631,
0xc04f78fc94affedd,
0x13c85bafb9d380db,
],
[
0x2117190446b50f9d,
0x8b48030b85d083ab,
0x68a79e0698163241,
0x716bb879de7fba1d,
0xa388cdfa3c61ab73,
0x411fada7499faf84,
0x14ef89ce95bee4a3,
0x716bb879de7fba1d,
0xa388cdfa3c61ab73,
0x411fada7499faf84,
0x14ef89ce95bee4a3,
0xc6984631f66b37a3,
0x206f294644d75453,
0xf00322fa947d8d57,
0x21be185cc02ddcbf,
],
[
0xf3f12b62f51a9b55,
0x2866854cc1edef6c,
0x1476fb5f05a37391,
0xc40dceb74330b7b7,
0xb84db83f7ccc5f9,
0x9d0117552050ed7f,
0x25b93de89e85456c,
0xc40dceb74330b7b7,
0xb84db83f7ccc5f9,
0x9d0117552050ed7f,
0x25b93de89e85456c,
0xd2cbfa684c41278f,
0xf22b05f4ef2e3e3a,
0x107a732e941c0415,
0x1b08db44fdf2e654,
],
[
0x2ee01b9e2a7692a6,
0x2a9920e8a8923bea,
0xc6cfbcd09cc47583,
0x80e53ddb1a7abd17,
0xd585cba8c327e538,
0xf4d313c03777336c,
0x7d136bd0afbaf9dc,
0x80e53ddb1a7abd17,
0xd585cba8c327e538,
0xf4d313c03777336c,
0x7d136bd0afbaf9dc,
0xd893509d490446b4,
0x807c4679d3adee0a,
0x807cbbafbcbc9957,
0xdb70f0c59df2b387,
],
[
0x53ca5e2da19191b7,
0xab8fba8b2c21655,
0xede0ddbd23d66d73,
0xce7dca3935c2fdc1,
0xbd19a32205fcc165,
0xa0a12ad442bce1f6,
0x15eae05c9c6a0e03,
0xce7dca3935c2fdc1,
0xbd19a32205fcc165,
0xa0a12ad442bce1f6,
0x15eae05c9c6a0e03,
0x53bbdc49336b431b,
0x6f40b3e0ff2197e,
0xe1b3ebb501897509,
0xd70e6c577947fc6,
],
[
0xce6d0917744faa2f,
0x42d66b23a164a48a,
0xecece7b7f05004f,
0xe08c6a73a5559556,
0x889313a96c9a1323,
0x3253f1f2a3a66b1a,
0xa2767544b53fee4e,
0xe08c6a73a5559556,
0x889313a96c9a1323,
0x3253f1f2a3a66b1a,
0xa2767544b53fee4e,
0xeb4fb516b5e848c5,
0x3952d5e0a0889e61,
0x593708024334fdd3,
0xc173fddd549ff969,
],
[
0xf9b8ca6b46052208,
0xd693bb3a5a89c965,
0x6e975d1339c4774a,
0xd72e8efd275e3db8,
0xc471d5f3d0c9b1b6,
0xc62c1d0fc7800ec2,
0xacb7f73f9b5a1109,
0xd72e8efd275e3db8,
0xc471d5f3d0c9b1b6,
0xc62c1d0fc7800ec2,
0xacb7f73f9b5a1109,
0x141c9d6939ba929c,
0xf44c580a3d5216d9,
0x6170bee9a5840f2a,
0xcd5fad5f272d3fdc,
],
[
0xfb1cb91d94d6cddb,
0xdfb1e3d6b795c8ac,
0xec4df9c3e90f1e24,
0x6c487cdea2c507de,
0x82d42d569ff4c955,
0x7c3767d754e62f5f,
0x3916c993f8cdca8c,
0x6c487cdea2c507de,
0x82d42d569ff4c955,
0x7c3767d754e62f5f,
0x3916c993f8cdca8c,
0xac72b4669841cd23,
0xedcf79abeac4526d,
0x8f3a034b2dc14555,
0x477788b7ae98d30a,
],
[
0xa39e2eab5f174f15,
0x9f2a05a63d015c7b,
0xc2e46128224f249b,
0x3d2b520d3144119b,
0xc8ade99b9d8d5092,
0x65882e9c99a0ed12,
0x42a89a2be41263d9,
0x3d2b520d3144119b,
0xc8ade99b9d8d5092,
0x65882e9c99a0ed12,
0x42a89a2be41263d9,
0x5ff12f788782e5f4,
0xeea9a70a50dfdfe7,
0x82eb7ea3da4e0475,
0x13577a0dfeb8735c,
],
[
0xe9bfc7e088623326,
0xa79c980a7458736f,
0xe7a09424c5bd6f77,
0xd623ef8d9e4750dd,
0xb329a5d0ce2c4320,
0x724fc6ee18c04a2f,
0x6f288c76ecde63bb,
0xd623ef8d9e4750dd,
0xb329a5d0ce2c4320,
0x724fc6ee18c04a2f,
0x6f288c76ecde63bb,
0x42aa6d38b0f188c9,
0xf86f54915bb475ec,
0x24e7d21a88f38bf5,
0x224b199acaf0960d,
],
[
0x24d3561ce4eda075,
0x74fdf369a4ba7bd8,
0xc979f4ef12661fbd,
0xb2e2bf501c9bd4ee,
0xf66a2607c4d22a24,
0xb9709df0c8fa8889,
0xf70db2a5a9e6f385,
0xb2e2bf501c9bd4ee,
0xf66a2607c4d22a24,
0xb9709df0c8fa8889,
0xf70db2a5a9e6f385,
0xcc69cecc1c9a05a0,
0xf9b4d34f357ca309,
0xe699f628bcf84dc9,
0xbe7639e5e0c56de8,
],
[
0x3edb299037e41adc,
0x8e3327b45d22677f,
0x85d3af0877d1b233,
0x41a0a96292eebd12,
0xd331d1a9960dd15e,
0x45c06e443e3580ef,
0x8c9a4b60297b5822,
0x41a0a96292eebd12,
0xd331d1a9960dd15e,
0x45c06e443e3580ef,
0x8c9a4b60297b5822,
0x5948fbcf970977c1,
0x86c05412d73409d3,
0xda15a8dbbf18bb5d,
0x6e6715045bcec260,
],
[
0x4ccafed99120c34c,
0xc061a2298aacd9ee,
0xd8a2a419bbd61dd4,
0xee848fe0fa5feec3,
0xa1c2bbe4bea46de1,
0xf72fee59825eaba4,
0x1c6cbfcae94f761a,
0xee848fe0fa5feec3,
0xa1c2bbe4bea46de1,
0xf72fee59825eaba4,
0x1c6cbfcae94f761a,
0x90c8a885e242533a,
0x7986e3b258f40896,
0xba24b200f3d810d8,
0x7fe5a2fd8ec10220,
],
[
0x811039d76b0f5c10,
0x81c01b119d95abfb,
0xb9f230a525dd1a79,
0x82a0d5833ef0fe08,
0xbcab840f326aa717,
0xed7f80003ad9c7a8,
0xe1a7e9e27bfbb5ce,
0x82a0d5833ef0fe08,
0xbcab840f326aa717,
0xed7f80003ad9c7a8,
0xe1a7e9e27bfbb5ce,
0x3427ad55fcb9b73b,
0xf492301179a35f7b,
0x341984e0ea3b64cc,
0x5cc0b09c58f1b385,
],
[
0xf26eca16e4f6b311,
0x32720d4ea0a72e4,
0x7e13d7dbee27de4e,
0x5c37936e56cf7e46,
0x295f982a83b30c99,
0xb0241eb8061d0f95,
0xe4dc70591f41cea4,
0x5c37936e56cf7e46,
0x295f982a83b30c99,
0xb0241eb8061d0f95,
0xe4dc70591f41cea4,
0x6ea3615e4a3179d7,
0xff10e1277bb02e99,
0x39694fc5ce56fe6f,
0x262dbd8035b2dcd5,
],
[
0x8ce51e30cf1501bb,
0x35e452a0a514fbf6,
0xe12df99407eac10b,
0x2a4a1228a520332a,
0x7746e7c2193f936e,
0x814a4661f92c5f06,
0xdf8cbc1191bb982b,
0x2a4a1228a520332a,
0x7746e7c2193f936e,
0x814a4661f92c5f06,
0xdf8cbc1191bb982b,
0x6de56359803681b4,
0x8c6f79130e30ea94,
0x637b9a34f4aec7df,
0xda7d862440bd78c6,
],
[
0x80d0fa7707773de4,
0x4be9c7b015a574a9,
0xd4cb1cb66a739318,
0xdf8dc7766f988303,
0x8188a46bb7a98536,
0xd9fcbdd211e305cb,
0x2c798285814ddf2e,
0xdf8dc7766f988303,
0x8188a46bb7a98536,
0xd9fcbdd211e305cb,
0x2c798285814ddf2e,
0xcc629e3efd52659a,
0x61f3438f013395c0,
0xdc9d0b73a8e8d3f8,
0xab12e1f8eeafbdbe,
],
[
0x698d6cc716818773,
0x845fe2403582149,
0x9502bc1422758522,
0x3d59e8cf894ec921,
0x5310828b8dbedfdb,
0x238dce16320651dd,
0x7b38b1f93ce8749b,
0x3d59e8cf894ec921,
0x5310828b8dbedfdb,
0x238dce16320651dd,
0x7b38b1f93ce8749b,
0x59265c4b0f075023,
0xf87957df23e72e2,
0xec2fac13f9ef4044,
0x2b1beec5fcd735d7,
],
[
0xcaaa5ff55032cbcf,
0x538e9005d8665c92,
0xe174f0f93d30f0bc,
0x9ad16d0b0a5892be,
0xa2ce93130b6539eb,
0xe50402009848b944,
0x5bf398fdd39286d5,
0x9ad16d0b0a5892be,
0xa2ce93130b6539eb,
0xe50402009848b944,
0x5bf398fdd39286d5,
0x7f8c3c638a634842,
0xab819d8e31baaf2b,
0x2f9c646d5a6d8deb,
0xad39cc0b51e2f3e1,
],
[
0x3333d53faadbec42,
0x3f8857090ee7798b,
0x5c95401451994dac,
0xca985ee7a329cd7e,
0x76ecafcc948c9562,
0x268ce4e1a2a5a074,
0x21d353fba6630d78,
0xca985ee7a329cd7e,
0x76ecafcc948c9562,
0x268ce4e1a2a5a074,
0x21d353fba6630d78,
0x2482a3fa5eae582d,
0xce72c382f03b66c8,
0xc2038b03d34a2406,
0x37da6d3df431c413,
],
[
0x10882aac3dd3587,
0xe0963a96a791586f,
0x2d2e1c962520b6de,
0xb2a78656df8faaa1,
0xddfae1420e3e858d,
0x1912b4f86123a4d6,
0x986e18713086add0,
0xb2a78656df8faaa1,
0xddfae1420e3e858d,
0x1912b4f86123a4d6,
0x986e18713086add0,
0x3ef7c89bc1a43c6a,
0x2c1c7da4d72670aa,
0x19dd3d16ea03f45,
0xd82894ff9284f697,
],
[
0xb11fde1059b22334,
0xefc2d98538f4ecfc,
0x36af0ce3f9940bdf,
0xd7a26a8e9c020084,
0xf5177c6dc6d8a5,
0x6926948892e970c8,
0x840b22073cf60998,
0xd7a26a8e9c020084,
0xf5177c6dc6d8a5,
0x6926948892e970c8,
0x840b22073cf60998,
0xc8a28fb310816e17,
0x75b12ec8bd7276b0,
0x22f16cd0cce663a9,
0x860fe142526731d7,
],
[
0x8977ae72ed603d45,
0x60f4ffd92231c25b,
0xe2b1b66758d158fc,
0x70caf8189b6e929b,
0x1b80d6fcc87b4d5e,
0x77ae1691bcc4bbea,
0x5c619855527e1200,
0x70caf8189b6e929b,
0x1b80d6fcc87b4d5e,
0x77ae1691bcc4bbea,
0x5c619855527e1200,
0x35b6841ff41ee0fc,
0x189ab15fb444bda1,
0x229a3e368d65cf4b,
0x14b411551973ebd9,
],
[
0xf65b17f58e2f82f6,
0x7b5e65ee7c85e9b9,
0x5e28d4218467b771,
0xc0a7d673c0ae5225,
0x31b05cd187dce5fc,
0x3bdaf6c1c3992de9,
0xaf7d1ee6c8d8e3ae,
0xc0a7d673c0ae5225,
0x31b05cd187dce5fc,
0x3bdaf6c1c3992de9,
0xaf7d1ee6c8d8e3ae,
0x8ef5d35dc9db068e,
0xb6809da31f611d66,
0x7a5a690553e0535,
0x85b557b00f1bc064,
],
[
0x63689bb426fad75,
0xe65b123bfc973da6,
0xdb08275d11847a43,
0x92dc01e5daa6f8cf,
0xe2c4e337f7e3c4bf,
0x35339b7ca3a1be91,
0x80a30021da4c2964,
0x92dc01e5daa6f8cf,
0xe2c4e337f7e3c4bf,
0x35339b7ca3a1be91,
0x80a30021da4c2964,
0x44da9837fd17c778,
0x99fc4212a05f1b65,
0xdad7bfd429058f87,
0x95fb0bd2b24cc484,
],
[
0xf09d687ab01da414,
0x89e97db87314fab1,
0x2c48cf28ff80b17f,
0x9443d8392ae194e1,
0x929e316b17083568,
0x117dea737f1df80b,
0x1fc14678b5adf5ff,
0x9443d8392ae194e1,
0x929e316b17083568,
0x117dea737f1df80b,
0x1fc14678b5adf5ff,
0xc606f1606c6d1dea,
0xb1c90efa2758acfc,
0x44aeb51f03e8b379,
0xefc95bbe6873f5e5,
],
[
0xf9946308ce8bcec0,
0xcdfe313f59a7c805,
0x43f83dac819e8271,
0xf7ee9f4f36e9cfcb,
0x16c3965ae72f209e,
0x56f7bd99b0d467f3,
0xc7bc0fdcc7a4f542,
0xf7ee9f4f36e9cfcb,
0x16c3965ae72f209e,
0x56f7bd99b0d467f3,
0xc7bc0fdcc7a4f542,
0x911407e639fe7d24,
0xea7ff196af48b6df,
0xcc9883ec8ed620bf,
0xd3a17a13a8e980aa,
],
[
0x5f2a932916c5c63f,
0xf4787134f14a7108,
0xfba7efcc1e2629e6,
0x9b0287c30033872d,
0x7fe7cd37d8292591,
0xa402891b4a428cbe,
0x473f085727dea256,
0x9b0287c30033872d,
0x7fe7cd37d8292591,
0xa402891b4a428cbe,
0x473f085727dea256,
0x6a9aa99d1a75c109,
0x1bca8cbace83a214,
0xb62c98f67ec1e05b,
0x6369037390f1d525,
],
[
0x3a7933b10ff2e831,
0x22ff143fefbbd3b9,
0x2e552c66fb8678d2,
0xf427ee42d5ee8003,
0x1eebdcf751988c45,
0xa4262cebab700e78,
0xf3b14f368783f74,
0xf427ee42d5ee8003,
0x1eebdcf751988c45,
0xa4262cebab700e78,
0xf3b14f368783f74,
0x64741e1158e8bf97,
0x5513da7cb02cc5c6,
0x7b26d550167439bd,
0xf1159bc4e6e73f42,
],
[
0x41f45d562a6689b,
0xe23f0e34570f037c,
0x990e39e880dc1533,
0xbd8a072257c813e4,
0x547537b7deeece82,
0xf0a854abf63d7f2c,
0x6ad10c54bbf5f37e,
0xbd8a072257c813e4,
0x547537b7deeece82,
0xf0a854abf63d7f2c,
0x6ad10c54bbf5f37e,
0xbb9bdd0b7c40eafe,
0x273793f98e346d0f,
0x2798a2e8d0bed8d4,
0x1bbbd60b67f4a82d,
],
[
0xbcec7d59b5858e63,
0xce27686675aca1b9,
0x6dbc1f5cd79cec30,
0x35792372c0a1f9ec,
0xb5c79c04405b7d56,
0x78be8b169f1d27ec,
0xee96813ea6366da7,
0x35792372c0a1f9ec,
0xb5c79c04405b7d56,
0x78be8b169f1d27ec,
0xee96813ea6366da7,
0xbe76cd4c6c875fca,
0x29f858ea491a3b37,
0xbbe166defb235e50,
0xac9152dc13fbbba1,
],
[
0x82ea92d6830c37ad,
0x8839b9de78d0ead5,
0x15f84a79fe513c18,
0xccd8ee9c81f0fd31,
0xc052c7f03a00caf1,
0xe685a7c5e2dfefd8,
0x5d1e5b7cad442fc8,
0xccd8ee9c81f0fd31,
0xc052c7f03a00caf1,
0xe685a7c5e2dfefd8,
0x5d1e5b7cad442fc8,
0xbe56991d85c30622,
0xd3bde6352ce246b7,
0xa999374fd2208e7a,
0xf937ba03a20de6b6,
],
[
0x27cc4624e3a8fd6c,
0xc2c8aae889151aa7,
0xac3dce81ee301ebd,
0x27d10cde7611dbf4,
0xb1df219237f18451,
0xfdd47fef8b61284b,
0x529b0e44e4875fc5,
0x27d10cde7611dbf4,
0xb1df219237f18451,
0xfdd47fef8b61284b,
0x529b0e44e4875fc5,
0xfc621051be44dac4,
0x82ea6e5f62f9b858,
0x33f1beb7b2de0c64,
0x3b931dc39a5fb667,
],
[
0xbfa129745aeb3923,
0x490ee8b72fb3248e,
0x5daefa90bb67c95e,
0xd08e3a551657f581,
0x174c60b071a111d9,
0xe42f0ffcf7a8a264,
0x2dcd1114c8457f34,
0xd08e3a551657f581,
0x174c60b071a111d9,
0xe42f0ffcf7a8a264,
0x2dcd1114c8457f34,
0xa0faab1b5ad9289d,
0x6b749fe852367c13,
0x49719a6b1c7bc133,
0x840897c86bf15bb1,
],
[
0x9b19fb3f08515329,
0x85dea11f9278c39e,
0x5d8dd543eb53b5c5,
0x62792122b242fbb0,
0x1339a529c030fb61,
0xd95fd1afa65a5ded,
0x8e6bffc81a339dd0,
0x62792122b242fbb0,
0x1339a529c030fb61,
0xd95fd1afa65a5ded,
0x8e6bffc81a339dd0,
0x29ffc4d9e170776f,
0xd5c1aec0263b9a5d,
0x1fb9b94eef7c6592,
0xffe487ff8dfe37a3,
],
[
0xb944c2c819b2038d,
0xfc4cf4ef53de6f83,
0xbec7b4166eb32958,
0x98560aae6f6c1e35,
0xeea46b496f45722b,
0x74a0e05c8ef8afb6,
0x63efa8fb5359a688,
0x98560aae6f6c1e35,
0xeea46b496f45722b,
0x74a0e05c8ef8afb6,
0x63efa8fb5359a688,
0xa832fc3675dce851,
0x67039741c7a9ab7f,
0xb5928cae803e0057,
0xd67d8b6837ecd2fa,
],
[
0x6e8d2803df3b267a,
0xb94287ee66ec3f05,
0x4b19fa3db0bb8ae1,
0xc72b486a73ddfdb2,
0xf87aad46e1a788da,
0x5fae4d0974a5384e,
0xd7864668291c713d,
0xc72b486a73ddfdb2,
0xf87aad46e1a788da,
0x5fae4d0974a5384e,
0xd7864668291c713d,
0x10bc4d083f706d3c,
0xe1a8c45b4894c855,
0x27d56a458a01d8b4,
0xe88ffda4ffc4faf5,
],
[
0xa5ed64048af45d9d,
0x7b48feba418052fb,
0x7a4a22451f57afc2,
0x6ca5a10bb6dde0cf,
0x916d9f2c62b33970,
0xa7005fe34edfbc94,
0x14ed78a60e348f2,
0x6ca5a10bb6dde0cf,
0x916d9f2c62b33970,
0xa7005fe34edfbc94,
0x14ed78a60e348f2,
0xf94c14a4fdb28cfe,
0x621f771911614a7d,
0x935de8bd92b5bee3,
0xd3a2665d95d317e4,
],
[
0x6d56acb61a9abe8e,
0xfdb4477c368483a0,
0x352075394f788b74,
0x4f626288a601b303,
0xfa445e36c5fc1bd8,
0x487f76509190057e,
0xc0c2ec27c850d93f,
0x4f626288a601b303,
0xfa445e36c5fc1bd8,
0x487f76509190057e,
0xc0c2ec27c850d93f,
0xce77b29d23910bf9,
0xc5207ac4b8456659,
0x3edcad5599286d87,
0xb8f29aaec7f64d35,
],
[
0x4f03f6750128b16f,
0xc2307541c9970984,
0xeba0e38bdfb2f415,
0x844490b6c94ff01d,
0x97d2f6acf11431c5,
0x31e7de47b6d4d6ad,
0xfcab3de1e8f50d67,
0x844490b6c94ff01d,
0x97d2f6acf11431c5,
0x31e7de47b6d4d6ad,
0xfcab3de1e8f50d67,
0x6f7217b984b7cc1a,
0x22b89fcb86c080d5,
0xe8b98847fbf6c19f,
0xff072b5bf2f0c889,
],
[
0x6e717510c8e732c4,
0xd3e508a9e3855fab,
0x18e0ba1d43b19fe8,
0x848ad83b6e0d60f,
0xc09d282f51da855d,
0x82e7f74688a014ed,
0xd3fb00a2bfb9f821,
0x848ad83b6e0d60f,
0xc09d282f51da855d,
0x82e7f74688a014ed,
0xd3fb00a2bfb9f821,
0x187b6a1790272da0,
0xcc37f88497fde17e,
0xfa6a383d6c7edd02,
0x4ac922b3820d55b2,
],
[
0x6167f57448c6559b,
0x1bdac82270ba5daf,
0x99414798c789a18b,
0x5ca3088d1d613904,
0xb514e80fa4bd6173,
0xc7f333680ad450a,
0xba41a35ce36b4fdd,
0x5ca3088d1d613904,
0xb514e80fa4bd6173,
0xc7f333680ad450a,
0xba41a35ce36b4fdd,
0x87d78285f7af2c2d,
0x6c8323b8ea9b1040,
0xd25ef64eae72e387,
0x75b243c6861ae71e,
],
[
0x4c445bb3cc5dc033,
0x2f468b3f6e9ccf43,
0x60e78440ab5f7a3f,
0xc0a78fbbb4d9c7fe,
0x5d5372b2750b6a97,
0x9fc2a31931008d5a,
0xd236ea6530b29183,
0xc0a78fbbb4d9c7fe,
0x5d5372b2750b6a97,
0x9fc2a31931008d5a,
0xd236ea6530b29183,
0xb8583ce049f864b9,
0xbcf728cad3a28f6e,
0x3fb1305967daff3b,
0xfc4890163b21bfee,
],
[
0x3d63ec327c84a0bf,
0x40dd9339cd2e68ff,
0xf0ba798fa143e548,
0x3ad5fe46fea96c61,
0x5b78b66fef8dea6f,
0x686332310340452d,
0xa826cb8d2394f95f,
0x3ad5fe46fea96c61,
0x5b78b66fef8dea6f,
0x686332310340452d,
0xa826cb8d2394f95f,
0x523dcbdacd37c38b,
0x930405cb36b18ed,
0x9669175e7aefab7,
0xbd631d3a801cfbd3,
],
[
0xeab5f4a8d3ec6334,
0xa7e1065573315d35,
0x3381e6aeaa8906cd,
0xbb2fca5617f2c8c8,
0xa68ae975813669d,
0x21eb53b81a1608d7,
0x96a0a8cef0ab1adc,
0xbb2fca5617f2c8c8,
0xa68ae975813669d,
0x21eb53b81a1608d7,
0x96a0a8cef0ab1adc,
0x2fbcb941f76cc3e6,
0xba24db10a1c06940,
0x62e14a95c9bec91b,
0xe83b14e4708092f5,
],
[
0x1ffad87ddc8ca76a,
0xe6b143d6ed7f42a0,
0x51fc65a5f15337a2,
0x281b10815ee6b36c,
0x131460a7e307fb49,
0x323ac05bb6f260f,
0x86504e553eeeb51b,
0x281b10815ee6b36c,
0x131460a7e307fb49,
0x323ac05bb6f260f,
0x86504e553eeeb51b,
0x244166b9e84caef8,
0x2b3a71e12a020931,
0x5c3c1d0c143ac17d,
0xb2da89c77a7dbe65,
],
[
0xfcc3b1db7bb174a0,
0x61bea0ed7dc160e8,
0x7882e4ab6c8cb280,
0xab914bed4e97e8d2,
0x6071c5a779cc97fc,
0xe5472aa9a23a7d31,
0x628dea5a3164c608,
0xab914bed4e97e8d2,
0x6071c5a779cc97fc,
0xe5472aa9a23a7d31,
0x628dea5a3164c608,
0x65ff115faeacc3f7,
0xfcf7f354d9d3f42e,
0x33c1c482957e9247,
0xb4c03837010d19d1,
],
[
0xcffe79062bb4e7cd,
0x9e01b50f95301ea2,
0x2a616a3eb9110b32,
0x325894413570e9b0,
0x1ba9bdb939ee6d9b,
0x6a7c5f758b0f8a22,
0x5613c8af1381df60,
0x325894413570e9b0,
0x1ba9bdb939ee6d9b,
0x6a7c5f758b0f8a22,
0x5613c8af1381df60,
0x3a760d64558560a2,
0xb199b6b9f138e20e,
0x92d4d79a6c2a4eba,
0xf79f6b69a4475cd6,
],
[
0xa21717e2b3d282ee,
0x1ac0595d4f40cda4,
0x429a8a47cea11c02,
0xe680b930b66396ed,
0xd017b03635aece79,
0xb5547e06d64d2394,
0xcd8ee2c6d0f48658,
0xe680b930b66396ed,
0xd017b03635aece79,
0xb5547e06d64d2394,
0xcd8ee2c6d0f48658,
0x66070c4498569d0d,
0x5cf3fb6be2590228,
0xc70d152cb6e19cfe,
0x2171726d2c323507,
],
[
0x7e4143da4d878be5,
0xde837a44b83df910,
0xc5096fd7847216c,
0xd1ffc6a0e63da251,
0xfc0b63ceaef917c0,
0xac5020cdbb7db31a,
0xf600187306f3f361,
0xd1ffc6a0e63da251,
0xfc0b63ceaef917c0,
0xac5020cdbb7db31a,
0xf600187306f3f361,
0xd97e5425e390ec63,
0x71833c8a2329940f,
0x5c9ddc2802e33d37,
0x58ff256c73d9602d,
],
[
0x23b80b8bc4e75405,
0x29de38e234555045,
0xb58684b753996de8,
0x7be7ad6fb131552,
0x4c4e822573890072,
0x1b1bffc34b326bfe,
0xd4ca629a7c07f772,
0x7be7ad6fb131552,
0x4c4e822573890072,
0x1b1bffc34b326bfe,
0xd4ca629a7c07f772,
0xb045866ce1f2e9fe,
0x80758cc9dc9af28b,
0xadf5f4fbe1ff3079,
0x9bdd487f5cce4293,
],
[
0xa6ae749a1ed10838,
0xa9c706bcdcfa891e,
0xde2661c018abc48c,
0x97ad0eeccf7beed9,
0xbf70a97987134ce1,
0xb0988e5caa387cb2,
0xc762a4b2a2126a63,
0x97ad0eeccf7beed9,
0xbf70a97987134ce1,
0xb0988e5caa387cb2,
0xc762a4b2a2126a63,
0x92090927bb9a14de,
0x3b75dac9fa07439b,
0x4b4015ccade7be93,
0xbc41810b9827a7cc,
],
[
0xd4b4a81be36638f2,
0x92aabc9931541a5a,
0x43ab0147e976e855,
0xc825b61dceb4e636,
0xe0809d70e918ada7,
0xc35b1dca85adbea,
0xf77b1cd8381a85a9,
0xc825b61dceb4e636,
0xe0809d70e918ada7,
0xc35b1dca85adbea,
0xf77b1cd8381a85a9,
0xf16ee42414ffae5b,
0x3f5315e1c3abda64,
0x72bcff88bf794f5a,
0x98e287de601f12e5,
],
[
0x5bab2890f354896d,
0xa9d1f89bd9868dd,
0x3dcc900485630f0f,
0x4f22b5392f0b094e,
0xb0f6c85f71e717a6,
0x46957a3b2d65a038,
0xb083716110d971b4,
0x4f22b5392f0b094e,
0xb0f6c85f71e717a6,
0x46957a3b2d65a038,
0xb083716110d971b4,
0x590eb05886da3ca3,
0x72a6705f42ae3360,
0x539af2631737f900,
0xeca90bc7cf8e5a9a,
],
[
0x4c0a184632b0499a,
0xe9c2e26d5bd7346,
0x3e4fd6dfe99c67d2,
0x84adabbc4885d2c,
0x7f13d1c57c1436ee,
0x816789354e143b64,
0x3df2247f878cc4a9,
0x84adabbc4885d2c,
0x7f13d1c57c1436ee,
0x816789354e143b64,
0x3df2247f878cc4a9,
0x299027e5cd6bb193,
0xeec646fd89651947,
0x3f577a6318d67d51,
0xa178d50920bc66d9,
],
[
0xb45a39714746ec86,
0x96f58143107477ac,
0x2dd11909380bb2cd,
0xd91b8bb8672fd8f5,
0x740fccac7b4f751b,
0x30dece8f93a98d22,
0x4dfc62e32800ede8,
0xd91b8bb8672fd8f5,
0x740fccac7b4f751b,
0x30dece8f93a98d22,
0x4dfc62e32800ede8,
0xcbb8048c9d423752,
0xe50d29a6cb06675a,
0x1cc701fcfd0c7eb4,
0x85039c3883e7f77b,
],
[
0xc4b90839e91abfb2,
0xe82891efce710c00,
0x4a7ed592a3a82dd4,
0x7e607fe600517cd0,
0xe532f493827b0237,
0x395cda8e4fe45809,
0x54c07a612f99b802,
0x7e607fe600517cd0,
0xe532f493827b0237,
0x395cda8e4fe45809,
0x54c07a612f99b802,
0x5e6cd2a69a70cb19,
0x79ec437368efb985,
0x4910aa3b78f20a98,
0x27ca0a6592390c2f,
],
[
0xe81d35c8ed7827fe,
0x1a262c26a7b07276,
0x207dc323cb840325,
0xc248f06ca75157a0,
0xd89f50212f3ce653,
0xbe6f8171f28a86d0,
0x429a914e8bcd778e,
0xc248f06ca75157a0,
0xd89f50212f3ce653,
0xbe6f8171f28a86d0,
0x429a914e8bcd778e,
0x549831597c30b677,
0x77b327c31cc9df9b,
0x842b5e028095a9e6,
0x55454e622b5ba351,
],
[
0x587c5ee43e034ebd,
0x17d007f9bc666c2d,
0xaf9c82c94dfcda1f,
0x2ca7857ac0ec7867,
0x4c7405c3f345264c,
0x7a5fcd4b620e0939,
0xfac9f4b7677b447f,
0x2ca7857ac0ec7867,
0x4c7405c3f345264c,
0x7a5fcd4b620e0939,
0xfac9f4b7677b447f,
0x8d9855416604a380,
0x12d008ea1ef252fe,
0x751ebd2c8c3f5860,
0x3406afedfe8b3cf2,
],
[
0xb1ec87f8823040ac,
0xa7b6d2e2223d8bb0,
0xd41677026942ade4,
0xac5aadb9c48b988d,
0x850ad5a0d3650159,
0xe6f67795d6a04567,
0x5f9ba2bbfa36e575,
0xac5aadb9c48b988d,
0x850ad5a0d3650159,
0xe6f67795d6a04567,
0x5f9ba2bbfa36e575,
0x2611cb09da2480a,
0x3c39a5994ab1930,
0xd83f3ffe11cce91d,
0x28a4e12d589a26e7,
],
[
0x7677dff12f92fbd9,
0xa1c9bc7d32f35ca1,
0xedcd974aa7488258,
0xe38fa487026a5a0b,
0x3b9b7540bf4802a5,
0xf3118d8cf9507c02,
0x6e8147b6eab1fe87,
0xe38fa487026a5a0b,
0x3b9b7540bf4802a5,
0xf3118d8cf9507c02,
0x6e8147b6eab1fe87,
0x4fb094c3c1e8223d,
0x23661d08e0a8abe2,
0x21c5355030a29935,
0xb826eeb5c0c6dbf2,
],
[
0xb69cea6e5a0e28fd,
0x3e24ba0592afe2e,
0x57dedae1b68ddd05,
0x6e5f6aded4efd69f,
0x41aaf253fd433093,
0x811156ade1688bfb,
0xf6be0584b63c47f3,
0x6e5f6aded4efd69f,
0x41aaf253fd433093,
0x811156ade1688bfb,
0xf6be0584b63c47f3,
0xce21b17027ede42c,
0xf6a8636d32ca379,
0x88b6b8b90ebf5a6b,
0xfda2054503a9ed37,
],
[
0xf7180ae2e0f325e5,
0xd853c886b1187cb8,
0x500adca11f8e94de,
0xf3c31d687579578f,
0x2c3f467e63c5225f,
0x5b92432e0e17d7aa,
0xac7174bf58f98dec,
0xf3c31d687579578f,
0x2c3f467e63c5225f,
0x5b92432e0e17d7aa,
0xac7174bf58f98dec,
0xfd2ae3f49aa1be8c,
0x95df781cdf1bf382,
0xdba87a0e2301f8f0,
0x1475c16876ee1569,
],
[
0xa08d214869e84ccf,
0x12011850607c0dc0,
0x6ca21154a2193f1e,
0x7941a5bb3a6fb8e0,
0x31785fae4ea5cbd3,
0x1614b3e8ba5368d0,
0x7f23439c6eced206,
0x7941a5bb3a6fb8e0,
0x31785fae4ea5cbd3,
0x1614b3e8ba5368d0,
0x7f23439c6eced206,
0x64893e462a240f79,
0x235a739c42b95d66,
0x20a62c4ba35b4110,
0x7c71136d6f83a83a,
],
[
0xcfff666740e2f99f,
0x434be89d9bd1b14,
0xd12ba6e50904b61f,
0xeaac07a345101168,
0x3ab8690ec91d6ed0,
0xa3e4855a45efe602,
0x34c0bbd016958641,
0xeaac07a345101168,
0x3ab8690ec91d6ed0,
0xa3e4855a45efe602,
0x34c0bbd016958641,
0xe1f661d930d7b066,
0xd741e0e8c9fedbf8,
0x3983140fc0cf74e,
0x710084232663041e,
],
[
0x2fc743551c71634e,
0x5a39844593357e83,
0x5ae234ee018ecf0b,
0x4b0b4fda75dafd7a,
0x1dbc42dfe207f246,
0x5a0d608f0148d695,
0x3fea6c290b1dd217,
0x4b0b4fda75dafd7a,
0x1dbc42dfe207f246,
0x5a0d608f0148d695,
0x3fea6c290b1dd217,
0xca0169256d064f4c,
0xb9c328a139717836,
0xebb88619d12aa4d1,
0x716e494d69ab7212,
],
[
0x9bf4d77b464c9435,
0x3b3e99dd8dbe902d,
0xbad6a2d23cb69f3f,
0x694a09a072fb55d0,
0x554f4bef9ec86462,
0x62b67efddc71a65e,
0x742a639df5c8e97f,
0x694a09a072fb55d0,
0x554f4bef9ec86462,
0x62b67efddc71a65e,
0x742a639df5c8e97f,
0x9f41e5f1462fce48,
0x5e4092a0d77e33f4,
0x9fa5b35f31ca4646,
0x4dcb137b92826a76,
],
[
0x5e6b758083214c84,
0xcb50a5ebbc51fe29,
0x4a8d4e03e37c386a,
0xc39c9c99c57f6ca5,
0xb42e5c0f6facbc5d,
0xb61e56112182b0bd,
0x1e47e5eae9d39cc1,
0xc39c9c99c57f6ca5,
0xb42e5c0f6facbc5d,
0xb61e56112182b0bd,
0x1e47e5eae9d39cc1,
0xa35ea8c79805b3ca,
0xddd09523ba1c1f2e,
0x50a159b97c3e0a72,
0x974d196fcc65005,
],
[
0x40548138ef68aa78,
0x5ba2ddd6b6414839,
0x9b08bb741da55929,
0xd1a6d32fe1544ce7,
0x2116dc3d7c295fd2,
0xda9bf65c101dfb2b,
0x28e657eb1e7ec91b,
0xd1a6d32fe1544ce7,
0x2116dc3d7c295fd2,
0xda9bf65c101dfb2b,
0x28e657eb1e7ec91b,
0x63bec2cc093cfa03,
0xe326d7714c20dbd3,
0x93577ee4e096f514,
0xef60f32e2047f758,
],
[
0x7c6b73ef50249070,
0x253fa259c87d5773,
0x6d3fd907de23f5ee,
0x48293bc212b01988,
0xbc97363f6593b1c6,
0xeb58e37ccf58a370,
0x43958d7b7ea6e3ea,
0x48293bc212b01988,
0xbc97363f6593b1c6,
0xeb58e37ccf58a370,
0x43958d7b7ea6e3ea,
0xcce5c8ab68ad833c,
0x37e404cdd4574032,
0x908a6cdbc893f819,
0xcfd2036019d4e772,
],
[
0x462a1dc5b9cb1b3b,
0x7904069a5fa90c8b,
0x6b34023aa308a14d,
0x30ca8d4223d71e5c,
0x265806e3aa04ad6e,
0x99003da804259b22,
0x852d586b40d5fdc9,
0x30ca8d4223d71e5c,
0x265806e3aa04ad6e,
0x99003da804259b22,
0x852d586b40d5fdc9,
0x5739025f2fd35c6d,
0xda6315eb3c055536,
0x8b78cc73b4ef5c2b,
0xd8ee48a1f3a0504d,
],
[
0xb8b156aa6c884b21,
0x6320356e9c8220eb,
0xdab9fa981067044f,
0xd87813c08592d18c,
0xb382d881f2c03851,
0x984c34fa745f8617,
0xe83b77ea9b8cb55,
0xd87813c08592d18c,
0xb382d881f2c03851,
0x984c34fa745f8617,
0xe83b77ea9b8cb55,
0xdfbbd862f43a7ce2,
0x60cf024675a3f981,
0x90489388325b3895,
0x6ee812876a0d8280,
],
[
0xc7afcc722488f9e6,
0xad6f0985312a64a6,
0x97c923f4604fdcf4,
0x9ea08f9e3a9dcd7a,
0xc43489710d913809,
0xd93c98c6519cbb12,
0x440d5b0518ebbba7,
0x9ea08f9e3a9dcd7a,
0xc43489710d913809,
0xd93c98c6519cbb12,
0x440d5b0518ebbba7,
0x8b251e1446fe95e8,
0x779411be7eeb235b,
0x3a6c55bf8697a6c9,
0x37c650eb87619094,
],
[
0x7a45b5b10dc24dbc,
0x954a638cab780f0a,
0x7f807ade405b7144,
0xa06a1ff81f995ca6,
0x3f86a498bc53f3fb,
0x5754b5a8eaa5f9ae,
0xc9525aa3857aeac2,
0xa06a1ff81f995ca6,
0x3f86a498bc53f3fb,
0x5754b5a8eaa5f9ae,
0xc9525aa3857aeac2,
0x282a71910cce4c,
0x4cb5187f1bb213a9,
0x88a0b48d4d6cd82,
0x7549a0d22628ef1f,
],
[
0xefe499d7a567391d,
0xcc2e34ce91112f84,
0xdb5b75c40a8d6871,
0x9baddec72034af7c,
0x76093c1151a9c334,
0x87e40485b73a54da,
0x60016735dade9c79,
0x9baddec72034af7c,
0x76093c1151a9c334,
0x87e40485b73a54da,
0x60016735dade9c79,
0x7f6898c8b8f0cf75,
0x4e3ded8b54a231a2,
0xbffa17838d1e8a93,
0xf22673526561be89,
],
[
0xb60d26b461d05e25,
0x85e44ec2d4c15b5f,
0xa33941259a71f695,
0xdb65a2f99f10b462,
0x3a8a521b95aa4061,
0x926cb95f25d21bf0,
0xbd55cebbdeb0995b,
0xdb65a2f99f10b462,
0x3a8a521b95aa4061,
0x926cb95f25d21bf0,
0xbd55cebbdeb0995b,
0x5be4f11dbd12b512,
0x97069199e30381b,
0x919c497f89819090,
0xd401c56351009d73,
],
[
0xc15d366b98d92986,
0x55bf21d6d14af29c,
0x5dc43a61cfcdab12,
0xa0f0e3426fd64509,
0xc83035f88a0b77ef,
0x2763e28e263f5dff,
0xc3ec793cc63dd03b,
0xa0f0e3426fd64509,
0xc83035f88a0b77ef,
0x2763e28e263f5dff,
0xc3ec793cc63dd03b,
0x1e229cb421996b55,
0xb68c01cd16195350,
0x23dea84286d682f,
0x6d5b29ae0007cb17,
],
[
0x9addb551a523df05,
0xe60921a3a4aceffd,
0x80019fdf97a7e7af,
0x45b80999148290a8,
0xa28692320b415d8e,
0x2bb4caa23d8fc335,
0x886ba29327b7d888,
0x45b80999148290a8,
0xa28692320b415d8e,
0x2bb4caa23d8fc335,
0x886ba29327b7d888,
0xca789b84ded5ebcb,
0xe118c6fe9d46d9b6,
0x816c55b87f81240b,
0x46c88dee2eae333d,
],
[
0xbd0a37a2ad2465b9,
0x27f0829d19cd8cf2,
0xf13fdd1a783dea5b,
0xd865088b9158ab0d,
0x8dce24a60fd399d,
0x3c1c449046cf6093,
0xc868ae36645aa748,
0xd865088b9158ab0d,
0x8dce24a60fd399d,
0x3c1c449046cf6093,
0xc868ae36645aa748,
0x81631dfae2756bd,
0x91d52f25379c3f39,
0x9a5ba7a5d5351300,
0x96afee16d063cc7c,
],
[
0xe7a7162d930c5056,
0xcca8d5eac07d1880,
0x98d7152acf6aead9,
0xd120fb01533ea3db,
0x87ba57b866606483,
0xd1ab19f981be7f77,
0x575d2739539d89da,
0xd120fb01533ea3db,
0x87ba57b866606483,
0xd1ab19f981be7f77,
0x575d2739539d89da,
0xdf85c5fc71528b29,
0xb17b7b6dde134721,
0x1529708be58423bb,
0xde15779ba404dd6e,
],
[
0xb9982c5395b09406,
0xae9457448497d448,
0xccb79281b0518ea2,
0x750ad5690f9e2ea4,
0x480ea42b71c98703,
0x183a69ca58d0194b,
0x38d9e1c3079391c3,
0x750ad5690f9e2ea4,
0x480ea42b71c98703,
0x183a69ca58d0194b,
0x38d9e1c3079391c3,
0xa2c6a015e19f2784,
0x198f72af6da4e94d,
0x25f60149191ea280,
0x76c3d95e77e15,
],
[
0xe41766d004eef8fd,
0xaadcffc4079be65,
0x1762a40c971c5256,
0x6c0dca72f7dfd702,
0xb72cd78f733b3838,
0x98fd59dc49501bb7,
0xd64b0dfa56080086,
0x6c0dca72f7dfd702,
0xb72cd78f733b3838,
0x98fd59dc49501bb7,
0xd64b0dfa56080086,
0x788cefe1ddd43774,
0xf04b73f0360928f3,
0xabd47c7a8b98008,
0xe84366d094a829bc,
],
[
0xa3074a96c88c47de,
0x9dbfa7ee06c6d629,
0x7a3010c27a54bf5b,
0x1a646f82ee865034,
0x1cd75ba2ba2e18db,
0x7886c70238c13919,
0xa375790fbc0d4075,
0x1a646f82ee865034,
0x1cd75ba2ba2e18db,
0x7886c70238c13919,
0xa375790fbc0d4075,
0xd6110e4f72210885,
0x5f785bc6e1be1073,
0x70e597dcc6bd0f2a,
0xcadd313cdd0895b8,
],
[
0x881caa3913271394,
0x914f7f9497f7ba94,
0x76ac64366b6f5660,
0x61f8efb455b1df84,
0x1c7d6d187eaa165b,
0xf4037a9c1b15a760,
0xaf6952534fbb79b4,
0x61f8efb455b1df84,
0x1c7d6d187eaa165b,
0xf4037a9c1b15a760,
0xaf6952534fbb79b4,
0x9fd0df72e32d0a3b,
0xbf93abf0ffe97d1d,
0x9a388a58d6df3651,
0x41a071e47a61f284,
],
[
0x77d95a600f824230,
0xe5a39f40ea41304f,
0x7547f8e9b3d7d3bc,
0x2ae7e1bb1086a0c9,
0x9db29c86d65743b9,
0x3499bfb7b01c552,
0x44bc45426b974a12,
0x2ae7e1bb1086a0c9,
0x9db29c86d65743b9,
0x3499bfb7b01c552,
0x44bc45426b974a12,
0x15a9572e8fb11973,
0xb4a9867437743c91,
0x2d8887964ba315c2,
0x2e4c0e78edd6a336,
],
[
0x1984adb7bcfec495,
0xb07d8992ffb8817e,
0xc4d5f5af08537d31,
0xffb697b8cfa03374,
0x416e215f645d8cb,
0xf7a9783188157a80,
0xfe0671c77addf1fa,
0xffb697b8cfa03374,
0x416e215f645d8cb,
0xf7a9783188157a80,
0xfe0671c77addf1fa,
0xf21b9a779ef9f2e2,
0x6cf329bcb0e8d867,
0xf962e0d8a11a57f2,
0x293058a121eb76d6,
],
[
0x66f613698d2263a7,
0x2d5e27113b032421,
0x50723eb3c45bba59,
0x19fa48781ce2b326,
0xf34fc200e9ca457c,
0xaa074b3b25a4f79,
0xb030f76a048d3c4e,
0x19fa48781ce2b326,
0xf34fc200e9ca457c,
0xaa074b3b25a4f79,
0xb030f76a048d3c4e,
0xa8dfdad7b8d5c09e,
0xc33ea522c687fd0a,
0x6bf90444ddd8c94,
0x79c65a303f46e176,
],
[
0x50cf2a1c284f5a5a,
0x2caca2361a3ba2e0,
0x3762f19bdf869c75,
0xfc34a738dc6b2cf,
0x1a72ebef9f3084a1,
0xe80baa530c593464,
0x745f6c0e1f21e62f,
0xabecd6c216d1805c,
0x67e7a4ccc0e1b612,
0x105003e6c4c24aca,
0xe6d31a2f74a24541,
0x813b21623b28adb3,
0x83ef2a6a2e8a7c22,
0xabecd6c216d1805c,
0x67e7a4ccc0e1b612,
],
];