~zooko/cryptopp/trunk

#include "pch.h"

#include "shark.h"

#ifdef WORD64_AVAILABLE

NAMESPACE_BEGIN(CryptoPP)

const byte SHARK::Enc::sbox[256] = {

177, 206, 195, 149,  90, 173, 231,   2,  77,  68, 251, 145,  12, 135, 161,  80, 

203, 103,  84, 221,  70, 143, 225,  78, 240, 253, 252, 235, 249, 196,  26, 110, 

 94, 245, 204, 141,  28,  86,  67, 254,   7,  97, 248, 117,  89, 255,   3,  34, 

138, 209,  19, 238, 136,   0,  14,  52,  21, 128, 148, 227, 237, 181,  83,  35, 

 75,  71,  23, 167, 144,  53, 171, 216, 184, 223,  79,  87, 154, 146, 219,  27, 

 60, 200, 153,   4, 142, 224, 215, 125, 133, 187,  64,  44,  58,  69, 241,  66, 

101,  32,  65,  24, 114,  37, 147, 112,  54,   5, 242,  11, 163, 121, 236,   8, 

 39,  49,  50, 182, 124, 176,  10, 115,  91, 123, 183, 129, 210,  13, 106,  38, 

158,  88, 156, 131, 116, 179, 172,  48, 122, 105, 119,  15, 174,  33, 222, 208, 

 46, 151,  16, 164, 152, 168, 212, 104,  45,  98,  41, 109,  22,  73, 118, 199, 

232, 193, 150,  55, 229, 202, 244, 233,  99,  18, 194, 166,  20, 188, 211,  40, 

175,  47, 230,  36,  82, 198, 160,   9, 189, 140, 207,  93,  17,  95,   1, 197, 

159,  61, 162, 155, 201,  59, 190,  81,  25,  31,  63,  92, 178, 239,  74, 205, 

191, 186, 111, 100, 217, 243,  62, 180, 170, 220, 213,   6, 192, 126, 246, 102, 

108, 132, 113,  56, 185,  29, 127, 157,  72, 139,  42, 218, 165,  51, 130,  57, 

214, 120, 134, 250, 228,  43, 169,  30, 137,  96, 107, 234,  85,  76, 247, 226, 

};

const byte SHARK::Dec::sbox[256] = {

 53, 190,   7,  46,  83, 105, 219,  40, 111, 183, 118, 107,  12, 125,  54, 139, 

146, 188, 169,  50, 172,  56, 156,  66,  99, 200,  30,  79,  36, 229, 247, 201, 

 97, 141,  47,  63, 179, 101, 127, 112, 175, 154, 234, 245,  91, 152, 144, 177, 

135, 113, 114, 237,  55,  69, 104, 163, 227, 239,  92, 197,  80, 193, 214, 202, 

 90,  98,  95,  38,   9,  93,  20,  65, 232, 157, 206,  64, 253,   8,  23,  74, 

 15, 199, 180,  62,  18, 252,  37,  75, 129,  44,   4, 120, 203, 187,  32, 189, 

249,  41, 153, 168, 211,  96, 223,  17, 151, 137, 126, 250, 224, 155,  31, 210, 

103, 226, 100, 119, 132,  43, 158, 138, 241, 109, 136, 121, 116,  87, 221, 230, 

 57, 123, 238, 131, 225,  88, 242,  13,  52, 248,  48, 233, 185,  35,  84,  21, 

 68,  11,  77, 102,  58,   3, 162, 145, 148,  82,  76, 195, 130, 231, 128, 192, 

182,  14, 194, 108, 147, 236, 171,  67, 149, 246, 216,  70, 134,   5, 140, 176, 

117,   0, 204, 133, 215,  61, 115, 122,  72, 228, 209,  89, 173, 184, 198, 208, 

220, 161, 170,   2,  29, 191, 181, 159,  81, 196, 165,  16,  34, 207,   1, 186, 

143,  49, 124, 174, 150, 218, 240,  86,  71, 212, 235,  78, 217,  19, 142,  73, 

 85,  22, 255,  59, 244, 164, 178,   6, 160, 167, 251,  27, 110,  60,  51, 205, 

 24,  94, 106, 213, 166,  33, 222, 254,  42,  28, 243,  10,  26,  25,  39,  45, 

};

