libcrypto%2b%2b-dev/html/sharkbox_8cpp_source.html

#include "pch.h"

#include "shark.h"


#if CRYPTOPP_GCC_DIAGNOSTIC_AVAILABLE

# pragma GCC diagnostic ignored "-Wmissing-braces"

#endif


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),

W64LIT(0x392b4c7496330894),

W64LIT(0x0fe73da82220eee3),

W64LIT(0x3717fa29b2fef48f),

W64LIT(0xf26ed9fc33309968),

W64LIT(0xd73d0c32ed6c9cca),

W64LIT(0xda99d285c363562c),

W64LIT(0xde1fe1bbdb3d1e26),

W64LIT(0x738d131ddf8b0225),

W64LIT(0x292c808cf6beddbc),

W64LIT(0xbc4eb5ab62d6dbd3),

W64LIT(0x039868ea0ac236fd),

W64LIT(0xcc5bce5cb79fef0b),

W64LIT(0xb031e0e94a3403cd),

W64LIT(0xc4a2a82087237f1f),

W64LIT(0xb72fbb3d58a87d3a),

W64LIT(0xafd111b908993806),

W64LIT(0x68ebd173857871e4),

W64LIT(0x9d9b535ba4d4967b),

W64LIT(0xe9081b9269c3eaa9),

W64LIT(0x71cef002d3a42620),

W64LIT(0x93a7e50680196a60),

W64LIT(0x891aac9ddc070b59),

W64LIT(0x155a74337e3e8fda),

W64LIT(0x4e206c5751e642bb),

W64LIT(0x9721d6389847226a),

W64LIT(0x12442fe76ca2f12d),

W64LIT(0x2553d5cede5c05a2),

W64LIT(0xa275cf0e2696f2e0),

W64LIT(0x24885e3bd8b1175a),

W64LIT(0x670cecdba7589f07),

W64LIT(0x749348c9cd177cd2),

W64LIT(0x64948431ad9aa9fa),

W64LIT(0x2ab4e866fc7ceb41),

W64LIT(0xe6ef263a4be3044a),

W64LIT(0xe734adcf4d0e16b2),

W64LIT(0x903f8dec8adb5c9d),

W64LIT(0xf02d3ae33f1fbd6d),

W64LIT(0x725698e8d96610dd),

W64LIT(0x1da3124f4e821fce),

W64LIT(0x1719972c7211abdf),

W64LIT(0x11dc470d6660c7d0),

W64LIT(0xec55a3597770b05b),

W64LIT(0xbfd6dd416814ed2e),

W64LIT(0x57054d26073a157f),

W64LIT(0x1e3b7aa544402933),

W64LIT(0x5ffc2b5a3786856b),

W64LIT(0x61c93cfab329f308),

W64LIT(0x3e3517a084af7663),

W64LIT(0xf6e8eac22b6ed162),

W64LIT(0x1007ccf8608dd528),

W64LIT(0x66d7672ea1b58dff),

W64LIT(0x8b594f82d0282f5c),

W64LIT(0x1fe0f15042ad3bcb),

W64LIT(0x4b7dd49c4f551849),

W64LIT(0x4c638f485dc966be),

W64LIT(0xcfc3a6b6bd5dd9f6),

W64LIT(0x46d90a2b615ad2af),

W64LIT(0x8565f9dff4e5d347),

W64LIT(0x94b9bed292851497),

W64LIT(0xfa97bf80038c097c),

W64LIT(0xb9130d607c658121),

W64LIT(0xdc5c02a4d7123a23),

W64LIT(0x224d8e1accc07b55),

W64LIT(0x87261ac0f8caf742),

W64LIT(0xd901ba6fc9a160d1),

W64LIT(0xab57228710c7700c),

W64LIT(0x21d5e6f0c6024da8),

W64LIT(0x98c6eb90ba67cc89),

W64LIT(0x827ba20be679adb0),

W64LIT(0x991d6065bc8ade71),

W64LIT(0x5546ae390b15317a),

W64LIT(0xa56b94da340a8c17),

W64LIT(0x071e5bd4129c7ef7),

W64LIT(0xe02af61b5f926845),

W64LIT(0x6b73b9998fba4719),

W64LIT(0xdfc46a4eddd00cde),

W64LIT(0x770b2023c7d54a2f),

W64LIT(0x7e29cdaaf184c8c3),

W64LIT(0xba8b658a76a7b7dc),

W64LIT(0x9c40d8aea2398483),

W64LIT(0x9fd8b044a8fbb27e),

W64LIT(0xdb425970c58e44d4),

W64LIT(0xe269150453bd4c40),

W64LIT(0x3c76f4bf88805266),

W64LIT(0xf1f6b11639f2af95),

W64LIT(0x549d25cc0df82382),

W64LIT(0x4db804bd5b247446),

W64LIT(0x8a82c477d6c53da4),

W64LIT(0x5258f5ed19894f8d),

W64LIT(0x6e2e015291091deb),

W64LIT(0xc1ff10eb999025ed),

W64LIT(0xbd953e5e643bc92b),

W64LIT(0xc8ddfd62afc1a701),

W64LIT(0x5c6443b03d44b396),

W64LIT(0x6c6de24d9d2639ee),

W64LIT(0x1481ffc678d39d22),

W64LIT(0xd1f8dc13f91df0c5),

W64LIT(0xca9e1e7da3ee8304),

W64LIT(0xdd878951d1ff28db),

W64LIT(0x6012b70fb5c4e1f0),

W64LIT(0x1b66c26e5af373c1),

W64LIT(0xe3b29ef155505eb8),

W64LIT(0x70157bf7d54934d8),

W64LIT(0x2e32db58e422a34b),

W64LIT(0x6aa8326c895755e1),

W64LIT(0xb6f430c85e456fc2),

W64LIT(0xfd89e4541110778b),

W64LIT(0x88c12768daea19a1),

W64LIT(0xcd8045a9b172fdf3),

/* box 3 */

W64LIT(0x99183e616655b742),

W64LIT(0xb2872032a50d6860),

W64LIT(0x0946f63b060528ef),

W64LIT(0x36612b9a141ef07d),

W64LIT(0x0634da84dd49579b),

W64LIT(0xfc9c9e9b486c8a57),

W64LIT(0xa63fe3c0744e6fd0),

W64LIT(0xf1515758d8b46bf9),

W64LIT(0x3e82559fcd5197ff),

W64LIT(0x92e12d262bc40177),

W64LIT(0xc3bb433a5a7752c5),

W64LIT(0x21c3852a5183267a),

W64LIT(0x39130725cf528f09),

W64LIT(0x9ba7db1d2dc12998),

W64LIT(0xc58f99be873e055e),

W64LIT(0xd9d424498f32656c),

W64LIT(0x27f75fae8cca71e1),

W64LIT(0x59b91019a8fc3430),

W64LIT(0xce768af9caafb36b),

W64LIT(0x9d930199f0887e03),

W64LIT(0x63b07a7ef3706a8e),

W64LIT(0xb5167288a70e7096),

W64LIT(0x40cc1a28e967d22e),

W64LIT(0x4d01d3eb79bf3380),

W64LIT(0x9e896cdb6456afb4),

W64LIT(0x2548bad2c75eef3b),

W64LIT(0xa79a6bfeab0420bd),

W64LIT(0x9f2ce4e5bb1ce0d9),

W64LIT(0x32ea146282c3393c),

W64LIT(0x6d67defff7765a97),

W64LIT(0x83775912b31080eb),

W64LIT(0xf5da68a04e69a2b8),

W64LIT(0x1196743498d4819c),

W64LIT(0x0bf913474d91b635),

W64LIT(0x43d6776a7db90399),

W64LIT(0x444725d07fba1b6f),

W64LIT(0x6584a0fa2e393d15),

W64LIT(0x3f27dda1121bd892),

W64LIT(0xf6c005e2dab7730f),

W64LIT(0x56cb3ca673b04b44),

W64LIT(0x642128c4f1737278),

W64LIT(0xbf4ae9f135d589ce),

W64LIT(0xb038c54eee99f6ba),

W64LIT(0xf47fe09e9123edd5),

W64LIT(0x75b75cf069a7f3e4),

W64LIT(0xd419ed8a1fea84c2),

W64LIT(0x73838674b4eea47f),

W64LIT(0x498aec13ef62fac1),

W64LIT(0x20660d148ec96917),

W64LIT(0xa48006bc3fdaf10a),

W64LIT(0x2f1421ab55851663),

W64LIT(0x0a5c9b7992dbf958),

W64LIT(0xd1375a4c567d02ee),

W64LIT(0x0000000000000000),

W64LIT(0xc842507d17e6e4f0),

W64LIT(0xf3eeb2249320f523),

W64LIT(0xc9e7d843c8acab9d),

W64LIT(0xff86f3d9dcb25be0),

W64LIT(0xb4b3fab678443ffb),

W64LIT(0xb19d4d7031d3b9d7),

W64LIT(0x79df1d0d26355d27),

W64LIT(0x8eba90d123c86145),

W64LIT(0xaa57a23d3bdcc113),

W64LIT(0xcb583d3f83383547),

W64LIT(0xd871ac7750782a01),

W64LIT(0xe162ab529f2aa508),

W64LIT(0x38b68f1b1018c064),

W64LIT(0x237c60561a17b8a0),

W64LIT(0xa31154063dd9e9fc),

W64LIT(0x713c6308ff7a3aa5),

W64LIT(0x1a6f6773d54537a9),

W64LIT(0x08e37e05d94f6782),

W64LIT(0x357b46d880c021ca),

W64LIT(0x6cc256c1283c15fa),

W64LIT(0xcfd302c715e5fc06),

W64LIT(0xbdf50c8d7e411714),

W64LIT(0x7cf1aacb6fa2db0b),

W64LIT(0x5240035ee56d8205),

W64LIT(0x7b60f8716da1c3fd),

W64LIT(0x01a5883edf4a4f6d),

W64LIT(0xdd5f1bb119efac2d),

W64LIT(0x5474d9da3824d59e),

W64LIT(0x0f722cbfdb4c7f74),

W64LIT(0x17a2aeb0459dd607),

W64LIT(0x37c4a3a4cb54bf10),

W64LIT(0xc21ecb04853d1da8),

W64LIT(0x4273ff54a2f34cf4),

W64LIT(0xdace490b1becb4db),

W64LIT(0x6af68c45f5754261),

W64LIT(0x46f8c0ac342e85b5),

W64LIT(0x854383966e59d770),

W64LIT(0x81c8bc6ef8841e31),

W64LIT(0x3bace25984c611d3),

W64LIT(0x1033fc0a479ecef1),

W64LIT(0x1c5bbdf7080c6032),

W64LIT(0x7412d4ceb6edbc89),

W64LIT(0xa8e8474170485fc9),

W64LIT(0xb8dbbb4b37d69138),

W64LIT(0x079152ba020318f6),

W64LIT(0x72260e4a6ba4eb12),

W64LIT(0x905ec85a60509fad),

W64LIT(0x2dabc4d71e1188b9),

W64LIT(0xd092d27289374d83),

W64LIT(0x610f9f02b8e4f454),

W64LIT(0x02bfe57c4b949eda),

W64LIT(0x95707f9c29c71981),

W64LIT(0x6fd83b83bce2c44d),

W64LIT(0x5d322fe13e21fd71),

W64LIT(0x34decee65f8a6ea7),

W64LIT(0xcd6ce7bb5e7162dc),

W64LIT(0xfb0dcc214a6f92a1),

W64LIT(0x2eb1a9958acf590e),

W64LIT(0xdcfa938fc6a5e340),

W64LIT(0x669ecdb8bae7eca2),

W64LIT(0x151d4bcc0e0948dd),

W64LIT(0xfd3916a59726c53a),

W64LIT(0x581c982777b67b5d),

W64LIT(0x1bcaef4d0a0f78c4),

W64LIT(0xdfe0fecd527b32f7),

W64LIT(0x128c19760c0a502b),

W64LIT(0x84e60ba8b113981d),

W64LIT(0x3c3db0e386c50925),

W64LIT(0x7febc789fb7c0abc),

W64LIT(0x7d5422f5b0e89466),

W64LIT(0xd70380c88b345575),

W64LIT(0xbbc1d609a308408f),

W64LIT(0xe278c6100bf474bf),

W64LIT(0x5e2842a3aaff2cc6),

W64LIT(0x6b53047b2a3f0d0c),

W64LIT(0xf7658ddc05fd3c62),

W64LIT(0x9a025323f28b66f5),

W64LIT(0x8c0575ad685cff9f),

W64LIT(0x76ad31b2fd792253),

W64LIT(0x68496939bee1dcbb),

W64LIT(0x7e4e4fb7243645d1),

W64LIT(0xe44c1c94d6bd2324),

W64LIT(0xbeef61cfea9fc6a3),

W64LIT(0x91fb4064bf1ad0c0),

W64LIT(0x052eb7c64997862c),

W64LIT(0x4a9081517bbc2b76),

W64LIT(0x8f1f18effc822e28),

W64LIT(0x3a096a675b8c5ebe),

W64LIT(0xee1087ed4466da7c),

W64LIT(0x2652d79053803e8c),

W64LIT(0x7099eb36203075c8),

W64LIT(0xc7307cc2ccaa9b84),

W64LIT(0x5c97a7dfe16bb21c),

W64LIT(0x50ffe622aef91cdf),

W64LIT(0x8da0fd93b716b0f2),

W64LIT(0x69ece10761ab93d6),

W64LIT(0x31f07920161de88b),

W64LIT(0x13299148d3401f46),

W64LIT(0x031a6d4294ded1b7),

W64LIT(0xccc96f85813b2db1),

W64LIT(0x14b8c3f2d14307b0),

W64LIT(0x8659eed4fa8706c7),

W64LIT(0xba645e377c420fe2),

W64LIT(0x2920fb2f88cc41f8),

W64LIT(0x87fc66ea25cd49aa),

W64LIT(0x1ee4588b4398fee8),

W64LIT(0xecaf62910ff244a6),

W64LIT(0xf817a163deb14316),

W64LIT(0x45e2adeea0f05402),

W64LIT(0x806d345027ce515c),

W64LIT(0x576eb498acfa0429),

W64LIT(0xa5258e82e090be67),

W64LIT(0x892bc26b21cb79b3),

W64LIT(0x6e7db3bd63a88b20),

W64LIT(0x4e1bbea9ed61e237),

W64LIT(0xadc6f08739dfd9e5),

W64LIT(0x8b9427176a5fe769),

W64LIT(0xa1aeb17a764d7726),

W64LIT(0x4b35096fa4f6641b),

W64LIT(0x22d9e868c55df7cd),

W64LIT(0x55d151e4e76e9af3),

W64LIT(0x966a12debd19c836),

W64LIT(0x0dcdc9c390d8e1ae),

W64LIT(0xf24b3a1a4c6aba4e),

W64LIT(0x24ed32ec1814a056),

W64LIT(0xaf7915fb724b473f),

W64LIT(0x2885731157860e95),

W64LIT(0x9c3689a72fc2316e),

W64LIT(0x475d4892eb64cad8),

W64LIT(0xac6378b9e6959688),

W64LIT(0xa00b3944a907384b),

W64LIT(0xc695f4fc13e0d4e9),

W64LIT(0x3055f11ec957a7e6),

W64LIT(0x6215f2402c3a25e3),

W64LIT(0xde4576f38d317d9a),

W64LIT(0x9344a518f48e4e1a),

W64LIT(0x82d2d12c6c5acf86),

W64LIT(0xefb50fd39b2c9511),

W64LIT(0xe981d5574665c28a),

W64LIT(0x5f8dca9d75b563ab),

W64LIT(0xb60c1fca33d0a121),

W64LIT(0xfe237be703f8148d),

W64LIT(0xd6a608f6547e1a18),

W64LIT(0xb97e3375e89cde55),

W64LIT(0xd388bf301de99c34),

W64LIT(0x5b06f565e368aaea),

W64LIT(0xf0f4df6607fe2494),

W64LIT(0x1607268e9ad7996a),

W64LIT(0xaedc9dc5ad010852),

W64LIT(0xe0c7236c4060ea65),

W64LIT(0xea9bb815d2bb133d),

W64LIT(0x888e4a55fe8136de),

W64LIT(0x5aa37d5b3c22e587),

W64LIT(0xc104a64611e3cc1f),

W64LIT(0x515a6e1c71b353b2),

W64LIT(0xc42a118058744a33),

W64LIT(0x7708b98c22336d3e),

W64LIT(0x2a3a966d1c12904f),

W64LIT(0x8a31af29b515a804),

W64LIT(0xed0aeaafd0b80bcb),

W64LIT(0x2c0e4ce9c15bc7d4),

W64LIT(0x0c6841fd4f92aec3),

W64LIT(0x98bdb65fb91ff82f),

W64LIT(0x1f41d0b59cd2b185),

W64LIT(0xb322a80c7a47270d),

W64LIT(0xe6f3f9e89d29bdfe),

W64LIT(0x7ac5704fb2eb8c90),

W64LIT(0xa94dcf7faf0210a4),

W64LIT(0x787a9533f97f124a),

W64LIT(0xdb6bc135c4a6fbb6),

W64LIT(0x048b3ff896ddc941),

W64LIT(0xe8245d69992f8de7),

W64LIT(0xe3dd4e2ed4be3bd2),

W64LIT(0xcafdb5015c727a2a),

W64LIT(0xb7a997f4ec9aee4c),

W64LIT(0xe75671d64263f293),

W64LIT(0x2b9f1e53c358df22),

W64LIT(0x18d0820f9ed1a973),

W64LIT(0xabf22a03e4968e7e),

W64LIT(0xa2b4dc38e293a691),

W64LIT(0x673b458665ada3cf),

W64LIT(0xf9b2295d01fb0c7b),

W64LIT(0xd22d370ec2a3d359),

W64LIT(0x97cf9ae06253875b),

W64LIT(0x0ed7a48104063019),

W64LIT(0x482f642d3028b5ac),

W64LIT(0xc0a12e78cea98372),

W64LIT(0x4fbe3697322bad5a),

W64LIT(0x19750a31419be61e),

W64LIT(0x41699216362d9d43),

W64LIT(0xd5bc65b4c0a0cbaf),

W64LIT(0xe5e994aa09f76c49),

W64LIT(0xeb3e302b0df15c50),

W64LIT(0x94d5f7a2f68d56ec),

W64LIT(0x53e58b603a27cd68),

W64LIT(0x3d9838dd598f4648),

W64LIT(0x60aa173c67aebb39),

W64LIT(0x1dfe35c9d7462f5f),

W64LIT(0x4ca45bd5a6f57ced),

W64LIT(0xbc5084b3a10b5879),

W64LIT(0xfaa8441f9525ddcc),

W64LIT(0x334f9c5c5d897651),

/* box 4 */

W64LIT(0xda1687a883adf27e),

W64LIT(0xe35c9378578d9f22),

W64LIT(0x303ca4531637fa40),

W64LIT(0xa088321f74b20375),

W64LIT(0xc9863f3a9acb95e9),

W64LIT(0x5fcf47c57d0b0ed4),

W64LIT(0x4aa211e4e1280b4b),

W64LIT(0xe1a4c9ba871d1289),

W64LIT(0x4926664759f03a4f),

W64LIT(0xadfb36ede3707bca),

W64LIT(0xcf7bd1891f8ef7e1),

W64LIT(0x9735559e8f882792),

W64LIT(0x5932a976f84e6cdc),

W64LIT(0x9dc792bef547818a),

W64LIT(0x06fdeeb385456208),

W64LIT(0x46ad38771ea2cf5b),

W64LIT(0x5eb36aa41543b27b),

W64LIT(0x8b2eb33cd1bcb511),

W64LIT(0x71105ff6e598ebbc),

W64LIT(0x5441ad846f8c1463),

W64LIT(0x4c5fff57646d6943),

W64LIT(0xf3485c49f633c9b1),

W64LIT(0x9cbbbfdf9d0f3d25),

W64LIT(0x22d031a067192178),

W64LIT(0xca0248992213a4ed),

W64LIT(0x19627fb263a9c18f),

W64LIT(0x9330e1efda5dc831),

W64LIT(0x1390b89219666797),

W64LIT(0x2edf18339893e568),

W64LIT(0x6c779435d3e4c590),

W64LIT(0x53c06e568281cac4),

W64LIT(0x6ff3e3966b3cf494),

W64LIT(0xfe3b58bb61f1b10e),

W64LIT(0x77edb14560dd89b4),

W64LIT(0x02f85ac2d0908dab),

W64LIT(0x12ec95f3712edb38),

W64LIT(0x85d9c06dfea6fcaa),

W64LIT(0x90b4964c6285f935),

W64LIT(0xf1b0068b26a3441a),

W64LIT(0x729428555d40dab8),

W64LIT(0x5c4b3066c5d33fd0),

W64LIT(0x5d371d07ad9b837f),

W64LIT(0xa48d866e2167ecd6),

W64LIT(0xb661139d504937ee),

W64LIT(0xa27068dda4228ede),

W64LIT(0xf8c6b608e4b4d306),

W64LIT(0x6bf657e73ee91b37),

W64LIT(0xac871b8c8b38c765),

W64LIT(0x4ea7a595b4fde4e8),

W64LIT(0x0d7304f297c278bf),

W64LIT(0xb71d3efc38018b41),

W64LIT(0xae7f414e5ba84ace),

W64LIT(0xaf036c2f33e0f661),

W64LIT(0x0000000000000000),

W64LIT(0xb89660cc7f537e55),

W64LIT(0xa675dcacf1f7617d),

W64LIT(0x610490c74426bd2f),

W64LIT(0xc18ca2d83094be5a),

W64LIT(0x2adaac42cd460acb),

W64LIT(0x7d1f76651a122fac),

