xiangqi_tui 0.1.0

//! Zobrist 与 public-Xiangqi ZobristUtils 对齐（用于 SQLite pfBook / hobk 查询）。

const ZOBRIST_PLAYER: i64 = 0xA0CE2AF90C452F58u64 as i64;

const C90: [u8; 90] = [
    0x33, 0x34, 0x35, 0x36, 0x37, 0x38, 0x39, 0x3a, 0x3b, 0x43, 0x44, 0x45, 0x46, 0x47, 0x48, 0x49,
    0x4a, 0x4b, 0x53, 0x54, 0x55, 0x56, 0x57, 0x58, 0x59, 0x5a, 0x5b, 0x63, 0x64, 0x65, 0x66, 0x67,
    0x68, 0x69, 0x6a, 0x6b, 0x73, 0x74, 0x75, 0x76, 0x77, 0x78, 0x79, 0x7a, 0x7b, 0x83, 0x84, 0x85,
    0x86, 0x87, 0x88, 0x89, 0x8a, 0x8b, 0x93, 0x94, 0x95, 0x96, 0x97, 0x98, 0x99, 0x9a, 0x9b, 0xa3,
    0xa4, 0xa5, 0xa6, 0xa7, 0xa8, 0xa9, 0xaa, 0xab, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7, 0xb8, 0xb9, 0xba,
    0xbb, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7, 0xc8, 0xc9, 0xca, 0xcb,
];