const word64 SHARK::Enc::cbox[8][256] = {

/* box 0 */

W64LIT(0x060d838f16f3a365),

W64LIT(0xa68857ee5cae56f6),

W64LIT(0xebf516353c2c4d89),

W64LIT(0x652174be88e85bdc),

W64LIT(0x0d4e9a8086c17921),

W64LIT(0x27ba7d33cffa58a1),

W64LIT(0x88d9e104a237b530),

W64LIT(0x693b8755a4fbe816),

W64LIT(0xdac9591826b254a0),

W64LIT(0x45c2e369fb336af3),

W64LIT(0xa96e1fb87b3e4ef4),

W64LIT(0xb7578f1435eb7ef0),

W64LIT(0x839af80b32056f74),

W64LIT(0xae37f55cc71f277a),

W64LIT(0xa4208538fdff37d5),

W64LIT(0x35991e74ad3cdb6f),

W64LIT(0xba191594b32a07d1),

W64LIT(0x5344d1772e572b7b),

W64LIT(0xe7efe5de103ffe43),

W64LIT(0xa3796fdc41de5e5b),

W64LIT(0x2cf9643c5fc882e5),

W64LIT(0xffdbf6fd48196d22),

W64LIT(0x33949dfbbbcf780a),

W64LIT(0x7d15679dd0cec8bd),

W64LIT(0x5f5e229c024498b1),

W64LIT(0x1223634762c683ce),

W64LIT(0xdcc4da973041f7c5),

W64LIT(0x0b43190f9032da44),

W64LIT(0xc05598eddfc5a6e2),

W64LIT(0x9e5fd31a7753f4b8),

W64LIT(0x9afa8243c0f136fe),

W64LIT(0xcc4f6b06f3d61528),

W64LIT(0xdf38612a3bc25c0d),

W64LIT(0x43cf60e6edc0c996),

W64LIT(0xcfb3d0bbf855bee0),

W64LIT(0x96e071a8ece28534),

W64LIT(0x21b7febcd909fbc4),

W64LIT(0x8ed4628bb4c41655),

W64LIT(0x30682646b04cd3c2),

W64LIT(0xb5ff5dc294ba1fd3),

W64LIT(0x75aac52f4b7fb931),

W64LIT(0xe809ad8837afe641),

W64LIT(0x0eb2213d8d42d2e9),

W64LIT(0x9852509561a057dd),

W64LIT(0xaa92a40570bde53c),

W64LIT(0x7b18e412c63d6bd8),

W64LIT(0xa7dc3e85f67c9c1d),

W64LIT(0xd8618bce87e33583),

W64LIT(0xe34ab487a79d3c05),

W64LIT(0x20e397d773db312f),

W64LIT(0x05f138321d7008ad),

W64LIT(0x17d25b757fb68b63),

W64LIT(0x8a7133d20366d413),

W64LIT(0x0000000000000000),

W64LIT(0xeaa17f5e96fe8762),

W64LIT(0xc101f18675176c09),

W64LIT(0xbebc44cd0488c597),

W64LIT(0xdb9d30738c609e4b),

W64LIT(0xabc6cd6eda6f2fd7),

W64LIT(0x5aaf1aae1f34901c),

W64LIT(0xb00e65f089ca177e),

W64LIT(0xd47b7825abf08649),

W64LIT(0x924520f15b404772),

W64LIT(0x1686321ed5644188),

W64LIT(0x618425e73f4a999a),

W64LIT(0xe21eddec0d4ff6ee),

W64LIT(0xd787c398a0732d81),

W64LIT(0x1f6df9c7e407faef),

W64LIT(0x79b036c4676c0afb),

W64LIT(0x0fe6485627901802),

W64LIT(0x9cf701ccd602959b),

W64LIT(0xbfe82da6ae5a0f7c),

W64LIT(0x990639fecb729d36),

W64LIT(0xca42e889e525b64d),

W64LIT(0xb3f2de4d8249bcb6),

W64LIT(0x4033db5be643625e),

W64LIT(0x4167b2304c91a8b5),

W64LIT(0x108bb191c397e2ed),

W64LIT(0x1834132358269361),

W64LIT(0x541d3b93927642f5),

W64LIT(0x90edf227fa112651),

W64LIT(0x1dc52b1145569bcc),

W64LIT(0xe6bb8cb5baed34a8),

W64LIT(0xd276fbaabd03252c),

W64LIT(0x313c4f2d1a9e1929),

W64LIT(0xfd73242be9480c01),

W64LIT(0x9baeeb286a23fc15),

W64LIT(0xc9be5334eea61d85),

W64LIT(0xc70c720963e4cf6c),

W64LIT(0x3eda077b3d0e012b),

W64LIT(0x97b418c346304fdf),

W64LIT(0x32c0f490111db2e1),

W64LIT(0x2ba08ed8e3e9eb6b),

W64LIT(0x8b255ab9a9b41ef8),

W64LIT(0x91b99b4c50c3ecba),

W64LIT(0xfe8f9f96e2cba7c9),

W64LIT(0x3a7f56228aacc36d),

W64LIT(0xb15a0c9b2318dd95),

W64LIT(0x5953a11314b73bd4),

W64LIT(0xf3c10516640adee8),

W64LIT(0xedf895ba2adfeeec),

W64LIT(0xadcb4ee1cc9c8cb2),

W64LIT(0xde6c0841911096e6),

W64LIT(0x84c312ef8e2406fa),

W64LIT(0xa83a76d3d1ec841f),

W64LIT(0x1c91427aef845127),

W64LIT(0x3665a5c9a6bf70a7),

W64LIT(0xf6303d24797ad645),

W64LIT(0xcd1b026d5904dfc3),

W64LIT(0x1bc8a89e53a538a9),

W64LIT(0x7ee9dc20db4d6375),

W64LIT(0x51ec03a18f064a58),

W64LIT(0xc4f0c9b4686764a4),

W64LIT(0xdd90b3fc9a933d2e),

W64LIT(0x7a4c8d796cefa133),

W64LIT(0x73a746a05d8c1a54),

W64LIT(0x0759eae4bc21698e),

W64LIT(0xc8ea3a5f4474d76e),

W64LIT(0x38d784f42bfda24e),

W64LIT(0x231f2c6a78589ae7),

W64LIT(0xc3a92350d4460d2a),

W64LIT(0x72f32fcbf75ed0bf),

W64LIT(0xbd40ff700f0b6e5f),

W64LIT(0x157a89a3dee7ea40),

W64LIT(0x873fa95285a7ad32),

W64LIT(0x4d7d41db60821b7f),

W64LIT(0x1e3990ac4ed53004),

W64LIT(0x0a1770643ae010af),

W64LIT(0x9311499af1928d99),

W64LIT(0x64751dd5223a9137),

W64LIT(0xfa2acecf5569658f),

W64LIT(0x7c410ef67a1c0256),

W64LIT(0x56b5e945332723d6),

W64LIT(0x6f3604dab2084b73),

W64LIT(0xe95dc4e39d7d2caa),

W64LIT(0x13770a2cc8144925),

W64LIT(0xbc14961ba5d9a4b4),

W64LIT(0xb9e5ae29b8a9ac19),

W64LIT(0xf169d7c0c55bbfcb),

W64LIT(0x2446c68ec479f369),

W64LIT(0x806643b63986c4bc),

W64LIT(0x7fbdb54b719fa99e),

W64LIT(0x04a55159b7a2c246),

W64LIT(0xee042e07215c4524),

W64LIT(0x5bfb73c5b5e65af7),

W64LIT(0x0c1af3eb2c13b3ca),

W64LIT(0xa22d06b7eb0c94b0),

W64LIT(0xb8b1c742127b66f2),

W64LIT(0x285c3565e86a40a3),

W64LIT(0x3b2b3f49207e0986),

W64LIT(0x3c72d5ad9c5f6008),

W64LIT(0x770217f9ea2ed812),

W64LIT(0xfc274d40439ac6ea),

W64LIT(0x4fd5930dc1d37a5c),

W64LIT(0x2e51b6eafe99e3c6),

W64LIT(0x6b93558305aa8935),

W64LIT(0x19607a48f2f4598a),

W64LIT(0x08bfa2b29bb1718c),

W64LIT(0x3f8e6e1097dccbc0),

W64LIT(0x3983ed9f812f68a5),

W64LIT(0xac9f278a664e4659),

W64LIT(0x82ce916098d7a59f),

W64LIT(0xc2fd4a3b7e94c7c1),

W64LIT(0x66ddcf03836bf014),

W64LIT(0xe1e2665106cc5d26),

W64LIT(0x74feac44e1ad73da),

W64LIT(0x8d28d936bf47bd9d),

W64LIT(0x62789e5a34c93252),

W64LIT(0x81322add93540e57),

W64LIT(0xcb1681e24ff77ca6),

W64LIT(0x2512afe56eab3982),

W64LIT(0xd18a4017b6808ee4),

W64LIT(0x705bfd1d560fb19c),

W64LIT(0x4b70c2547671b81a),

W64LIT(0x49d81082d720d939),

W64LIT(0xe0b60f3aac1e97cd),

W64LIT(0x4e81fa666b01b0b7),

W64LIT(0x951cca15e7612efc),

W64LIT(0x463e58d4f0b0c13b),

W64LIT(0x632cf7319e1bf8b9),

W64LIT(0x5ca2992109c73379),

W64LIT(0xf764544fd3a81cae),

W64LIT(0x6ac73ce8af7843de),

W64LIT(0x9f0bba71dd813e53),

W64LIT(0x85977b8424f6cc11),

W64LIT(0x5807c878be65f13f),

W64LIT(0x686fee3e0e2922fd),

W64LIT(0x78e45fafcdbec010),

W64LIT(0x6ccabf67b98be0bb),

W64LIT(0x11dfd8fa69452806),

W64LIT(0xcee7b9d05287740b),

W64LIT(0x50b86aca25d480b3),

W64LIT(0x5df6f04aa315f992),

W64LIT(0x5e0a4bf7a896525a),

W64LIT(0x03fcbbbd0b83abc8),

W64LIT(0x8f800be01e16dcbe),

W64LIT(0xd32292c117d1efc7),

W64LIT(0xe5473708b16e9f60),

W64LIT(0x224b4501d28a500c),

W64LIT(0xfb7ea7a4ffbbaf64),

W64LIT(0x3d26bcc6368daae3),

W64LIT(0x866bc0392f7567d9),

W64LIT(0x3731cca20c6dba4c),

W64LIT(0xb603e67f9f39b41b),

W64LIT(0xa1d1bd0ae08f3f78),

W64LIT(0xd935e2a52d31ff68),

W64LIT(0xaf639c376dcded91),

W64LIT(0x0154696baad2caeb),

W64LIT(0xecacfcd1800d2407),

W64LIT(0xf03dbeab6f897520),

W64LIT(0x02a8d2d6a1516123),

W64LIT(0xf498eff2d82bb766),

W64LIT(0x710f9476fcdd7b77),

W64LIT(0xf8821c19f43804ac),

W64LIT(0xf9d675725eeace47),

W64LIT(0x1a9cc1f5f977f242),

W64LIT(0x5210b81c8485e190),

W64LIT(0x6d9ed60c13592a50),

W64LIT(0xf2956c7dced81403),

W64LIT(0xbb4d7cff19f8cd3a),

W64LIT(0x4c2928b0ca50d194),

W64LIT(0x6e626db118da8198),

W64LIT(0xe4135e631bbc558b),

W64LIT(0x9da368a77cd05f70),

W64LIT(0xa574ec53572dfd3e),

W64LIT(0x09ebcbd93163bb67),

W64LIT(0x4a24ab3fdca372f1),

W64LIT(0x429b098d4712037d),

W64LIT(0x57e1802e99f5e93d),

W64LIT(0xef50476c8b8e8fcf),

W64LIT(0xa085d4614a5df593),

W64LIT(0x34cd771f07ee1184),

W64LIT(0xc6581b62c9360587),

W64LIT(0x2dad0d57f51a480e),

W64LIT(0x898d886f08e57fdb),

W64LIT(0xd6d3aaf30aa1e76a),

W64LIT(0x76567e9240fc12f9),

W64LIT(0xb4ab34a93e68d538),

W64LIT(0xb2a6b726289b765d),

W64LIT(0x8c7cb05d15957776),

W64LIT(0x554952f838a4881e),

W64LIT(0xd52f114e01224ca2),

W64LIT(0x60d04c8c95985371),

W64LIT(0x6789a66829b93aff),

W64LIT(0x2f05df81544b292d),

W64LIT(0x476a31bf5a620bd0),

W64LIT(0xf5cc869972f97d8d),

W64LIT(0x488c79e97df213d2),

W64LIT(0x44968a0251e1a018),

W64LIT(0x26ee14586528924a),

W64LIT(0xd0de297c1c52440f),

W64LIT(0xc5a4a0dfc2b5ae4f),

W64LIT(0x29085c0e42b88a48),

W64LIT(0x142ee0c8743520ab),

W64LIT(0x2af4e7b3493b2180),

W64LIT(0x9448a37e4db3e417),

/* box 1 */

W64LIT(0xe2795ba105ba30ce),

W64LIT(0x65b5d634f5e0fbdd),

W64LIT(0x2d7d7f1464dd8c55),

W64LIT(0xeefbf778add1c20b),

W64LIT(0x1eb0fbd1f11968e7),

W64LIT(0xe6073f45ce30cd8d),

W64LIT(0x21ffd3cdccb67e90),

W64LIT(0xdf0941cfa750a262),

W64LIT(0xc61df5b1b75ef18a),

W64LIT(0xc5c7defa9dc337c6),

W64LIT(0x2581b729073c83d3),

W64LIT(0xa5e97513167173cf),

W64LIT(0xdd3673bd381526b9),

W64LIT(0xe8baa1eef91ebb93),

W64LIT(0x3b314cf8f625eb34),

W64LIT(0x579d4bc8d5fc5df8),

W64LIT(0xbb598ec2e7681b28),

W64LIT(0xc8a06b1a80708794),

W64LIT(0x1c8fc9a36e5cec3c),

W64LIT(0xf60a5a3f0807d374),

W64LIT(0x1ace9f353a9395a4),

W64LIT(0x7e9e50387aab2cee),

W64LIT(0xb5e41069d0466d36),

W64LIT(0x8cea6ee3b92602d9),

W64LIT(0xf952ddad8af1e7fd),

W64LIT(0xb19a748d1bcc9075),

W64LIT(0x2464ae10b2e4c144),

W64LIT(0xfcc9a070f4a35829),

W64LIT(0xfa88f6e6a06c21b1),

W64LIT(0x2c98662dd105cec2),

W64LIT(0x9065a740d77aeee5),

W64LIT(0xcb7a4051aaed41d8),

W64LIT(0x55a279ba4ab9d923),

W64LIT(0x27be855b98790708),

W64LIT(0xbabc97fb52b059bf),

W64LIT(0xa19711f7ddfb8e8c),

W64LIT(0x047e64e4cb8afd43),

W64LIT(0xc386886cc90c4e5e),

W64LIT(0xc422c7c3281b7551),

W64LIT(0xfb6defdf15b46326),

W64LIT(0x01e51939b5d84297),

W64LIT(0x5cbba8be9c809432),

W64LIT(0x6f762c7b09447080),

W64LIT(0xcee13d8cd4bffe0c),

W64LIT(0x54476083ff619bb4),

W64LIT(0x6e933542bc9c3217),

W64LIT(0x4af79b520e78f353),

W64LIT(0x98996f7db49be163),

W64LIT(0xa07208ce6823cc1b),

W64LIT(0x2b3c29823012f5cd),

W64LIT(0x93bf8c0bfde728a9),

W64LIT(0x2225f886e62bb8dc),

W64LIT(0x7f7b4901cf736e79),

W64LIT(0x0000000000000000),

W64LIT(0x023f32729f4584db),

W64LIT(0xd5cabb805bf4293f),

W64LIT(0x07a44fafe1173b0f),

W64LIT(0xe95fb8d74cc6f904),

W64LIT(0x7b052de504f9933a),

W64LIT(0x6aed51a67716cf54),

W64LIT(0x68d263d4e8534b8f),

W64LIT(0xa96bd9cabe1a810a),

W64LIT(0x1d6ad09adb84aeab),

W64LIT(0x0d67b5e01db3b052),

W64LIT(0x52063615abaee22c),

W64LIT(0x8f3045a893bbc495),

W64LIT(0xd8ad0e604647996d),

W64LIT(0xaf2a8f5cead5f892),

W64LIT(0x3017af8ebf5922fe),

W64LIT(0x4034611df2dc780e),

W64LIT(0x721cfce1d2c0de2b),

W64LIT(0x28e602c91a8f3381),

W64LIT(0xe1a370ea2f27f682),

W64LIT(0x29031bf0af577116),

W64LIT(0x1914b47e100e53e8),

W64LIT(0x567852f160241f6f),

W64LIT(0x793a1f979bbc17e1),

W64LIT(0xef1eee411809809c),

W64LIT(0x6211999b14f7c0d2),

W64LIT(0x059b7ddd7e52bfd4),

W64LIT(0x43ee4a56d841be42),

W64LIT(0xf1ae1590e910e87b),

W64LIT(0x33cd84c595c4e4b2),

W64LIT(0x4b12826bbba0b1c4),

W64LIT(0xeb608aa5d3837ddf),

W64LIT(0x201acaf4796e3c07),

W64LIT(0xbf27ea262ce2e66b),

W64LIT(0x58c5cc5a570a6971),

W64LIT(0x37b3e0215e4e19f1),

W64LIT(0xab54ebb8215f05d1),

W64LIT(0x8ed55c9126638602),

W64LIT(0x9aa65d0f2bde65b8),

W64LIT(0xd7f589f2c4b1ade4),

W64LIT(0x5039046734eb66f7),

W64LIT(0x6cac073023d9b6cc),

W64LIT(0x51dc1d5e81332460),

W64LIT(0x17a92ad5272025f6),

W64LIT(0x47902eb213cb4301),

W64LIT(0x1b2b860c8f4bd733),

W64LIT(0x4f6ce68f702a4c87),

W64LIT(0xcf0424b56167bc9b),

W64LIT(0x997c76440143a3f4),

W64LIT(0x7ae034dcb121d1ad),

W64LIT(0x100d657ac6371ef9),

W64LIT(0x0ac3fa4ffca48b5d),

W64LIT(0xdeec58f61288e0f5),

W64LIT(0x265b9c622da1459f),

W64LIT(0xdcd36a848dcd642e),

W64LIT(0xe4380d3751754956),

W64LIT(0x13d74e31ecaad8b5),

W64LIT(0xfd2cb949417b1abe),

W64LIT(0x9624f1d683b5977d),

W64LIT(0x4675378ba6130196),

W64LIT(0x0b26e376497cc9ca),

W64LIT(0x41d1782447043a99),

W64LIT(0xe39c4298b0627259),

W64LIT(0xcd3b16c7fe223840),

W64LIT(0x7787813cac9261ff),

W64LIT(0x492db01924e5351f),

W64LIT(0x5afafe28c84fedaa),

W64LIT(0x8b4e214c583139d6),

W64LIT(0xccde0ffe4bfa7ad7),

W64LIT(0x76629805194a2368),

W64LIT(0x7ca1624ae5eea835),

W64LIT(0x61cbb2d03e6a069e),

W64LIT(0x48c8a920913d7788),

W64LIT(0x8068c23a114df01c),

W64LIT(0xd38bed160f3b50a7),

W64LIT(0x32289dfc201ca625),

W64LIT(0xc1b9ba1e5649ca85),

W64LIT(0xed21dc33874c0447),

W64LIT(0xa3a8238542be0a57),

W64LIT(0x5b1fe7117d97af3d),

W64LIT(0x3d701a6ea2ea92ac),

W64LIT(0x73f9e5d867189cbc),

W64LIT(0x9ed839ebe05498fb),

W64LIT(0x5920d563e2d22be6),

W64LIT(0xca9f59681f35034f),

W64LIT(0x11e87c4373ef5c6e),

W64LIT(0x97c1e8ef366dd5ea),

W64LIT(0xacf0a417c0483ede),

W64LIT(0xd26ef42fbae31230),

W64LIT(0xbcfdc16d067f2027),

W64LIT(0xbec2f31f993aa4fc),

W64LIT(0x45af1cc08c8ec7da),

W64LIT(0x31f2b6b70a816069),

W64LIT(0xd9481759f39fdbfa),

W64LIT(0xe5dd140ee4ad0bc1),

W64LIT(0xa6335e583cecb583),

W64LIT(0x38eb67b3dcb82d78),

W64LIT(0xf5d07174229a1538),

W64LIT(0x5f6183f5b61d527e),

W64LIT(0x0f58879282f63489),

W64LIT(0x164c33ec92f86761),

W64LIT(0x444a05f93956854d),

W64LIT(0x818ddb03a495b28b),

W64LIT(0x4d53d4fdef6fc85c),

W64LIT(0x8d0f77da0cfe404e),

W64LIT(0x8416a6dedac70d5f),

W64LIT(0x666ffd7fdf7d3d91),

W64LIT(0xb63e3b22fadbab7a),

W64LIT(0xf2743edbc38d2e37),

W64LIT(0xa40c6c2aa3a93158),

W64LIT(0x9f3d20d2558cda6c),

W64LIT(0xfef692026be6dcf2),

W64LIT(0x2ea7545f4e404a19),

W64LIT(0xb2405fc631515639),

W64LIT(0x23c0e1bf53f3fa4b),

W64LIT(0x83b2e9713bd03650),

W64LIT(0x0641569654cf7998),

W64LIT(0xb883a589cdf5dd64),

W64LIT(0x3ad455c143fda9a3),

W64LIT(0x925a9532483f6a3e),

W64LIT(0xaab1f28194874746),

W64LIT(0xf435684d974257af),

W64LIT(0xd1b4df64907ed47c),

W64LIT(0x390e7e8a69606fef),

W64LIT(0xd051c65d25a696eb),

W64LIT(0xb4010950659e2fa1),

W64LIT(0x0c82acd9a86bf2c5),

W64LIT(0x88940a0772acff9a),

W64LIT(0xf39127e276556ca0),

W64LIT(0xaecf96655f0dba05),

W64LIT(0x03da2b4b2a9dc64c),

W64LIT(0x3f4f281c3daf1677),

W64LIT(0x3469cb6a74d3dfbd),

W64LIT(0xf04b0ca95cc8aaec),

W64LIT(0x1f55e2e844c12a70),

W64LIT(0x4cb6cdc45ab78acb),

W64LIT(0xc05ca327e3918812),

W64LIT(0x95feda9da9285131),

W64LIT(0xb966bcb0782d9ff3),

W64LIT(0xa7d647618934f714),

W64LIT(0xd61090cb7169ef73),

W64LIT(0x71c6d7aaf85d1867),

W64LIT(0xecc4c50a329446d0),

W64LIT(0x6450cf0d4038b94a),

W64LIT(0x420b536f6d99fcd5),

W64LIT(0x75b8b34e33d7e524),

W64LIT(0xc26391557cd40cc9),

W64LIT(0xda923c12d9021db6),

W64LIT(0x4e89ffb6c5f20e10),

W64LIT(0x0919d104d6394d11),

W64LIT(0x8aab3875ede97b41),

W64LIT(0xa88ec0f30bc2c39d),

W64LIT(0xb7db221b4f03e9ed),

W64LIT(0xc7f8ec880286b31d),

W64LIT(0x2f424d66fb98088e),

W64LIT(0xe04669d39affb415),

W64LIT(0x3eaa3125887754e0),

W64LIT(0x5e849acc03c510e9),

W64LIT(0x8257f0488e0874c7),

W64LIT(0xbd18d854b3a762b0),

W64LIT(0xb3a546ff848914ae),

W64LIT(0x9ce70b997f111c20),

W64LIT(0x3c9503571732d03b),

W64LIT(0xe7e2267c7be88f1a),

W64LIT(0x63f480a2a12f8245),

W64LIT(0x602eabe98bb24409),

W64LIT(0x941bc3a41cf013a6),

W64LIT(0x678ae4466aa57f06),

W64LIT(0x1232570859729a22),

W64LIT(0x6d491e099601f45b),

W64LIT(0x5d5eb1872958d6a5),

W64LIT(0x1473019e0dbde3ba),

W64LIT(0xa24d3abcf76648c0),

W64LIT(0x85f3bfe76f1f4fc8),

W64LIT(0x08fcc83d63e10f86),

W64LIT(0x745daa77860fa7b3),

W64LIT(0x9180be7962a2ac72),

W64LIT(0x87cc8d95f05acb13),

W64LIT(0x78df06ae2e645576),

W64LIT(0x18f1ad47a5d6117f),

W64LIT(0x358cd253c10b9d2a),

W64LIT(0x0ebd9eab372e761e),

W64LIT(0xf7ef4306bddf91e3),

W64LIT(0x7023ce934d855af0),

W64LIT(0xd42fa2b9ee2c6ba8),

W64LIT(0x3656f918eb965b66),

W64LIT(0x9d0212a0cac95eb7),

W64LIT(0x2ad930bb85cab75a),

W64LIT(0x862994ac45828984),

W64LIT(0x7d447b735036eaa2),

W64LIT(0xb07f6db4ae14d2e2),

W64LIT(0x6b08489fc2ce8dc3),

W64LIT(0x9b4344369e06272f),

W64LIT(0xad15bd2e75907c49),

W64LIT(0xdb77252b6cda5f21),

W64LIT(0xea85939c665b3f48),

W64LIT(0xc945722335a8c503),

W64LIT(0x159618a7b865a12d),

W64LIT(0x69377aed5d8b0918),

W64LIT(0x8971133ec774bd0d),

W64LIT(0x53e32f2c1e76a0bb),

W64LIT(0xf8b7c4943f29a56a),

W64LIT(0xff138b3bde3e9e65),

/* box 2 */

W64LIT(0x7c6a2eb5fdabecc6),

W64LIT(0x401cda0a752bbea0),

W64LIT(0x1925217156dc57c4),

W64LIT(0x56dec6d301d70787),

W64LIT(0x41c751ff73c6ac58),

W64LIT(0xc9067697a92cb5f9),

W64LIT(0x3391c917aaa0bc85),

W64LIT(0xae0a9a4c0e742afe),

W64LIT(0xaa8ca972162a62f4),

W64LIT(0x5aa193912935df99),

W64LIT(0x86fd9135fe27e5ba),

W64LIT(0xffca074b1d3f538e),

W64LIT(0x0e3cb65d24cdfc1b),

W64LIT(0x4384b2e07fe9885d),

W64LIT(0xc73ac0ca8de149e2),

W64LIT(0x48e5bc7645972eb4),

W64LIT(0xbe0d56b46ef9ffd6),

W64LIT(0x200e6d05c0ef5f50),

W64LIT(0xe1f17dee597f7abd),

W64LIT(0x0243e31f0c2f2405),

W64LIT(0xf4ab09dd2741f567),

W64LIT(0xe4acc52547cc204f),

W64LIT(0x348f92c3b83cc272),

W64LIT(0x53837e181f645d75),

W64LIT(0xd8da319acf4c7229),

W64LIT(0x81e3cae1ecbb9b4d),

W64LIT(0xd6e687c7eb818e32),

W64LIT(0x3dad7f4a8e6d409e),

W64LIT(0x28f70b79f053cf44),

W64LIT(0x493e3783437a3c4c),

W64LIT(0xb27203f6461b27c8),

W64LIT(0xd02357e6fff0e23d),

W64LIT(0xe8d390676f2ef851),

W64LIT(0x26cbbd24d49e335f),

W64LIT(0xee1640467b5f945e),

W64LIT(0x4aa65f6949b80ab1),

W64LIT(0xb56c58225487593f),

W64LIT(0x4ffbe7a2570b5043),

W64LIT(0x0aba85633c93b411),

W64LIT(0x78ec1d8be5f5a4cc),

W64LIT(0x501b16f215a66b88),

W64LIT(0x271036d1d27321a7),

W64LIT(0x7ff2465ff769da3b),

W64LIT(0x35541936bed1d08a),

W64LIT(0xb8c886957a8893d9),

W64LIT(0x2fe950ade2cfb1b3),

W64LIT(0xf90fd76a094e3f81),

W64LIT(0x2daab3b2eee095b6),

W64LIT(0x1abd499b5c1e6139),

W64LIT(0x0c7f554228e2d81e),

W64LIT(0x425f391579049aa5),

W64LIT(0xc3bcf3f495bf01e8),

W64LIT(0xb4b7d3d7526a4bc7),

W64LIT(0x0000000000000000),

W64LIT(0xa0362c112ab9d6e5),

W64LIT(0x91e406198c364e65),

W64LIT(0x454162c16b98e452),

W64LIT(0x139fa4126a4fe3d5),

W64LIT(0x01db8bf506ed12f8),

W64LIT(0x9a85088fb648e88c),

W64LIT(0x3ab3249e9cf13e69),

W64LIT(0xd57eef2de143b8cf),

W64LIT(0xb1ea6b1c4cd91135),

W64LIT(0x7aaffe94e9da80c9),

W64LIT(0xad92f2a604b61c03),

W64LIT(0xa3ae44fb207be018),

W64LIT(0xeb4bf88d65ecceac),

W64LIT(0xc0249b1e9f7d3715),

W64LIT(0xa8cf4a6d1a0546f1),

W64LIT(0xc6e14b3f8b0c5b1a),

W64LIT(0xce182d43bbb0cb0e),

W64LIT(0xfc526fa117fd6573),

W64LIT(0x8c471456c2b451ab),

W64LIT(0xac497953025b0efb),

W64LIT(0x0486333e185e480a),

W64LIT(0x18feaa845031453c),

W64LIT(0xa1eda7e42c54c41d),

W64LIT(0x06c5d02114716c0f),

W64LIT(0x055db8cb1eb35af2),

W64LIT(0xe5774ed0412132b7),

W64LIT(0x36cc71dcb413e677),

W64LIT(0x470281de67b7c057),

W64LIT(0x58e2708e251afb9c),

W64LIT(0xa914c1981ce85409),

W64LIT(0xb3a9880340f63530),

W64LIT(0x638adfe5bf06d70d),

W64LIT(0x0b610e963a7ea6e9),

W64LIT(0x927c6ef386f47898),

W64LIT(0xed8e28ac719da2a3),

W64LIT(0x7548c33ccbfa6e2a),

W64LIT(0xf3b5520935dd8b90),

W64LIT(0x8d9c9fa3c4594353),

W64LIT(0x31d22a08a68f9880),

W64LIT(0x0da4deb72e0fcae6),

W64LIT(0x8fdf7cbcc8766756),

W64LIT(0x5dbfc8453ba9a16e),

W64LIT(0x8e04f749ce9b75ae),

W64LIT(0x83a029fee094bf48),

W64LIT(0xa4b01f2f32e79eef),

W64LIT(0x1c7899ba486f0d36),

W64LIT(0x654f0fc4ab77bb02),

W64LIT(0x7db1a540fb46fe3e),

W64LIT(0x51c09d07134b7970),

W64LIT(0xcb459588a50391fc),

W64LIT(0x3fee9c558242649b),

W64LIT(0xfe118cbe1bd24176),

W64LIT(0x76d0abd6c13858d7),

W64LIT(0x5e27a0af316b9793),

W64LIT(0x69305a868395631c),

W64LIT(0x3b68af6b9a1c2c91),

W64LIT(0x6db669b89bcb2b16),

W64LIT(0xa72877c53825a812),

W64LIT(0xd3bb3f0cf532d4c0),

W64LIT(0x6ff58aa797e40f13),

W64LIT(0x96fa5dcd9eaa3092),

W64LIT(0x2c713847e80d874e),

W64LIT(0xc57923d581ce6de7),

W64LIT(0x2b6f6393fa91f9b9),

W64LIT(0x0922ed89365182ec),

W64LIT(0x324a42e2ac4dae7d),

W64LIT(0x16c21cd974fcb927),

W64LIT(0x956235279468066f),

W64LIT(0x7b747561ef379231),

W64LIT(0x449ae9346d75f6aa),

W64LIT(0xf570822821ace79f),

W64LIT(0x5939fb7b23f7e964),

W64LIT(0x7937967ee318b634),

W64LIT(0x84be722af208c1bf),

W64LIT(0x08f9667c30bc9014),

W64LIT(0xefcdcbb37db286a6),

W64LIT(0xa6f3fc303ec8baea),

W64LIT(0xea9073786301dc54),

W64LIT(0x62515410b9ebc5f5),

W64LIT(0xd260b4f9f3dfc638),

W64LIT(0x9e033bb1ae16a086),

W64LIT(0x38f0c78190de1a6c),

W64LIT(0xc267780193521310),

W64LIT(0x80384114ea5689b5),

W64LIT(0x9b5e837ab0a5fa74),

W64LIT(0xf73361372d83c39a),

W64LIT(0x3009a1fda0628a78),

W64LIT(0xd4a564d8e7aeaa37),

W64LIT(0xfb4c347505611b84),

W64LIT(0x5b7a18642fd8cd61),

W64LIT(0x239605efca2d69ad),

W64LIT(0xf8d45c9f0fa32d79),

W64LIT(0xbb50ee7f704aa524),