W64LIT(0xc58916a9654151f9),

W64LIT(0xedabe0297897d699),

W64LIT(0x2d5b6f90204bd46c),

W64LIT(0x26d585d132cccedb),

W64LIT(0x9f3fc87c25d70c21),

W64LIT(0xc60d610add9960fd),

W64LIT(0x80a0597dc33bafa6),

W64LIT(0xd0e44088f9625466),

W64LIT(0x1d67cbc3367c2e2c),

W64LIT(0x2c2742f1480368c3),

W64LIT(0x89d6e9fe012c38ba),

W64LIT(0xe9ae54582d42393a),

W64LIT(0x3ecbd702392db3fb),

W64LIT(0xb5e5643ee89106ea),

W64LIT(0xa882affddeed28c6),

W64LIT(0x1ae60811db71f08b),

W64LIT(0x924ccc8eb215749e),

W64LIT(0xfcc30279b1613ca5),

W64LIT(0x825803bf13ab220d),

W64LIT(0xd992f00b3b75c37a),

W64LIT(0xc8fa125bf2832946),

W64LIT(0x35453d432baaa94c),

W64LIT(0xf9ba9b698cfc6fa9),

W64LIT(0x37bd6781fb3a24e7),

W64LIT(0x791ac2144fc7c00f),

W64LIT(0x16e9218224fb349b),

W64LIT(0xdb6aaac9ebe54ed1),

W64LIT(0xd8eedd6a533d7fd5),

W64LIT(0x7c635b04725a9303),

W64LIT(0x553d80e507c4a8cc),

W64LIT(0x9a46516c184a5f2d),

W64LIT(0x14117b40f46bb930),

W64LIT(0x1ee3bc608ea41f28),

W64LIT(0x27a9a8b05a847274),

W64LIT(0x4050d6c49be7ad53),

W64LIT(0x7be298d69f574da4),

W64LIT(0x6a8a7a8656a1a798),

W64LIT(0x4d23d2360c25d5ec),

W64LIT(0x1014cf31a1be5693),

W64LIT(0xb264a7ec059cd84d),

W64LIT(0xea2a23fb959a083e),

W64LIT(0xf0cc2bea4eebf8b5),

W64LIT(0x76919c240895351b),

W64LIT(0x0b8eea4112871ab7),

W64LIT(0x47d1151676ea73f4),

W64LIT(0xbdeff9dc42ce2d59),

W64LIT(0x2ba68123a50eb664),

W64LIT(0x057999103d9d530c),

W64LIT(0xe759270902587081),

W64LIT(0xef53baeba8075b32),

W64LIT(0x4fdb88f4dcb55847),

W64LIT(0x6e8fcef70374483b),

W64LIT(0x1168e250c9f6ea3c),

W64LIT(0x1b9a2570b3394c24),

W64LIT(0x706c72978dd05713),

W64LIT(0x865db7ce467ecdae),

W64LIT(0x52bc4337eac9766b),

W64LIT(0x504419f53a59fbc0),

W64LIT(0x8f2b074d84695ab2),

W64LIT(0x6078bda62c6e0180),

W64LIT(0x43d4a167233f9c57),

W64LIT(0x0ef773512f1a49bb),

W64LIT(0x0c0f2993ff8ac410),

W64LIT(0x4bde3c858960b7e4),

W64LIT(0x66855315a92b6388),

W64LIT(0xd360372b41ba6562),

W64LIT(0x584e84179006d073),

W64LIT(0x9b3a7c0d7002e382),

W64LIT(0xa5f1ab0f492f5079),

W64LIT(0x2822f6801dd68760),

W64LIT(0x445562b5ce3242f0),

W64LIT(0xaa7af53f0e7da56d),

W64LIT(0x3c338dc0e9bd3e50),

W64LIT(0x3bb24e1204b0e0f7),

W64LIT(0xd59dd998c4ff076a),

W64LIT(0x91c8bb2d0acd459a),

W64LIT(0x84a5ed0c96ee4005),

W64LIT(0x33b8d3f0aeefcb44),

W64LIT(0x57c5da27d7542567),

W64LIT(0x32c4fe91c6a777eb),

W64LIT(0x3439102243e215e3),

W64LIT(0xc7714c6bb5d1dc52),

W64LIT(0x3fb7fa6351650f54),

W64LIT(0x87219aaf2e367101),

W64LIT(0xf5b5b2fa7376abb9),

W64LIT(0x412cfba5f3af11fc),

W64LIT(0xdceb691b06e89076),

W64LIT(0xbb12176fc78b4f51),

W64LIT(0x73e8053435086617),

W64LIT(0xe220be193fc5238d),

W64LIT(0xb09cfd2ed50c55e6),

W64LIT(0xb9ea4dad171bc2fa),

W64LIT(0x9e43e51d4d9fb08e),

W64LIT(0x36c14ae093729848),

W64LIT(0xa9fe829cb6a59469),

W64LIT(0x0405b47155d5efa3),

W64LIT(0x0af2c7207acfa618),

W64LIT(0x7e9b01c6a2ca1ea8),

W64LIT(0xdd97447a6ea02cd9),

W64LIT(0x0781c3d2ed0ddea7),

W64LIT(0x7866ef75278f7ca0),

W64LIT(0xd1986de9912ae8c9),

W64LIT(0xcb7e65f84a5b1842),

W64LIT(0xcd838b4bcf1e7a4a),

W64LIT(0xab06d85e663519c2),

W64LIT(0xd4e1f4f9acb7bbc5),

W64LIT(0xfdbf2f18d929800a),

W64LIT(0xf23471289e7b751e),

W64LIT(0xbc93d4bd2a8691f6),

W64LIT(0x3d4fa0a181f582ff),

W64LIT(0xba6e3a0eafc3f3fe),

W64LIT(0x5ab6ded540965dd8),

W64LIT(0xeb560e9afdd2b491),

W64LIT(0x0976b083c217971c),

W64LIT(0xecd7cd4810df6a36),

W64LIT(0x23ac1cc10f519dd7),

W64LIT(0xbe6b8e7ffa161c5d),

W64LIT(0x7fe72ca7ca82a207),

W64LIT(0xc0f08fb958dc02f5),

W64LIT(0x7a9eb5b7f71ff10b),

W64LIT(0xa709f1cd99bfddd2),

W64LIT(0x8dd35d8f54f9d719),

W64LIT(0x8caf70ee3cb16bb6),

W64LIT(0xe4dd50aaba804185),

W64LIT(0x83242ede7be39ea2),

W64LIT(0x98be0baec8dad286),

W64LIT(0x690e0d25ee79969c),

W64LIT(0x95cd0f5c5f18aa39),

W64LIT(0x56b9f746bf1c99c8),

W64LIT(0x7469c6e6d805b8b0),

W64LIT(0x8a529e5db9f409be),

W64LIT(0xe6250a686a10cc2e),

W64LIT(0x2fa33552f0db59c7),

W64LIT(0x42a88c064b7720f8),

W64LIT(0x6d0bb954bbac793f),

W64LIT(0x181e52d30be17d20),

W64LIT(0xbf17a31e925ea0f2),

W64LIT(0x94b1223d37501696),

W64LIT(0xe8d27939450a8595),

W64LIT(0xccffa62aa756c6e5),

W64LIT(0x383639b1bc68d1f3),

W64LIT(0xee2f978ac04fe79d),

W64LIT(0xa30c45bccc6a3271),

W64LIT(0x1f9f9101e6eca387),

W64LIT(0xb1e0d04fbd44e949),

W64LIT(0x242ddf13e25c4370),

W64LIT(0x156d56219c23059f),

W64LIT(0x88aac49f69648415),

W64LIT(0x6280e764fcfe8c2b),

W64LIT(0xdf6f1eb8be30a172),

W64LIT(0xe5a17dcbd2c8fd2a),

W64LIT(0xe0d8e4dbef55ae26),

W64LIT(0x63fcca0594b63084),

W64LIT(0xa1f41f7e1cfabfda),

W64LIT(0x295edbe1759e3bcf),

W64LIT(0x67f97e74c163df27),

W64LIT(0x038477a3b8d83104),

W64LIT(0xde1333d9d6781ddd),

W64LIT(0x3ace63736cf85c58),

W64LIT(0xd619ae3b7c27366e),

W64LIT(0x5bcaf3b428dee177),

W64LIT(0xb3188a8d6dd464e2),

W64LIT(0x1c1be6a25e349283),

W64LIT(0x017c2d616848bcaf),

W64LIT(0x8e572a2cec21e61d),

W64LIT(0xf631c559cbae9abd),

W64LIT(0x81dc741cab731309),

W64LIT(0xff4775da09b90da1),

W64LIT(0xb499495f80d9ba45),

W64LIT(0x0f8b5e304752f514),

W64LIT(0x394a14d0d4206d5c),

W64LIT(0xce07fce877c64b4e),

W64LIT(0xf4c99f9b1b3e1716),

W64LIT(0xc4f53bc80d09ed56),

W64LIT(0xc208d57b884c8f5e),

W64LIT(0x080a9de2aa5f2bb3),

W64LIT(0x314089327e7f46ef),

W64LIT(0xfa3eecca34245ead),

W64LIT(0x20286b62b789acd3),

W64LIT(0x7515eb87b04d041f),

W64LIT(0x513834945211476f),

W64LIT(0x650124b611f3528c),

W64LIT(0x17950ce34cb38834),

W64LIT(0x45294fd4a67afe5f),

W64LIT(0x21544603dfc1107c),

W64LIT(0x485a4b2631b886e0),

W64LIT(0x6872204486312a33),

W64LIT(0x647d09d779bbee23),

W64LIT(0x2551f2728a14ffdf),

W64LIT(0xd765835a146f8ac1),

W64LIT(0xd21c1a4a29f2d9cd),

W64LIT(0x99c226cfa0926e29),

W64LIT(0xfb42c1ab5c6ce202),

W64LIT(0xc374f81ae00433f1),

W64LIT(0x964978ffe7c09b3d),

W64LIT(0xf74de838a3e62612),

/* box 5 */

W64LIT(0x74b87b36b0592c6a),

W64LIT(0x3d82d75dffb4b81c),

W64LIT(0x8884246715267825),

W64LIT(0xdaf2d8a77ed4e5de),

W64LIT(0xfeb118650e53f9c7),

W64LIT(0xbd2d1aea59226b06),

W64LIT(0x26ce87f6dbabb191),

W64LIT(0x32772ecbeb66bd0a),

W64LIT(0xd4bbf82bc5104c8c),

W64LIT(0x055357720c4e03a1),

W64LIT(0xef5be62a32d0f6fd),

W64LIT(0xbe1c84c45d186aca),

W64LIT(0xacc7e4a565a1643c),

W64LIT(0x8dd7731519687b84),

W64LIT(0x11eafe4f3c830f3a),

W64LIT(0x04ef8e68a358afe5),

W64LIT(0x40ad9ca1534b930d),

W64LIT(0xe44191d4855a5c0e),

W64LIT(0x6001d20b809420f1),

W64LIT(0x73666b70173b8243),

W64LIT(0x372479b9e728beab),

W64LIT(0x45fecbd35f0590ac),

W64LIT(0x7057f55e1301838f),

W64LIT(0xff0dc17fa1455583),

W64LIT(0x0cc467b810e804da),

W64LIT(0xb9c29482fa7ac4e3),

W64LIT(0xa003831d754960e6),

W64LIT(0x8a096353be0ad5ad),

W64LIT(0xdd2cc8e1d9b64bf7),

W64LIT(0xc7dc415052bfee3e),

W64LIT(0x9f0c137421d17572),

W64LIT(0x35a93e8d4c041323),

W64LIT(0x9a5f44062d9f76d3),

W64LIT(0x71eb2c44bc172fcb),

W64LIT(0x0ff5f99614d20516),

W64LIT(0x7789e518b4632da6),

W64LIT(0xc99561dce97b476c),

W64LIT(0x5276fcc06bf29dfb),

W64LIT(0x4a0b32454bd795ba),

W64LIT(0x9274add69e2fddec),

W64LIT(0x4f5865374799961b),

W64LIT(0xb2d8e37c4df06e10),

W64LIT(0xc4eddf7e5685eff2),

W64LIT(0xb3643a66e2e6c254),

W64LIT(0xd50721316a06e0c8),

W64LIT(0x8bb5ba49111c79e9),

W64LIT(0x2bb639546455190f),

W64LIT(0xf8d3d1390627fbaa),

W64LIT(0x38d1802ff3fabbbd),

W64LIT(0xdfa18fd5729ae67f),

W64LIT(0x4ee4bc2de88f3a5f),

W64LIT(0xf72628af12f5febc),

W64LIT(0x0aa6aee4189c06b7),

W64LIT(0x0000000000000000),

W64LIT(0x9eb0ca6e8ec7d936),

W64LIT(0xcb1826e84257eae4),

W64LIT(0x187dce8520250841),

W64LIT(0xc28f16225ef1ed9f),

W64LIT(0xc333cf38f1e741db),

W64LIT(0x4220db95f8673e85),

W64LIT(0xdc9011fb76a0e7b3),

W64LIT(0x105627559395a37e),

W64LIT(0x2f59b73cc70db6ea),

W64LIT(0xe112c6a689145faf),

W64LIT(0x82228a830dba7e92),

W64LIT(0x2ee56e26681b1aae),

W64LIT(0x2a0ae04ecb43b54b),

W64LIT(0x47738ce7f4293d24),

W64LIT(0xa7dd935bd22bcecf),

W64LIT(0xd2d93177cd644ee1),

W64LIT(0xebb4684291885918),

W64LIT(0x0e49208cbbc4a952),

W64LIT(0xa550d46f79076347),

W64LIT(0x411145bbfc5d3f49),

W64LIT(0xe6ccd6e02e76f186),

W64LIT(0x4bb7eb5fe4c139fe),

W64LIT(0x5d8305567f2098ed),

W64LIT(0x95aabd90394d73c5),

W64LIT(0x25ff19d8df91b05d),

W64LIT(0x86cd04ebaee2d177),

W64LIT(0x03319e2e043a01cc),

W64LIT(0x6b1ba5f5371e8a02),

W64LIT(0x76353c021b7581e2),

W64LIT(0x64ee5c6323cc8f14),

W64LIT(0x5c3fdc4cd03634a9),

W64LIT(0x6996e2c19c32278a),

W64LIT(0x8938fd7dba30d461),

W64LIT(0x7b4d82a0a48b297c),

W64LIT(0xbfa05ddef20ec68e),

W64LIT(0x8ee6ed3b1d527a48),

W64LIT(0x61bd0b112f828cb5),

W64LIT(0x66631b5788e0229c),

W64LIT(0x55a8ec86cc9033d2),

W64LIT(0x1c9240ed837da7a4),

W64LIT(0x150570279fdba0df),

W64LIT(0x53ca25dac4e431bf),

W64LIT(0xd636bf1f6e3ce104),

W64LIT(0xcaa4fff2ed4146a0),

W64LIT(0x787c1c8ea0b128b0),

W64LIT(0xad7b3dbfcab7c878),

W64LIT(0xfc3c5f51a57f544f),

W64LIT(0xb78bb40e41be6db1),

W64LIT(0x8c6baa0fb67ed7c0),

W64LIT(0xce4b719a4e19e945),

W64LIT(0xf96f0823a93157ee),

W64LIT(0x7d2f4bfcacff2b11),

W64LIT(0x3eb34973fb8eb9d0),

W64LIT(0xe39f81922238f227),

W64LIT(0x239dd084d7e5b230),

W64LIT(0x1fa3dec38747a668),

W64LIT(0xc5510664f99343b6),

W64LIT(0xc829b8c6466deb28),

W64LIT(0x85fc9ac5aad8d0bb),

W64LIT(0xb6376d14eea8c1f5),

W64LIT(0x9d8154408afdd8fa),

W64LIT(0x3be01e01f7c0ba71),

W64LIT(0x628c953f2bb88d79),

W64LIT(0x6d796ca93f6a886f),

W64LIT(0xfa5e960dad0b5622),

W64LIT(0xe5fd48ce2a4cf04a),

W64LIT(0xe7700ffa81605dc2),

W64LIT(0x2dd4f0086c211b62),

W64LIT(0x2221099e78f31e74),

W64LIT(0xdb4e01bdd1c2499a),

W64LIT(0xf417b68116cfff70),

W64LIT(0xb506f33aea92c039),

W64LIT(0x514762ee6fc89c37),

W64LIT(0x9c3d8d5a25eb74be),

W64LIT(0x396d59355cec17f9),

W64LIT(0xccc636aee53544cd),

W64LIT(0x0b1a77feb78aaaf3),

W64LIT(0xe9392f763aa4f490),

W64LIT(0xaaa52df96dd56651),

W64LIT(0x46cf55fd5b3f9160),

W64LIT(0xa4ec0d75d611cf03),

W64LIT(0xaff67a8b619b65f0),

W64LIT(0x3415e797e312bf67),

W64LIT(0x7af15bba0b9d8538),

W64LIT(0x811314ad09807f5e),

W64LIT(0x8771ddf101f47d33),

W64LIT(0x969b23be3d777209),

W64LIT(0xd365e86d6272e2a5),

W64LIT(0x58d05224736e9b4c),

W64LIT(0xc660984afda9427a),

W64LIT(0x5414359c63869f96),

W64LIT(0xe885f66c95b258d4),

W64LIT(0x655285798cda2350),

W64LIT(0x6cc5b5b3907c242b),

W64LIT(0x6ff42b9d944625e7),

W64LIT(0xc0025116f5dd4017),

W64LIT(0xa28ec429de65cd6e),

W64LIT(0x63304c2584ae213d),

W64LIT(0x7fa20cc807d38699),

W64LIT(0x996eda2829a5771f),

W64LIT(0x1b4c50ab241f098d),

W64LIT(0x1e1f07d928510a2c),

W64LIT(0x33cbf7d14470114e),

W64LIT(0xb055a448e6dcc398),

W64LIT(0x98d2033286b3db5b),

W64LIT(0xec6a780436eaf731),

W64LIT(0xa1bf5a07da5fcca2),

W64LIT(0xbaf30aacfe40c52f),

W64LIT(0xf144e1f31a81fcd1),

W64LIT(0xe0ae1fbc2602f3eb),

W64LIT(0x14b9a93d30cd0c9b),

W64LIT(0x596c8b3edc783708),

W64LIT(0x682a3bdb33248bce),

W64LIT(0xb87e4d98556c68a7),

W64LIT(0x80afcdb7a696d31a),

W64LIT(0x5725abb267bc9e5a),

W64LIT(0x914533f89a15dc20),

W64LIT(0x5eb29b787b1a9921),

W64LIT(0x01bcd91aaf16ac44),

W64LIT(0xc1be880c5acbec53),

W64LIT(0xedd6a11e99fc5b75),

W64LIT(0x028d4734ab2cad88),

W64LIT(0x8f5a3421b244d60c),

W64LIT(0x4dd52203ecb53b93),

W64LIT(0x3f0f906954981594),

W64LIT(0xae4aa391ce8dc9b4),

W64LIT(0x3698a0a3483e12ef),

W64LIT(0xf5ab6f9bb9d95334),

W64LIT(0x082be9d0b3b0ab3f),

W64LIT(0xd1e8af59c95e4f2d),

W64LIT(0xd87f9f93d5f84856),

W64LIT(0x6e48f2873b5089a3),

W64LIT(0x2443c0c270871c19),

W64LIT(0xb1e97d5249ca6fdc),

W64LIT(0x7c9392e603e98755),

W64LIT(0x839e5399a2acd2d6),

W64LIT(0x19c1179f8f33a405),

W64LIT(0xde1d56cfdd8c4a3b),

W64LIT(0x20ac4eaad3dfb3fc),

W64LIT(0x1af089b18b09a5c9),

W64LIT(0x3a5cc71b58d61635),

W64LIT(0x444212c9f0133ce8),

W64LIT(0x72dab26ab82d2e07),

W64LIT(0x4c69fb1943a397d7),

W64LIT(0xf3c9a6c7b1ad5159),

W64LIT(0x1d2e99f72c6b0be0),

W64LIT(0xb4ba2a2045846c7d),

W64LIT(0xe22358888d2e5e63),

W64LIT(0x2887a77a606f18c3),

W64LIT(0xa8286acdc6f9cbd9),

W64LIT(0x5f0e4262d40c3565),

W64LIT(0xeee73f309dc65ab9),

W64LIT(0x9be39d1c8289da97),

W64LIT(0x1634ee099be1a113),

W64LIT(0xea08b1583e9ef55c),

W64LIT(0x9727faa49261de4d),

W64LIT(0x2c682912c337b726),

W64LIT(0xcff7a880e10f4501),

W64LIT(0x1788371334f70d57),

W64LIT(0x27725eec74bd1dd5),

W64LIT(0x3146b0e5ef5cbcc6),

W64LIT(0x099730ca1ca6077b),

W64LIT(0xf2757fdd1ebbfd1d),

W64LIT(0x6aa77cef98082646),

W64LIT(0xbb4fd3b65156696b),

W64LIT(0x569972a8c8aa321e),

W64LIT(0xa3321d337173612a),

W64LIT(0x50fbbbf4c0de3073),

W64LIT(0x5a5d1510d84236c4),

W64LIT(0xfd80864b0a69f80b),

W64LIT(0x07de1046a762ae29),

W64LIT(0xa6614a417d3d628b),

W64LIT(0xd78a6605c12a4d40),

W64LIT(0x67dfc24d27f68ed8),

W64LIT(0xbc91c3f0f634c742),

W64LIT(0xd05476436648e369),

W64LIT(0x493aac6b4fed9476),

W64LIT(0x12db606138b90ef6),

W64LIT(0xa994b3d769ef679d),

W64LIT(0x211097b07cc91fb8),