static ZOBRIST_TABLE: [u64; 3584] = [
    0x7130b4bd8f138026u64,
    0x451a5f875056ae15u64,
    0x9023211db6e216ddu64,
    0x8176b9ab5178be31u64,
    0x9ca65525fe49d1f0u64,
    0x64bfa2303868852bu64,
    0xb91360d20127098eu64,
    0x36150c526e1dd2f5u64,
    0xd8bbfb8fcd6f735du64,
    0xa3b35e61d7da5068u64,
    0x46982bfdf96e1dcdu64,
    0x012367021814ad81u64,
    0x4089da4c1b9c5662u64,
    0x42bbdb342f88a0d4u64,
    0xc827e492d9ceb711u64,
    0x4e18fabbc55dbe46u64,
    0xfb7a0b8ac6284121u64,
    0xf179fc42457a105au64,
    0xf5a6cfa529c8d035u64,
    0xed7626e641383689u64,
    0x3b8a9e8457e65e67u64,
    0x674957c0d8ce647fu64,
    0x7c4ce37b578f1a9bu64,
    0x07f9d32932e1493bu64,
    0xac776eb186fcc474u64,
    0x3fe8bf61b3d17258u64,
    0x04b55a2fb8f42d93u64,
    0xc0dd14998777ff0fu64,
    0x6e4e1e15db62b600u64,
    0x846ae109ae2c37b7u64,
    0x7093e9e05df029fbu64,
    0xd3982b39a0fdb1c7u64,
    0xbde6db97b7f5a17cu64,
    0xc0eed455913adda6u64,
    0x46947371fece7628u64,
    0x81aef4c1cc7a02cfu64,
    0xc5c82e68e036a296u64,
    0x7fa039ef30781817u64,
    0xaae0e8deeff3f606u64,
    0x1d0521c1e13b610eu64,
    0x69f10f80f4a40a00u64,
    0x197fe1b1681516dau64,
    0xcacfbc19e54ce37cu64,
    0x233b0a0a4b37f1f9u64,
    0xc90b6a25ffb22f73u64,
    0x7574fc9e93a8fbcfu64,
    0x2a3a777d6f54ab13u64,
    0x96920d6c2292f1eau64,
    0x25862c838d6591efu64,
    0xf6242fa4af008a5eu64,
    0xc8fcb0ce3bc170d8u64,
    0x18d91dc3523b5fb1u64,
    0xe118a157278e0a46u64,
    0xef116c3273168425u64,
    0x5f19d7cb03ca217fu64,
    0x44e11f566faf8769u64,
    0xad2c7ba5f0a013d9u64,
    0x7188039ca11f66f2u64,
    0xb60bf14ef215b3cau64,
    0xeaf97c8185e0c08eu64,
    0xeaaf8d87b72defa2u64,
    0x69cada520dbdfff2u64,
    0xedba60006a42fe2au64,
    0x5cf499b4f530734du64,
    0xebd032ff7c032574u64,
    0xed0cefe2de548828u64,
    0x63982b947c1044a4u64,
    0x7e34a6bfaa97391bu64,
    0x021de9e384dea780u64,
    0xf0b240d20a7a3e21u64,
    0x9a6a479e6c2962f8u64,
    0x443fba6fcfe3ac8au64,
    0x0b94ffd875ca1c18u64,
    0xcb58573e538730e6u64,
    0xd936caf0dc8eb6fdu64,
    0xdc5c557cb71f3c59u64,
    0x79102f57cb1791b8u64,
    0xb825ef53c44bb033u64,
    0xafda588f7ea0af51u64,
    0xc2b5f9c4e30b95cbu64,
    0x80a454caedf92144u64,
    0xdce464932adf15e8u64,
    0x37c78b2ed8c9a22fu64,
    0x6f89f2dc6ecb7a3bu64,
    0xc66174b2bdbac28cu64,
    0x0b5fece55e935cbeu64,
    0x7f6d244689c750a1u64,
    0xf6db5ce7369c13eeu64,
    0x1dfe7be1079e5717u64,
    0x3e8fd681c406383bu64,
    0x26c4afb21394b9d8u64,
    0xcf2fc6c843bf9e29u64,
    0xefeaf2c2c752af1eu64,
    0xac072da2a15421e9u64,
    0x9b88bce097f522d8u64,
    0xebd45c9ddd79f483u64,
    0x944a0cb6ea118cd7u64,
    0x2a2d9f08f4688fc3u64,
    0x5b935e97509cf65au64,
    0xdf28d78e81335d7du64,
    0xce54ac786e5569f5u64,
    0x73bf3c535d72c7f1u64,
    0xfbe4f2426cfbe0ebu64,
    0x2175dfe5e3bca451u64,
    0x4aa446981a35836du64,
    0x391597228f7485b6u64,
    0xdad29fd49fa7cd5au64,
    0x90c83e823daed609u64,
    0xcae55b04a2616f7cu64,
    0x97b7d80d98f6e3a8u64,
    0xbbdc533a45662552u64,
    0x66558a90c4ee35d1u64,
    0xa1710ea33bb6c1e7u64,
    0x28b3a66776d9bf1fu64,
    0xd3ac2058afd6fa44u64,
    0x75e9909b554c3c8fu64,
    0x87519df971800282u64,
    0x7e3d65d3834888f0u64,
    0x32bc129fbdbbfa89u64,
    0x93d99fe52a4a37b1u64,
    0x5f2a71e5fa4bf9f5u64,
    0x0118deabf2cab75cu64,
    0xe524b92b0ae556c5u64,
    0xf6017b176bf8db47u64,
    0xbf8cef69a56598bbu64,
    0xb6491634b1744d44u64,
    0x1613d072e1bb7b8fu64,
    0x1c48393ef0fddb53u64,
    0x47312b801af3fc6cu64,
    0x1d89cba1d23aaaa0u64,
    0xbd6ada8cf8674350u64,
    0x152c541877b2e05du64,
    0x85997c0948ae573du64,
    0x610fdeece2659a30u64,
    0x460566fd239e8469u64,
    0x3ad870ae78696b4bu64,
    0xaa9c6ec2753a3dc6u64,
    0xf71096789320d072u64,
    0x5327fb17490c1f9au64,
    0xdd3fbf4552cafc71u64,
    0x47579f4dd4221f05u64,
    0x8d93c8864b2ccfd4u64,
    0xd395bbf07b5a72a0u64,
    0xd5c21f99785d11e4u64,
    0xf309d54dd472eaa0u64,
    0x510b1d7b92b4662cu64,
    0x18cfcaddc9dcd31eu64,
    0xa8d9266a96235115u64,
    0x7e56238cc3f22970u64,
    0x86334ff6eb3ab765u64,
    0x20fb95886ddb75bfu64,
    0xc24cd15a9f5def9cu64,
    0xe76db13580fb8c3bu64,
    0x57bc1fb405af897cu64,
    0x59f0ca8c1f7b659au64,
    0xf06f06193b70af52u64,
    0x09a2a61d94f9b4c2u64,
    0x20393c4228a1c5acu64,
    0xfbf0b3a97c496fd6u64,
    0x6ae149e1b8e081a3u64,
    0x6ae2a31d317e3cfcu64,
    0x20dabc87f88ee2e6u64,
    0xf283c6864964a78fu64,
    0xd9602e474779a623u64,
    0xe1993f7829fe40a2u64,
    0x4d6d0818b4572d85u64,
    0x02010d007b4765f9u64,
    0x171880531b8d5860u64,
    0x957a1458a42bececu64,
    0x6e226759d7cfa040u64,
    0xe03c160b0d306ac5u64,
    0x3703d6f03c56e0f8u64,
    0x75b40f5598eeda9bu64,
    0x0fa29f77b672c261u64,
    0x8edb5023922f80c2u64,
    0x95cc2da8df7d1decu64,
    0x070b750da000b638u64,
    0xe1e38f29c032bf35u64,
    0x6dd75e5089ce4ac5u64,
    0x7db988b3d3b35634u64,
    0x445c2ccfa024fa9du64,
    0xde4a5149426caac5u64,
    0xd4a088b2e2591ccbu64,
    0xf9260f515c7bec95u64,
    0x54051e52de03c1b2u64,
    0xa592ba34d6f9a7c4u64,
    0x086e39a6f2ca055du64,
    0x47f9f977810a45b0u64,
    0x2cb93a8143a3ef7au64,
    0x6e00f5059360e2c8u64,
    0x9e344875d6536b35u64,
    0x44b0bdd03046755cu64,
    0x8c3b984fda84bb4eu64,
    0xe2591594ea2916beu64,
    0x8ec32296b3886320u64,
    0x7d657d057beb8736u64,
    0x3a80fea71258db6au64,
    0x9a200450904b8e99u64,
    0xbb8cb47e59282224u64,
    0x2d67375e4ccd7677u64,
    0xabba445d0e5e56a6u64,
    0x3ba418e098c6584au64,
    0xea93c301ba87afe3u64,
    0x1bd589ac92372907u64,
    0xcbc7df3d935b4087u64,
    0x904d689b984c1cf6u64,
    0x48025646359b3d40u64,
    0x4bc51e890e7181d0u64,
    0x5592cb241034e377u64,
    0x6bb63dcc0319d264u64,
    0x63e7c742aca0c341u64,
    0x826bf0e102605e56u64,
    0x50d0c2231b2c1d51u64,
    0xde0b7cc516e3b9b6u64,
    0xaaa010d0dd6a4e35u64,
    0x9fd64cd35a469385u64,
    0x28ad6ebf5db67222u64,
    0x7235abc802ed5f5au64,
    0x8e61954d80469917u64,
    0x6ea2cbdc5daabdcau64,
    0xc5dd713688f7192cu64,
    0xf04902b8e0359041u64,
    0x9073d9ca988d5d33u64,
    0x574779548452f866u64,
    0x1e98c0da4cdb082cu64,
    0xb4bdf7a2ebcd784eu64,
    0x008de7cf00c67a09u64,
    0x8b5d1c3c726d5000u64,
    0x26fd82782bd1c0ddu64,
    0xe4f1ad0e95465e12u64,
    0xd0dd76a8dc765970u64,
    0xf5755359bdcd047au64,
    0x545a1cd1e52664bdu64,
    0xb16e9726d3472fb8u64,
    0xf5342d4d398633fcu64,
    0x01f5e0a47e506e06u64,
    0xbddfa4284ffb5311u64,
    0xce7d3cac503d553cu64,
    0x9bdf9dc98b5099a1u64,
    0x4d7db1040b5e997au64,
    0x5d3d05d360e35524u64,
    0x337ba8bc212c7be1u64,
    0x86a62b460947e29au64,
    0x3d513d5ca88eefe1u64,
    0x29a0cce9f41c1cd5u64,
    0x197fd26418a34ee2u64,
    0x326f3b949b426c85u64,
    0x3e4e91ea83647d53u64,
    0xcfa3e8fd16681952u64,
    0x59bdef07e7cd5168u64,
    0x341025521d64c7d1u64,
    0xceeaf8f1c434ab08u64,
    0x409c4fdf6688e61fu64,
    0x643ab4959fa3cdbdu64,
    0x58c41b99a5ab395au64,
    0xf0b655b8d42a00a9u64,
    0xabd7437ec956585bu64,
    0x3f42808b843f0dc0u64,
    0xe0c928421512b453u64,
    0x85e82cd69a61c0e7u64,
    0x0c3c34cd0a7dee44u64,
    0xa82b08ccc44bd09au64,
    0xe2a835b21e653066u64,
    0x077406cf9230f54fu64,
    0x1cd68cb8e3d724f9u64,
    0x85daeb464697b1b0u64,
    0x7da2593f4ca08018u64,
    0x8825ea023c853d5du64,
    0xeec8f4378562f880u64,
    0x059ac163dfc9f4dau64,
    0xf9c81f2073038b6fu64,
    0x314738e40e6974d0u64,
    0x8327245d17df9208u64,
    0x02ad6c54622eebd2u64,
    0x3c3768ed10b692d8u64,
    0x2d4a31901ea2053eu64,
    0x433957859408e871u64,
    0xf1307f2059af68f0u64,
    0xfe02dfafd2155e43u64,
    0x5cffdba1747776e9u64,
    0xc9a5848e286d570bu64,
    0xbcc49b8de5def315u64,
    0xbc3f0a86f9987c91u64,
    0xfbd32161f98d94d2u64,
    0x27031d1d87ebee9cu64,
    0x137ea6d6042f2ee6u64,
    0x7fba0ad49a60f731u64,
    0xbf8e614730f0380cu64,
    0xa45457fedac904a5u64,
    0xed9f8b297c43b13cu64,
    0xa2d9cf016e619e07u64,
    0xe82794bdf52d8e54u64,
    0x8de9c087ec7044e6u64,
    0x5a950b05805f2ed9u64,
    0x6421fccbf228cf8eu64,
    0xdc1439499f9befdfu64,
    0x692c94144fc54921u64,
    0x13c21b59b3fb3d5cu64,
    0x0be3042a904a613fu64,
    0x05a6b8ef1aba9873u64,
    0xafd0468d5425fb1cu64,
    0xed8f697bea759978u64,
    0xe390dbbc06690c31u64,
    0x7df25ef2c1b3d7bbu64,
    0x72ee3703c4fe44ebu64,
    0x274421ee4fe5a662u64,
    0x1540b7c94de20203u64,
    0xb9b835e58eff0cd5u64,
    0x30874d584e06536du64,
    0x12263cf38e0b9a89u64,
    0x51cffcd4b2168df8u64,
    0x74db1c017c23812du64,
    0x9def49f43e19ef14u64,
    0x106285f49f650d8au64,
    0x7432febd1e556661u64,
    0x70dc8ad69498f68fu64,
    0xf19e609342b42eeau64,
    0xb43e22b4625cdb64u64,
    0x606aed6d8d629241u64,
    0x12e0ff48ddc8fc78u64,
    0xaeec871c960889d2u64,
    0x200e4f561e9d90e9u64,
    0xc4a4c01f24a7072cu64,
    0x45bc5edc5634e0aeu64,
    0x0e33718af9bd0a0du64,
    0x8f78d4320e85d575u64,
    0xdaffa02864f5e370u64,
    0xec86c7522db34f12u64,
    0xd3d923e5f844a6fdu64,
    0xfa7d0a7a1eb505e4u64,
    0x027b6460baf76879u64,
    0x2a38e595f8d474b2u64,
    0xa0c2f34bc6d8892fu64,
    0xdac414aeb5c574beu64,
    0xfd8efe0f19341970u64,
    0x8ad040fa4163ba22u64,
    0xaeaf1f094212bc94u64,
    0x33b8ffe4761403b6u64,
    0x9ce6c86ce5be2223u64,
    0x727c17c73609e90du64,
    0x62f7dac41f27950fu64,
    0xf5ea32d84bbc8a53u64,
    0xf4cbbbb5657bea2au64,
    0x0f517a14db0e5108u64,
    0xca3e12b18bc14936u64,
    0xfe30dfd5b8a4bdeeu64,
    0xe3b114c76f0f7848u64,
    0xc2081ff9fe39bfa8u64,
    0x377b82e296760752u64,
    0x99221e6a70af8eddu64,
    0xa86b92570f640a10u64,
    0x9a3e88088fd8dfd5u64,
    0x18fd2a9a59e788a9u64,
    0x9b4761ebf8122eefu64,
    0xce8f38ad29d683c9u64,
    0x0ac79b1ba2db545fu64,
    0x0dc614b7c478e6feu64,
    0xa69f31cd15c23518u64,
    0xcf769cf9bdff1c95u64,
    0xa27ce272f619a1cfu64,
    0xedd97e2ff6a93857u64,
    0x8de4d8c20c0a926eu64,
    0x1e7089339d1beaceu64,
    0x4e1dcd2008b63b80u64,
    0x4fedd394920f34feu64,
    0x5e218fb6693c4c55u64,
    0x8e97598b791934b2u64,
    0x0fb211c4db9c47efu64,
    0x8f06aeafb2f1ebcbu64,
    0xaf04f990627f2ff7u64,
    0x38cec469d73ea940u64,
    0xdff6c99ee2257050u64,
    0x6a77cd2aee82c8a2u64,
    0xf28554c80ac672f9u64,
    0x406aee0390776562u64,
    0xa653b1e543dacf62u64,
    0xc2cf09484fb7f138u64,
    0xe44857cb17e0f569u64,
    0xacfe5877a93ae94du64,
    0x6bd6b075b1555386u64,
    0x5e274dadacc63c1cu64,
    0x51537d31c7ab98fbu64,
    0xa7d0f1826b19e227u64,
    0xb5b888d02e42a80bu64,
    0x86632d398f3b45f3u64,
    0xa88454c497646176u64,
    0x237e0ebd89e4ebe8u64,
    0xbbea1e661284f9cdu64,
    0x1bce97f0c8b76903u64,
    0x4c517e505f19d26au64,
    0x9c3b79717e79af83u64,
    0xb827b135e474aaffu64,
    0x0eaa55f3ee469af4u64,
    0x6652634b833f3e24u64,
    0xa7473af5a12b8146u64,
    0xf21671b7ce444a46u64,
    0x0a1de189d45d74d4u64,
    0xe510f44c4e5ef9e4u64,
    0x2ffeeaa2adcc6380u64,
    0x54e8791c10816108u64,
    0xa3122938856ee959u64,
    0xf4a0df4c24ea2b4eu64,
    0x791dae527b579162u64,
    0x730962d6f3b66d04u64,
    0xb57432ee8d29ed6cu64,
    0xba80a3bd252ca320u64,
    0xc0a2ae71513df629u64,
    0xb453147d5b2c9923u64,
    0x225f093a925116e3u64,
    0x6542396f255e7924u64,
    0x2cdfce9fa44bb47au64,
    0xc34970f43acf098fu64,
    0xe9aeeb95d937f58fu64,
    0x687b4f4521d5dd65u64,
    0x01300be22536a20eu64,
    0xe5dfc3e9922c4f02u64,
    0x717b6abce8d6aa77u64,
    0xe57db6ba0d58d2a6u64,
    0x60d651626ac55b90u64,
    0xd64502a5ee95d561u64,
    0xb5fa2a17ec8c0164u64,
    0xc9582135958fc611u64,
    0xee8344c1e19954c4u64,
    0x7837cf255667618bu64,
    0xc448cf344c71909fu64,
    0x109ec4308d96b82du64,
    0x3f04baf84b9a88eau64,
    0xbf639a875f62f26cu64,
    0x7aa0384d965722f7u64,
    0x197b692b50b16b14u64,
    0x6d9af6c73900af62u64,
    0x1344b3ca12371956u64,
    0x806e82e6b15e7006u64,
    0xb485fe720f18c9e3u64,
    0xe87881b804fc9892u64,
    0xb514ffd89d201d92u64,
    0xb0da1b717631e6b5u64,
    0xbce52db116f37d72u64,
    0xf3e7e0b0c0031705u64,
    0xc44047e6f7a8ff33u64,
    0x6a2b3f09e5e20dffu64,
    0xd8376d5b4b60e246u64,
    0xea9a751191b618d6u64,
    0x85e15b1ef98b2d2bu64,
    0x5c9f283d995ebff4u64,
    0x46c291de5bb153c4u64,
    0x399e0b67fc70554du64,
    0xbbc5509ec6b802a2u64,
    0x5b232fe5e38ec2feu64,
    0xc46c93a6ecb300a8u64,
    0x0e7d08ad8c6c32c9u64,
    0xef7946c452725f83u64,
    0x5875bb0ec00c0569u64,
    0xc2fcaef70627bcb7u64,
    0x1603571cdc91c8deu64,
    0x7dde8ccb1b957059u64,
    0x9331def3087dff1eu64,
    0x0e23128af65503b2u64,
    0x422da38e3add22c0u64,
    0xf7c673b863f5f95au64,
    0x1b41b4020a90fdafu64,
    0x51c9a20d3db6a18bu64,
    0xa5c02c6a966ba5e1u64,
    0xa417b39904e238c1u64,
    0x9338c0fb38935e99u64,
    0x532ce15bf4cfb3dcu64,
    0xec04532d412240d6u64,
    0x27fa420ea2c7b462u64,
    0x181677150eae7bc7u64,
    0x553bed9ebe1e7896u64,
    0x5b2fd1742efbc680u64,
    0x418ca72b61f20679u64,
    0xf1f0683866be4e53u64,
    0xd8c0f92a762c1df7u64,
    0x67f3229fbcee1969u64,
    0x099f4da05e6dfdc4u64,
    0x3805504714cf8b92u64,
    0x80d22f3733c207bfu64,
    0xb8afc305a9790b6du64,
    0xa8f9fb39c90aa4d2u64,
    0xbab73a768636c050u64,
    0xcc0a34644a373da4u64,
    0x8ed715b148cd959bu64,
    0x55a80eac2b7d849bu64,
    0x8dee3bb83d4aae58u64,
    0xbb07e90edfe6f703u64,
    0xc4f051b49e974c5bu64,
    0x24ccafb135a33651u64,
    0x06626b3223bef039u64,
    0xb4b82274cabef7dau64,
    0x57c76808a76733d2u64,
    0x557fee74d5e09877u64,
    0x544f71c8cd9e2745u64,
    0x20e51fab44f3b2f3u64,
    0x8943a2ff3bc05883u64,
    0x91327f52fea5bb31u64,
    0x5e0df9b866e337dbu64,
    0x598f2f63abd2e563u64,
    0x0365f043d6bc5038u64,
    0x461a8fe29b10d7dcu64,
    0x3516573be5b357e7u64,
    0x3b8deb7f1ab21f34u64,
    0x69ef366cea5a8721u64,
    0xd828e25554ade7deu64,
    0x67ebb3483b39f3a8u64,
    0xd6f7df759404ed5fu64,
    0x212f071b4b677d3bu64,
    0xdd046c22ac5aaec0u64,
    0xfb6e1153dd1e2cb2u64,
    0x97d35e894a8c98feu64,
    0x087a6ead9f06d7f4u64,
    0x3f8ee504c8484b7bu64,
    0x0e149930e1a2f734u64,
    0x678f3eccfca9afc0u64,
    0x7ec9927f53dd6c0eu64,
    0xcf722347391ca511u64,
    0xbf909df5085b997cu64,
    0x2fc2ddf6f3d0499eu64,
    0x5fff5ebad0dd23c2u64,
    0x293372619835465du64,
    0x9f57aaf3298911b9u64,
    0xaeb705081a173fcdu64,
    0xe156d4ba23ace526u64,
    0x3b50e0e6c107fd2cu64,
    0xcc966fc46612a601u64,
    0x16364fc077ecc8f4u64,
    0x6b7a9af718b2dcd1u64,
    0x54e5f2c147a6508eu64,
    0x5a0ad4605220a294u64,
    0x45256ce34be5ae9fu64,
    0xc8c29f8dc6bed0beu64,
    0x9256d4beae5ea267u64,
    0xa046ae47b4550a60u64,
    0xd4641c4cceb20ff5u64,
    0xa61b2e4d3854df6fu64,
    0xd4865e6ebc7e904au64,
    0x20da3fbb53a7bdc5u64,
    0x6774ffd7552ee5a7u64,
    0xad132b56fc964f54u64,
    0x6711bf4f78356788u64,
    0x24e69a066dde5b9bu64,
    0xf96ee40fa2943b2au64,
    0xb592d351c9cb526cu64,
    0xd2152449a594c085u64,
    0xd9984bd710a76073u64,
    0x36b4d5ba5cce5126u64,
    0x35b99229fb8f622au64,
    0x9bf8927eccb2954cu64,
    0x750a14a82f53481bu64,
    0x8bf66928f4e81d2fu64,
    0x6e657161d698179bu64,
    0xd7c3a46668eee763u64,
    0xb60e8638af30b565u64,
    0x5af8a85ef5a2dab3u64,
    0x7ae0eef45c21a3c6u64,
    0x247aa638834fc8e1u64,
    0xd963ad160483642au64,
    0x9da66d060a24a134u64,
    0xe239bdc416f74c54u64,
    0x8a033eae9a075cbfu64,
    0x16cc89355a20e98bu64,
    0x97e8bb34eeccb3b9u64,
    0xb0bf009d6c1d9072u64,
    0x880fc10cd715a26cu64,
    0xd0946f9a9da78677u64,
    0x90c74201de237d80u64,
    0x9828a0c7591dd9f4u64,
    0xe395b5817809a0a5u64,
    0xc7f8be13aa5d1073u64,
    0xe35176e9abed6ff6u64,
    0x6ce4712469ee5ebcu64,
    0x574834d0a8e2c384u64,
    0x40fbba002ca43496u64,
    0x3fcdf103605e35e9u64,
    0x2f0dfee4107c165bu64,
    0x239da452341381d8u64,
    0xa81f632b381798d4u64,
    0xadb419068568effdu64,
    0x558bc0c2a7d867f7u64,
    0x52dc6f3dc9a41db5u64,
    0x448773b36a459f7eu64,
    0x56ebd31f3832ee5eu64,
    0x69d785db8cfc746du64,
    0xcdae6a497f74144du64,
    0xe904160454095107u64,
    0x5cd6579330a59bb5u64,
    0x8aea9509973a20b8u64,
    0xa4be1e940c9b10feu64,
    0x1e8429e083833009u64,
    0x2f9e9f3691208d5du64,
    0x75d61dd81a41c493u64,
    0x8bdb28e4e1ed77adu64,
    0x0a704178e8b6fb88u64,
    0xc85218b2b04becd8u64,
    0x3a808c043bcca15bu64,
    0xbb26aa37219ada54u64,
    0x4b6caf966ebf2377u64,
    0x1e40cb982f082e7du64,
    0xcb0cbe8cc6e98537u64,
    0x62c8169757f2edd7u64,
    0xbf044fd343ae7379u64,
    0x08265e464c84c974u64,
    0xec67f355c6e3be7bu64,
    0x05a8bf507746521cu64,
    0xcabaa1e3a903b7ebu64,
    0xc199639f0a6d64e6u64,
    0xe680c85653cd434bu64,
    0x87b9656878e9415cu64,
    0xeb06c0eec6c86120u64,
    0x4545e58c133d2e6eu64,
    0x6aa5835bdaaab17du64,
    0x843eb16de5557ab4u64,
    0x92b5cff85b46e8ecu64,
    0x246bd153f4b3cdd3u64,
    0xce8aa159cb3d0ac2u64,
    0x78a49d94a5697c01u64,
    0xbd3504584166fe64u64,
    0x2c289abea06329fau64,
    0xa278fe4bb569d106u64,
    0x385c0f22decfdeebu64,
    0xfe44c745a7a73be5u64,
    0x5107bb0bc463f317u64,
    0x9124d6a54045e715u64,
    0xe63eec2dfd7c6d40u64,
    0xb192b76d71b6eb54u64,
    0x615a80b62e26a624u64,
    0xefabd35404c0d980u64,
    0x87fc8aa76c504084u64,
    0x94bc639d5eae9ca6u64,
    0xc6d9950989667d95u64,
    0x9c3c215075ecf3c0u64,
    0xe00e45ba9edd00c7u64,
    0x8e3a077c2ded92a0u64,
    0x180c6c876d39034au64,
    0xb1e265bd20eac59au64,
    0x02b45678ee4416b8u64,
    0x3bb043529c90c9e1u64,
    0x21fa671c4945b7c6u64,
    0x80008f9b2e71fcc3u64,
    0x82799cd6ab3a64f8u64,
    0x1a2b97e4758c9e1eu64,
    0x8aa35524650f829fu64,
    0xcbebd8076ffc36c5u64,
    0x98c055f927295cb1u64,
    0xe2c23f594e6a51adu64,
    0x64bf6640836f6037u64,
    0x2b33d20ee28f2f21u64,
    0x66d74cd256720168u64,
    0xae1eac36aa9dfb46u64,
    0x2548d6fbdc1f80aau64,
    0x3d111b0cb124edb7u64,
    0x5415a20f4dd03010u64,
    0x0972a7671f829e07u64,
    0x934aa23fbd72cc08u64,
    0xc17acc9de0b7d964u64,
    0x257f7853fcd7bd60u64,
    0x9f51165472f56fb7u64,
    0xe27b0b998821ffc5u64,
    0x2466011fefecd2ebu64,
    0x837221c7e79bbf67u64,
    0x2ef0a2110e8b114cu64,
    0x311a87501740596fu64,
    0x9bac4bc3545abc17u64,
    0xd9d9bbf5416d165fu64,
    0xa456c8904170bdb0u64,
    0xb99cd546c64f029fu64,
    0x3e19552c5f768f1fu64,
    0xd76c36f3eac008bfu64,
    0x0be9b0ef2adfb2c0u64,
    0xe099d3b5276bb233u64,
    0x62221da3b51eea4au64,
    0xa86ed4e6b4290695u64,
    0xc3eacbcd8739d897u64,
    0xef853ea99ba436bbu64,
    0x1ac355d75dc033d5u64,
    0x21825ec968846814u64,
    0xc65998b8b9c4eb0bu64,
    0x94afc15f5f69de31u64,
    0xf1080f2c5e25ba12u64,
    0x06f79b8c40333b69u64,
    0x2dbe19a10d01a975u64,
    0xf90fce647d1feeeeu64,
    0xc0b7d49e9edf73d3u64,
    0x752be6837f80f5d4u64,
    0xcf5acd66c3a9d0b6u64,
    0x6450a38c37d125dau64,
    0x86ad0d334d4c4507u64,
    0xc66db22062239bf5u64,
    0x3d485a707445e378u64,
    0xcfacaeb72000ede4u64,
    0x975438f880456ba3u64,
    0x3ae8d40255dfb564u64,
    0x7af66254096884b2u64,
    0xd00c9865e49b44b3u64,
    0x5bd1e997ca6778c4u64,
    0xdf1b075126479f85u64,
    0xb697c791a08b6870u64,
    0x57f0891f1209809cu64,
    0xfc51277583fcfa13u64,
    0xf551026b5b9e139bu64,
    0xc1f3de5b21841ed2u64,
    0x79a08ea3d1636bd4u64,
    0x15fa4462b687376au64,
    0x6eaa4ce26edbf41bu64,
    0x7d21516cc8a2bd52u64,
    0xea24b5f5d9bf68e7u64,
    0xc3114cddf3ea28b6u64,
    0x9825b2c894cab544u64,
    0xbda8f3f7fd69aa4cu64,
    0x3d85ff2aa5a61469u64,
    0xb3bc58e48335081du64,
    0xf836424cc24ff4eeu64,
    0xc48fc99a2fe70eb9u64,
    0x0cd680125ea617edu64,
    0xedf22d536d0d2462u64,
    0x215fd0a92bc595a0u64,
    0xadca3d6756b0b23bu64,
    0x5e829aab51032234u64,
    0x53108ed7d1b5d786u64,
    0x465ab35de184f0e6u64,
    0x1b955103077c4560u64,
    0x91685c689987b8a8u64,
    0xa19b577112bdc5b0u64,
    0x04412ac0cb81f4e2u64,
    0x183a9cc8045a5e20u64,
    0x2338eb44df7ad60au64,
    0x31a20f803a46c84fu64,
    0x4f436ad8a60f4122u64,
    0x00b9ca0277902aa9u64,
    0x72a0b5a98cad8a67u64,
    0x824f5b6aa9efa97fu64,
    0xd6643f8981c316b2u64,
    0xe2dba038b8121e5cu64,
    0x55b7ca2255b09051u64,
    0x271e7ec9bb5f13aau64,
    0x3abd19142874af72u64,
    0x912c0e83909c1d18u64,
    0x153acbe2c4238b4du64,
    0x4b3ac62c9c6ed971u64,
    0x7ecb7de0e960d0aau64,
    0x275d29f8e36d68b8u64,
    0xd50aa91bd5296388u64,
    0xe985b86950f1f9cbu64,
    0x9a448e9dae6bacddu64,
    0x01914a2324a154d9u64,
    0xea76281fddf872cfu64,
    0xffc5207d2422046cu64,
    0xe6f259aa1c8368dcu64,
    0x210ddc8a452b04deu64,
    0xc8c97057488c76bfu64,
    0xbb7a70fdf3a9c269u64,
    0x13178ad6611ed81cu64,
    0xa0d5384e886cb836u64,
    0xb4a70407da7b7c3au64,
    0xd6e0521ade4b471au64,
    0x9ddc946daee4c44au64,
    0x84aa4acede74e8ddu64,
    0xa6a86fe717e2b81au64,
    0xd491db2e002d4d40u64,
    0xba43fe950b69541du64,
    0x34f9e6647cd4c022u64,
    0xadc60580747e012au64,
    0x405888dd46c40469u64,
    0x1d2679f87012656du64,
    0xf22e2c29901da5a9u64,
    0x0a08856a64d75f53u64,
    0x03a350ca865bb292u64,
    0xb2b822c5a0186e82u64,
    0xb1e859d43ff96cb1u64,
    0xe0006e4b01966414u64,
    0x342483d5db41ce0cu64,
    0x4014b0fc75a9baafu64,
    0xa0a3749e1fe3e398u64,
    0xed8735ad8ef74035u64,
    0x0b191fecc08f73a2u64,
    0x7d536308882b961fu64,
    0x4a3f7a3e4684c99du64,
    0x00479fa69a58cabdu64,
    0x9bb5e26da6935cf9u64,
    0x3ca49fb0ed9cbcf0u64,
    0xe3f290f1e5ad6ee6u64,
    0x668e5a4a3ff16d22u64,
    0x273f9c16b2dbbb38u64,
    0xcaf51c537915217fu64,
    0x6a24ff949ceb82c3u64,
    0xcae1f1ef4a9e28c0u64,
    0x95483787f3e099e9u64,
    0x4e9bc472786cde04u64,
    0x3cb266cae0cbd432u64,
    0xe2e40346bfd7298eu64,
    0xae961353b24eae20u64,
    0xa08d4f9112f8e560u64,
    0xcc152439b0ac08a3u64,
    0x51f9c03dc9c01a0cu64,
    0xd131e0a029ee35dbu64,
    0x1498c2618b6f4733u64,
    0x71f878d0353b0cffu64,
    0x183bacb6115b2c81u64,
    0x2c1de757d4304baau64,
    0x4d2c684106ea9b32u64,
    0x57b2db20418ec4e4u64,
    0xde2ea8083adb0d64u64,
    0x0933c0eb4e575291u64,
    0x7f222204db0a67b8u64,
    0xa528aec950e03c34u64,
    0xe5c4485956133319u64,
    0xa3ab6aa0c541de2bu64,
    0x1213b717c533979cu64,
    0x3a9709ee3ae5deceu64,
    0xe123fcc1350cbedeu64,
    0x21c9207730d33b11u64,
    0x81b745e74cf65344u64,
    0x3fc581bff8cafa9cu64,
    0x87ba1b3dbab5e305u64,
    0x20350194c8ff7b7bu64,
    0xdcc4609f738cd0f7u64,
    0xfb218717b4cc8fceu64,
    0x4a11cf7893b50264u64,
    0x85780f4a7e732c25u64,
    0xa5dff339327e7078u64,
    0xab400c1dfe73b366u64,
    0x5cf50f5d2b5c7d0bu64,
    0x1c23c7a2e0de9575u64,
    0x9310bfd66b61b5d1u64,
    0x25489c041d6b07f6u64,
    0x0c54ea7b8eb75e36u64,
    0xaa206c84fce12cdcu64,
    0x603c2e6f4abef76eu64,
    0xd2c79dce1cfe10a6u64,
    0xfe7a593f8fc15f83u64,
    0x23a378635b901a7au64,
    0x712b1cd00010536cu64,
    0xd168ab2a8a30e27au64,
    0x77fe60f41ab5f566u64,
    0x304d717f6da2f706u64,
    0xa7950be44ce5c030u64,
    0xbf19f45cbe7877d3u64,
    0x690b31994f8258dau64,
    0x20f1dcb78c3ca5eeu64,
    0xf9b677558d274c3cu64,
    0x35155a33f117aa34u64,
    0x0463f288d157c25au64,
    0x4c8440eb5956efbcu64,
    0x7debb4777a74e13fu64,
    0xcc53d716a9181647u64,
    0xc8b5a2eb9e5dca11u64,
    0x32afbbea29c8c0bau64,
    0xc7d665844ca91e6cu64,
    0xade8001949e46e20u64,
    0xacafa2fde184a14eu64,
    0x1a94d9f442f5afd6u64,
    0x3b89fe2c397d1e0eu64,
    0x79c03729d4807dc2u64,
    0x76640b24d075993bu64,
    0xcc3030cd961231c8u64,
    0xf33f066ef548ba59u64,
    0xe650f745d76565e1u64,
    0x4e7045d3c7a72acfu64,
    0x2ae92f5d43121c73u64,
    0x8c11d8cbf6e4a584u64,
    0x93a853c5a6fb50e7u64,
    0x376d5140f68cf402u64,
    0x7fc8a2decd305e8au64,
    0xb644c8bd20ac6916u64,
    0xe466f3b458b2263au64,
    0x2a28dde90deade41u64,
    0x49d682a38b190f75u64,
    0x3d8e6e8510a0a07eu64,
    0x57242239dabe7fbdu64,
    0xdf24cee742476222u64,
    0x132143633cb53b74u64,
    0x85ecc54bb9aa82e7u64,
    0xd2b73d12226ee596u64,
    0xf5e0f118147d9c5au64,
    0x60ebe31c90919002u64,
    0x6182d88ac7fb104au64,
    0xffea5a178b291430u64,
    0x926a4e0e726da7ecu64,
    0xed84ae8842ec4c7du64,
    0x1bfc4dcbf28e75c6u64,
    0x23154cdbe005d081u64,
    0x61b4afd921d071a4u64,
    0xc2437117a05c1b04u64,
    0x7ffaa7b53bcd7d2du64,
    0xf01fa550ea050e8du64,
    0xdd3a7a97c727f8c5u64,
    0x202ff086161c35a2u64,
    0x63098f64c3519be0u64,
    0x8b6b9080fcee6e2cu64,
    0x8e64f0e0bad3b0ffu64,
    0xfdd124fbd9f47baau64,
    0xfc9a8120eac4f4deu64,
    0x4227b4589cc5520au64,
    0x4a3dc7f3be4179a5u64,
    0x98a2aebc93c45b62u64,
    0xa48ae951efe36219u64,
    0xec8a8f8035e814edu64,
    0x95e6a0c1033d5e1du64,
    0xb0b41a6a52adb3e5u64,
    0xbdaf0ed0fd9f5909u64,
    0xf474564301c7213bu64,
    0xcc5a0abdd7671398u64,
    0x0ceed4d537de1343u64,
    0x58e79783d661be84u64,
    0x82f9b58a523eeebdu64,
    0x25f38588e5c2e805u64,
    0x0e855f5ce0f874ebu64,
    0xe53d644bd96dfdcdu64,
    0x4f5614e51d91aa9eu64,
    0x7a40e65fe0689640u64,
    0x920905e1fc1de44cu64,
    0x3986f140455ff6ecu64,
    0xc1c660a105050db8u64,
    0x0c99d664045b3390u64,
    0x14a8e7460f9ba7b8u64,
    0xdc13773e39d2983eu64,
    0xd4cbd4f4f016a510u64,
    0xec00ceb009762a51u64,
    0xbc18717e5f315789u64,
    0x44e0fbc21a20374eu64,
    0x77553337365a10a0u64,
    0x46cbe73bf081f5efu64,
    0x879d223238fb8588u64,
    0x2ed76c189342fce4u64,
    0x6a52fa2931f17c56u64,
    0xaa94dd9201639414u64,
    0x08c66cee5400588bu64,
    0xa48e50d8a6d8f85cu64,
    0x6c308a4fb4a6d75au64,
    0x10f12855eb725f23u64,
    0x0a4af7e54a54c05eu64,
    0xad1836b1bd44ae3au64,
    0x2cb78f5a79a68d95u64,
    0x9173fc9659e5c5e5u64,
    0x538f503fd8ec25e5u64,
    0xe557d988a0f0b5fcu64,
    0xdbd9b79f0ddbc770u64,
    0x197539f52e6a1483u64,
    0xaf5546fdeefdbb80u64,
    0x7a5ccee4a4b0bb30u64,
    0x4de3f2a108e673dau64,
    0xf222629a33d342b5u64,
    0xd4119768b71151afu64,
    0xc1473cabd74275c7u64,
    0x37987fab50b6a08eu64,
    0x1557f3f97aeafb39u64,
    0x846a681263a753f8u64,
    0xf135393105f16da9u64,
    0x7cb14577c1c96493u64,
    0x29c08567b365d088u64,
    0xf65e476829855207u64,
    0x2bb66190b0589d8bu64,
    0x334afbeab5fde105u64,
    0x06be417fb2f4d2c6u64,
    0x579274d2719cb915u64,
    0xa849635cef43c8feu64,
    0x76b6c0d944131c14u64,
    0xd89b3f56bc77faf8u64,
    0x4d4917666c97a18bu64,
    0x4f5fc69b30b119c9u64,
    0xdc35c0e4b1c0ba4au64,
    0x45815081b94d1f7au64,
    0xb6803326d20254e8u64,
    0x896a95118af5d879u64,
    0x541aad61b2715a13u64,
    0xebbba8eb36c6e5b0u64,
    0xaeb7fdd53512efe0u64,
    0xbe6eabe388fbd437u64,
    0x39d468522c9a1578u64,
    0x59be957699b964fcu64,
    0xc7e10451f916c4c7u64,
    0x9aa1b47ef1a7cddbu64,
    0x7d613f6ddfba6e2bu64,
    0x8877e676da316ef2u64,
    0x39f3618e4f7a622fu64,
    0x248e51d7ec59fa3fu64,
    0xd8a85f3c24eea7cau64,
    0x086822f2794230c8u64,
    0xaeacd80d8973e1ceu64,
    0x3940bef8448d6fd6u64,
    0x5b3d573be430545du64,
    0x2a0269b842f92211u64,
    0x67f6cef5674be3a2u64,
    0x8afacbdaae9e937eu64,
    0x5f09d81d782c1722u64,
    0x51d4f5458e70f4acu64,
    0xe775c3ae6f4ad959u64,
    0xf6f195978faa5893u64,
    0xd060650adabee18bu64,
    0x60f9e77a8e0179f8u64,
    0xd5bf7116b63f05ebu64,
    0x0e90a6e36a906846u64,
    0xcbf78101940b2e85u64,
    0x924ff21ea192314au64,
    0x5fb8fd40e3a9d58bu64,
    0xc8c77ddab415842eu64,
    0x1d4ad13ac639fffcu64,
    0x24f9e1363d0e73a1u64,
    0x589d8ec71b86f1beu64,
    0x47dd041ef026381du64,
    0x3fe6bda50fce229cu64,
    0x54a8bc27d4f3f099u64,
    0xe72d7aaa97b735cau64,
    0xb84d56449a372f35u64,
    0x4e1a886cdea27bdbu64,
    0xb82a42b0a307709fu64,
    0x2c83abc55b0de752u64,
    0xe52d278efac9c03cu64,
    0x2f930595ad80e635u64,
    0x56c37aa975251064u64,
    0xdb1514ca87f45740u64,
    0x26971efdac0a852du64,
    0x025ccba2c6605fb7u64,
    0x5ccf739c18356995u64,
    0x8c56cdd844b9cee4u64,
    0xd69f5aa9ef969210u64,
    0x50cea651833a0ec0u64,
    0xa028f5281139dcc9u64,
    0xbb8c6e98777aed5cu64,
    0x9150f672d75b9f0du64,
    0x3edce4602787e104u64,
    0xccda3d38368470bcu64,
    0x343ea5f0c3ab5934u64,
    0x6c31c2fba39a39bcu64,
    0xa15289684c59c8d2u64,
    0x9a9603061b04fabbu64,
    0x4ada004513406a4fu64,
    0x09cfa9f69808d1c0u64,
    0xd974dcc839155c98u64,
    0xe37803f15dbf8461u64,
    0x0df53d47957b3006u64,
    0x05d3ccc4aa14b496u64,
    0x478d9e9aa2cadca5u64,
    0xac8caf224f5ca281u64,
    0x86bf665a7d53778fu64,
    0x6e209a5fca434ca7u64,
    0x3edd3bc0ac31632fu64,
    0xe8a2b500ffd83164u64,
    0x1717067f697eb6a2u64,
    0x7574c99aaab6b7a5u64,
    0xbd7589f9e0414296u64,
    0x95e2cf786658aa35u64,
    0xabc854dac01cfe58u64,
    0x341954aac4cd0815u64,
    0x027ca50f016c55e8u64,
    0x3eb0a80d351e05bau64,
    0xd17372c328025a54u64,
    0xb314c3087fe44629u64,
    0xa556d608e77ac7a6u64,
    0x8e5330c10b93e046u64,
    0x429b0e62699fc026u64,
    0x06685e98fb3b03d2u64,
    0xf838fd7a860212c6u64,
    0x71e4f4c99884d2ecu64,
    0xed5baae7218ef2ecu64,
    0xe2d4212d9cf31813u64,
    0x08a3c9dad580c1fau64,
    0xb60cf612de69b5f6u64,
    0x17489f45ceb8ff3cu64,
    0xa3a4374fe833d599u64,
    0x2845f2ebb917b130u64,
    0x99fedc96abe04096u64,
    0x1df3ec88e624b33fu64,
    0x9d04255ebc6ad089u64,
    0xf0c603345ae4d55bu64,
    0xa8438c807a38b9ddu64,
    0x2a9c1cb2f65eb720u64,
    0x3f5c4bfaffaf079au64,
    0xecf5e88a98fc4e71u64,
    0xbdca0821c4292eeau64,
    0xa782cb2e848129a5u64,
    0x783638c556440464u64,
    0x09ecf4ab3d0347b6u64,
    0x3fbf52b946a06264u64,
    0xad6b67d06ce2651cu64,
    0x0528606a6938c6f8u64,
    0xca8a26e21869ea39u64,
    0x58af39057db7692au64,
    0xd7c175677159d07au64,
    0x854c2f005e2b90b1u64,
    0xdfdee7c57f42e59du64,
    0x6d6cd4aa8fc3284au64,
    0x15e714de3f2e60bfu64,
    0xbdb8cbb3422ce24bu64,
    0x9101cffcfbc2531au64,
    0x02430f68b886a831u64,
    0x682b7deb969dae9du64,
    0xfd88dcc349bec133u64,
    0x54c8831b3453f6c4u64,
    0x70ed3b1ea684f122u64,
    0x5ee99654de07c45au64,
    0x35e628d027f9981fu64,
    0x77eaf786de54a30cu64,
    0xb7d723a05c7364ebu64,
    0x2a4ea8bccab707f3u64,
    0x529f0276deccc6dfu64,
    0xc20d1474776fc285u64,
    0xf3262f5b88cbc9d3u64,
    0x41486c06694d6583u64,
    0x87c1db3f8a5fb573u64,
    0xb4321eed5f974be9u64,
    0xa80953cda57d7ad8u64,
    0x4e1bfc44efca1de5u64,
    0x40c24ad8c996fe5fu64,
    0x83165eeacd9ba45cu64,
    0xb2d1d2c611bff118u64,
    0x3723963d63385d96u64,
    0xf5a587a5c5b2043cu64,
    0xd7f2157e386b33f1u64,
    0x2053c57ef8051a8du64,
    0x123616777af47fddu64,
    0xd2b6bd9bbb110690u64,
    0x5a242d096ee6306cu64,
    0xc30eca7eb20b31feu64,
    0xb9350cddcb9a222fu64,
    0x4743806c451489e0u64,
    0xac445c88b85c6247u64,
    0xec9dbb4fbd0e0c32u64,
    0x3e42e5f0638d6bceu64,
    0x27e0a606cf212704u64,
    0x2f1da6eb37a6e7f9u64,
    0x5bf03f0330198e68u64,
    0x6621fa8463212db1u64,
    0x38b686616cbe95bbu64,
    0x5510ef7c6ae03b73u64,
    0xd8ca5e88067d4205u64,
    0xa73a67157a66bea9u64,
    0xdc556d97bade0680u64,
    0x285fcc5c81c07debu64,
    0x0d0dafceb059b98du64,
    0x63c97ba69693b7c2u64,
    0xdb91fd578c381f9du64,
    0x2ede500aa4954ddeu64,
    0x14499cbdfb593ad6u64,
    0x6db72534690d74e8u64,
    0x72ea2a9f02d2317fu64,
    0xcd8e52fba5deab52u64,
    0xa2137af8c57b6279u64,
    0xfa9561b3d2127dcdu64,
    0x99f174c7989c764au64,
    0xa6a176457885ae59u64,
    0x27a7b9734c0bb489u64,
    0xf6465fa4d905bb07u64,
    0x214522e4393870adu64,
    0xb463885664b813dcu64,
    0x295218d708b04e88u64,
    0x8aca5a337c579b7eu64,
    0x1b89446e2ed73df8u64,
    0xab8da4bf95646497u64,
    0x9c1dd3b82e9f2e98u64,
    0xebb752e703100e06u64,
    0x0decc242443e6f6du64,
    0xf780180cf84dba60u64,
    0xec4eab9ab9ecc3efu64,
    0xebd6b9e619f97349u64,
    0x1cb65ced9de73ed5u64,
    0x4ae4e0ad8ace67aeu64,
    0x65213fc823013c8eu64,
    0x1b6c45c466676be9u64,
    0x9058254aac43b254u64,
    0xa73b15ef0d298557u64,
    0x6a52e2f2e8274433u64,
    0x15a42be5d8a526e4u64,
    0xc78dac6d791d037fu64,
    0xc5c7ee04368b2a99u64,
    0xabf3b4ad3f40a88du64,
    0xaba9da6f27fd9438u64,
    0x82fed7e2321a5dacu64,
    0x34724c1ee39f535du64,
    0x74fd13aba19696afu64,
    0x43e644c582649fc8u64,
    0x6eed5739325c478au64,
    0xc1054f9959ccb8b9u64,
    0xdd33addd43ce65c8u64,
    0x0be6e3a219c1d87fu64,
    0xe768a7e3ed454bf2u64,
    0x755a0d2ed90d9fb4u64,
    0x1ecf834debf6a312u64,
    0x136bb9b0d8daa7b5u64,
    0xbb8b44627c57b5fdu64,
    0x0eeaab44566d624fu64,
    0xa86c40dc37bdd309u64,
    0xdf1d7dc229dbfccfu64,
    0xec3e4bbfb23a7457u64,
    0x344cca42591d36c2u64,
    0x9bc1a7bf04c21bdfu64,
    0x396cfb8c5883112bu64,
    0x7b067e5f34d777d5u64,
    0xb313f1fd14337904u64,
    0xe1a4a6da4d03cd2du64,
    0xf0190bfc79ec283bu64,
    0x05589d19c0a0a143u64,
    0xb89bed2df7007a8eu64,
    0x83cf1ae2e97778ecu64,
    0xb4dd761623f66ff1u64,
    0xb0f607aa96f29280u64,
    0x003babfc4e0c9c62u64,
    0xc4f0ba54ccb711a3u64,
    0x7fc8b966de50655cu64,
    0xf5d1476c3992f6cdu64,
    0x695f36972eb23747u64,
    0xa787c23867d6c1e3u64,
    0xc9bb3304d723e191u64,
    0xe9f9e364f5549663u64,
    0xa00aa8dc87541658u64,
    0xcc00e8b64b51f0f1u64,
    0xdd8d3e21055d32cdu64,
    0xbc122aa51ddbc945u64,
    0x0a4480148e3a87beu64,
    0x06a06a7d3621a8c4u64,
    0xf65e21280296e5dau64,
    0xa0ca51f33c7a9d55u64,
    0x54e873b8a90c47b9u64,
    0x75b237f624edd12fu64,
    0xa98a487346a2a3b0u64,
    0x7fe5f1c8d438c3abu64,
    0x7260e24d86e8c9e6u64,
    0xe882574a935d7460u64,
    0xf2c99f890eb4475du64,
    0xb547e19fbcf21922u64,
    0x35caeb4c4722a4beu64,
    0xdf9dc0388188808au64,
    0xc0f609ee9a2a9027u64,
    0xb2879d8f7799de34u64,
    0xecff7f1ae697a35bu64,
    0xe6dae6b82f8ebae0u64,
    0xd9fa6c8906fa93f1u64,
    0x358c13397d9c7209u64,
    0x84069e150dae4180u64,
    0x01a9d96f6141d7c3u64,
    0x5468e88db7b8d5dcu64,
    0x40b26306ed6024ccu64,
    0xd471cfa638eb15d8u64,
    0xba2c88f91bfe6c3cu64,
    0xed38d9034d43252fu64,
    0x98f892b4d5eb753eu64,
    0xdb1e6a70d6306e7eu64,
    0x6b987cf8b099acadu64,
    0xc82e13d39e0b287au64,
    0xf6b2be3183a04d8fu64,
    0xe6e03689509223bfu64,
    0x785dabfec3762cc4u64,
    0x8166ff6b750038f6u64,
    0x5d4783ca90239369u64,
    0x1a93c2be64d4e51du64,
    0xb4989b3fe4b394b2u64,
    0xbe931dec82197231u64,
    0x2674d8a7975e1f4eu64,
    0x251975f0b8848495u64,
    0x65499b172a827f9bu64,
    0x96519eee067f19e8u64,
    0x659bc299539c6f25u64,
    0x39b6d57dcdb08423u64,
    0xccd5c55d5f94f74eu64,
    0x0c37f8cde655c435u64,
    0x3f95e43542d2a811u64,
    0xab6289b84d44e984u64,
    0x154fb28cb7b0c137u64,
    0x08003a912a2657ecu64,
    0xcb90d843d6fdbb82u64,
    0x9575d97042031c3bu64,
    0xd107cab69c63f092u64,
    0xc65f5755d9eb5740u64,
    0xe973497c53a6c38fu64,
    0xf447458dfe1ed1d7u64,
    0x31e46747c3d1f1e2u64,
    0x1a047c537bb690aau64,
    0xe24a03929a82ea84u64,
    0xd82dbdb7c5754c75u64,
    0x40030a9e23aa03a3u64,
    0x7b3e526ba0001c0cu64,
    0x3f3b2a93893671b7u64,
    0xb569f70fb6696f81u64,
    0xf020226d3237503cu64,
    0x6ccadc4c858b4812u64,
    0x6b83f592aa372ba1u64,
    0xbb7a1df78b5b6ec3u64,
    0xb24879f307929d39u64,
    0xa44c921ffef45bdau64,
    0x6dfc19a65ace7d2bu64,
    0xd6532bedaec41b97u64,
    0x895050fe50f543b7u64,
    0x9cea0bcd63d8d0d5u64,
    0x0ea32236283a3a46u64,
    0x4404ba737bf1147cu64,
    0x23955cc2282ae620u64,
    0x3293facbb7a168eeu64,
    0xe4b4c39585ef71c0u64,
    0x81423c07e65adad1u64,
    0x7586477ac1221719u64,
    0xac73647fcfedc4eau64,
    0xe1c504f3defbfc53u64,
    0xd7563430219f92dcu64,
    0xbe73b3e4bfa165bau64,
    0x55013e31249b5f10u64,
    0x66650e96e489e2ffu64,
    0x4dfcb7900420720du64,
    0x9828597e671582feu64,
    0xf642fb8693730e0au64,
    0x74cf59689b7f709bu64,
    0x1ba56d143e371f82u64,
    0xc9c9dea0b687747bu64,
    0x58b3309b8170740cu64,
    0xfe1cacd4cb4202a7u64,
    0xc69ed92920130accu64,
    0xfe810561a2a98854u64,
    0xfb4ed89da3abfe34u64,
    0x3e8047f50f98ed65u64,
    0xb1a7ec0648337cf1u64,
    0x186ab04a000ffe6cu64,
    0xe34bc1ff59e75833u64,
    0xc50c630f2fad0729u64,
    0xf66b7c06347ce7b3u64,
    0xc04fb3dacf7a9adcu64,
    0x69f7f13964b4f82bu64,
    0x0b7ec65ffc2f2eedu64,
    0xd861850ecff8b711u64,
    0x8aa5b9e13e4f95a8u64,
    0xd73efb19e14226d8u64,
    0x4a95233a5693e22au64,
    0x029b960bb72da90bu64,
    0xa257ab9c8d269bafu64,
    0x5f5967a794c427f3u64,
    0x1f69ec73a37a35e4u64,
    0xcaf4e5764d17efabu64,
    0x21d687b32e7e54e2u64,
    0x62233e91717de6d4u64,
    0x4e587b200a2dc704u64,
    0x6d2ef5ef5ac3a142u64,
    0x6af158f6cf8d23b7u64,
    0xf2996e2f5f6bcb57u64,
    0xa7e99ca0834575ebu64,
    0x2872a3e753893af0u64,
    0x85f5d2fa9d3491ddu64,
    0xd501ae14f28e9b02u64,
    0xbc4856ff58678145u64,
    0xc1bbc557f7e4b967u64,
    0xf8994976f7111e32u64,
    0xda380e3058d58a66u64,
    0x51bde09c572cd41cu64,
    0xa5aa948cb0f08bf2u64,
    0x4d28677ee2addff3u64,
    0xe6a5f37d29a5e2c4u64,
    0xcab7382b591f1b2fu64,
    0x1c3eeefc5e80e5b2u64,
    0xba809b8630d5b333u64,
    0xab6033436106dff1u64,
    0x0fcfda00a2df7582u64,
    0x78fa613231dab129u64,
    0x454fbd346706e28fu64,
    0x6fededeaf06c2a7cu64,
    0xfa681fad3c63d436u64,
    0x99eb68c5cf1229fau64,
    0x2b1ce20b9f018221u64,
    0x83373a5a2f1e120fu64,
    0xc44066ec845cdd9cu64,
    0xe01ec5650effe0efu64,
    0xbf9965dc6e7eefb3u64,
    0x821a82e8d445ec14u64,
    0x089eace220b6e786u64,
    0xa3fb01ed5bddae3du64,
    0x1cb87c0b48fd2c35u64,
    0x9a2cc4df8494ba99u64,
    0x0b79baa4ce38dcdeu64,
    0x70026e9382805605u64,
    0x0e100ea5adb68272u64,
    0x971e938a1d90ff77u64,
    0xe32ed01d314b227au64,
    0x147df51df231631bu64,
    0x8801c04653b12f00u64,
    0x714b6fd7487cdfafu64,
    0x493daa3229d74f30u64,
    0x0e8ee02c4527fc0cu64,
    0xd32a95cb65f1fd77u64,
    0x4befb58afee47b15u64,
    0xee8d11458c47cb26u64,
    0xb52ade928ba5365bu64,
    0xcc9c1cda01cb0ee3u64,
    0xc987cefe0ac39c31u64,
    0x67b74d0281aeaa6du64,
    0xa67c5bbfb3abac0cu64,
    0x035c54358954bd7cu64,
    0x74d61070ac52a463u64,
    0x6dde8a787103d6ceu64,
    0xc82ef638075bd765u64,
    0x63aeeae23bf85195u64,
    0xb5116be9af6fd846u64,
    0x8889b1897387dce4u64,
    0x9520ed1e9beb78f1u64,
    0xd8a53b1a6726fbd3u64,
    0x3bbc3ea95aa7f058u64,
    0x2d0896a73647f06cu64,
    0xbafdedcc2b410bc6u64,
    0x24769615e128c8a1u64,
    0x52a2092901e211d9u64,
    0x07e0a5df0abd7bdau64,
    0x9241ba7af22f8c09u64,
    0xb821659be01100e1u64,
    0x087f12ace6a913f1u64,
    0x2cc154384890cf2eu64,
    0x332212fd0d4c93b0u64,
    0x1ad3986a5eceabe5u64,
    0x42cde963f0153516u64,
    0x71809460427bc207u64,
    0x41e21887ae6c9187u64,
    0x299a3e69625ea69eu64,
    0x733e601ae456a4aeu64,
    0x909f5ba7f04b5cf6u64,
    0x450c158aa4bd9e77u64,
    0x7fdb09b1511e0414u64,
    0x4753fa7b2dde84f2u64,
    0xb7d6144f90015e15u64,
    0xd0140299117f3504u64,
    0x4114b95f6e3cab17u64,
    0x60ac28dcd62a4913u64,
    0x0f296a2620172cd8u64,
    0x04e31164c35e4f15u64,
    0xe466c33a2b4de535u64,
    0x5c6d64a8002c13a0u64,
    0xdd066e73f4df1124u64,
    0x86c836c4526eadf8u64,
    0x1a62c12721fa52edu64,
    0x085d0e450c57f928u64,
    0x13e74038cb0641a0u64,
    0xe154bccdb6c3d0a6u64,
    0x1da4d77027d4f922u64,
    0xbc1e3d9e3047cb1du64,
    0x4dff95b959371d49u64,
    0xfd9d55ff33ac5c45u64,
    0x16b318d74e485bd3u64,
    0xa518062f2c0ccefau64,
    0xd370f45ac2dba449u64,
    0xb8655a77918b7aedu64,
    0x23a7bd7c80ad5a0au64,
    0xeb849fa8a71305a5u64,
    0x8f8793d12dfe840au64,
    0xf3b0e840805374adu64,
    0xdc2051931279bf13u64,
    0xff26d41edeb16717u64,
    0x717ed99b9e4d4a87u64,
    0x463f8fa61c9e06cdu64,
    0x51f6b0e5af93bcefu64,
    0xb22964cc704c363cu64,
    0x7d4d49d1973b14e3u64,
    0x836ee4a0f1693d56u64,
    0x6741d42b00c3c409u64,
    0xd0a54661e926d116u64,
    0x68f9fa3fe742cd3eu64,
    0xee04be4df06e52d1u64,
    0x2a1d652db6466c28u64,
    0x0b5005e765c8a126u64,
    0x3af7e4d59e46cbc4u64,
    0x1061dd78bb1d5a4du64,
    0xeebb9ebc8a7de2a6u64,
    0x53d2572e2b09100du64,
    0x660bc66151156f08u64,
    0xec9c43343637b7a5u64,
    0x783c0d74aec411e0u64,
    0x31465dd042ba246eu64,
    0x2737469dac0a7f91u64,
    0x2f02708242092a01u64,
    0xa8cdf652345ff5efu64,
    0xfb5eb1c305ef2b18u64,
    0x822e768eb6d0f2b3u64,
    0x0584b80f51416c9au64,
    0x39973817a390d296u64,
    0xc2b47076deea9063u64,
    0xd0d3a22e8b43e0a0u64,
    0x86887af8f86f31c3u64,
    0x62e5cc82d2c63e7bu64,
    0x44be1b892ca74dd9u64,
    0xe23c626b617241c0u64,
    0x49a299a7b01afc26u64,
    0xd527fe50afef379bu64,
    0x71ed760412001016u64,
    0x2dbdcc72f2c0c73fu64,
    0x4cb9b1b8637d9a4du64,
    0x0b2c99130ded34f9u64,
    0x247681315a7c78f2u64,
    0x0680cb501629e2e6u64,
    0xd810f1f4c5df4862u64,
    0xb62be7d66825e997u64,
    0x3e3e69f9beb821deu64,
    0x241f00d917a2522cu64,
    0xdbba9d5d888bbc38u64,
    0xcc182794ee342ca8u64,
    0xcc70c7d63271428du64,
    0xacc71aeaec99408du64,
    0x18f1c6412b721f8au64,
    0xb8b5627cc9bc3b04u64,
    0x673f5e52062c9fd5u64,
    0x3568f9f6079ad51bu64,
    0x91de1a66825abc84u64,
    0xe9faf905f05c45ddu64,
    0x7c47c21ac68426d5u64,
    0xb46b15dded133f53u64,
    0xc23d2946a8c26081u64,
    0xd83aedd533bd02b1u64,
    0x6a2272a1630fd858u64,
    0xfb65fe228b2f1733u64,
    0x8b75bd52fe553914u64,
    0x4293b97221c83080u64,
    0xeb99094b46ede87au64,
    0x74696260f6de248au64,
    0xc691d150e607af4au64,
    0x7027bacca6f4c640u64,
    0x1904af346cee368au64,
    0x3748c01d0ff56191u64,
    0x96a17ac1e1d1052fu64,
    0xae9e099144bd3e8fu64,
    0xfe54da7d995e0131u64,
    0x536f42e0ee714cb8u64,
    0x6e04f25c4505398fu64,
    0x0e6b5f4e8e3034a9u64,
    0x6c3d6430836f7ad2u64,
    0x12bcb3a85ad65dc3u64,
    0x311f9394d74e7600u64,
    0x3561bc69bca2469au64,
    0xb30d97af5842a231u64,
    0x21e9e49f33b5b216u64,
    0xf8f23c36e2468b1eu64,
    0x5809dde30e8070b5u64,
    0xadae4cb521938358u64,
    0xf2f5762c824cc44eu64,
    0xd01d250dc3b4bf16u64,
    0x624308ed0240d645u64,
    0xab486ce83a00c4b7u64,
    0xd617a2526047c312u64,
    0x4ccbdc9efe62f267u64,
    0x7fac014edf76ab83u64,
    0x4e13b5f998f5a48cu64,
    0x6dbf4b5770a4db29u64,
    0x6205bcf02398dee5u64,
    0xfc530f9ae003b4c9u64,
    0x5dccf957e037ca84u64,
    0xaa16bac64db488ceu64,
    0x4aea65638f397500u64,
    0xbe2f0c33ab678f07u64,
    0x14546a6ef50b119fu64,
    0x408f2dba6e3d4440u64,
    0xfa53119f50771b44u64,
    0xafdf341ff637b574u64,
    0xa2f51c784f01ae5au64,
    0xfbf63b7ba3bb9d9eu64,
    0x015d76863934d421u64,
    0x9d347cb0b7a9f886u64,
    0x16d200de8661d508u64,
    0xa992136cf3c69bf3u64,
    0xb75dde40edf78dedu64,
    0xca012af5074c5a24u64,
    0xcafda72b8c324482u64,
    0x9fc5bf482e8f738du64,
    0x25ba4c5770892128u64,
    0xe3b2440154d4031bu64,
    0x8eb80f8b95e35901u64,
    0xe2bde6ab4483e794u64,
    0x622cc2da7f2bc101u64,
    0xa62f7b014c1245d0u64,
    0x0e5590dce6978b48u64,
    0x83a520f63d11ead8u64,
    0x39ed719a4275e217u64,
    0xa483721f17016235u64,
    0xe54d035180118007u64,
    0xaee0f2765088d3ecu64,
    0xb845687323cddb81u64,
    0xfdccf3378ffcfeffu64,
    0x17ee70a0a5398b7du64,
    0xe5d521e58719b872u64,
    0x2b0975a246824611u64,
    0x2ef6f55f960d0c17u64,
    0x0b41bac5b84a4d5du64,
    0xb8b1c3349efc43b6u64,
    0xcf7bc932fd845dd5u64,
    0xa9b914389560824eu64,
    0xd98c7a53de99c8f4u64,
    0x4cc6a4aadbae1c7eu64,
    0x4a17867437c0e9e0u64,
    0xf1604e15f5d63456u64,
    0xca01455574039d8au64,
    0x33e01b5100572e22u64,
    0xf3c25c833d1d6e49u64,
    0xe5df8df141b524efu64,
    0x6a161fbd37f3c306u64,
    0x612b3bafd74968d8u64,
    0xfee74ee4f60e2c71u64,
    0xdda7f631b67c165eu64,
    0x9f01c6677e0eeed6u64,
    0x70233bdbc8a3cd53u64,
    0xbef9c72d97d3358au64,
    0x06c9113cd1d3c725u64,
    0x1de455ab8c7d850fu64,
    0x2a04cbd36215d78du64,
    0xe4df38bb6f501356u64,
    0xdfda3cdfcca10feeu64,
    0xc1139c7bf1d6b9d1u64,
    0x2e4b812a51be9ce2u64,
    0xfac1ef7d6488cb2eu64,
    0xd12a3581d63756c9u64,
    0xa912fd177ca746efu64,
    0xdab5e308b631b15eu64,
    0x11cbd2cef0b7bf44u64,
    0x36b8762a41a88b98u64,
    0x4fb14c4b1e9fd9cdu64,
    0x1751f3760596a859u64,
    0xbc48755ea10b322au64,
    0x13749255773c21c8u64,
    0xfbcfd042255a9d89u64,
    0xd311a2f86decc442u64,
    0xa6b03b285ffef093u64,
    0x9e481e985bf9bb42u64,
    0x0c504fe712c8855eu64,
    0x5567ab7ef06c29b9u64,
    0x5a19ee7e1f52e559u64,
    0x1165ed18416278a2u64,
    0x08abb3d5bf3b3b47u64,
    0x016b7fa09a0829e1u64,
    0x0a964d20dca91bc1u64,
    0xac6392cd8f3c22a7u64,
    0x3db089da8f0b56e1u64,
    0x4f064b289b11f7f4u64,
    0x5bf1466a1abf73fcu64,
    0x2198da99798a20ecu64,
    0x64e98c05a5e6c094u64,
    0x46a771f3dff7de19u64,
    0x0f5e138349460defu64,
    0x8f495b2af499f1d7u64,
    0x7d2c3c49a1b964f2u64,
    0x74004a1cad2b4573u64,
    0x948802b1755d2e34u64,
    0x0d13f4b4393717cfu64,
    0x92cf15ae47351c60u64,
    0xdc49fe796020a57cu64,
    0x708e7eab3cad2162u64,
    0x7e2c6b6e4afe2fb2u64,
    0x7e084410e9ffeaf5u64,
    0xec907668d770ae92u64,
    0x25662b041d21618au64,
    0x80dac3f052ce2487u64,
    0x75f42374fa78fca0u64,
    0x2c882fee641ac3d0u64,
    0x9c249ea4db410203u64,
    0xfbc4b652bf58b471u64,
    0x3ec3f7e58325818eu64,
    0x7a69e92045e9181fu64,
    0x5cb1f553992b2568u64,
    0xe17d5d243dd63ae5u64,
    0x41939ee77fbc4eccu64,
    0x0c5765e414ef828eu64,
    0xd563e14dd82e01dfu64,
    0xeade352fbcd8741du64,
    0x04690b7757cbe729u64,
    0xbbc86efb9a305ddfu64,
    0xbd0075f17f04379du64,
    0x70a7d3114b38adceu64,
    0x50da4d9da706d05fu64,
    0x677e1761b95b0763u64,
    0xf1a71474deaafda8u64,
    0x34e9a39a852f1916u64,
    0x5fdc168d9d2d5873u64,
    0x208044f7adb25109u64,
    0x2f2513b0cfdf68dcu64,
    0x04b33c07e180b1b9u64,
    0x49381a575f96af5au64,
    0x7ea229823c0a7ab2u64,
    0xcf2e6bf923375132u64,
    0x428c0f0510d26e8eu64,
    0xfd2ba028f65e78deu64,
    0x910e48f65bed86c9u64,
    0x9e01a005fdda193eu64,
    0x6234cb83811aaf35u64,
    0xf6aea21e2f273ac1u64,
    0xb75b3a16b9dcfe11u64,
    0xa5f16beb9cdd5bf7u64,
    0xa62f3a5e37361b0bu64,
    0xece12da37f8dcb21u64,
    0x37a7de5f54b2f6beu64,
    0x8c571325593bc4bcu64,
    0xb78e9fce50966561u64,
    0x9222c564512ba31cu64,
    0xee405e44982472c7u64,
    0xe26d96ad66719594u64,
    0x089115b19f142ae9u64,
    0x675095cf4144b9b6u64,
    0x5b4a46be7664697cu64,
    0x6493cc25e5b59fb5u64,
    0x8a7ee39e70e45c72u64,
    0x71abbd253e114af8u64,
    0xfaf9b526a2e49055u64,
    0x3a773f1147d2b249u64,
    0x775449c8b6a66ad5u64,
    0xf9e818190ba62f5au64,
    0x9ccc4e653037370bu64,
    0x12a5b51d97a3436eu64,
    0x57b0c3b71997a830u64,
    0x42e2d4049a80a764u64,
    0x364fce6cb312caeau64,
    0xac08fe7ae728d77du64,
    0x459037c8f3e79253u64,
    0x6e8077a579aebf90u64,
    0xc5ec8d092c71d565u64,
    0xa7c84b4579496a8du64,
    0x344b78893d25fa79u64,
    0xef3423704e9b3074u64,
    0x023ba4fb1cd689ecu64,
    0x4613eefea2266038u64,
    0x0e604cd51cd73e39u64,
    0xacad3a719c755f1fu64,
    0xfa625a65c2ac36fcu64,
    0x58566b15f817bd9du64,
    0x3182c3d1752585bdu64,
    0x7a2e74be453ce1c1u64,
    0x23f6cd8ba5c9ae76u64,
    0x9b500981cf4731a7u64,
    0x8974c9ad97b43b32u64,
    0xf50c0c74ce6a2c8fu64,
    0xaaed36db7211f932u64,
    0xd398c06919e7af8du64,
    0xc227423af6902f80u64,
    0x59d2864e133b4ae7u64,
    0x900b594d0337e9d5u64,
    0x5f0b47db67119f9bu64,
    0xb1a25e4f0341a03cu64,
    0xe69526beee98c8b0u64,
    0x4a65880f239ee2e0u64,
    0xf5971a9a1a3cea31u64,
    0x8235d0fc4e0012dbu64,
    0x28e454a7c6a63006u64,
    0x88638c83205de40au64,
    0x6bfa8af29556e10au64,
    0xfd71f9939703392au64,
    0x2debba9803e5bf14u64,
    0xd4cc298af46132d0u64,
    0xa2e6e4a52f834ac0u64,
    0x7067c77aa3f3d2fbu64,
    0xc339a79cde07ba41u64,
    0x8c5aa925ecac324bu64,
    0x050904dff270148du64,
    0xc9b16cd1cb7ec122u64,
    0xdeacc0a2c8507e90u64,
    0x585a715dc7ba3e42u64,
    0x6e7d0146f853ee54u64,
    0xb9c2e4e70908bda1u64,
    0x6c0b2367a7a3b842u64,
    0x3acc0d83b2039d82u64,
    0x9028470d2482d4e1u64,
    0xe602c37d8a7ced20u64,
    0x26c04bf99c3061beu64,
    0x1091c8bca19cdf6bu64,
    0x997c4b1d90aece6du64,
    0xb729f1e04a40bda0u64,
    0x5e43fdcac8b7eeb4u64,
    0xa623e6def2f8b8ccu64,
    0xdb20b454a8bc5d66u64,
    0x736caec82746c671u64,
    0x8ba881506179477eu64,
    0xd34cf89fc8cc33f1u64,
    0x3d0618c80f3fed6eu64,
    0x0ceb56114d3e9d63u64,
    0x46d1b7336cbbf8c7u64,
    0x0a6e980f110fc7fbu64,
    0xaa60b721c4953ea2u64,
    0xb4ea453f1ee8d539u64,
    0xd1d27213bef7bb70u64,
    0x5fce2a65b1202b70u64,
    0x4e0a6506ea9c131eu64,
    0xbc52c1d2b4879964u64,
    0x18f437d65ca138b0u64,
    0xc56934213b017614u64,
    0x51cddb915f0fa2bfu64,
    0x31fb566da0719aeeu64,
    0x0de51b890b922e7cu64,
    0xbfd13c71adc0e5f8u64,
    0x0b17dada46831928u64,
    0xd7380bc98bc2c2b5u64,
    0xec8e50d1fe145827u64,
    0xb0912cf6a2f6dbd2u64,
    0x47936d9101f8a209u64,
    0xbb33d27b9d30dcdbu64,
    0x601289efe18a3f4au64,
    0x4a996acbab68e28du64,
    0x242b25a5291e479cu64,
    0xd58fa288fbf9317bu64,
    0x1674e14d7abb58e7u64,
    0xbd3495e63ccb5621u64,
    0x20f41afec325a771u64,
    0x40cc45cda0f83e9eu64,
    0x79671f9f99ba92cau64,
    0xaa034bc0f2a47da6u64,
    0x6c7fe5499840416cu64,
    0x6cfa522fc7d6076eu64,
    0x4abfdf990f74b531u64,
    0x1281fa5b044caca4u64,
    0xe91839cad5b7e50du64,
    0x2b3228a5f25cacaau64,
    0xeb1960292ed7bcaeu64,
    0xc193a083b2123faeu64,
    0xd660064c5ea700f0u64,
    0x6a559e0a8fe6425bu64,
    0x5918c64e439b904au64,
    0x4d9828768b7a0830u64,
    0xc1df121543585895u64,
    0xf596e2c33af316c6u64,
    0xcfdb1f7608b037ebu64,
    0x978799cad0a37b86u64,
    0xd8f3fdf2793a6463u64,
    0x0d4b2e32ded8dea2u64,
    0x730ca56f484376f8u64,
    0x0396efae50c6394fu64,
    0x3eae6c4f8d7cdfe8u64,
    0x6a80c3017794fa8cu64,
    0x5f27b4e9af6d6f3bu64,
    0x9fe4f072c7d9bd01u64,
    0xf0128a616c4a4a63u64,
    0xb5e1912efdbec9b8u64,
    0x0c5a77877f793008u64,
    0x45ae336c5d53cebeu64,
    0xd942835cb6a25d85u64,
    0x925a4af9709b3debu64,
    0x1a95b27ee6d1559eu64,
    0x5989f21cc60a0766u64,
    0xf61176c080d2be74u64,
    0x140bb192104ba4a6u64,
    0x9543bacaeb861ccbu64,
    0x472e71b12b387befu64,
    0xa07dfaaff3926d12u64,
    0xc402aea17a2259a5u64,
    0xd525ffeb31798ed4u64,
    0x9d3d61ce989be3f2u64,
    0x0794835829b9357eu64,
    0x1938ff9cf913d688u64,
    0x1edc6e36c62b2995u64,
    0x8598bdb093bb4f87u64,
    0xd139f86d449e27d8u64,
    0x775d87ebfc4853d1u64,
    0x8493b9bc3c1d27e5u64,
    0x9ebe8c93de464054u64,
    0x515e31b0d10cda4au64,
    0xdbe52edcc5ce6f0fu64,
    0xa95b52b1ffe3ce3du64,
    0xb2ae8e74c596b9e1u64,
    0xd916438b36e2f945u64,
    0x89e2fe69036d0a5au64,
    0x6ca4d478b0cc5f9au64,
    0x9fd5521c01541d2fu64,
    0x981f74b4cd46ea09u64,
    0xcd28a7cc2394d900u64,
    0x9c69702b27269ea0u64,
    0xd081c17c4335e389u64,
    0x534905ef8d860369u64,
    0xe52fa2e5d8734d7eu64,
    0x047983c03231ff01u64,
    0x4561a15d39e28c9bu64,
    0x8a47a4cf3e8aa0ceu64,
    0x90488d721b225cb3u64,
    0xb9725ebab7a36b1du64,
    0x1f85515aa8f653c2u64,
    0x5f6f129252f8937au64,
    0xf794bf0be0fdca50u64,
    0x25dcc56bbed2c1ecu64,
    0x6e6c8930d82000a4u64,
    0x3bd4f80bd3e5b60fu64,
    0x2446170355137294u64,
    0xb7f433c21183711au64,
    0x0e9ba058fb67e701u64,
    0xf25b8f9bd234a650u64,
    0x4ea7d90247b44537u64,
    0xb693f0ad3c4dcf72u64,
    0x1d375cf6168d69c9u64,
    0x0c23be37f88f6928u64,
    0xbf6f1d81662765a5u64,
    0xdbcf530b98aa9b7eu64,
    0x4d28d7143d8b956fu64,
    0xa0e8048577fefce9u64,
    0x83d32b0cec7d246du64,
    0x1baec92eea9bc26du64,
    0xc24b8d31b43c257eu64,
    0x75bec10169281dd7u64,
    0x8cee1d5a637fc5fau64,
    0x659703ea7bf6d335u64,
    0xdf20971f4f15896bu64,
    0x34c4cc39dc2540e6u64,
    0xcae52f2c9cc3ca81u64,
    0xb6d796353f4fc1fau64,
    0xf98b942c1711bcabu64,
    0x682fa81770fc88c1u64,
    0x6c59cc09fedeab3bu64,
    0x1ce0ca5ae4805fb0u64,
    0x031741a212ab8606u64,
    0x7b488b34b2bfb90cu64,
    0x52a15ebf53b3c0d5u64,
    0x5da33dbca8d5a9fdu64,
    0x99423693f604722bu64,
    0xebce61498f416bebu64,
    0x3345c1b82ae9c726u64,
    0xc494c4220cd85762u64,
    0x3a5251f95c241d85u64,
    0xae4089a265708dc4u64,
    0xc74ee620027ab221u64,
    0xfae0e39af9b5c39au64,
    0xb332981c0b5ca14eu64,
    0x4f916ca944556342u64,
    0x20d1f6da8768480bu64,
    0x993d89ee404b2043u64,
    0x32d6ec5666c9b7e3u64,
    0x46c0918054a51d9cu64,
    0xe74a6c46a089b4eeu64,
    0xe9eaac9ebbcf8dbdu64,
    0xa7a8841d0ef56c58u64,
    0x20dd8ca8c702c115u64,
    0x833a95d3d5828b4eu64,
    0xe9583477421e0051u64,
    0xe37b205fd397e94cu64,
    0xe9f290bd40d361c4u64,
    0xa9942e67c3d1e61bu64,
    0xabf4a5b02b9e9593u64,
    0x0a888a33b87abaffu64,
    0x3d567a3ae1bbfa95u64,
    0x1f68809334041fe8u64,
    0x57a4259cdcd13e0au64,
    0x99f5bfd1af7b18a3u64,
    0x9fe77f58dbbae291u64,
    0x66616f95c107d35cu64,
    0xe75deeef9b775f0eu64,
    0xba5f0ee209ab88f1u64,
    0xaeadfcf377df245cu64,
    0xca814a34e39a98e6u64,
    0xd7739588995e50f3u64,
    0xaaed491c0194f5fdu64,
    0x8466498341a63bfdu64,
    0x91abfc5f53e0b5b6u64,
    0xb0ff8ad77ec8dd65u64,
    0xd971902fe098044bu64,
    0xc0746727b2f37ee3u64,
    0xa576c4a293142fe9u64,
    0x62fb23cc5e792214u64,
    0xf409a6052174c123u64,
    0x11bcfdbe1aa9b225u64,
    0x27c1a2704f55fc04u64,
    0x5f7d7159dd5bfb92u64,
    0xa8cd9e4891e3fc23u64,
    0x1fe8f60d57e9130au64,
    0x3a974232b3a237a4u64,
    0x9ba1cc83f7d05c7au64,
    0x6002de47955f6014u64,
    0xf58f7efc23e455cau64,
    0x0bd57c3195e0a575u64,
    0x48960702ee9334d3u64,
    0xd559a81dcb021effu64,
    0x75c8f5dbc45d5e93u64,
    0x1d1dcb481517de61u64,
    0xe4512173454a4db4u64,
    0x3cb13e32b88a4581u64,
    0x3fa8bac0e0bdb8d0u64,
    0x888e306919bd6c0bu64,
    0x587218175cab3d29u64,
    0x46e47c05bc7a095cu64,
    0xfa2049eb13d390a7u64,
    0x3ac187f3ca29c07du64,
    0x45c56727d2495657u64,
    0xd31df14b695ca74fu64,
    0xeac9a340742832c2u64,
    0x3297c5d9e529bf1eu64,
    0x72f4d7b4effbb9dcu64,
    0xf1351c5acc242428u64,
    0xe21998d42cfc5651u64,
    0xcf469d9354afcae7u64,
    0xdcdcf61794e9ea7au64,
    0x119250eb3fb00518u64,
    0x9f7a2d80e1e0b54cu64,
    0xdd322ae3eaa60dd7u64,
    0xef0c22f2623489f5u64,
    0x671b881e0f6b5348u64,
    0xd7cdbc90f6f0b6feu64,
    0x1a0d207059e26da5u64,
    0xf2e8ffc21540a23au64,
    0xe7a886e08b10feabu64,
    0xe0d8737877acb0c0u64,
    0x70c211239d34e1b6u64,
    0x3c0087ff99a11ec2u64,
    0x0f7ff7948d8bf413u64,
    0x9c14169cb6738103u64,
    0xf5a279631e9c9e4fu64,
    0x4ffd17cffc9eda36u64,
    0x745b040f98fbfa87u64,
    0xc3693a2e5e9d0892u64,
    0x53609d139099490cu64,
    0x20c491454c65e455u64,
    0xcc730ce7c9d3abd5u64,
    0x4252a812d332c617u64,
    0x214f7f6f4b9baa92u64,
    0xb73f21318ccd6414u64,
    0x4614eb10c3201c64u64,
    0x7de79bdbd44b97dcu64,
    0x136b69aa21999181u64,
    0xb545d4854bc1ba05u64,
    0xb43e58c795e4864du64,
    0x364dedd1450567d4u64,
    0xfcaa4566b9bedaaeu64,
    0x4d381f41ff4fc6fbu64,
    0x1cc1aed185a08baau64,
    0x5415560a0c1d45dbu64,
    0x64149ffb663ed290u64,
    0x15bbc5fa774dfaecu64,
    0x4c735307ebf0642fu64,
    0xdbf8e095692cb43au64,
    0xb5255b878646e3f8u64,
    0x8822aae40ca49017u64,
    0xeddd45351d4f89f8u64,
    0x2b8a9bb3b8802a6fu64,
    0x5bf2e2d86611c806u64,
    0xeff92f78183c1668u64,
    0xf6fc4741d0fbb9a3u64,
    0x2944f91ebf94122cu64,
    0x159f651daf172b59u64,
    0xfa3caba45b83b319u64,
    0xda842db26df3d99fu64,
    0xda860b63fc2c429fu64,
    0x45916e6eda5f7c86u64,
    0xdaba8b8ba49ab89au64,
    0xa12c35737f1d1cc4u64,
    0x29f2184c9010bdf2u64,
    0x17f40220f6f457cdu64,
    0x861614d8181e7ab4u64,
    0x77838bf6b083f424u64,
    0x90bd095783643513u64,
    0xb1ffcbe9b674c408u64,
    0xf6f7449aaa8f02eau64,
    0x84ce06a017bd2421u64,
    0x2d5e9340f7a215b5u64,
    0xb88b0cd6d1c5b4e5u64,
    0x5ce186bd73600920u64,
    0x7768d683296990c1u64,
    0xca2b5d9c0534a698u64,
    0x5d623910f7e30656u64,
    0x7b317803a39b5481u64,
    0xdb35f56f9dd69540u64,
    0xbe57a37d1db17606u64,
    0x8be8ab71d8d46545u64,
    0xc6c3f39b8a2fe89bu64,
    0xd691f94ee6c0fae4u64,
    0x4be2d6302cb29e9fu64,
    0x558123e97ebbd98du64,
    0xd8c4fd3eafd922cdu64,
    0x324fcacfb835e316u64,
    0xa4e89b0411522657u64,
    0x163e15b1870b6527u64,
    0x752528e334ac2be3u64,
    0xd93d8c650696b8afu64,
    0xdadc6d232a407bbeu64,
    0xe259fa552dd36ca2u64,
    0xfb38f0fcb93de200u64,
    0x83b0ae923bb97c90u64,
    0x022b7c7a8e815580u64,
    0x64f84e827d375cd6u64,
    0x5eff1c4d3d6f9ebdu64,
    0xeb9a9e86c52b0176u64,
    0xccc732b5acc6782eu64,
    0x90ae0db292fec1dau64,
    0xb18e8446fed87d91u64,
    0xdda58c0dfd926b0eu64,
    0x36187744eb66263cu64,
    0x9a51919d8e47c334u64,
    0x772e3cfbc0ce0672u64,
    0xb3d8b3c9532f8445u64,
    0x82d91b78c2f9be4bu64,
    0x3e93ca7e5757b951u64,
    0x6191cfa0481160bau64,
    0x8e446abfad8240e2u64,
    0xcf56c7a9ad92cba9u64,
    0x0ae03529538dd035u64,
    0x3cc1c89af415724du64,
    0x5637b837f4077e57u64,
    0xbe9e126fe4988d17u64,
    0xca05a3f0f776eb74u64,
    0x8528ea253feb0ef9u64,
    0x307b7ae8381e57d5u64,
    0x850bfaef4741b5ccu64,
    0x7d26ff5988fcbf62u64,
    0x454b447e14cc9c1eu64,
    0xfb182671a40821a0u64,
    0x50c8ef2e23abecb8u64,
    0x9172f3a003b95387u64,
    0xe1a4a4a9b843cc8fu64,
    0xcb21762db10d5fa3u64,
    0x7aabb77e7c984e0au64,
    0xbb25500e7168e256u64,
    0x812efac2fff658b9u64,
    0x070b224b06ba4b44u64,
    0x9202eff7c5c572f5u64,
    0x364f2d1f287c4a20u64,
    0x791088dbd510d704u64,
    0x3205b43b45473c7au64,
    0x0dc888ffb0e643b0u64,
    0x05e73e7502c98344u64,
    0x19f33b6fb14e1877u64,
    0x54e2476e9d160a1du64,
    0xe5bbb7e2854117bdu64,
    0x71a2659dfe604fa9u64,
    0x75823c629fa3ada1u64,
    0xf8ffd361b556b57eu64,
    0xade3907d1be4e86cu64,
    0xcb14eaa81a78176fu64,
    0x5a912193aa89f7b4u64,
    0xc1bf6bfa03c7f539u64,
    0x06f970f53a8599a0u64,
    0x4a998f88e286a6e2u64,
    0x8e6a07fd41e6e9f4u64,
    0x9900553517997348u64,
    0x4e3c188226f71cd2u64,
    0x9c83634f396fc1b0u64,
    0xf1c45c6702995f50u64,
    0xab251721f96d525au64,
    0xcf28f246ed43f254u64,
    0x0f158a2a56d53f5du64,
    0x37e2e2a5699fa84fu64,
    0xf71faf30627c4e63u64,
    0xf19fed3a326a4cd8u64,
    0x79c41f3e488ca4f4u64,
    0xbe5afc6b5ce5b52fu64,
    0x6f064bce2cd50c74u64,
    0x86ed4a200db55b31u64,
    0x2e3c05492a307000u64,
    0xbc0220abd3ac004au64,
    0x2daf6f527ec06dceu64,
    0xe03bf892c2b67c5au64,
    0x8bb4ab1764ce86bcu64,
    0xd585648a88939cb9u64,
    0xcdd6a73c9341fa32u64,
    0x80f02c1ad5dee1b5u64,
    0x950738c928c08187u64,
    0x3e2786dc3f460d3cu64,
    0x874934bfa1b8b57du64,
    0xd76aa259d5bb6396u64,
    0x320fcae83396c19bu64,
    0xb3271f3807c1475au64,
    0xbe9a139fc6a67472u64,
    0xaeb2034152ce0c01u64,
    0x4cd5b04b54300900u64,
    0x384d6199893f86c6u64,
    0xbbdf3c60af8a04d7u64,
    0x7385d45e20059bb1u64,
    0x12fc2fccbee807bcu64,
    0xe42537903ec55503u64,
    0x74f52ebfebe83cc4u64,
    0xbf59482f55db8d5bu64,
    0x8bfaaacd63eb124du64,
    0x725880012f466949u64,
    0x8fcc4184256a4539u64,
    0xf3b54290320adb31u64,
    0x3c9d618c99a77559u64,
    0x5ab7f6784b7244a7u64,
    0x893ce499211fb3efu64,
    0x08833b30cdea8aaau64,
    0xe84dce4a8d5f1aa5u64,
    0xf3687308fb1fae6au64,
    0x24e3d27d0be24871u64,
    0x87bf772045694281u64,
    0xa8a33c3e0bdbf344u64,
    0x2cba03be8453f4bfu64,
    0x9286ddfd73d5e06cu64,
    0xe913826408a66efcu64,
    0x2bbb0f5a543d5b12u64,
    0x0d26b09ed5ed1595u64,
    0xcd815943b10c7744u64,
    0xc7d942a1722ab870u64,
    0xd1d9e1e346ee6962u64,
    0xbbf86b3a1fefb3c6u64,
    0xa2b8c3331f4644e9u64,
    0x26048bd71bc55003u64,
    0x4ad32cd222b662f4u64,
    0x2117dacb836a7c77u64,
    0x21995814ead54feau64,
    0x96765025cc02d6b2u64,
    0x7bba800ba1ea412bu64,
    0xa882c5eb8405e0beu64,
    0xe4999295d29e86c8u64,
    0xa136f3a9b6486294u64,
    0xbd5b7f63a9bf027du64,
    0x1fea8acf852ac783u64,
    0x15c85a13213bb48du64,
    0xfc189d61e78de65eu64,
    0x6bfa69731dbc382cu64,
    0xecfb071bfccf9ba9u64,
    0xebe00b36bf3e649du64,
    0x9a41ce2c19b8ff27u64,
    0xd8dd5d3d494d8534u64,
    0xc2c84044a5de5a6eu64,
    0xa463d7e5609009cdu64,
    0x4d2036ca87946c6eu64,
    0xd61b83a3f1740285u64,
    0x84e5ed7d9c410610u64,
    0x4743ab7aeef6fcb3u64,
    0x8942d5fffb6c365au64,
    0x9d36f1abc099bc73u64,
    0x8ea4d43d6c8ca0b3u64,
    0x38897057f3b4a53eu64,
    0x099c77b63246c642u64,
    0x28fc28939e823d6bu64,
    0xecfa784bc1489380u64,
    0x148c83bd624c6388u64,
    0xf3ae5e380dbff56eu64,
    0xd32b08b7a65d59e8u64,
    0xd18e7065b7da2610u64,
    0x6b2f74fb865e8be8u64,
    0x171aae7b2e80d61du64,
    0x1e675c460cf9b1a7u64,
    0xcd72206b070dea08u64,
    0x76a33cedb6b30a4cu64,
    0x0b1ee877b15cbac8u64,
    0x0cf0cec6a9151a17u64,
    0x89fe0a2241423f06u64,
    0x0234aac70f5480c6u64,
    0x8476a491e907bfa6u64,
    0x8ca4366befcfe615u64,
    0xee5935885c31d2bdu64,
    0xfda0b33054d47566u64,
    0xd625ff134e745a71u64,
    0x98c3a43b973ebed7u64,
    0x8826e1b1085c415du64,
    0x41707eb502ae6348u64,
    0xa7ab2ab341cab468u64,
    0x9a06e002311b8226u64,
    0x75de1f39c210ba36u64,
    0x50de447f66c8c2efu64,
    0xd31af33096045296u64,
    0x6573e516ef9a59d0u64,
    0x2946e548e618cc9eu64,
    0x5dc24e660c16ddd2u64,
    0x15a108f981235053u64,
    0xb27fa4f32656805eu64,
    0xd0a1e21f7400c110u64,
    0x7b065349165b8135u64,
    0xa4ec3ee62b113009u64,
    0x68f624957969e704u64,
    0xdcf6583948032297u64,
    0xf222c4bed10ae43au64,
    0x83ff92fff5148639u64,
    0x9f2b79b68c9ab0d7u64,
    0xa4084900b691dc6bu64,
    0xa8233d11534b5539u64,
    0x69ee4b5b73ed02beu64,
    0xf8f3bcd064b13743u64,
    0x6477fe0b537f8fdbu64,
    0xf6b26a8a3b18824eu64,
    0x24fce001f68c1c52u64,
    0x1fe3b4f0cce60bbcu64,
    0xda8751ef0ecc866bu64,
    0x55afc510a1867131u64,
    0x2cacbae8d371624fu64,
    0x9559d25f7276aab5u64,
    0xdc0929a0b10de43fu64,
    0x69caab164a20fa4bu64,
    0x3d2d66fc96a138b8u64,
    0x76ce3d13085753cfu64,
    0x79f77f6561767eb8u64,
    0x34a7d2d4af6f5b07u64,
    0x5eb8d7380a420279u64,
    0x14eaebf62502bb54u64,
    0x5e31d0543f857b5eu64,
    0xab0d2cd86e963367u64,
    0x63541ece73d4fdecu64,
    0xf5ed49fbec6f08e4u64,
    0xe3e3ed667a4c1afeu64,
    0x5d9704e0341902d9u64,
    0xbd7b0363800e579du64,
    0x83cdbe05b81ed76eu64,
    0x811421192f59d515u64,
    0x58743e08ebbcf848u64,
    0x5a3242563752374fu64,
    0x6eb01a96cf51aa63u64,
    0xefda4a9e7b45a76eu64,
    0xe6aa574a9589a977u64,
    0x31021216f4cdcb3fu64,
    0x141d0a5b61570c28u64,
    0x2dbd3f9cc5d7be08u64,
    0x4d62954601eb858bu64,
    0x44581893ba2f15a9u64,
    0xa381de7bd402c9cau64,
    0x3fba7582f3d4d73bu64,
    0x6bbe7e6116f816e8u64,
    0x04d2ffae9a03008au64,
    0x6078d3c2983a7ff6u64,
    0x117403650866081cu64,
    0x93b3863360cbe83eu64,
    0x71f3e0c852ab7ba6u64,
    0xdb5a7390d6aa6d29u64,
    0x0e073d71e025c51eu64,
    0x8870f5448f0ea0e5u64,
    0x9ab9905853fa28cau64,
    0x309505a36697bd24u64,
    0xb90abaf08fc652fbu64,
    0x96caea18a196ac66u64,
    0x78a2a296096eda54u64,
    0x774e37a7e0d0c1a4u64,
    0xb63587d2d05e03d3u64,
    0x342fc08c6628015bu64,
    0x97981232630a67f1u64,
    0x9fca6fa200c14c50u64,
    0x862d52d6c351e493u64,
    0xf8a4dc8349595b7au64,
    0x153fc21ff6cd9da6u64,
    0x1a1e2e20a5a19df4u64,
    0xe6fd193637dd3e99u64,
    0xd049a4e3dc92fcedu64,
    0x0a37036c74d2c913u64,
    0xd5a6154125cb9eeeu64,
    0x3eb2e0e8fc3e1197u64,
    0x88e62be55332cae6u64,
    0x77b55829880528f4u64,
    0xa1c7b987062a54e6u64,
    0x8ea7a275247de9b5u64,
    0xb7fd91abd8cdd971u64,
    0x0c15fc66dd7e42eau64,
    0x7079b17f47ccc9c3u64,
    0xe5ecb35050dab5fcu64,
    0x5dec1e35c292ba89u64,
    0xd8cb8e38ac7ce379u64,
    0x631489351d98d7dau64,
    0xa16231d19dd302f0u64,
    0xa28adf99bdcaa46fu64,
    0x1c3a3dd33900cc52u64,
    0x31eb4e787c1c0f6au64,
    0xbff663b047cf3d7du64,
    0xcfdc69913d7c4337u64,
    0xd9f9beb2ab0554d4u64,
    0x972b5af1157ea946u64,
    0xb98ba8172c6ae215u64,
    0x9741a358092d49a5u64,
    0xd40022d4745900ceu64,
    0x3d8591057394bad2u64,
    0x3f06ae44735f3c17u64,
    0x65b580d86ec41538u64,
    0x4f34f8ff1f1ad187u64,
    0x1b1eb08e020f9f31u64,
    0x420591ba490d1974u64,
    0xd3927427398af985u64,
    0x45ea971d7ecfd501u64,
    0xb947b85c3ad1c9bdu64,
    0x3abe0d0134a7168eu64,
    0x245e1451b05006c7u64,
    0x32c169a59e21b77bu64,
    0xa17e398c865ff5b8u64,
    0x4a83e3f7f3fbe662u64,
    0xc31e267afcab5fb5u64,
    0x9672711323365b36u64,
    0x403551af4271e742u64,
    0xa177f6b4a6de3ae7u64,
    0x1fb546483d5a7294u64,
    0xe301666f44a9ba7au64,
    0x75e5b0ba40a6b18du64,
    0xd5dd9df6743231b6u64,
    0x29c69a9d65c7a98eu64,
    0x4ed7afeac92917d9u64,
    0xa6e69fcf6f54b64du64,
    0xd39a2225b294e8ecu64,
    0x9da2f3abecab6642u64,
    0x0a463e866bacc0b3u64,
    0x028d8dd17e7d5272u64,
    0x525b4de53ea6a04du64,
    0xffbd7f4d2bcbdc9du64,
    0xe9f07dcb5e4fe5fbu64,
    0xd217f6c8f2dcec1au64,
    0x38e50d3388f60aabu64,
    0x2b2770b232e120eau64,
    0x509ece95c5cd4f3au64,
    0xe7daab19791ed5c2u64,
    0x7c08da1c4588b387u64,
    0x7f95485def95fd25u64,
    0x8af955ec2798ebd2u64,
    0x4f3acb85eb2e3abeu64,
    0x9fc387f7c7069cf7u64,
    0xc36b5974eca9e196u64,
    0xe7a998e9a4988685u64,
    0x05ee7f0659a808e9u64,
    0xf9044e3d6f8279c8u64,
    0x065179584a34049bu64,
    0x5e658eb5ba7f9f36u64,
    0x5f04d76d0b6e0b9eu64,
    0xf69ac3e3c0e527e5u64,
    0x78d01693b10585c6u64,
    0x1062818ea5c6aef0u64,
    0xa836c9da05582be7u64,
    0x2fce2c5276f74ef8u64,
    0x8574e419e3292829u64,
    0xa4aee7e15e485a26u64,
    0xe1ffd0024c0589f5u64,
    0x9f1ac6e2350ac750u64,
    0x8fff55d26b87f7efu64,
    0x7af50e730878d53au64,
    0x12fe1742f1d063d1u64,
    0x379981eef1452d03u64,
    0xd7143b758ea86f2cu64,
    0x5725bc99d540ff41u64,
    0x071ab286e2de7d52u64,
    0xfb8da277278a4356u64,
    0xbcfb76ba7e946df7u64,
    0xd08a6b862a797706u64,
    0x02fb13fc4153fd50u64,
    0xf29be14ebe040c5au64,
    0x23e399d2b3d719b6u64,
    0x46c0799ace022e4du64,
    0xfc38839883a47418u64,
    0xd6286edee55038d8u64,
    0xc22f0b396da277bau64,
    0x371a92d7ad7ebf5au64,
    0x6ee1776e6706ff20u64,
    0x225d9e779e465470u64,
    0x1b481bce3b0d570du64,
    0x94ec5750bcae08b3u64,
    0x30c102d22805bdfcu64,
    0x425a6a2fef63d1feu64,
    0xd17d6c42cf79dd88u64,
    0xff3bf8b844675324u64,
    0x6af0c14e93310c92u64,
    0xf6091057b3d65c3eu64,
    0x3d672ed94413cc2au64,
    0xd65d37f89c310601u64,
    0xaa30326b5ff2368bu64,
    0x781d5b784e250eb1u64,
    0x3f52826f08754ea5u64,
    0xbbf39bdae87d2db0u64,
    0x6e85ab3fe77b980au64,
    0xc2bb35e5e87afac0u64,
    0xa73713db2466ea3au64,
    0xafdd09c1d781d867u64,
    0x3aa6d2d969dcdfa1u64,
    0xf94579e00c8f9d1fu64,
    0x97b2829b0cc1dfc8u64,
    0x3484d971f6b30d33u64,
    0x0ba8ee70f331e582u64,
    0x35d3df433d33a775u64,
    0x808e15cf6d739520u64,
    0xfd1ceceb5adfe13bu64,
    0x4979f26e12f8cbf3u64,
    0x70d1d7c85b78423bu64,
    0xb54a1e88ea9dd99du64,
    0x8041a551b4e6ef44u64,
    0x48a01d3e77805d05u64,
    0x3144fad8417aaae3u64,
    0x5c3334663ad999f1u64,
    0xf183bde58d15b575u64,
    0x5dc330f89f7c5986u64,
    0x1c3bb1ea9ccd523bu64,
    0xca7e897fdc99d742u64,
    0x0c5a860eff1f9d5du64,
    0x3b7cd0d1f3b5ad35u64,
    0xd1e32677f2835f10u64,
    0xd9ee22a588ab7577u64,
    0x32ff2372b0b83233u64,
    0x3af0b7647adf3c36u64,
    0xfec6a27996d83917u64,
    0x1c7db0ebe3d834cdu64,
    0x3bae751f9cce495eu64,
    0x67ad8ac1b9843dc6u64,
    0x8fb5847cc27b800au64,
    0xfa96d98811aaeaafu64,
    0x4ed3a0c4ed652136u64,
    0xef55235a701c5830u64,
    0xbed178414f7a9310u64,
    0x304dc8fe6a4dcdc5u64,
    0x009ac2fb7e0eba0au64,
    0x5d8d4ab1093df200u64,
    0xd84594eb87cb0c61u64,
    0xf625be9db58ee94bu64,
    0x186bab9f41056d63u64,
    0xc4b7c6e0e9eeec78u64,
    0xfd2491c64f72d527u64,
    0x19dd8d4d6d008ba5u64,
    0x60cbbf39a0e60788u64,
    0x0bf357f0f6183b41u64,
    0xc2ef7291d45435a7u64,
    0x53c3feaaa73e4431u64,
    0xf228a677190ae743u64,
    0x32e41bfa7b158d63u64,
    0xd6439c664d9685a2u64,
    0xcd1435742e4a445cu64,
    0xb30b44b39e8367e4u64,
    0xa3c3bf1dd26a7b78u64,
    0x5f31b42534b260f7u64,
    0xc3dadc48a31337f9u64,
    0x40321e9193b11984u64,
    0x343a2c472e906f1eu64,
    0x9dbc17784217048bu64,
    0x90e1bdb2f01468cfu64,
    0x8712e9a360800b8cu64,
    0x9d7e83c2e3ecb7abu64,
    0xfcfd5165577ab76bu64,
    0x4c24b286ad18c173u64,
    0xb5464e2529402d76u64,
    0xac3eeca3dfe08026u64,
    0xa3769b6c61bf6430u64,
    0x244e238e761b8356u64,
    0xb759b3c43e1f89d3u64,
    0x70d105f75ffb1a73u64,
    0x4f060c3a5c7e46a4u64,
    0x05bbab87d74cc41fu64,
    0x4989e2797d475f8eu64,
    0xd02b2cca5b4b53cdu64,
    0xd305c4ea8133d1a4u64,
    0x658a5671102f063bu64,
    0x44e5b071818fdd71u64,
    0x4e247bff6fd2467bu64,
    0x3711ddd5cc063146u64,
    0x9d2b0b254fde80b3u64,
    0x0b582606d7e083e6u64,
    0x617cdaf1c6165cbcu64,
    0x2cf703f520330d3cu64,
    0x4aff9c4a2c6f6a3eu64,
    0x8d1b70c8d526f100u64,
    0x2a2e9fecbcd1f904u64,
    0xdc4967d1b616ef79u64,
    0x947e4d8cb76fdb98u64,
    0x9a12ce9706f09abbu64,
    0x1a85db6dcec8f76bu64,
    0xda224f069cd6f313u64,
    0x4e5f8a2db18d9d13u64,
    0x298dc9c818a6bb81u64,
    0x8b81d13d44b9fc63u64,
    0x9b87a95179ad1f6au64,
    0x175179e03f54736du64,
    0x8af1ef64a76674eeu64,
    0xecfcf44fa56e44abu64,
    0x68f9da330ed11387u64,
    0xf9b4b0f4e1103fe2u64,
    0xd9ce386e5e7aecd5u64,
    0xfa1d2a7cf5ee6a82u64,
    0x01aa58217401e5c7u64,
    0x30e0e8d7cfd10783u64,
    0xd7d46f3b16796884u64,
    0x228d2d04fbd1d41du64,
    0xa4da52470aaf5bbau64,
    0x16719dddc18cb5c6u64,
    0xb73ca9db90f82a45u64,
    0x80fc0ae413b33f5bu64,
    0x2fe15dd697c5de47u64,
    0x9419df60765eae5fu64,
    0xb80f4296caeb9526u64,
    0x5f6641f88dc19eb8u64,
    0x775b5be88d174e12u64,
    0xee818f2bd0ec024fu64,
    0x12d7a770ff9e5afau64,
    0x41a653f7e270bb80u64,
    0xf9ff78ef6c651c20u64,
    0xc5a99d3b5be5dc3cu64,
    0xa33e69c5564a38a1u64,
    0x56cc8c32b14dd146u64,
    0x439e96b64e0acab9u64,
    0xaf585cc6fea8f801u64,
    0x8d0c06f014560486u64,
    0x99c05b2adbef9696u64,
    0xeec981f375463a8eu64,
    0xd80e5f9f0301b986u64,
    0x3e13d3054e2b1367u64,
    0x21a85cf7ef08e6e7u64,
    0x6ba04467fc24681du64,
    0xff0254dc2e0eb6d3u64,
    0xd7857e9c70b33759u64,
    0x4a9aef7c6b9a81d5u64,
    0x9a4754924108fd53u64,
    0x09a677d7ce40c960u64,
    0x712840a65d6f5d0cu64,
    0x0716cd6a6246138du64,
    0xcf8773ee1fd8db71u64,
    0xc3342c7d807dfab0u64,
    0x20fdbd59b3330b4cu64,
    0x22c39318f2befa89u64,
    0xf212fcc5e0c58131u64,
    0xc4c115e5ce62601fu64,
    0x89cb1328fd7fc8cau64,
    0x96f9c228e15c7e7fu64,
    0x56f5309326b6f12au64,
    0x0a5b0442e7a539f9u64,
    0xbb0d26cd247cac1au64,
    0x699408f9d4cbec94u64,
    0x1ba8c7f00751fc72u64,
    0xd1ad871ed897e9ccu64,
    0xe4d1d75e579219fdu64,
    0x868742ef6de2ccd7u64,
    0x4455951956a71583u64,
    0x36ad00e7ffc89400u64,
    0x29faf37ccca1f5e2u64,
    0x7cc2f6858b91a4ebu64,
    0x6cb819fc907a8f61u64,
    0x2acc08cda4c480a6u64,
    0x3368b8898de3c8a8u64,
    0xeed9e636ecf47c03u64,
    0x322ec2dca92d6cfau64,
    0xdb3817edb1fb8f8fu64,
    0x4e8c74efb05d21a6u64,
    0xfff2f92f83849414u64,
    0x8572267f7047a4ceu64,
    0xf29d2ed1b3bf539eu64,
    0x89e2967dacfd35eeu64,
    0x1d80f0d4e76c8c47u64,
    0xca71dcf18ea4fcd1u64,
    0xdaf3103a9e65a95fu64,
    0x29d59dcdf65481cfu64,
    0xce4390183ff8e0aeu64,
    0x44db6dd5ca3b628eu64,
    0xbbd1be3fbd8ddcd9u64,
    0xe8887fbf44f1709au64,
    0x870fe99c9229fb39u64,
    0x27c9c7465985e38eu64,
    0x39cd56b98e7eb2a2u64,
    0x1b08ee0034574ea7u64,
    0x2de0d9ac8765c9e9u64,
    0xd71a7e46309029f9u64,
    0x335b5c0127ab6832u64,
    0xde6a0fa46a9b8998u64,
    0x1baf00fe1e4b8e44u64,
    0x60ec89c191a0217bu64,
    0x6fbe86fb2f51ff7au64,
    0xa74722d0a49e02deu64,
    0x7592c54797a4da0au64,
    0x9dc7f91f8b7da86au64,
    0x6c7bef750341e9b5u64,
    0x162dd072e0e3787au64,
    0xbdaaeca5d174ed26u64,
    0x3dea97632f5f7126u64,
    0x0dd707d3d3bb657fu64,
    0xab702b0a830d4805u64,
    0x644e98d0623068e8u64,
    0x323fdbdaa872f7c2u64,
    0x7ed6390f13702425u64,
    0x8ce02182a9f78ff4u64,
    0xca04b71e66090c72u64,
    0x377eb9637f072fe2u64,
    0xd54f7bfebea90a3du64,
    0x27f19f19d2717316u64,
    0xdac56a5b50656e71u64,
    0x81f00d38b1594ee5u64,
    0xf67cfcf79b851f77u64,
    0x52c4615c0093825fu64,
    0xc301e36df36e680fu64,
    0x705e1e54abf7d645u64,
    0xf09926b9f55c81b3u64,
    0x8697dd2b89c190eau64,
    0xf6f56dca0fc3a526u64,
    0xa4a94e634bd4c23bu64,
    0x8603c1ac75436f54u64,
    0x16243bd8f93bf63au64,
    0x8cbce4b89e4c8db7u64,
    0x38888d4173e900a8u64,
    0xde6de46a59a83cd5u64,
    0x5a5e094da95f82c1u64,
    0x31b8d66ae62bfc9bu64,
    0x0cee700e60839431u64,
    0x2a8ec2a02f1cc99bu64,
    0x481ffc438b7daaa4u64,
    0x0bb429df90cef779u64,
    0xfa989ccd422e87a9u64,
    0xfee01738cc30c80bu64,
    0x693d918f3856aabeu64,
    0x3e566c98ce215bf8u64,
    0x32454b960a3d15b5u64,
    0x21e276da72786cdcu64,
    0x0b7e037743322be3u64,
    0x955afd20badfb637u64,
    0x7312ee55b2f428acu64,
    0x326a27b396abd9b0u64,
    0xbffe7620299c2868u64,
    0xec11f75d1b08347bu64,
    0x2585c01fed5396beu64,
    0xe273ab9831ecd6dfu64,
    0x7d7be20119bb97e1u64,
    0xc2a8d7b69a6e6c28u64,
    0xc1b6ed0ffe81be56u64,
    0xcaffb96dde233093u64,
    0xb006f571694f252au64,
    0x69bafa0c6568e3f3u64,
    0x0f2a73b9b6d2e6c2u64,
    0x257812ea5f83cb1bu64,
    0xf89d363e774672aau64,
    0x64a9e9794ba99757u64,
    0x14ce512a8c770911u64,
    0xef1c539f9d30427au64,
    0xe72c5c5551f930d4u64,
    0x2b3de5e93f2be746u64,
    0x17a0987ac3c0653eu64,
    0xe2f5a6586af9293fu64,
    0x517c2e7d5c078aefu64,
    0x6b0ed47de1452c22u64,
    0xfe7da6edef0f078cu64,
    0x3ed43dc626403a9au64,
    0x1181ba1ec9cdae18u64,
    0xd133ffc36fdbdcedu64,
    0x199775a3b05c2231u64,
    0x6fd2fd7d87fa93adu64,
    0x8d994f1df1816e86u64,
    0x1cbcdcb5c4b47fbdu64,
    0x241399da465fdf38u64,
    0x9ae45043add1c820u64,
    0x552958c207e9cf0eu64,
    0x62721996f8e65773u64,
    0xce5174bd8f5f8ea1u64,
    0x0de6f8aabc6765fau64,
    0x942c1cb043bceee7u64,
    0x125d6b909e6c82acu64,
    0x975963c9cb96d4cbu64,
    0x1dc1d8ff5cb53cacu64,
    0x082378f3c194a1b0u64,
    0xe79a602d21d9fff9u64,
    0x73f2f2bac93f3d15u64,
    0xae091f8576917b6fu64,
    0x28f20a16628e35b0u64,
    0x12eee799c626cb4cu64,
    0xa9e3000f043d54c0u64,
    0x26aa74052a4d7ad1u64,
    0xa01f124a7f7fac5eu64,
    0xd8ab7cbccca788b4u64,
    0x5dd31516e3683219u64,
    0x242193a82b7bc58bu64,
    0xc0ff6aa2aad4e923u64,
    0x3253c01a7b1cf04bu64,
    0xca5ee2961d758bd5u64,
    0x46b498263eceb496u64,
    0x2c49975c5b069a5cu64,
    0xdc8fca8911e3ef6du64,
    0x3ecb62f56f82c4bdu64,
    0xbd38b742bd1c327eu64,
    0x718f083837b860a3u64,
    0xb1e34cb8244ab32cu64,
    0xbbe5b3036f3d8f8cu64,
    0x5fded798dd7f79f7u64,
    0x791f1de2636e784fu64,
    0xdaaf0082a5021001u64,
    0xdd88224462b00f16u64,
    0xf787a7b9e89a63afu64,
    0x68d1dd6bfbeae93au64,
    0x22f8e11618ae7ac4u64,
    0x774aabd4a7ab16abu64,
    0x8620949856f81764u64,
    0xfe3a0ad4eb2580c4u64,
    0xfe7ceee6809a06dfu64,
    0x72d7b8d954cd6ebbu64,
    0x8c87ec473c8fb438u64,
    0x00bfd3a342e89a16u64,
    0x4b8514746f881dbfu64,
    0x566bdd811e2fc1bcu64,
    0x12798a048363c441u64,
    0x4623228e3d0778a8u64,
    0xbd0a10df9aa4e38du64,
    0x51fb319467ae954au64,
    0x5d03789917478f65u64,
    0x0be6e534da38b907u64,
    0x1c9c1d4f5899fd1cu64,
    0xc98155980ed5738du64,
    0xa8020802c4bea165u64,
    0x20223ce979951bd1u64,
    0xac931224e0bd2b22u64,
    0x2af6457d566528e1u64,
    0xbf24c373ad001738u64,
    0x5c3be38862ab2f02u64,
    0x0b0741017c676eacu64,
    0x966e29e2bd81b9b1u64,
    0x1afaa49d1117879cu64,
    0xac0cfd625c3d1974u64,
    0xbe11889afc60aacdu64,
    0xd6dee8e56c7a74a5u64,
    0x1e86f14f16289ae8u64,
    0x33ea2135c9998ca1u64,
    0x79d4576124777797u64,
    0xc20f8782413344feu64,
    0x79dce062c4cf2625u64,
    0x1017cf366896a0adu64,
    0x28cb41f2df2e1a4du64,
    0x8e2ddc872531293eu64,
    0x3e4572f9a5a2dd5du64,
    0x102340272a291ea1u64,
    0x46e52262ab9156d7u64,
    0x938d46127742720du64,
    0x286a7f083cd7f133u64,
    0x28a5e5833fa2fcfau64,
    0x47e2c54b97260e77u64,
    0x790de2a5b2c82d59u64,
    0x0d0c58354701abb6u64,
    0x9def63b696881263u64,
    0x8980b9b6f5ff5fbbu64,
    0x81a9fec61ea2e1bdu64,
    0xccbd9405f8f5e070u64,
    0x82189f67dd0d42c0u64,
    0xc9e6c8d02aecbbb4u64,
    0x79acd82d6db7fe25u64,
    0xdb28165a24cb43c3u64,
    0xc8fd46d0092e2a6cu64,
    0x62e1ca6bb1cda466u64,
    0x6a12078a5b2021b0u64,
    0x3e58e33a85fffd76u64,
    0x5c9fd024bc6a8bc4u64,
    0x9262db593e058880u64,
    0x408ad1d36bf09fd6u64,
    0xf295a2f4d6b68a8bu64,
    0xb472360ffe1e02e5u64,
    0x90c86a8b9f0af04du64,
    0x22ad122520a264ccu64,
    0x7737f589301e4255u64,
    0xea09eb3a667b43b3u64,
    0xed6ea20bfd196fecu64,
    0x2aca3d35c01f1e25u64,
    0x5112a266d7ee12c7u64,
    0xedb9ade3b424661cu64,
    0xb20860bf200612bdu64,
    0x04eccf550669cbbbu64,
    0xf6de4179fd0cc810u64,
    0xc594148b2667049bu64,
    0x053ec9fad230341cu64,
    0x5a8005fca0e89cceu64,
    0xc42d2a86c54d7365u64,
    0x19561ca99616b100u64,
    0xed1a9fead1927952u64,
    0x931db5f1c2513d6bu64,
    0x476847d9ae56451fu64,
    0xd5b9b479e7028370u64,
    0xc9b40dc560f560cau64,
    0x99043ef7782df811u64,
    0x87539940a3a0ee07u64,
    0x19b008d18c15c7a9u64,
    0x78ac16d0ab429a81u64,
    0x97b64e0c8c0d4f8fu64,
    0x449aa45b0b9adbeeu64,
    0x1804900af80b0c88u64,
    0xe9ebcf37caf59dc1u64,
    0xa3408f3fda487531u64,
    0x13e4ff34ede96581u64,
    0x4fe6dafc34cb99ceu64,
    0xe62e53afa7adb00fu64,
    0xfea8400ea86d3f1du64,
    0x04f2b234f4ca395cu64,
    0xd6dd2502fb67101fu64,
    0xbfd004ebbbe05163u64,
    0xd001c357e54a82f8u64,
    0x4340de592b97245eu64,
    0xf69fec1a86ad374du64,
    0x0e67bbe374abc197u64,
    0x18af27db1c9978ceu64,
    0xe4b604c3bc66833eu64,
    0xb95aaa083a68bed4u64,
    0x8da71be77dc69323u64,
    0x6046c24b08440a31u64,
    0xe2d71c97cecef35cu64,
    0xd6d7d78fd93874a6u64,
    0xd002d7852b967f09u64,
    0x68a18bed8954b1a1u64,
    0x8303342809c596dau64,
    0x8d1272c1630a362au64,
    0x0da3ad3e155bee0cu64,
    0xf99166cdb27c4e2du64,
    0x5a386a711aa57febu64,
    0xf6b1114f16351f80u64,
    0xb01eb10a91896b25u64,
    0xaac0187b2e3c8f58u64,
    0xb0e0bde8834d176cu64,
    0x59e857f6ed323d08u64,
    0x337587b0a633f338u64,
    0x8a357c5ceab45d3fu64,
    0xf325bd99116292b2u64,
    0x6244fffcd2f64323u64,
    0x0cdf08e6dfa3d604u64,
    0xd6063e91150760f9u64,
    0x924df99040b5cca4u64,
    0x7fdec3b1e7ee9039u64,
    0x1fd84d4bdf069c5au64,
    0x17a9a05ece68913fu64,
    0x93a09f9a2ac0960au64,
    0xbe731b0e91987cfcu64,
    0xc1fc1d299344a78fu64,
    0x47799736a4c5674eu64,
    0x8152a14f454a5125u64,
    0x7ee6c15beeba3eecu64,
    0x3624650aededfe35u64,
    0x16d72743790ea00au64,
    0x19fb10721229ec81u64,
    0x85b1aceb6a41611du64,
    0xdf524520064efa06u64,
    0x677aaa8b5d222d66u64,
    0x130f0e9ac2271108u64,
    0x28aff1e046b71735u64,
    0x33dec074bca34b22u64,
    0x3e6945a213563c01u64,
    0xcae77d352cfc9758u64,
    0xcedd790a1c60eebau64,
    0x817300f38f66047bu64,
    0x19143ae839a27111u64,
    0x2ecc0acd207a9858u64,
    0xac7803cb23f3a28bu64,
    0xea48f53d74c4a58eu64,
    0x431e7d5c8a69c486u64,
    0x11890aabe8c8ad06u64,
    0xae09a61387f214acu64,
    0x7c33bd4baa305554u64,
    0x334bb3febce49b68u64,
    0xc70ad3c513c63193u64,
    0x3cdb8f6956a63248u64,
    0x99f06ae70c10c279u64,
    0x6e16eebd2f2c0682u64,
    0xc18333f3d18e9fb3u64,
    0xbf4fec014eb9c5f2u64,
    0x573e8aebe795dccdu64,
    0x1470ddf9a3e1c943u64,
    0x54953487341b542fu64,
    0x7fa576e8e070fc2cu64,
    0x90401c5f98a95bf9u64,
    0x0d25ed973d7b8ce2u64,
    0xcb09fd1fb002d3bdu64,
    0x7ba0863e1d849e2bu64,
    0x4ca22a556600c773u64,
    0x3f6df49cc12ce3c1u64,
    0x738d31dc605ee312u64,
    0x379f2a78f19e46dau64,
    0xa70e4da2ad50f3b5u64,
    0xcd211a668b700115u64,
    0x50f1d9d72fca8637u64,
    0x079229c4dd6c961eu64,
    0x8961cb65919ca8aau64,
    0x6317c2654032c8c4u64,
    0xf27deaf2e887bb19u64,
    0x8860b0694e63a65au64,
    0x962ef558bdabe56au64,
    0x7e307f71209b9b8fu64,
    0xe0bfc7f6cdbd8364u64,
    0x8c321f42cd134833u64,
    0xa00500f82c987528u64,
    0x8b7ddfa8d0798372u64,
    0xf36a6dfdbfde1193u64,
    0xa420914b5c214895u64,
    0xa701ba76ca82c969u64,
    0x521e71e4b549a449u64,
    0x4cb97e308e25ad40u64,
    0x69d3c134c1e4c4f7u64,
    0x5d2808841f634d77u64,
    0x0d39f5b5f8e294b5u64,
    0xdede80d5373d22c3u64,
    0x43838810d69fd1dcu64,
    0x3a02c5df95fd2717u64,
    0xa4a856f899bf833fu64,
    0x67f4ceaabafdd1f8u64,
    0x54e1be0a1158779bu64,
    0xce0b65bf10ef9877u64,
    0x4ac045f452e94bbcu64,
    0x18fe7d967f50b061u64,
    0x276d362d2d52c961u64,
    0xfe5b48029fe7776bu64,
    0x2dcd8d0d457e60f1u64,
    0x74687da12a33d26eu64,
    0x4cac5e41a22c9a75u64,
    0x2924523a86f1eddau64,
    0x13afd5052de12e78u64,
    0xb8970343b2d85018u64,
    0x64cf7bb3889695bcu64,
    0xcb70b27c29edf774u64,
    0xae2078cc0e7ed6e3u64,
    0x02fb0c044be718b6u64,
    0x7c3b0e8c25ad3b7du64,
    0x18ac41058e1f50a7u64,
    0x6e21b9e1da39f220u64,
    0xb02d9a63e8e30a0au64,
    0x4a7ab37a36f40967u64,
    0xdc74a5b543dfcad1u64,
    0x451536470875301du64,
    0xb594961a00a95e9bu64,
    0x551b6deb38eed0d2u64,
    0x4731b64c6a70b9b7u64,
    0x99f9f0fd9cbc03adu64,
    0x790fcda30f14c748u64,
    0x50ee1335c25bff43u64,
    0x8df5d284dfedee37u64,
    0x71532e198c0eb9abu64,
    0x832cc61cf7be441au64,
    0x8431dfd16e0e5d33u64,
    0xce26f2f74f5ff23bu64,
    0x1e36d36389caa05eu64,
    0x9063d6730be1105bu64,
    0x8426cf9ead688711u64,
    0x9d6ecfce2eebf9efu64,
    0xdb03ee882634231du64,
    0xcddc3adc955b35e5u64,
    0x0088c2423d74a486u64,
    0xf673544c6028be34u64,
    0xa04131d948a27e35u64,
    0xe638bda968cf9bbeu64,
    0xc771048bd8a021fau64,
    0xdad72421848e3455u64,
    0x3823689faf46ef08u64,
    0xdaebe25de0e823e2u64,
    0x042187f1df14f055u64,
    0x4b02678ef80956f9u64,
    0x453c53fbfe998478u64,
    0x8e95702144b82c60u64,
    0x833721170fb20f07u64,
    0x8c32a35c83ac7459u64,
    0xcad051568a627384u64,
    0x7ce5687a7b3e07aau64,
    0xfec3f6664baa644bu64,
    0x9d54519e7a81b5b5u64,
    0x4d55fb62a2619431u64,
    0xc489e75b4e054027u64,
    0x3cd217b9feb7a7a9u64,
    0x0321e049527f5402u64,
    0xf99ba6ac4c9ceaacu64,
    0xafa2b9809ce8bb0bu64,
    0x82ce0815e5fbe2bcu64,
    0xdc0dca97eb94ade6u64,
    0x29168abcf745e0afu64,
    0x5f3e461c04f38e68u64,
    0xc859526f8f744c33u64,
    0x0471b23f96e1b2e6u64,
    0x51d918c90c459322u64,
    0xa65e58d41c659e86u64,
    0xbc0492880c19011au64,
    0x6b87cd75500557dfu64,
    0x98b0f0f3f069d803u64,
    0x0903890e45d25671u64,
    0x4472aad46e94e05bu64,
    0x61ab4ec37a9108b4u64,
    0xc3ee971e1827e088u64,
    0xebc32b8dfc648fd1u64,
    0xa062d075d09d0c81u64,
    0xc0603bad959a4b46u64,
    0xa5527848fc0c9b83u64,
    0xe862cb609b417dffu64,
    0xe022c644b8f057bdu64,
    0x54a4b726776c07aau64,
    0x69a4a18596c5bc07u64,
    0x13fd171b42073056u64,
    0xdaea4fe81bec1e2cu64,
    0xcc0914d4435b2997u64,
    0x9472d97736c7884bu64,
    0x5b2dff6798737fc8u64,
    0x6a9c95ff10c8d257u64,
    0x4d105a26ebb48f1fu64,
    0xa676bd62cd9dd4ccu64,
    0x40c7b3df5320fbb2u64,
    0xf0736459b5743ffdu64,
    0x6b58e23b31d2f8a0u64,
    0xf52472d206cdcfb7u64,
    0xe38f1b3c3b6ca9f2u64,
    0x7d117b425b09c90eu64,
    0xd00d0990764d6dfau64,
    0x21e1eec210678086u64,
    0xa77fb3d15c772e37u64,
    0xee7cbcd634eda0f9u64,
    0xf71b168f0b4c4d03u64,
    0x676423669f2b1feau64,
    0x8718f95c5744ac99u64,
    0x3e814f6ea487ca28u64,
    0xf9b623db5afaf539u64,
    0xbbb6b57918552beau64,
    0xa9321d1e40017b6bu64,
    0xe3fb9e19db9ad9c9u64,
    0x069ee17b941644b7u64,
    0x0d694a1aab075c4au64,
    0x4fd6ed4b4662f84eu64,
    0x018ab024ef4245d0u64,
    0xc0b3b1cd2ea45a6bu64,
    0x9a674e454352db2fu64,
    0x1cac78c74b291487u64,
    0x742b80b29588413au64,
    0x5448d7487ac0d187u64,
    0x16f5a8cce0e2e601u64,
    0x8f5ccc31e4c2ec92u64,
    0x5c3a8f6727a2ea95u64,
    0xbbc9f817cb92ea36u64,
    0x035937eefb453a92u64,
    0xea8c9543b50afef8u64,
    0x235ed31ee2cbd0beu64,
    0xf4216c7ab05dd391u64,
    0x06a58b753dd7f47eu64,
    0xc3d6c97c5230565fu64,
    0x19dc47b841bc91ebu64,
    0x7969dcfb0db20ad2u64,
    0xcd339c65454d3ed2u64,
    0x4b515d1ea4b33ae1u64,
    0x0dce3fede8c618eau64,
    0x2c65a573c8c103c9u64,
    0x913fd343e8dbfdf2u64,
    0x0f19a77d7c89bea0u64,
    0x46c9f43cfe8d3ca8u64,
    0xe940a1e396ce0e8cu64,
    0xac30dde2b90455b5u64,
    0xb7696198ff61b997u64,
    0x4868f7e06b61c5f6u64,
    0x80177a1322c12e73u64,
    0xe705c5c37dfd2fd3u64,
    0x3fb2bc0bf20088b4u64,
    0x363bccd9593b1f88u64,
    0x37c8910a5ad75645u64,
    0xc86d48089fbda682u64,
    0xf94479483ec82424u64,
    0x4ba48007ee523440u64,
    0xdb8cad5458763dacu64,
    0x27035ff601a5775du64,
    0xdbf789243b5760efu64,
    0x921906541c593faau64,
    0xdbd7bf15f41dc3f0u64,
    0x9e382502bbc86285u64,
    0xf16292b70f4af1c5u64,
    0xb84d63e73e5694c9u64,
    0x030038f0b77993e2u64,
    0xdc5ecd77fbd69a0cu64,
    0x7f16a9877e217b18u64,
    0x14c6f6741f211f11u64,
    0x6630e0b9bf94fd17u64,
    0xb86316a4f7aaa58fu64,
    0xfc643b05b63dce6cu64,
    0xa6560b91627721b5u64,
    0x8320ecfd81283657u64,
    0xb5a8c39dbb6e5e23u64,
    0xe826b15b6706a0ecu64,
    0xdcf97c212ab97924u64,
    0xd313f455c110fd56u64,
    0xf492138cfd67e673u64,
    0x7b1a3887c029d13fu64,
    0x3da7f5cb3545e2cfu64,
    0xd3a2c38e32df47a3u64,
    0xc62d0094c162c328u64,
    0x3b3702cbdbfe909au64,
    0x2b832b8487700f2fu64,
    0x4dcc5f984f8a78deu64,
    0x918b8840f5baf78au64,
    0x2c965967f7078317u64,
    0xc8f2762a261e8204u64,
    0xbbcda852563fd22fu64,
    0x5140ee849404ca65u64,
    0xe45f36a8b694ab45u64,
    0x9b24fe28320004dfu64,
    0x3642811b09588ef4u64,
    0xd788dc4fef59972fu64,
    0x0a3a96442083b501u64,
    0x227c1734a268afe3u64,
    0x290e5437196ae2bau64,
    0xef952aacba3f4f69u64,
    0x6ccfb906c6257385u64,
    0xf25e271738cbccc9u64,
    0x388bb6059078cc70u64,
    0x7a855b726e341043u64,
    0x55c948d0443b26c0u64,
    0x4af14082a6d39824u64,
    0x8785dd062f4572d8u64,
    0x2e8450859ed77085u64,
    0xb1e139e09a1e5be6u64,
    0x6f3d0afd812024e4u64,
    0x3678d3ac8ec5fe3eu64,
    0x468f22a9a2b46aabu64,
    0x7975967539fdfd49u64,
    0x3a3560dc389ae61eu64,
    0x6c99f906b7b4a36eu64,
    0x2963c8e15bab0750u64,
    0xce24f1b554416568u64,
    0x2d2dbc483475230au64,
    0x73281531024053e0u64,
    0x7617116008fdabcdu64,
    0x49f30ef0400c0946u64,
    0x9a323c5ac6c1594eu64,
    0x7384b69c2fe14737u64,
    0x3cd39d0aacf4b123u64,
    0x1474da2902df8dfdu64,
    0xd4cb5b4555abd17cu64,
    0x4093dd219148d1eau64,
    0x523ffe88f02e2717u64,
    0x9a859ef4595b5d94u64,
    0xfba7de89b355e9d7u64,
    0xcbe4a7e7ea74bd42u64,
    0xb40dade54c85679du64,
    0x3d02faa4c31f0f0eu64,
    0x45af5a43fe4fdb5bu64,
    0x5f22cb1966e21485u64,
    0x8d2f71c0299d5e78u64,
    0xc311b6c8f3cfb5c5u64,
    0x54fcf08384b17cfcu64,
    0xba4d4267cfdc1b71u64,
    0x80372f0e350aa920u64,
    0xe46a08f72b35ebf6u64,
    0x8a4185b3c3d5c92fu64,
    0x9f38656156f1e1edu64,
    0x065d806b601df2e5u64,
    0x382c64ead6812c9eu64,
    0xdb0eb3157eb4a9a8u64,
    0xbad5f2966684a8fcu64,
    0x99af45facd4bb152u64,
    0x6cbd9df2bcabd086u64,
    0xe588904644dd4d64u64,
    0x24c4d68e4a7e0cf3u64,
    0xd8e4eed8973a24d5u64,
    0xb52b64ab97f9c29au64,
    0x0400dcdca40d8ce7u64,
    0x95aaa38c231ea8ecu64,
    0x2b5fed1a3b68c19eu64,
    0xf0993e0f9e9c3f7fu64,
    0xfaf9230d5e7020c7u64,
    0x8cd41f2333f1277bu64,
    0x73d2955f527964c5u64,
    0x283480d1dc743465u64,
    0x940dbc679f722e6bu64,
    0x759c7a9d40dc74a0u64,
    0xc80d7af3e01cf9b0u64,
    0x4831360b9ff3911bu64,
    0x8047119c09416f0eu64,
    0x451f5b2ecb5504feu64,
    0x7c76297fe49af3b5u64,
    0xd04e4a395c1ea162u64,
    0x5455de5654e27508u64,
    0x80b026fc61b1664cu64,
    0x39a66d48f9fcbffcu64,
    0x10624b8841b04184u64,
    0xb93412265eedd34eu64,
    0x659bdbee52978d0au64,
    0xbab1cb0366d793a9u64,
    0x3d6fc272f1588226u64,
    0x93b07778dae82b37u64,
    0x52afa557f6939375u64,
    0x7a94983330b73a38u64,
    0x93c1c1ad49228f5bu64,
    0xcd6099a1073d6482u64,
    0xfc0b756aa1c7ddbdu64,
    0x5f4a151c1824c829u64,
    0x02909a63aef3eefbu64,
    0xc17b52f0dbd89397u64,
    0xa9b8f77befbc5776u64,
    0xc90b5944c85555ddu64,
    0x05ad91c65a2dea33u64,
    0x581b9be28d61520bu64,
    0x798ca01a3b55be4eu64,
    0xc435d385a46fa6c1u64,
    0x39b884e6fe73365eu64,
    0x826a84511f118d67u64,
    0x94ce8ff134e42dfeu64,
    0xa4594eaa7c79e0abu64,
    0x2f5bb7e4d9863113u64,
    0x22328fc1dd34102au64,
    0x922a4e802855e184u64,
    0xa6eedba3d3dfb782u64,
    0x0a103d6b864cc380u64,
    0xdf591dbcfa3bc90eu64,
    0x7467d19de5885d90u64,
    0xd437324803a0b122u64,
    0xaeeaf37ed6f1c0f8u64,
    0x65c19736a87c9488u64,
    0x2e6bd6cd9cbc783du64,
    0xdcc129a42217657fu64,
    0xfff0a2971827d4c9u64,
    0xee17ca08aa888c93u64,
    0xad004364a1267202u64,
    0x5a1858dc3a625f09u64,
    0xc872bc0fbf8a5350u64,
    0x4c02cb7a7428a2afu64,
    0x6ee5107f63a013e8u64,
    0x611b619d3d71ff50u64,
    0xa6f364e2a71e0250u64,
    0x343eaada15f58825u64,
    0x2ba817c5977d86feu64,
    0x7c7ab51d36ae0beau64,
    0xc912a9b717f8ac80u64,
    0x751f6d26cd92a88eu64,
    0xa1c66600137b590bu64,
    0xddde94adae44c793u64,
    0x3602893cc5fb9465u64,
    0x53fbbac7f4883a94u64,
    0xdc93e87d60d1e284u64,
    0xbc365eda830fbb94u64,
    0x5c0331dabeba9a60u64,
    0xb9fed85727bd2af9u64,
    0xba6cba470a6781beu64,
    0xbdae4a1de6209566u64,
    0xcd685fa9ed7d2a07u64,
    0x52e3b379219165d6u64,
    0x03ace6265e255f65u64,
    0xd3ce5e1dc1ebbc98u64,
    0x31a4f7c4765f42b9u64,
    0x1816fcc720964226u64,
    0x5af18278f263302eu64,
    0xe8408c7fb70f04efu64,
    0xe6e00de18a92af6eu64,
    0x5ac1d7c694ea9384u64,
    0x5720bbd6e17f27cau64,
    0xc0bfda4838c0a0cdu64,
    0x8891314377c5c1ceu64,
    0xf73c59f42e342631u64,
    0xdfba9386cd8c911bu64,
    0x88ae1accf2d3b7d4u64,
    0x37a50df2549e2483u64,
    0xd467c1da0438a95au64,
    0x7bf166c31e273fabu64,
    0xd6d2cd348367c5ccu64,
    0xb8a9df4bcc6118d0u64,
    0xe971bf3bf4194b99u64,
    0x8d0a43cf4a654e5bu64,
    0x0dc1dd89322ca5c3u64,
    0xc48380deabb23363u64,
    0x8c7dd54dac2a0dbau64,
    0x8485a1dc20e7df58u64,
    0x9d699a56ef536d74u64,
    0x4028fa9730766c68u64,
    0xa4b8cffd806f8fc0u64,
    0x2e8fa0bda00fd155u64,
    0x04497fe00411fcebu64,
    0xb7e7d53dbed496dfu64,
    0x4252b54d01b6dc29u64,
    0xc138a56f904c9df4u64,
    0xa6d0c9dbfed0e668u64,
    0x22b15442fd5b1331u64,
    0x66e16bb9b14e756fu64,
    0x88f5f86ab2915586u64,
    0x6b650cc7c4f41281u64,
    0x99eee1dcba3dd0ffu64,
    0x60ab7eb50b6129d1u64,
    0xb2e9fac8b4e3ebf5u64,
    0x219007c91446448cu64,
    0x5a5e6a72dbb9743bu64,
    0x5359fa3041f37150u64,
    0xed75173b3f10caffu64,
    0x32d7101dde00633cu64,
    0x1a76945cfd96317au64,
    0x3093c632e27659fdu64,
    0x3f8dc3cec97d5da6u64,
    0x53b8e71d8575298bu64,
    0x4ad3d0eefdcab589u64,
    0x2aff9b8400084673u64,
    0xaf617981d01788e4u64,
    0xf354bbca2c5ba3d9u64,
    0x4d2c93d55a3a2c3fu64,
    0x862e1a64dc4b02a0u64,
    0x48bcb6a7536b45a4u64,
    0xa037e8f116b81d54u64,
    0x864dcdc4219bba94u64,
    0x8ded7c57e8e072cau64,
    0x6bbbf11e39d0cfefu64,
    0x30d570dc9066e198u64,
    0x379f777159777ff0u64,
    0x3782e9fb1b80e0cfu64,
    0x2443ed5402c19f64u64,
    0xe623c7945e447698u64,
    0x04b129e49b4af2c6u64,
    0xb74dcdefeeb92bacu64,
    0x22c21f1c5e491cecu64,
    0xd6e38cae64fa32bdu64,
    0x814e5111cacc2c62u64,
    0x8d518dd58941dd42u64,
    0x66b50953da96c9acu64,
    0x1a0dc5b10f67d34eu64,
    0xbc9b35c7e74977ffu64,
    0xd328e25125f9ea56u64,
    0x037d6155f9b04b3bu64,
    0x0eeb5a021eaaf710u64,
    0xe5b8abec5a2bb91eu64,
    0xdddfb7263681a0d7u64,
    0xdff62b4261429115u64,
    0x7951e16a2dcb212fu64,
    0x1e718209c4997d14u64,
    0xae35cc615a738865u64,
    0x7954d41176968751u64,
    0x108c0622d305a85eu64,
    0x486e9f2bae384be3u64,
    0xe1c9618f653f390fu64,
    0x89d21e79189f0a90u64,
    0x87666b7b28b2b63au64,
    0xa172ac0b970f0c4bu64,
    0xdfa9e4078ca26c5du64,
    0x0b9aa7a20a2f9136u64,
    0xbbe75a0527d33af5u64,
    0xdb20748f0e880f21u64,
    0x92d1a944b9c2cc8fu64,
    0xa887d8ad7e48bddeu64,
    0x052c22591e39f932u64,
    0x42c55e93519195e1u64,
    0x8d092e4c56ea4625u64,
    0xcf1eca0858904f08u64,
    0xbdf11765ea550e2bu64,
    0x35af430b91e2e880u64,
    0x34b1652a53dedfa0u64,
    0xdd5aed9253dd2016u64,
    0x023e515186981a1bu64,
    0x2688866c6859ce84u64,
    0x07f609787adbdb88u64,
    0xc9bcc491a0ef2f77u64,
    0x5ebff9eb8e86ecd8u64,
    0x003cbd6a94817f57u64,
    0x27e864f6502f28afu64,
    0xeb23b677ef3cde22u64,
    0xb842f3abc75e5ac0u64,
    0x8ae45b06cb315dd9u64,
    0xe6019d35966fe4b6u64,
    0x77ed4d7871e65c47u64,
    0xd9dcfc45565e9dd8u64,
    0x3f3a94eb36501335u64,
    0x168cf34f315a74ceu64,
    0xccdeadeb12c8f742u64,
    0x903a3bc72eb6e730u64,
    0x0d18db17a7b55cf7u64,
    0x027b0eaf0149f8c1u64,
    0x7454ed83e5afbcd2u64,
    0xf093c14be10b848au64,
    0x117b8fe0612ba25cu64,
    0xfb1bbbebf1511c32u64,
    0xde3d3f558da62788u64,
    0x81cefe3c56a63e3cu64,
    0x808edd39739424e9u64,
    0x6a4098b0d1f68a21u64,
    0xc15559a8a6694883u64,
    0x8642811fe238d154u64,
    0x2042b4535724e040u64,
    0x0147d5b5ba8d06b3u64,
    0x9634aa9e63faa25bu64,
    0x6ca680fd704c29fbu64,
    0x17e7b48abece6d30u64,
    0x518e67c80b2df330u64,
    0x849c20a7fa51a95bu64,
    0xb6a9ba4c0148c21cu64,
    0xf15346a188bc7c0du64,
    0xb0caf0e54952c04eu64,
    0xc38f5bc97f2e1cf5u64,
    0x9bb0ce74f7214846u64,
    0x100ce94fcdf6ba3fu64,
    0x83cfda62b11092afu64,
    0x24b3ecb0580a2e70u64,
    0xd63c66e3609a72d0u64,
    0xbb019c1df325b71eu64,
    0xa235892634f09da6u64,
    0x8b7bb697a62b28e4u64,
    0x72780ca6cc37a33du64,
    0x3d4105927c719bfeu64,
    0x9d6de4efc66af83fu64,
    0x4893b8fd02d58e69u64,
    0x9c7035a28cc43ddfu64,
    0x7a4201af8686cb87u64,
    0xddbe1bb320ff707fu64,
    0x2a1d3626fd9d5e8cu64,
    0xe471184ff97cd9c0u64,
    0x2a2ed5c026b5bc48u64,
    0xcfa0d9ff71f120e9u64,
    0xc92e7b76eed97a04u64,
    0xd80d270e93d92cbeu64,
    0xcab996739436a28cu64,
    0x7411c178d6a0cc42u64,
    0x051b2091d03357a3u64,
    0xd64b4405dcf7d7f6u64,
    0x18f95d4c5c8b3d6du64,
    0x5e3f16624b834396u64,
    0xf5046252ed5bfe90u64,
    0xad7dce9584a4f865u64,
    0x50cdda5b84ffdb27u64,
    0xf1246d3505c0da7cu64,
    0x1031ee90dedc79b4u64,
    0x99409b577c081fcau64,
    0x664c7f4f1b4d68b0u64,
    0xd78d714ad16a2d97u64,
    0x15b1e5b3a106b873u64,
    0x8f1f77af15ec99cfu64,
    0x25b4b0ce175ca086u64,
    0x09002d966e563f5fu64,
    0x53c20718b90a909du64,
    0x906509ecbeaa2168u64,
    0xae6c7b25d0282cc9u64,
    0x260f906c0599af1fu64,
    0xe77fad487a24d5a5u64,
    0x0f914efb75b0ea7du64,
    0x7584b746e5bbd08bu64,
    0xae95d35c31a18e3fu64,
    0x1560aefb1cf2b912u64,
    0xaff7a6a5d2b223c5u64,
    0xb4461d12225a6c64u64,
    0x3c572019f2ee97c4u64,
    0x42f349edbae36833u64,
    0x0e05cf63c06ad4f3u64,
    0xaf450ff674bc724au64,
    0xf48c5b768b6d4e16u64,
    0xc2678c86dfca1b17u64,
    0xc6b1c2bd370e3d15u64,
    0xaa7e82db85741ca1u64,
    0x8ad4ef691a70c302u64,
    0x685ea34c839108bdu64,
    0xbc91533a604e9539u64,
    0x96fd0062496ffc8fu64,
    0x7811bd27b34c8e00u64,
    0x5c849f285e09f489u64,
    0x31173ce56f085b52u64,
    0xee83d46e93993392u64,
    0x8fa7b0500890b4b7u64,
    0xbd70197c26dfc8f9u64,
    0x607ae95a948a095bu64,
    0x19c4a4058799ec55u64,
    0xc5a9fc21e5df09c0u64,
    0xb84aab0833ab7396u64,
    0x76c6586a1d825cbbu64,
    0xf59bf07bafbce6c0u64,
    0x006cdbc5d26a45a8u64,
    0xdcc25a9f0621f62du64,
    0xcc8c4e48a08511eau64,
    0x83d4b2ef97f02b4fu64,
    0xf7ffdea8960c5e39u64,
    0x2dc0d8ac3c6a6140u64,
    0x41c7b8500839b853u64,
    0xbbf5cd196fe639a6u64,
    0x3e1079e27b02dffbu64,
    0xa76cec86758c2bb9u64,
    0xb5616951a3210279u64,
    0x4895fc655659c663u64,
    0x10b487b086474df6u64,
    0x5af2a8975c049bdeu64,
    0xbfdefe754304b65eu64,
    0x45b88c628f6ddc35u64,
    0x529cedfe80894bbbu64,
    0x7893ca4f2876b58bu64,
    0x4fb8edac55faa221u64,
    0x2cb1f57fc830f42bu64,
    0xab2fd4ff09cb15a3u64,
    0xf8807ae98e7be19bu64,
    0xfdd9ceb0831438e7u64,
    0x02140517e93e594eu64,
    0xf90b46d491978b57u64,
    0x8af75603e59942a8u64,
    0xf8c3ff97b4a6bbfeu64,
    0x0222dbce5a80eb73u64,
    0x696fc14aaddf5091u64,
    0x002eab000050eaf6u64,
    0x9ce095f19a33943du64,
    0x80509f3e3a14154bu64,
    0xef12f29f6a70c823u64,
    0x90845e3b835067aau64,
    0x58761d7bcbf5bfafu64,
    0x3642ebf4684689bdu64,
    0x3ad94a5b0b136d36u64,
    0xe5769f142ec75540u64,
    0x41c63560da077771u64,
    0xa6dec4bf6abd9c76u64,
    0x30f9b73ada41ced5u64,
    0x8be437bb6bd7f13cu64,
    0x4dd52d0a7130f1dau64,
    0x21dd6c4a48b349bfu64,
    0x4d075b28be81b1abu64,
    0x2015abdd10265d21u64,
    0x2e57d1809f4e64dau64,
    0x7c68260b225bc190u64,
    0x4f642e4470619c09u64,
    0x9c0ceb14698f06a0u64,
    0xf549ec5d615c2ca5u64,
    0x9b3dab7e656689e4u64,
    0x169bd9fd0b0f502cu64,
    0x789e4c2ec3f5e913u64,
    0x54ad454b45213a92u64,
    0x52de32b560a08c4cu64,
    0xaf256539d19378beu64,
    0x19d0d644bb379c2au64,
    0xb8ef87180876303eu64,
    0x7a3fd33298b522c7u64,
    0x5c0eda92e2aa0b9bu64,
    0xe706ec9a4b3f63e5u64,
    0x74793954c032caf6u64,
    0xe48b4617201177d1u64,
    0x230ea19a354026d7u64,
    0xb76ec257f03435c3u64,
    0x3ae38f8730b58355u64,
    0x0e606e9ed3e4cdbbu64,
    0xee7f1435578a6bfeu64,
    0xc33acb0d48cee739u64,
    0x22581eea220f8529u64,
    0xf32247ee8044013cu64,
    0xcfbfe9054abe9d9bu64,
    0x62222d068cc9f967u64,
    0x5995fbbf99cd639cu64,
    0xc6cc45300d6c5b46u64,
    0x1481dbe1357202fcu64,
    0xb7a96a728972b607u64,
    0x99214f30845f2d92u64,
    0xa8ce40ff3821861cu64,
    0xe977cd5cc68e5635u64,
    0x45b2e656365f11a6u64,
    0x2e1946bfb828464eu64,
    0x6c712927b73539a1u64,
    0x4cf2a263c2ee4064u64,
    0x55d73a52543b8718u64,
    0xd536ce475c222659u64,
    0x5b4323b0d024f2f4u64,
    0x2be31ce217972835u64,
    0xd2056238a7be6027u64,
    0x2472b58e5c2c68a5u64,
    0xee0cfa3c3cdbcb3au64,
    0x2bc3d67c2a9456a6u64,
    0xccec927102ba9f8bu64,
    0x99d4d26634f2c7eeu64,
    0x90cd28b0a49941bcu64,
    0x4bed3658846db60du64,
    0xa2aabe2ded518020u64,
    0xede9c05c8179f062u64,
    0x7e3e3c3949ed0d33u64,
];

