@li0ard/strumok/dist/const.js

Strumok (DSTU 8845:2019) cipher implementation in pure TypeScript

export const ALPHA_MUL = new BigUint64Array([
    0x0000000000000000n, 0xd73f04125e000004n, 0xb37e0824bc000008n, 0x64410c36e200000cn,
    0x7bfc104865000010n, 0xacc3145a3b000014n, 0xc882186cd9000018n, 0x1fbd1c7e8700001cn,
    0xf6e52090ca000020n, 0x21da248294000024n, 0x459b28b476000028n, 0x92a42ca62800002cn,
    0x8d1930d8af000030n, 0x5a2634caf1000034n, 0x3e6738fc13000038n, 0xe9583cee4d00003cn,
    0xf1d7403d89000040n, 0x26e8442fd7000044n, 0x42a9481935000048n, 0x95964c0b6b00004cn,
    0x8a2b5075ec000050n, 0x5d145467b2000054n, 0x3955585150000058n, 0xee6a5c430e00005cn,
    0x073260ad43000060n, 0xd00d64bf1d000064n, 0xb44c6889ff000068n, 0x63736c9ba100006cn,
    0x7cce70e526000070n, 0xabf174f778000074n, 0xcfb078c19a000078n, 0x188f7cd3c400007cn,
    0xffb3807a0f000080n, 0x288c846851000084n, 0x4ccd885eb3000088n, 0x9bf28c4ced00008cn,
    0x844f90326a000090n, 0x5370942034000094n, 0x37319816d6000098n, 0xe00e9c048800009cn,
    0x0956a0eac50000a0n, 0xde69a4f89b0000a4n, 0xba28a8ce790000a8n, 0x6d17acdc270000acn,
    0x72aab0a2a00000b0n, 0xa595b4b0fe0000b4n, 0xc1d4b8861c0000b8n, 0x16ebbc94420000bcn,
    0x0e64c047860000c0n, 0xd95bc455d80000c4n, 0xbd1ac8633a0000c8n, 0x6a25cc71640000ccn,
    0x7598d00fe30000d0n, 0xa2a7d41dbd0000d4n, 0xc6e6d82b5f0000d8n, 0x11d9dc39010000dcn,
    0xf881e0d74c0000e0n, 0x2fbee4c5120000e4n, 0x4bffe8f3f00000e8n, 0x9cc0ece1ae0000ecn,
    0x837df09f290000f0n, 0x5442f48d770000f4n, 0x3003f8bb950000f8n, 0xe73cfca9cb0000fcn,
    0xe37b1df41e00001dn, 0x344419e640000019n, 0x500515d0a2000015n, 0x873a11c2fc000011n,
    0x98870dbc7b00000dn, 0x4fb809ae25000009n, 0x2bf90598c7000005n, 0xfcc6018a99000001n,
    0x159e3d64d400003dn, 0xc2a139768a000039n, 0xa6e0354068000035n, 0x71df315236000031n,
    0x6e622d2cb100002dn, 0xb95d293eef000029n, 0xdd1c25080d000025n, 0x0a23211a53000021n,
    0x12ac5dc99700005dn, 0xc59359dbc9000059n, 0xa1d255ed2b000055n, 0x76ed51ff75000051n,
    0x69504d81f200004dn, 0xbe6f4993ac000049n, 0xda2e45a54e000045n, 0x0d1141b710000041n,
    0xe4497d595d00007dn, 0x3376794b03000079n, 0x5737757de1000075n, 0x8008716fbf000071n,
    0x9fb56d113800006dn, 0x488a690366000069n, 0x2ccb653584000065n, 0xfbf46127da000061n,
    0x1cc89d8e1100009dn, 0xcbf7999c4f000099n, 0xafb695aaad000095n, 0x788991b8f3000091n,
    0x67348dc67400008dn, 0xb00b89d42a000089n, 0xd44a85e2c8000085n, 0x037581f096000081n,
    0xea2dbd1edb0000bdn, 0x3d12b90c850000b9n, 0x5953b53a670000b5n, 0x8e6cb128390000b1n,
    0x91d1ad56be0000adn, 0x46eea944e00000a9n, 0x22afa572020000a5n, 0xf590a1605c0000a1n,
    0xed1fddb3980000ddn, 0x3a20d9a1c60000d9n, 0x5e61d597240000d5n, 0x895ed1857a0000d1n,
    0x96e3cdfbfd0000cdn, 0x41dcc9e9a30000c9n, 0x259dc5df410000c5n, 0xf2a2c1cd1f0000c1n,
    0x1bfafd23520000fdn, 0xccc5f9310c0000f9n, 0xa884f507ee0000f5n, 0x7fbbf115b00000f1n,
    0x6006ed6b370000edn, 0xb739e979690000e9n, 0xd378e54f8b0000e5n, 0x0447e15dd50000e1n,
    0xdbf63af53c00003an, 0x0cc93ee76200003en, 0x688832d180000032n, 0xbfb736c3de000036n,
    0xa00a2abd5900002an, 0x77352eaf0700002en, 0x13742299e5000022n, 0xc44b268bbb000026n,
    0x2d131a65f600001an, 0xfa2c1e77a800001en, 0x9e6d12414a000012n, 0x4952165314000016n,
    0x56ef0a2d9300000an, 0x81d00e3fcd00000en, 0xe59102092f000002n, 0x32ae061b71000006n,
    0x2a217ac8b500007an, 0xfd1e7edaeb00007en, 0x995f72ec09000072n, 0x4e6076fe57000076n,
    0x51dd6a80d000006an, 0x86e26e928e00006en, 0xe2a362a46c000062n, 0x359c66b632000066n,
    0xdcc45a587f00005an, 0x0bfb5e4a2100005en, 0x6fba527cc3000052n, 0xb885566e9d000056n,
    0xa7384a101a00004an, 0x70074e024400004en, 0x14464234a6000042n, 0xc3794626f8000046n,
    0x2445ba8f330000ban, 0xf37abe9d6d0000ben, 0x973bb2ab8f0000b2n, 0x4004b6b9d10000b6n,
    0x5fb9aac7560000aan, 0x8886aed5080000aen, 0xecc7a2e3ea0000a2n, 0x3bf8a6f1b40000a6n,
    0xd2a09a1ff900009an, 0x059f9e0da700009en, 0x61de923b45000092n, 0xb6e196291b000096n,
    0xa95c8a579c00008an, 0x7e638e45c200008en, 0x1a22827320000082n, 0xcd1d86617e000086n,
    0xd592fab2ba0000fan, 0x02adfea0e40000fen, 0x66ecf296060000f2n, 0xb1d3f684580000f6n,
    0xae6eeafadf0000ean, 0x7951eee8810000een, 0x1d10e2de630000e2n, 0xca2fe6cc3d0000e6n,
    0x2377da22700000dan, 0xf448de302e0000den, 0x9009d206cc0000d2n, 0x4736d614920000d6n,
    0x588bca6a150000can, 0x8fb4ce784b0000cen, 0xebf5c24ea90000c2n, 0x3ccac65cf70000c6n,
    0x388d270122000027n, 0xefb223137c000023n, 0x8bf32f259e00002fn, 0x5ccc2b37c000002bn,
    0x4371374947000037n, 0x944e335b19000033n, 0xf00f3f6dfb00003fn, 0x27303b7fa500003bn,
    0xce680791e8000007n, 0x19570383b6000003n, 0x7d160fb55400000fn, 0xaa290ba70a00000bn,
    0xb59417d98d000017n, 0x62ab13cbd3000013n, 0x06ea1ffd3100001fn, 0xd1d51bef6f00001bn,
    0xc95a673cab000067n, 0x1e65632ef5000063n, 0x7a246f181700006fn, 0xad1b6b0a4900006bn,
    0xb2a67774ce000077n, 0x6599736690000073n, 0x01d87f507200007fn, 0xd6e77b422c00007bn,
    0x3fbf47ac61000047n, 0xe88043be3f000043n, 0x8cc14f88dd00004fn, 0x5bfe4b9a8300004bn,
    0x444357e404000057n, 0x937c53f65a000053n, 0xf73d5fc0b800005fn, 0x20025bd2e600005bn,
    0xc73ea77b2d0000a7n, 0x1001a369730000a3n, 0x7440af5f910000afn, 0xa37fab4dcf0000abn,
    0xbcc2b733480000b7n, 0x6bfdb321160000b3n, 0x0fbcbf17f40000bfn, 0xd883bb05aa0000bbn,
    0x31db87ebe7000087n, 0xe6e483f9b9000083n, 0x82a58fcf5b00008fn, 0x559a8bdd0500008bn,
    0x4a2797a382000097n, 0x9d1893b1dc000093n, 0xf9599f873e00009fn, 0x2e669b956000009bn,
    0x36e9e746a40000e7n, 0xe1d6e354fa0000e3n, 0x8597ef62180000efn, 0x52a8eb70460000ebn,
    0x4d15f70ec10000f7n, 0x9a2af31c9f0000f3n, 0xfe6bff2a7d0000ffn, 0x2954fb38230000fbn,
    0xc00cc7d66e0000c7n, 0x1733c3c4300000c3n, 0x7372cff2d20000cfn, 0xa44dcbe08c0000cbn,
    0xbbf0d79e0b0000d7n, 0x6ccfd38c550000d3n, 0x088edfbab70000dfn, 0xdfb1dba8e90000dbn
]);
export const ALPHA_MUL_INV = new BigUint64Array([
    0x0000000000000000n, 0x47fcc6018a990000n, 0x8ee59102092f0000n, 0xc919570383b60000n,
    0x01d73f04125e0000n, 0x462bf90598c70000n, 0x8f32ae061b710000n, 0xc8ce680791e80000n,
    0x02b37e0824bc0000n, 0x454fb809ae250000n, 0x8c56ef0a2d930000n, 0xcbaa290ba70a0000n,
    0x0364410c36e20000n, 0x4498870dbc7b0000n, 0x8d81d00e3fcd0000n, 0xca7d160fb5540000n,
    0x047bfc1048650000n, 0x43873a11c2fc0000n, 0x8a9e6d12414a0000n, 0xcd62ab13cbd30000n,
    0x05acc3145a3b0000n, 0x42500515d0a20000n, 0x8b49521653140000n, 0xccb59417d98d0000n,
    0x06c882186cd90000n, 0x41344419e6400000n, 0x882d131a65f60000n, 0xcfd1d51bef6f0000n,
    0x071fbd1c7e870000n, 0x40e37b1df41e0000n, 0x89fa2c1e77a80000n, 0xce06ea1ffd310000n,
    0x08f6e52090ca0000n, 0x4f0a23211a530000n, 0x8613742299e50000n, 0xc1efb223137c0000n,
    0x0921da2482940000n, 0x4edd1c25080d0000n, 0x87c44b268bbb0000n, 0xc0388d2701220000n,
    0x0a459b28b4760000n, 0x4db95d293eef0000n, 0x84a00a2abd590000n, 0xc35ccc2b37c00000n,
    0x0b92a42ca6280000n, 0x4c6e622d2cb10000n, 0x8577352eaf070000n, 0xc28bf32f259e0000n,
    0x0c8d1930d8af0000n, 0x4b71df3152360000n, 0x82688832d1800000n, 0xc5944e335b190000n,
    0x0d5a2634caf10000n, 0x4aa6e03540680000n, 0x83bfb736c3de0000n, 0xc443713749470000n,
    0x0e3e6738fc130000n, 0x49c2a139768a0000n, 0x80dbf63af53c0000n, 0xc727303b7fa50000n,
    0x0fe9583cee4d0000n, 0x48159e3d64d40000n, 0x810cc93ee7620000n, 0xc6f00f3f6dfb0000n,
    0x10f1d7403d890000n, 0x570d1141b7100000n, 0x9e14464234a60000n, 0xd9e88043be3f0000n,
    0x1126e8442fd70000n, 0x56da2e45a54e0000n, 0x9fc3794626f80000n, 0xd83fbf47ac610000n,
    0x1242a94819350000n, 0x55be6f4993ac0000n, 0x9ca7384a101a0000n, 0xdb5bfe4b9a830000n,
    0x1395964c0b6b0000n, 0x5469504d81f20000n, 0x9d70074e02440000n, 0xda8cc14f88dd0000n,
    0x148a2b5075ec0000n, 0x5376ed51ff750000n, 0x9a6fba527cc30000n, 0xdd937c53f65a0000n,
    0x155d145467b20000n, 0x52a1d255ed2b0000n, 0x9bb885566e9d0000n, 0xdc444357e4040000n,
    0x1639555851500000n, 0x51c59359dbc90000n, 0x98dcc45a587f0000n, 0xdf20025bd2e60000n,
    0x17ee6a5c430e0000n, 0x5012ac5dc9970000n, 0x990bfb5e4a210000n, 0xdef73d5fc0b80000n,
    0x18073260ad430000n, 0x5ffbf46127da0000n, 0x96e2a362a46c0000n, 0xd11e65632ef50000n,
    0x19d00d64bf1d0000n, 0x5e2ccb6535840000n, 0x97359c66b6320000n, 0xd0c95a673cab0000n,
    0x1ab44c6889ff0000n, 0x5d488a6903660000n, 0x9451dd6a80d00000n, 0xd3ad1b6b0a490000n,
    0x1b63736c9ba10000n, 0x5c9fb56d11380000n, 0x9586e26e928e0000n, 0xd27a246f18170000n,
    0x1c7cce70e5260000n, 0x5b8008716fbf0000n, 0x92995f72ec090000n, 0xd565997366900000n,
    0x1dabf174f7780000n, 0x5a5737757de10000n, 0x934e6076fe570000n, 0xd4b2a67774ce0000n,
    0x1ecfb078c19a0000n, 0x593376794b030000n, 0x902a217ac8b50000n, 0xd7d6e77b422c0000n,
    0x1f188f7cd3c40000n, 0x58e4497d595d0000n, 0x91fd1e7edaeb0000n, 0xd601d87f50720000n,
    0x20ffb3807a0f0000n, 0x67037581f0960000n, 0xae1a228273200000n, 0xe9e6e483f9b90000n,
    0x21288c8468510000n, 0x66d44a85e2c80000n, 0xafcd1d86617e0000n, 0xe831db87ebe70000n,
    0x224ccd885eb30000n, 0x65b00b89d42a0000n, 0xaca95c8a579c0000n, 0xeb559a8bdd050000n,
    0x239bf28c4ced0000n, 0x6467348dc6740000n, 0xad7e638e45c20000n, 0xea82a58fcf5b0000n,
    0x24844f90326a0000n, 0x63788991b8f30000n, 0xaa61de923b450000n, 0xed9d1893b1dc0000n,
    0x2553709420340000n, 0x62afb695aaad0000n, 0xabb6e196291b0000n, 0xec4a2797a3820000n,
    0x2637319816d60000n, 0x61cbf7999c4f0000n, 0xa8d2a09a1ff90000n, 0xef2e669b95600000n,
    0x27e00e9c04880000n, 0x601cc89d8e110000n, 0xa9059f9e0da70000n, 0xeef9599f873e0000n,
    0x280956a0eac50000n, 0x6ff590a1605c0000n, 0xa6ecc7a2e3ea0000n, 0xe11001a369730000n,
    0x29de69a4f89b0000n, 0x6e22afa572020000n, 0xa73bf8a6f1b40000n, 0xe0c73ea77b2d0000n,
    0x2aba28a8ce790000n, 0x6d46eea944e00000n, 0xa45fb9aac7560000n, 0xe3a37fab4dcf0000n,
    0x2b6d17acdc270000n, 0x6c91d1ad56be0000n, 0xa58886aed5080000n, 0xe27440af5f910000n,
    0x2c72aab0a2a00000n, 0x6b8e6cb128390000n, 0xa2973bb2ab8f0000n, 0xe56bfdb321160000n,
    0x2da595b4b0fe0000n, 0x6a5953b53a670000n, 0xa34004b6b9d10000n, 0xe4bcc2b733480000n,
    0x2ec1d4b8861c0000n, 0x693d12b90c850000n, 0xa02445ba8f330000n, 0xe7d883bb05aa0000n,
    0x2f16ebbc94420000n, 0x68ea2dbd1edb0000n, 0xa1f37abe9d6d0000n, 0xe60fbcbf17f40000n,
    0x300e64c047860000n, 0x77f2a2c1cd1f0000n, 0xbeebf5c24ea90000n, 0xf91733c3c4300000n,
    0x31d95bc455d80000n, 0x76259dc5df410000n, 0xbf3ccac65cf70000n, 0xf8c00cc7d66e0000n,
    0x32bd1ac8633a0000n, 0x7541dcc9e9a30000n, 0xbc588bca6a150000n, 0xfba44dcbe08c0000n,
    0x336a25cc71640000n, 0x7496e3cdfbfd0000n, 0xbd8fb4ce784b0000n, 0xfa7372cff2d20000n,
    0x347598d00fe30000n, 0x73895ed1857a0000n, 0xba9009d206cc0000n, 0xfd6ccfd38c550000n,
    0x35a2a7d41dbd0000n, 0x725e61d597240000n, 0xbb4736d614920000n, 0xfcbbf0d79e0b0000n,
    0x36c6e6d82b5f0000n, 0x713a20d9a1c60000n, 0xb82377da22700000n, 0xffdfb1dba8e90000n,
    0x3711d9dc39010000n, 0x70ed1fddb3980000n, 0xb9f448de302e0000n, 0xfe088edfbab70000n,
    0x38f881e0d74c0000n, 0x7f0447e15dd50000n, 0xb61d10e2de630000n, 0xf1e1d6e354fa0000n,
    0x392fbee4c5120000n, 0x7ed378e54f8b0000n, 0xb7ca2fe6cc3d0000n, 0xf036e9e746a40000n,
    0x3a4bffe8f3f00000n, 0x7db739e979690000n, 0xb4ae6eeafadf0000n, 0xf352a8eb70460000n,
    0x3b9cc0ece1ae0000n, 0x7c6006ed6b370000n, 0xb57951eee8810000n, 0xf28597ef62180000n,
    0x3c837df09f290000n, 0x7b7fbbf115b00000n, 0xb266ecf296060000n, 0xf59a2af31c9f0000n,
    0x3d5442f48d770000n, 0x7aa884f507ee0000n, 0xb3b1d3f684580000n, 0xf44d15f70ec10000n,
    0x3e3003f8bb950000n, 0x79ccc5f9310c0000n, 0xb0d592fab2ba0000n, 0xf72954fb38230000n,
    0x3fe73cfca9cb0000n, 0x781bfafd23520000n, 0xb102adfea0e40000n, 0xf6fe6bff2a7d0000n
]);
export const T0 = new BigUint64Array([
    0xa832a829d77f9aa8n, 0x4352432297d41143n, 0x5f3e5fc2df80615fn, 0x061e063014121806n,
    0x6bda6b7f670cb16bn, 0x75bc758f2356c975n, 0x6cc16c477519ad6cn, 0x592059f2cb927959n,
    0x71a871af3b4ad971n, 0xdf84dfb6f8275bdfn, 0x87a1874c35b22687n, 0x95fb95dc59cc6e95n,
    0x174b17b872655c17n, 0xf017f0d31aeae7f0n, 0xd89fd88eea3247d8n, 0x092d0948363f2409n,
    0x6dc46d4f731ea96dn, 0xf318f3cb10e3ebf3n, 0x1d691de84e53741dn, 0xcbc0cb16804b0bcbn,
    0xc9cac9068c4503c9n, 0x4d644d52b3fe294dn, 0x2c9c2c7de8c4b02cn, 0xaf29af11c56a86afn,
    0x798079ef0b72f979n, 0xe047e0537a9aa7e0n, 0x97f197cc55c26697n, 0xfd2efdbb34c9d3fdn,
    0x6fce6f5f7f10a16fn, 0x4b7a4b62a7ec314bn, 0x454c451283c60945n, 0x39dd39d596afe439n,
    0x3ec63eed84baf83en, 0xdd8edda6f42953ddn, 0xa315a371ed4eb6a3n, 0x4f6e4f42bff0214fn,
    0xb45eb4c99f2beab4n, 0xb654b6d99325e2b6n, 0x9ac89aa47be1529an, 0x0e360e70242a380en,
    0x1f631ff8425d7c1fn, 0xbf79bf91a51ac6bfn, 0x154115a87e6b5415n, 0xe142e15b7c9da3e1n,
    0x49704972abe23949n, 0xd2bdd2ded6046fd2n, 0x93e593ec4dde7693n, 0xc6f9c67eae683fc6n,
    0x92e092e44bd97292n, 0x72a772b73143d572n, 0x9edc9e8463fd429en, 0x61f8612f5b3a9961n,
    0xd1b2d1c6dc0d63d1n, 0x63f2633f57349163n, 0xfa35fa8326dccffan, 0xee71ee235eb09feen,
    0xf403f4f302f6f7f4n, 0x197d19c8564f6419n, 0xd5a6d5e6c41173d5n, 0xad23ad01c9648eadn,
    0x582558facd957d58n, 0xa40ea449ff5baaa4n, 0xbb6dbbb1bd06d6bbn, 0xa11fa161e140bea1n,
    0xdc8bdcaef22e57dcn, 0xf21df2c316e4eff2n, 0x83b5836c2dae3683n, 0x37eb37a5b285dc37n,
    0x4257422a91d31542n, 0xe453e4736286b7e4n, 0x7a8f7af7017bf57an, 0x32fa328dac9ec832n,
    0x9cd69c946ff34a9cn, 0xccdbcc2e925e17ccn, 0xab3dab31dd7696abn, 0x4a7f4a6aa1eb354an,
    0x8f898f0c058a068fn, 0x6ecb6e577917a56en, 0x04140420181c1004n, 0x27bb2725d2f59c27n,
    0x2e962e6de4cab82en, 0xe75ce76b688fbbe7n, 0xe24de2437694afe2n, 0x5a2f5aeac19b755an,
    0x96f496c453c56296n, 0x164e16b074625816n, 0x23af2305cae98c23n, 0x2b872b45fad1ac2bn,
    0xc2edc25eb6742fc2n, 0x65ec650f43268965n, 0x66e36617492f8566n, 0x0f330f78222d3c0fn,
    0xbc76bc89af13cabcn, 0xa937a921d1789ea9n, 0x474647028fc80147n, 0x415841329bda1941n,
    0x34e434bdb88cd034n, 0x4875487aade53d48n, 0xfc2bfcb332ced7fcn, 0xb751b7d19522e6b7n,
    0x6adf6a77610bb56an, 0x88928834179f1a88n, 0xa50ba541f95caea5n, 0x530253a2f7a45153n,
    0x86a4864433b52286n, 0xf93af99b2cd5c3f9n, 0x5b2a5be2c79c715bn, 0xdb90db96e03b4bdbn,
    0x38d838dd90a8e038n, 0x7b8a7bff077cf17bn, 0xc3e8c356b0732bc3n, 0x1e661ef0445a781en,
    0x22aa220dccee8822n, 0x33ff3385aa99cc33n, 0x24b4243dd8fc9024n, 0x2888285df0d8a028n,
    0x36ee36adb482d836n, 0xc7fcc776a86f3bc7n, 0xb240b2f98b39f2b2n, 0x3bd73bc59aa1ec3bn,
    0x8e8c8e04038d028en, 0x77b6779f2f58c177n, 0xba68bab9bb01d2ban, 0xf506f5fb04f1f3f5n,
    0x144414a0786c5014n, 0x9fd99f8c65fa469fn, 0x0828084030382008n, 0x551c5592e3b64955n,
    0x9bcd9bac7de6569bn, 0x4c614c5ab5f92d4cn, 0xfe21fea33ec0dffen, 0x60fd60275d3d9d60n,
    0x5c315cdad5896d5cn, 0xda95da9ee63c4fdan, 0x187818c050486018n, 0x4643460a89cf0546n,
    0xcddecd26945913cdn, 0x7d947dcf136ee97dn, 0x21a52115c6e78421n, 0xb04ab0e98737fab0n,
    0x3fc33fe582bdfc3fn, 0x1b771bd85a416c1bn, 0x8997893c11981e89n, 0xff24ffab38c7dbffn,
    0xeb60eb0b40ab8bebn, 0x84ae84543fbb2a84n, 0x69d0696f6b02b969n, 0x3ad23acd9ca6e83an,
    0x9dd39d9c69f44e9dn, 0xd7acd7f6c81f7bd7n, 0xd3b8d3d6d0036bd3n, 0x70ad70a73d4ddd70n,
    0x67e6671f4f288167n, 0x405d403a9ddd1d40n, 0xb55bb5c1992ceeb5n, 0xde81debefe205fden,
    0x5d345dd2d38e695dn, 0x30f0309da090c030n, 0x91ef91fc41d07e91n, 0xb14fb1e18130feb1n,
    0x788578e70d75fd78n, 0x1155118866774411n, 0x0105010806070401n, 0xe556e57b6481b3e5n,
    0x0000000000000000n, 0x68d568676d05bd68n, 0x98c298b477ef5a98n, 0xa01aa069e747baa0n,
    0xc5f6c566a46133c5n, 0x020a02100c0e0802n, 0xa604a659f355a2a6n, 0x74b974872551cd74n,
    0x2d992d75eec3b42dn, 0x0b270b583a312c0bn, 0xa210a279eb49b2a2n, 0x76b37697295fc576n,
    0xb345b3f18d3ef6b3n, 0xbe7cbe99a31dc2ben, 0xced1ce3e9e501fcen, 0xbd73bd81a914cebdn,
    0xae2cae19c36d82aen, 0xe96ae91b4ca583e9n, 0x8a988a241b91128an, 0x31f53195a697c431n,
    0x1c6c1ce04854701cn, 0xec7bec3352be97ecn, 0xf112f1db1cede3f1n, 0x99c799bc71e85e99n,
    0x94fe94d45fcb6a94n, 0xaa38aa39db7192aan, 0xf609f6e30ef8fff6n, 0x26be262dd4f29826n,
    0x2f932f65e2cdbc2fn, 0xef74ef2b58b79befn, 0xe86fe8134aa287e8n, 0x8c868c140f830a8cn,
    0x35e135b5be8bd435n, 0x030f03180a090c03n, 0xd4a3d4eec21677d4n, 0x7f9e7fdf1f60e17fn,
    0xfb30fb8b20dbcbfbn, 0x051105281e1b1405n, 0xc1e2c146bc7d23c1n, 0x5e3b5ecad987655en,
    0x90ea90f447d77a90n, 0x20a0201dc0e08020n, 0x3dc93df58eb3f43dn, 0x82b082642ba93282n,
    0xf70cf7eb08fffbf7n, 0xea65ea0346ac8fean, 0x0a220a503c36280an, 0x0d390d682e23340dn,
    0x7e9b7ed71967e57en, 0xf83ff8932ad2c7f8n, 0x500d50bafdad5d50n, 0x1a721ad05c46681an,
    0xc4f3c46ea26637c4n, 0x071b073812151c07n, 0x57165782efb84157n, 0xb862b8a9b70fdab8n,
    0x3ccc3cfd88b4f03cn, 0x62f7623751339562n, 0xe348e34b7093abe3n, 0xc8cfc80e8a4207c8n,
    0xac26ac09cf638aacn, 0x520752aaf1a35552n, 0x64e9640745218d64n, 0x1050108060704010n,
    0xd0b7d0ceda0a67d0n, 0xd99ad986ec3543d9n, 0x135f13986a794c13n, 0x0c3c0c602824300cn,
    0x125a12906c7e4812n, 0x298d2955f6dfa429n, 0x510851b2fbaa5951n, 0xb967b9a1b108deb9n,
    0xcfd4cf3698571bcfn, 0xd6a9d6fece187fd6n, 0x73a273bf3744d173n, 0x8d838d1c09840e8dn,
    0x81bf817c21a03e81n, 0x5419549ae5b14d54n, 0xc0e7c04eba7a27c0n, 0xed7eed3b54b993edn,
    0x4e6b4e4ab9f7254en, 0x4449441a85c10d44n, 0xa701a751f552a6a7n, 0x2a822a4dfcd6a82an,
    0x85ab855c39bc2e85n, 0x25b12535defb9425n, 0xe659e6636e88bfe6n, 0xcac5ca1e864c0fcan,
    0x7c917cc71569ed7cn, 0x8b9d8b2c1d96168bn, 0x5613568ae9bf4556n, 0x80ba807427a73a80n,
]);
export const T1 = new BigUint64Array([
    0xd1ce3e9e501fcecen, 0x6dbbb1bd06d6bbbbn, 0x60eb0b40ab8bebebn, 0xe092e44bd9729292n,
    0x65ea0346ac8feaean, 0xc0cb16804b0bcbcbn, 0x5f13986a794c1313n, 0xe2c146bc7d23c1c1n,
    0x6ae91b4ca583e9e9n, 0xd23acd9ca6e83a3an, 0xa9d6fece187fd6d6n, 0x40b2f98b39f2b2b2n,
    0xbdd2ded6046fd2d2n, 0xea90f447d77a9090n, 0x4b17b872655c1717n, 0x3ff8932ad2c7f8f8n,
    0x57422a91d3154242n, 0x4115a87e6b541515n, 0x13568ae9bf455656n, 0x5eb4c99f2beab4b4n,
    0xec650f4326896565n, 0x6c1ce04854701c1cn, 0x928834179f1a8888n, 0x52432297d4114343n,
    0xf6c566a46133c5c5n, 0x315cdad5896d5c5cn, 0xee36adb482d83636n, 0x68bab9bb01d2baban,
    0x06f5fb04f1f3f5f5n, 0x165782efb8415757n, 0xe6671f4f28816767n, 0x838d1c09840e8d8dn,
    0xf53195a697c43131n, 0x09f6e30ef8fff6f6n, 0xe9640745218d6464n, 0x2558facd957d5858n,
    0xdc9e8463fd429e9en, 0x03f4f302f6f7f4f4n, 0xaa220dccee882222n, 0x38aa39db7192aaaan,
    0xbc758f2356c97575n, 0x330f78222d3c0f0fn, 0x0a02100c0e080202n, 0x4fb1e18130feb1b1n,
    0x84dfb6f8275bdfdfn, 0xc46d4f731ea96d6dn, 0xa273bf3744d17373n, 0x644d52b3fe294d4dn,
    0x917cc71569ed7c7cn, 0xbe262dd4f2982626n, 0x962e6de4cab82e2en, 0x0cf7eb08fffbf7f7n,
    0x2808403038200808n, 0x345dd2d38e695d5dn, 0x49441a85c10d4444n, 0xc63eed84baf83e3en,
    0xd99f8c65fa469f9fn, 0x4414a0786c501414n, 0xcfc80e8a4207c8c8n, 0x2cae19c36d82aeaen,
    0x19549ae5b14d5454n, 0x5010806070401010n, 0x9fd88eea3247d8d8n, 0x76bc89af13cabcbcn,
    0x721ad05c46681a1an, 0xda6b7f670cb16b6bn, 0xd0696f6b02b96969n, 0x18f3cb10e3ebf3f3n,
    0x73bd81a914cebdbdn, 0xff3385aa99cc3333n, 0x3dab31dd7696ababn, 0x35fa8326dccffafan,
    0xb2d1c6dc0d63d1d1n, 0xcd9bac7de6569b9bn, 0xd568676d05bd6868n, 0x6b4e4ab9f7254e4en,
    0x4e16b07462581616n, 0xfb95dc59cc6e9595n, 0xef91fc41d07e9191n, 0x71ee235eb09feeeen,
    0x614c5ab5f92d4c4cn, 0xf2633f5734916363n, 0x8c8e04038d028e8en, 0x2a5be2c79c715b5bn,
    0xdbcc2e925e17ccccn, 0xcc3cfd88b4f03c3cn, 0x7d19c8564f641919n, 0x1fa161e140bea1a1n,
    0xbf817c21a03e8181n, 0x704972abe2394949n, 0x8a7bff077cf17b7bn, 0x9ad986ec3543d9d9n,
    0xce6f5f7f10a16f6fn, 0xeb37a5b285dc3737n, 0xfd60275d3d9d6060n, 0xc5ca1e864c0fcacan,
    0x5ce76b688fbbe7e7n, 0x872b45fad1ac2b2bn, 0x75487aade53d4848n, 0x2efdbb34c9d3fdfdn,
    0xf496c453c5629696n, 0x4c451283c6094545n, 0x2bfcb332ced7fcfcn, 0x5841329bda194141n,
    0x5a12906c7e481212n, 0x390d682e23340d0dn, 0x8079ef0b72f97979n, 0x56e57b6481b3e5e5n,
    0x97893c11981e8989n, 0x868c140f830a8c8cn, 0x48e34b7093abe3e3n, 0xa0201dc0e0802020n,
    0xf0309da090c03030n, 0x8bdcaef22e57dcdcn, 0x51b7d19522e6b7b7n, 0xc16c477519ad6c6cn,
    0x7f4a6aa1eb354a4an, 0x5bb5c1992ceeb5b5n, 0xc33fe582bdfc3f3fn, 0xf197cc55c2669797n,
    0xa3d4eec21677d4d4n, 0xf762375133956262n, 0x992d75eec3b42d2dn, 0x1e06301412180606n,
    0x0ea449ff5baaa4a4n, 0x0ba541f95caea5a5n, 0xb5836c2dae368383n, 0x3e5fc2df80615f5fn,
    0x822a4dfcd6a82a2an, 0x95da9ee63c4fdadan, 0xcac9068c4503c9c9n, 0x0000000000000000n,
    0x9b7ed71967e57e7en, 0x10a279eb49b2a2a2n, 0x1c5592e3b6495555n, 0x79bf91a51ac6bfbfn,
    0x5511886677441111n, 0xa6d5e6c41173d5d5n, 0xd69c946ff34a9c9cn, 0xd4cf3698571bcfcfn,
    0x360e70242a380e0en, 0x220a503c36280a0an, 0xc93df58eb3f43d3dn, 0x0851b2fbaa595151n,
    0x947dcf136ee97d7dn, 0xe593ec4dde769393n, 0x771bd85a416c1b1bn, 0x21fea33ec0dffefen,
    0xf3c46ea26637c4c4n, 0x4647028fc8014747n, 0x2d0948363f240909n, 0xa4864433b5228686n,
    0x270b583a312c0b0bn, 0x898f0c058a068f8fn, 0xd39d9c69f44e9d9dn, 0xdf6a77610bb56a6an,
    0x1b073812151c0707n, 0x67b9a1b108deb9b9n, 0x4ab0e98737fab0b0n, 0xc298b477ef5a9898n,
    0x7818c05048601818n, 0xfa328dac9ec83232n, 0xa871af3b4ad97171n, 0x7a4b62a7ec314b4bn,
    0x74ef2b58b79befefn, 0xd73bc59aa1ec3b3bn, 0xad70a73d4ddd7070n, 0x1aa069e747baa0a0n,
    0x53e4736286b7e4e4n, 0x5d403a9ddd1d4040n, 0x24ffab38c7dbffffn, 0xe8c356b0732bc3c3n,
    0x37a921d1789ea9a9n, 0x59e6636e88bfe6e6n, 0x8578e70d75fd7878n, 0x3af99b2cd5c3f9f9n,
    0x9d8b2c1d96168b8bn, 0x43460a89cf054646n, 0xba807427a73a8080n, 0x661ef0445a781e1en,
    0xd838dd90a8e03838n, 0x42e15b7c9da3e1e1n, 0x62b8a9b70fdab8b8n, 0x32a829d77f9aa8a8n,
    0x47e0537a9aa7e0e0n, 0x3c0c602824300c0cn, 0xaf2305cae98c2323n, 0xb37697295fc57676n,
    0x691de84e53741d1dn, 0xb12535defb942525n, 0xb4243dd8fc902424n, 0x1105281e1b140505n,
    0x12f1db1cede3f1f1n, 0xcb6e577917a56e6en, 0xfe94d45fcb6a9494n, 0x88285df0d8a02828n,
    0xc89aa47be1529a9an, 0xae84543fbb2a8484n, 0x6fe8134aa287e8e8n, 0x15a371ed4eb6a3a3n,
    0x6e4f42bff0214f4fn, 0xb6779f2f58c17777n, 0xb8d3d6d0036bd3d3n, 0xab855c39bc2e8585n,
    0x4de2437694afe2e2n, 0x0752aaf1a3555252n, 0x1df2c316e4eff2f2n, 0xb082642ba9328282n,
    0x0d50bafdad5d5050n, 0x8f7af7017bf57a7an, 0x932f65e2cdbc2f2fn, 0xb974872551cd7474n,
    0x0253a2f7a4515353n, 0x45b3f18d3ef6b3b3n, 0xf8612f5b3a996161n, 0x29af11c56a86afafn,
    0xdd39d596afe43939n, 0xe135b5be8bd43535n, 0x81debefe205fdeden, 0xdecd26945913cdcdn,
    0x631ff8425d7c1f1fn, 0xc799bc71e85e9999n, 0x26ac09cf638aacacn, 0x23ad01c9648eadadn,
    0xa772b73143d57272n, 0x9c2c7de8c4b02c2cn, 0x8edda6f42953ddddn, 0xb7d0ceda0a67d0d0n,
    0xa1874c35b2268787n, 0x7cbe99a31dc2beben, 0x3b5ecad987655e5en, 0x04a659f355a2a6a6n,
    0x7bec3352be97ececn, 0x140420181c100404n, 0xf9c67eae683fc6c6n, 0x0f03180a090c0303n,
    0xe434bdb88cd03434n, 0x30fb8b20dbcbfbfbn, 0x90db96e03b4bdbdbn, 0x2059f2cb92795959n,
    0x54b6d99325e2b6b6n, 0xedc25eb6742fc2c2n, 0x0501080607040101n, 0x17f0d31aeae7f0f0n,
    0x2f5aeac19b755a5an, 0x7eed3b54b993ededn, 0x01a751f552a6a7a7n, 0xe36617492f856666n,
    0xa52115c6e7842121n, 0x9e7fdf1f60e17f7fn, 0x988a241b91128a8an, 0xbb2725d2f59c2727n,
    0xfcc776a86f3bc7c7n, 0xe7c04eba7a27c0c0n, 0x8d2955f6dfa42929n, 0xacd7f6c81f7bd7d7n,
]);
export const T2 = new BigUint64Array([
    0x93ec4dde769393e5n, 0xd986ec3543d9d99an, 0x9aa47be1529a9ac8n, 0xb5c1992ceeb5b55bn,
    0x98b477ef5a9898c2n, 0x220dccee882222aan, 0x451283c60945454cn, 0xfcb332ced7fcfc2bn,
    0xbab9bb01d2baba68n, 0x6a77610bb56a6adfn, 0xdfb6f8275bdfdf84n, 0x02100c0e0802020an,
    0x9f8c65fa469f9fd9n, 0xdcaef22e57dcdc8bn, 0x51b2fbaa59515108n, 0x59f2cb9279595920n,
    0x4a6aa1eb354a4a7fn, 0x17b872655c17174bn, 0x2b45fad1ac2b2b87n, 0xc25eb6742fc2c2edn,
    0x94d45fcb6a9494fen, 0xf4f302f6f7f4f403n, 0xbbb1bd06d6bbbb6dn, 0xa371ed4eb6a3a315n,
    0x62375133956262f7n, 0xe4736286b7e4e453n, 0x71af3b4ad97171a8n, 0xd4eec21677d4d4a3n,
    0xcd26945913cdcdden, 0x70a73d4ddd7070adn, 0x16b074625816164en, 0xe15b7c9da3e1e142n,
    0x4972abe239494970n, 0x3cfd88b4f03c3cccn, 0xc04eba7a27c0c0e7n, 0xd88eea3247d8d89fn,
    0x5cdad5896d5c5c31n, 0x9bac7de6569b9bcdn, 0xad01c9648eadad23n, 0x855c39bc2e8585abn,
    0x53a2f7a451535302n, 0xa161e140bea1a11fn, 0x7af7017bf57a7a8fn, 0xc80e8a4207c8c8cfn,
    0x2d75eec3b42d2d99n, 0xe0537a9aa7e0e047n, 0xd1c6dc0d63d1d1b2n, 0x72b73143d57272a7n,
    0xa659f355a2a6a604n, 0x2c7de8c4b02c2c9cn, 0xc46ea26637c4c4f3n, 0xe34b7093abe3e348n,
    0x7697295fc57676b3n, 0x78e70d75fd787885n, 0xb7d19522e6b7b751n, 0xb4c99f2beab4b45en,
    0x0948363f2409092dn, 0x3bc59aa1ec3b3bd7n, 0x0e70242a380e0e36n, 0x41329bda19414158n,
    0x4c5ab5f92d4c4c61n, 0xdebefe205fdede81n, 0xb2f98b39f2b2b240n, 0x90f447d77a9090ean,
    0x2535defb942525b1n, 0xa541f95caea5a50bn, 0xd7f6c81f7bd7d7acn, 0x03180a090c03030fn,
    0x1188667744111155n, 0x0000000000000000n, 0xc356b0732bc3c3e8n, 0x2e6de4cab82e2e96n,
    0x92e44bd9729292e0n, 0xef2b58b79befef74n, 0x4e4ab9f7254e4e6bn, 0x12906c7e4812125an,
    0x9d9c69f44e9d9dd3n, 0x7dcf136ee97d7d94n, 0xcb16804b0bcbcbc0n, 0x35b5be8bd43535e1n,
    0x1080607040101050n, 0xd5e6c41173d5d5a6n, 0x4f42bff0214f4f6en, 0x9e8463fd429e9edcn,
    0x4d52b3fe294d4d64n, 0xa921d1789ea9a937n, 0x5592e3b64955551cn, 0xc67eae683fc6c6f9n,
    0xd0ceda0a67d0d0b7n, 0x7bff077cf17b7b8an, 0x18c0504860181878n, 0x97cc55c2669797f1n,
    0xd3d6d0036bd3d3b8n, 0x36adb482d83636een, 0xe6636e88bfe6e659n, 0x487aade53d484875n,
    0x568ae9bf45565613n, 0x817c21a03e8181bfn, 0x8f0c058a068f8f89n, 0x779f2f58c17777b6n,
    0xcc2e925e17ccccdbn, 0x9c946ff34a9c9cd6n, 0xb9a1b108deb9b967n, 0xe2437694afe2e24dn,
    0xac09cf638aacac26n, 0xb8a9b70fdab8b862n, 0x2f65e2cdbc2f2f93n, 0x15a87e6b54151541n,
    0xa449ff5baaa4a40en, 0x7cc71569ed7c7c91n, 0xda9ee63c4fdada95n, 0x38dd90a8e03838d8n,
    0x1ef0445a781e1e66n, 0x0b583a312c0b0b27n, 0x05281e1b14050511n, 0xd6fece187fd6d6a9n,
    0x14a0786c50141444n, 0x6e577917a56e6ecbn, 0x6c477519ad6c6cc1n, 0x7ed71967e57e7e9bn,
    0x6617492f856666e3n, 0xfdbb34c9d3fdfd2en, 0xb1e18130feb1b14fn, 0xe57b6481b3e5e556n,
    0x60275d3d9d6060fdn, 0xaf11c56a86afaf29n, 0x5ecad987655e5e3bn, 0x3385aa99cc3333ffn,
    0x874c35b2268787a1n, 0xc9068c4503c9c9can, 0xf0d31aeae7f0f017n, 0x5dd2d38e695d5d34n,
    0x6d4f731ea96d6dc4n, 0x3fe582bdfc3f3fc3n, 0x8834179f1a888892n, 0x8d1c09840e8d8d83n,
    0xc776a86f3bc7c7fcn, 0xf7eb08fffbf7f70cn, 0x1de84e53741d1d69n, 0xe91b4ca583e9e96an,
    0xec3352be97ecec7bn, 0xed3b54b993eded7en, 0x807427a73a8080ban, 0x2955f6dfa429298dn,
    0x2725d2f59c2727bbn, 0xcf3698571bcfcfd4n, 0x99bc71e85e9999c7n, 0xa829d77f9aa8a832n,
    0x50bafdad5d50500dn, 0x0f78222d3c0f0f33n, 0x37a5b285dc3737ebn, 0x243dd8fc902424b4n,
    0x285df0d8a0282888n, 0x309da090c03030f0n, 0x95dc59cc6e9595fbn, 0xd2ded6046fd2d2bdn,
    0x3eed84baf83e3ec6n, 0x5be2c79c715b5b2an, 0x403a9ddd1d40405dn, 0x836c2dae368383b5n,
    0xb3f18d3ef6b3b345n, 0x696f6b02b96969d0n, 0x5782efb841575716n, 0x1ff8425d7c1f1f63n,
    0x073812151c07071bn, 0x1ce04854701c1c6cn, 0x8a241b91128a8a98n, 0xbc89af13cabcbc76n,
    0x201dc0e0802020a0n, 0xeb0b40ab8bebeb60n, 0xce3e9e501fceced1n, 0x8e04038d028e8e8cn,
    0xab31dd7696abab3dn, 0xee235eb09feeee71n, 0x3195a697c43131f5n, 0xa279eb49b2a2a210n,
    0x73bf3744d17373a2n, 0xf99b2cd5c3f9f93an, 0xca1e864c0fcacac5n, 0x3acd9ca6e83a3ad2n,
    0x1ad05c46681a1a72n, 0xfb8b20dbcbfbfb30n, 0x0d682e23340d0d39n, 0xc146bc7d23c1c1e2n,
    0xfea33ec0dffefe21n, 0xfa8326dccffafa35n, 0xf2c316e4eff2f21dn, 0x6f5f7f10a16f6fcen,
    0xbd81a914cebdbd73n, 0x96c453c5629696f4n, 0xdda6f42953dddd8en, 0x432297d411434352n,
    0x52aaf1a355525207n, 0xb6d99325e2b6b654n, 0x0840303820080828n, 0xf3cb10e3ebf3f318n,
    0xae19c36d82aeae2cn, 0xbe99a31dc2bebe7cn, 0x19c8564f6419197dn, 0x893c11981e898997n,
    0x328dac9ec83232fan, 0x262dd4f2982626ben, 0xb0e98737fab0b04an, 0xea0346ac8feaea65n,
    0x4b62a7ec314b4b7an, 0x640745218d6464e9n, 0x84543fbb2a8484aen, 0x82642ba9328282b0n,
    0x6b7f670cb16b6bdan, 0xf5fb04f1f3f5f506n, 0x79ef0b72f9797980n, 0xbf91a51ac6bfbf79n,
    0x0108060704010105n, 0x5fc2df80615f5f3en, 0x758f2356c97575bcn, 0x633f5734916363f2n,
    0x1bd85a416c1b1b77n, 0x2305cae98c2323afn, 0x3df58eb3f43d3dc9n, 0x68676d05bd6868d5n,
    0x2a4dfcd6a82a2a82n, 0x650f4326896565ecn, 0xe8134aa287e8e86fn, 0x91fc41d07e9191efn,
    0xf6e30ef8fff6f609n, 0xffab38c7dbffff24n, 0x13986a794c13135fn, 0x58facd957d585825n,
    0xf1db1cede3f1f112n, 0x47028fc801474746n, 0x0a503c36280a0a22n, 0x7fdf1f60e17f7f9en,
    0xc566a46133c5c5f6n, 0xa751f552a6a7a701n, 0xe76b688fbbe7e75cn, 0x612f5b3a996161f8n,
    0x5aeac19b755a5a2fn, 0x063014121806061en, 0x460a89cf05464643n, 0x441a85c10d444449n,
    0x422a91d315424257n, 0x0420181c10040414n, 0xa069e747baa0a01an, 0xdb96e03b4bdbdb90n,
    0x39d596afe43939ddn, 0x864433b5228686a4n, 0x549ae5b14d545419n, 0xaa39db7192aaaa38n,
    0x8c140f830a8c8c86n, 0x34bdb88cd03434e4n, 0x2115c6e7842121a5n, 0x8b2c1d96168b8b9dn,
    0xf8932ad2c7f8f83fn, 0x0c602824300c0c3cn, 0x74872551cd7474b9n, 0x671f4f28816767e6n,
]);
export const T3 = new BigUint64Array([
    0x676d05bd6868d568n, 0x1c09840e8d8d838dn, 0x1e864c0fcacac5can, 0x52b3fe294d4d644dn,
    0xbf3744d17373a273n, 0x62a7ec314b4b7a4bn, 0x4ab9f7254e4e6b4en, 0x4dfcd6a82a2a822an,
    0xeec21677d4d4a3d4n, 0xaaf1a35552520752n, 0x2dd4f2982626be26n, 0xf18d3ef6b3b345b3n,
    0x9ae5b14d54541954n, 0xf0445a781e1e661en, 0xc8564f6419197d19n, 0xf8425d7c1f1f631fn,
    0x0dccee882222aa22n, 0x180a090c03030f03n, 0x0a89cf0546464346n, 0xf58eb3f43d3dc93dn,
    0x75eec3b42d2d992dn, 0x6aa1eb354a4a7f4an, 0xa2f7a45153530253n, 0x6c2dae368383b583n,
    0x986a794c13135f13n, 0x241b91128a8a988an, 0xd19522e6b7b751b7n, 0xe6c41173d5d5a6d5n,
    0x35defb942525b125n, 0xef0b72f979798079n, 0xfb04f1f3f5f506f5n, 0x81a914cebdbd73bdn,
    0xfacd957d58582558n, 0x65e2cdbc2f2f932fn, 0x682e23340d0d390dn, 0x100c0e0802020a02n,
    0x3b54b993eded7eedn, 0xb2fbaa5951510851n, 0x8463fd429e9edc9en, 0x8866774411115511n,
    0xc316e4eff2f21df2n, 0xed84baf83e3ec63en, 0x92e3b64955551c55n, 0xcad987655e5e3b5en,
    0xc6dc0d63d1d1b2d1n, 0xb074625816164e16n, 0xfd88b4f03c3ccc3cn, 0x17492f856666e366n,
    0xa73d4ddd7070ad70n, 0xd2d38e695d5d345dn, 0xcb10e3ebf3f318f3n, 0x1283c60945454c45n,
    0x3a9ddd1d40405d40n, 0x2e925e17ccccdbccn, 0x134aa287e8e86fe8n, 0xd45fcb6a9494fe94n,
    0x8ae9bf4556561356n, 0x4030382008082808n, 0x3e9e501fceced1cen, 0xd05c46681a1a721an,
    0xcd9ca6e83a3ad23an, 0xded6046fd2d2bdd2n, 0x5b7c9da3e1e142e1n, 0xb6f8275bdfdf84dfn,
    0xc1992ceeb5b55bb5n, 0xdd90a8e03838d838n, 0x577917a56e6ecb6en, 0x70242a380e0e360en,
    0x7b6481b3e5e556e5n, 0xf302f6f7f4f403f4n, 0x9b2cd5c3f9f93af9n, 0x4433b5228686a486n,
    0x1b4ca583e9e96ae9n, 0x42bff0214f4f6e4fn, 0xfece187fd6d6a9d6n, 0x5c39bc2e8585ab85n,
    0x05cae98c2323af23n, 0x3698571bcfcfd4cfn, 0x8dac9ec83232fa32n, 0xbc71e85e9999c799n,
    0x95a697c43131f531n, 0xa0786c5014144414n, 0x19c36d82aeae2caen, 0x235eb09feeee71een,
    0x0e8a4207c8c8cfc8n, 0x7aade53d48487548n, 0xd6d0036bd3d3b8d3n, 0x9da090c03030f030n,
    0x61e140bea1a11fa1n, 0xe44bd9729292e092n, 0x329bda1941415841n, 0xe18130feb1b14fb1n,
    0xc050486018187818n, 0x6ea26637c4c4f3c4n, 0x7de8c4b02c2c9c2cn, 0xaf3b4ad97171a871n,
    0xb73143d57272a772n, 0x1a85c10d44444944n, 0xa87e6b5415154115n, 0xbb34c9d3fdfd2efdn,
    0xa5b285dc3737eb37n, 0x99a31dc2bebe7cben, 0xc2df80615f5f3e5fn, 0x39db7192aaaa38aan,
    0xac7de6569b9bcd9bn, 0x34179f1a88889288n, 0x8eea3247d8d89fd8n, 0x31dd7696abab3dabn,
    0x3c11981e89899789n, 0x946ff34a9c9cd69cn, 0x8326dccffafa35fan, 0x275d3d9d6060fd60n,
    0x0346ac8feaea65ean, 0x89af13cabcbc76bcn, 0x375133956262f762n, 0x602824300c0c3c0cn,
    0x3dd8fc902424b424n, 0x59f355a2a6a604a6n, 0x29d77f9aa8a832a8n, 0x3352be97ecec7becn,
    0x1f4f28816767e667n, 0x1dc0e0802020a020n, 0x96e03b4bdbdb90dbn, 0xc71569ed7c7c917cn,
    0x5df0d8a028288828n, 0xa6f42953dddd8eddn, 0x09cf638aacac26acn, 0xe2c79c715b5b2a5bn,
    0xbdb88cd03434e434n, 0xd71967e57e7e9b7en, 0x8060704010105010n, 0xdb1cede3f1f112f1n,
    0xff077cf17b7b8a7bn, 0x0c058a068f8f898fn, 0x3f5734916363f263n, 0x69e747baa0a01aa0n,
    0x281e1b1405051105n, 0xa47be1529a9ac89an, 0x2297d41143435243n, 0x9f2f58c17777b677n,
    0x15c6e7842121a521n, 0x91a51ac6bfbf79bfn, 0x25d2f59c2727bb27n, 0x48363f2409092d09n,
    0x56b0732bc3c3e8c3n, 0x8c65fa469f9fd99fn, 0xd99325e2b6b654b6n, 0xf6c81f7bd7d7acd7n,
    0x55f6dfa429298d29n, 0x5eb6742fc2c2edc2n, 0x0b40ab8bebeb60ebn, 0x4eba7a27c0c0e7c0n,
    0x49ff5baaa4a40ea4n, 0x2c1d96168b8b9d8bn, 0x140f830a8c8c868cn, 0xe84e53741d1d691dn,
    0x8b20dbcbfbfb30fbn, 0xab38c7dbffff24ffn, 0x46bc7d23c1c1e2c1n, 0xf98b39f2b2b240b2n,
    0xcc55c2669797f197n, 0x6de4cab82e2e962en, 0x932ad2c7f8f83ff8n, 0x0f4326896565ec65n,
    0xe30ef8fff6f609f6n, 0x8f2356c97575bc75n, 0x3812151c07071b07n, 0x20181c1004041404n,
    0x72abe23949497049n, 0x85aa99cc3333ff33n, 0x736286b7e4e453e4n, 0x86ec3543d9d99ad9n,
    0xa1b108deb9b967b9n, 0xceda0a67d0d0b7d0n, 0x2a91d31542425742n, 0x76a86f3bc7c7fcc7n,
    0x477519ad6c6cc16cn, 0xf447d77a9090ea90n, 0x0000000000000000n, 0x04038d028e8e8c8en,
    0x5f7f10a16f6fce6fn, 0xbafdad5d50500d50n, 0x0806070401010501n, 0x66a46133c5c5f6c5n,
    0x9ee63c4fdada95dan, 0x028fc80147474647n, 0xe582bdfc3f3fc33fn, 0x26945913cdcddecdn,
    0x6f6b02b96969d069n, 0x79eb49b2a2a210a2n, 0x437694afe2e24de2n, 0xf7017bf57a7a8f7an,
    0x51f552a6a7a701a7n, 0x7eae683fc6c6f9c6n, 0xec4dde769393e593n, 0x78222d3c0f0f330fn,
    0x503c36280a0a220an, 0x3014121806061e06n, 0x636e88bfe6e659e6n, 0x45fad1ac2b2b872bn,
    0xc453c5629696f496n, 0x71ed4eb6a3a315a3n, 0xe04854701c1c6c1cn, 0x11c56a86afaf29afn,
    0x77610bb56a6adf6an, 0x906c7e4812125a12n, 0x543fbb2a8484ae84n, 0xd596afe43939dd39n,
    0x6b688fbbe7e75ce7n, 0xe98737fab0b04ab0n, 0x642ba9328282b082n, 0xeb08fffbf7f70cf7n,
    0xa33ec0dffefe21fen, 0x9c69f44e9d9dd39dn, 0x4c35b2268787a187n, 0xdad5896d5c5c315cn,
    0x7c21a03e8181bf81n, 0xb5be8bd43535e135n, 0xbefe205fdede81den, 0xc99f2beab4b45eb4n,
    0x41f95caea5a50ba5n, 0xb332ced7fcfc2bfcn, 0x7427a73a8080ba80n, 0x2b58b79befef74efn,
    0x16804b0bcbcbc0cbn, 0xb1bd06d6bbbb6dbbn, 0x7f670cb16b6bda6bn, 0x97295fc57676b376n,
    0xb9bb01d2baba68ban, 0xeac19b755a5a2f5an, 0xcf136ee97d7d947dn, 0xe70d75fd78788578n,
    0x583a312c0b0b270bn, 0xdc59cc6e9595fb95n, 0x4b7093abe3e348e3n, 0x01c9648eadad23adn,
    0x872551cd7474b974n, 0xb477ef5a9898c298n, 0xc59aa1ec3b3bd73bn, 0xadb482d83636ee36n,
    0x0745218d6464e964n, 0x4f731ea96d6dc46dn, 0xaef22e57dcdc8bdcn, 0xd31aeae7f0f017f0n,
    0xf2cb927959592059n, 0x21d1789ea9a937a9n, 0x5ab5f92d4c4c614cn, 0xb872655c17174b17n,
    0xdf1f60e17f7f9e7fn, 0xfc41d07e9191ef91n, 0xa9b70fdab8b862b8n, 0x068c4503c9c9cac9n,
    0x82efb84157571657n, 0xd85a416c1b1b771bn, 0x537a9aa7e0e047e0n, 0x2f5b3a996161f861n,
]);
export const T4 = new BigUint64Array([
    0xd77f9aa8a832a829n, 0x97d4114343524322n, 0xdf80615f5f3e5fc2n, 0x14121806061e0630n,
    0x670cb16b6bda6b7fn, 0x2356c97575bc758fn, 0x7519ad6c6cc16c47n, 0xcb927959592059f2n,
    0x3b4ad97171a871afn, 0xf8275bdfdf84dfb6n, 0x35b2268787a1874cn, 0x59cc6e9595fb95dcn,
    0x72655c17174b17b8n, 0x1aeae7f0f017f0d3n, 0xea3247d8d89fd88en, 0x363f2409092d0948n,
    0x731ea96d6dc46d4fn, 0x10e3ebf3f318f3cbn, 0x4e53741d1d691de8n, 0x804b0bcbcbc0cb16n,
    0x8c4503c9c9cac906n, 0xb3fe294d4d644d52n, 0xe8c4b02c2c9c2c7dn, 0xc56a86afaf29af11n,
    0x0b72f979798079efn, 0x7a9aa7e0e047e053n, 0x55c2669797f197ccn, 0x34c9d3fdfd2efdbbn,
    0x7f10a16f6fce6f5fn, 0xa7ec314b4b7a4b62n, 0x83c60945454c4512n, 0x96afe43939dd39d5n,
    0x84baf83e3ec63eedn, 0xf42953dddd8edda6n, 0xed4eb6a3a315a371n, 0xbff0214f4f6e4f42n,
    0x9f2beab4b45eb4c9n, 0x9325e2b6b654b6d9n, 0x7be1529a9ac89aa4n, 0x242a380e0e360e70n,
    0x425d7c1f1f631ff8n, 0xa51ac6bfbf79bf91n, 0x7e6b5415154115a8n, 0x7c9da3e1e142e15bn,
    0xabe2394949704972n, 0xd6046fd2d2bdd2den, 0x4dde769393e593ecn, 0xae683fc6c6f9c67en,
    0x4bd9729292e092e4n, 0x3143d57272a772b7n, 0x63fd429e9edc9e84n, 0x5b3a996161f8612fn,
    0xdc0d63d1d1b2d1c6n, 0x5734916363f2633fn, 0x26dccffafa35fa83n, 0x5eb09feeee71ee23n,
    0x02f6f7f4f403f4f3n, 0x564f6419197d19c8n, 0xc41173d5d5a6d5e6n, 0xc9648eadad23ad01n,
    0xcd957d58582558fan, 0xff5baaa4a40ea449n, 0xbd06d6bbbb6dbbb1n, 0xe140bea1a11fa161n,
    0xf22e57dcdc8bdcaen, 0x16e4eff2f21df2c3n, 0x2dae368383b5836cn, 0xb285dc3737eb37a5n,
    0x91d315424257422an, 0x6286b7e4e453e473n, 0x017bf57a7a8f7af7n, 0xac9ec83232fa328dn,
    0x6ff34a9c9cd69c94n, 0x925e17ccccdbcc2en, 0xdd7696abab3dab31n, 0xa1eb354a4a7f4a6an,
    0x058a068f8f898f0cn, 0x7917a56e6ecb6e57n, 0x181c100404140420n, 0xd2f59c2727bb2725n,
    0xe4cab82e2e962e6dn, 0x688fbbe7e75ce76bn, 0x7694afe2e24de243n, 0xc19b755a5a2f5aean,
    0x53c5629696f496c4n, 0x74625816164e16b0n, 0xcae98c2323af2305n, 0xfad1ac2b2b872b45n,
    0xb6742fc2c2edc25en, 0x4326896565ec650fn, 0x492f856666e36617n, 0x222d3c0f0f330f78n,
    0xaf13cabcbc76bc89n, 0xd1789ea9a937a921n, 0x8fc8014747464702n, 0x9bda194141584132n,
    0xb88cd03434e434bdn, 0xade53d484875487an, 0x32ced7fcfc2bfcb3n, 0x9522e6b7b751b7d1n,
    0x610bb56a6adf6a77n, 0x179f1a8888928834n, 0xf95caea5a50ba541n, 0xf7a45153530253a2n,
    0x33b5228686a48644n, 0x2cd5c3f9f93af99bn, 0xc79c715b5b2a5be2n, 0xe03b4bdbdb90db96n,
    0x90a8e03838d838ddn, 0x077cf17b7b8a7bffn, 0xb0732bc3c3e8c356n, 0x445a781e1e661ef0n,
    0xccee882222aa220dn, 0xaa99cc3333ff3385n, 0xd8fc902424b4243dn, 0xf0d8a0282888285dn,
    0xb482d83636ee36adn, 0xa86f3bc7c7fcc776n, 0x8b39f2b2b240b2f9n, 0x9aa1ec3b3bd73bc5n,
    0x038d028e8e8c8e04n, 0x2f58c17777b6779fn, 0xbb01d2baba68bab9n, 0x04f1f3f5f506f5fbn,
    0x786c5014144414a0n, 0x65fa469f9fd99f8cn, 0x3038200808280840n, 0xe3b64955551c5592n,
    0x7de6569b9bcd9bacn, 0xb5f92d4c4c614c5an, 0x3ec0dffefe21fea3n, 0x5d3d9d6060fd6027n,
    0xd5896d5c5c315cdan, 0xe63c4fdada95da9en, 0x50486018187818c0n, 0x89cf05464643460an,
    0x945913cdcddecd26n, 0x136ee97d7d947dcfn, 0xc6e7842121a52115n, 0x8737fab0b04ab0e9n,
    0x82bdfc3f3fc33fe5n, 0x5a416c1b1b771bd8n, 0x11981e898997893cn, 0x38c7dbffff24ffabn,
    0x40ab8bebeb60eb0bn, 0x3fbb2a8484ae8454n, 0x6b02b96969d0696fn, 0x9ca6e83a3ad23acdn,
    0x69f44e9d9dd39d9cn, 0xc81f7bd7d7acd7f6n, 0xd0036bd3d3b8d3d6n, 0x3d4ddd7070ad70a7n,
    0x4f28816767e6671fn, 0x9ddd1d40405d403an, 0x992ceeb5b55bb5c1n, 0xfe205fdede81deben,
    0xd38e695d5d345dd2n, 0xa090c03030f0309dn, 0x41d07e9191ef91fcn, 0x8130feb1b14fb1e1n,
    0x0d75fd78788578e7n, 0x6677441111551188n, 0x0607040101050108n, 0x6481b3e5e556e57bn,
    0x0000000000000000n, 0x6d05bd6868d56867n, 0x77ef5a9898c298b4n, 0xe747baa0a01aa069n,
    0xa46133c5c5f6c566n, 0x0c0e0802020a0210n, 0xf355a2a6a604a659n, 0x2551cd7474b97487n,
    0xeec3b42d2d992d75n, 0x3a312c0b0b270b58n, 0xeb49b2a2a210a279n, 0x295fc57676b37697n,
    0x8d3ef6b3b345b3f1n, 0xa31dc2bebe7cbe99n, 0x9e501fceced1ce3en, 0xa914cebdbd73bd81n,
    0xc36d82aeae2cae19n, 0x4ca583e9e96ae91bn, 0x1b91128a8a988a24n, 0xa697c43131f53195n,
    0x4854701c1c6c1ce0n, 0x52be97ecec7bec33n, 0x1cede3f1f112f1dbn, 0x71e85e9999c799bcn,
    0x5fcb6a9494fe94d4n, 0xdb7192aaaa38aa39n, 0x0ef8fff6f609f6e3n, 0xd4f2982626be262dn,
    0xe2cdbc2f2f932f65n, 0x58b79befef74ef2bn, 0x4aa287e8e86fe813n, 0x0f830a8c8c868c14n,
    0xbe8bd43535e135b5n, 0x0a090c03030f0318n, 0xc21677d4d4a3d4een, 0x1f60e17f7f9e7fdfn,
    0x20dbcbfbfb30fb8bn, 0x1e1b140505110528n, 0xbc7d23c1c1e2c146n, 0xd987655e5e3b5ecan,
    0x47d77a9090ea90f4n, 0xc0e0802020a0201dn, 0x8eb3f43d3dc93df5n, 0x2ba9328282b08264n,
    0x08fffbf7f70cf7ebn, 0x46ac8feaea65ea03n, 0x3c36280a0a220a50n, 0x2e23340d0d390d68n,
    0x1967e57e7e9b7ed7n, 0x2ad2c7f8f83ff893n, 0xfdad5d50500d50ban, 0x5c46681a1a721ad0n,
    0xa26637c4c4f3c46en, 0x12151c07071b0738n, 0xefb8415757165782n, 0xb70fdab8b862b8a9n,
    0x88b4f03c3ccc3cfdn, 0x5133956262f76237n, 0x7093abe3e348e34bn, 0x8a4207c8c8cfc80en,
    0xcf638aacac26ac09n, 0xf1a35552520752aan, 0x45218d6464e96407n, 0x6070401010501080n,
    0xda0a67d0d0b7d0cen, 0xec3543d9d99ad986n, 0x6a794c13135f1398n, 0x2824300c0c3c0c60n,
    0x6c7e4812125a1290n, 0xf6dfa429298d2955n, 0xfbaa5951510851b2n, 0xb108deb9b967b9a1n,
    0x98571bcfcfd4cf36n, 0xce187fd6d6a9d6fen, 0x3744d17373a273bfn, 0x09840e8d8d838d1cn,
    0x21a03e8181bf817cn, 0xe5b14d545419549an, 0xba7a27c0c0e7c04en, 0x54b993eded7eed3bn,
    0xb9f7254e4e6b4e4an, 0x85c10d444449441an, 0xf552a6a7a701a751n, 0xfcd6a82a2a822a4dn,
    0x39bc2e8585ab855cn, 0xdefb942525b12535n, 0x6e88bfe6e659e663n, 0x864c0fcacac5ca1en,
    0x1569ed7c7c917cc7n, 0x1d96168b8b9d8b2cn, 0xe9bf45565613568an, 0x27a73a8080ba8074n,
]);
export const T5 = new BigUint64Array([
    0x501fceced1ce3e9en, 0x06d6bbbb6dbbb1bdn, 0xab8bebeb60eb0b40n, 0xd9729292e092e44bn,
    0xac8feaea65ea0346n, 0x4b0bcbcbc0cb1680n, 0x794c13135f13986an, 0x7d23c1c1e2c146bcn,
    0xa583e9e96ae91b4cn, 0xa6e83a3ad23acd9cn, 0x187fd6d6a9d6fecen, 0x39f2b2b240b2f98bn,
    0x046fd2d2bdd2ded6n, 0xd77a9090ea90f447n, 0x655c17174b17b872n, 0xd2c7f8f83ff8932an,
    0xd315424257422a91n, 0x6b5415154115a87en, 0xbf45565613568ae9n, 0x2beab4b45eb4c99fn,
    0x26896565ec650f43n, 0x54701c1c6c1ce048n, 0x9f1a888892883417n, 0xd411434352432297n,
    0x6133c5c5f6c566a4n, 0x896d5c5c315cdad5n, 0x82d83636ee36adb4n, 0x01d2baba68bab9bbn,
    0xf1f3f5f506f5fb04n, 0xb8415757165782efn, 0x28816767e6671f4fn, 0x840e8d8d838d1c09n,
    0x97c43131f53195a6n, 0xf8fff6f609f6e30en, 0x218d6464e9640745n, 0x957d58582558facdn,
    0xfd429e9edc9e8463n, 0xf6f7f4f403f4f302n, 0xee882222aa220dccn, 0x7192aaaa38aa39dbn,
    0x56c97575bc758f23n, 0x2d3c0f0f330f7822n, 0x0e0802020a02100cn, 0x30feb1b14fb1e181n,
    0x275bdfdf84dfb6f8n, 0x1ea96d6dc46d4f73n, 0x44d17373a273bf37n, 0xfe294d4d644d52b3n,
    0x69ed7c7c917cc715n, 0xf2982626be262dd4n, 0xcab82e2e962e6de4n, 0xfffbf7f70cf7eb08n,
    0x3820080828084030n, 0x8e695d5d345dd2d3n, 0xc10d444449441a85n, 0xbaf83e3ec63eed84n,
    0xfa469f9fd99f8c65n, 0x6c5014144414a078n, 0x4207c8c8cfc80e8an, 0x6d82aeae2cae19c3n,
    0xb14d545419549ae5n, 0x7040101050108060n, 0x3247d8d89fd88eean, 0x13cabcbc76bc89afn,
    0x46681a1a721ad05cn, 0x0cb16b6bda6b7f67n, 0x02b96969d0696f6bn, 0xe3ebf3f318f3cb10n,
    0x14cebdbd73bd81a9n, 0x99cc3333ff3385aan, 0x7696abab3dab31ddn, 0xdccffafa35fa8326n,
    0x0d63d1d1b2d1c6dcn, 0xe6569b9bcd9bac7dn, 0x05bd6868d568676dn, 0xf7254e4e6b4e4ab9n,
    0x625816164e16b074n, 0xcc6e9595fb95dc59n, 0xd07e9191ef91fc41n, 0xb09feeee71ee235en,
    0xf92d4c4c614c5ab5n, 0x34916363f2633f57n, 0x8d028e8e8c8e0403n, 0x9c715b5b2a5be2c7n,
    0x5e17ccccdbcc2e92n, 0xb4f03c3ccc3cfd88n, 0x4f6419197d19c856n, 0x40bea1a11fa161e1n,
    0xa03e8181bf817c21n, 0xe2394949704972abn, 0x7cf17b7b8a7bff07n, 0x3543d9d99ad986ecn,
    0x10a16f6fce6f5f7fn, 0x85dc3737eb37a5b2n, 0x3d9d6060fd60275dn, 0x4c0fcacac5ca1e86n,
    0x8fbbe7e75ce76b68n, 0xd1ac2b2b872b45fan, 0xe53d484875487aadn, 0xc9d3fdfd2efdbb34n,
    0xc5629696f496c453n, 0xc60945454c451283n, 0xced7fcfc2bfcb332n, 0xda1941415841329bn,
    0x7e4812125a12906cn, 0x23340d0d390d682en, 0x72f979798079ef0bn, 0x81b3e5e556e57b64n,
    0x981e898997893c11n, 0x830a8c8c868c140fn, 0x93abe3e348e34b70n, 0xe0802020a0201dc0n,
    0x90c03030f0309da0n, 0x2e57dcdc8bdcaef2n, 0x22e6b7b751b7d195n, 0x19ad6c6cc16c4775n,
    0xeb354a4a7f4a6aa1n, 0x2ceeb5b55bb5c199n, 0xbdfc3f3fc33fe582n, 0xc2669797f197cc55n,
    0x1677d4d4a3d4eec2n, 0x33956262f7623751n, 0xc3b42d2d992d75een, 0x121806061e063014n,
    0x5baaa4a40ea449ffn, 0x5caea5a50ba541f9n, 0xae368383b5836c2dn, 0x80615f5f3e5fc2dfn,
    0xd6a82a2a822a4dfcn, 0x3c4fdada95da9ee6n, 0x4503c9c9cac9068cn, 0x0000000000000000n,
    0x67e57e7e9b7ed719n, 0x49b2a2a210a279ebn, 0xb64955551c5592e3n, 0x1ac6bfbf79bf91a5n,
    0x7744111155118866n, 0x1173d5d5a6d5e6c4n, 0xf34a9c9cd69c946fn, 0x571bcfcfd4cf3698n,
    0x2a380e0e360e7024n, 0x36280a0a220a503cn, 0xb3f43d3dc93df58en, 0xaa5951510851b2fbn,
    0x6ee97d7d947dcf13n, 0xde769393e593ec4dn, 0x416c1b1b771bd85an, 0xc0dffefe21fea33en,
    0x6637c4c4f3c46ea2n, 0xc80147474647028fn, 0x3f2409092d094836n, 0xb5228686a4864433n,
    0x312c0b0b270b583an, 0x8a068f8f898f0c05n, 0xf44e9d9dd39d9c69n, 0x0bb56a6adf6a7761n,
    0x151c07071b073812n, 0x08deb9b967b9a1b1n, 0x37fab0b04ab0e987n, 0xef5a9898c298b477n,
    0x486018187818c050n, 0x9ec83232fa328dacn, 0x4ad97171a871af3bn, 0xec314b4b7a4b62a7n,
    0xb79befef74ef2b58n, 0xa1ec3b3bd73bc59an, 0x4ddd7070ad70a73dn, 0x47baa0a01aa069e7n,
    0x86b7e4e453e47362n, 0xdd1d40405d403a9dn, 0xc7dbffff24ffab38n, 0x732bc3c3e8c356b0n,
    0x789ea9a937a921d1n, 0x88bfe6e659e6636en, 0x75fd78788578e70dn, 0xd5c3f9f93af99b2cn,
    0x96168b8b9d8b2c1dn, 0xcf05464643460a89n, 0xa73a8080ba807427n, 0x5a781e1e661ef044n,
    0xa8e03838d838dd90n, 0x9da3e1e142e15b7cn, 0x0fdab8b862b8a9b7n, 0x7f9aa8a832a829d7n,
    0x9aa7e0e047e0537an, 0x24300c0c3c0c6028n, 0xe98c2323af2305can, 0x5fc57676b3769729n,
    0x53741d1d691de84en, 0xfb942525b12535den, 0xfc902424b4243dd8n, 0x1b1405051105281en,
    0xede3f1f112f1db1cn, 0x17a56e6ecb6e5779n, 0xcb6a9494fe94d45fn, 0xd8a0282888285df0n,
    0xe1529a9ac89aa47bn, 0xbb2a8484ae84543fn, 0xa287e8e86fe8134an, 0x4eb6a3a315a371edn,
    0xf0214f4f6e4f42bfn, 0x58c17777b6779f2fn, 0x036bd3d3b8d3d6d0n, 0xbc2e8585ab855c39n,
    0x94afe2e24de24376n, 0xa35552520752aaf1n, 0xe4eff2f21df2c316n, 0xa9328282b082642bn,
    0xad5d50500d50bafdn, 0x7bf57a7a8f7af701n, 0xcdbc2f2f932f65e2n, 0x51cd7474b9748725n,
    0xa45153530253a2f7n, 0x3ef6b3b345b3f18dn, 0x3a996161f8612f5bn, 0x6a86afaf29af11c5n,
    0xafe43939dd39d596n, 0x8bd43535e135b5ben, 0x205fdede81debefen, 0x5913cdcddecd2694n,
    0x5d7c1f1f631ff842n, 0xe85e9999c799bc71n, 0x638aacac26ac09cfn, 0x648eadad23ad01c9n,
    0x43d57272a772b731n, 0xc4b02c2c9c2c7de8n, 0x2953dddd8edda6f4n, 0x0a67d0d0b7d0cedan,
    0xb2268787a1874c35n, 0x1dc2bebe7cbe99a3n, 0x87655e5e3b5ecad9n, 0x55a2a6a604a659f3n,
    0xbe97ecec7bec3352n, 0x1c10040414042018n, 0x683fc6c6f9c67eaen, 0x090c03030f03180an,
    0x8cd03434e434bdb8n, 0xdbcbfbfb30fb8b20n, 0x3b4bdbdb90db96e0n, 0x927959592059f2cbn,
    0x25e2b6b654b6d993n, 0x742fc2c2edc25eb6n, 0x0704010105010806n, 0xeae7f0f017f0d31an,
    0x9b755a5a2f5aeac1n, 0xb993eded7eed3b54n, 0x52a6a7a701a751f5n, 0x2f856666e3661749n,
    0xe7842121a52115c6n, 0x60e17f7f9e7fdf1fn, 0x91128a8a988a241bn, 0xf59c2727bb2725d2n,
    0x6f3bc7c7fcc776a8n, 0x7a27c0c0e7c04eban, 0xdfa429298d2955f6n, 0x1f7bd7d7acd7f6c8n,
]);
export const T6 = new BigUint64Array([
    0x769393e593ec4dden, 0x43d9d99ad986ec35n, 0x529a9ac89aa47be1n, 0xeeb5b55bb5c1992cn,
    0x5a9898c298b477efn, 0x882222aa220dcceen, 0x0945454c451283c6n, 0xd7fcfc2bfcb332cen,
    0xd2baba68bab9bb01n, 0xb56a6adf6a77610bn, 0x5bdfdf84dfb6f827n, 0x0802020a02100c0en,
    0x469f9fd99f8c65fan, 0x57dcdc8bdcaef22en, 0x5951510851b2fbaan, 0x7959592059f2cb92n,
    0x354a4a7f4a6aa1ebn, 0x5c17174b17b87265n, 0xac2b2b872b45fad1n, 0x2fc2c2edc25eb674n,
    0x6a9494fe94d45fcbn, 0xf7f4f403f4f302f6n, 0xd6bbbb6dbbb1bd06n, 0xb6a3a315a371ed4en,
    0x956262f762375133n, 0xb7e4e453e4736286n, 0xd97171a871af3b4an, 0x77d4d4a3d4eec216n,
    0x13cdcddecd269459n, 0xdd7070ad70a73d4dn, 0x5816164e16b07462n, 0xa3e1e142e15b7c9dn,
    0x394949704972abe2n, 0xf03c3ccc3cfd88b4n, 0x27c0c0e7c04eba7an, 0x47d8d89fd88eea32n,
    0x6d5c5c315cdad589n, 0x569b9bcd9bac7de6n, 0x8eadad23ad01c964n, 0x2e8585ab855c39bcn,
    0x5153530253a2f7a4n, 0xbea1a11fa161e140n, 0xf57a7a8f7af7017bn, 0x07c8c8cfc80e8a42n,
    0xb42d2d992d75eec3n, 0xa7e0e047e0537a9an, 0x63d1d1b2d1c6dc0dn, 0xd57272a772b73143n,
    0xa2a6a604a659f355n, 0xb02c2c9c2c7de8c4n, 0x37c4c4f3c46ea266n, 0xabe3e348e34b7093n,
    0xc57676b37697295fn, 0xfd78788578e70d75n, 0xe6b7b751b7d19522n, 0xeab4b45eb4c99f2bn,
    0x2409092d0948363fn, 0xec3b3bd73bc59aa1n, 0x380e0e360e70242an, 0x1941415841329bdan,
    0x2d4c4c614c5ab5f9n, 0x5fdede81debefe20n, 0xf2b2b240b2f98b39n, 0x7a9090ea90f447d7n,
    0x942525b12535defbn, 0xaea5a50ba541f95cn, 0x7bd7d7acd7f6c81fn, 0x0c03030f03180a09n,
    0x4411115511886677n, 0x0000000000000000n, 0x2bc3c3e8c356b073n, 0xb82e2e962e6de4can,
    0x729292e092e44bd9n, 0x9befef74ef2b58b7n, 0x254e4e6b4e4ab9f7n, 0x4812125a12906c7en,
    0x4e9d9dd39d9c69f4n, 0xe97d7d947dcf136en, 0x0bcbcbc0cb16804bn, 0xd43535e135b5be8bn,
    0x4010105010806070n, 0x73d5d5a6d5e6c411n, 0x214f4f6e4f42bff0n, 0x429e9edc9e8463fdn,
    0x294d4d644d52b3fen, 0x9ea9a937a921d178n, 0x4955551c5592e3b6n, 0x3fc6c6f9c67eae68n,
    0x67d0d0b7d0ceda0an, 0xf17b7b8a7bff077cn, 0x6018187818c05048n, 0x669797f197cc55c2n,
    0x6bd3d3b8d3d6d003n, 0xd83636ee36adb482n, 0xbfe6e659e6636e88n, 0x3d484875487aade5n,
    0x45565613568ae9bfn, 0x3e8181bf817c21a0n, 0x068f8f898f0c058an, 0xc17777b6779f2f58n,
    0x17ccccdbcc2e925en, 0x4a9c9cd69c946ff3n, 0xdeb9b967b9a1b108n, 0xafe2e24de2437694n,
    0x8aacac26ac09cf63n, 0xdab8b862b8a9b70fn, 0xbc2f2f932f65e2cdn, 0x5415154115a87e6bn,
    0xaaa4a40ea449ff5bn, 0xed7c7c917cc71569n, 0x4fdada95da9ee63cn, 0xe03838d838dd90a8n,
    0x781e1e661ef0445an, 0x2c0b0b270b583a31n, 0x1405051105281e1bn, 0x7fd6d6a9d6fece18n,
    0x5014144414a0786cn, 0xa56e6ecb6e577917n, 0xad6c6cc16c477519n, 0xe57e7e9b7ed71967n,
    0x856666e36617492fn, 0xd3fdfd2efdbb34c9n, 0xfeb1b14fb1e18130n, 0xb3e5e556e57b6481n,
    0x9d6060fd60275d3dn, 0x86afaf29af11c56an, 0x655e5e3b5ecad987n, 0xcc3333ff3385aa99n,
    0x268787a1874c35b2n, 0x03c9c9cac9068c45n, 0xe7f0f017f0d31aean, 0x695d5d345dd2d38en,
    0xa96d6dc46d4f731en, 0xfc3f3fc33fe582bdn, 0x1a8888928834179fn, 0x0e8d8d838d1c0984n,
    0x3bc7c7fcc776a86fn, 0xfbf7f70cf7eb08ffn, 0x741d1d691de84e53n, 0x83e9e96ae91b4ca5n,
    0x97ecec7bec3352ben, 0x93eded7eed3b54b9n, 0x3a8080ba807427a7n, 0xa429298d2955f6dfn,
    0x9c2727bb2725d2f5n, 0x1bcfcfd4cf369857n, 0x5e9999c799bc71e8n, 0x9aa8a832a829d77fn,
    0x5d50500d50bafdadn, 0x3c0f0f330f78222dn, 0xdc3737eb37a5b285n, 0x902424b4243dd8fcn,
    0xa0282888285df0d8n, 0xc03030f0309da090n, 0x6e9595fb95dc59ccn, 0x6fd2d2bdd2ded604n,
    0xf83e3ec63eed84ban, 0x715b5b2a5be2c79cn, 0x1d40405d403a9dddn, 0x368383b5836c2daen,
    0xf6b3b345b3f18d3en, 0xb96969d0696f6b02n, 0x415757165782efb8n, 0x7c1f1f631ff8425dn,
    0x1c07071b07381215n, 0x701c1c6c1ce04854n, 0x128a8a988a241b91n, 0xcabcbc76bc89af13n,
    0x802020a0201dc0e0n, 0x8bebeb60eb0b40abn, 0x1fceced1ce3e9e50n, 0x028e8e8c8e04038dn,
    0x96abab3dab31dd76n, 0x9feeee71ee235eb0n, 0xc43131f53195a697n, 0xb2a2a210a279eb49n,
    0xd17373a273bf3744n, 0xc3f9f93af99b2cd5n, 0x0fcacac5ca1e864cn, 0xe83a3ad23acd9ca6n,
    0x681a1a721ad05c46n, 0xcbfbfb30fb8b20dbn, 0x340d0d390d682e23n, 0x23c1c1e2c146bc7dn,
    0xdffefe21fea33ec0n, 0xcffafa35fa8326dcn, 0xeff2f21df2c316e4n, 0xa16f6fce6f5f7f10n,
    0xcebdbd73bd81a914n, 0x629696f496c453c5n, 0x53dddd8edda6f429n, 0x11434352432297d4n,
    0x5552520752aaf1a3n, 0xe2b6b654b6d99325n, 0x2008082808403038n, 0xebf3f318f3cb10e3n,
    0x82aeae2cae19c36dn, 0xc2bebe7cbe99a31dn, 0x6419197d19c8564fn, 0x1e898997893c1198n,
    0xc83232fa328dac9en, 0x982626be262dd4f2n, 0xfab0b04ab0e98737n, 0x8feaea65ea0346acn,
    0x314b4b7a4b62a7ecn, 0x8d6464e964074521n, 0x2a8484ae8