W64LIT(0x30fa69ff404a1082),

W64LIT(0x3c3e0e4750a21458),

W64LIT(0x7504a22c1f4f802e),

W64LIT(0x844043df05ce7cff),

W64LIT(0xf0f838e9b5975095),

W64LIT(0x7e1ed5d2a8c52add),

W64LIT(0x90f9eae235037064),

W64LIT(0x0662c95c0874026d),

W64LIT(0x9416648a965bdf81),

W64LIT(0xf69af1b5bde352f8),

W64LIT(0x0d78bea2bffea89e),

W64LIT(0x293b7e60cf79b487),

W64LIT(0xd9c346897aeee412),

W64LIT(0xfbe24f17021dfa66),

W64LIT(0x1367b97b97afa2b2),

W64LIT(0xab19f4e3c2c3ca15),

W64LIT(0x48867571e0fb3832),

W64LIT(0x93c874cc313971a8),

W64LIT(0x79c0c5940fa784f4),

W64LIT(0xcd7aefb44a23e889),

W64LIT(0x439c028f577192c1),

W64LIT(0x5be1cc0a77549a80),

/* box 6 */

W64LIT(0x714d28d778656928),

W64LIT(0xc88a7c6b84f64f7c),

W64LIT(0xec43cac5ab89aaca),

W64LIT(0x777fa38110dc16a3),

W64LIT(0x0f7d5c87e4213b5c),

W64LIT(0x73f051e5f3a1ef51),

W64LIT(0xea714193c330d541),

W64LIT(0x95e5f3dae016c4f3),

W64LIT(0x63d3738095a0e173),

W64LIT(0x9825d66f8ff379d6),

W64LIT(0xe8cc38a148f45338),

W64LIT(0xa840b0c025f06bb0),

W64LIT(0x944135c35f748735),

W64LIT(0x74661caa247ad31c),

W64LIT(0xe7b16426acd56864),

W64LIT(0xd1e689df6e6f0589),

W64LIT(0xa73dec47c1d150ec),

W64LIT(0x64453ecf427bdd3e),

W64LIT(0x0ed99a9e5b43789a),

W64LIT(0x7b1b402dc05be840),

W64LIT(0x0dc025b56fe5bd25),

W64LIT(0x3f183a284e22293a),

W64LIT(0xa0aba108160a6ca1),

W64LIT(0x46be033705bd4703),

W64LIT(0x86df6e94b2b10f6e),

W64LIT(0xa216d83a9dceead8),

W64LIT(0x129e5b57edc5885b),

W64LIT(0x7e3074509c445274),

W64LIT(0x7d29cb7ba8e297cb),

W64LIT(0x1611a9330eb871a9),

W64LIT(0x486799a95efe3f99),

W64LIT(0x9fb39b205828459b),

W64LIT(0xd0424fc6d10d464f),

W64LIT(0xe968feb8f79610fe),

W64LIT(0x5d6f8fb164e08b8f),

W64LIT(0xaafdc9f2ae34edc9),

W64LIT(0x02bd79328bc48679),

W64LIT(0x9b3c6944bb55bc69),

W64LIT(0x6277b5992ac2a2b5),

W64LIT(0x877ba88d0dd34ca8),

W64LIT(0xfa5263f6a531db63),

W64LIT(0x2e9fde54974164de),

W64LIT(0xcda14816d8e9f548),

W64LIT(0x675c81e476dd1881),

W64LIT(0x2a102c30743c9d2c),

W64LIT(0x37f32be07dd82e2b),

W64LIT(0x256d70b7901da670),

W64LIT(0x4ce86bcdbd83c66b),

W64LIT(0x50afaa040b0536aa),

W64LIT(0xef5a75ee9f2f6f75),

W64LIT(0xb3913c4644ada73c),

W64LIT(0x1187e47cd9634de4),

W64LIT(0xc54a59deeb13f259),

W64LIT(0x0000000000000000),

W64LIT(0x01a4c619bf6243c6),

W64LIT(0x90cec7a7bc097ec7),

W64LIT(0xf94bdcdd91971edc),

W64LIT(0x8e347f5c814b087f),

W64LIT(0xc7f720ec60d77420),

W64LIT(0x354e52d2f61ca852),

W64LIT(0x34ea94cb497eeb94),

W64LIT(0xae723b964d49143b),

W64LIT(0xf48bf968fe72a3f9),

W64LIT(0xfc60e8a0cd88a4e8),

W64LIT(0x2909931b409a5893),

W64LIT(0xbd48a6d81feedfa6),

W64LIT(0x6cae2f077181da2f),

W64LIT(0xad6b84bd79efd184),

W64LIT(0x18c833ad55fb0933),

W64LIT(0x204644cacc021c44),

W64LIT(0x392ab17e269b56b1),

W64LIT(0x14acd001857cf7d0),

W64LIT(0x8abb8d386236f18d),

W64LIT(0xeefeb3f7204d2cb3),

W64LIT(0xf636805a75b62580),

W64LIT(0x2bb4ea29cb5edeea),

W64LIT(0xc653e6f5dfb537e6),

W64LIT(0x8d2dc077b5edcdc0),

W64LIT(0x31c1a0b6156151a0),

W64LIT(0xf8ef1ac42ef55d1a),

W64LIT(0xdbb0e125d65184e1),

W64LIT(0x82509cf051ccf69c),

W64LIT(0xe33e96424fa89196),

W64LIT(0xdf3f1341352c7d13),

W64LIT(0x8f90b9453e294bb9),

W64LIT(0x1023226566010e22),

W64LIT(0xa58095754a15d695),

W64LIT(0x2c22a7661c85e2a7),

W64LIT(0xe183ef70c46c17ef),

W64LIT(0xafd6fd8ff22b57fd),

W64LIT(0x471ac52ebadf04c5),

W64LIT(0x4d4cadd402e185ad),

W64LIT(0x916a01be036b3d01),

W64LIT(0x28ad5502fff81b55),

W64LIT(0x3657edf9c2ba6ded),

W64LIT(0xd2ff36f45ac9c036),

W64LIT(0xf1a0cd15a26d19cd),

W64LIT(0xd90d98175d950298),

W64LIT(0xf7924643cad46646),

W64LIT(0xdd826a73bee8fb6a),

W64LIT(0x9d0ee212d3ecc3e2),

W64LIT(0xb6ba083b18b21d08),

W64LIT(0x3da5431ac5e6af43),

W64LIT(0x08eb11c833fa0711),

W64LIT(0x052b347d5c1fba34),

W64LIT(0x6fb7902c45271f90),

W64LIT(0x133a9d4e52a7cb9d),

W64LIT(0x6e135635fa455c56),

W64LIT(0x725497fc4cc3ac97),

W64LIT(0xf31db42729a99fb4),

W64LIT(0x846217a639758917),

W64LIT(0x4b7e26826a58fa26),

W64LIT(0x235ffbe1f8a4d9fb),

W64LIT(0xff79578bf92e6157),

W64LIT(0xda14273c6933c727),

W64LIT(0x8b1f4b21dd54b24b),

W64LIT(0x9caa240b6c8e8024),

W64LIT(0xc1c5abba086e0bab),

W64LIT(0xde9bd5588a4e3ed5),

W64LIT(0x2d86617fa3e7a161),

W64LIT(0xbff5dfea942a59df),

W64LIT(0x66f847fdc9bf5b47),

W64LIT(0x3b97c84cad5fd0c8),

W64LIT(0x3ebcfc31f1406afc),

W64LIT(0xca3705590f32c905),

W64LIT(0x24c9b6ae2f7fe5b6),

W64LIT(0x408c88616d043888),

W64LIT(0x93d7788c88afbb78),

W64LIT(0x196cf5b4ea994af5),

W64LIT(0x9a98af5d0437ffaf),

W64LIT(0x8c89066e0a8f8e06),

W64LIT(0xab590feb1156ae0f),

W64LIT(0xd7d4028906d67a02),

W64LIT(0xe4a8db0d9873addb),

W64LIT(0xc378d28883aa8dd2),

W64LIT(0x4ff1d4e6892503d4),

W64LIT(0xd670c490b9b439c4),

W64LIT(0x65e1f8d6fd199ef8),

W64LIT(0xf2b9723e96cbdc72),

W64LIT(0xb12c4574cf692145),

W64LIT(0x569d215263bc4921),

W64LIT(0x69851b7a2d9e601b),

W64LIT(0x5e76309a50464e30),

W64LIT(0x5fd2f683ef240df6),

W64LIT(0xd8a95e0ee2f7415e),

W64LIT(0xe29a505bf0cad250),

W64LIT(0x96fc4cf1d4b0014c),

W64LIT(0x8806f40ae9f277f4),

W64LIT(0x53b6152f3fa3f315),

W64LIT(0x1c47c1c9b686f0c1),

W64LIT(0x80ede5c2da0870e5),

W64LIT(0xd5697bbb8d12fc7b),

W64LIT(0xfdc42eb972eae72e),

W64LIT(0x0bf2aee3075cc2ae),

W64LIT(0x22fb3df847c69a3d),

W64LIT(0xbadeeb97c835e3eb),

W64LIT(0xdc26ac6a018ab8ac),

W64LIT(0xbcec60c1a08c9c60),

W64LIT(0x4231f153e6c0bef1),

W64LIT(0x337cd9849ea5d7d9),

W64LIT(0x5b5d04e70c59f404),

W64LIT(0x79a6391f4b9f6e39),

W64LIT(0x5212d33680c1b0d3),

W64LIT(0xb5a3b7102c14d8b7),

W64LIT(0x7f94b249232611b2),

W64LIT(0x17b56f2ab1da326f),

W64LIT(0x59e07dd5879d727d),

W64LIT(0xebd5878a7c529687),

W64LIT(0xbb7a2d8e7757a02d),

W64LIT(0x0319bf2b34a6c5bf),

W64LIT(0x5ccb49a8db82c849),

W64LIT(0x1de307d009e4b307),

W64LIT(0x49c35fb0e19c7c5f),

W64LIT(0x55849e79571a8c9e),

W64LIT(0x7abf86347f39ab86),

W64LIT(0x9273be9537cdf8be),

W64LIT(0xe615a23f13b72ba2),

W64LIT(0x6821dd6392fc23dd),

W64LIT(0x5af9c2feb33bb7c2),

W64LIT(0x06328b5668b97f8b),

W64LIT(0x44037a058e79c17a),

W64LIT(0x83f45ae9eeaeb55a),

W64LIT(0x5739e74bdcde0ae7),

W64LIT(0xfbf6a5ef1a5398a5),

W64LIT(0xe50c1d142711ee1d),

W64LIT(0x1a754a9fde3f8f4a),

W64LIT(0x7802ff06f4fd2dff),

W64LIT(0xf52f3f714110e03f),

W64LIT(0x2674cf9ca4bb63cf),

W64LIT(0x60caccaba10624cc),

W64LIT(0xb088836d700b6283),

W64LIT(0xa6992a5e7eb3132a),

W64LIT(0xa9e476d99a922876),

W64LIT(0x6b386248a65ae662),

W64LIT(0xc2dc14913cc8ce14),

W64LIT(0x76db6598afbe5565),

W64LIT(0x32d81f9d21c7941f),

W64LIT(0x21e282d373605f82),

W64LIT(0xc0616da3b70c486d),

W64LIT(0x616e0ab21e64670a),

W64LIT(0x6d0ae91ecee399e9),

W64LIT(0x27d009851bd92009),

W64LIT(0xfedd9192464c2291),

W64LIT(0x45a7bc1c311b82bc),

W64LIT(0x54205860e878cf58),

W64LIT(0xa10f6711a9682f67),

W64LIT(0x9981107630913a10),

W64LIT(0xede70cdc14ebe90c),

W64LIT(0x70e9eecec7072aee),

W64LIT(0x1f5e7ee28220357e),

W64LIT(0x2f3b184d28232718),

W64LIT(0x41284e78d2667b4e),

W64LIT(0xa424536cf5779553),

W64LIT(0xa3b21e2322aca91e),

W64LIT(0x4e5512ff36474012),

W64LIT(0x1efab8fb3d4276b8),

W64LIT(0x89a2321356903432),

W64LIT(0xcb93c340b0508ac3),

W64LIT(0x306566afaa031266),

W64LIT(0x4adae09bd53ab9e0),

W64LIT(0xc92eba723b940cba),

W64LIT(0x094fd7d18c9844d7),

W64LIT(0xcc058e0f678bb68e),

W64LIT(0xd4cdbda23270bfbd),

W64LIT(0x0a5668fab83e8168),

W64LIT(0x510b6c1db467756c),

W64LIT(0xb86392a543f16592),

W64LIT(0x048ff264e37df9f2),

W64LIT(0x3a330e55123d930e),

W64LIT(0xb235fa5ffbcfe4fa),

W64LIT(0xb9c754bcfc932654),

W64LIT(0x3c0185037a84ec85),

W64LIT(0x0c64e3acd087fee3),

W64LIT(0xe02729697b0e5429),

W64LIT(0x07964d4fd7db3c4d),

W64LIT(0x814923db656a3323),

W64LIT(0x388e776799f91577),

W64LIT(0x6a9ca4511938a5a4),

W64LIT(0x1bd18c86615dcc8c),

W64LIT(0xb407710993769b71),

W64LIT(0x150816183a1eb416),

W64LIT(0x4395374a59a2fd37),

W64LIT(0xc4ee9fc75471b19f),

W64LIT(0x5844bbcc38ff31bb),

W64LIT(0xcf1c3124532d7331),

W64LIT(0xb71ece22a7d05ece),

W64LIT(0xaccf42a4c68d9242),

W64LIT(0x97588ae86bd2428a),

W64LIT(0x75c2dab39b1890da),

W64LIT(0x9e175d39e74a065d),

W64LIT(0xf0040b0c1d0f5a0b),

W64LIT(0xceb8f73dec4f30f7),

W64LIT(0xbe5119f32b481a19),

W64LIT(0xd35bf0ede5ab83f0),

W64LIT(0x7c8d0d621780d40d),

W64LIT(0x85c6d1bf8617cad1),

/* box 7 */

W64LIT(0xb1c742127b66f2a4),

W64LIT(0xce916098d7a59fc1),

W64LIT(0xc312ef8e2406fa70),

W64LIT(0x956c7dced81403d5),

W64LIT(0x5a0c9b2318dd9520),

W64LIT(0xad0d57f51a480e8b),

W64LIT(0xe7b9d05287740b01),

W64LIT(0x0217f9ea2ed81268),

W64LIT(0x4d7cff19f8cd3a06),

W64LIT(0x44d1772e572b7b67),

W64LIT(0xfb73c5b5e65af72e),

W64LIT(0x91427aef84512705),

W64LIT(0x0c720963e4cf6c85),

W64LIT(0x87c398a0732d8117),

W64LIT(0xa17f5e96fe87620e),

W64LIT(0x50476c8b8e8fcf1d),

W64LIT(0xcb4ee1cc9c8cb225),

W64LIT(0x67b2304c91a8b59a),

W64LIT(0x54696baad2caebcd),

W64LIT(0xddcf03836bf01437),

W64LIT(0x46c68ec479f3690f),

W64LIT(0x8f9f96e2cba7c942),

W64LIT(0xe1802e99f5e93db9),

W64LIT(0x4e9a8086c179215a),

W64LIT(0xf0c9b4686764a427),

W64LIT(0xfd4a3b7e94c7c196),

W64LIT(0xfcbbbd0b83abc8a2),

W64LIT(0xebcbd93163bb6784),

W64LIT(0xf9643c5fc882e546),

W64LIT(0xc4da973041f7c5fc),

W64LIT(0x1af3eb2c13b3ca97),

W64LIT(0x6e1fb87b3e4ef4fb),

W64LIT(0x5e229c024498b1f0),

W64LIT(0xf516353c2c4d89c3),

W64LIT(0xcc869972f97d8da9),

W64LIT(0x8d886f08e57fdb2a),

W64LIT(0x1cca15e7612efc2f),

W64LIT(0x567e9240fc12f9a5),

W64LIT(0x43190f9032da44eb),

W64LIT(0xfeac44e1ad73daca),

W64LIT(0x07c878be65f13f8c),

W64LIT(0x618bce87e3358322),

W64LIT(0xf895ba2adfeeec72),

W64LIT(0x751dd5223a913758),

W64LIT(0x59eae4bc21698e7c),

W64LIT(0xff5dc294ba1fd3fe),

W64LIT(0x03e67f9f39b41b5c),

W64LIT(0x2292c117d1efc7c9),

W64LIT(0x8a4017b6808ee4a6),

W64LIT(0xd1bd0ae08f3f78b2),

W64LIT(0x135e631bbc558bf6),

W64LIT(0xee14586528924a60),

W64LIT(0x8857ee5cae56f6ce),

W64LIT(0x0000000000000000),

W64LIT(0x0e65f089ca177eed),

W64LIT(0x34132358269361db),

W64LIT(0x15679dd0cec8bd4e),

W64LIT(0x800be01e16dcbe9b),

W64LIT(0x949dfbbbcf780ae1),

W64LIT(0xe397d773db312fd1),

W64LIT(0xedf227fa1126513c),

W64LIT(0xb5e945332723d674),

W64LIT(0x53a11314b73bd441),

W64LIT(0x23634762c683cefd),

W64LIT(0x4b4501d28a500cbe),

W64LIT(0x473708b16e9f603b),

W64LIT(0x1770643ae010af26),

W64LIT(0xa746a05d8c1a54b6),

W64LIT(0x90b3fc9a933d2e31),

W64LIT(0x35e2a52d31ff68ef),

W64LIT(0xab34a93e68d53833),

W64LIT(0xd81082d720d939d3),

W64LIT(0xb86aca25d480b3c5),

W64LIT(0xdfd8fa694528065f),

W64LIT(0x4f6b06f3d615286e),

W64LIT(0x578f1435eb7ef091),

W64LIT(0x9af80b32056f740c),

W64LIT(0x92a40570bde53c59),

W64LIT(0xdbf6fd48196d228f),

W64LIT(0x1b026d5904dfc3a3),

W64LIT(0x3c4f2d1a9e19298e),

W64LIT(0xc8a89e53a538a979),

W64LIT(0x991e74ad3cdb6f50),

W64LIT(0x042e07215c4524d0),

W64LIT(0x8e6e1097dccbc076),

W64LIT(0xe071a8ece285348d),

W64LIT(0xd784f42bfda24e0a),

W64LIT(0x7d41db60821b7f0d),

W64LIT(0x85d4614a5df5937f),

W64LIT(0xbb8cb5baed34a899),

W64LIT(0x40ff700f0b6e5fb7),

W64LIT(0x2cf7319e1bf8b924),

W64LIT(0x3a76d3d1ec841f36),

W64LIT(0x4520f15b40477253),

W64LIT(0xf138321d7008ad13),

W64LIT(0x42e889e525b64ddf),

W64LIT(0x65a5c9a6bf70a7f2),

W64LIT(0x208538fdff37d5a1),

W64LIT(0x410ef67a1c025683),

W64LIT(0x18e412c63d6bd8ff),

W64LIT(0x72d5ad9c5f6008d4),

W64LIT(0x255ab9a9b41ef845),

W64LIT(0x93558305aa89356d),

W64LIT(0x70c2547671b81abc),

W64LIT(0x3604dab2084b73b3),

W64LIT(0x05df81544b292de4),

W64LIT(0xf2de4d8249bcb64f),

W64LIT(0x0bba71dd813e5309),

W64LIT(0xa368a77cd05f7066),

W64LIT(0x796fdc41de5e5bdd),

W64LIT(0xec03a18f064a5808),

W64LIT(0x085c0e42b88a4855),

W64LIT(0x274d40439ac6ea2d),

W64LIT(0x31cca20c6dba4c3f),

W64LIT(0x322add93540e5763),

W64LIT(0xb60f3aac1e97cd28),

W64LIT(0x7cb05d1595777639),

W64LIT(0xb036c4676c0afb90),

W64LIT(0x0a4bf7a896525a3d),

W64LIT(0x73242be9480c01e0),

W64LIT(0x5bfd1d560fb19c14),

W64LIT(0x7b7825abf08649b5),

W64LIT(0xb7febcd909fbc41c),

W64LIT(0x81fa666b01b0b7af),

W64LIT(0xd25b757fb68b63ee),

W64LIT(0x0d838f16f3a365b1),

W64LIT(0x6a31bf5a620bd02b),

W64LIT(0x26bcc6368daae319),

W64LIT(0x9ed60c13592a50dc),

W64LIT(0x581b62c936058748),

W64LIT(0x9cc1f5f977f242b4),

W64LIT(0x83ed9f812f68a5c7),

W64LIT(0x74ec53572dfd3e6c),

W64LIT(0xb3d0bbf855bee0cc),

W64LIT(0xacfcd1800d2407bf),

W64LIT(0x303d24797ad6450b),

W64LIT(0x7a89a3dee7ea4081),

W64LIT(0x69d7c0c55bbfcb77),

W64LIT(0x770a2cc814492530),

W64LIT(0x0f9476fcdd7b77d9),

W64LIT(0xaeeb286a23fc15d7),

W64LIT(0x2174be88e85bdc95),

W64LIT(0xde297c1c52440f6b),

W64LIT(0xd04c8c9598537186),

W64LIT(0x2ee0c8743520ab4c),

W64LIT(0x977b8424f6cc11bd),

W64LIT(0x10b81c8485e190aa),

W64LIT(0xa4a0dfc2b5ae4fea),

W64LIT(0x98eff2d82bb76664),

W64LIT(0xa8d2d6a15161236f),

W64LIT(0xd4628bb4c4165556),

W64LIT(0x682646b04cd3c243),

W64LIT(0x2d06b7eb0c94b010),

W64LIT(0x626db118da81987e),