const SAN90: [&str; 90] = [
    "a9", "b9", "c9", "d9", "e9", "f9", "g9", "h9", "i9", "a8", "b8", "c8", "d8", "e8", "f8", "g8",
    "h8", "i8", "a7", "b7", "c7", "d7", "e7", "f7", "g7", "h7", "i7", "a6", "b6", "c6", "d6", "e6",
    "f6", "g6", "h6", "i6", "a5", "b5", "c5", "d5", "e5", "f5", "g5", "h5", "i5", "a4", "b4", "c4",
    "d4", "e4", "f4", "g4", "h4", "i4", "a3", "b3", "c3", "d3", "e3", "f3", "g3", "h3", "i3", "a2",
    "b2", "c2", "d2", "e2", "f2", "g2", "h2", "i2", "a1", "b1", "c1", "d1", "e1", "f1", "g1", "h1",
    "i1", "a0", "b0", "c0", "d0", "e0", "f0", "g0", "h0", "i0",
];

#[inline]
fn piece_chess_index(ch: char) -> Option<usize> {
    match ch {
        'K' => Some(0),
        'A' => Some(1),
        'B' => Some(2),
        'N' => Some(3),
        'R' => Some(4),
        'C' => Some(5),
        'P' => Some(6),
        'k' => Some(7),
        'a' => Some(8),
        'b' => Some(9),
        'n' => Some(10),
        'r' => Some(11),
        'c' => Some(12),
        'p' => Some(13),
        _ => None,
    }
}