W64LIT(0x2928b0ca50d194c0),

W64LIT(0x6df9c7e407faefa7),

W64LIT(0x1681e24ff77ca612),

W64LIT(0x4952f838a4881ed6),

W64LIT(0x76fbaabd03252c04),

W64LIT(0xc73ce8af7843dea0),

W64LIT(0xe82da6ae5a0f7cd8),

W64LIT(0xc10516640adee818),

W64LIT(0x968a0251e1a01889),

W64LIT(0x37f55cc71f277a87),

W64LIT(0xe5ae29b8a9ac1969),

W64LIT(0xcabf67b98be0bb11),

W64LIT(0xf4e7b3493b2180f7),

W64LIT(0xe9dc20db4d6375ec),

W64LIT(0x639c376dcded914a),

W64LIT(0x12afe56eab3982c2),

W64LIT(0xc2e369fb336af344),

W64LIT(0xa6b726289b765d82),

W64LIT(0x14961ba5d9a4b47a),

W64LIT(0xbc44cd0488c59715),

W64LIT(0xd3aaf30aa1e76ada),

W64LIT(0x28d936bf47bd9df4),

W64LIT(0xaf1aae1f34901ce3),

W64LIT(0x2f114e01224ca278),

W64LIT(0xe648562790180235),

W64LIT(0x24ab3fdca372f171),

W64LIT(0x52509561a057dd75),

W64LIT(0xc6cd6eda6f2fd794),

W64LIT(0xa08ed8e3e9eb6b3a),

W64LIT(0x09ad8837afe64161),

W64LIT(0xbdb54b719fa99e21),

W64LIT(0x8c79e97df213d21e),

W64LIT(0xcf60e6edc0c996f5),

W64LIT(0x5dc4e39d7d2caaac),

W64LIT(0x11499af1928d999e),

W64LIT(0x5fd31a7753f4b8c4),

W64LIT(0x01f18675176c0934),

W64LIT(0xc52b1145569bccc8),

W64LIT(0x9f278a664e4659e8),

W64LIT(0x3dbeab6f897520ba),

W64LIT(0xa2992109c7337952),

W64LIT(0x9b098d4712037d38),

W64LIT(0xc9591826b254a04d),

W64LIT(0x3b8755a4fbe81602),

W64LIT(0xbe5334eea61d857d),

W64LIT(0x51b6eafe99e3c629),

W64LIT(0x191594b32a07d1cb),

W64LIT(0x1f2c6a78589ae773),

W64LIT(0x3fa95285a7ad32d2),

W64LIT(0x5c3565e86a40a398),

W64LIT(0xb2213d8d42d2e9f8),

W64LIT(0xefe5de103ffe4354),

W64LIT(0x4ab487a79d3c058a),

W64LIT(0xcd771f07ee11849d),

W64LIT(0xbfa2b29bb1718c49),

W64LIT(0xba7d33cffa58a1ad),

W64LIT(0x6fee3e0e2922fdcf),

W64LIT(0x64544fd3a81caec6),

W64LIT(0xd9e104a237b530e7),

W64LIT(0xf32fcbf75ed0bf7b),

W64LIT(0x3e58d4f0b0c13be6),

W64LIT(0xb418c346304fdf40),

W64LIT(0xaac52f4b7fb93107),

W64LIT(0xdc3e85f67c9c1d03),

W64LIT(0xd5930dc1d37a5c62),

W64LIT(0x0639fecb729d36b8),

W64LIT(0xc0f490111db2e12c),

W64LIT(0x7ea7a4ffbbaf6451),

W64LIT(0xf6f04aa315f9929f),

W64LIT(0x6643b63986c4bcae),

W64LIT(0x6c0841911096e693),

W64LIT(0x8425e73f4a999a4b),

W64LIT(0x7133d20366d41388),

W64LIT(0x38612a3bc25c0d5e),

W64LIT(0xb99b4c50c3ecbaf1),

W64LIT(0x1d3b93927642f51b),

W64LIT(0x7f56228aacc36d65),

W64LIT(0x9d30738c609e4b80),

W64LIT(0x48a37e4db3e417e2),

W64LIT(0x8bb191c397e2ed92),

W64LIT(0x2acecf5569658f9c),

W64LIT(0xda077b3d0e012bbb),

W64LIT(0xa55159b7a2c246de),

W64LIT(0x33db5be643625e57),

W64LIT(0x821c19f43804acf3),

W64LIT(0x3990ac4ed530046a),

W64LIT(0xd675725eeace473e),

W64LIT(0x789e5a34c93252e9),

W64LIT(0x86321ed564418823),

W64LIT(0xfa8243c0f136fe1a),

W64LIT(0xe45fafcdbec0105d),

W64LIT(0x2b3f49207e0986a8),

W64LIT(0xa92350d4460d2a5b),

W64LIT(0x1eddec0d4ff6ee47),

W64LIT(0x89a66829b93afffa),

W64LIT(0x607a48f2f4598a16),

W64LIT(0x6bc0392f7567d91f),

W64LIT(0xea3a5f4474d76eb0),

W64LIT(0x5598eddfc5a6e2f9),

W64LIT(0x4c8d796cefa13332),

W64LIT(0xf701ccd602959bab),

W64LIT(0xe2665106cc5d26e5),

};


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

/* box 0 */

W64LIT(0xe6126af05e55aff3),

W64LIT(0x4b6c893f310b0835),

W64LIT(0xaa4c0e84ebfc8d57),

W64LIT(0xfb9b5c7bf3b3090d),

W64LIT(0x4508a6a9ccba5ce2),

W64LIT(0xe5d1d2064dc6bde9),

W64LIT(0x348343755288edde),

W64LIT(0xb684505de46b250c),

W64LIT(0xa8cede205a1e91e8),

W64LIT(0x40b89b46f9fa6acc),

W64LIT(0x8ee1ec1afab080ba),

W64LIT(0xde77d6b7408e0a45),

W64LIT(0x9a3e184c2e455802),

W64LIT(0xbe93fad23f0955ef),

W64LIT(0x3ae76ce3af39b909),

W64LIT(0xad7ee3cf6f5ea7c6),

W64LIT(0x8b51d1f5cff0b694),

W64LIT(0x70ca8d8e3c43bf99),

W64LIT(0xccdba7f8b2a8f6c9),

W64LIT(0x4c5e6474b5a922a4),

W64LIT(0x5d31adcd541ccc32),

W64LIT(0x9b7f701e8c3456a7),

W64LIT(0x2ac9cd08ecfd593a),

W64LIT(0x8fa0844858c18e1f),

W64LIT(0x32f0c66c745bc9ea),

W64LIT(0xc58d6525cbbb888f),

W64LIT(0x8c633cbe4b529c05),

W64LIT(0xf2cd9ea68aa0774b),

W64LIT(0x2cba4811ca2e7d0e),

W64LIT(0xe2e33f4dc9649778),

W64LIT(0xf4be1bbfac73537f),

W64LIT(0x22de6787379f29d9),

W64LIT(0x0956c2dd79137e46),

W64LIT(0xe061efe978868bc7),

W64LIT(0x1cc85ed90f97a85b),

W64LIT(0x31337e9a67c8dbf0),

W64LIT(0x360193d1e36af161),

W64LIT(0x7fefca4a6383e5eb),

W64LIT(0x8535fe633241e243),

W64LIT(0xc3fee03ced68acbb),

W64LIT(0x81c4abdea570dac8),

W64LIT(0x67d6c12efb25753b),

W64LIT(0xa4282112164dd980),

W64LIT(0xcf181f0ea13be4d3),

W64LIT(0xa98fb672f86f9f4d),

W64LIT(0x5c70c59ff66dc297),

W64LIT(0xb0f7d544c2b80138),

W64LIT(0x0da79760ee2246cd),

W64LIT(0x3740fb83411bffc4),

W64LIT(0x24ade29e114c0ded),

W64LIT(0xf858e48de0201b17),

W64LIT(0x0e642f96fdb154d7),

W64LIT(0xddb46e41531d185f),

W64LIT(0x25ec8accb33d0348),

W64LIT(0x0282d0a4b1e21cbf),

W64LIT(0x1bfab3928b3582ca),

W64LIT(0xaffc336bdebcbb79),

W64LIT(0x35c22b27f0f9e37b),

W64LIT(0x03c3b8f61393121a),

W64LIT(0xb8e07fcb19da71db),

W64LIT(0x99fda0ba3dd64a18),

W64LIT(0xce59775c034aea76),

W64LIT(0x49ee599b80e9148a),

W64LIT(0xfe2b6194c6f33f23),

W64LIT(0x4edcb4d0044b3e1b),

W64LIT(0xd5a3c4ce887f68bc),

W64LIT(0xdf36bee5e2ff04e0),

W64LIT(0x171c4ca0c766caa2),

W64LIT(0x0bd41279c8f162f9),

W64LIT(0xe490ba54efb7b34c),

W64LIT(0x5b4228d472cfe806),

W64LIT(0x5355825ba9ad98e5),

W64LIT(0x9f8e25a31b056e2c),

W64LIT(0xcd9acfaa10d9f86c),

W64LIT(0x88926903dc63a48e),

W64LIT(0xb40680f9558939b3),

W64LIT(0x239f0fd595ee277c),

W64LIT(0xec8710db34d5c3af),

W64LIT(0x87b72ec783a3fefc),

W64LIT(0x632794936c144db0),

W64LIT(0x46cb1e5fdf294ef8),

W64LIT(0x83467b7a1492c677),

W64LIT(0x9c4d9d5508967c36),

W64LIT(0xd6607c389bec7aa6),

W64LIT(0x165d24f26517c407),

W64LIT(0xc4cc0d7769ca862a),

W64LIT(0xcbe94ab3360adc58),

W64LIT(0x847496319030ece6),

W64LIT(0x7a5ff7a556c3d3c5),

W64LIT(0xc03d58cafefbbea1),

W64LIT(0x76b908971a909bad),

W64LIT(0x2f79f0e7d9bd6f14),

W64LIT(0x197863363ad79e75),

W64LIT(0xda86830ad7bf32ce),

W64LIT(0x5a034086d0bee6a3),

W64LIT(0x97998f2cc0671ecf),

W64LIT(0x552607428f7ebcd1),

W64LIT(0x51d752ff184f845a),

W64LIT(0xbb23c73d0a4963c1),

W64LIT(0x2b88a55a4e8c579f),

W64LIT(0xd80453ae665d2e71),

W64LIT(0xee05c07f8537df10),

W64LIT(0x423a4be248187673),

W64LIT(0xcaa822e1947bd2fd),

W64LIT(0x1abbdbc029448c6f),

W64LIT(0x96d8e77e6216106a),

W64LIT(0x6266fcc1ce654315),

W64LIT(0x89d301517e12aa2b),

W64LIT(0x730935782fd0ad83),

W64LIT(0x8085c38c0701d46d),

W64LIT(0x6b303e1cb7763d53),

W64LIT(0x3f57510c9a798f27),

W64LIT(0x4449cefb6ecb5247),

W64LIT(0x48af31c922981a2f),

W64LIT(0x98bcc8e89fa744bd),

W64LIT(0x69b2eeb8069421ec),

W64LIT(0xebb5fd90b077e93e),

W64LIT(0x6a71564e150733f6),

W64LIT(0x116fc9b9e1b5ee96),

W64LIT(0x4a2de16d937a0690),

W64LIT(0xb9a11799bbab7f7e),

W64LIT(0x9368da9157562644),

W64LIT(0x718be5dc9e32b13c),

W64LIT(0xc82af2452599ce42),

W64LIT(0xb547e8abf7f83716),

W64LIT(0x33b1ae3ed62ac74f),

W64LIT(0x799c4f534550c1df),

W64LIT(0x3e16395e38088182),

W64LIT(0x7c2c72bc7010f7f1),

W64LIT(0xf38cf6f428d179ee),

W64LIT(0xd29129850cdd422d),

W64LIT(0x41f9f3145b8b6469),

W64LIT(0x945a37dad3f40cd5),

W64LIT(0x757ab061090389b7),

W64LIT(0x6554118a4ac76984),

W64LIT(0x7d6d1aeed261f954),

W64LIT(0x01416852a2710ea5),

W64LIT(0xb27505e0735a1d87),

W64LIT(0x77f860c5b8e19508),

W64LIT(0x78dd2701e721cf7a),

W64LIT(0xe12087bbdaf78562),

W64LIT(0x86f6469521d2f059),

W64LIT(0xef44a82d2746d1b5),

W64LIT(0xbc112a768eeb4950),

W64LIT(0xc2bf886e4f19a21e),

W64LIT(0x307216c8c5b9d555),

W64LIT(0xc96b9a1787e8c0e7),

W64LIT(0xa31acc5992eff311),

W64LIT(0xa0d974af817ce10b),

W64LIT(0xdcf50613f16c16fa),

W64LIT(0xfca9b1307711239c),

W64LIT(0x57a4d7e63e9ca06e),

W64LIT(0xc64eddd3d8289a95),

W64LIT(0xa25ba40b309efdb4),

W64LIT(0x2e3898b57bcc61b1),

W64LIT(0xf5ff73ed0e025dda),

W64LIT(0xa6aaf1b6a7afc53f),

W64LIT(0xd9453bfcc42c20d4),

W64LIT(0x9d0cf507aae77293),

W64LIT(0x290a75feff6e4b20),

W64LIT(0xa7eb99e405decb9a),

W64LIT(0xa1981cfd230defae),

W64LIT(0x12ac714ff226fc8c),

W64LIT(0x743bd833ab728712),

W64LIT(0x6c02d35733d417c2),

W64LIT(0xe9372d340195f581),

W64LIT(0xf77da349bfe04165),

W64LIT(0x68f386eaa4e52f49),

W64LIT(0x211ddf71240c3bc3),

W64LIT(0x13ed191d5057f229),

W64LIT(0xe8764566a3e4fb24),

W64LIT(0xf9198cdf425115b2),

W64LIT(0xd013f921bd3f5e92),

W64LIT(0x91ea0a35e6b43afb),

W64LIT(0x0732ed4b84a22a91),

W64LIT(0xeaf495c21206e79b),

W64LIT(0x5214ea090bdc9640),

W64LIT(0x0000000000000000),

W64LIT(0xb3346db2d12b1322),

W64LIT(0x0ce6ff324c534868),

W64LIT(0xaebd5b397ccdb5dc),

W64LIT(0x0a957a2b6a806c5c),

W64LIT(0x1f0be62f1c04ba41),

W64LIT(0x14dff456d4f5d8b8),

W64LIT(0x58819022615cfa1c),

W64LIT(0x05b03def3540362e),

W64LIT(0xe3a2571f6b1599dd),

W64LIT(0x9229b2c3f52728e1),

W64LIT(0xba62af6fa8386d64),

W64LIT(0x0673851926d32434),

W64LIT(0x641579d8e8b66721),

W64LIT(0x04f155bd9731388b),

W64LIT(0x9ecf4df1b9746089),

W64LIT(0x205cb723867d3566),

W64LIT(0x102ea1eb43c4e033),

W64LIT(0x3ba604b10d48b7ac),

W64LIT(0x50963aadba3e8aff),

W64LIT(0xac3f8b9dcd2fa963),

W64LIT(0x7b1e9ff7f4b2dd60),

W64LIT(0xf63ccb1b1d914fc0),

W64LIT(0x7eaea218c1f2eb4e),

W64LIT(0x5fb37d69e5fed08d),

W64LIT(0x56e5bfb49cedaecb),

W64LIT(0x2dfb2043685f73ab),

W64LIT(0x61a54437ddf6510f),

W64LIT(0x6fc16ba1204705d8),

W64LIT(0xe75302a2fc24a156),

W64LIT(0x3dd581a82b9b9398),

W64LIT(0xdbc7eb5875ce3c6b),

W64LIT(0x90ab626744c5345e),

W64LIT(0x59c0f870c32df4b9),

W64LIT(0x6697a97c59547b9e),

W64LIT(0xfde8d962d5602d39),

W64LIT(0xd3d041d7aeac4c88),

W64LIT(0x5ef2153b478fde28),

W64LIT(0xd4e2ac9c2a0e6619),

W64LIT(0x1e4a8e7dbe75b4e4),

W64LIT(0x72485d2a8da1a326),

W64LIT(0x437b23b0ea6978d6),

W64LIT(0x159e9c047684d61d),

W64LIT(0x0f2547c45fc05a72),

W64LIT(0xf10e265099336551),

W64LIT(0x3c94e9fa89ea9d3d),

W64LIT(0xbfd292809d785b4a),

W64LIT(0x0817aa8fdb6270e3),

W64LIT(0x60e42c657f875faa),

W64LIT(0x18390b6498a690d0),

W64LIT(0x478a760d7d58405d),

W64LIT(0x284b1dac5d1f4585),

W64LIT(0xb1b6bd1660c90f9d),

W64LIT(0xd15291731f4e5037),

W64LIT(0x4d1f0c2617d82c01),

W64LIT(0xc70fb5817a599430),

W64LIT(0x6d43bb0591a51967),

W64LIT(0x6e8003f382360b7d),

W64LIT(0x1d89368bade6a6fe),

W64LIT(0x4f9ddc82a63a30be),

W64LIT(0xedc6788996a4cd0a),

W64LIT(0xab0d66d6498d83f2),

W64LIT(0x54676f102d0fb274),

W64LIT(0xc17c30985c8ab004),

W64LIT(0x3865bc471edba5b6),

W64LIT(0x3924d415bcaaab13),

W64LIT(0x951b5f8871850270),

W64LIT(0x8a10b9a76d81b831),

W64LIT(0xbd5042242c9a47f5),

W64LIT(0xa5694940b43cd725),

W64LIT(0xff6a09c664823186),

W64LIT(0x8d2254ece92392a0),

W64LIT(0xb7c5380f461a2ba9),

W64LIT(0x82071328b6e3c8d2),

W64LIT(0xd721146a399d7403),

W64LIT(0xfada342951c207a8),

W64LIT(0x262f323aa0ae1152),

W64LIT(0xf04f4e023b426bf4),

W64LIT(0x276e5a6802df1ff7),

/* box 1 */

W64LIT(0x3b4016dbfd16e203),

W64LIT(0x9a7574c51174530a),

W64LIT(0x90012e69c02ec8d3),

W64LIT(0xf44580e3d780e076),

W64LIT(0xf81dec2b49eca14b),

W64LIT(0x26cae3e8a6e3d7ef),

W64LIT(0x0962419e0c41f6ab),

W64LIT(0x54d1eb4070ebd951),

W64LIT(0x865e884b0188eec8),

W64LIT(0xdf76067ea406fe8a),

W64LIT(0x29849412e594fba0),

W64LIT(0x461569896869c0f2),

W64LIT(0xb5ddd6b3bbd6724e),

W64LIT(0x0c586cc89e6c413d),

W64LIT(0x6b0ad97054d904ea),

W64LIT(0xa135621eec62b109),

W64LIT(0x0eef7e47087ea461),

W64LIT(0xfaaafea4dffe4417),

W64LIT(0xe0ad344e80342331),

W64LIT(0xab4138b23d382ad0),

W64LIT(0x107390468e90fcff),

W64LIT(0xbe0885a2218561b9),

W64LIT(0xdbed22957d22c132),

W64LIT(0x2251c7037fc7e857),

W64LIT(0x33835ef8ba5e9c86),

W64LIT(0xb3f1e0d7f4e0a8aa),

W64LIT(0x3fdb32302432ddbb),

W64LIT(0xa719547aa3546bed),

W64LIT(0xe10c3df3cb3dab1f),

W64LIT(0x17feaf9f8aafae35),

W64LIT(0x9df84b1c154b01c0),

W64LIT(0x8364a51d93a5595e),

W64LIT(0x535cd49974d48b9b),

W64LIT(0x01a109bd4b09882e),

W64LIT(0xc4d0c529b0c51182),

W64LIT(0x2e09abcbe1aba96a),

W64LIT(0x1f3de7bccde7d0b0),

W64LIT(0x9317355b1d35a5a1),

W64LIT(0x6c87e6a950e65620),

W64LIT(0x8910ffb142ffc287),

W64LIT(0x40395fed275f1a16),

W64LIT(0x7b794936da49f815),

W64LIT(0xf269b68798b63a92),

W64LIT(0xfd27c17ddbc116dd),

W64LIT(0x8d8bdb5a9bdbfd3f),

W64LIT(0x1ba6c35714c3ef08),

W64LIT(0x6e30f426c6f4b37c),

W64LIT(0x7fe26ddd036dc7ad),

W64LIT(0x14e8b4ad57b4c347),

W64LIT(0xb985ba7b25ba3373),

W64LIT(0xe9cf75d08c75d59a),

W64LIT(0x626898ee5898f241),

W64LIT(0x5b9f9cba339cf51e),

W64LIT(0xb250e96abfe92084),

W64LIT(0x165fa622c1a6261b),

W64LIT(0xf5e4895e9c896858),

W64LIT(0xb76ac43c2dc49712),

W64LIT(0x02b7128f9612e55c),

W64LIT(0x1d8af5335bf535ec),

W64LIT(0x36b973ae28732b10),

W64LIT(0xa8572380e02347a2),

W64LIT(0xf6f2926c4192052a),

W64LIT(0x8c2ad2e7d0d27511),

W64LIT(0xd32e6ab63a6abfb7),

W64LIT(0xbd1e9e90fc9e0ccb),

W64LIT(0x03161b32dd1b6d72),

W64LIT(0x4dc03a98f23ad305),

W64LIT(0x81d3b79205b7bc02),

W64LIT(0x450372bbb572ad80),

W64LIT(0x2d1fb0f93cb0c418),

W64LIT(0x2a928f20388f96d2),

W64LIT(0x721b08a8d6080ebe),

W64LIT(0x92b63ce6563c2d8f),

W64LIT(0xeb78675f1a6730c6),

W64LIT(0x13658b74538b918d),

W64LIT(0x428e4d62b14dff4a),

W64LIT(0x88b1f60c09f64aa9),

W64LIT(0x75963771d2375c74),

W64LIT(0x7ad8408b9140703b),

W64LIT(0x57c7f072adf0b423),

W64LIT(0xe5971918121994a7),

W64LIT(0x5666f9cfe6f93c0d),

W64LIT(0x8f3cc9d50dc91863),

W64LIT(0x1e9cee0186ee589e),

W64LIT(0x8a06e4839fe4aff5),

W64LIT(0xb824b3c66eb3bb5d),

W64LIT(0xd1997839ac785aeb),

W64LIT(0x6752b5b8cab545d7),

W64LIT(0xb47cdf0ef0dffa60),

W64LIT(0x949a0a82190af76b),

W64LIT(0xc04be1c269e12e3a),

W64LIT(0xfc86c8c090c89ef3),

W64LIT(0xe3bb2f7c5d2f4e43),

W64LIT(0x6aabd0cd1fd08cc4),

W64LIT(0x2147dc31a2dc8525),

W64LIT(0xca3fbb6eb8bbb5e3),

W64LIT(0x48fa17ce60176493),

W64LIT(0x6444ae8a17ae28a5),

W64LIT(0x2b33869d73861efc),

W64LIT(0xd0387184e771d2c5),

W64LIT(0x7cf476efde76aadf),

W64LIT(0x63c9915313917a6f),

W64LIT(0xc929a05c65a0d891),

W64LIT(0xda4c2b28362b491c),

W64LIT(0xfe31da4f06da7baf),

W64LIT(0xc1eae87f22e8a614),

W64LIT(0x5c12a36337a3a7d4),

W64LIT(0x18b0d865c9d8827a),

W64LIT(0xe7200b97840b71fb),

W64LIT(0x4bec0cfcbd0c09e1),

W64LIT(0x0f4e77fa43772c4f),

W64LIT(0x4c613325b9335b2b),

W64LIT(0xf3c8bf3ad3bfb2bc),

W64LIT(0x87ff81f64a8166e6),

W64LIT(0xa38270917a705455),

W64LIT(0x1911d1d882d10a54),

W64LIT(0x44a27b06fe7b25ae),

W64LIT(0x049b24ebd9243fb8),

W64LIT(0xbb32a8f4b3a8d62f),

W64LIT(0x91a027d48b2740fd),

W64LIT(0x3d6c20bfb22038e7),

W64LIT(0xe681022acf02f9d5),

W64LIT(0xf17fadb545ad57e0),

W64LIT(0xcc138d0af78d6f07),

W64LIT(0x495b1e732b1eecbd),

W64LIT(0x38560de9200d8f71),

W64LIT(0xa9f62a3dab2acf8c),

W64LIT(0x47b46034236048dc),

W64LIT(0x8e9dc06846c0904d),

W64LIT(0xaccc076b3907781a),

W64LIT(0x32225745f15714a8),

W64LIT(0xd4a3556f3e55ed7d),

W64LIT(0xd7b54e5de34e800f),

W64LIT(0xddc114f132141bd6),

W64LIT(0x6d26ef141befde0e),

W64LIT(0x85489379dc9383ba),

W64LIT(0x0bd553119a5313f7),

W64LIT(0x786f520407529567),

W64LIT(0xcb9eb2d3f3b23dcd),

W64LIT(0xa223792c3179dc7b),

W64LIT(0x0a745aacd15a9bd9),

W64LIT(0x710d139a0b1363cc),

W64LIT(0x681cc24289c26998),

W64LIT(0x1a07caea5fca6726),

W64LIT(0x82c5aca0d8acd170),

W64LIT(0x25dcf8da7bf8ba9d),

W64LIT(0xc7c6de1b6dde7cf0),

W64LIT(0xc35dfaf0b4fa4348),

W64LIT(0xded70fc3ef0f76a4),

W64LIT(0x504acfaba9cfe6e9),

W64LIT(0xc571cc94fbcc99ac),

W64LIT(0x5ea5b1eca1b14288),

W64LIT(0xae7b15e4af159d46),

W64LIT(0xc888a9e12ea950bf),

W64LIT(0xf7539bd10a9b8d04),

W64LIT(0x962d180d8f181237),

W64LIT(0xe43610a559101c89),

W64LIT(0x772125fe4425b928),

W64LIT(0x84e99ac4979a0b94),

W64LIT(0xc667d7a626d7f4de),

W64LIT(0xefe343b4c3430f7e),

W64LIT(0xd5025cd2755c6553),

W64LIT(0xa6b85dc7e85de3c3),

W64LIT(0xd61447e0a8470821),

W64LIT(0x3e7a3b8d6f3b5595),

W64LIT(0x52fddd243fdd03b5),

W64LIT(0x8072be2f4ebe342c),

W64LIT(0x12c482c9188219a3),

W64LIT(0x9eee502ec8506cb2),

W64LIT(0xad6d0ed6720ef034),

W64LIT(0x59288e35a58e1042),

W64LIT(0xe21a26c11626c66d),

W64LIT(0x247df16730f132b3),

W64LIT(0xf0dea4080ea4dfce),

W64LIT(0x31344c772c4c79da),

W64LIT(0x4f77281764283659),

W64LIT(0x79ce5bb94c5b1d49),

W64LIT(0x0000000000000000),

W64LIT(0x73ba01159d018690),

W64LIT(0x74373ecc993ed45a),

W64LIT(0xbcbf972db79784e5),

W64LIT(0x4ed621aa2f21be77),

W64LIT(0xd95a301aeb30246e),

W64LIT(0x9c5942a15e4289ee),

W64LIT(0x37187a13637aa33e),

W64LIT(0x276bea55edea5fc1),

W64LIT(0x1c2bfc8e10fcbdc2),

W64LIT(0xed54513b5551ea22),

W64LIT(0x20e6d58ce9d50d0b),

W64LIT(0x3ae11f66b61f6a2d),

W64LIT(0x66f3bc0581bccdf9),

W64LIT(0x2cbeb94477b94c36),

W64LIT(0x99636ff7cc6f3e78),

W64LIT(0x953b033f52037f45),

W64LIT(0xb0e7fbe529fbc5d8),

W64LIT(0x60df8a61ce8a171d),

W64LIT(0x6f91fd9b8dfd3b52),

W64LIT(0xaae0310f7631a2fe),

W64LIT(0xbfa98c1f6a8ce997),

W64LIT(0x8ba7ed3ed4ed27db),

W64LIT(0x98c2664a8766b656),

W64LIT(0x062c36644f36dae4),

W64LIT(0x5570e2fd3be2517f),

W64LIT(0xead96ee2516eb8e8),

W64LIT(0x419856506c569238),

W64LIT(0x23f0cebe34ce6079),

W64LIT(0x309545ca6745f1f4),

W64LIT(0x5a3e950778957d30),

W64LIT(0x617e83dc85839f33),

W64LIT(0xfb0bf71994f7cc39),

W64LIT(0x3ccd2902f929b0c9),

W64LIT(0x70ac1a27401aebe2),

W64LIT(0xcea49f85619f8a5b),

W64LIT(0x39f704546b04075f),

W64LIT(0x0df96575d565c913),

W64LIT(0x08c3482347487e85),

W64LIT(0xd28f630b71633799),

W64LIT(0xecf558861e58620c),

W64LIT(0xc2fcf34dfff3cb66),

W64LIT(0x978c11b0c4119a19),

W64LIT(0x69bdcbffc2cbe1b6),

W64LIT(0xba93a149f8a15e01),

W64LIT(0x51ebc616e2c66ec7),

W64LIT(0x078d3fd9043f52ca),

W64LIT(0x58898788ee87986c),

W64LIT(0x4a4d0541f60581cf),

W64LIT(0xe86e7c6dc77c5db4),

W64LIT(0xee424a09884a8750),

W64LIT(0xcdb284b7bc84e729),

W64LIT(0x65e5a7375ca7a08b),

W64LIT(0x2fa8a276aaa22144),

W64LIT(0xa0946ba3a76b3927),

W64LIT(0xa5ae46f535468eb1),

W64LIT(0x35af689cf5684662),

W64LIT(0x28259dafae9d738e),

W64LIT(0xcf0596382a960275),

W64LIT(0xb6cbcd8166cd1f3c),

W64LIT(0x7e43646048644f83),

W64LIT(0x9bd47d785a7ddb24),

W64LIT(0x432f44dffa447764),

W64LIT(0x9f4f59938359e49c),

W64LIT(0x7d557f52957f22f1),

W64LIT(0x76802c430f2c3106),

W64LIT(0xdc601d4c791d93f8),

W64LIT(0x053a2d56922db796),

W64LIT(0x11d299fbc59974d1),

W64LIT(0xf9bce59602e52965),

W64LIT(0xd8fb39a7a039ac40),

W64LIT(0x340e6121be61ce4c),

W64LIT(0x5f04b851eab8caa6),

W64LIT(0x5db3aade7caa2ffa),

W64LIT(0x1549bd101cbd4b69),

W64LIT(0xff90d3f24dd3f381),

W64LIT(0xafda1c59e41c1568),

W64LIT(0xb146f25862f24df6),

W64LIT(0xa40f4f487e4f069f),

/* box 2 */

W64LIT(0xa1a35cebf8f0f94c),

W64LIT(0x2c203d650f3f095d),

W64LIT(0x1a2bdaee4084a2a7),

W64LIT(0xd32404574d7bcc68),

W64LIT(0xf785bea594a9adc4),

W64LIT(0xf2eb54456206949c),

W64LIT(0x3f5e334d0475ced1),

W64LIT(0x5994299b835d1f60),

W64LIT(0x785b7989ac204794),

W64LIT(0x025da6a2cf461a41),

W64LIT(0xdf1f3a71f01a901b),

W64LIT(0x27284f018bb77637),

W64LIT(0xe1955a6d694c5310),

W64LIT(0x24a1baf2d9d261ac),

W64LIT(0xe4fbb08d9fe36a48),

W64LIT(0x8d83618ef7cff011),

W64LIT(0x2ac72276abf5279e),

W64LIT(0xf9e32621e68eebf6),

W64LIT(0xbf323fb4d3f86f69),

W64LIT(0xbb888605b8745beb),

W64LIT(0x70dafe1e7acd2f65),

W64LIT(0xd0adf1a41f1edbf3),

W64LIT(0x1e91635f2b089625),

W64LIT(0xee2791b8864818f8),

W64LIT(0x99ce23e4c56c1484),

W64LIT(0xf33f0714ff259946),

W64LIT(0xbd6f99161cbe7528),

W64LIT(0x9f293cf761a63a47),

W64LIT(0xb80173f6ea114c70),

W64LIT(0x6543ef25d54dc62a),

W64LIT(0x39b92c5ea0bfe012),

W64LIT(0x63a4f0367187e8e9),

W64LIT(0x4c0d38a02cddf62f),

W64LIT(0x07334c4239e92319),

W64LIT(0x43bff375c3d9bdc7),

W64LIT(0xca862b4a5f9a7954),

W64LIT(0x5d2e902ae8d12be2),

W64LIT(0x137e0e280b4ac78c),

W64LIT(0xf162a1b630638307),

W64LIT(0x55af17bd3e3c4313),

W64LIT(0x358212781ddebc61),

W64LIT(0x94214e93e52e452d),

W64LIT(0xc18e592edb12063e),

W64LIT(0xec7a371a490e02b9),

W64LIT(0x4963d240da72cf77),

W64LIT(0x41e255d70c9fa786),

W64LIT(0xff0439324244c535),

W64LIT(0x88ed8b6e0160c949),

W64LIT(0x6c163be39e83a301),

W64LIT(0xc534e09fb09e32bc),

W64LIT(0x806c0cf9d78da1b8),

W64LIT(0xdba583c09b96a499),

W64LIT(0x746047af11411be7),

W64LIT(0xf40c4b56c6ccba5f),

W64LIT(0x6270a367eca4e533),

W64LIT(0xd41748157492ef71),

W64LIT(0xeff3c2e91b6b1522),

W64LIT(0x0e66988472274632),

W64LIT(0x534808ae9af66dd0),

W64LIT(0x8231aa5b18cbbbf9),

W64LIT(0xb2dd52c3f3ba3ec0),

W64LIT(0xdd429cd33f5c8a5a),

W64LIT(0x4e509e02e39bec6e),

W64LIT(0x26fc1c5016947bed),

W64LIT(0xd9f8256254d0bed8),

W64LIT(0x0955d4c64bce652b),

W64LIT(0x1610e4c8fde5fed4),

W64LIT(0x6dc268b203a0aedb),

W64LIT(0x2e7d9bc7c079131c),

W64LIT(0xc3d3ff8c14541c7f),

W64LIT(0xd64aeeb7bbd4f530),

W64LIT(0xab7f7ddee15b8bfc),

W64LIT(0x144d426a32a3e495),

W64LIT(0x8e0a947da5aae78a),

W64LIT(0x798f2ad831034a4e),

W64LIT(0x3be48afc6ff9fa53),

W64LIT(0x529c5bff07d5600a),

W64LIT(0xbee66ce54edb62b3),

W64LIT(0x931202d1dcc76634),

W64LIT(0x50c1fd5dc8937a4b),

W64LIT(0xa4cdb60b0e5fc014),

W64LIT(0x57f2b11ff17a5952),

W64LIT(0x47054ac4a8558945),

W64LIT(0x5a1ddc68d13808fb),

W64LIT(0x5cfac37b75f22638),

W64LIT(0xc207acdd897711a5),

W64LIT(0x289a84d464b33ddf),

W64LIT(0xc05a0a7f46310be4),

W64LIT(0xe6a6162f50a57009),

W64LIT(0x06e71f13a4ca2ec3),

W64LIT(0x5f733688279731a3),

W64LIT(0xeb497b5870e721a0),

W64LIT(0xb667eb7298360a42),

W64LIT(0xe3c8fccfa60a4951),

W64LIT(0xe772457ecd867dd3),

W64LIT(0x6978d103682c9a59),

W64LIT(0x0def6d77204251a9),

W64LIT(0xc90fdeb90dff6ecf),

W64LIT(0xd179a2f5823dd629),

W64LIT(0x2fa9c8965d5a1ec6),

W64LIT(0x81b85fa84aaeac62),

W64LIT(0xdc96cf82a27f8780),

W64LIT(0x602d05c523e2ff72),

W64LIT(0x19a22f1d12e1b53c),

W64LIT(0xe52fe3dc02c06792),

W64LIT(0x58407aca1e7e12ba),

W64LIT(0x61f95694bec1f2a8),

W64LIT(0x48b781114751c2ad),

W64LIT(0xaaab2e8f7c788626),

W64LIT(0x04bab9b16b8c3482),

W64LIT(0x2df46e34921c0487),

W64LIT(0x1123a88ac40cddcd),

W64LIT(0xc6bd156ce2fb2527),

W64LIT(0x7f6835cb95c9648d),

W64LIT(0x83e5f90a85e8b623),

W64LIT(0x4f84cd537eb8e1b4),

W64LIT(0x294ed785f9903005),

W64LIT(0x1cccc5fde44e8c64),

W64LIT(0xcb52781bc2b9748e),

W64LIT(0x1d1896ac796d81be),

W64LIT(0xb30901926e99331a),

W64LIT(0xad9862cd4591a53f),

W64LIT(0xc8db8de890dc6315),

W64LIT(0x7bd28c7afe45500f),

W64LIT(0x0adc213519ab72b0),

W64LIT(0xa8f6882db33e9c67),

W64LIT(0xb5ee1e81ca531dd9),

W64LIT(0x201b0343b25e552e),

W64LIT(0x4036068691bcaa5c),

W64LIT(0xae11973e17f4b2a4),

W64LIT(0x9efd6fa6fc85379d),

W64LIT(0x33650d6bb91492a2),

W64LIT(0x3a30d9adf2daf789),

W64LIT(0x0c3b3e26bd615c73),

W64LIT(0xf651edf4098aa01e),

W64LIT(0x710ead4fe7ee22bf),

W64LIT(0x3138abc9765288e3),

W64LIT(0x9d749a55aee02006),

W64LIT(0x6e4b9d4151c5b940),

W64LIT(0x84d6b548bc01953a),

W64LIT(0x360be78b4fbbabfa),

W64LIT(0xa22aa918aa95eed7),

W64LIT(0xedae644bd42d0f63),

W64LIT(0x46d119953576849f),

W64LIT(0x6497bc74486ecbf0),

W64LIT(0xfbbe808329c8f1b7),

W64LIT(0x4aea27b38817d8ec),

W64LIT(0x5626e24e6c595488),

W64LIT(0x056eeae0f6af3958),

W64LIT(0x4558ec6667139304),

W64LIT(0x448cbf37fa309ede),

W64LIT(0x6f9fce10cce6b49a),

W64LIT(0xa0770fba65d3f496),

W64LIT(0x671e49871a0bdc6b),

W64LIT(0xda71d09106b5a943),

W64LIT(0x08818797d6ed68f1),

W64LIT(0xa3fefa4937b6e30d),

W64LIT(0xb080f4613cfc2481),

W64LIT(0x763de10dde0701a6),

W64LIT(0x4dd96bf1b1fefbf5),

W64LIT(0x92c6518041e46bee),

W64LIT(0x3456412980fdb1bb),

W64LIT(0x981a70b5584f195e),

W64LIT(0x3d0395efcb33d490),

W64LIT(0xba5cd55425575631),

W64LIT(0x4b3e74e21534d536),

W64LIT(0x6af124f03a498dc2),

W64LIT(0x7ebc669a08ea6957),

W64LIT(0x30ecf898eb718539),

W64LIT(0xa922db7c2e1d91bd),

W64LIT(0x7a06df2b63665dd5),

W64LIT(0xb154a730a1df295b),

W64LIT(0xfc8dccc11021d2ae),

W64LIT(0xcfe8c1aaa935400c),

W64LIT(0x97a8bb60b74b52b6),

W64LIT(0x18767c4c8fc2b8e6),

W64LIT(0x9a47d6179709031f),

W64LIT(0x0000000000000000),

W64LIT(0xac4c319cd8b2a8e5),

W64LIT(0xb9d520a7773241aa),

W64LIT(0xdecb69206d399dc1),

W64LIT(0x1f45300eb62b9bff),

W64LIT(0x10f7fbdb592fd017),

W64LIT(0x3e8a601c9956c30b),

W64LIT(0x8502e619212298e0),

W64LIT(0xf5d818075befb785),

W64LIT(0x547b44eca31f4ec9),

W64LIT(0x9ca0c90433c32ddc),

W64LIT(0xe041093cf46f5eca),

W64LIT(0xa69010a9c119da55),

W64LIT(0xc769463d7fd828fd),

W64LIT(0xc4e0b3ce2dbd3f66),

W64LIT(0x2575e9a344f16c76),

W64LIT(0x01d453519d230dda),

W64LIT(0xfa6ad3d2b4ebfc6d),

W64LIT(0xd5c31b44e9b1e2ab),

W64LIT(0xf83775707bade62c),

W64LIT(0xbcbbca47819d78f2),

W64LIT(0xd79ebde626f7f8ea),

W64LIT(0x5bc98f394c1b0521),

W64LIT(0x2246a5e17d184f6f),

W64LIT(0x12aa5d799669ca56),

W64LIT(0x5ea765d9bab43c79),

W64LIT(0x8939d83f9c43c493),

W64LIT(0x32b15e3a24379f78),

W64LIT(0xe914ddfabfa13be1),

W64LIT(0x909bf7228ea271af),

W64LIT(0x73530bed28a838fe),

W64LIT(0xd2f05706d058c1b2),

W64LIT(0xfed06a63df67c8ef),

W64LIT(0xb43a4dd057701003),

W64LIT(0xa519e55a937ccdce),

W64LIT(0x75b414fe8c62163d),

W64LIT(0xafc5c46f8ad7bf7e),

W64LIT(0x2392f6b0e03b42b5),

W64LIT(0x386d7f0f3d9cedc8),

W64LIT(0x21cf50122f7d58f4),

W64LIT(0x9b9385460a2a0ec5),

W64LIT(0x5115ae0c55b07791),

W64LIT(0x0fb2cbd5ef044be8),

W64LIT(0xea9d2809edc42c7a),

W64LIT(0xcc613459fb505797),

W64LIT(0x426ba0245efab01d),

W64LIT(0x1599113baf80e94f),

W64LIT(0x7d3593695a8f7ecc),

W64LIT(0x0389f5f35265179b),

W64LIT(0x875f40bbee6482a1),

W64LIT(0x95f51dc2780d48f7),

W64LIT(0x7ce1c038c7ac7316),

W64LIT(0xce3c92fb34164dd6),

W64LIT(0xcdb5670866735a4d),

W64LIT(0x8ab02dccce26d308),

W64LIT(0x914fa47313817c75),

W64LIT(0x8b647e9d5305ded2),

W64LIT(0xd82c7633c9f3b302),

W64LIT(0x728758bcb58b3524),

W64LIT(0xe8c08eab2282363b),

W64LIT(0x8fdec72c3889ea50),

W64LIT(0x2b13712736d62a44),

W64LIT(0x3cd7c6be5610d94a),

W64LIT(0x37dfb4dad298a620),

W64LIT(0x868b13ea73478f7b),

W64LIT(0xb7b3b82305150798),

W64LIT(0x0b08726484887f6a),

W64LIT(0x1bff89bfdda7af7d),

W64LIT(0x77e9b25c43240c7c),

W64LIT(0xf0b6f2e7ad408edd),

W64LIT(0x17c4b79960c6f30e),

W64LIT(0x8c5732df6aecfdcb),