/// 与 `ZobristUtils.getZobristFromBoard` 一致；空位为 `.` 或空格。
pub fn zobrist_from_board(
    board: &[[char; 9]; 10],
    red_to_move: bool,
    left_right_swap: bool,
) -> Option<i64> {
    let mut z: i64 = 0;
    for (y, row) in board.iter().enumerate().take(10) {
        for (x, &cell) in row.iter().enumerate().take(9) {
            let mut ch = cell;
            if ch == '.' {
                ch = ' ';
            }
            if ch == ' ' {
                continue;
            }
            let chess = piece_chess_index(ch)?;
            let ix = if left_right_swap {
                (8usize - x) + y * 9
            } else {
                x + y * 9
            };
            let square = C90[ix] as usize;
            let idx = chess * 256 + square;
            z ^= ZOBRIST_TABLE[idx] as i64;
        }
    }
    if red_to_move {
        z ^= ZOBRIST_PLAYER;
    }
    Some(z)
}

/// 返回 (未左右镜像 Zobrist, 列镜像后 Zobrist)，与 Pf/Bh 开局库两次查询一致。
pub fn zobrist_pair_from_fen(fen: &str) -> Option<(i64, i64)> {
    let board = fen_to_board_matrix(fen)?;
    let red_to_move = fen_active_side_is_red(fen);
    let z1 = zobrist_from_board(&board, red_to_move, false)?;
    let z2 = zobrist_from_board(&board, red_to_move, true)?;
    Some((z1, z2))
}