W64LIT(0x68ac8252f50f9783),

W64LIT(0x66ca1ad68728d1b1),

W64LIT(0x6b2577a1a76a8018),

W64LIT(0xe21caf9e3b29448b),

W64LIT(0xa74443f85c3ad78f),

W64LIT(0xfd599f908d02df74),

W64LIT(0x967ce8312a685f6c),

/* box 3 */

W64LIT(0xfa7b9775ba3af751),

W64LIT(0x03ef98cb769c2d13),

W64LIT(0x7191ce067072359e),

W64LIT(0xbab18b6bff7516a8),

W64LIT(0xe6e5ef4efbc1065e),

W64LIT(0x7bec74a3b1d0dbf4),

W64LIT(0x656b4fb907c31c4a),

W64LIT(0x4e8520f99fc86304),

W64LIT(0x8fd8df31d16dae58),

W64LIT(0x90a93fc1e60a7244),

W64LIT(0x30ad09f2b449cfc5),

W64LIT(0x8453be7e91bb5b90),

W64LIT(0x1d68a3d1c08feaad),

W64LIT(0x5c54642504b410f6),

W64LIT(0x8061383c8a9e3707),

W64LIT(0xf9940fbecca6da42),

W64LIT(0x46e1d97da982bbdf),

W64LIT(0xfc50521656f7ad77),

W64LIT(0x5e4d2704f35c2647),

W64LIT(0x8bea5973ca48c2cf),

W64LIT(0xd06323dfa34593bd),

W64LIT(0x62b651306a7a5dce),

W64LIT(0xa436b0714966d116),

W64LIT(0x4f73fb131ebc78a6),

W64LIT(0x92b07ce011e244f5),

W64LIT(0x33429139c2d5e2d6),

W64LIT(0xcee418c515565403),

W64LIT(0xd7be3d56cefcd239),

W64LIT(0x53ed83285f4789a9),

W64LIT(0xf3e9b51b0d043428),

W64LIT(0x20650e0fd8dd8a86),

W64LIT(0xb6e7f4add21aa2e4),

W64LIT(0x6d0fb63d3189c491),

W64LIT(0x0da0a42cac1bafee),

W64LIT(0x3f14eeffefba569a),

W64LIT(0x13279f361a086850),

W64LIT(0x9b225e8ea6dc878c),

W64LIT(0x6684d772715f3159),

W64LIT(0xa3ebaef824df9092),

W64LIT(0xc499a260d4f4ba69),

W64LIT(0xaa798c9693e153eb),

W64LIT(0x50021be329dba4ba),

W64LIT(0x949bb983fd2f1ed3),

W64LIT(0xdfdac4d2f8b60ae2),

W64LIT(0xf0062dd07b98193b),

W64LIT(0xafbdd13e09b024de),

W64LIT(0xb95e13a089e93bbb),

W64LIT(0x649d945386b707e8),

W64LIT(0xe4fcac6f0c2930ef),

W64LIT(0x413cc7f4c43bfa5b),

W64LIT(0x3b2668bdf49f3a0d),

W64LIT(0xe50a77858d5d2b4d),

W64LIT(0x05c45da89a517735),

W64LIT(0x3ee235156ece4d38),

W64LIT(0xfe491137a11f9bc6),

W64LIT(0xb7112f47536eb946),

W64LIT(0x07dd1e896db94184),

W64LIT(0x1ab5bd58ad36ab29),

W64LIT(0x8197e3d60bea2ca5),

W64LIT(0xab8f577c12954849),

W64LIT(0x9cff4007cb65c608),

W64LIT(0xa00436335243bd81),

W64LIT(0xfda689fcd783b6d5),

W64LIT(0xccfd5be4e2be62b2),

W64LIT(0x75a348446b575909),

W64LIT(0x17151974012d04c7),

W64LIT(0xfb8d4c9f3b4eecf3),

W64LIT(0xac5249f57f2c09cd),

W64LIT(0x9346a70a90965f57),

W64LIT(0x043286421b256c97),

W64LIT(0x27b81086b564cb02),

W64LIT(0x3569545a2e18b8f0),

W64LIT(0x6b24735edd449eb7),

W64LIT(0x2193d5e559a99124),

W64LIT(0xc7763aaba268977a),

W64LIT(0xb0cc31ce3ed7f8c2),

W64LIT(0xc939064c78ef1587),

W64LIT(0x16e3c29e80591f65),

W64LIT(0x5da2bfcf85c00b54),

W64LIT(0x5990398d9ee567c3),

W64LIT(0x67720c98f02b2afb),

W64LIT(0x54309da132fec82d),

W64LIT(0xeab39088d6aeb212),

W64LIT(0x9682faa20ac72862),

W64LIT(0xd38cbb14d5d9beae),

W64LIT(0x4c9c63d8682055b5),

W64LIT(0xd648e6bc4f88c99b),

W64LIT(0xdc355c198e2a27f1),

W64LIT(0x10c807fd6c944543),

W64LIT(0x450e41b6df1e96cc),

W64LIT(0x0b8b614f40d6f5c8),

W64LIT(0xd27a60fe54ada50c),

W64LIT(0x49583e70f2712280),

W64LIT(0x8dc19c10268598e9),

W64LIT(0x5866e2671f917c61),

W64LIT(0x79f537824638ed45),

W64LIT(0xc2b267033839e04f),

W64LIT(0xcb20456d8f072336),

W64LIT(0x2a18b4aa197f64ec),

W64LIT(0xdbe84290e3936675),

W64LIT(0x73888d27879a032f),

W64LIT(0xe8aad3a9214684a3),

W64LIT(0x6ee02ef64715e982),

W64LIT(0xa996145de57d7ef8),

W64LIT(0xc8cfdda6f99b0e25),

W64LIT(0x062bc563eccd5a26),

W64LIT(0x264ecb6c3410d0a0),

W64LIT(0xb8a8c84a089d2019),

W64LIT(0x7dc7b1c05d1d81d2),

W64LIT(0xd5a77e773914e488),

W64LIT(0x4b417d5105991431),

W64LIT(0xf62de8b39755431d),

W64LIT(0x993b1daf5134b13d),

W64LIT(0x82787b1d7d7601b6),

W64LIT(0xe321b2e66190716b),

W64LIT(0xb5086c66a4868ff7),

W64LIT(0x9ee603263c8df0b9),

W64LIT(0x349f8fb0af6ca352),

W64LIT(0x5b897aac690d5172),

W64LIT(0x7c316a2adc699a70),

W64LIT(0xd451a59db860ff2a),

W64LIT(0x706715ecf1062e3c),

W64LIT(0x838ea0f7fc021a14),

W64LIT(0x57df056a4462e53e),

W64LIT(0xcf12c32f94224fa1),

W64LIT(0xed6e8e01bb17f396),

W64LIT(0x915fe42b677e69e6),

W64LIT(0x89f31a523da0f47e),

W64LIT(0xe71334a47ab51dfc),

W64LIT(0xa860cfb76409655a),

W64LIT(0x9f10d8ccbdf9eb1b),

W64LIT(0xef77cd204cffc527),

W64LIT(0xf862d4544dd2c1e0),

W64LIT(0x8a1c82994b3cd96d),

W64LIT(0xae4b0ad488c43f7c),

W64LIT(0x98cdc645d040aa9f),

W64LIT(0x7fdef2e1aaf5b763),

W64LIT(0x4717029728f6a07d),

W64LIT(0x745593aeea2342ab),

W64LIT(0xee8116cacd8bde85),

W64LIT(0x727e56cd06ee188d),

W64LIT(0x227c4d2e2f35bc37),

W64LIT(0x977421488bb333c0),

W64LIT(0xa21d7512a5ab8b30),

W64LIT(0xbb4750817e010d0a),

W64LIT(0x6cf96dd7b0fddf33),

W64LIT(0x2801f78bee97525d),

W64LIT(0x1c9e783b41fbf10f),

W64LIT(0x9d099bed4a11ddaa),

W64LIT(0x7a1aaf4930a4c056),

W64LIT(0x32b44ad343a1f974),

W64LIT(0x3cfb763499267b89),

W64LIT(0xb2d572efc93fce73),

W64LIT(0x63408adaeb0e466c),

W64LIT(0xada4921ffe58126f),

W64LIT(0x5fbbfcee72283de5),

W64LIT(0x6ad2a8b45c308515),

W64LIT(0x0c567fc62d6fb44c),

W64LIT(0x956d62697c5b0571),

W64LIT(0x25a153a7428cfdb3),

W64LIT(0x150c5a55f6c53276),

W64LIT(0xe2d7690ce0e46ac9),

W64LIT(0xda1e997a62e77dd7),

W64LIT(0xf5c27078e1c96e0e),

W64LIT(0xc344bce9b94dfbed),

W64LIT(0x60af12119d926b7f),

W64LIT(0xa1f2edd9d337a623),

W64LIT(0xcad69e870e733894),

W64LIT(0x3770177bd9f08e41),

W64LIT(0xa5c06b9bc812cab4),

W64LIT(0x1f71e0f03767dc1c),

W64LIT(0x44f89a5c5e6a8d6e),

W64LIT(0x6159c9fb1ce670dd),

W64LIT(0x8e2e04db5019b5fa),

W64LIT(0x8805c1b8bcd4efdc),

W64LIT(0xe138f1c7967847da),

W64LIT(0x4ab7a6bb84ed0f93),

W64LIT(0x0000000000000000),

W64LIT(0x38c9f0768203171e),

W64LIT(0x1b4366b22c42b08b),

W64LIT(0x7803ec68c74cf6e7),

W64LIT(0xec9855eb3a63e834),

W64LIT(0xbe830d29e4507a3f),

W64LIT(0x2dc5aa2374c62568),

W64LIT(0xa62ff350be8ee7a7),

W64LIT(0x764cd08f1dcb741a),

W64LIT(0x8c3747faa7f1834b),

W64LIT(0x0fb9e70d5bf3995f),

W64LIT(0x55c6464bb38ad38f),

W64LIT(0xf7db3359162158bf),

W64LIT(0xd195f8352231881f),

W64LIT(0x0992226eb73ec379),

W64LIT(0x14fa81bf77b129d4),

W64LIT(0x48aee59a73053922),

W64LIT(0x2457884dc3f8e611),

W64LIT(0xffbfcadd206b8064),

W64LIT(0xb4feb78c25f29455),

W64LIT(0x864afd5f66536d21),

W64LIT(0x6f16f51cc661f220),

W64LIT(0xde2c1f3879c21140),

W64LIT(0x195a2593dbaa863a),

W64LIT(0x2e2a32e8025a087b),

W64LIT(0x432584d533d3ccea),

W64LIT(0x2c3371c9f5b23eca),

W64LIT(0xa7d928ba3ffafc05),

W64LIT(0x42d35f3fb2a7d748),

W64LIT(0x85a5659410cf4032),

W64LIT(0x0864f984364ad8db),

W64LIT(0xf21f6ef18c702f8a),

W64LIT(0xf1f0f63afaec0299),

W64LIT(0xd9f101b1147b50c4),

W64LIT(0x2fdce902832e13d9),

W64LIT(0x4d6ab832e9544e17),

W64LIT(0xe0ce2a2d170c5c78),

W64LIT(0x51f4c009a8afbf18),

W64LIT(0x68cbeb95abd8b3a4),

W64LIT(0xc15dffc84ea5cd5c),

W64LIT(0x02194321f7e836b1),

W64LIT(0x113edc17ede05ee1),

W64LIT(0x521b58c2de33920b),

W64LIT(0x9ad4856427a89c2e),

W64LIT(0x5629de80c516fe9c),

W64LIT(0x77ba0b659cbf6fb8),

W64LIT(0x238a96c4ae41a795),

W64LIT(0x12d144dc9b7c73f2),

W64LIT(0xd807da5b950f4b66),

W64LIT(0x3686cc91588495e3),

W64LIT(0x18acfe795ade9d98),

W64LIT(0x5a7fa146e8794ad0),

W64LIT(0xc680e141231c8cd8),

W64LIT(0x1e873b1ab613c7be),

W64LIT(0xf434ab9260bd75ac),

W64LIT(0xcd0b800e63ca7910),

W64LIT(0xbc9a4e0813b84c8e),

W64LIT(0x3d0dadde1852602b),

W64LIT(0x40ca1c1e454fe1f9),

W64LIT(0x0a7dbaa5c1a2ee6a),

W64LIT(0x693d307f2aaca806),

W64LIT(0x0e4f3ce7da8782fd),

W64LIT(0xbd6c95e292cc572c),

W64LIT(0x3ad0b35775eb21af),

W64LIT(0x7e28290b2b81acc1),

W64LIT(0x01f6dbea81741ba2),

W64LIT(0x87bc26b5e7277683),

W64LIT(0x393f2b9c03770cbc),

W64LIT(0xddc387f30f5e3c53),

W64LIT(0xeb454b6257daa9b0),

W64LIT(0xb323a905484bd5d1),

W64LIT(0xb13aea24bfa3e360),

W64LIT(0x315bd218353dd467),

W64LIT(0x2bee6f40980b7f4e),

W64LIT(0xe95c0843a0329f01),

W64LIT(0xc56f798a5580a1cb),

W64LIT(0xbf75d6c36524619d),

W64LIT(0x29f72c616fe349ff),

W64LIT(0xc0ab2422cfd1d6fe),

/* box 4 */

W64LIT(0x561fc423e957943c),

W64LIT(0x014287ca69079288),

W64LIT(0x2f086129dfcd1d21),

W64LIT(0xc537d4aea044fd99),

W64LIT(0xf1e8c3bfd7c8a457),

W64LIT(0x2971998a5cdf9bfb),

W64LIT(0x23fa649a2ce9e460),

W64LIT(0x3aa9e9c356a6716a),

W64LIT(0xd6efa4e7aa3d1708),

W64LIT(0x705a24b1fda5b5eb),

W64LIT(0x101e0ce2b170a9fc),

W64LIT(0x7ca821020e814caa),

W64LIT(0x0bc97ada1931ed13),

W64LIT(0x34df1711778c59ce),

W64LIT(0xd35020ef9226d2bf),

W64LIT(0x575d43e9805006b4),

W64LIT(0x91acebec9b1db840),

W64LIT(0x549b3f423b5945d9),

W64LIT(0x99a3ed9d3925163e),

W64LIT(0x7917a50a369a891d),

W64LIT(0xe372343cb4b6dc4e),

W64LIT(0x8d40e2bdd949e8fd),

W64LIT(0xcfbc29bed0728202),

W64LIT(0x969794857108ac12),

W64LIT(0xdd26de3db30cfa1b),

W64LIT(0x115c8b28d8773b74),

W64LIT(0xe9f9c92cc480a3d5),

W64LIT(0x4dc8b21b4116d0d3),

W64LIT(0x316093194f979c79),

W64LIT(0x5124bb4a0342806e),

W64LIT(0xb31408bcdef3cea8),

W64LIT(0xc1cad76cf158aaa6),

W64LIT(0x88ff66b5e1522d4a),

W64LIT(0xa8c37e8476b28a47),

W64LIT(0x15a188ea896b6c4b),

W64LIT(0xa24883940684f5dc),

W64LIT(0xda1da1545919ee49),

W64LIT(0x22b8e35045ee76e8),

W64LIT(0x6106af9925d28e9f),

W64LIT(0xef80318f4792250f),

W64LIT(0x663dd0f0cfc79acd),

W64LIT(0x302214d326900ef1),

W64LIT(0xdfa2255c61022bfe),

W64LIT(0xe6cdb0348cad19f9),

W64LIT(0x50663c806a4512e6),

W64LIT(0x65fbac5b74ced9a0),

W64LIT(0xc4755364c9436f11),

W64LIT(0x8fc419dc0b473918),

W64LIT(0x5c9439339961eba7),

W64LIT(0x3f166dcb6ebdb4dd),

W64LIT(0xba59890715ccf25e),

W64LIT(0xf0aa4475becf36df),

W64LIT(0x03c67cabbb09436d),

W64LIT(0xb99ff5acaec5b133),

W64LIT(0xf9e7c5ce75f00a29),

W64LIT(0x6df4aa2ad6f677de),

W64LIT(0xaeba8627f5a00c9d),

W64LIT(0xa573fcfdec91e18e),

W64LIT(0x7f6e5da9b5880fc7),

W64LIT(0xca03adb6e86947b5),

W64LIT(0x74a72773acb9e2d4),

W64LIT(0x604428534cd51c17),

W64LIT(0xf8a542041cf798a1),

W64LIT(0x448533a08a29ec25),

W64LIT(0x80f060c4436a8334),

W64LIT(0x0db082799a236bc9),

W64LIT(0xfa21b965cef94944),

W64LIT(0x64b92b911dc94b28),

W64LIT(0x7118a37b94a22763),

W64LIT(0xaff801ed9ca79e15),

W64LIT(0x1dae8e9b2b53c235),

W64LIT(0x13d870490a79ea91),

W64LIT(0x8a7b9dd4335cfcaf),

W64LIT(0x1f2a75faf95d13d0),

W64LIT(0xeec2b6452e95b787),

W64LIT(0xc34e2c0d23567b43),

W64LIT(0x47434f0b3120af48),

W64LIT(0xa18eff3fbd8db6b1),

W64LIT(0x98e16a57502284b6),

W64LIT(0x37196bbacc851aa3),

W64LIT(0x8e869e166240ab90),

W64LIT(0x9fda153eba3790e4),

W64LIT(0xf515c07d86d4f368),

W64LIT(0x72dedfd02fab640e),

W64LIT(0xe230b3f6ddb14ec6),

W64LIT(0x97d5134f180f3e9a),

W64LIT(0xe1f6cf5d66b80dab),

W64LIT(0xe78f37fee5aa8b71),

W64LIT(0xa30a045e6f836754),

W64LIT(0x90ee6c26f21a2ac8),

W64LIT(0xaa4785e5a4bc5ba2),

W64LIT(0x4e0eceb0fa1f93be),

W64LIT(0x94136fe4a3067df7),

W64LIT(0x7b935e6be49458f8),

W64LIT(0x9b2716fceb2bc7db),

W64LIT(0x840d63061276d40b),

W64LIT(0xed04caee959cf4ea),

W64LIT(0xea3fb5877f89e0b8),

W64LIT(0xb56df01f5de14872),

W64LIT(0x4935b1d9100a87ec),

W64LIT(0x82749ba5916452d1),

W64LIT(0x58693af1c87dbc98),

W64LIT(0x89bde17f8855bfc2),

W64LIT(0x677f573aa6c00845),

W64LIT(0xeb7d324d168e7230),

W64LIT(0x0284fb61d20ed1e5),

W64LIT(0xb190f3dd0cfd1f4d),

W64LIT(0x684b2e22eeedb269),

W64LIT(0x2bf562eb8ed14a1e),

W64LIT(0xe0b448970fbf9f23),

W64LIT(0x396f9568edaf3207),

W64LIT(0x52e2c7e1b84bc303),

W64LIT(0x77615bd817b0a1b9),

W64LIT(0x7e2cda63dc8f9d4f),

W64LIT(0xf22ebf146cc1e73a),

W64LIT(0xc08850a6985f382e),

W64LIT(0xd9dbddffe210ad24),

W64LIT(0xbfe60d0f2dd737e9),

W64LIT(0x9a659136822c5553),

W64LIT(0x87cb1fada97f9766),

W64LIT(0x4c8a35d12811425b),

W64LIT(0x83361c6ff863c059),

W64LIT(0xd212a725fb214037),

W64LIT(0x9e9892f4d330026c),

W64LIT(0x45c7b46ae32e7ead),

W64LIT(0x5baf465a7374fff5),

W64LIT(0xdc6459f7da0b6893),

W64LIT(0xd46b5f867833c6ed),

W64LIT(0x5dd6bef9f066792f),

W64LIT(0xcb412a7c816ed53d),

W64LIT(0x75e5a0b9c5be705c),

W64LIT(0xf6d3bcd63dddb005),

W64LIT(0xfb633eafa7fedbcc),

W64LIT(0xd529d84c11345465),

W64LIT(0xc9c5d11d536004d8),

W64LIT(0xdb5f269e301e7cc1),

W64LIT(0x86899867c07805ee),

W64LIT(0x3d9296aabcb36538),

W64LIT(0x2cce1d8264c45e4c),

W64LIT(0x5aedc1901a736d7d),

W64LIT(0x2e4ae6e3b6ca8fa9),

W64LIT(0x1e68f230905a8158),

W64LIT(0xdee0a2960805b976),

W64LIT(0xcd38d2df027c53e7),

W64LIT(0x6909a9e887ea20e1),

W64LIT(0x24c11bf3c6fcf032),

W64LIT(0x18110a9313480782),

W64LIT(0xa7f7079c3e9f306b),

W64LIT(0xd8995a358b173fac),

W64LIT(0x854fe4cc7b714683),

W64LIT(0xbd62f66effd9e60c),

W64LIT(0x14e30f20e06cfec3),

W64LIT(0x6e32d6816dff34b3),

W64LIT(0x217e9ffbfee73585),

W64LIT(0xc88756d73a679650),

W64LIT(0x359d90db1e8bcb46),

W64LIT(0x2645e09214f221d7),

W64LIT(0x04fd03c2511c573f),

W64LIT(0x739c581a46acf686),

W64LIT(0xb0d2741765fa8dc5),

W64LIT(0xa0cc78f5d48a2439),

W64LIT(0x5e10c2524b6f3a42),

W64LIT(0xe50bcc9f37a45a94),

W64LIT(0x53a0402bd14c518b),

W64LIT(0x413ab7a8b2322992),

W64LIT(0x203c183197e0a70d),

W64LIT(0xcc7a55156b7bc16f),

W64LIT(0x4601c8c158273dc0),

W64LIT(0xbea48ac544d0a561),

W64LIT(0x638254f8f7dc5f7a),

W64LIT(0xa6b580565798a2e3),

W64LIT(0x3cd01160d5b4f7b0),

W64LIT(0x8c026577b04e7a75),

W64LIT(0x7ad1d9a18d93ca70),

W64LIT(0x785522c05f9d1b95),

W64LIT(0x5f5245982268a8ca),

W64LIT(0x9551e82eca01ef7f),

W64LIT(0x0000000000000000),

W64LIT(0xbb1b0ecd7ccb60d6),

W64LIT(0x094d81bbcb3f3cf6),

W64LIT(0x28331e4035d80973),

W64LIT(0xf7913b1c54da228d),

W64LIT(0x6acfd5433ce3638c),

W64LIT(0x1bd77638a84144ef),

W64LIT(0x62c0d3329edbcdf2),

W64LIT(0x81b2e70e2a6d11bc),

W64LIT(0xd7ad232dc33a8580),

W64LIT(0x05bf8408381bc5b7),

W64LIT(0x33e468789d994d9c),

W64LIT(0xfedcbaa79fe51e7b),

W64LIT(0x4f4c497a93180136),

W64LIT(0x073b7f69ea151452),

W64LIT(0x0cf205b3f324f941),

W64LIT(0x382d12a284a8a08f),

W64LIT(0x1cec0951425450bd),

W64LIT(0x55d9b888525ed751),

W64LIT(0x6cb62de0bff1e556),

W64LIT(0xd1d4db8e4028035a),

W64LIT(0x25839c39affb62ba),

W64LIT(0x4af3cd72ab03c481),

W64LIT(0xa4317b3785967306),

W64LIT(0x1a95f1f2c146d667),

W64LIT(0x926a97472014fb2d),

W64LIT(0xb7e90b7e8fef9997),

W64LIT(0xcefeae74b975108a),

W64LIT(0x3e54ea0107ba2655),

W64LIT(0xd0965c44292f91d2),

W64LIT(0xab05022fcdbbc92a),

W64LIT(0xfd1ac60c24ec5d16),

W64LIT(0xfc5841c64debcf9e),

W64LIT(0xe4494b555ea3c81c),

W64LIT(0xb6ab8cb4e6e80b1f),

W64LIT(0x3beb6e093fa1e3e2),

W64LIT(0xf36c38de05c675b2),

W64LIT(0x9c1c6995013ed389),

W64LIT(0x8b391a1e5a5b6e27),

W64LIT(0xec464d24fc9b6662),

W64LIT(0xad7cfa8c4ea94ff0),

W64LIT(0x0f347918482dba2c),

W64LIT(0x9d5eee5f68394101),

W64LIT(0x7623dc127eb73331),

W64LIT(0x32a6efb2f49edf14),

W64LIT(0x2d8c9a480dc3ccc4),

W64LIT(0xb2568f76b7f45c20),

W64LIT(0x0e76fed2212a28a4),

W64LIT(0x48773613790d1564),

W64LIT(0x129af783637e7819),

W64LIT(0x080f0671a238ae7e),

W64LIT(0x365bec70a582882b),

W64LIT(0x42fccb03093b6aff),

W64LIT(0x0a8bfd1070367f9b),

W64LIT(0xff9e3d6df6e28cf3),

W64LIT(0xe8bb4ee6ad87315d),

W64LIT(0xc7b32fcf724a2c7c),

W64LIT(0xb8dd7266c7c223bb),

W64LIT(0x9328108d491369a5),

W64LIT(0x0679f8a3831286da),

W64LIT(0x270767587df5b35f),

W64LIT(0xa981f94e1fb518cf),

W64LIT(0x6b8d528955e4f104),

W64LIT(0x1667f44132622f26),

W64LIT(0x2ab7e521e7d6d896),

W64LIT(0xac3e7d4627aedd78),

W64LIT(0x7deaa6c86786de22),

W64LIT(0x1725738b5b65bdae),

W64LIT(0x4bb14ab8c2045609),

W64LIT(0x592bbd3ba17a2e10),

W64LIT(0xc20cabc74a51e9cb),

W64LIT(0x6f70514b04f8a63b),

W64LIT(0xbc2071a496de7484),

W64LIT(0x19538d597a4f950a),

W64LIT(0xf45747b7efd361e0),

W64LIT(0x43be4cc9603cf877),

W64LIT(0xc6f1a8051b4dbef4),

W64LIT(0xb42f77d534e6dafa),

W64LIT(0x40783062db35bb1a),

/* box 5 */

W64LIT(0xf5a96c292deb0a4e),

W64LIT(0x211c9df6ee653c51),

W64LIT(0x04de5ddcbeeef596),

W64LIT(0xe1e5b06f7457c19f),

W64LIT(0x74ca30f014a54fb6),

W64LIT(0xc296f9f7c5457d85),

W64LIT(0x7d4ee08a484d10b0),

W64LIT(0xae87f2d0bf9b13ad),

W64LIT(0x8df4bb480e89afb7),

W64LIT(0x2d8b7a67d9a2d61e),

W64LIT(0x0f3559c8bd712adb),

W64LIT(0x541bc7312f013338),

W64LIT(0x9ec4848b636d5164),

W64LIT(0x952f809f60f28e29),

W64LIT(0x28984d8cb28d6357),

W64LIT(0xd4b5f1dfc38e361f),

W64LIT(0x5674135f7076b373),

W64LIT(0xb791a330042172ec),

W64LIT(0xab94c53bd4b4a6e4),

W64LIT(0xf17731f59305ffd8),

W64LIT(0x39c7a621801e1dcf),

W64LIT(0x20d1f7c13ba47c8e),

W64LIT(0x5e3da912f95facaa),

W64LIT(0xb1202a82e5b80731),

W64LIT(0x13303fc36de4fed3),

W64LIT(0x2e29c43e5314168a),

W64LIT(0x861fbf5c0d1670fa),

W64LIT(0x6458b16af3f771f1),

W64LIT(0x3043765bdcf642c9),

W64LIT(0x12fd55f4b825be0c),

W64LIT(0x0a266e23d65e9f92),

W64LIT(0x6595db5d2636312e),

W64LIT(0x85bd010587a0b06e),

W64LIT(0x9bd7b3600842e42d),

W64LIT(0xaa59af0c0175e63b),

W64LIT(0x240faa1d854a8918),

W64LIT(0xf464061ef82a4a91),

W64LIT(0x5c527d7ca6282ce1),

W64LIT(0x03a2be598ab6c094),

W64LIT(0x40571b7776bdf8e9),

W64LIT(0xe4f687841f7874d6),

W64LIT(0x115febad32937e98),

W64LIT(0x5108f0da442e8671),

W64LIT(0x9cab50e53c1ad12f),

W64LIT(0x33e1c8025640825d),

W64LIT(0x87d2d56bd8d73025),

W64LIT(0xc0f92d999a32fdce),

W64LIT(0x62e938d8126e042c),

W64LIT(0x4a717554a0e3677b),

W64LIT(0x0beb0414039fdf4d),

W64LIT(0xd6da25b19cf9b654),

W64LIT(0x55d6ad06fac073e7),

W64LIT(0x632452efc7af44f3),

W64LIT(0xb5fe775e5b56f2a7),

W64LIT(0x892ae694b0675a21),

W64LIT(0x7a32030f7c1525b2),

W64LIT(0x5d9f174b73e96c3e),

W64LIT(0xc35b93c010843d5a),

W64LIT(0x373f95dee8ae77cb),

W64LIT(0xfb515fd6455b604a),

W64LIT(0xa9fb11558bc326af),

W64LIT(0x22be23af64d3fcc5),

W64LIT(0xa8367b625e026670),

W64LIT(0xb8a4faf8b9505837),

W64LIT(0x785dd7612362a5f9),

W64LIT(0x588c20a018c6d977),

W64LIT(0xea0eb47b77c81ed2),

W64LIT(0xa6ce489d36b20c74),

W64LIT(0x0c97e79137c7ea4f),

W64LIT(0x7c838abd9d8c506f),

W64LIT(0x57b97968a5b7f3ac),

W64LIT(0x6c110b277ade6e28),

W64LIT(0xc785ce1cae6ac8cc),

W64LIT(0x1581b6718c7d8b0e),

W64LIT(0x614b868198d8c4b8),

W64LIT(0x27ad14440ffc498c),

W64LIT(0xdb80a8177eff1cc4),

W64LIT(0x472bf8f242e5cdeb),

W64LIT(0x8a8858cd3ad19ab5),

W64LIT(0xf60bd270a75dcada),

W64LIT(0x43f5a52efc0b387d),

W64LIT(0x6ddc6110af1f2ef7),

W64LIT(0xf0ba5bc246c4bf07),

W64LIT(0x6fb3b57ef068aebc),

W64LIT(0x18db3bd76e7b219e),

W64LIT(0x903cb7740bdd3b60),

W64LIT(0x7bff6938a9d4656d),

W64LIT(0xbdb7cd13d27fed7e),

W64LIT(0x051337eb6b2fb549),

W64LIT(0x77688ea99e138f22),

W64LIT(0xd9ef7c7921889c8f),

W64LIT(0x077ce38534583502),

W64LIT(0xf318e59bcc727f93),

W64LIT(0xb34ffeecbacf877a),

W64LIT(0xe9ac0a22fd7ede46),

W64LIT(0xfc2dbc5371035548),

W64LIT(0x026fd46e5f77804b),

W64LIT(0xe53bedb3cab93409),

W64LIT(0xcc6eca08adf51781),

W64LIT(0xe028da58a1968140),

W64LIT(0x3a6518780aa8dd5b),

W64LIT(0xce011e66f28297ca),

W64LIT(0xa4a19cf369c58c3f),

W64LIT(0xc5ea1a72f11d4887),

W64LIT(0xc427704524dc0858),

W64LIT(0x4238cf1929ca78a2),

W64LIT(0x481ea13aff94e730),

W64LIT(0xdf5ef5cbc011e952),

W64LIT(0x80ae36eeec8f0527),

W64LIT(0x5ae3f4ce47b1593c),

W64LIT(0xcda3a03f7834575e),

W64LIT(0x71d9071b7f8afaff),

W64LIT(0xcadf43ba4c6c625c),

W64LIT(0x1623082806cb4b9a),

W64LIT(0x17ee621fd30a0b45),

W64LIT(0x448946abc8530d7f),

W64LIT(0x974054f13f850e62),

W64LIT(0x73b6d37520fd7ab4),

W64LIT(0xc8b097d4131be217),

W64LIT(0x9f09eebcb6ac11bb),

W64LIT(0x45442c9c1d924da0),

W64LIT(0x1b79858ee4cde10a),

W64LIT(0x0984d07a5ce85f06),

W64LIT(0x4cc0fce6417a12a6),

W64LIT(0x99b8670e57356466),

W64LIT(0xad254c89352dd339),

W64LIT(0x322ca2358381c282),

W64LIT(0xcfcc74512743d715),

W64LIT(0x6b6de8a24e865b2a),

W64LIT(0xda4dc220ab3e5c1b),

W64LIT(0x88e78ca365a61afe),

W64LIT(0x939e092d816bfbf4),

W64LIT(0xcb12298d99ad2283),

W64LIT(0xeed0e9a7c926eb44),

W64LIT(0x98750d3982f424b9),

W64LIT(0xd5789be8164f76c0),

W64LIT(0xbe15734a58c92dea),

W64LIT(0x49d3cb0d2a55a7ef),

W64LIT(0x67fa0f337941b165),

W64LIT(0x8c39d17fdb48ef68),

W64LIT(0x25c2c02a508bc9c7),

W64LIT(0x349d2b876218b75f),

W64LIT(0x70146d2caa4bba20),

W64LIT(0x1c05660bd095d408),

W64LIT(0xfe42683d2e74d503),

W64LIT(0x9a1ad957dd83a4f2),

W64LIT(0xf2d58fac19b33f4c),

W64LIT(0x81635cd9394e45f8),

W64LIT(0xb65cc907d1e03233),

W64LIT(0xdd3121a59f666919),

W64LIT(0x318e1c6c09370216),

W64LIT(0x8b4532faef10da6a),

W64LIT(0x191651e0bbba6141),

W64LIT(0x3f762f9361876812),

W64LIT(0xb96990cf6c9118e8),

W64LIT(0xb4331d698e97b278),

W64LIT(0xd822164ef449dc50),

W64LIT(0x84706b325261f0b1),

W64LIT(0x4eaf28881e0d92ed),

W64LIT(0x69023ccc11f1db61),

W64LIT(0x66376504ac80f1ba),

W64LIT(0x0849ba4d89291fd9),

W64LIT(0xff8f020afbb595dc),

W64LIT(0x50c59aed91efc6ae),

W64LIT(0x1dc80c3c055494d7),

W64LIT(0x1e6ab2658fe25443),

W64LIT(0x3d19fbfd3ef0e859),

W64LIT(0xfa9c35e1909a2095),

W64LIT(0x52aa4e83ce9846e5),

W64LIT(0x419a7140a37cb836),

W64LIT(0xa07fc12fd72b79a9),

W64LIT(0x68cf56fbc4309bbe),

W64LIT(0x01cd6a37d5c140df),

W64LIT(0x9253631a54aabb2b),

W64LIT(0xd06bac037d60c389),

W64LIT(0x295527bb674c2388),

W64LIT(0xd204786d221743c2),

W64LIT(0x0000000000000000),

W64LIT(0xf7c6b847729c8a05),

W64LIT(0xdcfc4b924aa729c6),

W64LIT(0xe38a64012b2041d4),

W64LIT(0xb28294db6f0ec7a5),

W64LIT(0x9d663ad2e9db91f0),

W64LIT(0x91f1dd43de1c7bbf),

W64LIT(0x6086ecb64d198467),

W64LIT(0x59414a97cd0799a8),

W64LIT(0xace826bee0ec93e6),

W64LIT(0xa56cf6c4bc04cce0),

W64LIT(0x727bb942f53c3a6b),

W64LIT(0x6e7edf4925a9ee63),

W64LIT(0x26607e73da3d0953),

W64LIT(0xe75439dd95ceb442),

W64LIT(0x7990bd56f6a3e526),

W64LIT(0xecbf3dc996516b0f),

W64LIT(0x76a5e49e4bd2cffd),

W64LIT(0x968d3ec6ea444ebd),

W64LIT(0x5b2e9ef9927019e3),

W64LIT(0x6aa082959b471bf5),

W64LIT(0xbb0644a133e698a3),

W64LIT(0x830c88b76639c5b3),

W64LIT(0xe2470e36fee1010b),

W64LIT(0xb0ed40b5307947ee),

W64LIT(0x355041b0b7d9f780),

W64LIT(0x8e560511843f6f23),

W64LIT(0x7f2134e4173a90fb),

W64LIT(0x2af799e2edfae31c),

W64LIT(0x4bbc1f63752227a4),

W64LIT(0xf8f3e18fcfeda0de),

W64LIT(0x0d5a8da6e206aa90),

W64LIT(0x2c4610500c6396c1),

W64LIT(0xde939ffc15d0a98d),

W64LIT(0xaf4a98e76a5a5372),

W64LIT(0x8f9b6f2651fe2ffc),

W64LIT(0x36f2ffe93d6f3714),

W64LIT(0x0ef833ff68b06a04),

W64LIT(0xe69953ea400ff49d),

W64LIT(0x23734998b112bc1a),

W64LIT(0x3ebb45a4b44628cd),

W64LIT(0x1ab4efb9310ca1d5),

W64LIT(0x2fe4ae0986d55655),

W64LIT(0xebc3de4ca2095e0d),

W64LIT(0x536724b41b59063a),

W64LIT(0x46e692c597248d34),

W64LIT(0x2b3af3d5383ba3c3),

W64LIT(0x3ba8724fdf699d84),

W64LIT(0xc13447ae4ff3bd11),

W64LIT(0x4d0d96d194bb5279),

W64LIT(0xfde0d664a4c21597),

W64LIT(0xd7174f864938f68b),

W64LIT(0x7eec5ed3c2fbd024),

W64LIT(0xbfd8197d8d086d35),

W64LIT(0x4f6242bfcbccd232),

W64LIT(0xa70322aae3734cab),

W64LIT(0xa3dd7f765d9db93d),

W64LIT(0x94e2eaa8b533cef6),

W64LIT(0x144cdc4659bccbd1),

W64LIT(0xc648a42b7bab8813),

W64LIT(0xf93e8bb81a2ce001),

W64LIT(0xbacb2e96e627d87c),

W64LIT(0xbc7aa72407beada1),

W64LIT(0xc97dfde3c6daa2c8),

W64LIT(0xa1b2ab1802ea3976),

W64LIT(0x1fa7d8525a23149c),

W64LIT(0x75075ac7c1640f69),

W64LIT(0xe861601528bf9e99),

W64LIT(0xa2101541885cf9e2),

W64LIT(0xef1d83901ce7ab9b),

W64LIT(0x06b189b2e19975dd),

W64LIT(0x380acc1655df5d10),

W64LIT(0x1092819ae7523e47),

W64LIT(0xd3c9125af7d6031d),

W64LIT(0xd1a6c634a8a18356),

W64LIT(0x5ff0c3252c9eec75),

W64LIT(0x82c1e280b3f8856c),

W64LIT(0xed7257fe43902bd0),

W64LIT(0x3cd491caeb31a886),

/* box 6 */

W64LIT(0x94af9eb6fad9e7df),

W64LIT(0x9208ae5e03c94ddd),

W64LIT(0x1d8de8d67158480b),

W64LIT(0xfd093cd2ba147af8),

W64LIT(0xa45ceb22e6597ccf),

W64LIT(0x9bbde6e77bf113da),

W64LIT(0xe4edf4b465fffe5c),

W64LIT(0x7125622e4e8d2a2f),

W64LIT(0x1791b81b8f68430d),

W64LIT(0xb56a63d1902195c0),

W64LIT(0xa980832b30d2ee67),

W64LIT(0x4c0a7fb384862397),

W64LIT(0xed58bc0d1dc7a05b),

W64LIT(0x5955d7f05c4d0637),

W64LIT(0xd2b9b1c8806fcf4e),

W64LIT(0x06a730e8f910aa02),

W64LIT(0xb8b60bd846aa0768),

W64LIT(0x45bf370afcbe7d90),

W64LIT(0x16f6b0375ec370a1),

W64LIT(0x892276608b81afd4),

W64LIT(0xdcccc1b5d0ec08e7),

W64LIT(0xe856949162df5f58),

W64LIT(0x82592e81a41a977e),

W64LIT(0xac8eabb74fca1164),

W64LIT(0xfac9041692afe356),

W64LIT(0x3b882d75331ba3ba),

W64LIT(0xa39cd3e6cee2e561),

W64LIT(0xd077a190d7cca9e3),

W64LIT(0x9c7dde23534a8a74),

W64LIT(0x80973ed9f3b9f1d3),

W64LIT(0xce535132209cb4e9),

W64LIT(0xaa299b5fb6dabb66),

W64LIT(0x2d7e9d426dd8d31b),

W64LIT(0x8a8b6e140d89fad5),

W64LIT(0x6ca88af83fd56224),

W64LIT(0xf5db7c4713871753),

W64LIT(0xeef1a4799bcff55a),

W64LIT(0x76e55aea6636b381),

W64LIT(0x8ee24ea4a33a367a),

W64LIT(0x25acddd7c44bbeb0),

W64LIT(0x9adaeecbaa5a2076),

W64LIT(0x0e75707d5083c7a9),

W64LIT(0x2bd9adaa94c87919),

W64LIT(0x19e4c866dfeb84a4),

W64LIT(0x129f9087f070bc0e),

W64LIT(0xd9c2e929aff4f7e4),

W64LIT(0x6f01928cb9dd3725),

W64LIT(0x39463d2d64b8c517),

W64LIT(0xebff8ce5e4d70a59),

W64LIT(0xb40d6bfd418aa66c),

W64LIT(0xf21b44833b3c8efd),

W64LIT(0x3654457ce5903112),

W64LIT(0x431807e205aed792),

W64LIT(0xb10343613e92596f),

W64LIT(0x0a1c50cdfe300b06),

W64LIT(0x778252c6b79d802d),

W64LIT(0x0cbb60250720a104),

W64LIT(0xe1e3dc281ae7015f),

W64LIT(0x0f1278518128f405),

W64LIT(0x47712752ab1d1b3d),

W64LIT(0xe24ac45c9cef545e),

W64LIT(0x1ceae0faa0f37ba7),

W64LIT(0x9814fe93fdf946db),

W64LIT(0xec3fb421cc6c93f7),

W64LIT(0x833e26ad75b1a4d2),

W64LIT(0x6b68b23c176efb8a),

W64LIT(0x4904572ffb9edc94),

W64LIT(0x4bca4777ac3dba39),

W64LIT(0x2762cd8f93e8d81d),

W64LIT(0x9eb3ce7b04e9ecd9),

W64LIT(0xc2e8311727bc15ed),

W64LIT(0xea9884c9357c39f5),

W64LIT(0xfc6e34fe6bbf4954),

W64LIT(0x13f898ab21db8fa2),

W64LIT(0xb7a47389c782f36d),

W64LIT(0x7b3932e3b0bd2129),

W64LIT(0xaf27b3c3c9c24465),

W64LIT(0xb6c37ba51629c0c1),

W64LIT(0x84fe1e695d0a3d7c),

W64LIT(0x1a4dd01259e3d1a5),

W64LIT(0xab4e9373677188ca),

W64LIT(0x90c6be06546a2b70),

W64LIT(0xf37c4cafea97bd51),

W64LIT(0x647aca6d96460f8f),

W64LIT(0x4ec46febd325453a),

W64LIT(0x3e8605e94c035cb9),