#[inline]
fn san_for_c90_byte(b: u8) -> Option<&'static str> {
    C90.iter()
        .zip(SAN90.iter())
        .find(|(c, _)| **c == b)
        .map(|(_, s)| *s)
}

/// `vmove` 编码 → 引擎 UCI 四字符（如 `h2e2`），与 `ZobristUtils.getMoveFromVmove` 一致。
pub fn vmove_to_engine_uci(vmove: i32, left_right_swap: bool) -> Option<String> {
    let mut first = (vmove >> 8) & 0xFF;
    let mut second = vmove & 0xFF;
    if left_right_swap {
        first = (first & !15) | (14 - (first % 16));
        second = (second & !15) | (14 - (second % 16));
    }
    let a = san_for_c90_byte(first as u8)?;
    let b = san_for_c90_byte(second as u8)?;
    Some(format!("{a}{b}"))
}

fn fen_active_side_is_red(fen: &str) -> bool {
    let side = fen.split_whitespace().nth(1).unwrap_or("r");
    matches!(side, "w" | "W" | "r" | "R")
}

fn fen_to_board_matrix(fen: &str) -> Option<[[char; 9]; 10]> {
    let board_part = fen.split_whitespace().next()?;
    let mut board = [['.'; 9]; 10];
    let mut row = 0usize;
    let mut col = 0usize;

    for ch in board_part.chars() {
        match ch {
            '/' => {
                if col != 9 || row >= 9 {
                    return None;
                }
                row += 1;
                col = 0;
            }
            '1'..='9' => {
                let count = ch.to_digit(10)? as usize;
                if col + count > 9 {
                    return None;
                }
                for _ in 0..count {
                    board[row][col] = '.';
                    col += 1;
                }
            }
            piece if piece.is_ascii_alphabetic() => {
                if row >= 10 || col >= 9 {
                    return None;
                }
                board[row][col] = piece;
                col += 1;
            }
            _ => return None,
        }
    }

    if row != 9 || col != 9 {
        return None;
    }
    Some(board)
}