W64LIT(0x0ddc6809d68b92a8),

W64LIT(0x8bec6638dc22c979),

W64LIT(0x67d3d219104e5a8e),

W64LIT(0x2abea58645634ab5),

W64LIT(0x5b9bc7a80bee609a),

W64LIT(0x936fa672d2627e71),

W64LIT(0x7d9e020b49ad8b2b),

W64LIT(0x5832dfdc8de6359b),

W64LIT(0xc7e6198b58a4eaee),

W64LIT(0xd41e8120797f654c),

W64LIT(0xf4bc746bc22c24ff),

W64LIT(0xe084d404cb4c32f3),

W64LIT(0x48635f032a35ef38),

W64LIT(0x8757061ddb02687d),

W64LIT(0x522e8f1173d63e9d),

W64LIT(0xbcdf2b68e819cbc7),

W64LIT(0xbf76331c6e119ec6),

W64LIT(0x08d24095a9936dab),

W64LIT(0x728c7a5ac8857f2e),

W64LIT(0xd110a9bc06679a4f),

W64LIT(0x1f43f88e26fb2ea6),

W64LIT(0xb2aa5b15b89a0c6e),

W64LIT(0x4aad4f5b7d968995),

W64LIT(0x9fd4c657d542df75),

W64LIT(0x323d65cc4b23fdbd),

W64LIT(0xc38f393bf6172641),

W64LIT(0xa152c3be994183cc),

W64LIT(0x9d1ad60f82e1b9d8),

W64LIT(0xe744ecc0e3f7ab5d),

W64LIT(0x38213501b513f6bb),

W64LIT(0xade9a39b9e6122c8),

W64LIT(0x37334d50343b02be),

W64LIT(0x55eeb7d55b6da733),

W64LIT(0x970686c27cd1b2de),

W64LIT(0x427f0fced405e43e),

W64LIT(0xc026214f701f7340),

W64LIT(0x40b11f9683a68293),

W64LIT(0x02ce105857a366ad),

W64LIT(0x7e371a7fcfa5de2a),

W64LIT(0xffc72c8aedb71c55),

W64LIT(0x68c1aa489166ae8b),

W64LIT(0xc68111a7890fd942),

W64LIT(0x79f722bbe71e4784),

W64LIT(0xd579890ca8d456e0),

W64LIT(0x70426a029f261983),

W64LIT(0xb0644b4def396ac3),

W64LIT(0xdb0cf971f8579149),

W64LIT(0x5489bff98ac6949f),

W64LIT(0x046920b0aeb3ccaf),

W64LIT(0x7cf90a279806b887),

W64LIT(0x050e289c7f18ff03),

W64LIT(0x651dc24147ed3c23),

W64LIT(0x5e95ef3474f69f99),

W64LIT(0x6dcf82d4ee7e5188),

W64LIT(0x8f854688729105d6),

W64LIT(0x81f036f52212c27f),

W64LIT(0xb9d103f4970134c4),

W64LIT(0x5349873da27d0d31),

W64LIT(0x20a2f54bbb5341b3),

W64LIT(0xf0d554db6c9fe850),

W64LIT(0x07c038c428bb99ae),

W64LIT(0x30f375941c809b10),

W64LIT(0x3fe10dc59da86f15),

W64LIT(0x46162f7e7ab62891),

W64LIT(0xe623e4ec325c98f1),

W64LIT(0xfea024a63c1c2ff9),

W64LIT(0x349a5524b23357bf),

W64LIT(0x35fd5d0863986413),

W64LIT(0x96618eeead7a8172),

W64LIT(0xcb5d79ae5f844bea),

W64LIT(0x21c5fd676af8721f),

W64LIT(0x5720a78d0ccec19e),

W64LIT(0xf6726433958f4252),

W64LIT(0x8d4b56d02532637b),

W64LIT(0x24cbd5fb15e08d1c),

W64LIT(0x3aef2559e2b09016),

W64LIT(0x5afccf84da455336),

W64LIT(0x51879765f5de6b9c),

W64LIT(0x2917bdf2c36b1fb4),

W64LIT(0xa7f5f356605129ce),

W64LIT(0xc1412963a1b440ec),

W64LIT(0x3d2f1d9dca0b09b8),

W64LIT(0xa53be30e37f24f63),

W64LIT(0x5ff2e718a55dac35),

W64LIT(0xa2fbdbca1f49d6cd),

W64LIT(0xf7156c1f442471fe),

W64LIT(0x7a5e3acf61161285),

W64LIT(0xca3a71828e2f7846),

W64LIT(0x1b2ad83e8848e209),

W64LIT(0xa8e78b07e179ddcb),

W64LIT(0xef96ac554a64c6f6),

W64LIT(0x0000000000000000),

W64LIT(0x6013eadd38f5c320),

W64LIT(0x3c4815b11ba03a14),

W64LIT(0x09b548b978385e07),

W64LIT(0x226ce513ecf0271e),

W64LIT(0x63baf2a9befd9621),

W64LIT(0x44d83f262d154e3c),

W64LIT(0xcdfa4946a694e1e8),

W64LIT(0x113688f37678e90f),

W64LIT(0x859916458ca10ed0),

W64LIT(0xc52809d30f078c43),

W64LIT(0x4d6d779f552d103b),

W64LIT(0x1e24f0a2f7501d0a),

W64LIT(0x0167082cd1ab33ac),

W64LIT(0x1438a06f0960160c),

W64LIT(0xf9601c6214a7b657),

W64LIT(0xa035cb9248eab060),

W64LIT(0x50e09f4924755830),

W64LIT(0xd7b79954ff77304d),

W64LIT(0xe58afc98b454cdf0),

W64LIT(0x03a9187486085501),

W64LIT(0x62ddfa856f56a58d),

W64LIT(0xc44f01ffdeacbfef),

W64LIT(0x73eb7276192e4c82),

W64LIT(0xd6d091782edc03e1),

W64LIT(0xfbae0c3a4304d0fa),

W64LIT(0x9973f6bf2c527577),

W64LIT(0x105180dfa7d3daa3),

W64LIT(0x2605c5a34243ebb1),

W64LIT(0x91a1b62a85c118dc),

W64LIT(0xc99369f608272d47),

W64LIT(0x5d3cf740f2feca98),

W64LIT(0xcf34591ef1378745),

W64LIT(0xc8f461dad98c1eeb),

W64LIT(0x0b7b58e12f9b38aa),

W64LIT(0xe32dcc704d4467f2),

W64LIT(0x754c429ee03ee680),

W64LIT(0xd3deb9e451c4fce2),

W64LIT(0x6e669aa068760489),

W64LIT(0x66b4da35c1e56922),

W64LIT(0x4fa367c7028e7696),

W64LIT(0xba781b80110961c5),

W64LIT(0x41d617ba520db13f),

W64LIT(0x335a6de09a88ce11),

W64LIT(0xdf65d9c156e45de6),

W64LIT(0xcc9d416a773fd244),

W64LIT(0x5c5bff6c2355f934),

W64LIT(0x2870b5de12c02c18),

W64LIT(0x155fa843d8cb25a0),

W64LIT(0x78902a9736b57428),

W64LIT(0xae40bbef186977c9),

W64LIT(0x88457e4c5a2a9c78),

W64LIT(0x6a0fba10c6c5c826),

W64LIT(0x7f5012531e0eed86),

W64LIT(0x8c2c5efcf49950d7),

W64LIT(0x31947db8cd2ba8bc),

W64LIT(0x2c19956ebc73e0b7),

W64LIT(0x230bed3f3d5b14b2),

W64LIT(0x69a6a26440cd9d27),

W64LIT(0x86300e310aa95bd1),

W64LIT(0xb3cd533969313fc2),

W64LIT(0x1883c04a0e40b708),

W64LIT(0xf1b25cf7bd34dbfc),

W64LIT(0x2fb08d1a3a7bb5b6),

W64LIT(0xd8a5e1057e5fc448),

W64LIT(0xddabc99901473b4b),

W64LIT(0xde02d1ed874f6e4a),

W64LIT(0xbdb8234439b2f86b),

W64LIT(0x5647afa1dd65f232),

W64LIT(0x2ed78536ebd0861a),

W64LIT(0xe9319cbdb3746cf4),

W64LIT(0xa692fb7ab1fa1a62),

W64LIT(0x742b4ab23195d52c),

W64LIT(0x95c8969a2b72d473),

W64LIT(0x6174e2f1e95ef08c),

W64LIT(0xf807144ec50c85fb),

W64LIT(0xbe113b30bfbaad6a),

W64LIT(0xda6bf15d29fca2e5),

W64LIT(0xbb1f13acc0a25269),

/* box 7 */

W64LIT(0xc22b27f0f9e37bf9),

W64LIT(0x93fad23f0955ef09),

W64LIT(0x32ed4b84a22a91a2),

W64LIT(0x3898b57bcc61b1cc),

W64LIT(0x55825ba9ad98e5ad),

W64LIT(0xb2eeb8069421ec94),

W64LIT(0xc7eb5875ce3c6bce),

W64LIT(0x4b1dac5d1f45851f),

W64LIT(0xc16ba1204705d847),

W64LIT(0xc5380f461a2ba91a),

W64LIT(0xb908971a909bad90),

W64LIT(0x303e1cb7763d5376),

W64LIT(0xe6ff324c53486853),

W64LIT(0x6d1aeed261f95461),

W64LIT(0x0193d1e36af1616a),

W64LIT(0x51d1f5cff0b694f0),

W64LIT(0x29b2c3f52728e127),

W64LIT(0x112a768eeb4950eb),

W64LIT(0x8fb672f86f9f4d6f),

W64LIT(0xf0c66c745bc9ea5b),

W64LIT(0x3f8b9dcd2fa9632f),

W64LIT(0x65bc471edba5b6db),

W64LIT(0x4d9d5508967c3696),

W64LIT(0x3a4be24818767318),

W64LIT(0x2794936c144db014),

W64LIT(0x2af2452599ce4299),

W64LIT(0x4a8e7dbe75b4e475),

W64LIT(0x9ddc82a63a30be3a),

W64LIT(0xade29e114c0ded4c),

W64LIT(0xd1d2064dc6bde9c6),

W64LIT(0x7da349bfe04165e0),

W64LIT(0x6b9a1787e8c0e7e8),

W64LIT(0xa54437ddf6510ff6),

W64LIT(0x2254ece92392a023),

W64LIT(0x79f0e7d9bd6f14bd),

W64LIT(0x57510c9a798f2779),

W64LIT(0x346db2d12b13222b),

W64LIT(0x54118a4ac76984c7),

W64LIT(0xefca4a6383e5eb83),

W64LIT(0xca8d8e3c43bf9943),

W64LIT(0xfc336bdebcbb79bc),

W64LIT(0x3e184c2e45580245),

W64LIT(0xf495c21206e79b06),

W64LIT(0xff73ed0e025dda02),

W64LIT(0x4228d472cfe806cf),

W64LIT(0xbcc8e89fa744bda7),

W64LIT(0xab626744c5345ec5),

W64LIT(0xb6bd1660c90f9dc9),

W64LIT(0xb72ec783a3fefca3),

W64LIT(0x8be5dc9e32b13c32),

W64LIT(0x485d2a8da1a326a1),

W64LIT(0xc6788996a4cd0aa4),

W64LIT(0x40fb83411bffc41b),

W64LIT(0x08a6a9ccba5ce2ba),

W64LIT(0xf386eaa4e52f49e5),

W64LIT(0x1acc5992eff311ef),

W64LIT(0xa2571f6b1599dd15),

W64LIT(0x44a82d2746d1b546),

W64LIT(0x70c59ff66dc2976d),

W64LIT(0x8d6525cbbb888fbb),

W64LIT(0x963aadba3e8aff3e),

W64LIT(0x7c30985c8ab0048a),

W64LIT(0x607c389bec7aa6ec),

W64LIT(0xa822e1947bd2fd7b),

W64LIT(0x034086d0bee6a3be),

W64LIT(0x66fcc1ce65431565),

W64LIT(0xb37d69e5fed08dfe),

W64LIT(0x2f323aa0ae1152ae),

W64LIT(0x56c2dd79137e4613),

W64LIT(0x31adcd541ccc321c),

W64LIT(0xdff456d4f5d8b8f5),

W64LIT(0xf9f3145b8b64698b),

W64LIT(0x764566a3e4fb24e4),

W64LIT(0x0cf507aae77293e7),

W64LIT(0x59775c034aea764a),

W64LIT(0xb89b46f9fa6accfa),

W64LIT(0xe8d962d5602d3960),

W64LIT(0x17aa8fdb6270e362),

W64LIT(0x1c4ca0c766caa266),

W64LIT(0x2de16d937a06907a),

W64LIT(0x2547c45fc05a72c0),

W64LIT(0x0fb5817a59943059),

W64LIT(0x0680f9558939b389),

W64LIT(0x16395e3808818208),

W64LIT(0xac714ff226fc8c26),

W64LIT(0xa9b1307711239c11),

W64LIT(0xec8accb33d03483d),

W64LIT(0x6c893f310b08350b),

W64LIT(0xc4abdea570dac870),

W64LIT(0xba4811ca2e7d0e2e),

W64LIT(0xf155bd9731388b31),

W64LIT(0xdd2701e721cf7a21),

W64LIT(0xe94ab3360adc580a),

W64LIT(0x23c73d0a4963c149),

W64LIT(0x5cb723867d35667d),

W64LIT(0x5042242c9a47f59a),

W64LIT(0x198cdf425115b251),

W64LIT(0x0a75feff6e4b206e),

W64LIT(0xfda0ba3dd64a18d6),

W64LIT(0xcede205a1e91e81e),

W64LIT(0xd041d7aeac4c88ac),

W64LIT(0xe42c657f875faa87),

W64LIT(0x36bee5e2ff04e0ff),

W64LIT(0x6fc9b9e1b5ee96b5),

W64LIT(0x998f2cc0671ecf67),

W64LIT(0xd301517e12aa2b12),

W64LIT(0xaea218c1f2eb4ef2),

W64LIT(0xda342951c207a8c2),

W64LIT(0x61efe978868bc786),

W64LIT(0x7f701e8c3456a734),

W64LIT(0x0be62f1c04ba4104),

W64LIT(0x9129850cdd422ddd),

W64LIT(0xd6c12efb25753b25),

W64LIT(0xe33f4dc964977864),

W64LIT(0x1579d8e8b66721b6),

W64LIT(0xf860c5b8e19508e1),

W64LIT(0x7496319030ece630),

W64LIT(0x88a55a4e8c579f8c),

W64LIT(0xcf4df1b974608974),

W64LIT(0x10b9a76d81b83181),

W64LIT(0x0e26509933655133),

W64LIT(0x43bb0591a51967a5),

W64LIT(0x926903dc63a48e63),

W64LIT(0x9c4f534550c1df50),

W64LIT(0x3bd833ab72871272),

W64LIT(0xa4d7e63e9ca06e9c),

W64LIT(0xb46e41531d185f1d),

W64LIT(0x126af05e55aff355),

W64LIT(0x24d415bcaaab13aa),

W64LIT(0x1e9ff7f4b2dd60b2),

W64LIT(0x05c07f8537df1037),

W64LIT(0x467b7a1492c67792),

W64LIT(0x2087bbdaf78562f7),

W64LIT(0x819022615cfa1c5c),

W64LIT(0xcd9ea68aa0774ba0),

W64LIT(0xa79760ee2246cd22),

W64LIT(0x8343755288edde88),

W64LIT(0x58e48de0201b1720),

W64LIT(0x7216c8c5b9d555b9),

W64LIT(0x372d340195f58195),

W64LIT(0xa11799bbab7f7eab),

W64LIT(0x9f0fd595ee277cee),

W64LIT(0x676f102d0fb2740f),

W64LIT(0x9e9c047684d61d84),

W64LIT(0x49cefb6ecb5247cb),

W64LIT(0xd41279c8f162f9f1),

W64LIT(0x1f0c2617d82c01d8),

W64LIT(0x97a97c59547b9e54),

W64LIT(0xe76ce3af39b90939),

W64LIT(0xc3b8f61393121a93),

W64LIT(0x5ba40b309efdb49e),

W64LIT(0xea0a35e6b43afbb4),

W64LIT(0x5a37dad3f40cd5f4),

W64LIT(0x14ea090bdc9640dc),

W64LIT(0x5e6474b5a922a4a9),

W64LIT(0xfee03ced68acbb68),

W64LIT(0x071328b6e3c8d2e3),

W64LIT(0x5302a2fc24a15624),

W64LIT(0x85c38c0701d46d01),

W64LIT(0x3d58cafefbbea1fb),

W64LIT(0x84505de46b250c6b),

W64LIT(0x642f96fdb154d7b1),

W64LIT(0xbf886e4f19a21e19),

W64LIT(0x02d35733d417c2d4),

W64LIT(0x68da915756264456),

W64LIT(0x8710db34d5c3afd5),

W64LIT(0x0d66d6498d83f28d),

W64LIT(0x7b23b0ea6978d669),

W64LIT(0x1b5f887185027085),

W64LIT(0x3ccb1b1d914fc091),

W64LIT(0x0453ae665d2e715d),

W64LIT(0xcb1e5fdf294ef829),

W64LIT(0xf6469521d2f059d2),

W64LIT(0xb03def3540362e40),

W64LIT(0x633cbe4b529c0552),

W64LIT(0xf7d544c2b80138b8),

W64LIT(0x7ab061090389b703),

W64LIT(0x0000000000000000),

W64LIT(0xdba7f8b2a8f6c9a8),

W64LIT(0x35fe633241e24341),

W64LIT(0x21146a399d74039d),

W64LIT(0xd581a82b9b93989b),

W64LIT(0x0935782fd0ad83d0),

W64LIT(0x5ff7a556c3d3c5c3),

W64LIT(0xaf31c922981a2f98),

W64LIT(0x90ba54efb7b34cb7),

W64LIT(0x5291731f4e50374e),

W64LIT(0xc0f870c32df4b92d),

W64LIT(0x7ee3cf6f5ea7c65e),

W64LIT(0xe07fcb19da71dbda),

W64LIT(0x4eddd3d8289a9528),

W64LIT(0x13f921bd3f5e923f),

W64LIT(0xf50613f16c16fa6c),

W64LIT(0x981cfd230defae0d),

W64LIT(0x4c0e84ebfc8d57fc),

W64LIT(0x82d0a4b1e21cbfe2),

W64LIT(0x89368bade6a6fee6),

W64LIT(0xd292809d785b4a78),

W64LIT(0x47e8abf7f83716f8),

W64LIT(0x8e25a31b056e2c05),

W64LIT(0xd752ff184f845a4f),

W64LIT(0xcc0d7769ca862aca),

W64LIT(0x694940b43cd7253c),

W64LIT(0x2ea1eb43c4e033c4),

W64LIT(0xde6787379f29d99f),

W64LIT(0x181f0ea13be4d33b),

W64LIT(0x416852a2710ea571),

W64LIT(0x62af6fa8386d6438),

W64LIT(0xa0844858c18e1fc1),

W64LIT(0x337e9a67c8dbf0c8),

W64LIT(0x2c72bc7010f7f110),

W64LIT(0xbd5b397ccdb5dccd),

W64LIT(0xd8e77e6216106a16),

W64LIT(0x86830ad7bf32cebf),

W64LIT(0x4f4e023b426bf442),

W64LIT(0xe5bfb49cedaecbed),

W64LIT(0x8a760d7d58405d58),

W64LIT(0xe2ac9c2a0e66190e),

W64LIT(0xb5fd90b077e93e77),

W64LIT(0xdcb4d0044b3e1b4b),

W64LIT(0x453bfcc42c20d42c),

W64LIT(0xed191d5057f22957),

W64LIT(0xe1ec1afab080bab0),

W64LIT(0xee599b80e9148ae9),

W64LIT(0x2607428f7ebcd17e),

W64LIT(0x5d24f26517c40717),

W64LIT(0x6a09c66482318682),

W64LIT(0xa604b10d48b7ac48),

W64LIT(0xbe1bbfac73537f73),

W64LIT(0x282112164dd9804d),

W64LIT(0x7505e0735a1d875a),

W64LIT(0x73851926d32434d3),

W64LIT(0xd974af817ce10b7c),

W64LIT(0xeb99e405decb9ade),

W64LIT(0x9b5c7bf3b3090db3),

W64LIT(0xfab3928b3582ca35),

W64LIT(0x8003f382360b7d36),

W64LIT(0x94e9fa89ea9d3dea),

W64LIT(0xb1ae3ed62ac74f2a),

W64LIT(0x9acfaa10d9f86cd9),

W64LIT(0x390b6498a690d0a6),

W64LIT(0xf2153b478fde288f),

W64LIT(0x71564e150733f607),

W64LIT(0xa3c4ce887f68bc7f),

W64LIT(0xaaf1b6a7afc53faf),

W64LIT(0x1ddf71240c3bc30c),

W64LIT(0x77d6b7408e0a458e),

W64LIT(0x2b6194c6f33f23f3),

W64LIT(0xc9cd08ecfd593afd),

W64LIT(0xc85ed90f97a85b97),

W64LIT(0x8cf6f428d179eed1),

W64LIT(0x957a2b6a806c5c80),

W64LIT(0xbbdbc029448c6f44),

W64LIT(0x7863363ad79e75d7),

W64LIT(0x6e5a6802df1ff7df),

W64LIT(0xfb2043685f73ab5f),

};


NAMESPACE_END

W64LIT
#define W64LIT(x)
Declare an unsigned word64.
Definition: config_int.h:119

word64
unsigned long long word64
64-bit unsigned datatype
Definition: config_int.h:91

CryptoPP
Crypto++ library namespace.

pch.h
Precompiled header file.

shark.h
Classes for the SHARK block cipher.