sbox.go

package whirlpool

var C0 = [256]uint64{
    0x18186018c07830d8, 0x23238c2305af4626, 0xc6c63fc67ef991b8, 0xe8e887e8136fcdfb,
    0x878726874ca113cb, 0xb8b8dab8a9626d11, 0x0101040108050209, 0x4f4f214f426e9e0d,
    0x3636d836adee6c9b, 0xa6a6a2a6590451ff, 0xd2d26fd2debdb90c, 0xf5f5f3f5fb06f70e,
    0x7979f979ef80f296, 0x6f6fa16f5fcede30, 0x91917e91fcef3f6d, 0x52525552aa07a4f8,
    0x60609d6027fdc047, 0xbcbccabc89766535, 0x9b9b569baccd2b37, 0x8e8e028e048c018a,
    0xa3a3b6a371155bd2, 0x0c0c300c603c186c, 0x7b7bf17bff8af684, 0x3535d435b5e16a80,
    0x1d1d741de8693af5, 0xe0e0a7e05347ddb3, 0xd7d77bd7f6acb321, 0xc2c22fc25eed999c,
    0x2e2eb82e6d965c43, 0x4b4b314b627a9629, 0xfefedffea321e15d, 0x575741578216aed5,
    0x15155415a8412abd, 0x7777c1779fb6eee8, 0x3737dc37a5eb6e92, 0xe5e5b3e57b56d79e,
    0x9f9f469f8cd92313, 0xf0f0e7f0d317fd23, 0x4a4a354a6a7f9420, 0xdada4fda9e95a944,
    0x58587d58fa25b0a2, 0xc9c903c906ca8fcf, 0x2929a429558d527c, 0x0a0a280a5022145a,
    0xb1b1feb1e14f7f50, 0xa0a0baa0691a5dc9, 0x6b6bb16b7fdad614, 0x85852e855cab17d9,
    0xbdbdcebd8173673c, 0x5d5d695dd234ba8f, 0x1010401080502090, 0xf4f4f7f4f303f507,
    0xcbcb0bcb16c08bdd, 0x3e3ef83eedc67cd3, 0x0505140528110a2d, 0x676781671fe6ce78,
    0xe4e4b7e47353d597, 0x27279c2725bb4e02, 0x4141194132588273, 0x8b8b168b2c9d0ba7,
    0xa7a7a6a7510153f6, 0x7d7de97dcf94fab2, 0x95956e95dcfb3749, 0xd8d847d88e9fad56,
    0xfbfbcbfb8b30eb70, 0xeeee9fee2371c1cd, 0x7c7ced7cc791f8bb, 0x6666856617e3cc71,
    0xdddd53dda68ea77b, 0x17175c17b84b2eaf, 0x4747014702468e45, 0x9e9e429e84dc211a,
    0xcaca0fca1ec589d4, 0x2d2db42d75995a58, 0xbfbfc6bf9179632e, 0x07071c07381b0e3f,
    0xadad8ead012347ac, 0x5a5a755aea2fb4b0, 0x838336836cb51bef, 0x3333cc3385ff66b6,
    0x636391633ff2c65c, 0x02020802100a0412, 0xaaaa92aa39384993, 0x7171d971afa8e2de,
    0xc8c807c80ecf8dc6, 0x19196419c87d32d1, 0x494939497270923b, 0xd9d943d9869aaf5f,
    0xf2f2eff2c31df931, 0xe3e3abe34b48dba8, 0x5b5b715be22ab6b9, 0x88881a8834920dbc,
    0x9a9a529aa4c8293e, 0x262698262dbe4c0b, 0x3232c8328dfa64bf, 0xb0b0fab0e94a7d59,
    0xe9e983e91b6acff2, 0x0f0f3c0f78331e77, 0xd5d573d5e6a6b733, 0x80803a8074ba1df4,
    0xbebec2be997c6127, 0xcdcd13cd26de87eb, 0x3434d034bde46889, 0x48483d487a759032,
    0xffffdbffab24e354, 0x7a7af57af78ff48d, 0x90907a90f4ea3d64, 0x5f5f615fc23ebe9d,
    0x202080201da0403d, 0x6868bd6867d5d00f, 0x1a1a681ad07234ca, 0xaeae82ae192c41b7,
    0xb4b4eab4c95e757d, 0x54544d549a19a8ce, 0x93937693ece53b7f, 0x222288220daa442f,
    0x64648d6407e9c863, 0xf1f1e3f1db12ff2a, 0x7373d173bfa2e6cc, 0x12124812905a2482,
    0x40401d403a5d807a, 0x0808200840281048, 0xc3c32bc356e89b95, 0xecec97ec337bc5df,
    0xdbdb4bdb9690ab4d, 0xa1a1bea1611f5fc0, 0x8d8d0e8d1c830791, 0x3d3df43df5c97ac8,
    0x97976697ccf1335b, 0x0000000000000000, 0xcfcf1bcf36d483f9, 0x2b2bac2b4587566e,
    0x7676c57697b3ece1, 0x8282328264b019e6, 0xd6d67fd6fea9b128, 0x1b1b6c1bd87736c3,
    0xb5b5eeb5c15b7774, 0xafaf86af112943be, 0x6a6ab56a77dfd41d, 0x50505d50ba0da0ea,
    0x45450945124c8a57, 0xf3f3ebf3cb18fb38, 0x3030c0309df060ad, 0xefef9bef2b74c3c4,
    0x3f3ffc3fe5c37eda, 0x55554955921caac7, 0xa2a2b2a2791059db, 0xeaea8fea0365c9e9,
    0x656589650fecca6a, 0xbabad2bab9686903, 0x2f2fbc2f65935e4a, 0xc0c027c04ee79d8e,
    0xdede5fdebe81a160, 0x1c1c701ce06c38fc, 0xfdfdd3fdbb2ee746, 0x4d4d294d52649a1f,
    0x92927292e4e03976, 0x7575c9758fbceafa, 0x06061806301e0c36, 0x8a8a128a249809ae,
    0xb2b2f2b2f940794b, 0xe6e6bfe66359d185, 0x0e0e380e70361c7e, 0x1f1f7c1ff8633ee7,
    0x6262956237f7c455, 0xd4d477d4eea3b53a, 0xa8a89aa829324d81, 0x96966296c4f43152,
    0xf9f9c3f99b3aef62, 0xc5c533c566f697a3, 0x2525942535b14a10, 0x59597959f220b2ab,
    0x84842a8454ae15d0, 0x7272d572b7a7e4c5, 0x3939e439d5dd72ec, 0x4c4c2d4c5a619816,
    0x5e5e655eca3bbc94, 0x7878fd78e785f09f, 0x3838e038ddd870e5, 0x8c8c0a8c14860598,
    0xd1d163d1c6b2bf17, 0xa5a5aea5410b57e4, 0xe2e2afe2434dd9a1, 0x616199612ff8c24e,
    0xb3b3f6b3f1457b42, 0x2121842115a54234, 0x9c9c4a9c94d62508, 0x1e1e781ef0663cee,
    0x4343114322528661, 0xc7c73bc776fc93b1, 0xfcfcd7fcb32be54f, 0x0404100420140824,
    0x51515951b208a2e3, 0x99995e99bcc72f25, 0x6d6da96d4fc4da22, 0x0d0d340d68391a65,
    0xfafacffa8335e979, 0xdfdf5bdfb684a369, 0x7e7ee57ed79bfca9, 0x242490243db44819,
    0x3b3bec3bc5d776fe, 0xabab96ab313d4b9a, 0xcece1fce3ed181f0, 0x1111441188552299,
    0x8f8f068f0c890383, 0x4e4e254e4a6b9c04, 0xb7b7e6b7d1517366, 0xebeb8beb0b60cbe0,
    0x3c3cf03cfdcc78c1, 0x81813e817cbf1ffd, 0x94946a94d4fe3540, 0xf7f7fbf7eb0cf31c,
    0xb9b9deb9a1676f18, 0x13134c13985f268b, 0x2c2cb02c7d9c5851, 0xd3d36bd3d6b8bb05,
    0xe7e7bbe76b5cd38c, 0x6e6ea56e57cbdc39, 0xc4c437c46ef395aa, 0x03030c03180f061b,
    0x565645568a13acdc, 0x44440d441a49885e, 0x7f7fe17fdf9efea0, 0xa9a99ea921374f88,
    0x2a2aa82a4d825467, 0xbbbbd6bbb16d6b0a, 0xc1c123c146e29f87, 0x53535153a202a6f1,
    0xdcdc57dcae8ba572, 0x0b0b2c0b58271653, 0x9d9d4e9d9cd32701, 0x6c6cad6c47c1d82b,
    0x3131c43195f562a4, 0x7474cd7487b9e8f3, 0xf6f6fff6e309f115, 0x464605460a438c4c,
    0xacac8aac092645a5, 0x89891e893c970fb5, 0x14145014a04428b4, 0xe1e1a3e15b42dfba,
    0x16165816b04e2ca6, 0x3a3ae83acdd274f7, 0x6969b9696fd0d206, 0x09092409482d1241,
    0x7070dd70a7ade0d7, 0xb6b6e2b6d954716f, 0xd0d067d0ceb7bd1e, 0xeded93ed3b7ec7d6,
    0xcccc17cc2edb85e2, 0x424215422a578468, 0x98985a98b4c22d2c, 0xa4a4aaa4490e55ed,
    0x2828a0285d885075, 0x5c5c6d5cda31b886, 0xf8f8c7f8933fed6b, 0x8686228644a411c2,
}

var C1 = [256]uint64{
    0xd818186018c07830, 0x2623238c2305af46, 0xb8c6c63fc67ef991, 0xfbe8e887e8136fcd,
    0xcb878726874ca113, 0x11b8b8dab8a9626d, 0x0901010401080502, 0x0d4f4f214f426e9e,
    0x9b3636d836adee6c, 0xffa6a6a2a6590451, 0x0cd2d26fd2debdb9, 0x0ef5f5f3f5fb06f7,
    0x967979f979ef80f2, 0x306f6fa16f5fcede, 0x6d91917e91fcef3f, 0xf852525552aa07a4,
    0x4760609d6027fdc0, 0x35bcbccabc897665, 0x379b9b569baccd2b, 0x8a8e8e028e048c01,
    0xd2a3a3b6a371155b, 0x6c0c0c300c603c18, 0x847b7bf17bff8af6, 0x803535d435b5e16a,
    0xf51d1d741de8693a, 0xb3e0e0a7e05347dd, 0x21d7d77bd7f6acb3, 0x9cc2c22fc25eed99,
    0x432e2eb82e6d965c, 0x294b4b314b627a96, 0x5dfefedffea321e1, 0xd5575741578216ae,
    0xbd15155415a8412a, 0xe87777c1779fb6ee, 0x923737dc37a5eb6e, 0x9ee5e5b3e57b56d7,
    0x139f9f469f8cd923, 0x23f0f0e7f0d317fd, 0x204a4a354a6a7f94, 0x44dada4fda9e95a9,
    0xa258587d58fa25b0, 0xcfc9c903c906ca8f, 0x7c2929a429558d52, 0x5a0a0a280a502214,
    0x50b1b1feb1e14f7f, 0xc9a0a0baa0691a5d, 0x146b6bb16b7fdad6, 0xd985852e855cab17,
    0x3cbdbdcebd817367, 0x8f5d5d695dd234ba, 0x9010104010805020, 0x07f4f4f7f4f303f5,
    0xddcbcb0bcb16c08b, 0xd33e3ef83eedc67c, 0x2d0505140528110a, 0x78676781671fe6ce,
    0x97e4e4b7e47353d5, 0x0227279c2725bb4e, 0x7341411941325882, 0xa78b8b168b2c9d0b,
    0xf6a7a7a6a7510153, 0xb27d7de97dcf94fa, 0x4995956e95dcfb37, 0x56d8d847d88e9fad,
    0x70fbfbcbfb8b30eb, 0xcdeeee9fee2371c1, 0xbb7c7ced7cc791f8, 0x716666856617e3cc,
    0x7bdddd53dda68ea7, 0xaf17175c17b84b2e, 0x454747014702468e, 0x1a9e9e429e84dc21,
    0xd4caca0fca1ec589, 0x582d2db42d75995a, 0x2ebfbfc6bf917963, 0x3f07071c07381b0e,
    0xacadad8ead012347, 0xb05a5a755aea2fb4, 0xef838336836cb51b, 0xb63333cc3385ff66,
    0x5c636391633ff2c6, 0x1202020802100a04, 0x93aaaa92aa393849, 0xde7171d971afa8e2,
    0xc6c8c807c80ecf8d, 0xd119196419c87d32, 0x3b49493949727092, 0x5fd9d943d9869aaf,
    0x31f2f2eff2c31df9, 0xa8e3e3abe34b48db, 0xb95b5b715be22ab6, 0xbc88881a8834920d,
    0x3e9a9a529aa4c829, 0x0b262698262dbe4c, 0xbf3232c8328dfa64, 0x59b0b0fab0e94a7d,
    0xf2e9e983e91b6acf, 0x770f0f3c0f78331e, 0x33d5d573d5e6a6b7, 0xf480803a8074ba1d,
    0x27bebec2be997c61, 0xebcdcd13cd26de87, 0x893434d034bde468, 0x3248483d487a7590,
    0x54ffffdbffab24e3, 0x8d7a7af57af78ff4, 0x6490907a90f4ea3d, 0x9d5f5f615fc23ebe,
    0x3d202080201da040, 0x0f6868bd6867d5d0, 0xca1a1a681ad07234, 0xb7aeae82ae192c41,
    0x7db4b4eab4c95e75, 0xce54544d549a19a8, 0x7f93937693ece53b, 0x2f222288220daa44,
    0x6364648d6407e9c8, 0x2af1f1e3f1db12ff, 0xcc7373d173bfa2e6, 0x8212124812905a24,
    0x7a40401d403a5d80, 0x4808082008402810, 0x95c3c32bc356e89b, 0xdfecec97ec337bc5,
    0x4ddbdb4bdb9690ab, 0xc0a1a1bea1611f5f, 0x918d8d0e8d1c8307, 0xc83d3df43df5c97a,
    0x5b97976697ccf133, 0x0000000000000000, 0xf9cfcf1bcf36d483, 0x6e2b2bac2b458756,
    0xe17676c57697b3ec, 0xe68282328264b019, 0x28d6d67fd6fea9b1, 0xc31b1b6c1bd87736,
    0x74b5b5eeb5c15b77, 0xbeafaf86af112943, 0x1d6a6ab56a77dfd4, 0xea50505d50ba0da0,
    0x5745450945124c8a, 0x38f3f3ebf3cb18fb, 0xad3030c0309df060, 0xc4efef9bef2b74c3,
    0xda3f3ffc3fe5c37e, 0xc755554955921caa, 0xdba2a2b2a2791059, 0xe9eaea8fea0365c9,
    0x6a656589650fecca, 0x03babad2bab96869, 0x4a2f2fbc2f65935e, 0x8ec0c027c04ee79d,
    0x60dede5fdebe81a1, 0xfc1c1c701ce06c38, 0x46fdfdd3fdbb2ee7, 0x1f4d4d294d52649a,
    0x7692927292e4e039, 0xfa7575c9758fbcea, 0x3606061806301e0c, 0xae8a8a128a249809,
    0x4bb2b2f2b2f94079, 0x85e6e6bfe66359d1, 0x7e0e0e380e70361c, 0xe71f1f7c1ff8633e,
    0x556262956237f7c4, 0x3ad4d477d4eea3b5, 0x81a8a89aa829324d, 0x5296966296c4f431,
    0x62f9f9c3f99b3aef, 0xa3c5c533c566f697, 0x102525942535b14a, 0xab59597959f220b2,
    0xd084842a8454ae15, 0xc57272d572b7a7e4, 0xec3939e439d5dd72, 0x164c4c2d4c5a6198,
    0x945e5e655eca3bbc, 0x9f7878fd78e785f0, 0xe53838e038ddd870, 0x988c8c0a8c148605,
    0x17d1d163d1c6b2bf, 0xe4a5a5aea5410b57, 0xa1e2e2afe2434dd9, 0x4e616199612ff8c2,
    0x42b3b3f6b3f1457b, 0x342121842115a542, 0x089c9c4a9c94d625, 0xee1e1e781ef0663c,
    0x6143431143225286, 0xb1c7c73bc776fc93, 0x4ffcfcd7fcb32be5, 0x2404041004201408,
    0xe351515951b208a2, 0x2599995e99bcc72f, 0x226d6da96d4fc4da, 0x650d0d340d68391a,
    0x79fafacffa8335e9, 0x69dfdf5bdfb684a3, 0xa97e7ee57ed79bfc, 0x19242490243db448,
    0xfe3b3bec3bc5d776, 0x9aabab96ab313d4b, 0xf0cece1fce3ed181, 0x9911114411885522,
    0x838f8f068f0c8903, 0x044e4e254e4a6b9c, 0x66b7b7e6b7d15173, 0xe0ebeb8beb0b60cb,
    0xc13c3cf03cfdcc78, 0xfd81813e817cbf1f, 0x4094946a94d4fe35, 0x1cf7f7fbf7eb0cf3,
    0x18b9b9deb9a1676f, 0x8b13134c13985f26, 0x512c2cb02c7d9c58, 0x05d3d36bd3d6b8bb,
    0x8ce7e7bbe76b5cd3, 0x396e6ea56e57cbdc, 0xaac4c437c46ef395, 0x1b03030c03180f06,
    0xdc565645568a13ac, 0x5e44440d441a4988, 0xa07f7fe17fdf9efe, 0x88a9a99ea921374f,
    0x672a2aa82a4d8254, 0x0abbbbd6bbb16d6b, 0x87c1c123c146e29f, 0xf153535153a202a6,
    0x72dcdc57dcae8ba5, 0x530b0b2c0b582716, 0x019d9d4e9d9cd327, 0x2b6c6cad6c47c1d8,
    0xa43131c43195f562, 0xf37474cd7487b9e8, 0x15f6f6fff6e309f1, 0x4c464605460a438c,
    0xa5acac8aac092645, 0xb589891e893c970f, 0xb414145014a04428, 0xbae1e1a3e15b42df,
    0xa616165816b04e2c, 0xf73a3ae83acdd274, 0x066969b9696fd0d2, 0x4109092409482d12,
    0xd77070dd70a7ade0, 0x6fb6b6e2b6d95471, 0x1ed0d067d0ceb7bd, 0xd6eded93ed3b7ec7,
    0xe2cccc17cc2edb85, 0x68424215422a5784, 0x2c98985a98b4c22d, 0xeda4a4aaa4490e55,
    0x752828a0285d8850, 0x865c5c6d5cda31b8, 0x6bf8f8c7f8933fed, 0xc28686228644a411,
}

var C2 = [256]uint64{
    0x30d818186018c078, 0x462623238c2305af, 0x91b8c6c63fc67ef9, 0xcdfbe8e887e8136f,
    0x13cb878726874ca1, 0x6d11b8b8dab8a962, 0x0209010104010805, 0x9e0d4f4f214f426e,
    0x6c9b3636d836adee, 0x51ffa6a6a2a65904, 0xb90cd2d26fd2debd, 0xf70ef5f5f3f5fb06,
    0xf2967979f979ef80, 0xde306f6fa16f5fce, 0x3f6d91917e91fcef, 0xa4f852525552aa07,
    0xc04760609d6027fd, 0x6535bcbccabc8976, 0x2b379b9b569baccd, 0x018a8e8e028e048c,
    0x5bd2a3a3b6a37115, 0x186c0c0c300c603c, 0xf6847b7bf17bff8a, 0x6a803535d435b5e1,
    0x3af51d1d741de869, 0xddb3e0e0a7e05347, 0xb321d7d77bd7f6ac, 0x999cc2c22fc25eed,
    0x5c432e2eb82e6d96, 0x96294b4b314b627a, 0xe15dfefedffea321, 0xaed5575741578216,
    0x2abd15155415a841, 0xeee87777c1779fb6, 0x6e923737dc37a5eb, 0xd79ee5e5b3e57b56,
    0x23139f9f469f8cd9, 0xfd23f0f0e7f0d317, 0x94204a4a354a6a7f, 0xa944dada4fda9e95,
    0xb0a258587d58fa25, 0x8fcfc9c903c906ca, 0x527c2929a429558d, 0x145a0a0a280a5022,
    0x7f50b1b1feb1e14f, 0x5dc9a0a0baa0691a, 0xd6146b6bb16b7fda, 0x17d985852e855cab,
    0x673cbdbdcebd8173, 0xba8f5d5d695dd234, 0x2090101040108050, 0xf507f4f4f7f4f303,
    0x8bddcbcb0bcb16c0, 0x7cd33e3ef83eedc6, 0x0a2d050514052811, 0xce78676781671fe6,
    0xd597e4e4b7e47353, 0x4e0227279c2725bb, 0x8273414119413258, 0x0ba78b8b168b2c9d,
    0x53f6a7a7a6a75101, 0xfab27d7de97dcf94, 0x374995956e95dcfb, 0xad56d8d847d88e9f,
    0xeb70fbfbcbfb8b30, 0xc1cdeeee9fee2371, 0xf8bb7c7ced7cc791, 0xcc716666856617e3,
    0xa77bdddd53dda68e, 0x2eaf17175c17b84b, 0x8e45474701470246, 0x211a9e9e429e84dc,
    0x89d4caca0fca1ec5, 0x5a582d2db42d7599, 0x632ebfbfc6bf9179, 0x0e3f07071c07381b,
    0x47acadad8ead0123, 0xb4b05a5a755aea2f, 0x1bef838336836cb5, 0x66b63333cc3385ff,
    0xc65c636391633ff2, 0x041202020802100a, 0x4993aaaa92aa3938, 0xe2de7171d971afa8,
    0x8dc6c8c807c80ecf, 0x32d119196419c87d, 0x923b494939497270, 0xaf5fd9d943d9869a,
    0xf931f2f2eff2c31d, 0xdba8e3e3abe34b48, 0xb6b95b5b715be22a, 0x0dbc88881a883492,
    0x293e9a9a529aa4c8, 0x4c0b262698262dbe, 0x64bf3232c8328dfa, 0x7d59b0b0fab0e94a,
    0xcff2e9e983e91b6a, 0x1e770f0f3c0f7833, 0xb733d5d573d5e6a6, 0x1df480803a8074ba,
    0x6127bebec2be997c, 0x87ebcdcd13cd26de, 0x68893434d034bde4, 0x903248483d487a75,
    0xe354ffffdbffab24, 0xf48d7a7af57af78f, 0x3d6490907a90f4ea, 0xbe9d5f5f615fc23e,
    0x403d202080201da0, 0xd00f6868bd6867d5, 0x34ca1a1a681ad072, 0x41b7aeae82ae192c,
    0x757db4b4eab4c95e, 0xa8ce54544d549a19, 0x3b7f93937693ece5, 0x442f222288220daa,
    0xc86364648d6407e9, 0xff2af1f1e3f1db12, 0xe6cc7373d173bfa2, 0x248212124812905a,
    0x807a40401d403a5d, 0x1048080820084028, 0x9b95c3c32bc356e8, 0xc5dfecec97ec337b,
    0xab4ddbdb4bdb9690, 0x5fc0a1a1bea1611f, 0x07918d8d0e8d1c83, 0x7ac83d3df43df5c9,
    0x335b97976697ccf1, 0x0000000000000000, 0x83f9cfcf1bcf36d4, 0x566e2b2bac2b4587,
    0xece17676c57697b3, 0x19e68282328264b0, 0xb128d6d67fd6fea9, 0x36c31b1b6c1bd877,
    0x7774b5b5eeb5c15b, 0x43beafaf86af1129, 0xd41d6a6ab56a77df, 0xa0ea50505d50ba0d,
    0x8a5745450945124c, 0xfb38f3f3ebf3cb18, 0x60ad3030c0309df0, 0xc3c4efef9bef2b74,
    0x7eda3f3ffc3fe5c3, 0xaac755554955921c, 0x59dba2a2b2a27910, 0xc9e9eaea8fea0365,
    0xca6a656589650fec, 0x6903babad2bab968, 0x5e4a2f2fbc2f6593, 0x9d8ec0c027c04ee7,
    0xa160dede5fdebe81, 0x38fc1c1c701ce06c, 0xe746fdfdd3fdbb2e, 0x9a1f4d4d294d5264,
    0x397692927292e4e0, 0xeafa7575c9758fbc, 0x0c3606061806301e, 0x09ae8a8a128a2498,
    0x794bb2b2f2b2f940, 0xd185e6e6bfe66359, 0x1c7e0e0e380e7036, 0x3ee71f1f7c1ff863,
    0xc4556262956237f7, 0xb53ad4d477d4eea3, 0x4d81a8a89aa82932, 0x315296966296c4f4,
    0xef62f9f9c3f99b3a, 0x97a3c5c533c566f6, 0x4a102525942535b1, 0xb2ab59597959f220,
    0x15d084842a8454ae, 0xe4c57272d572b7a7, 0x72ec3939e439d5dd, 0x98164c4c2d4c5a61,
    0xbc945e5e655eca3b, 0xf09f7878fd78e785, 0x70e53838e038ddd8, 0x05988c8c0a8c1486,
    0xbf17d1d163d1c6b2, 0x57e4a5a5aea5410b, 0xd9a1e2e2afe2434d, 0xc24e616199612ff8,
    0x7b42b3b3f6b3f145, 0x42342121842115a5, 0x25089c9c4a9c94d6, 0x3cee1e1e781ef066,
    0x8661434311432252, 0x93b1c7c73bc776fc, 0xe54ffcfcd7fcb32b, 0x0824040410042014,
    0xa2e351515951b208, 0x2f2599995e99bcc7, 0xda226d6da96d4fc4, 0x1a650d0d340d6839,
    0xe979fafacffa8335, 0xa369dfdf5bdfb684, 0xfca97e7ee57ed79b, 0x4819242490243db4,
    0x76fe3b3bec3bc5d7, 0x4b9aabab96ab313d, 0x81f0cece1fce3ed1, 0x2299111144118855,
    0x03838f8f068f0c89, 0x9c044e4e254e4a6b, 0x7366b7b7e6b7d151, 0xcbe0ebeb8beb0b60,
    0x78c13c3cf03cfdcc, 0x1ffd81813e817cbf, 0x354094946a94d4fe, 0xf31cf7f7fbf7eb0c,
    0x6f18b9b9deb9a167, 0x268b13134c13985f, 0x58512c2cb02c7d9c, 0xbb05d3d36bd3d6b8,
    0xd38ce7e7bbe76b5c, 0xdc396e6ea56e57cb, 0x95aac4c437c46ef3, 0x061b03030c03180f,
    0xacdc565645568a13, 0x885e44440d441a49, 0xfea07f7fe17fdf9e, 0x4f88a9a99ea92137,
    0x54672a2aa82a4d82, 0x6b0abbbbd6bbb16d, 0x9f87c1c123c146e2, 0xa6f153535153a202,
    0xa572dcdc57dcae8b, 0x16530b0b2c0b5827, 0x27019d9d4e9d9cd3, 0xd82b6c6cad6c47c1,
    0x62a43131c43195f5, 0xe8f37474cd7487b9, 0xf115f6f6fff6e309, 0x8c4c464605460a43,
    0x45a5acac8aac0926, 0x0fb589891e893c97, 0x28b414145014a044, 0xdfbae1e1a3e15b42,
    0x2ca616165816b04e, 0x74f73a3ae83acdd2, 0xd2066969b9696fd0, 0x124109092409482d,
    0xe0d77070dd70a7ad, 0x716fb6b6e2b6d954, 0xbd1ed0d067d0ceb7, 0xc7d6eded93ed3b7e,
    0x85e2cccc17cc2edb, 0x8468424215422a57, 0x2d2c98985a98b4c2, 0x55eda4a4aaa4490e,
    0x50752828a0285d88, 0xb8865c5c6d5cda31, 0xed6bf8f8c7f8933f, 0x11c28686228644a4,
}

var C3 = [256]uint64{
    0x7830d818186018c0, 0xaf462623238c2305, 0xf991b8c6c63fc67e, 0x6fcdfbe8e887e813,
    0xa113cb878726874c, 0x626d11b8b8dab8a9, 0x0502090101040108, 0x6e9e0d4f4f214f42,
    0xee6c9b3636d836ad, 0x0451ffa6a6a2a659, 0xbdb90cd2d26fd2de, 0x06f70ef5f5f3f5fb,
    0x80f2967979f979ef, 0xcede306f6fa16f5f, 0xef3f6d91917e91fc, 0x07a4f852525552aa,
    0xfdc04760609d6027, 0x766535bcbccabc89, 0xcd2b379b9b569bac, 0x8c018a8e8e028e04,
    0x155bd2a3a3b6a371, 0x3c186c0c0c300c60, 0x8af6847b7bf17bff, 0xe16a803535d435b5,
    0x693af51d1d741de8, 0x47ddb3e0e0a7e053, 0xacb321d7d77bd7f6, 0xed999cc2c22fc25e,
    0x965c432e2eb82e6d, 0x7a96294b4b314b62, 0x21e15dfefedffea3, 0x16aed55757415782,
    0x412abd15155415a8, 0xb6eee87777c1779f, 0xeb6e923737dc37a5, 0x56d79ee5e5b3e57b,
    0xd923139f9f469f8c, 0x17fd23f0f0e7f0d3, 0x7f94204a4a354a6a, 0x95a944dada4fda9e,
    0x25b0a258587d58fa, 0xca8fcfc9c903c906, 0x8d527c2929a42955, 0x22145a0a0a280a50,
    0x4f7f50b1b1feb1e1, 0x1a5dc9a0a0baa069, 0xdad6146b6bb16b7f, 0xab17d985852e855c,
    0x73673cbdbdcebd81, 0x34ba8f5d5d695dd2, 0x5020901010401080, 0x03f507f4f4f7f4f3,
    0xc08bddcbcb0bcb16, 0xc67cd33e3ef83eed, 0x110a2d0505140528, 0xe6ce78676781671f,
    0x53d597e4e4b7e473, 0xbb4e0227279c2725, 0x5882734141194132, 0x9d0ba78b8b168b2c,
    0x0153f6a7a7a6a751, 0x94fab27d7de97dcf, 0xfb374995956e95dc, 0x9fad56d8d847d88e,
    0x30eb70fbfbcbfb8b, 0x71c1cdeeee9fee23, 0x91f8bb7c7ced7cc7, 0xe3cc716666856617,
    0x8ea77bdddd53dda6, 0x4b2eaf17175c17b8, 0x468e454747014702, 0xdc211a9e9e429e84,
    0xc589d4caca0fca1e, 0x995a582d2db42d75, 0x79632ebfbfc6bf91, 0x1b0e3f07071c0738,
    0x2347acadad8ead01, 0x2fb4b05a5a755aea, 0xb51bef838336836c, 0xff66b63333cc3385,
    0xf2c65c636391633f, 0x0a04120202080210, 0x384993aaaa92aa39, 0xa8e2de7171d971af,
    0xcf8dc6c8c807c80e, 0x7d32d119196419c8, 0x70923b4949394972, 0x9aaf5fd9d943d986,
    0x1df931f2f2eff2c3, 0x48dba8e3e3abe34b, 0x2ab6b95b5b715be2, 0x920dbc88881a8834,
    0xc8293e9a9a529aa4, 0xbe4c0b262698262d, 0xfa64bf3232c8328d, 0x4a7d59b0b0fab0e9,
    0x6acff2e9e983e91b, 0x331e770f0f3c0f78, 0xa6b733d5d573d5e6, 0xba1df480803a8074,
    0x7c6127bebec2be99, 0xde87ebcdcd13cd26, 0xe468893434d034bd, 0x75903248483d487a,
    0x24e354ffffdbffab, 0x8ff48d7a7af57af7, 0xea3d6490907a90f4, 0x3ebe9d5f5f615fc2,
    0xa0403d202080201d, 0xd5d00f6868bd6867, 0x7234ca1a1a681ad0, 0x2c41b7aeae82ae19,
    0x5e757db4b4eab4c9, 0x19a8ce54544d549a, 0xe53b7f93937693ec, 0xaa442f222288220d,
    0xe9c86364648d6407, 0x12ff2af1f1e3f1db, 0xa2e6cc7373d173bf, 0x5a24821212481290,
    0x5d807a40401d403a, 0x2810480808200840, 0xe89b95c3c32bc356, 0x7bc5dfecec97ec33,
    0x90ab4ddbdb4bdb96, 0x1f5fc0a1a1bea161, 0x8307918d8d0e8d1c, 0xc97ac83d3df43df5,
    0xf1335b97976697cc, 0x0000000000000000, 0xd483f9cfcf1bcf36, 0x87566e2b2bac2b45,
    0xb3ece17676c57697, 0xb019e68282328264, 0xa9b128d6d67fd6fe, 0x7736c31b1b6c1bd8,
    0x5b7774b5b5eeb5c1, 0x2943beafaf86af11, 0xdfd41d6a6ab56a77, 0x0da0ea50505d50ba,
    0x4c8a574545094512, 0x18fb38f3f3ebf3cb, 0xf060ad3030c0309d, 0x74c3c4efef9bef2b,
    0xc37eda3f3ffc3fe5, 0x1caac75555495592, 0x1059dba2a2b2a279, 0x65c9e9eaea8fea03,
    0xecca6a656589650f, 0x686903babad2bab9, 0x935e4a2f2fbc2f65, 0xe79d8ec0c027c04e,
    0x81a160dede5fdebe, 0x6c38fc1c1c701ce0, 0x2ee746fdfdd3fdbb, 0x649a1f4d4d294d52,
    0xe0397692927292e4, 0xbceafa7575c9758f, 0x1e0c360606180630, 0x9809ae8a8a128a24,
    0x40794bb2b2f2b2f9, 0x59d185e6e6bfe663, 0x361c7e0e0e380e70, 0x633ee71f1f7c1ff8,
    0xf7c4556262956237, 0xa3b53ad4d477d4ee, 0x324d81a8a89aa829, 0xf4315296966296c4,
    0x3aef62f9f9c3f99b, 0xf697a3c5c533c566, 0xb14a102525942535, 0x20b2ab59597959f2,
    0xae15d084842a8454, 0xa7e4c57272d572b7, 0xdd72ec3939e439d5, 0x6198164c4c2d4c5a,
    0x3bbc945e5e655eca, 0x85f09f7878fd78e7, 0xd870e53838e038dd, 0x8605988c8c0a8c14,
    0xb2bf17d1d163d1c6, 0x0b57e4a5a5aea541, 0x4dd9a1e2e2afe243, 0xf8c24e616199612f,
    0x457b42b3b3f6b3f1, 0xa542342121842115, 0xd625089c9c4a9c94, 0x663cee1e1e781ef0,
    0x5286614343114322, 0xfc93b1c7c73bc776, 0x2be54ffcfcd7fcb3, 0x1408240404100420,
    0x08a2e351515951b2, 0xc72f2599995e99bc, 0xc4da226d6da96d4f, 0x391a650d0d340d68,
    0x35e979fafacffa83, 0x84a369dfdf5bdfb6, 0x9bfca97e7ee57ed7, 0xb44819242490243d,
    0xd776fe3b3bec3bc5, 0x3d4b9aabab96ab31, 0xd181f0cece1fce3e, 0x5522991111441188,
    0x8903838f8f068f0c, 0x6b9c044e4e254e4a, 0x517366b7b7e6b7d1, 0x60cbe0ebeb8beb0b,
    0xcc78c13c3cf03cfd, 0xbf1ffd81813e817c, 0xfe354094946a94d4, 0x0cf31cf7f7fbf7eb,
    0x676f18b9b9deb9a1, 0x5f268b13134c1398, 0x9c58512c2cb02c7d, 0xb8bb05d3d36bd3d6,
    0x5cd38ce7e7bbe76b, 0xcbdc396e6ea56e57, 0xf395aac4c437c46e, 0x0f061b03030c0318,
    0x13acdc565645568a, 0x49885e44440d441a, 0x9efea07f7fe17fdf, 0x374f88a9a99ea921,
    0x8254672a2aa82a4d, 0x6d6b0abbbbd6bbb1, 0xe29f87c1c123c146, 0x02a6f153535153a2,
    0x8ba572dcdc57dcae, 0x2716530b0b2c0b58, 0xd327019d9d4e9d9c, 0xc1d82b6c6cad6c47,
    0xf562a43131c43195, 0xb9e8f37474cd7487, 0x09f115f6f6fff6e3, 0x438c4c464605460a,
    0x2645a5acac8aac09, 0x970fb589891e893c, 0x4428b414145014a0, 0x42dfbae1e1a3e15b,
    0x4e2ca616165816b0, 0xd274f73a3ae83acd, 0xd0d2066969b9696f, 0x2d12410909240948,
    0xade0d77070dd70a7, 0x54716fb6b6e2b6d9, 0xb7bd1ed0d067d0ce, 0x7ec7d6eded93ed3b,
    0xdb85e2cccc17cc2e, 0x578468424215422a, 0xc22d2c98985a98b4, 0x0e55eda4a4aaa449,
    0x8850752828a0285d, 0x31b8865c5c6d5cda, 0x3fed6bf8f8c7f893, 0xa411c28686228644,
}

var C4 = [256]uint64{
    0xc07830d818186018, 0x05af462623238c23, 0x7ef991b8c6c63fc6, 0x136fcdfbe8e887e8,
    0x4ca113cb87872687, 0xa9626d11b8b8dab8, 0x0805020901010401, 0x426e9e0d4f4f214f,
    0xadee6c9b3636d836, 0x590451ffa6a6a2a6, 0xdebdb90cd2d26fd2, 0xfb06f70ef5f5f3f5,
    0xef80f2967979f979, 0x5fcede306f6fa16f, 0xfcef3f6d91917e91, 0xaa07a4f852525552,
    0x27fdc04760609d60, 0x89766535bcbccabc, 0xaccd2b379b9b569b, 0x048c018a8e8e028e,
    0x71155bd2a3a3b6a3, 0x603c186c0c0c300c, 0xff8af6847b7bf17b, 0xb5e16a803535d435,
    0xe8693af51d1d741d, 0x5347ddb3e0e0a7e0, 0xf6acb321d7d77bd7, 0x5eed999cc2c22fc2,
    0x6d965c432e2eb82e, 0x627a96294b4b314b, 0xa321e15dfefedffe, 0x8216aed557574157,
    0xa8412abd15155415, 0x9fb6eee87777c177, 0xa5eb6e923737dc37, 0x7b56d79ee5e5b3e5,
    0x8cd923139f9f469f, 0xd317fd23f0f0e7f0, 0x6a7f94204a4a354a, 0x9e95a944dada4fda,
    0xfa25b0a258587d58, 0x06ca8fcfc9c903c9, 0x558d527c2929a429, 0x5022145a0a0a280a,
    0xe14f7f50b1b1feb1, 0x691a5dc9a0a0baa0, 0x7fdad6146b6bb16b, 0x5cab17d985852e85,
    0x8173673cbdbdcebd, 0xd234ba8f5d5d695d, 0x8050209010104010, 0xf303f507f4f4f7f4,
    0x16c08bddcbcb0bcb, 0xedc67cd33e3ef83e, 0x28110a2d05051405, 0x1fe6ce7867678167,
    0x7353d597e4e4b7e4, 0x25bb4e0227279c27, 0x3258827341411941, 0x2c9d0ba78b8b168b,
    0x510153f6a7a7a6a7, 0xcf94fab27d7de97d, 0xdcfb374995956e95, 0x8e9fad56d8d847d8,
    0x8b30eb70fbfbcbfb, 0x2371c1cdeeee9fee, 0xc791f8bb7c7ced7c, 0x17e3cc7166668566,
    0xa68ea77bdddd53dd, 0xb84b2eaf17175c17, 0x02468e4547470147, 0x84dc211a9e9e429e,
    0x1ec589d4caca0fca, 0x75995a582d2db42d, 0x9179632ebfbfc6bf, 0x381b0e3f07071c07,
    0x012347acadad8ead, 0xea2fb4b05a5a755a, 0x6cb51bef83833683, 0x85ff66b63333cc33,
    0x3ff2c65c63639163, 0x100a041202020802, 0x39384993aaaa92aa, 0xafa8e2de7171d971,
    0x0ecf8dc6c8c807c8, 0xc87d32d119196419, 0x7270923b49493949, 0x869aaf5fd9d943d9,
    0xc31df931f2f2eff2, 0x4b48dba8e3e3abe3, 0xe22ab6b95b5b715b, 0x34920dbc88881a88,
    0xa4c8293e9a9a529a, 0x2dbe4c0b26269826, 0x8dfa64bf3232c832, 0xe94a7d59b0b0fab0,
    0x1b6acff2e9e983e9, 0x78331e770f0f3c0f, 0xe6a6b733d5d573d5, 0x74ba1df480803a80,
    0x997c6127bebec2be, 0x26de87ebcdcd13cd, 0xbde468893434d034, 0x7a75903248483d48,
    0xab24e354ffffdbff, 0xf78ff48d7a7af57a, 0xf4ea3d6490907a90, 0xc23ebe9d5f5f615f,
    0x1da0403d20208020, 0x67d5d00f6868bd68, 0xd07234ca1a1a681a, 0x192c41b7aeae82ae,
    0xc95e757db4b4eab4, 0x9a19a8ce54544d54, 0xece53b7f93937693, 0x0daa442f22228822,
    0x07e9c86364648d64, 0xdb12ff2af1f1e3f1, 0xbfa2e6cc7373d173, 0x905a248212124812,
    0x3a5d807a40401d40, 0x4028104808082008, 0x56e89b95c3c32bc3, 0x337bc5dfecec97ec,
    0x9690ab4ddbdb4bdb, 0x611f5fc0a1a1bea1, 0x1c8307918d8d0e8d, 0xf5c97ac83d3df43d,
    0xccf1335b97976697, 0x0000000000000000, 0x36d483f9cfcf1bcf, 0x4587566e2b2bac2b,
    0x97b3ece17676c576, 0x64b019e682823282, 0xfea9b128d6d67fd6, 0xd87736c31b1b6c1b,
    0xc15b7774b5b5eeb5, 0x112943beafaf86af, 0x77dfd41d6a6ab56a, 0xba0da0ea50505d50,
    0x124c8a5745450945, 0xcb18fb38f3f3ebf3, 0x9df060ad3030c030, 0x2b74c3c4efef9bef,
    0xe5c37eda3f3ffc3f, 0x921caac755554955, 0x791059dba2a2b2a2, 0x0365c9e9eaea8fea,
    0x0fecca6a65658965, 0xb9686903babad2ba, 0x65935e4a2f2fbc2f, 0x4ee79d8ec0c027c0,
    0xbe81a160dede5fde, 0xe06c38fc1c1c701c, 0xbb2ee746fdfdd3fd, 0x52649a1f4d4d294d,
    0xe4e0397692927292, 0x8fbceafa7575c975, 0x301e0c3606061806, 0x249809ae8a8a128a,
    0xf940794bb2b2f2b2, 0x6359d185e6e6bfe6, 0x70361c7e0e0e380e, 0xf8633ee71f1f7c1f,
    0x37f7c45562629562, 0xeea3b53ad4d477d4, 0x29324d81a8a89aa8, 0xc4f4315296966296,
    0x9b3aef62f9f9c3f9, 0x66f697a3c5c533c5, 0x35b14a1025259425, 0xf220b2ab59597959,
    0x54ae15d084842a84, 0xb7a7e4c57272d572, 0xd5dd72ec3939e439, 0x5a6198164c4c2d4c,
    0xca3bbc945e5e655e, 0xe785f09f7878fd78, 0xddd870e53838e038, 0x148605988c8c0a8c,
    0xc6b2bf17d1d163d1, 0x410b57e4a5a5aea5, 0x434dd9a1e2e2afe2, 0x2ff8c24e61619961,
    0xf1457b42b3b3f6b3, 0x15a5423421218421, 0x94d625089c9c4a9c, 0xf0663cee1e1e781e,
    0x2252866143431143, 0x76fc93b1c7c73bc7, 0xb32be54ffcfcd7fc, 0x2014082404041004,
    0xb208a2e351515951, 0xbcc72f2599995e99, 0x4fc4da226d6da96d, 0x68391a650d0d340d,
    0x8335e979fafacffa, 0xb684a369dfdf5bdf, 0xd79bfca97e7ee57e, 0x3db4481924249024,
    0xc5d776fe3b3bec3b, 0x313d4b9aabab96ab, 0x3ed181f0cece1fce, 0x8855229911114411,
    0x0c8903838f8f068f, 0x4a6b9c044e4e254e, 0xd1517366b7b7e6b7, 0x0b60cbe0ebeb8beb,
    0xfdcc78c13c3cf03c, 0x7cbf1ffd81813e81, 0xd4fe354094946a94, 0xeb0cf31cf7f7fbf7,
    0xa1676f18b9b9deb9, 0x985f268b13134c13, 0x7d9c58512c2cb02c, 0xd6b8bb05d3d36bd3,
    0x6b5cd38ce7e7bbe7, 0x57cbdc396e6ea56e, 0x6ef395aac4c437c4, 0x180f061b03030c03,
    0x8a13acdc56564556, 0x1a49885e44440d44, 0xdf9efea07f7fe17f, 0x21374f88a9a99ea9,
    0x4d8254672a2aa82a, 0xb16d6b0abbbbd6bb, 0x46e29f87c1c123c1, 0xa202a6f153535153,
    0xae8ba572dcdc57dc, 0x582716530b0b2c0b, 0x9cd327019d9d4e9d, 0x47c1d82b6c6cad6c,
    0x95f562a43131c431, 0x87b9e8f37474cd74, 0xe309f115f6f6fff6, 0x0a438c4c46460546,
    0x092645a5acac8aac, 0x3c970fb589891e89, 0xa04428b414145014, 0x5b42dfbae1e1a3e1,
    0xb04e2ca616165816, 0xcdd274f73a3ae83a, 0x6fd0d2066969b969, 0x482d124109092409,
    0xa7ade0d77070dd70, 0xd954716fb6b6e2b6, 0xceb7bd1ed0d067d0, 0x3b7ec7d6eded93ed,
    0x2edb85e2cccc17cc, 0x2a57846842421542, 0xb4c22d2c98985a98, 0x490e55eda4a4aaa4,
    0x5d8850752828a028, 0xda31b8865c5c6d5c, 0x933fed6bf8f8c7f8, 0x44a411c286862286,
}

var C5 = [256]uint64{
    0x18c07830d8181860, 0x2305af462623238c, 0xc67ef991b8c6c63f, 0xe8136fcdfbe8e887,
    0x874ca113cb878726, 0xb8a9626d11b8b8da, 0x0108050209010104, 0x4f426e9e0d4f4f21,
    0x36adee6c9b3636d8, 0xa6590451ffa6a6a2, 0xd2debdb90cd2d26f, 0xf5fb06f70ef5f5f3,
    0x79ef80f2967979f9, 0x6f5fcede306f6fa1, 0x91fcef3f6d91917e, 0x52aa07a4f8525255,
    0x6027fdc04760609d, 0xbc89766535bcbcca, 0x9baccd2b379b9b56, 0x8e048c018a8e8e02,
    0xa371155bd2a3a3b6, 0x0c603c186c0c0c30, 0x7bff8af6847b7bf1, 0x35b5e16a803535d4,
    0x1de8693af51d1d74, 0xe05347ddb3e0e0a7, 0xd7f6acb321d7d77b, 0xc25eed999cc2c22f,
    0x2e6d965c432e2eb8, 0x4b627a96294b4b31, 0xfea321e15dfefedf, 0x578216aed5575741,
    0x15a8412abd151554, 0x779fb6eee87777c1, 0x37a5eb6e923737dc, 0xe57b56d79ee5e5b3,
    0x9f8cd923139f9f46, 0xf0d317fd23f0f0e7, 0x4a6a7f94204a4a35, 0xda9e95a944dada4f,
    0x58fa25b0a258587d, 0xc906ca8fcfc9c903, 0x29558d527c2929a4, 0x0a5022145a0a0a28,
    0xb1e14f7f50b1b1fe, 0xa0691a5dc9a0a0ba, 0x6b7fdad6146b6bb1, 0x855cab17d985852e,
    0xbd8173673cbdbdce, 0x5dd234ba8f5d5d69, 0x1080502090101040, 0xf4f303f507f4f4f7,
    0xcb16c08bddcbcb0b, 0x3eedc67cd33e3ef8, 0x0528110a2d050514, 0x671fe6ce78676781,
    0xe47353d597e4e4b7, 0x2725bb4e0227279c, 0x4132588273414119, 0x8b2c9d0ba78b8b16,
    0xa7510153f6a7a7a6, 0x7dcf94fab27d7de9, 0x95dcfb374995956e, 0xd88e9fad56d8d847,
    0xfb8b30eb70fbfbcb, 0xee2371c1cdeeee9f, 0x7cc791f8bb7c7ced, 0x6617e3cc71666685,
    0xdda68ea77bdddd53, 0x17b84b2eaf17175c, 0x4702468e45474701, 0x9e84dc211a9e9e42,
    0xca1ec589d4caca0f, 0x2d75995a582d2db4, 0xbf9179632ebfbfc6, 0x07381b0e3f07071c,
    0xad012347acadad8e, 0x5aea2fb4b05a5a75, 0x836cb51bef838336, 0x3385ff66b63333cc,
    0x633ff2c65c636391, 0x02100a0412020208, 0xaa39384993aaaa92, 0x71afa8e2de7171d9,
    0xc80ecf8dc6c8c807, 0x19c87d32d1191964, 0x497270923b494939, 0xd9869aaf5fd9d943,
    0xf2c31df931f2f2ef, 0xe34b48dba8e3e3ab, 0x5be22ab6b95b5b71, 0x8834920dbc88881a,
    0x9aa4c8293e9a9a52, 0x262dbe4c0b262698, 0x328dfa64bf3232c8, 0xb0e94a7d59b0b0fa,
    0xe91b6acff2e9e983, 0x0f78331e770f0f3c, 0xd5e6a6b733d5d573, 0x8074ba1df480803a,
    0xbe997c6127bebec2, 0xcd26de87ebcdcd13, 0x34bde468893434d0, 0x487a75903248483d,
    0xffab24e354ffffdb, 0x7af78ff48d7a7af5, 0x90f4ea3d6490907a, 0x5fc23ebe9d5f5f61,
    0x201da0403d202080, 0x6867d5d00f6868bd, 0x1ad07234ca1a1a68, 0xae192c41b7aeae82,
    0xb4c95e757db4b4ea, 0x549a19a8ce54544d, 0x93ece53b7f939376, 0x220daa442f222288,
    0x6407e9c86364648d, 0xf1db12ff2af1f1e3, 0x73bfa2e6cc7373d1, 0x12905a2482121248,
    0x403a5d807a40401d, 0x0840281048080820, 0xc356e89b95c3c32b, 0xec337bc5dfecec97,
    0xdb9690ab4ddbdb4b, 0xa1611f5fc0a1a1be, 0x8d1c8307918d8d0e, 0x3df5c97ac83d3df4,
    0x97ccf1335b979766, 0x0000000000000000, 0xcf36d483f9cfcf1b, 0x2b4587566e2b2bac,
    0x7697b3ece17676c5, 0x8264b019e6828232, 0xd6fea9b128d6d67f, 0x1bd87736c31b1b6c,
    0xb5c15b7774b5b5ee, 0xaf112943beafaf86, 0x6a77dfd41d6a6ab5, 0x50ba0da0ea50505d,
    0x45124c8a57454509, 0xf3cb18fb38f3f3eb, 0x309df060ad3030c0, 0xef2b74c3c4efef9b,
    0x3fe5c37eda3f3ffc, 0x55921caac7555549, 0xa2791059dba2a2b2, 0xea0365c9e9eaea8f,
    0x650fecca6a656589, 0xbab9686903babad2, 0x2f65935e4a2f2fbc, 0xc04ee79d8ec0c027,
    0xdebe81a160dede5f, 0x1ce06c38fc1c1c70, 0xfdbb2ee746fdfdd3, 0x4d52649a1f4d4d29,
    0x92e4e03976929272, 0x758fbceafa7575c9, 0x06301e0c36060618, 0x8a249809ae8a8a12,
    0xb2f940794bb2b2f2, 0xe66359d185e6e6bf, 0x0e70361c7e0e0e38, 0x1ff8633ee71f1f7c,
    0x6237f7c455626295, 0xd4eea3b53ad4d477, 0xa829324d81a8a89a, 0x96c4f43152969662,
    0xf99b3aef62f9f9c3, 0xc566f697a3c5c533, 0x2535b14a10252594, 0x59f220b2ab595979,
    0x8454ae15d084842a, 0x72b7a7e4c57272d5, 0x39d5dd72ec3939e4, 0x4c5a6198164c4c2d,
    0x5eca3bbc945e5e65, 0x78e785f09f7878fd, 0x38ddd870e53838e0, 0x8c148605988c8c0a,
    0xd1c6b2bf17d1d163, 0xa5410b57e4a5a5ae, 0xe2434dd9a1e2e2af, 0x612ff8c24e616199,
    0xb3f1457b42b3b3f6, 0x2115a54234212184, 0x9c94d625089c9c4a, 0x1ef0663cee1e1e78,
    0x4322528661434311, 0xc776fc93b1c7c73b, 0xfcb32be54ffcfcd7, 0x0420140824040410,
    0x51b208a2e3515159, 0x99bcc72f2599995e, 0x6d4fc4da226d6da9, 0x0d68391a650d0d34,
    0xfa8335e979fafacf, 0xdfb684a369dfdf5b, 0x7ed79bfca97e7ee5, 0x243db44819242490,
    0x3bc5d776fe3b3bec, 0xab313d4b9aabab96, 0xce3ed181f0cece1f, 0x1188552299111144,
    0x8f0c8903838f8f06, 0x4e4a6b9c044e4e25, 0xb7d1517366b7b7e6, 0xeb0b60cbe0ebeb8b,
    0x3cfdcc78c13c3cf0, 0x817cbf1ffd81813e, 0x94d4fe354094946a, 0xf7eb0cf31cf7f7fb,
    0xb9a1676f18b9b9de, 0x13985f268b13134c, 0x2c7d9c58512c2cb0, 0xd3d6b8bb05d3d36b,
    0xe76b5cd38ce7e7bb, 0x6e57cbdc396e6ea5, 0xc46ef395aac4c437, 0x03180f061b03030c,
    0x568a13acdc565645, 0x441a49885e44440d, 0x7fdf9efea07f7fe1, 0xa921374f88a9a99e,
    0x2a4d8254672a2aa8, 0xbbb16d6b0abbbbd6, 0xc146e29f87c1c123, 0x53a202a6f1535351,
    0xdcae8ba572dcdc57, 0x0b582716530b0b2c, 0x9d9cd327019d9d4e, 0x6c47c1d82b6c6cad,
    0x3195f562a43131c4, 0x7487b9e8f37474cd, 0xf6e309f115f6f6ff, 0x460a438c4c464605,
    0xac092645a5acac8a, 0x893c970fb589891e, 0x14a04428b4141450, 0xe15b42dfbae1e1a3,
    0x16b04e2ca6161658, 0x3acdd274f73a3ae8, 0x696fd0d2066969b9, 0x09482d1241090924,
    0x70a7ade0d77070dd, 0xb6d954716fb6b6e2, 0xd0ceb7bd1ed0d067, 0xed3b7ec7d6eded93,
    0xcc2edb85e2cccc17, 0x422a578468424215, 0x98b4c22d2c98985a, 0xa4490e55eda4a4aa,
    0x285d8850752828a0, 0x5cda31b8865c5c6d, 0xf8933fed6bf8f8c7, 0x8644a411c2868622,
}

var C6 = [256]uint64{
    0x6018c07830d81818, 0x8c2305af46262323, 0x3fc67ef991b8c6c6, 0x87e8136fcdfbe8e8,
    0x26874ca113cb8787, 0xdab8a9626d11b8b8, 0x0401080502090101, 0x214f426e9e0d4f4f,
    0xd836adee6c9b3636, 0xa2a6590451ffa6a6, 0x6fd2debdb90cd2d2, 0xf3f5fb06f70ef5f5,
    0xf979ef80f2967979, 0xa16f5fcede306f6f, 0x7e91fcef3f6d9191, 0x5552aa07a4f85252,
    0x9d6027fdc0476060, 0xcabc89766535bcbc, 0x569baccd2b379b9b, 0x028e048c018a8e8e,
    0xb6a371155bd2a3a3, 0x300c603c186c0c0c, 0xf17bff8af6847b7b, 0xd435b5e16a803535,
    0x741de8693af51d1d, 0xa7e05347ddb3e0e0, 0x7bd7f6acb321d7d7, 0x2fc25eed999cc2c2,
    0xb82e6d965c432e2e, 0x314b627a96294b4b, 0xdffea321e15dfefe, 0x41578216aed55757,
    0x5415a8412abd1515, 0xc1779fb6eee87777, 0xdc37a5eb6e923737, 0xb3e57b56d79ee5e5,
    0x469f8cd923139f9f, 0xe7f0d317fd23f0f0, 0x354a6a7f94204a4a, 0x4fda9e95a944dada,
    0x7d58fa25b0a25858, 0x03c906ca8fcfc9c9, 0xa429558d527c2929, 0x280a5022145a0a0a,
    0xfeb1e14f7f50b1b1, 0xbaa0691a5dc9a0a0, 0xb16b7fdad6146b6b, 0x2e855cab17d98585,
    0xcebd8173673cbdbd, 0x695dd234ba8f5d5d, 0x4010805020901010, 0xf7f4f303f507f4f4,
    0x0bcb16c08bddcbcb, 0xf83eedc67cd33e3e, 0x140528110a2d0505, 0x81671fe6ce786767,
    0xb7e47353d597e4e4, 0x9c2725bb4e022727, 0x1941325882734141, 0x168b2c9d0ba78b8b,
    0xa6a7510153f6a7a7, 0xe97dcf94fab27d7d, 0x6e95dcfb37499595, 0x47d88e9fad56d8d8,
    0xcbfb8b30eb70fbfb, 0x9fee2371c1cdeeee, 0xed7cc791f8bb7c7c, 0x856617e3cc716666,
    0x53dda68ea77bdddd, 0x5c17b84b2eaf1717, 0x014702468e454747, 0x429e84dc211a9e9e,
    0x0fca1ec589d4caca, 0xb42d75995a582d2d, 0xc6bf9179632ebfbf, 0x1c07381b0e3f0707,
    0x8ead012347acadad, 0x755aea2fb4b05a5a, 0x36836cb51bef8383, 0xcc3385ff66b63333,
    0x91633ff2c65c6363, 0x0802100a04120202, 0x92aa39384993aaaa, 0xd971afa8e2de7171,
    0x07c80ecf8dc6c8c8, 0x6419c87d32d11919, 0x39497270923b4949, 0x43d9869aaf5fd9d9,
    0xeff2c31df931f2f2, 0xabe34b48dba8e3e3, 0x715be22ab6b95b5b, 0x1a8834920dbc8888,
    0x529aa4c8293e9a9a, 0x98262dbe4c0b2626, 0xc8328dfa64bf3232, 0xfab0e94a7d59b0b0,
    0x83e91b6acff2e9e9, 0x3c0f78331e770f0f, 0x73d5e6a6b733d5d5, 0x3a8074ba1df48080,
    0xc2be997c6127bebe, 0x13cd26de87ebcdcd, 0xd034bde468893434, 0x3d487a7590324848,
    0xdbffab24e354ffff, 0xf57af78ff48d7a7a, 0x7a90f4ea3d649090, 0x615fc23ebe9d5f5f,
    0x80201da0403d2020, 0xbd6867d5d00f6868, 0x681ad07234ca1a1a, 0x82ae192c41b7aeae,
    0xeab4c95e757db4b4, 0x4d549a19a8ce5454, 0x7693ece53b7f9393, 0x88220daa442f2222,
    0x8d6407e9c8636464, 0xe3f1db12ff2af1f1, 0xd173bfa2e6cc7373, 0x4812905a24821212,
    0x1d403a5d807a4040, 0x2008402810480808, 0x2bc356e89b95c3c3, 0x97ec337bc5dfecec,
    0x4bdb9690ab4ddbdb, 0xbea1611f5fc0a1a1, 0x0e8d1c8307918d8d, 0xf43df5c97ac83d3d,
    0x6697ccf1335b9797, 0x0000000000000000, 0x1bcf36d483f9cfcf, 0xac2b4587566e2b2b,
    0xc57697b3ece17676, 0x328264b019e68282, 0x7fd6fea9b128d6d6, 0x6c1bd87736c31b1b,
    0xeeb5c15b7774b5b5, 0x86af112943beafaf, 0xb56a77dfd41d6a6a, 0x5d50ba0da0ea5050,
    0x0945124c8a574545, 0xebf3cb18fb38f3f3, 0xc0309df060ad3030, 0x9bef2b74c3c4efef,
    0xfc3fe5c37eda3f3f, 0x4955921caac75555, 0xb2a2791059dba2a2, 0x8fea0365c9e9eaea,
    0x89650fecca6a6565, 0xd2bab9686903baba, 0xbc2f65935e4a2f2f, 0x27c04ee79d8ec0c0,
    0x5fdebe81a160dede, 0x701ce06c38fc1c1c, 0xd3fdbb2ee746fdfd, 0x294d52649a1f4d4d,
    0x7292e4e039769292, 0xc9758fbceafa7575, 0x1806301e0c360606, 0x128a249809ae8a8a,
    0xf2b2f940794bb2b2, 0xbfe66359d185e6e6, 0x380e70361c7e0e0e, 0x7c1ff8633ee71f1f,
    0x956237f7c4556262, 0x77d4eea3b53ad4d4, 0x9aa829324d81a8a8, 0x6296c4f431529696,
    0xc3f99b3aef62f9f9, 0x33c566f697a3c5c5, 0x942535b14a102525, 0x7959f220b2ab5959,
    0x2a8454ae15d08484, 0xd572b7a7e4c57272, 0xe439d5dd72ec3939, 0x2d4c5a6198164c4c,
    0x655eca3bbc945e5e, 0xfd78e785f09f7878, 0xe038ddd870e53838, 0x0a8c148605988c8c,
    0x63d1c6b2bf17d1d1, 0xaea5410b57e4a5a5, 0xafe2434dd9a1e2e2, 0x99612ff8c24e6161,
    0xf6b3f1457b42b3b3, 0x842115a542342121, 0x4a9c94d625089c9c, 0x781ef0663cee1e1e,
    0x1143225286614343, 0x3bc776fc93b1c7c7, 0xd7fcb32be54ffcfc, 0x1004201408240404,
    0x5951b208a2e35151, 0x5e99bcc72f259999, 0xa96d4fc4da226d6d, 0x340d68391a650d0d,
    0xcffa8335e979fafa, 0x5bdfb684a369dfdf, 0xe57ed79bfca97e7e, 0x90243db448192424,
    0xec3bc5d776fe3b3b, 0x96ab313d4b9aabab, 0x1fce3ed181f0cece, 0x4411885522991111,
    0x068f0c8903838f8f, 0x254e4a6b9c044e4e, 0xe6b7d1517366b7b7, 0x8beb0b60cbe0ebeb,
    0xf03cfdcc78c13c3c, 0x3e817cbf1ffd8181, 0x6a94d4fe35409494, 0xfbf7eb0cf31cf7f7,
    0xdeb9a1676f18b9b9, 0x4c13985f268b1313, 0xb02c7d9c58512c2c, 0x6bd3d6b8bb05d3d3,
    0xbbe76b5cd38ce7e7, 0xa56e57cbdc396e6e, 0x37c46ef395aac4c4, 0x0c03180f061b0303,
    0x45568a13acdc5656, 0x0d441a49885e4444, 0xe17fdf9efea07f7f, 0x9ea921374f88a9a9,
    0xa82a4d8254672a2a, 0xd6bbb16d6b0abbbb, 0x23c146e29f87c1c1, 0x5153a202a6f15353,
    0x57dcae8ba572dcdc, 0x2c0b582716530b0b, 0x4e9d9cd327019d9d, 0xad6c47c1d82b6c6c,
    0xc43195f562a43131, 0xcd7487b9e8f37474, 0xfff6e309f115f6f6, 0x05460a438c4c4646,
    0x8aac092645a5acac, 0x1e893c970fb58989, 0x5014a04428b41414, 0xa3e15b42dfbae1e1,
    0x5816b04e2ca61616, 0xe83acdd274f73a3a, 0xb9696fd0d2066969, 0x2409482d12410909,
    0xdd70a7ade0d77070, 0xe2b6d954716fb6b6, 0x67d0ceb7bd1ed0d0, 0x93ed3b7ec7d6eded,
    0x17cc2edb85e2cccc, 0x15422a5784684242, 0x5a98b4c22d2c9898, 0xaaa4490e55eda4a4,
    0xa0285d8850752828, 0x6d5cda31b8865c5c, 0xc7f8933fed6bf8f8, 0x228644a411c28686,
}

var C7 = [256]uint64{
    0x186018c07830d818, 0x238c2305af462623, 0xc63fc67ef991b8c6, 0xe887e8136fcdfbe8,
    0x8726874ca113cb87, 0xb8dab8a9626d11b8, 0x0104010805020901, 0x4f214f426e9e0d4f,
    0x36d836adee6c9b36, 0xa6a2a6590451ffa6, 0xd26fd2debdb90cd2, 0xf5f3f5fb06f70ef5,
    0x79f979ef80f29679, 0x6fa16f5fcede306f, 0x917e91fcef3f6d91, 0x525552aa07a4f852,
    0x609d6027fdc04760, 0xbccabc89766535bc, 0x9b569baccd2b379b, 0x8e028e048c018a8e,
    0xa3b6a371155bd2a3, 0x0c300c603c186c0c, 0x7bf17bff8af6847b, 0x35d435b5e16a8035,
    0x1d741de8693af51d, 0xe0a7e05347ddb3e0, 0xd77bd7f6acb321d7, 0xc22fc25eed999cc2,
    0x2eb82e6d965c432e, 0x4b314b627a96294b, 0xfedffea321e15dfe, 0x5741578216aed557,
    0x155415a8412abd15, 0x77c1779fb6eee877, 0x37dc37a5eb6e9237, 0xe5b3e57b56d79ee5,
    0x9f469f8cd923139f, 0xf0e7f0d317fd23f0, 0x4a354a6a7f94204a, 0xda4fda9e95a944da,
    0x587d58fa25b0a258, 0xc903c906ca8fcfc9, 0x29a429558d527c29, 0x0a280a5022145a0a,
    0xb1feb1e14f7f50b1, 0xa0baa0691a5dc9a0, 0x6bb16b7fdad6146b, 0x852e855cab17d985,
    0xbdcebd8173673cbd, 0x5d695dd234ba8f5d, 0x1040108050209010, 0xf4f7f4f303f507f4,
    0xcb0bcb16c08bddcb, 0x3ef83eedc67cd33e, 0x05140528110a2d05, 0x6781671fe6ce7867,
    0xe4b7e47353d597e4, 0x279c2725bb4e0227, 0x4119413258827341, 0x8b168b2c9d0ba78b,
    0xa7a6a7510153f6a7, 0x7de97dcf94fab27d, 0x956e95dcfb374995, 0xd847d88e9fad56d8,
    0xfbcbfb8b30eb70fb, 0xee9fee2371c1cdee, 0x7ced7cc791f8bb7c, 0x66856617e3cc7166,
    0xdd53dda68ea77bdd, 0x175c17b84b2eaf17, 0x47014702468e4547, 0x9e429e84dc211a9e,
    0xca0fca1ec589d4ca, 0x2db42d75995a582d, 0xbfc6bf9179632ebf, 0x071c07381b0e3f07,
    0xad8ead012347acad, 0x5a755aea2fb4b05a, 0x8336836cb51bef83, 0x33cc3385ff66b633,
    0x6391633ff2c65c63, 0x020802100a041202, 0xaa92aa39384993aa, 0x71d971afa8e2de71,
    0xc807c80ecf8dc6c8, 0x196419c87d32d119, 0x4939497270923b49, 0xd943d9869aaf5fd9,
    0xf2eff2c31df931f2, 0xe3abe34b48dba8e3, 0x5b715be22ab6b95b, 0x881a8834920dbc88,
    0x9a529aa4c8293e9a, 0x2698262dbe4c0b26, 0x32c8328dfa64bf32, 0xb0fab0e94a7d59b0,
    0xe983e91b6acff2e9, 0x0f3c0f78331e770f, 0xd573d5e6a6b733d5, 0x803a8074ba1df480,
    0xbec2be997c6127be, 0xcd13cd26de87ebcd, 0x34d034bde4688934, 0x483d487a75903248,
    0xffdbffab24e354ff, 0x7af57af78ff48d7a, 0x907a90f4ea3d6490, 0x5f615fc23ebe9d5f,
    0x2080201da0403d20, 0x68bd6867d5d00f68, 0x1a681ad07234ca1a, 0xae82ae192c41b7ae,
    0xb4eab4c95e757db4, 0x544d549a19a8ce54, 0x937693ece53b7f93, 0x2288220daa442f22,
    0x648d6407e9c86364, 0xf1e3f1db12ff2af1, 0x73d173bfa2e6cc73, 0x124812905a248212,
    0x401d403a5d807a40, 0x0820084028104808, 0xc32bc356e89b95c3, 0xec97ec337bc5dfec,
    0xdb4bdb9690ab4ddb, 0xa1bea1611f5fc0a1, 0x8d0e8d1c8307918d, 0x3df43df5c97ac83d,
    0x976697ccf1335b97, 0x0000000000000000, 0xcf1bcf36d483f9cf, 0x2bac2b4587566e2b,
    0x76c57697b3ece176, 0x82328264b019e682, 0xd67fd6fea9b128d6, 0x1b6c1bd87736c31b,
    0xb5eeb5c15b7774b5, 0xaf86af112943beaf, 0x6ab56a77dfd41d6a, 0x505d50ba0da0ea50,
    0x450945124c8a5745, 0xf3ebf3cb18fb38f3, 0x30c0309df060ad30, 0xef9bef2b74c3c4ef,
    0x3ffc3fe5c37eda3f, 0x554955921caac755, 0xa2b2a2791059dba2, 0xea8fea0365c9e9ea,
    0x6589650fecca6a65, 0xbad2bab9686903ba, 0x2fbc2f65935e4a2f, 0xc027c04ee79d8ec0,
    0xde5fdebe81a160de, 0x1c701ce06c38fc1c, 0xfdd3fdbb2ee746fd, 0x4d294d52649a1f4d,
    0x927292e4e0397692, 0x75c9758fbceafa75, 0x061806301e0c3606, 0x8a128a249809ae8a,
    0xb2f2b2f940794bb2, 0xe6bfe66359d185e6, 0x0e380e70361c7e0e, 0x1f7c1ff8633ee71f,
    0x62956237f7c45562, 0xd477d4eea3b53ad4, 0xa89aa829324d81a8, 0x966296c4f4315296,
    0xf9c3f99b3aef62f9, 0xc533c566f697a3c5, 0x25942535b14a1025, 0x597959f220b2ab59,
    0x842a8454ae15d084, 0x72d572b7a7e4c572, 0x39e439d5dd72ec39, 0x4c2d4c5a6198164c,
    0x5e655eca3bbc945e, 0x78fd78e785f09f78, 0x38e038ddd870e538, 0x8c0a8c148605988c,
    0xd163d1c6b2bf17d1, 0xa5aea5410b57e4a5, 0xe2afe2434dd9a1e2, 0x6199612ff8c24e61,
    0xb3f6b3f1457b42b3, 0x21842115a5423421, 0x9c4a9c94d625089c, 0x1e781ef0663cee1e,
    0x4311432252866143, 0xc73bc776fc93b1c7, 0xfcd7fcb32be54ffc, 0x0410042014082404,
    0x515951b208a2e351, 0x995e99bcc72f2599, 0x6da96d4fc4da226d, 0x0d340d68391a650d,
    0xfacffa8335e979fa, 0xdf5bdfb684a369df, 0x7ee57ed79bfca97e, 0x2490243db4481924,
    0x3bec3bc5d776fe3b, 0xab96ab313d4b9aab, 0xce1fce3ed181f0ce, 0x1144118855229911,
    0x8f068f0c8903838f, 0x4e254e4a6b9c044e, 0xb7e6b7d1517366b7, 0xeb8beb0b60cbe0eb,
    0x3cf03cfdcc78c13c, 0x813e817cbf1ffd81, 0x946a94d4fe354094, 0xf7fbf7eb0cf31cf7,
    0xb9deb9a1676f18b9, 0x134c13985f268b13, 0x2cb02c7d9c58512c, 0xd36bd3d6b8bb05d3,
    0xe7bbe76b5cd38ce7, 0x6ea56e57cbdc396e, 0xc437c46ef395aac4, 0x030c03180f061b03,
    0x5645568a13acdc56, 0x440d441a49885e44, 0x7fe17fdf9efea07f, 0xa99ea921374f88a9,
    0x2aa82a4d8254672a, 0xbbd6bbb16d6b0abb, 0xc123c146e29f87c1, 0x535153a202a6f153,
    0xdc57dcae8ba572dc, 0x0b2c0b582716530b, 0x9d4e9d9cd327019d, 0x6cad6c47c1d82b6c,
    0x31c43195f562a431, 0x74cd7487b9e8f374, 0xf6fff6e309f115f6, 0x4605460a438c4c46,
    0xac8aac092645a5ac, 0x891e893c970fb589, 0x145014a04428b414, 0xe1a3e15b42dfbae1,
    0x165816b04e2ca616, 0x3ae83acdd274f73a, 0x69b9696fd0d20669, 0x092409482d124109,
    0x70dd70a7ade0d770, 0xb6e2b6d954716fb6, 0xd067d0ceb7bd1ed0, 0xed93ed3b7ec7d6ed,
    0xcc17cc2edb85e2cc, 0x4215422a57846842, 0x985a98b4c22d2c98, 0xa4aaa4490e55eda4,
    0x28a0285d88507528, 0x5c6d5cda31b8865c, 0xf8c7f8933fed6bf8, 0x86228644a411c286,
}

var c = [8][256]uint64{
    C0, C1, C2, C3,
    C4, C5, C6, C7,
}

var rc = [rounds + 1]uint64{
    0x0000000000000000,
    0x1823c6e887b8014f,
    0x36a6d2f5796f9152,
    0x60bc9b8ea30c7b35,
    0x1de0d7c22e4bfe57,
    0x157737e59ff04ada,
    0x58c9290ab1a06b85,
    0xbd5d10f4cb3e0567,
    0xe427418ba77d95d8,
    0xfbee7c66dd17479e,
    0xca2dbf07ad5a8333,
}

// ===========

var T0 = [256]uint64{
    0x6868B868D5670FD5, 0xD0D06DD0B7CE1EB7,
    0xEBEB20EB600BE060, 0x2B2B7D2B87456E87,
    0x4848D848757A3275, 0x9D9DBA9DD39C01D3,
    0x6A6ABE6ADF771DDF, 0xE4E431E453739753,
    0xE3E338E3484BA848, 0xA3A3F8A31571D215,
    0x5656FA56138ADC13, 0x81819E81BF7CFDBF,
    0x7D7D877D94CFB294, 0xF1F10EF112DB2A12,
    0x85859285AB5CD9AB, 0x9E9EBF9EDC841ADC,
    0x2C2C742C9C7D519C, 0x8E8E8F8E8C048A8C,
    0x7878887885E79F85, 0xCACA43CAC51ED4C5,
    0x171739174BB8AF4B, 0xA9A9E6A937218837,
    0x6161A361F82F4EF8, 0xD5D562D5A6E633A6,
    0x5D5DE75D34D28F34, 0x0B0B1D0B27585327,
    0x8C8C898C86149886, 0x3C3C443CCCFDC1CC,
    0x77779977B69FE8B6, 0x5151F35108B2E308,
    0x22226622AA0D2FAA, 0x4242C642572A6857,
    0x3F3F413FC3E5DAC3, 0x5454FC54199ACE19,
    0x4141C34158327358, 0x80809D80BA74F4BA,
    0xCCCC49CCDB2EE2DB, 0x86869786A444C2A4,
    0xB3B3C8B345F14245, 0x1818281878C0D878,
    0x2E2E722E966D4396, 0x5757F9571682D516,
    0x06060A061E30361E, 0x6262A662F73755F7,
    0xF4F401F403F30703, 0x36365A36EEAD9BEE,
    0xD1D16ED1B2C617B2, 0x6B6BBD6BDA7F14DA,
    0x1B1B2D1B77D8C377, 0x6565AF65EC0F6AEC,
    0x75759F75BC8FFABC, 0x1010301050809050,
    0xDADA73DA959E4495, 0x4949DB4970723B70,
    0x26266A26BE2D0BBE, 0xF9F916F93A9B623A,
    0xCBCB40CBC016DDC0, 0x6666AA66E31771E3,
    0xE7E734E75C6B8C5C, 0xBABAD3BA68B90368,
    0xAEAEEFAE2C19B72C, 0x5050F0500DBAEA0D,
    0x5252F65207AAF807, 0xABABE0AB3D319A3D,
    0x05050F0511282D11, 0xF0F00DF017D32317,
    0x0D0D170D39686539, 0x73739573A2BFCCA2,
    0x3B3B4D3BD7C5FED7, 0x04040C0414202414,
    0x20206020A01D3DA0, 0xFEFE1FFE21A35D21,
    0xDDDD7ADD8EA67B8E, 0xF5F502F506FB0E06,
    0xB4B4C1B45EC97D5E, 0x5F5FE15F3EC29D3E,
    0x0A0A1E0A22505A22, 0xB5B5C2B55BC1745B,
    0xC0C05DC0E74E8EE7, 0xA0A0FDA01A69C91A,
    0x71719371A8AFDEA8, 0xA5A5F2A50B41E40B,
    0x2D2D772D99755899, 0x6060A060FD2747FD,
    0x72729672A7B7C5A7, 0x9393A893E5EC7FE5,
    0x39394B39DDD5ECDD, 0x0808180828404828,
    0x83839883B56CEFB5, 0x21216321A51534A5,
    0x5C5CE45C31DA8631, 0x87879487A14CCBA1,
    0xB1B1CEB14FE1504F, 0xE0E03DE04753B347,
    0x0000000000000000, 0xC3C358C3E85695E8,
    0x121236125A90825A, 0x9191AE91EFFC6DEF,
    0x8A8A838A9824AE98, 0x020206020A10120A,
    0x1C1C241C6CE0FC6C, 0xE6E637E659638559,
    0x4545CF454C12574C, 0xC2C25BC2ED5E9CED,
    0xC4C451C4F36EAAF3, 0xFDFD1AFD2EBB462E,
    0xBFBFDCBF79912E79, 0x4444CC44491A5E49,
    0xA1A1FEA11F61C01F, 0x4C4CD44C615A1661,
    0x33335533FF85B6FF, 0xC5C552C5F666A3F6,
    0x84849184AE54D0AE, 0x23236523AF0526AF,
    0x7C7C847C91C7BB91, 0xB0B0CDB04AE9594A,
    0x25256F25B13510B1, 0x15153F1541A8BD41,
    0x35355F35E1B580E1, 0x6969BB69D06F06D0,
    0xFFFF1CFF24AB5424, 0x9494A194FED440FE,
    0x4D4DD74D64521F64, 0x70709070ADA7D7AD,
    0xA2A2FBA21079DB10, 0xAFAFECAF2911BE29,
    0xCDCD4ACDDE26EBDE, 0xD6D667D6A9FE28A9,
    0x6C6CB46CC1472BC1, 0xB7B7C4B751D16651,
    0xF8F815F83F936B3F, 0x09091B092D48412D,
    0xF3F308F318CB3818, 0x6767A967E61F78E6,
    0xA4A4F1A40E49ED0E, 0xEAEA23EA6503E965,
    0xECEC29EC7B33DF7B, 0xB6B6C7B654D96F54,
    0xD4D461D4A3EE3AA3, 0xD2D26BD2BDDE0CBD,
    0x14143C1444A0B444, 0x1E1E221E66F0EE66,
    0xE1E13EE1425BBA42, 0x24246C24B43D19B4,
    0x38384838D8DDE5D8, 0xC6C657C6F97EB8F9,
    0xDBDB70DB90964D90, 0x4B4BDD4B7A62297A,
    0x7A7A8E7A8FF78D8F, 0x3A3A4E3AD2CDF7D2,
    0xDEDE7FDE81BE6081, 0x5E5EE25E3BCA943B,
    0xDFDF7CDF84B66984, 0x9595A295FBDC49FB,
    0xFCFC19FC2BB34F2B, 0xAAAAE3AA38399338,
    0xD7D764D7ACF621AC, 0xCECE4FCED13EF0D1,
    0x070709071B383F1B, 0x0F0F110F33787733,
    0x3D3D473DC9F5C8C9, 0x5858E85825FAA225,
    0x9A9AB39AC8A43EC8, 0x9898B598C2B42CC2,
    0x9C9CB99CD69408D6, 0xF2F20BF21DC3311D,
    0xA7A7F4A70151F601, 0x1111331155889955,
    0x7E7E827E9BD7A99B, 0x8B8B808B9D2CA79D,
    0x4343C54352226152, 0x030305030F181B0F,
    0xE2E23BE24D43A14D, 0xDCDC79DC8BAE728B,
    0xE5E532E5567B9E56, 0xB2B2CBB240F94B40,
    0x4E4ED24E6B4A046B, 0xC7C754C7FC76B1FC,
    0x6D6DB76DC44F22C4, 0xE9E926E96A1BF26A,
    0x27276927BB2502BB, 0x4040C0405D3A7A5D,
    0xD8D875D89F8E569F, 0x37375937EBA592EB,
    0x9292AB92E0E476E0, 0x8F8F8C8F890C8389,
    0x0101030105080905, 0x1D1D271D69E8F569,
    0x5353F55302A2F102, 0x3E3E423EC6EDD3C6,
    0x5959EB5920F2AB20, 0xC1C15EC1E24687E2,
    0x4F4FD14F6E420D6E, 0x32325632FA8DBFFA,
    0x16163A164EB0A64E, 0xFAFA13FA35837935,
    0x74749C74B987F3B9, 0xFBFB10FB308B7030,
    0x6363A563F23F5CF2, 0x9F9FBC9FD98C13D9,
    0x34345C34E4BD89E4, 0x1A1A2E1A72D0CA72,
    0x2A2A7E2A824D6782, 0x5A5AEE5A2FEAB02F,
    0x8D8D8A8D831C9183, 0xC9C946C9CA06CFCA,
    0xCFCF4CCFD436F9D4, 0xF6F607F609E31509,
    0x9090AD90EAF464EA, 0x28287828885D7588,
    0x888885889234BC92, 0x9B9BB09BCDAC37CD,
    0x31315331F595A4F5, 0x0E0E120E36707E36,
    0xBDBDDABD73813C73, 0x4A4ADE4A7F6A207F,
    0xE8E825E86F13FB6F, 0x9696A796F4C452F4,
    0xA6A6F7A60459FF04, 0x0C0C140C3C606C3C,
    0xC8C845C8CF0EC6CF, 0x79798B7980EF9680,
    0xBCBCD9BC76893576, 0xBEBEDFBE7C99277C,
    0xEFEF2CEF742BC474, 0x6E6EB26ECB5739CB,
    0x4646CA46430A4C43, 0x9797A497F1CC5BF1,
    0x5B5BED5B2AE2B92A, 0xEDED2AED7E3BD67E,
    0x19192B197DC8D17D, 0xD9D976D99A865F9A,
    0xACACE9AC2609A526, 0x9999B699C7BC25C7,
    0xA8A8E5A832298132, 0x29297B298D557C8D,
    0x6464AC64E90763E9, 0x1F1F211F63F8E763,
    0xADADEAAD2301AC23, 0x5555FF551C92C71C,
    0x131335135F988B5F, 0xBBBBD0BB6DB10A6D,
    0xF7F704F70CEB1C0C, 0x6F6FB16FCE5F30CE,
    0xB9B9D6B967A11867, 0x4747C94746024546,
    0x2F2F712F93654A93, 0xEEEE2FEE7123CD71,
    0xB8B8D5B862A91162, 0x7B7B8D7B8AFF848A,
    0x89898689973CB597, 0x30305030F09DADF0,
    0xD3D368D3B8D605B8, 0x7F7F817F9EDFA09E,
    0x76769A76B397E1B3, 0x82829B82B064E6B0,
}

var T1 = [256]uint64{
    0xD56868B868D5670F, 0xB7D0D06DD0B7CE1E,
    0x60EBEB20EB600BE0, 0x872B2B7D2B87456E,
    0x754848D848757A32, 0xD39D9DBA9DD39C01,
    0xDF6A6ABE6ADF771D, 0x53E4E431E4537397,
    0x48E3E338E3484BA8, 0x15A3A3F8A31571D2,
    0x135656FA56138ADC, 0xBF81819E81BF7CFD,
    0x947D7D877D94CFB2, 0x12F1F10EF112DB2A,
    0xAB85859285AB5CD9, 0xDC9E9EBF9EDC841A,
    0x9C2C2C742C9C7D51, 0x8C8E8E8F8E8C048A,
    0x857878887885E79F, 0xC5CACA43CAC51ED4,
    0x4B171739174BB8AF, 0x37A9A9E6A9372188,
    0xF86161A361F82F4E, 0xA6D5D562D5A6E633,
    0x345D5DE75D34D28F, 0x270B0B1D0B275853,
    0x868C8C898C861498, 0xCC3C3C443CCCFDC1,
    0xB677779977B69FE8, 0x085151F35108B2E3,
    0xAA22226622AA0D2F, 0x574242C642572A68,
    0xC33F3F413FC3E5DA, 0x195454FC54199ACE,
    0x584141C341583273, 0xBA80809D80BA74F4,
    0xDBCCCC49CCDB2EE2, 0xA486869786A444C2,
    0x45B3B3C8B345F142, 0x781818281878C0D8,
    0x962E2E722E966D43, 0x165757F9571682D5,
    0x1E06060A061E3036, 0xF76262A662F73755,
    0x03F4F401F403F307, 0xEE36365A36EEAD9B,
    0xB2D1D16ED1B2C617, 0xDA6B6BBD6BDA7F14,
    0x771B1B2D1B77D8C3, 0xEC6565AF65EC0F6A,
    0xBC75759F75BC8FFA, 0x5010103010508090,
    0x95DADA73DA959E44, 0x704949DB4970723B,
    0xBE26266A26BE2D0B, 0x3AF9F916F93A9B62,
    0xC0CBCB40CBC016DD, 0xE36666AA66E31771,
    0x5CE7E734E75C6B8C, 0x68BABAD3BA68B903,
    0x2CAEAEEFAE2C19B7, 0x0D5050F0500DBAEA,
    0x075252F65207AAF8, 0x3DABABE0AB3D319A,
    0x1105050F0511282D, 0x17F0F00DF017D323,
    0x390D0D170D396865, 0xA273739573A2BFCC,
    0xD73B3B4D3BD7C5FE, 0x1404040C04142024,
    0xA020206020A01D3D, 0x21FEFE1FFE21A35D,
    0x8EDDDD7ADD8EA67B, 0x06F5F502F506FB0E,
    0x5EB4B4C1B45EC97D, 0x3E5F5FE15F3EC29D,
    0x220A0A1E0A22505A, 0x5BB5B5C2B55BC174,
    0xE7C0C05DC0E74E8E, 0x1AA0A0FDA01A69C9,
    0xA871719371A8AFDE, 0x0BA5A5F2A50B41E4,
    0x992D2D772D997558, 0xFD6060A060FD2747,
    0xA772729672A7B7C5, 0xE59393A893E5EC7F,
    0xDD39394B39DDD5EC, 0x2808081808284048,
    0xB583839883B56CEF, 0xA521216321A51534,
    0x315C5CE45C31DA86, 0xA187879487A14CCB,
    0x4FB1B1CEB14FE150, 0x47E0E03DE04753B3,
    0x0000000000000000, 0xE8C3C358C3E85695,
    0x5A121236125A9082, 0xEF9191AE91EFFC6D,
    0x988A8A838A9824AE, 0x0A020206020A1012,
    0x6C1C1C241C6CE0FC, 0x59E6E637E6596385,
    0x4C4545CF454C1257, 0xEDC2C25BC2ED5E9C,
    0xF3C4C451C4F36EAA, 0x2EFDFD1AFD2EBB46,
    0x79BFBFDCBF79912E, 0x494444CC44491A5E,
    0x1FA1A1FEA11F61C0, 0x614C4CD44C615A16,
    0xFF33335533FF85B6, 0xF6C5C552C5F666A3,
    0xAE84849184AE54D0, 0xAF23236523AF0526,
    0x917C7C847C91C7BB, 0x4AB0B0CDB04AE959,
    0xB125256F25B13510, 0x4115153F1541A8BD,
    0xE135355F35E1B580, 0xD06969BB69D06F06,
    0x24FFFF1CFF24AB54, 0xFE9494A194FED440,
    0x644D4DD74D64521F, 0xAD70709070ADA7D7,
    0x10A2A2FBA21079DB, 0x29AFAFECAF2911BE,
    0xDECDCD4ACDDE26EB, 0xA9D6D667D6A9FE28,
    0xC16C6CB46CC1472B, 0x51B7B7C4B751D166,
    0x3FF8F815F83F936B, 0x2D09091B092D4841,
    0x18F3F308F318CB38, 0xE66767A967E61F78,
    0x0EA4A4F1A40E49ED, 0x65EAEA23EA6503E9,
    0x7BECEC29EC7B33DF, 0x54B6B6C7B654D96F,
    0xA3D4D461D4A3EE3A, 0xBDD2D26BD2BDDE0C,
    0x4414143C1444A0B4, 0x661E1E221E66F0EE,
    0x42E1E13EE1425BBA, 0xB424246C24B43D19,
    0xD838384838D8DDE5, 0xF9C6C657C6F97EB8,
    0x90DBDB70DB90964D, 0x7A4B4BDD4B7A6229,
    0x8F7A7A8E7A8FF78D, 0xD23A3A4E3AD2CDF7,
    0x81DEDE7FDE81BE60, 0x3B5E5EE25E3BCA94,
    0x84DFDF7CDF84B669, 0xFB9595A295FBDC49,
    0x2BFCFC19FC2BB34F, 0x38AAAAE3AA383993,
    0xACD7D764D7ACF621, 0xD1CECE4FCED13EF0,
    0x1B070709071B383F, 0x330F0F110F337877,
    0xC93D3D473DC9F5C8, 0x255858E85825FAA2,
    0xC89A9AB39AC8A43E, 0xC29898B598C2B42C,
    0xD69C9CB99CD69408, 0x1DF2F20BF21DC331,
    0x01A7A7F4A70151F6, 0x5511113311558899,
    0x9B7E7E827E9BD7A9, 0x9D8B8B808B9D2CA7,
    0x524343C543522261, 0x0F030305030F181B,
    0x4DE2E23BE24D43A1, 0x8BDCDC79DC8BAE72,
    0x56E5E532E5567B9E, 0x40B2B2CBB240F94B,
    0x6B4E4ED24E6B4A04, 0xFCC7C754C7FC76B1,
    0xC46D6DB76DC44F22, 0x6AE9E926E96A1BF2,
    0xBB27276927BB2502, 0x5D4040C0405D3A7A,
    0x9FD8D875D89F8E56, 0xEB37375937EBA592,
    0xE09292AB92E0E476, 0x898F8F8C8F890C83,
    0x0501010301050809, 0x691D1D271D69E8F5,
    0x025353F55302A2F1, 0xC63E3E423EC6EDD3,
    0x205959EB5920F2AB, 0xE2C1C15EC1E24687,
    0x6E4F4FD14F6E420D, 0xFA32325632FA8DBF,
    0x4E16163A164EB0A6, 0x35FAFA13FA358379,
    0xB974749C74B987F3, 0x30FBFB10FB308B70,
    0xF26363A563F23F5C, 0xD99F9FBC9FD98C13,
    0xE434345C34E4BD89, 0x721A1A2E1A72D0CA,
    0x822A2A7E2A824D67, 0x2F5A5AEE5A2FEAB0,
    0x838D8D8A8D831C91, 0xCAC9C946C9CA06CF,
    0xD4CFCF4CCFD436F9, 0x09F6F607F609E315,
    0xEA9090AD90EAF464, 0x8828287828885D75,
    0x92888885889234BC, 0xCD9B9BB09BCDAC37,
    0xF531315331F595A4, 0x360E0E120E36707E,
    0x73BDBDDABD73813C, 0x7F4A4ADE4A7F6A20,
    0x6FE8E825E86F13FB, 0xF49696A796F4C452,
    0x04A6A6F7A60459FF, 0x3C0C0C140C3C606C,
    0xCFC8C845C8CF0EC6, 0x8079798B7980EF96,
    0x76BCBCD9BC768935, 0x7CBEBEDFBE7C9927,
    0x74EFEF2CEF742BC4, 0xCB6E6EB26ECB5739,
    0x434646CA46430A4C, 0xF19797A497F1CC5B,
    0x2A5B5BED5B2AE2B9, 0x7EEDED2AED7E3BD6,
    0x7D19192B197DC8D1, 0x9AD9D976D99A865F,
    0x26ACACE9AC2609A5, 0xC79999B699C7BC25,
    0x32A8A8E5A8322981, 0x8D29297B298D557C,
    0xE96464AC64E90763, 0x631F1F211F63F8E7,
    0x23ADADEAAD2301AC, 0x1C5555FF551C92C7,
    0x5F131335135F988B, 0x6DBBBBD0BB6DB10A,
    0x0CF7F704F70CEB1C, 0xCE6F6FB16FCE5F30,
    0x67B9B9D6B967A118, 0x464747C947460245,
    0x932F2F712F93654A, 0x71EEEE2FEE7123CD,
    0x62B8B8D5B862A911, 0x8A7B7B8D7B8AFF84,
    0x9789898689973CB5, 0xF030305030F09DAD,
    0xB8D3D368D3B8D605, 0x9E7F7F817F9EDFA0,
    0xB376769A76B397E1, 0xB082829B82B064E6,
}

var T2 = [256]uint64{
    0x0FD56868B868D567, 0x1EB7D0D06DD0B7CE,
    0xE060EBEB20EB600B, 0x6E872B2B7D2B8745,
    0x32754848D848757A, 0x01D39D9DBA9DD39C,
    0x1DDF6A6ABE6ADF77, 0x9753E4E431E45373,
    0xA848E3E338E3484B, 0xD215A3A3F8A31571,
    0xDC135656FA56138A, 0xFDBF81819E81BF7C,
    0xB2947D7D877D94CF, 0x2A12F1F10EF112DB,
    0xD9AB85859285AB5C, 0x1ADC9E9EBF9EDC84,
    0x519C2C2C742C9C7D, 0x8A8C8E8E8F8E8C04,
    0x9F857878887885E7, 0xD4C5CACA43CAC51E,
    0xAF4B171739174BB8, 0x8837A9A9E6A93721,
    0x4EF86161A361F82F, 0x33A6D5D562D5A6E6,
    0x8F345D5DE75D34D2, 0x53270B0B1D0B2758,
    0x98868C8C898C8614, 0xC1CC3C3C443CCCFD,
    0xE8B677779977B69F, 0xE3085151F35108B2,
    0x2FAA22226622AA0D, 0x68574242C642572A,
    0xDAC33F3F413FC3E5, 0xCE195454FC54199A,
    0x73584141C3415832, 0xF4BA80809D80BA74,
    0xE2DBCCCC49CCDB2E, 0xC2A486869786A444,
    0x4245B3B3C8B345F1, 0xD8781818281878C0,
    0x43962E2E722E966D, 0xD5165757F9571682,
    0x361E06060A061E30, 0x55F76262A662F737,
    0x0703F4F401F403F3, 0x9BEE36365A36EEAD,
    0x17B2D1D16ED1B2C6, 0x14DA6B6BBD6BDA7F,
    0xC3771B1B2D1B77D8, 0x6AEC6565AF65EC0F,
    0xFABC75759F75BC8F, 0x9050101030105080,
    0x4495DADA73DA959E, 0x3B704949DB497072,
    0x0BBE26266A26BE2D, 0x623AF9F916F93A9B,
    0xDDC0CBCB40CBC016, 0x71E36666AA66E317,
    0x8C5CE7E734E75C6B, 0x0368BABAD3BA68B9,
    0xB72CAEAEEFAE2C19, 0xEA0D5050F0500DBA,
    0xF8075252F65207AA, 0x9A3DABABE0AB3D31,
    0x2D1105050F051128, 0x2317F0F00DF017D3,
    0x65390D0D170D3968, 0xCCA273739573A2BF,
    0xFED73B3B4D3BD7C5, 0x241404040C041420,
    0x3DA020206020A01D, 0x5D21FEFE1FFE21A3,
    0x7B8EDDDD7ADD8EA6, 0x0E06F5F502F506FB,
    0x7D5EB4B4C1B45EC9, 0x9D3E5F5FE15F3EC2,
    0x5A220A0A1E0A2250, 0x745BB5B5C2B55BC1,
    0x8EE7C0C05DC0E74E, 0xC91AA0A0FDA01A69,
    0xDEA871719371A8AF, 0xE40BA5A5F2A50B41,
    0x58992D2D772D9975, 0x47FD6060A060FD27,
    0xC5A772729672A7B7, 0x7FE59393A893E5EC,
    0xECDD39394B39DDD5, 0x4828080818082840,
    0xEFB583839883B56C, 0x34A521216321A515,
    0x86315C5CE45C31DA, 0xCBA187879487A14C,
    0x504FB1B1CEB14FE1, 0xB347E0E03DE04753,
    0x0000000000000000, 0x95E8C3C358C3E856,
    0x825A121236125A90, 0x6DEF9191AE91EFFC,
    0xAE988A8A838A9824, 0x120A020206020A10,
    0xFC6C1C1C241C6CE0, 0x8559E6E637E65963,
    0x574C4545CF454C12, 0x9CEDC2C25BC2ED5E,
    0xAAF3C4C451C4F36E, 0x462EFDFD1AFD2EBB,
    0x2E79BFBFDCBF7991, 0x5E494444CC44491A,
    0xC01FA1A1FEA11F61, 0x16614C4CD44C615A,
    0xB6FF33335533FF85, 0xA3F6C5C552C5F666,
    0xD0AE84849184AE54, 0x26AF23236523AF05,
    0xBB917C7C847C91C7, 0x594AB0B0CDB04AE9,
    0x10B125256F25B135, 0xBD4115153F1541A8,
    0x80E135355F35E1B5, 0x06D06969BB69D06F,
    0x5424FFFF1CFF24AB, 0x40FE9494A194FED4,
    0x1F644D4DD74D6452, 0xD7AD70709070ADA7,
    0xDB10A2A2FBA21079, 0xBE29AFAFECAF2911,
    0xEBDECDCD4ACDDE26, 0x28A9D6D667D6A9FE,
    0x2BC16C6CB46CC147, 0x6651B7B7C4B751D1,
    0x6B3FF8F815F83F93, 0x412D09091B092D48,
    0x3818F3F308F318CB, 0x78E66767A967E61F,
    0xED0EA4A4F1A40E49, 0xE965EAEA23EA6503,
    0xDF7BECEC29EC7B33, 0x6F54B6B6C7B654D9,
    0x3AA3D4D461D4A3EE, 0x0CBDD2D26BD2BDDE,
    0xB44414143C1444A0, 0xEE661E1E221E66F0,
    0xBA42E1E13EE1425B, 0x19B424246C24B43D,
    0xE5D838384838D8DD, 0xB8F9C6C657C6F97E,
    0x4D90DBDB70DB9096, 0x297A4B4BDD4B7A62,
    0x8D8F7A7A8E7A8FF7, 0xF7D23A3A4E3AD2CD,
    0x6081DEDE7FDE81BE, 0x943B5E5EE25E3BCA,
    0x6984DFDF7CDF84B6, 0x49FB9595A295FBDC,
    0x4F2BFCFC19FC2BB3, 0x9338AAAAE3AA3839,
    0x21ACD7D764D7ACF6, 0xF0D1CECE4FCED13E,
    0x3F1B070709071B38, 0x77330F0F110F3378,
    0xC8C93D3D473DC9F5, 0xA2255858E85825FA,
    0x3EC89A9AB39AC8A4, 0x2CC29898B598C2B4,
    0x08D69C9CB99CD694, 0x311DF2F20BF21DC3,
    0xF601A7A7F4A70151, 0x9955111133115588,
    0xA99B7E7E827E9BD7, 0xA79D8B8B808B9D2C,
    0x61524343C5435222, 0x1B0F030305030F18,
    0xA14DE2E23BE24D43, 0x728BDCDC79DC8BAE,
    0x9E56E5E532E5567B, 0x4B40B2B2CBB240F9,
    0x046B4E4ED24E6B4A, 0xB1FCC7C754C7FC76,
    0x22C46D6DB76DC44F, 0xF26AE9E926E96A1B,
    0x02BB27276927BB25, 0x7A5D4040C0405D3A,
    0x569FD8D875D89F8E, 0x92EB37375937EBA5,
    0x76E09292AB92E0E4, 0x83898F8F8C8F890C,
    0x0905010103010508, 0xF5691D1D271D69E8,
    0xF1025353F55302A2, 0xD3C63E3E423EC6ED,
    0xAB205959EB5920F2, 0x87E2C1C15EC1E246,
    0x0D6E4F4FD14F6E42, 0xBFFA32325632FA8D,
    0xA64E16163A164EB0, 0x7935FAFA13FA3583,
    0xF3B974749C74B987, 0x7030FBFB10FB308B,
    0x5CF26363A563F23F, 0x13D99F9FBC9FD98C,
    0x89E434345C34E4BD, 0xCA721A1A2E1A72D0,
    0x67822A2A7E2A824D, 0xB02F5A5AEE5A2FEA,
    0x91838D8D8A8D831C, 0xCFCAC9C946C9CA06,
    0xF9D4CFCF4CCFD436, 0x1509F6F607F609E3,
    0x64EA9090AD90EAF4, 0x758828287828885D,
    0xBC92888885889234, 0x37CD9B9BB09BCDAC,
    0xA4F531315331F595, 0x7E360E0E120E3670,
    0x3C73BDBDDABD7381, 0x207F4A4ADE4A7F6A,
    0xFB6FE8E825E86F13, 0x52F49696A796F4C4,
    0xFF04A6A6F7A60459, 0x6C3C0C0C140C3C60,
    0xC6CFC8C845C8CF0E, 0x968079798B7980EF,
    0x3576BCBCD9BC7689, 0x277CBEBEDFBE7C99,
    0xC474EFEF2CEF742B, 0x39CB6E6EB26ECB57,
    0x4C434646CA46430A, 0x5BF19797A497F1CC,
    0xB92A5B5BED5B2AE2, 0xD67EEDED2AED7E3B,
    0xD17D19192B197DC8, 0x5F9AD9D976D99A86,
    0xA526ACACE9AC2609, 0x25C79999B699C7BC,
    0x8132A8A8E5A83229, 0x7C8D29297B298D55,
    0x63E96464AC64E907, 0xE7631F1F211F63F8,
    0xAC23ADADEAAD2301, 0xC71C5555FF551C92,
    0x8B5F131335135F98, 0x0A6DBBBBD0BB6DB1,
    0x1C0CF7F704F70CEB, 0x30CE6F6FB16FCE5F,
    0x1867B9B9D6B967A1, 0x45464747C9474602,
    0x4A932F2F712F9365, 0xCD71EEEE2FEE7123,
    0x1162B8B8D5B862A9, 0x848A7B7B8D7B8AFF,
    0xB59789898689973C, 0xADF030305030F09D,
    0x05B8D3D368D3B8D6, 0xA09E7F7F817F9EDF,
    0xE1B376769A76B397, 0xE6B082829B82B064,

}

var T3 = [256]uint64{
    0x670FD56868B868D5, 0xCE1EB7D0D06DD0B7,
    0x0BE060EBEB20EB60, 0x456E872B2B7D2B87,
    0x7A32754848D84875, 0x9C01D39D9DBA9DD3,
    0x771DDF6A6ABE6ADF, 0x739753E4E431E453,
    0x4BA848E3E338E348, 0x71D215A3A3F8A315,
    0x8ADC135656FA5613, 0x7CFDBF81819E81BF,
    0xCFB2947D7D877D94, 0xDB2A12F1F10EF112,
    0x5CD9AB85859285AB, 0x841ADC9E9EBF9EDC,
    0x7D519C2C2C742C9C, 0x048A8C8E8E8F8E8C,
    0xE79F857878887885, 0x1ED4C5CACA43CAC5,
    0xB8AF4B171739174B, 0x218837A9A9E6A937,
    0x2F4EF86161A361F8, 0xE633A6D5D562D5A6,
    0xD28F345D5DE75D34, 0x5853270B0B1D0B27,
    0x1498868C8C898C86, 0xFDC1CC3C3C443CCC,
    0x9FE8B677779977B6, 0xB2E3085151F35108,
    0x0D2FAA22226622AA, 0x2A68574242C64257,
    0xE5DAC33F3F413FC3, 0x9ACE195454FC5419,
    0x3273584141C34158, 0x74F4BA80809D80BA,
    0x2EE2DBCCCC49CCDB, 0x44C2A486869786A4,
    0xF14245B3B3C8B345, 0xC0D8781818281878,
    0x6D43962E2E722E96, 0x82D5165757F95716,
    0x30361E06060A061E, 0x3755F76262A662F7,
    0xF30703F4F401F403, 0xAD9BEE36365A36EE,
    0xC617B2D1D16ED1B2, 0x7F14DA6B6BBD6BDA,
    0xD8C3771B1B2D1B77, 0x0F6AEC6565AF65EC,
    0x8FFABC75759F75BC, 0x8090501010301050,
    0x9E4495DADA73DA95, 0x723B704949DB4970,
    0x2D0BBE26266A26BE, 0x9B623AF9F916F93A,
    0x16DDC0CBCB40CBC0, 0x1771E36666AA66E3,
    0x6B8C5CE7E734E75C, 0xB90368BABAD3BA68,
    0x19B72CAEAEEFAE2C, 0xBAEA0D5050F0500D,
    0xAAF8075252F65207, 0x319A3DABABE0AB3D,
    0x282D1105050F0511, 0xD32317F0F00DF017,
    0x6865390D0D170D39, 0xBFCCA273739573A2,
    0xC5FED73B3B4D3BD7, 0x20241404040C0414,
    0x1D3DA020206020A0, 0xA35D21FEFE1FFE21,
    0xA67B8EDDDD7ADD8E, 0xFB0E06F5F502F506,
    0xC97D5EB4B4C1B45E, 0xC29D3E5F5FE15F3E,
    0x505A220A0A1E0A22, 0xC1745BB5B5C2B55B,
    0x4E8EE7C0C05DC0E7, 0x69C91AA0A0FDA01A,
    0xAFDEA871719371A8, 0x41E40BA5A5F2A50B,
    0x7558992D2D772D99, 0x2747FD6060A060FD,
    0xB7C5A772729672A7, 0xEC7FE59393A893E5,
    0xD5ECDD39394B39DD, 0x4048280808180828,
    0x6CEFB583839883B5, 0x1534A521216321A5,
    0xDA86315C5CE45C31, 0x4CCBA187879487A1,
    0xE1504FB1B1CEB14F, 0x53B347E0E03DE047,
    0x0000000000000000, 0x5695E8C3C358C3E8,
    0x90825A121236125A, 0xFC6DEF9191AE91EF,
    0x24AE988A8A838A98, 0x10120A020206020A,
    0xE0FC6C1C1C241C6C, 0x638559E6E637E659,
    0x12574C4545CF454C, 0x5E9CEDC2C25BC2ED,
    0x6EAAF3C4C451C4F3, 0xBB462EFDFD1AFD2E,
    0x912E79BFBFDCBF79, 0x1A5E494444CC4449,
    0x61C01FA1A1FEA11F, 0x5A16614C4CD44C61,
    0x85B6FF33335533FF, 0x66A3F6C5C552C5F6,
    0x54D0AE84849184AE, 0x0526AF23236523AF,
    0xC7BB917C7C847C91, 0xE9594AB0B0CDB04A,
    0x3510B125256F25B1, 0xA8BD4115153F1541,
    0xB580E135355F35E1, 0x6F06D06969BB69D0,
    0xAB5424FFFF1CFF24, 0xD440FE9494A194FE,
    0x521F644D4DD74D64, 0xA7D7AD70709070AD,
    0x79DB10A2A2FBA210, 0x11BE29AFAFECAF29,
    0x26EBDECDCD4ACDDE, 0xFE28A9D6D667D6A9,
    0x472BC16C6CB46CC1, 0xD16651B7B7C4B751,
    0x936B3FF8F815F83F, 0x48412D09091B092D,
    0xCB3818F3F308F318, 0x1F78E66767A967E6,
    0x49ED0EA4A4F1A40E, 0x03E965EAEA23EA65,
    0x33DF7BECEC29EC7B, 0xD96F54B6B6C7B654,
    0xEE3AA3D4D461D4A3, 0xDE0CBDD2D26BD2BD,
    0xA0B44414143C1444, 0xF0EE661E1E221E66,
    0x5BBA42E1E13EE142, 0x3D19B424246C24B4,
    0xDDE5D838384838D8, 0x7EB8F9C6C657C6F9,
    0x964D90DBDB70DB90, 0x62297A4B4BDD4B7A,
    0xF78D8F7A7A8E7A8F, 0xCDF7D23A3A4E3AD2,
    0xBE6081DEDE7FDE81, 0xCA943B5E5EE25E3B,
    0xB66984DFDF7CDF84, 0xDC49FB9595A295FB,
    0xB34F2BFCFC19FC2B, 0x399338AAAAE3AA38,
    0xF621ACD7D764D7AC, 0x3EF0D1CECE4FCED1,
    0x383F1B070709071B, 0x7877330F0F110F33,
    0xF5C8C93D3D473DC9, 0xFAA2255858E85825,
    0xA43EC89A9AB39AC8, 0xB42CC29898B598C2,
    0x9408D69C9CB99CD6, 0xC3311DF2F20BF21D,
    0x51F601A7A7F4A701, 0x8899551111331155,
    0xD7A99B7E7E827E9B, 0x2CA79D8B8B808B9D,
    0x2261524343C54352, 0x181B0F030305030F,
    0x43A14DE2E23BE24D, 0xAE728BDCDC79DC8B,
    0x7B9E56E5E532E556, 0xF94B40B2B2CBB240,
    0x4A046B4E4ED24E6B, 0x76B1FCC7C754C7FC,
    0x4F22C46D6DB76DC4, 0x1BF26AE9E926E96A,
    0x2502BB27276927BB, 0x3A7A5D4040C0405D,
    0x8E569FD8D875D89F, 0xA592EB37375937EB,
    0xE476E09292AB92E0, 0x0C83898F8F8C8F89,
    0x0809050101030105, 0xE8F5691D1D271D69,
    0xA2F1025353F55302, 0xEDD3C63E3E423EC6,
    0xF2AB205959EB5920, 0x4687E2C1C15EC1E2,
    0x420D6E4F4FD14F6E, 0x8DBFFA32325632FA,
    0xB0A64E16163A164E, 0x837935FAFA13FA35,
    0x87F3B974749C74B9, 0x8B7030FBFB10FB30,
    0x3F5CF26363A563F2, 0x8C13D99F9FBC9FD9,
    0xBD89E434345C34E4, 0xD0CA721A1A2E1A72,
    0x4D67822A2A7E2A82, 0xEAB02F5A5AEE5A2F,
    0x1C91838D8D8A8D83, 0x06CFCAC9C946C9CA,
    0x36F9D4CFCF4CCFD4, 0xE31509F6F607F609,
    0xF464EA9090AD90EA, 0x5D75882828782888,
    0x34BC928888858892, 0xAC37CD9B9BB09BCD,
    0x95A4F531315331F5, 0x707E360E0E120E36,
    0x813C73BDBDDABD73, 0x6A207F4A4ADE4A7F,
    0x13FB6FE8E825E86F, 0xC452F49696A796F4,
    0x59FF04A6A6F7A604, 0x606C3C0C0C140C3C,
    0x0EC6CFC8C845C8CF, 0xEF968079798B7980,
    0x893576BCBCD9BC76, 0x99277CBEBEDFBE7C,
    0x2BC474EFEF2CEF74, 0x5739CB6E6EB26ECB,
    0x0A4C434646CA4643, 0xCC5BF19797A497F1,
    0xE2B92A5B5BED5B2A, 0x3BD67EEDED2AED7E,
    0xC8D17D19192B197D, 0x865F9AD9D976D99A,
    0x09A526ACACE9AC26, 0xBC25C79999B699C7,
    0x298132A8A8E5A832, 0x557C8D29297B298D,
    0x0763E96464AC64E9, 0xF8E7631F1F211F63,
    0x01AC23ADADEAAD23, 0x92C71C5555FF551C,
    0x988B5F131335135F, 0xB10A6DBBBBD0BB6D,
    0xEB1C0CF7F704F70C, 0x5F30CE6F6FB16FCE,
    0xA11867B9B9D6B967, 0x0245464747C94746,
    0x654A932F2F712F93, 0x23CD71EEEE2FEE71,
    0xA91162B8B8D5B862, 0xFF848A7B7B8D7B8A,
    0x3CB5978989868997, 0x9DADF030305030F0,
    0xD605B8D3D368D3B8, 0xDFA09E7F7F817F9E,
    0x97E1B376769A76B3, 0x64E6B082829B82B0,

}

var T4 = [256]uint64{
    0xD5670FD56868B868, 0xB7CE1EB7D0D06DD0,
    0x600BE060EBEB20EB, 0x87456E872B2B7D2B,
    0x757A32754848D848, 0xD39C01D39D9DBA9D,
    0xDF771DDF6A6ABE6A, 0x53739753E4E431E4,
    0x484BA848E3E338E3, 0x1571D215A3A3F8A3,
    0x138ADC135656FA56, 0xBF7CFDBF81819E81,
    0x94CFB2947D7D877D, 0x12DB2A12F1F10EF1,
    0xAB5CD9AB85859285, 0xDC841ADC9E9EBF9E,
    0x9C7D519C2C2C742C, 0x8C048A8C8E8E8F8E,
    0x85E79F8578788878, 0xC51ED4C5CACA43CA,
    0x4BB8AF4B17173917, 0x37218837A9A9E6A9,
    0xF82F4EF86161A361, 0xA6E633A6D5D562D5,
    0x34D28F345D5DE75D, 0x275853270B0B1D0B,
    0x861498868C8C898C, 0xCCFDC1CC3C3C443C,
    0xB69FE8B677779977, 0x08B2E3085151F351,
    0xAA0D2FAA22226622, 0x572A68574242C642,
    0xC3E5DAC33F3F413F, 0x199ACE195454FC54,
    0x583273584141C341, 0xBA74F4BA80809D80,
    0xDB2EE2DBCCCC49CC, 0xA444C2A486869786,
    0x45F14245B3B3C8B3, 0x78C0D87818182818,
    0x966D43962E2E722E, 0x1682D5165757F957,
    0x1E30361E06060A06, 0xF73755F76262A662,
    0x03F30703F4F401F4, 0xEEAD9BEE36365A36,
    0xB2C617B2D1D16ED1, 0xDA7F14DA6B6BBD6B,
    0x77D8C3771B1B2D1B, 0xEC0F6AEC6565AF65,
    0xBC8FFABC75759F75, 0x5080905010103010,
    0x959E4495DADA73DA, 0x70723B704949DB49,
    0xBE2D0BBE26266A26, 0x3A9B623AF9F916F9,
    0xC016DDC0CBCB40CB, 0xE31771E36666AA66,
    0x5C6B8C5CE7E734E7, 0x68B90368BABAD3BA,
    0x2C19B72CAEAEEFAE, 0x0DBAEA0D5050F050,
    0x07AAF8075252F652, 0x3D319A3DABABE0AB,
    0x11282D1105050F05, 0x17D32317F0F00DF0,
    0x396865390D0D170D, 0xA2BFCCA273739573,
    0xD7C5FED73B3B4D3B, 0x1420241404040C04,
    0xA01D3DA020206020, 0x21A35D21FEFE1FFE,
    0x8EA67B8EDDDD7ADD, 0x06FB0E06F5F502F5,
    0x5EC97D5EB4B4C1B4, 0x3EC29D3E5F5FE15F,
    0x22505A220A0A1E0A, 0x5BC1745BB5B5C2B5,
    0xE74E8EE7C0C05DC0, 0x1A69C91AA0A0FDA0,
    0xA8AFDEA871719371, 0x0B41E40BA5A5F2A5,
    0x997558992D2D772D, 0xFD2747FD6060A060,
    0xA7B7C5A772729672, 0xE5EC7FE59393A893,
    0xDDD5ECDD39394B39, 0x2840482808081808,
    0xB56CEFB583839883, 0xA51534A521216321,
    0x31DA86315C5CE45C, 0xA14CCBA187879487,
    0x4FE1504FB1B1CEB1, 0x4753B347E0E03DE0,
    0x0000000000000000, 0xE85695E8C3C358C3,
    0x5A90825A12123612, 0xEFFC6DEF9191AE91,
    0x9824AE988A8A838A, 0x0A10120A02020602,
    0x6CE0FC6C1C1C241C, 0x59638559E6E637E6,
    0x4C12574C4545CF45, 0xED5E9CEDC2C25BC2,
    0xF36EAAF3C4C451C4, 0x2EBB462EFDFD1AFD,
    0x79912E79BFBFDCBF, 0x491A5E494444CC44,
    0x1F61C01FA1A1FEA1, 0x615A16614C4CD44C,
    0xFF85B6FF33335533, 0xF666A3F6C5C552C5,
    0xAE54D0AE84849184, 0xAF0526AF23236523,
    0x91C7BB917C7C847C, 0x4AE9594AB0B0CDB0,
    0xB13510B125256F25, 0x41A8BD4115153F15,
    0xE1B580E135355F35, 0xD06F06D06969BB69,
    0x24AB5424FFFF1CFF, 0xFED440FE9494A194,
    0x64521F644D4DD74D, 0xADA7D7AD70709070,
    0x1079DB10A2A2FBA2, 0x2911BE29AFAFECAF,
    0xDE26EBDECDCD4ACD, 0xA9FE28A9D6D667D6,
    0xC1472BC16C6CB46C, 0x51D16651B7B7C4B7,
    0x3F936B3FF8F815F8, 0x2D48412D09091B09,
    0x18CB3818F3F308F3, 0xE61F78E66767A967,
    0x0E49ED0EA4A4F1A4, 0x6503E965EAEA23EA,
    0x7B33DF7BECEC29EC, 0x54D96F54B6B6C7B6,
    0xA3EE3AA3D4D461D4, 0xBDDE0CBDD2D26BD2,
    0x44A0B44414143C14, 0x66F0EE661E1E221E,
    0x425BBA42E1E13EE1, 0xB43D19B424246C24,
    0xD8DDE5D838384838, 0xF97EB8F9C6C657C6,
    0x90964D90DBDB70DB, 0x7A62297A4B4BDD4B,
    0x8FF78D8F7A7A8E7A, 0xD2CDF7D23A3A4E3A,
    0x81BE6081DEDE7FDE, 0x3BCA943B5E5EE25E,
    0x84B66984DFDF7CDF, 0xFBDC49FB9595A295,
    0x2BB34F2BFCFC19FC, 0x38399338AAAAE3AA,
    0xACF621ACD7D764D7, 0xD13EF0D1CECE4FCE,
    0x1B383F1B07070907, 0x337877330F0F110F,
    0xC9F5C8C93D3D473D, 0x25FAA2255858E858,
    0xC8A43EC89A9AB39A, 0xC2B42CC29898B598,
    0xD69408D69C9CB99C, 0x1DC3311DF2F20BF2,
    0x0151F601A7A7F4A7, 0x5588995511113311,
    0x9BD7A99B7E7E827E, 0x9D2CA79D8B8B808B,
    0x522261524343C543, 0x0F181B0F03030503,
    0x4D43A14DE2E23BE2, 0x8BAE728BDCDC79DC,
    0x567B9E56E5E532E5, 0x40F94B40B2B2CBB2,
    0x6B4A046B4E4ED24E, 0xFC76B1FCC7C754C7,
    0xC44F22C46D6DB76D, 0x6A1BF26AE9E926E9,
    0xBB2502BB27276927, 0x5D3A7A5D4040C040,
    0x9F8E569FD8D875D8, 0xEBA592EB37375937,
    0xE0E476E09292AB92, 0x890C83898F8F8C8F,
    0x0508090501010301, 0x69E8F5691D1D271D,
    0x02A2F1025353F553, 0xC6EDD3C63E3E423E,
    0x20F2AB205959EB59, 0xE24687E2C1C15EC1,
    0x6E420D6E4F4FD14F, 0xFA8DBFFA32325632,
    0x4EB0A64E16163A16, 0x35837935FAFA13FA,
    0xB987F3B974749C74, 0x308B7030FBFB10FB,
    0xF23F5CF26363A563, 0xD98C13D99F9FBC9F,
    0xE4BD89E434345C34, 0x72D0CA721A1A2E1A,
    0x824D67822A2A7E2A, 0x2FEAB02F5A5AEE5A,
    0x831C91838D8D8A8D, 0xCA06CFCAC9C946C9,
    0xD436F9D4CFCF4CCF, 0x09E31509F6F607F6,
    0xEAF464EA9090AD90, 0x885D758828287828,
    0x9234BC9288888588, 0xCDAC37CD9B9BB09B,
    0xF595A4F531315331, 0x36707E360E0E120E,
    0x73813C73BDBDDABD, 0x7F6A207F4A4ADE4A,
    0x6F13FB6FE8E825E8, 0xF4C452F49696A796,
    0x0459FF04A6A6F7A6, 0x3C606C3C0C0C140C,
    0xCF0EC6CFC8C845C8, 0x80EF968079798B79,
    0x76893576BCBCD9BC, 0x7C99277CBEBEDFBE,
    0x742BC474EFEF2CEF, 0xCB5739CB6E6EB26E,
    0x430A4C434646CA46, 0xF1CC5BF19797A497,
    0x2AE2B92A5B5BED5B, 0x7E3BD67EEDED2AED,
    0x7DC8D17D19192B19, 0x9A865F9AD9D976D9,
    0x2609A526ACACE9AC, 0xC7BC25C79999B699,
    0x32298132A8A8E5A8, 0x8D557C8D29297B29,
    0xE90763E96464AC64, 0x63F8E7631F1F211F,
    0x2301AC23ADADEAAD, 0x1C92C71C5555FF55,
    0x5F988B5F13133513, 0x6DB10A6DBBBBD0BB,
    0x0CEB1C0CF7F704F7, 0xCE5F30CE6F6FB16F,
    0x67A11867B9B9D6B9, 0x460245464747C947,
    0x93654A932F2F712F, 0x7123CD71EEEE2FEE,
    0x62A91162B8B8D5B8, 0x8AFF848A7B7B8D7B,
    0x973CB59789898689, 0xF09DADF030305030,
    0xB8D605B8D3D368D3, 0x9EDFA09E7F7F817F,
    0xB397E1B376769A76, 0xB064E6B082829B82,

}

var T5 = [256]uint64{
    0x68D5670FD56868B8, 0xD0B7CE1EB7D0D06D,
    0xEB600BE060EBEB20, 0x2B87456E872B2B7D,
    0x48757A32754848D8, 0x9DD39C01D39D9DBA,
    0x6ADF771DDF6A6ABE, 0xE453739753E4E431,
    0xE3484BA848E3E338, 0xA31571D215A3A3F8,
    0x56138ADC135656FA, 0x81BF7CFDBF81819E,
    0x7D94CFB2947D7D87, 0xF112DB2A12F1F10E,
    0x85AB5CD9AB858592, 0x9EDC841ADC9E9EBF,
    0x2C9C7D519C2C2C74, 0x8E8C048A8C8E8E8F,
    0x7885E79F85787888, 0xCAC51ED4C5CACA43,
    0x174BB8AF4B171739, 0xA937218837A9A9E6,
    0x61F82F4EF86161A3, 0xD5A6E633A6D5D562,
    0x5D34D28F345D5DE7, 0x0B275853270B0B1D,
    0x8C861498868C8C89, 0x3CCCFDC1CC3C3C44,
    0x77B69FE8B6777799, 0x5108B2E3085151F3,
    0x22AA0D2FAA222266, 0x42572A68574242C6,
    0x3FC3E5DAC33F3F41, 0x54199ACE195454FC,
    0x41583273584141C3, 0x80BA74F4BA80809D,
    0xCCDB2EE2DBCCCC49, 0x86A444C2A4868697,
    0xB345F14245B3B3C8, 0x1878C0D878181828,
    0x2E966D43962E2E72, 0x571682D5165757F9,
    0x061E30361E06060A, 0x62F73755F76262A6,
    0xF403F30703F4F401, 0x36EEAD9BEE36365A,
    0xD1B2C617B2D1D16E, 0x6BDA7F14DA6B6BBD,
    0x1B77D8C3771B1B2D, 0x65EC0F6AEC6565AF,
    0x75BC8FFABC75759F, 0x1050809050101030,
    0xDA959E4495DADA73, 0x4970723B704949DB,
    0x26BE2D0BBE26266A, 0xF93A9B623AF9F916,
    0xCBC016DDC0CBCB40, 0x66E31771E36666AA,
    0xE75C6B8C5CE7E734, 0xBA68B90368BABAD3,
    0xAE2C19B72CAEAEEF, 0x500DBAEA0D5050F0,
    0x5207AAF8075252F6, 0xAB3D319A3DABABE0,
    0x0511282D1105050F, 0xF017D32317F0F00D,
    0x0D396865390D0D17, 0x73A2BFCCA2737395,
    0x3BD7C5FED73B3B4D, 0x041420241404040C,
    0x20A01D3DA0202060, 0xFE21A35D21FEFE1F,
    0xDD8EA67B8EDDDD7A, 0xF506FB0E06F5F502,
    0xB45EC97D5EB4B4C1, 0x5F3EC29D3E5F5FE1,
    0x0A22505A220A0A1E, 0xB55BC1745BB5B5C2,
    0xC0E74E8EE7C0C05D, 0xA01A69C91AA0A0FD,
    0x71A8AFDEA8717193, 0xA50B41E40BA5A5F2,
    0x2D997558992D2D77, 0x60FD2747FD6060A0,
    0x72A7B7C5A7727296, 0x93E5EC7FE59393A8,
    0x39DDD5ECDD39394B, 0x0828404828080818,
    0x83B56CEFB5838398, 0x21A51534A5212163,
    0x5C31DA86315C5CE4, 0x87A14CCBA1878794,
    0xB14FE1504FB1B1CE, 0xE04753B347E0E03D,
    0x0000000000000000, 0xC3E85695E8C3C358,
    0x125A90825A121236, 0x91EFFC6DEF9191AE,
    0x8A9824AE988A8A83, 0x020A10120A020206,
    0x1C6CE0FC6C1C1C24, 0xE659638559E6E637,
    0x454C12574C4545CF, 0xC2ED5E9CEDC2C25B,
    0xC4F36EAAF3C4C451, 0xFD2EBB462EFDFD1A,
    0xBF79912E79BFBFDC, 0x44491A5E494444CC,
    0xA11F61C01FA1A1FE, 0x4C615A16614C4CD4,
    0x33FF85B6FF333355, 0xC5F666A3F6C5C552,
    0x84AE54D0AE848491, 0x23AF0526AF232365,
    0x7C91C7BB917C7C84, 0xB04AE9594AB0B0CD,
    0x25B13510B125256F, 0x1541A8BD4115153F,
    0x35E1B580E135355F, 0x69D06F06D06969BB,
    0xFF24AB5424FFFF1C, 0x94FED440FE9494A1,
    0x4D64521F644D4DD7, 0x70ADA7D7AD707090,
    0xA21079DB10A2A2FB, 0xAF2911BE29AFAFEC,
    0xCDDE26EBDECDCD4A, 0xD6A9FE28A9D6D667,
    0x6CC1472BC16C6CB4, 0xB751D16651B7B7C4,
    0xF83F936B3FF8F815, 0x092D48412D09091B,
    0xF318CB3818F3F308, 0x67E61F78E66767A9,
    0xA40E49ED0EA4A4F1, 0xEA6503E965EAEA23,
    0xEC7B33DF7BECEC29, 0xB654D96F54B6B6C7,
    0xD4A3EE3AA3D4D461, 0xD2BDDE0CBDD2D26B,
    0x1444A0B44414143C, 0x1E66F0EE661E1E22,
    0xE1425BBA42E1E13E, 0x24B43D19B424246C,
    0x38D8DDE5D8383848, 0xC6F97EB8F9C6C657,
    0xDB90964D90DBDB70, 0x4B7A62297A4B4BDD,
    0x7A8FF78D8F7A7A8E, 0x3AD2CDF7D23A3A4E,
    0xDE81BE6081DEDE7F, 0x5E3BCA943B5E5EE2,
    0xDF84B66984DFDF7C, 0x95FBDC49FB9595A2,
    0xFC2BB34F2BFCFC19, 0xAA38399338AAAAE3,
    0xD7ACF621ACD7D764, 0xCED13EF0D1CECE4F,
    0x071B383F1B070709, 0x0F337877330F0F11,
    0x3DC9F5C8C93D3D47, 0x5825FAA2255858E8,
    0x9AC8A43EC89A9AB3, 0x98C2B42CC29898B5,
    0x9CD69408D69C9CB9, 0xF21DC3311DF2F20B,
    0xA70151F601A7A7F4, 0x1155889955111133,
    0x7E9BD7A99B7E7E82, 0x8B9D2CA79D8B8B80,
    0x43522261524343C5, 0x030F181B0F030305,
    0xE24D43A14DE2E23B, 0xDC8BAE728BDCDC79,
    0xE5567B9E56E5E532, 0xB240F94B40B2B2CB,
    0x4E6B4A046B4E4ED2, 0xC7FC76B1FCC7C754,
    0x6DC44F22C46D6DB7, 0xE96A1BF26AE9E926,
    0x27BB2502BB272769, 0x405D3A7A5D4040C0,
    0xD89F8E569FD8D875, 0x37EBA592EB373759,
    0x92E0E476E09292AB, 0x8F890C83898F8F8C,
    0x0105080905010103, 0x1D69E8F5691D1D27,
    0x5302A2F1025353F5, 0x3EC6EDD3C63E3E42,
    0x5920F2AB205959EB, 0xC1E24687E2C1C15E,
    0x4F6E420D6E4F4FD1, 0x32FA8DBFFA323256,
    0x164EB0A64E16163A, 0xFA35837935FAFA13,
    0x74B987F3B974749C, 0xFB308B7030FBFB10,
    0x63F23F5CF26363A5, 0x9FD98C13D99F9FBC,
    0x34E4BD89E434345C, 0x1A72D0CA721A1A2E,
    0x2A824D67822A2A7E, 0x5A2FEAB02F5A5AEE,
    0x8D831C91838D8D8A, 0xC9CA06CFCAC9C946,
    0xCFD436F9D4CFCF4C, 0xF609E31509F6F607,
    0x90EAF464EA9090AD, 0x28885D7588282878,
    0x889234BC92888885, 0x9BCDAC37CD9B9BB0,
    0x31F595A4F5313153, 0x0E36707E360E0E12,
    0xBD73813C73BDBDDA, 0x4A7F6A207F4A4ADE,
    0xE86F13FB6FE8E825, 0x96F4C452F49696A7,
    0xA60459FF04A6A6F7, 0x0C3C606C3C0C0C14,
    0xC8CF0EC6CFC8C845, 0x7980EF968079798B,
    0xBC76893576BCBCD9, 0xBE7C99277CBEBEDF,
    0xEF742BC474EFEF2C, 0x6ECB5739CB6E6EB2,
    0x46430A4C434646CA, 0x97F1CC5BF19797A4,
    0x5B2AE2B92A5B5BED, 0xED7E3BD67EEDED2A,
    0x197DC8D17D19192B, 0xD99A865F9AD9D976,
    0xAC2609A526ACACE9, 0x99C7BC25C79999B6,
    0xA832298132A8A8E5, 0x298D557C8D29297B,
    0x64E90763E96464AC, 0x1F63F8E7631F1F21,
    0xAD2301AC23ADADEA, 0x551C92C71C5555FF,
    0x135F988B5F131335, 0xBB6DB10A6DBBBBD0,
    0xF70CEB1C0CF7F704, 0x6FCE5F30CE6F6FB1,
    0xB967A11867B9B9D6, 0x47460245464747C9,
    0x2F93654A932F2F71, 0xEE7123CD71EEEE2F,
    0xB862A91162B8B8D5, 0x7B8AFF848A7B7B8D,
    0x89973CB597898986, 0x30F09DADF0303050,
    0xD3B8D605B8D3D368, 0x7F9EDFA09E7F7F81,
    0x76B397E1B376769A, 0x82B064E6B082829B,

}

var T6 = [256]uint64{
    0xB868D5670FD56868, 0x6DD0B7CE1EB7D0D0,
    0x20EB600BE060EBEB, 0x7D2B87456E872B2B,
    0xD848757A32754848, 0xBA9DD39C01D39D9D,
    0xBE6ADF771DDF6A6A, 0x31E453739753E4E4,
    0x38E3484BA848E3E3, 0xF8A31571D215A3A3,
    0xFA56138ADC135656, 0x9E81BF7CFDBF8181,
    0x877D94CFB2947D7D, 0x0EF112DB2A12F1F1,
    0x9285AB5CD9AB8585, 0xBF9EDC841ADC9E9E,
    0x742C9C7D519C2C2C, 0x8F8E8C048A8C8E8E,
    0x887885E79F857878, 0x43CAC51ED4C5CACA,
    0x39174BB8AF4B1717, 0xE6A937218837A9A9,
    0xA361F82F4EF86161, 0x62D5A6E633A6D5D5,
    0xE75D34D28F345D5D, 0x1D0B275853270B0B,
    0x898C861498868C8C, 0x443CCCFDC1CC3C3C,
    0x9977B69FE8B67777, 0xF35108B2E3085151,
    0x6622AA0D2FAA2222, 0xC642572A68574242,
    0x413FC3E5DAC33F3F, 0xFC54199ACE195454,
    0xC341583273584141, 0x9D80BA74F4BA8080,
    0x49CCDB2EE2DBCCCC, 0x9786A444C2A48686,
    0xC8B345F14245B3B3, 0x281878C0D8781818,
    0x722E966D43962E2E, 0xF9571682D5165757,
    0x0A061E30361E0606, 0xA662F73755F76262,
    0x01F403F30703F4F4, 0x5A36EEAD9BEE3636,
    0x6ED1B2C617B2D1D1, 0xBD6BDA7F14DA6B6B,
    0x2D1B77D8C3771B1B, 0xAF65EC0F6AEC6565,
    0x9F75BC8FFABC7575, 0x3010508090501010,
    0x73DA959E4495DADA, 0xDB4970723B704949,
    0x6A26BE2D0BBE2626, 0x16F93A9B623AF9F9,
    0x40CBC016DDC0CBCB, 0xAA66E31771E36666,
    0x34E75C6B8C5CE7E7, 0xD3BA68B90368BABA,
    0xEFAE2C19B72CAEAE, 0xF0500DBAEA0D5050,
    0xF65207AAF8075252, 0xE0AB3D319A3DABAB,
    0x0F0511282D110505, 0x0DF017D32317F0F0,
    0x170D396865390D0D, 0x9573A2BFCCA27373,
    0x4D3BD7C5FED73B3B, 0x0C04142024140404,
    0x6020A01D3DA02020, 0x1FFE21A35D21FEFE,
    0x7ADD8EA67B8EDDDD, 0x02F506FB0E06F5F5,
    0xC1B45EC97D5EB4B4, 0xE15F3EC29D3E5F5F,
    0x1E0A22505A220A0A, 0xC2B55BC1745BB5B5,
    0x5DC0E74E8EE7C0C0, 0xFDA01A69C91AA0A0,
    0x9371A8AFDEA87171, 0xF2A50B41E40BA5A5,
    0x772D997558992D2D, 0xA060FD2747FD6060,
    0x9672A7B7C5A77272, 0xA893E5EC7FE59393,
    0x4B39DDD5ECDD3939, 0x1808284048280808,
    0x9883B56CEFB58383, 0x6321A51534A52121,
    0xE45C31DA86315C5C, 0x9487A14CCBA18787,
    0xCEB14FE1504FB1B1, 0x3DE04753B347E0E0,
    0x0000000000000000, 0x58C3E85695E8C3C3,
    0x36125A90825A1212, 0xAE91EFFC6DEF9191,
    0x838A9824AE988A8A, 0x06020A10120A0202,
    0x241C6CE0FC6C1C1C, 0x37E659638559E6E6,
    0xCF454C12574C4545, 0x5BC2ED5E9CEDC2C2,
    0x51C4F36EAAF3C4C4, 0x1AFD2EBB462EFDFD,
    0xDCBF79912E79BFBF, 0xCC44491A5E494444,
    0xFEA11F61C01FA1A1, 0xD44C615A16614C4C,
    0x5533FF85B6FF3333, 0x52C5F666A3F6C5C5,
    0x9184AE54D0AE8484, 0x6523AF0526AF2323,
    0x847C91C7BB917C7C, 0xCDB04AE9594AB0B0,
    0x6F25B13510B12525, 0x3F1541A8BD411515,
    0x5F35E1B580E13535, 0xBB69D06F06D06969,
    0x1CFF24AB5424FFFF, 0xA194FED440FE9494,
    0xD74D64521F644D4D, 0x9070ADA7D7AD7070,
    0xFBA21079DB10A2A2, 0xECAF2911BE29AFAF,
    0x4ACDDE26EBDECDCD, 0x67D6A9FE28A9D6D6,
    0xB46CC1472BC16C6C, 0xC4B751D16651B7B7,
    0x15F83F936B3FF8F8, 0x1B092D48412D0909,
    0x08F318CB3818F3F3, 0xA967E61F78E66767,
    0xF1A40E49ED0EA4A4, 0x23EA6503E965EAEA,
    0x29EC7B33DF7BECEC, 0xC7B654D96F54B6B6,
    0x61D4A3EE3AA3D4D4, 0x6BD2BDDE0CBDD2D2,
    0x3C1444A0B4441414, 0x221E66F0EE661E1E,
    0x3EE1425BBA42E1E1, 0x6C24B43D19B42424,
    0x4838D8DDE5D83838, 0x57C6F97EB8F9C6C6,
    0x70DB90964D90DBDB, 0xDD4B7A62297A4B4B,
    0x8E7A8FF78D8F7A7A, 0x4E3AD2CDF7D23A3A,
    0x7FDE81BE6081DEDE, 0xE25E3BCA943B5E5E,
    0x7CDF84B66984DFDF, 0xA295FBDC49FB9595,
    0x19FC2BB34F2BFCFC, 0xE3AA38399338AAAA,
    0x64D7ACF621ACD7D7, 0x4FCED13EF0D1CECE,
    0x09071B383F1B0707, 0x110F337877330F0F,
    0x473DC9F5C8C93D3D, 0xE85825FAA2255858,
    0xB39AC8A43EC89A9A, 0xB598C2B42CC29898,
    0xB99CD69408D69C9C, 0x0BF21DC3311DF2F2,
    0xF4A70151F601A7A7, 0x3311558899551111,
    0x827E9BD7A99B7E7E, 0x808B9D2CA79D8B8B,
    0xC543522261524343, 0x05030F181B0F0303,
    0x3BE24D43A14DE2E2, 0x79DC8BAE728BDCDC,
    0x32E5567B9E56E5E5, 0xCBB240F94B40B2B2,
    0xD24E6B4A046B4E4E, 0x54C7FC76B1FCC7C7,
    0xB76DC44F22C46D6D, 0x26E96A1BF26AE9E9,
    0x6927BB2502BB2727, 0xC0405D3A7A5D4040,
    0x75D89F8E569FD8D8, 0x5937EBA592EB3737,
    0xAB92E0E476E09292, 0x8C8F890C83898F8F,
    0x0301050809050101, 0x271D69E8F5691D1D,
    0xF55302A2F1025353, 0x423EC6EDD3C63E3E,
    0xEB5920F2AB205959, 0x5EC1E24687E2C1C1,
    0xD14F6E420D6E4F4F, 0x5632FA8DBFFA3232,
    0x3A164EB0A64E1616, 0x13FA35837935FAFA,
    0x9C74B987F3B97474, 0x10FB308B7030FBFB,
    0xA563F23F5CF26363, 0xBC9FD98C13D99F9F,
    0x5C34E4BD89E43434, 0x2E1A72D0CA721A1A,
    0x7E2A824D67822A2A, 0xEE5A2FEAB02F5A5A,
    0x8A8D831C91838D8D, 0x46C9CA06CFCAC9C9,
    0x4CCFD436F9D4CFCF, 0x07F609E31509F6F6,
    0xAD90EAF464EA9090, 0x7828885D75882828,
    0x85889234BC928888, 0xB09BCDAC37CD9B9B,
    0x5331F595A4F53131, 0x120E36707E360E0E,
    0xDABD73813C73BDBD, 0xDE4A7F6A207F4A4A,
    0x25E86F13FB6FE8E8, 0xA796F4C452F49696,
    0xF7A60459FF04A6A6, 0x140C3C606C3C0C0C,
    0x45C8CF0EC6CFC8C8, 0x8B7980EF96807979,
    0xD9BC76893576BCBC, 0xDFBE7C99277CBEBE,
    0x2CEF742BC474EFEF, 0xB26ECB5739CB6E6E,
    0xCA46430A4C434646, 0xA497F1CC5BF19797,
    0xED5B2AE2B92A5B5B, 0x2AED7E3BD67EEDED,
    0x2B197DC8D17D1919, 0x76D99A865F9AD9D9,
    0xE9AC2609A526ACAC, 0xB699C7BC25C79999,
    0xE5A832298132A8A8, 0x7B298D557C8D2929,
    0xAC64E90763E96464, 0x211F63F8E7631F1F,
    0xEAAD2301AC23ADAD, 0xFF551C92C71C5555,
    0x35135F988B5F1313, 0xD0BB6DB10A6DBBBB,
    0x04F70CEB1C0CF7F7, 0xB16FCE5F30CE6F6F,
    0xD6B967A11867B9B9, 0xC947460245464747,
    0x712F93654A932F2F, 0x2FEE7123CD71EEEE,
    0xD5B862A91162B8B8, 0x8D7B8AFF848A7B7B,
    0x8689973CB5978989, 0x5030F09DADF03030,
    0x68D3B8D605B8D3D3, 0x817F9EDFA09E7F7F,
    0x9A76B397E1B37676, 0x9B82B064E6B08282,

}

var T7 = [256]uint64{
    0x68B868D5670FD568, 0xD06DD0B7CE1EB7D0,
    0xEB20EB600BE060EB, 0x2B7D2B87456E872B,
    0x48D848757A327548, 0x9DBA9DD39C01D39D,
    0x6ABE6ADF771DDF6A, 0xE431E453739753E4,
    0xE338E3484BA848E3, 0xA3F8A31571D215A3,
    0x56FA56138ADC1356, 0x819E81BF7CFDBF81,
    0x7D877D94CFB2947D, 0xF10EF112DB2A12F1,
    0x859285AB5CD9AB85, 0x9EBF9EDC841ADC9E,
    0x2C742C9C7D519C2C, 0x8E8F8E8C048A8C8E,
    0x78887885E79F8578, 0xCA43CAC51ED4C5CA,
    0x1739174BB8AF4B17, 0xA9E6A937218837A9,
    0x61A361F82F4EF861, 0xD562D5A6E633A6D5,
    0x5DE75D34D28F345D, 0x0B1D0B275853270B,
    0x8C898C861498868C, 0x3C443CCCFDC1CC3C,
    0x779977B69FE8B677, 0x51F35108B2E30851,
    0x226622AA0D2FAA22, 0x42C642572A685742,
    0x3F413FC3E5DAC33F, 0x54FC54199ACE1954,
    0x41C3415832735841, 0x809D80BA74F4BA80,
    0xCC49CCDB2EE2DBCC, 0x869786A444C2A486,
    0xB3C8B345F14245B3, 0x18281878C0D87818,
    0x2E722E966D43962E, 0x57F9571682D51657,
    0x060A061E30361E06, 0x62A662F73755F762,
    0xF401F403F30703F4, 0x365A36EEAD9BEE36,
    0xD16ED1B2C617B2D1, 0x6BBD6BDA7F14DA6B,
    0x1B2D1B77D8C3771B, 0x65AF65EC0F6AEC65,
    0x759F75BC8FFABC75, 0x1030105080905010,
    0xDA73DA959E4495DA, 0x49DB4970723B7049,
    0x266A26BE2D0BBE26, 0xF916F93A9B623AF9,
    0xCB40CBC016DDC0CB, 0x66AA66E31771E366,
    0xE734E75C6B8C5CE7, 0xBAD3BA68B90368BA,
    0xAEEFAE2C19B72CAE, 0x50F0500DBAEA0D50,
    0x52F65207AAF80752, 0xABE0AB3D319A3DAB,
    0x050F0511282D1105, 0xF00DF017D32317F0,
    0x0D170D396865390D, 0x739573A2BFCCA273,
    0x3B4D3BD7C5FED73B, 0x040C041420241404,
    0x206020A01D3DA020, 0xFE1FFE21A35D21FE,
    0xDD7ADD8EA67B8EDD, 0xF502F506FB0E06F5,
    0xB4C1B45EC97D5EB4, 0x5FE15F3EC29D3E5F,
    0x0A1E0A22505A220A, 0xB5C2B55BC1745BB5,
    0xC05DC0E74E8EE7C0, 0xA0FDA01A69C91AA0,
    0x719371A8AFDEA871, 0xA5F2A50B41E40BA5,
    0x2D772D997558992D, 0x60A060FD2747FD60,
    0x729672A7B7C5A772, 0x93A893E5EC7FE593,
    0x394B39DDD5ECDD39, 0x0818082840482808,
    0x839883B56CEFB583, 0x216321A51534A521,
    0x5CE45C31DA86315C, 0x879487A14CCBA187,
    0xB1CEB14FE1504FB1, 0xE03DE04753B347E0,
    0x0000000000000000, 0xC358C3E85695E8C3,
    0x1236125A90825A12, 0x91AE91EFFC6DEF91,
    0x8A838A9824AE988A, 0x0206020A10120A02,
    0x1C241C6CE0FC6C1C, 0xE637E659638559E6,
    0x45CF454C12574C45, 0xC25BC2ED5E9CEDC2,
    0xC451C4F36EAAF3C4, 0xFD1AFD2EBB462EFD,
    0xBFDCBF79912E79BF, 0x44CC44491A5E4944,
    0xA1FEA11F61C01FA1, 0x4CD44C615A16614C,
    0x335533FF85B6FF33, 0xC552C5F666A3F6C5,
    0x849184AE54D0AE84, 0x236523AF0526AF23,
    0x7C847C91C7BB917C, 0xB0CDB04AE9594AB0,
    0x256F25B13510B125, 0x153F1541A8BD4115,
    0x355F35E1B580E135, 0x69BB69D06F06D069,
    0xFF1CFF24AB5424FF, 0x94A194FED440FE94,
    0x4DD74D64521F644D, 0x709070ADA7D7AD70,
    0xA2FBA21079DB10A2, 0xAFECAF2911BE29AF,
    0xCD4ACDDE26EBDECD, 0xD667D6A9FE28A9D6,
    0x6CB46CC1472BC16C, 0xB7C4B751D16651B7,
    0xF815F83F936B3FF8, 0x091B092D48412D09,
    0xF308F318CB3818F3, 0x67A967E61F78E667,
    0xA4F1A40E49ED0EA4, 0xEA23EA6503E965EA,
    0xEC29EC7B33DF7BEC, 0xB6C7B654D96F54B6,
    0xD461D4A3EE3AA3D4, 0xD26BD2BDDE0CBDD2,
    0x143C1444A0B44414, 0x1E221E66F0EE661E,
    0xE13EE1425BBA42E1, 0x246C24B43D19B424,
    0x384838D8DDE5D838, 0xC657C6F97EB8F9C6,
    0xDB70DB90964D90DB, 0x4BDD4B7A62297A4B,
    0x7A8E7A8FF78D8F7A, 0x3A4E3AD2CDF7D23A,
    0xDE7FDE81BE6081DE, 0x5EE25E3BCA943B5E,
    0xDF7CDF84B66984DF, 0x95A295FBDC49FB95,
    0xFC19FC2BB34F2BFC, 0xAAE3AA38399338AA,
    0xD764D7ACF621ACD7, 0xCE4FCED13EF0D1CE,
    0x0709071B383F1B07, 0x0F110F337877330F,
    0x3D473DC9F5C8C93D, 0x58E85825FAA22558,
    0x9AB39AC8A43EC89A, 0x98B598C2B42CC298,
    0x9CB99CD69408D69C, 0xF20BF21DC3311DF2,
    0xA7F4A70151F601A7, 0x1133115588995511,
    0x7E827E9BD7A99B7E, 0x8B808B9D2CA79D8B,
    0x43C5435222615243, 0x0305030F181B0F03,
    0xE23BE24D43A14DE2, 0xDC79DC8BAE728BDC,
    0xE532E5567B9E56E5, 0xB2CBB240F94B40B2,
    0x4ED24E6B4A046B4E, 0xC754C7FC76B1FCC7,
    0x6DB76DC44F22C46D, 0xE926E96A1BF26AE9,
    0x276927BB2502BB27, 0x40C0405D3A7A5D40,
    0xD875D89F8E569FD8, 0x375937EBA592EB37,
    0x92AB92E0E476E092, 0x8F8C8F890C83898F,
    0x0103010508090501, 0x1D271D69E8F5691D,
    0x53F55302A2F10253, 0x3E423EC6EDD3C63E,
    0x59EB5920F2AB2059, 0xC15EC1E24687E2C1,
    0x4FD14F6E420D6E4F, 0x325632FA8DBFFA32,
    0x163A164EB0A64E16, 0xFA13FA35837935FA,
    0x749C74B987F3B974, 0xFB10FB308B7030FB,
    0x63A563F23F5CF263, 0x9FBC9FD98C13D99F,
    0x345C34E4BD89E434, 0x1A2E1A72D0CA721A,
    0x2A7E2A824D67822A, 0x5AEE5A2FEAB02F5A,
    0x8D8A8D831C91838D, 0xC946C9CA06CFCAC9,
    0xCF4CCFD436F9D4CF, 0xF607F609E31509F6,
    0x90AD90EAF464EA90, 0x287828885D758828,
    0x8885889234BC9288, 0x9BB09BCDAC37CD9B,
    0x315331F595A4F531, 0x0E120E36707E360E,
    0xBDDABD73813C73BD, 0x4ADE4A7F6A207F4A,
    0xE825E86F13FB6FE8, 0x96A796F4C452F496,
    0xA6F7A60459FF04A6, 0x0C140C3C606C3C0C,
    0xC845C8CF0EC6CFC8, 0x798B7980EF968079,
    0xBCD9BC76893576BC, 0xBEDFBE7C99277CBE,
    0xEF2CEF742BC474EF, 0x6EB26ECB5739CB6E,
    0x46CA46430A4C4346, 0x97A497F1CC5BF197,
    0x5BED5B2AE2B92A5B, 0xED2AED7E3BD67EED,
    0x192B197DC8D17D19, 0xD976D99A865F9AD9,
    0xACE9AC2609A526AC, 0x99B699C7BC25C799,
    0xA8E5A832298132A8, 0x297B298D557C8D29,
    0x64AC64E90763E964, 0x1F211F63F8E7631F,
    0xADEAAD2301AC23AD, 0x55FF551C92C71C55,
    0x1335135F988B5F13, 0xBBD0BB6DB10A6DBB,
    0xF704F70CEB1C0CF7, 0x6FB16FCE5F30CE6F,
    0xB9D6B967A11867B9, 0x47C9474602454647,
    0x2F712F93654A932F, 0xEE2FEE7123CD71EE,
    0xB8D5B862A91162B8, 0x7B8D7B8AFF848A7B,
    0x898689973CB59789, 0x305030F09DADF030,
    0xD368D3B8D605B8D3, 0x7F817F9EDFA09E7F,
    0x769A76B397E1B376, 0x829B82B064E6B082,

}

var c0 = [8][256]uint64{
    T0, T1, T2, T3,
    T4, T5, T6, T7,
}

var rc0 = [rounds + 1]uint64{
    0x0000000000000000, 0x68D0EB2B489D6AE4,
    0xE3A356817DF1859E, 0x2C8E78CA17A961D5,
    0x5D0B8C3C77512242, 0x3F544180CC86B318,
    0x2E570662F436D16B, 0x1B657510DA4926F9,
    0xCB66E7BAAE5052AB, 0x05F00D733B0420FE,
    0xDDF5B45F0AB5C0A0,
}

// ===========

var A0 = [256]uint64{
    0x1818281878C0D878, 0x23236523AF0526AF,
    0xC6C657C6F97EB8F9, 0xE8E825E86F13FB6F,
    0x87879487A14CCBA1, 0xB8B8D5B862A91162,
    0x0101030105080905, 0x4F4FD14F6E420D6E,
    0x36365A36EEAD9BEE, 0xA6A6F7A60459FF04,
    0xD2D26BD2BDDE0CBD, 0xF5F502F506FB0E06,
    0x79798B7980EF9680, 0x6F6FB16FCE5F30CE,
    0x9191AE91EFFC6DEF, 0x5252F65207AAF807,
    0x6060A060FD2747FD, 0xBCBCD9BC76893576,
    0x9B9BB09BCDAC37CD, 0x8E8E8F8E8C048A8C,
    0xA3A3F8A31571D215, 0x0C0C140C3C606C3C,
    0x7B7B8D7B8AFF848A, 0x35355F35E1B580E1,
    0x1D1D271D69E8F569, 0xE0E03DE04753B347,
    0xD7D764D7ACF621AC, 0xC2C25BC2ED5E9CED,
    0x2E2E722E966D4396, 0x4B4BDD4B7A62297A,
    0xFEFE1FFE21A35D21, 0x5757F9571682D516,
    0x15153F1541A8BD41, 0x77779977B69FE8B6,
    0x37375937EBA592EB, 0xE5E532E5567B9E56,
    0x9F9FBC9FD98C13D9, 0xF0F00DF017D32317,
    0x4A4ADE4A7F6A207F, 0xDADA73DA959E4495,
    0x5858E85825FAA225, 0xC9C946C9CA06CFCA,
    0x29297B298D557C8D, 0x0A0A1E0A22505A22,
    0xB1B1CEB14FE1504F, 0xA0A0FDA01A69C91A,
    0x6B6BBD6BDA7F14DA, 0x85859285AB5CD9AB,
    0xBDBDDABD73813C73, 0x5D5DE75D34D28F34,
    0x1010301050809050, 0xF4F401F403F30703,
    0xCBCB40CBC016DDC0, 0x3E3E423EC6EDD3C6,
    0x05050F0511282D11, 0x6767A967E61F78E6,
    0xE4E431E453739753, 0x27276927BB2502BB,
    0x4141C34158327358, 0x8B8B808B9D2CA79D,
    0xA7A7F4A70151F601, 0x7D7D877D94CFB294,
    0x9595A295FBDC49FB, 0xD8D875D89F8E569F,
    0xFBFB10FB308B7030, 0xEEEE2FEE7123CD71,
    0x7C7C847C91C7BB91, 0x6666AA66E31771E3,
    0xDDDD7ADD8EA67B8E, 0x171739174BB8AF4B,
    0x4747C94746024546, 0x9E9EBF9EDC841ADC,
    0xCACA43CAC51ED4C5, 0x2D2D772D99755899,
    0xBFBFDCBF79912E79, 0x070709071B383F1B,
    0xADADEAAD2301AC23, 0x5A5AEE5A2FEAB02F,
    0x83839883B56CEFB5, 0x33335533FF85B6FF,
    0x6363A563F23F5CF2, 0x020206020A10120A,
    0xAAAAE3AA38399338, 0x71719371A8AFDEA8,
    0xC8C845C8CF0EC6CF, 0x19192B197DC8D17D,
    0x4949DB4970723B70, 0xD9D976D99A865F9A,
    0xF2F20BF21DC3311D, 0xE3E338E3484BA848,
    0x5B5BED5B2AE2B92A, 0x888885889234BC92,
    0x9A9AB39AC8A43EC8, 0x26266A26BE2D0BBE,
    0x32325632FA8DBFFA, 0xB0B0CDB04AE9594A,
    0xE9E926E96A1BF26A, 0x0F0F110F33787733,
    0xD5D562D5A6E633A6, 0x80809D80BA74F4BA,
    0xBEBEDFBE7C99277C, 0xCDCD4ACDDE26EBDE,
    0x34345C34E4BD89E4, 0x4848D848757A3275,
    0xFFFF1CFF24AB5424, 0x7A7A8E7A8FF78D8F,
    0x9090AD90EAF464EA, 0x5F5FE15F3EC29D3E,
    0x20206020A01D3DA0, 0x6868B868D5670FD5,
    0x1A1A2E1A72D0CA72, 0xAEAEEFAE2C19B72C,
    0xB4B4C1B45EC97D5E, 0x5454FC54199ACE19,
    0x9393A893E5EC7FE5, 0x22226622AA0D2FAA,
    0x6464AC64E90763E9, 0xF1F10EF112DB2A12,
    0x73739573A2BFCCA2, 0x121236125A90825A,
    0x4040C0405D3A7A5D, 0x0808180828404828,
    0xC3C358C3E85695E8, 0xECEC29EC7B33DF7B,
    0xDBDB70DB90964D90, 0xA1A1FEA11F61C01F,
    0x8D8D8A8D831C9183, 0x3D3D473DC9F5C8C9,
    0x9797A497F1CC5BF1, 0x0000000000000000,
    0xCFCF4CCFD436F9D4, 0x2B2B7D2B87456E87,
    0x76769A76B397E1B3, 0x82829B82B064E6B0,
    0xD6D667D6A9FE28A9, 0x1B1B2D1B77D8C377,
    0xB5B5C2B55BC1745B, 0xAFAFECAF2911BE29,
    0x6A6ABE6ADF771DDF, 0x5050F0500DBAEA0D,
    0x4545CF454C12574C, 0xF3F308F318CB3818,
    0x30305030F09DADF0, 0xEFEF2CEF742BC474,
    0x3F3F413FC3E5DAC3, 0x5555FF551C92C71C,
    0xA2A2FBA21079DB10, 0xEAEA23EA6503E965,
    0x6565AF65EC0F6AEC, 0xBABAD3BA68B90368,
    0x2F2F712F93654A93, 0xC0C05DC0E74E8EE7,
    0xDEDE7FDE81BE6081, 0x1C1C241C6CE0FC6C,
    0xFDFD1AFD2EBB462E, 0x4D4DD74D64521F64,
    0x9292AB92E0E476E0, 0x75759F75BC8FFABC,
    0x06060A061E30361E, 0x8A8A838A9824AE98,
    0xB2B2CBB240F94B40, 0xE6E637E659638559,
    0x0E0E120E36707E36, 0x1F1F211F63F8E763,
    0x6262A662F73755F7, 0xD4D461D4A3EE3AA3,
    0xA8A8E5A832298132, 0x9696A796F4C452F4,
    0xF9F916F93A9B623A, 0xC5C552C5F666A3F6,
    0x25256F25B13510B1, 0x5959EB5920F2AB20,
    0x84849184AE54D0AE, 0x72729672A7B7C5A7,
    0x39394B39DDD5ECDD, 0x4C4CD44C615A1661,
    0x5E5EE25E3BCA943B, 0x7878887885E79F85,
    0x38384838D8DDE5D8, 0x8C8C898C86149886,
    0xD1D16ED1B2C617B2, 0xA5A5F2A50B41E40B,
    0xE2E23BE24D43A14D, 0x6161A361F82F4EF8,
    0xB3B3C8B345F14245, 0x21216321A51534A5,
    0x9C9CB99CD69408D6, 0x1E1E221E66F0EE66,
    0x4343C54352226152, 0xC7C754C7FC76B1FC,
    0xFCFC19FC2BB34F2B, 0x04040C0414202414,
    0x5151F35108B2E308, 0x9999B699C7BC25C7,
    0x6D6DB76DC44F22C4, 0x0D0D170D39686539,
    0xFAFA13FA35837935, 0xDFDF7CDF84B66984,
    0x7E7E827E9BD7A99B, 0x24246C24B43D19B4,
    0x3B3B4D3BD7C5FED7, 0xABABE0AB3D319A3D,
    0xCECE4FCED13EF0D1, 0x1111331155889955,
    0x8F8F8C8F890C8389, 0x4E4ED24E6B4A046B,
    0xB7B7C4B751D16651, 0xEBEB20EB600BE060,
    0x3C3C443CCCFDC1CC, 0x81819E81BF7CFDBF,
    0x9494A194FED440FE, 0xF7F704F70CEB1C0C,
    0xB9B9D6B967A11867, 0x131335135F988B5F,
    0x2C2C742C9C7D519C, 0xD3D368D3B8D605B8,
    0xE7E734E75C6B8C5C, 0x6E6EB26ECB5739CB,
    0xC4C451C4F36EAAF3, 0x030305030F181B0F,
    0x5656FA56138ADC13, 0x4444CC44491A5E49,
    0x7F7F817F9EDFA09E, 0xA9A9E6A937218837,
    0x2A2A7E2A824D6782, 0xBBBBD0BB6DB10A6D,
    0xC1C15EC1E24687E2, 0x5353F55302A2F102,
    0xDCDC79DC8BAE728B, 0x0B0B1D0B27585327,
    0x9D9DBA9DD39C01D3, 0x6C6CB46CC1472BC1,
    0x31315331F595A4F5, 0x74749C74B987F3B9,
    0xF6F607F609E31509, 0x4646CA46430A4C43,
    0xACACE9AC2609A526, 0x89898689973CB597,
    0x14143C1444A0B444, 0xE1E13EE1425BBA42,
    0x16163A164EB0A64E, 0x3A3A4E3AD2CDF7D2,
    0x6969BB69D06F06D0, 0x09091B092D48412D,
    0x70709070ADA7D7AD, 0xB6B6C7B654D96F54,
    0xD0D06DD0B7CE1EB7, 0xEDED2AED7E3BD67E,
    0xCCCC49CCDB2EE2DB, 0x4242C642572A6857,
    0x9898B598C2B42CC2, 0xA4A4F1A40E49ED0E,
    0x28287828885D7588, 0x5C5CE45C31DA8631,
    0xF8F815F83F936B3F, 0x86869786A444C2A4,

}

var A1 = [256]uint64{
    0x781818281878C0D8, 0xAF23236523AF0526,
    0xF9C6C657C6F97EB8, 0x6FE8E825E86F13FB,
    0xA187879487A14CCB, 0x62B8B8D5B862A911,
    0x0501010301050809, 0x6E4F4FD14F6E420D,
    0xEE36365A36EEAD9B, 0x04A6A6F7A60459FF,
    0xBDD2D26BD2BDDE0C, 0x06F5F502F506FB0E,
    0x8079798B7980EF96, 0xCE6F6FB16FCE5F30,
    0xEF9191AE91EFFC6D, 0x075252F65207AAF8,
    0xFD6060A060FD2747, 0x76BCBCD9BC768935,
    0xCD9B9BB09BCDAC37, 0x8C8E8E8F8E8C048A,
    0x15A3A3F8A31571D2, 0x3C0C0C140C3C606C,
    0x8A7B7B8D7B8AFF84, 0xE135355F35E1B580,
    0x691D1D271D69E8F5, 0x47E0E03DE04753B3,
    0xACD7D764D7ACF621, 0xEDC2C25BC2ED5E9C,
    0x962E2E722E966D43, 0x7A4B4BDD4B7A6229,
    0x21FEFE1FFE21A35D, 0x165757F9571682D5,
    0x4115153F1541A8BD, 0xB677779977B69FE8,
    0xEB37375937EBA592, 0x56E5E532E5567B9E,
    0xD99F9FBC9FD98C13, 0x17F0F00DF017D323,
    0x7F4A4ADE4A7F6A20, 0x95DADA73DA959E44,
    0x255858E85825FAA2, 0xCAC9C946C9CA06CF,
    0x8D29297B298D557C, 0x220A0A1E0A22505A,
    0x4FB1B1CEB14FE150, 0x1AA0A0FDA01A69C9,
    0xDA6B6BBD6BDA7F14, 0xAB85859285AB5CD9,
    0x73BDBDDABD73813C, 0x345D5DE75D34D28F,
    0x5010103010508090, 0x03F4F401F403F307,
    0xC0CBCB40CBC016DD, 0xC63E3E423EC6EDD3,
    0x1105050F0511282D, 0xE66767A967E61F78,
    0x53E4E431E4537397, 0xBB27276927BB2502,
    0x584141C341583273, 0x9D8B8B808B9D2CA7,
    0x01A7A7F4A70151F6, 0x947D7D877D94CFB2,
    0xFB9595A295FBDC49, 0x9FD8D875D89F8E56,
    0x30FBFB10FB308B70, 0x71EEEE2FEE7123CD,
    0x917C7C847C91C7BB, 0xE36666AA66E31771,
    0x8EDDDD7ADD8EA67B, 0x4B171739174BB8AF,
    0x464747C947460245, 0xDC9E9EBF9EDC841A,
    0xC5CACA43CAC51ED4, 0x992D2D772D997558,
    0x79BFBFDCBF79912E, 0x1B070709071B383F,
    0x23ADADEAAD2301AC, 0x2F5A5AEE5A2FEAB0,
    0xB583839883B56CEF, 0xFF33335533FF85B6,
    0xF26363A563F23F5C, 0x0A020206020A1012,
    0x38AAAAE3AA383993, 0xA871719371A8AFDE,
    0xCFC8C845C8CF0EC6, 0x7D19192B197DC8D1,
    0x704949DB4970723B, 0x9AD9D976D99A865F,
    0x1DF2F20BF21DC331, 0x48E3E338E3484BA8,
    0x2A5B5BED5B2AE2B9, 0x92888885889234BC,
    0xC89A9AB39AC8A43E, 0xBE26266A26BE2D0B,
    0xFA32325632FA8DBF, 0x4AB0B0CDB04AE959,
    0x6AE9E926E96A1BF2, 0x330F0F110F337877,
    0xA6D5D562D5A6E633, 0xBA80809D80BA74F4,
    0x7CBEBEDFBE7C9927, 0xDECDCD4ACDDE26EB,
    0xE434345C34E4BD89, 0x754848D848757A32,
    0x24FFFF1CFF24AB54, 0x8F7A7A8E7A8FF78D,
    0xEA9090AD90EAF464, 0x3E5F5FE15F3EC29D,
    0xA020206020A01D3D, 0xD56868B868D5670F,
    0x721A1A2E1A72D0CA, 0x2CAEAEEFAE2C19B7,
    0x5EB4B4C1B45EC97D, 0x195454FC54199ACE,
    0xE59393A893E5EC7F, 0xAA22226622AA0D2F,
    0xE96464AC64E90763, 0x12F1F10EF112DB2A,
    0xA273739573A2BFCC, 0x5A121236125A9082,
    0x5D4040C0405D3A7A, 0x2808081808284048,
    0xE8C3C358C3E85695, 0x7BECEC29EC7B33DF,
    0x90DBDB70DB90964D, 0x1FA1A1FEA11F61C0,
    0x838D8D8A8D831C91, 0xC93D3D473DC9F5C8,
    0xF19797A497F1CC5B, 0x0000000000000000,
    0xD4CFCF4CCFD436F9, 0x872B2B7D2B87456E,
    0xB376769A76B397E1, 0xB082829B82B064E6,
    0xA9D6D667D6A9FE28, 0x771B1B2D1B77D8C3,
    0x5BB5B5C2B55BC174, 0x29AFAFECAF2911BE,
    0xDF6A6ABE6ADF771D, 0x0D5050F0500DBAEA,
    0x4C4545CF454C1257, 0x18F3F308F318CB38,
    0xF030305030F09DAD, 0x74EFEF2CEF742BC4,
    0xC33F3F413FC3E5DA, 0x1C5555FF551C92C7,
    0x10A2A2FBA21079DB, 0x65EAEA23EA6503E9,
    0xEC6565AF65EC0F6A, 0x68BABAD3BA68B903,
    0x932F2F712F93654A, 0xE7C0C05DC0E74E8E,
    0x81DEDE7FDE81BE60, 0x6C1C1C241C6CE0FC,
    0x2EFDFD1AFD2EBB46, 0x644D4DD74D64521F,
    0xE09292AB92E0E476, 0xBC75759F75BC8FFA,
    0x1E06060A061E3036, 0x988A8A838A9824AE,
    0x40B2B2CBB240F94B, 0x59E6E637E6596385,
    0x360E0E120E36707E, 0x631F1F211F63F8E7,
    0xF76262A662F73755, 0xA3D4D461D4A3EE3A,
    0x32A8A8E5A8322981, 0xF49696A796F4C452,
    0x3AF9F916F93A9B62, 0xF6C5C552C5F666A3,
    0xB125256F25B13510, 0x205959EB5920F2AB,
    0xAE84849184AE54D0, 0xA772729672A7B7C5,
    0xDD39394B39DDD5EC, 0x614C4CD44C615A16,
    0x3B5E5EE25E3BCA94, 0x857878887885E79F,
    0xD838384838D8DDE5, 0x868C8C898C861498,
    0xB2D1D16ED1B2C617, 0x0BA5A5F2A50B41E4,
    0x4DE2E23BE24D43A1, 0xF86161A361F82F4E,
    0x45B3B3C8B345F142, 0xA521216321A51534,
    0xD69C9CB99CD69408, 0x661E1E221E66F0EE,
    0x524343C543522261, 0xFCC7C754C7FC76B1,
    0x2BFCFC19FC2BB34F, 0x1404040C04142024,
    0x085151F35108B2E3, 0xC79999B699C7BC25,
    0xC46D6DB76DC44F22, 0x390D0D170D396865,
    0x35FAFA13FA358379, 0x84DFDF7CDF84B669,
    0x9B7E7E827E9BD7A9, 0xB424246C24B43D19,
    0xD73B3B4D3BD7C5FE, 0x3DABABE0AB3D319A,
    0xD1CECE4FCED13EF0, 0x5511113311558899,
    0x898F8F8C8F890C83, 0x6B4E4ED24E6B4A04,
    0x51B7B7C4B751D166, 0x60EBEB20EB600BE0,
    0xCC3C3C443CCCFDC1, 0xBF81819E81BF7CFD,
    0xFE9494A194FED440, 0x0CF7F704F70CEB1C,
    0x67B9B9D6B967A118, 0x5F131335135F988B,
    0x9C2C2C742C9C7D51, 0xB8D3D368D3B8D605,
    0x5CE7E734E75C6B8C, 0xCB6E6EB26ECB5739,
    0xF3C4C451C4F36EAA, 0x0F030305030F181B,
    0x135656FA56138ADC, 0x494444CC44491A5E,
    0x9E7F7F817F9EDFA0, 0x37A9A9E6A9372188,
    0x822A2A7E2A824D67, 0x6DBBBBD0BB6DB10A,
    0xE2C1C15EC1E24687, 0x025353F55302A2F1,
    0x8BDCDC79DC8BAE72, 0x270B0B1D0B275853,
    0xD39D9DBA9DD39C01, 0xC16C6CB46CC1472B,
    0xF531315331F595A4, 0xB974749C74B987F3,
    0x09F6F607F609E315, 0x434646CA46430A4C,
    0x26ACACE9AC2609A5, 0x9789898689973CB5,
    0x4414143C1444A0B4, 0x42E1E13EE1425BBA,
    0x4E16163A164EB0A6, 0xD23A3A4E3AD2CDF7,
    0xD06969BB69D06F06, 0x2D09091B092D4841,
    0xAD70709070ADA7D7, 0x54B6B6C7B654D96F,
    0xB7D0D06DD0B7CE1E, 0x7EEDED2AED7E3BD6,
    0xDBCCCC49CCDB2EE2, 0x574242C642572A68,
    0xC29898B598C2B42C, 0x0EA4A4F1A40E49ED,
    0x8828287828885D75, 0x315C5CE45C31DA86,
    0x3FF8F815F83F936B, 0xA486869786A444C2,

}

var A2 = [256]uint64{
    0xD8781818281878C0, 0x26AF23236523AF05,
    0xB8F9C6C657C6F97E, 0xFB6FE8E825E86F13,
    0xCBA187879487A14C, 0x1162B8B8D5B862A9,
    0x0905010103010508, 0x0D6E4F4FD14F6E42,
    0x9BEE36365A36EEAD, 0xFF04A6A6F7A60459,
    0x0CBDD2D26BD2BDDE, 0x0E06F5F502F506FB,
    0x968079798B7980EF, 0x30CE6F6FB16FCE5F,
    0x6DEF9191AE91EFFC, 0xF8075252F65207AA,
    0x47FD6060A060FD27, 0x3576BCBCD9BC7689,
    0x37CD9B9BB09BCDAC, 0x8A8C8E8E8F8E8C04,
    0xD215A3A3F8A31571, 0x6C3C0C0C140C3C60,
    0x848A7B7B8D7B8AFF, 0x80E135355F35E1B5,
    0xF5691D1D271D69E8, 0xB347E0E03DE04753,
    0x21ACD7D764D7ACF6, 0x9CEDC2C25BC2ED5E,
    0x43962E2E722E966D, 0x297A4B4BDD4B7A62,
    0x5D21FEFE1FFE21A3, 0xD5165757F9571682,
    0xBD4115153F1541A8, 0xE8B677779977B69F,
    0x92EB37375937EBA5, 0x9E56E5E532E5567B,
    0x13D99F9FBC9FD98C, 0x2317F0F00DF017D3,
    0x207F4A4ADE4A7F6A, 0x4495DADA73DA959E,
    0xA2255858E85825FA, 0xCFCAC9C946C9CA06,
    0x7C8D29297B298D55, 0x5A220A0A1E0A2250,
    0x504FB1B1CEB14FE1, 0xC91AA0A0FDA01A69,
    0x14DA6B6BBD6BDA7F, 0xD9AB85859285AB5C,
    0x3C73BDBDDABD7381, 0x8F345D5DE75D34D2,
    0x9050101030105080, 0x0703F4F401F403F3,
    0xDDC0CBCB40CBC016, 0xD3C63E3E423EC6ED,
    0x2D1105050F051128, 0x78E66767A967E61F,
    0x9753E4E431E45373, 0x02BB27276927BB25,
    0x73584141C3415832, 0xA79D8B8B808B9D2C,
    0xF601A7A7F4A70151, 0xB2947D7D877D94CF,
    0x49FB9595A295FBDC, 0x569FD8D875D89F8E,
    0x7030FBFB10FB308B, 0xCD71EEEE2FEE7123,
    0xBB917C7C847C91C7, 0x71E36666AA66E317,
    0x7B8EDDDD7ADD8EA6, 0xAF4B171739174BB8,
    0x45464747C9474602, 0x1ADC9E9EBF9EDC84,
    0xD4C5CACA43CAC51E, 0x58992D2D772D9975,
    0x2E79BFBFDCBF7991, 0x3F1B070709071B38,
    0xAC23ADADEAAD2301, 0xB02F5A5AEE5A2FEA,
    0xEFB583839883B56C, 0xB6FF33335533FF85,
    0x5CF26363A563F23F, 0x120A020206020A10,
    0x9338AAAAE3AA3839, 0xDEA871719371A8AF,
    0xC6CFC8C845C8CF0E, 0xD17D19192B197DC8,
    0x3B704949DB497072, 0x5F9AD9D976D99A86,
    0x311DF2F20BF21DC3, 0xA848E3E338E3484B,
    0xB92A5B5BED5B2AE2, 0xBC92888885889234,
    0x3EC89A9AB39AC8A4, 0x0BBE26266A26BE2D,
    0xBFFA32325632FA8D, 0x594AB0B0CDB04AE9,
    0xF26AE9E926E96A1B, 0x77330F0F110F3378,
    0x33A6D5D562D5A6E6, 0xF4BA80809D80BA74,
    0x277CBEBEDFBE7C99, 0xEBDECDCD4ACDDE26,
    0x89E434345C34E4BD, 0x32754848D848757A,
    0x5424FFFF1CFF24AB, 0x8D8F7A7A8E7A8FF7,
    0x64EA9090AD90EAF4, 0x9D3E5F5FE15F3EC2,
    0x3DA020206020A01D, 0x0FD56868B868D567,
    0xCA721A1A2E1A72D0, 0xB72CAEAEEFAE2C19,
    0x7D5EB4B4C1B45EC9, 0xCE195454FC54199A,
    0x7FE59393A893E5EC, 0x2FAA22226622AA0D,
    0x63E96464AC64E907, 0x2A12F1F10EF112DB,
    0xCCA273739573A2BF, 0x825A121236125A90,
    0x7A5D4040C0405D3A, 0x4828080818082840,
    0x95E8C3C358C3E856, 0xDF7BECEC29EC7B33,
    0x4D90DBDB70DB9096, 0xC01FA1A1FEA11F61,
    0x91838D8D8A8D831C, 0xC8C93D3D473DC9F5,
    0x5BF19797A497F1CC, 0x0000000000000000,
    0xF9D4CFCF4CCFD436, 0x6E872B2B7D2B8745,
    0xE1B376769A76B397, 0xE6B082829B82B064,
    0x28A9D6D667D6A9FE, 0xC3771B1B2D1B77D8,
    0x745BB5B5C2B55BC1, 0xBE29AFAFECAF2911,
    0x1DDF6A6ABE6ADF77, 0xEA0D5050F0500DBA,
    0x574C4545CF454C12, 0x3818F3F308F318CB,
    0xADF030305030F09D, 0xC474EFEF2CEF742B,
    0xDAC33F3F413FC3E5, 0xC71C5555FF551C92,
    0xDB10A2A2FBA21079, 0xE965EAEA23EA6503,
    0x6AEC6565AF65EC0F, 0x0368BABAD3BA68B9,
    0x4A932F2F712F9365, 0x8EE7C0C05DC0E74E,
    0x6081DEDE7FDE81BE, 0xFC6C1C1C241C6CE0,
    0x462EFDFD1AFD2EBB, 0x1F644D4DD74D6452,
    0x76E09292AB92E0E4, 0xFABC75759F75BC8F,
    0x361E06060A061E30, 0xAE988A8A838A9824,
    0x4B40B2B2CBB240F9, 0x8559E6E637E65963,
    0x7E360E0E120E3670, 0xE7631F1F211F63F8,
    0x55F76262A662F737, 0x3AA3D4D461D4A3EE,
    0x8132A8A8E5A83229, 0x52F49696A796F4C4,
    0x623AF9F916F93A9B, 0xA3F6C5C552C5F666,
    0x10B125256F25B135, 0xAB205959EB5920F2,
    0xD0AE84849184AE54, 0xC5A772729672A7B7,
    0xECDD39394B39DDD5, 0x16614C4CD44C615A,
    0x943B5E5EE25E3BCA, 0x9F857878887885E7,
    0xE5D838384838D8DD, 0x98868C8C898C8614,
    0x17B2D1D16ED1B2C6, 0xE40BA5A5F2A50B41,
    0xA14DE2E23BE24D43, 0x4EF86161A361F82F,
    0x4245B3B3C8B345F1, 0x34A521216321A515,
    0x08D69C9CB99CD694, 0xEE661E1E221E66F0,
    0x61524343C5435222, 0xB1FCC7C754C7FC76,
    0x4F2BFCFC19FC2BB3, 0x241404040C041420,
    0xE3085151F35108B2, 0x25C79999B699C7BC,
    0x22C46D6DB76DC44F, 0x65390D0D170D3968,
    0x7935FAFA13FA3583, 0x6984DFDF7CDF84B6,
    0xA99B7E7E827E9BD7, 0x19B424246C24B43D,
    0xFED73B3B4D3BD7C5, 0x9A3DABABE0AB3D31,
    0xF0D1CECE4FCED13E, 0x9955111133115588,
    0x83898F8F8C8F890C, 0x046B4E4ED24E6B4A,
    0x6651B7B7C4B751D1, 0xE060EBEB20EB600B,
    0xC1CC3C3C443CCCFD, 0xFDBF81819E81BF7C,
    0x40FE9494A194FED4, 0x1C0CF7F704F70CEB,
    0x1867B9B9D6B967A1, 0x8B5F131335135F98,
    0x519C2C2C742C9C7D, 0x05B8D3D368D3B8D6,
    0x8C5CE7E734E75C6B, 0x39CB6E6EB26ECB57,
    0xAAF3C4C451C4F36E, 0x1B0F030305030F18,
    0xDC135656FA56138A, 0x5E494444CC44491A,
    0xA09E7F7F817F9EDF, 0x8837A9A9E6A93721,
    0x67822A2A7E2A824D, 0x0A6DBBBBD0BB6DB1,
    0x87E2C1C15EC1E246, 0xF1025353F55302A2,
    0x728BDCDC79DC8BAE, 0x53270B0B1D0B2758,
    0x01D39D9DBA9DD39C, 0x2BC16C6CB46CC147,
    0xA4F531315331F595, 0xF3B974749C74B987,
    0x1509F6F607F609E3, 0x4C434646CA46430A,
    0xA526ACACE9AC2609, 0xB59789898689973C,
    0xB44414143C1444A0, 0xBA42E1E13EE1425B,
    0xA64E16163A164EB0, 0xF7D23A3A4E3AD2CD,
    0x06D06969BB69D06F, 0x412D09091B092D48,
    0xD7AD70709070ADA7, 0x6F54B6B6C7B654D9,
    0x1EB7D0D06DD0B7CE, 0xD67EEDED2AED7E3B,
    0xE2DBCCCC49CCDB2E, 0x68574242C642572A,
    0x2CC29898B598C2B4, 0xED0EA4A4F1A40E49,
    0x758828287828885D, 0x86315C5CE45C31DA,
    0x6B3FF8F815F83F93, 0xC2A486869786A444,

}

var A3 = [256]uint64{
    0xC0D8781818281878, 0x0526AF23236523AF,
    0x7EB8F9C6C657C6F9, 0x13FB6FE8E825E86F,
    0x4CCBA187879487A1, 0xA91162B8B8D5B862,
    0x0809050101030105, 0x420D6E4F4FD14F6E,
    0xAD9BEE36365A36EE, 0x59FF04A6A6F7A604,
    0xDE0CBDD2D26BD2BD, 0xFB0E06F5F502F506,
    0xEF968079798B7980, 0x5F30CE6F6FB16FCE,
    0xFC6DEF9191AE91EF, 0xAAF8075252F65207,
    0x2747FD6060A060FD, 0x893576BCBCD9BC76,
    0xAC37CD9B9BB09BCD, 0x048A8C8E8E8F8E8C,
    0x71D215A3A3F8A315, 0x606C3C0C0C140C3C,
    0xFF848A7B7B8D7B8A, 0xB580E135355F35E1,
    0xE8F5691D1D271D69, 0x53B347E0E03DE047,
    0xF621ACD7D764D7AC, 0x5E9CEDC2C25BC2ED,
    0x6D43962E2E722E96, 0x62297A4B4BDD4B7A,
    0xA35D21FEFE1FFE21, 0x82D5165757F95716,
    0xA8BD4115153F1541, 0x9FE8B677779977B6,
    0xA592EB37375937EB, 0x7B9E56E5E532E556,
    0x8C13D99F9FBC9FD9, 0xD32317F0F00DF017,
    0x6A207F4A4ADE4A7F, 0x9E4495DADA73DA95,
    0xFAA2255858E85825, 0x06CFCAC9C946C9CA,
    0x557C8D29297B298D, 0x505A220A0A1E0A22,
    0xE1504FB1B1CEB14F, 0x69C91AA0A0FDA01A,
    0x7F14DA6B6BBD6BDA, 0x5CD9AB85859285AB,
    0x813C73BDBDDABD73, 0xD28F345D5DE75D34,
    0x8090501010301050, 0xF30703F4F401F403,
    0x16DDC0CBCB40CBC0, 0xEDD3C63E3E423EC6,
    0x282D1105050F0511, 0x1F78E66767A967E6,
    0x739753E4E431E453, 0x2502BB27276927BB,
    0x3273584141C34158, 0x2CA79D8B8B808B9D,
    0x51F601A7A7F4A701, 0xCFB2947D7D877D94,
    0xDC49FB9595A295FB, 0x8E569FD8D875D89F,
    0x8B7030FBFB10FB30, 0x23CD71EEEE2FEE71,
    0xC7BB917C7C847C91, 0x1771E36666AA66E3,
    0xA67B8EDDDD7ADD8E, 0xB8AF4B171739174B,
    0x0245464747C94746, 0x841ADC9E9EBF9EDC,
    0x1ED4C5CACA43CAC5, 0x7558992D2D772D99,
    0x912E79BFBFDCBF79, 0x383F1B070709071B,
    0x01AC23ADADEAAD23, 0xEAB02F5A5AEE5A2F,
    0x6CEFB583839883B5, 0x85B6FF33335533FF,
    0x3F5CF26363A563F2, 0x10120A020206020A,
    0x399338AAAAE3AA38, 0xAFDEA871719371A8,
    0x0EC6CFC8C845C8CF, 0xC8D17D19192B197D,
    0x723B704949DB4970, 0x865F9AD9D976D99A,
    0xC3311DF2F20BF21D, 0x4BA848E3E338E348,
    0xE2B92A5B5BED5B2A, 0x34BC928888858892,
    0xA43EC89A9AB39AC8, 0x2D0BBE26266A26BE,
    0x8DBFFA32325632FA, 0xE9594AB0B0CDB04A,
    0x1BF26AE9E926E96A, 0x7877330F0F110F33,
    0xE633A6D5D562D5A6, 0x74F4BA80809D80BA,
    0x99277CBEBEDFBE7C, 0x26EBDECDCD4ACDDE,
    0xBD89E434345C34E4, 0x7A32754848D84875,
    0xAB5424FFFF1CFF24, 0xF78D8F7A7A8E7A8F,
    0xF464EA9090AD90EA, 0xC29D3E5F5FE15F3E,
    0x1D3DA020206020A0, 0x670FD56868B868D5,
    0xD0CA721A1A2E1A72, 0x19B72CAEAEEFAE2C,
    0xC97D5EB4B4C1B45E, 0x9ACE195454FC5419,
    0xEC7FE59393A893E5, 0x0D2FAA22226622AA,
    0x0763E96464AC64E9, 0xDB2A12F1F10EF112,
    0xBFCCA273739573A2, 0x90825A121236125A,
    0x3A7A5D4040C0405D, 0x4048280808180828,
    0x5695E8C3C358C3E8, 0x33DF7BECEC29EC7B,
    0x964D90DBDB70DB90, 0x61C01FA1A1FEA11F,
    0x1C91838D8D8A8D83, 0xF5C8C93D3D473DC9,
    0xCC5BF19797A497F1, 0x0000000000000000,
    0x36F9D4CFCF4CCFD4, 0x456E872B2B7D2B87,
    0x97E1B376769A76B3, 0x64E6B082829B82B0,
    0xFE28A9D6D667D6A9, 0xD8C3771B1B2D1B77,
    0xC1745BB5B5C2B55B, 0x11BE29AFAFECAF29,
    0x771DDF6A6ABE6ADF, 0xBAEA0D5050F0500D,
    0x12574C4545CF454C, 0xCB3818F3F308F318,
    0x9DADF030305030F0, 0x2BC474EFEF2CEF74,
    0xE5DAC33F3F413FC3, 0x92C71C5555FF551C,
    0x79DB10A2A2FBA210, 0x03E965EAEA23EA65,
    0x0F6AEC6565AF65EC, 0xB90368BABAD3BA68,
    0x654A932F2F712F93, 0x4E8EE7C0C05DC0E7,
    0xBE6081DEDE7FDE81, 0xE0FC6C1C1C241C6C,
    0xBB462EFDFD1AFD2E, 0x521F644D4DD74D64,
    0xE476E09292AB92E0, 0x8FFABC75759F75BC,
    0x30361E06060A061E, 0x24AE988A8A838A98,
    0xF94B40B2B2CBB240, 0x638559E6E637E659,
    0x707E360E0E120E36, 0xF8E7631F1F211F63,
    0x3755F76262A662F7, 0xEE3AA3D4D461D4A3,
    0x298132A8A8E5A832, 0xC452F49696A796F4,
    0x9B623AF9F916F93A, 0x66A3F6C5C552C5F6,
    0x3510B125256F25B1, 0xF2AB205959EB5920,
    0x54D0AE84849184AE, 0xB7C5A772729672A7,
    0xD5ECDD39394B39DD, 0x5A16614C4CD44C61,
    0xCA943B5E5EE25E3B, 0xE79F857878887885,
    0xDDE5D838384838D8, 0x1498868C8C898C86,
    0xC617B2D1D16ED1B2, 0x41E40BA5A5F2A50B,
    0x43A14DE2E23BE24D, 0x2F4EF86161A361F8,
    0xF14245B3B3C8B345, 0x1534A521216321A5,
    0x9408D69C9CB99CD6, 0xF0EE661E1E221E66,
    0x2261524343C54352, 0x76B1FCC7C754C7FC,
    0xB34F2BFCFC19FC2B, 0x20241404040C0414,
    0xB2E3085151F35108, 0xBC25C79999B699C7,
    0x4F22C46D6DB76DC4, 0x6865390D0D170D39,
    0x837935FAFA13FA35, 0xB66984DFDF7CDF84,
    0xD7A99B7E7E827E9B, 0x3D19B424246C24B4,
    0xC5FED73B3B4D3BD7, 0x319A3DABABE0AB3D,
    0x3EF0D1CECE4FCED1, 0x8899551111331155,
    0x0C83898F8F8C8F89, 0x4A046B4E4ED24E6B,
    0xD16651B7B7C4B751, 0x0BE060EBEB20EB60,
    0xFDC1CC3C3C443CCC, 0x7CFDBF81819E81BF,
    0xD440FE9494A194FE, 0xEB1C0CF7F704F70C,
    0xA11867B9B9D6B967, 0x988B5F131335135F,
    0x7D519C2C2C742C9C, 0xD605B8D3D368D3B8,
    0x6B8C5CE7E734E75C, 0x5739CB6E6EB26ECB,
    0x6EAAF3C4C451C4F3, 0x181B0F030305030F,
    0x8ADC135656FA5613, 0x1A5E494444CC4449,
    0xDFA09E7F7F817F9E, 0x218837A9A9E6A937,
    0x4D67822A2A7E2A82, 0xB10A6DBBBBD0BB6D,
    0x4687E2C1C15EC1E2, 0xA2F1025353F55302,
    0xAE728BDCDC79DC8B, 0x5853270B0B1D0B27,
    0x9C01D39D9DBA9DD3, 0x472BC16C6CB46CC1,
    0x95A4F531315331F5, 0x87F3B974749C74B9,
    0xE31509F6F607F609, 0x0A4C434646CA4643,
    0x09A526ACACE9AC26, 0x3CB5978989868997,
    0xA0B44414143C1444, 0x5BBA42E1E13EE142,
    0xB0A64E16163A164E, 0xCDF7D23A3A4E3AD2,
    0x6F06D06969BB69D0, 0x48412D09091B092D,
    0xA7D7AD70709070AD, 0xD96F54B6B6C7B654,
    0xCE1EB7D0D06DD0B7, 0x3BD67EEDED2AED7E,
    0x2EE2DBCCCC49CCDB, 0x2A68574242C64257,
    0xB42CC29898B598C2, 0x49ED0EA4A4F1A40E,
    0x5D75882828782888, 0xDA86315C5CE45C31,
    0x936B3FF8F815F83F, 0x44C2A486869786A4,

}

var A4 = [256]uint64{
    0x78C0D87818182818, 0xAF0526AF23236523,
    0xF97EB8F9C6C657C6, 0x6F13FB6FE8E825E8,
    0xA14CCBA187879487, 0x62A91162B8B8D5B8,
    0x0508090501010301, 0x6E420D6E4F4FD14F,
    0xEEAD9BEE36365A36, 0x0459FF04A6A6F7A6,
    0xBDDE0CBDD2D26BD2, 0x06FB0E06F5F502F5,
    0x80EF968079798B79, 0xCE5F30CE6F6FB16F,
    0xEFFC6DEF9191AE91, 0x07AAF8075252F652,
    0xFD2747FD6060A060, 0x76893576BCBCD9BC,
    0xCDAC37CD9B9BB09B, 0x8C048A8C8E8E8F8E,
    0x1571D215A3A3F8A3, 0x3C606C3C0C0C140C,
    0x8AFF848A7B7B8D7B, 0xE1B580E135355F35,
    0x69E8F5691D1D271D, 0x4753B347E0E03DE0,
    0xACF621ACD7D764D7, 0xED5E9CEDC2C25BC2,
    0x966D43962E2E722E, 0x7A62297A4B4BDD4B,
    0x21A35D21FEFE1FFE, 0x1682D5165757F957,
    0x41A8BD4115153F15, 0xB69FE8B677779977,
    0xEBA592EB37375937, 0x567B9E56E5E532E5,
    0xD98C13D99F9FBC9F, 0x17D32317F0F00DF0,
    0x7F6A207F4A4ADE4A, 0x959E4495DADA73DA,
    0x25FAA2255858E858, 0xCA06CFCAC9C946C9,
    0x8D557C8D29297B29, 0x22505A220A0A1E0A,
    0x4FE1504FB1B1CEB1, 0x1A69C91AA0A0FDA0,
    0xDA7F14DA6B6BBD6B, 0xAB5CD9AB85859285,
    0x73813C73BDBDDABD, 0x34D28F345D5DE75D,
    0x5080905010103010, 0x03F30703F4F401F4,
    0xC016DDC0CBCB40CB, 0xC6EDD3C63E3E423E,
    0x11282D1105050F05, 0xE61F78E66767A967,
    0x53739753E4E431E4, 0xBB2502BB27276927,
    0x583273584141C341, 0x9D2CA79D8B8B808B,
    0x0151F601A7A7F4A7, 0x94CFB2947D7D877D,
    0xFBDC49FB9595A295, 0x9F8E569FD8D875D8,
    0x308B7030FBFB10FB, 0x7123CD71EEEE2FEE,
    0x91C7BB917C7C847C, 0xE31771E36666AA66,
    0x8EA67B8EDDDD7ADD, 0x4BB8AF4B17173917,
    0x460245464747C947, 0xDC841ADC9E9EBF9E,
    0xC51ED4C5CACA43CA, 0x997558992D2D772D,
    0x79912E79BFBFDCBF, 0x1B383F1B07070907,
    0x2301AC23ADADEAAD, 0x2FEAB02F5A5AEE5A,
    0xB56CEFB583839883, 0xFF85B6FF33335533,
    0xF23F5CF26363A563, 0x0A10120A02020602,
    0x38399338AAAAE3AA, 0xA8AFDEA871719371,
    0xCF0EC6CFC8C845C8, 0x7DC8D17D19192B19,
    0x70723B704949DB49, 0x9A865F9AD9D976D9,
    0x1DC3311DF2F20BF2, 0x484BA848E3E338E3,
    0x2AE2B92A5B5BED5B, 0x9234BC9288888588,
    0xC8A43EC89A9AB39A, 0xBE2D0BBE26266A26,
    0xFA8DBFFA32325632, 0x4AE9594AB0B0CDB0,
    0x6A1BF26AE9E926E9, 0x337877330F0F110F,
    0xA6E633A6D5D562D5, 0xBA74F4BA80809D80,
    0x7C99277CBEBEDFBE, 0xDE26EBDECDCD4ACD,
    0xE4BD89E434345C34, 0x757A32754848D848,
    0x24AB5424FFFF1CFF, 0x8FF78D8F7A7A8E7A,
    0xEAF464EA9090AD90, 0x3EC29D3E5F5FE15F,
    0xA01D3DA020206020, 0xD5670FD56868B868,
    0x72D0CA721A1A2E1A, 0x2C19B72CAEAEEFAE,
    0x5EC97D5EB4B4C1B4, 0x199ACE195454FC54,
    0xE5EC7FE59393A893, 0xAA0D2FAA22226622,
    0xE90763E96464AC64, 0x12DB2A12F1F10EF1,
    0xA2BFCCA273739573, 0x5A90825A12123612,
    0x5D3A7A5D4040C040, 0x2840482808081808,
    0xE85695E8C3C358C3, 0x7B33DF7BECEC29EC,
    0x90964D90DBDB70DB, 0x1F61C01FA1A1FEA1,
    0x831C91838D8D8A8D, 0xC9F5C8C93D3D473D,
    0xF1CC5BF19797A497, 0x0000000000000000,
    0xD436F9D4CFCF4CCF, 0x87456E872B2B7D2B,
    0xB397E1B376769A76, 0xB064E6B082829B82,
    0xA9FE28A9D6D667D6, 0x77D8C3771B1B2D1B,
    0x5BC1745BB5B5C2B5, 0x2911BE29AFAFECAF,
    0xDF771DDF6A6ABE6A, 0x0DBAEA0D5050F050,
    0x4C12574C4545CF45, 0x18CB3818F3F308F3,
    0xF09DADF030305030, 0x742BC474EFEF2CEF,
    0xC3E5DAC33F3F413F, 0x1C92C71C5555FF55,
    0x1079DB10A2A2FBA2, 0x6503E965EAEA23EA,
    0xEC0F6AEC6565AF65, 0x68B90368BABAD3BA,
    0x93654A932F2F712F, 0xE74E8EE7C0C05DC0,
    0x81BE6081DEDE7FDE, 0x6CE0FC6C1C1C241C,
    0x2EBB462EFDFD1AFD, 0x64521F644D4DD74D,
    0xE0E476E09292AB92, 0xBC8FFABC75759F75,
    0x1E30361E06060A06, 0x9824AE988A8A838A,
    0x40F94B40B2B2CBB2, 0x59638559E6E637E6,
    0x36707E360E0E120E, 0x63F8E7631F1F211F,
    0xF73755F76262A662, 0xA3EE3AA3D4D461D4,
    0x32298132A8A8E5A8, 0xF4C452F49696A796,
    0x3A9B623AF9F916F9, 0xF666A3F6C5C552C5,
    0xB13510B125256F25, 0x20F2AB205959EB59,
    0xAE54D0AE84849184, 0xA7B7C5A772729672,
    0xDDD5ECDD39394B39, 0x615A16614C4CD44C,
    0x3BCA943B5E5EE25E, 0x85E79F8578788878,
    0xD8DDE5D838384838, 0x861498868C8C898C,
    0xB2C617B2D1D16ED1, 0x0B41E40BA5A5F2A5,
    0x4D43A14DE2E23BE2, 0xF82F4EF86161A361,
    0x45F14245B3B3C8B3, 0xA51534A521216321,
    0xD69408D69C9CB99C, 0x66F0EE661E1E221E,
    0x522261524343C543, 0xFC76B1FCC7C754C7,
    0x2BB34F2BFCFC19FC, 0x1420241404040C04,
    0x08B2E3085151F351, 0xC7BC25C79999B699,
    0xC44F22C46D6DB76D, 0x396865390D0D170D,
    0x35837935FAFA13FA, 0x84B66984DFDF7CDF,
    0x9BD7A99B7E7E827E, 0xB43D19B424246C24,
    0xD7C5FED73B3B4D3B, 0x3D319A3DABABE0AB,
    0xD13EF0D1CECE4FCE, 0x5588995511113311,
    0x890C83898F8F8C8F, 0x6B4A046B4E4ED24E,
    0x51D16651B7B7C4B7, 0x600BE060EBEB20EB,
    0xCCFDC1CC3C3C443C, 0xBF7CFDBF81819E81,
    0xFED440FE9494A194, 0x0CEB1C0CF7F704F7,
    0x67A11867B9B9D6B9, 0x5F988B5F13133513,
    0x9C7D519C2C2C742C, 0xB8D605B8D3D368D3,
    0x5C6B8C5CE7E734E7, 0xCB5739CB6E6EB26E,
    0xF36EAAF3C4C451C4, 0x0F181B0F03030503,
    0x138ADC135656FA56, 0x491A5E494444CC44,
    0x9EDFA09E7F7F817F, 0x37218837A9A9E6A9,
    0x824D67822A2A7E2A, 0x6DB10A6DBBBBD0BB,
    0xE24687E2C1C15EC1, 0x02A2F1025353F553,
    0x8BAE728BDCDC79DC, 0x275853270B0B1D0B,
    0xD39C01D39D9DBA9D, 0xC1472BC16C6CB46C,
    0xF595A4F531315331, 0xB987F3B974749C74,
    0x09E31509F6F607F6, 0x430A4C434646CA46,
    0x2609A526ACACE9AC, 0x973CB59789898689,
    0x44A0B44414143C14, 0x425BBA42E1E13EE1,
    0x4EB0A64E16163A16, 0xD2CDF7D23A3A4E3A,
    0xD06F06D06969BB69, 0x2D48412D09091B09,
    0xADA7D7AD70709070, 0x54D96F54B6B6C7B6,
    0xB7CE1EB7D0D06DD0, 0x7E3BD67EEDED2AED,
    0xDB2EE2DBCCCC49CC, 0x572A68574242C642,
    0xC2B42CC29898B598, 0x0E49ED0EA4A4F1A4,
    0x885D758828287828, 0x31DA86315C5CE45C,
    0x3F936B3FF8F815F8, 0xA444C2A486869786,

}

var A5 = [256]uint64{
    0x1878C0D878181828, 0x23AF0526AF232365,
    0xC6F97EB8F9C6C657, 0xE86F13FB6FE8E825,
    0x87A14CCBA1878794, 0xB862A91162B8B8D5,
    0x0105080905010103, 0x4F6E420D6E4F4FD1,
    0x36EEAD9BEE36365A, 0xA60459FF04A6A6F7,
    0xD2BDDE0CBDD2D26B, 0xF506FB0E06F5F502,
    0x7980EF968079798B, 0x6FCE5F30CE6F6FB1,
    0x91EFFC6DEF9191AE, 0x5207AAF8075252F6,
    0x60FD2747FD6060A0, 0xBC76893576BCBCD9,
    0x9BCDAC37CD9B9BB0, 0x8E8C048A8C8E8E8F,
    0xA31571D215A3A3F8, 0x0C3C606C3C0C0C14,
    0x7B8AFF848A7B7B8D, 0x35E1B580E135355F,
    0x1D69E8F5691D1D27, 0xE04753B347E0E03D,
    0xD7ACF621ACD7D764, 0xC2ED5E9CEDC2C25B,
    0x2E966D43962E2E72, 0x4B7A62297A4B4BDD,
    0xFE21A35D21FEFE1F, 0x571682D5165757F9,
    0x1541A8BD4115153F, 0x77B69FE8B6777799,
    0x37EBA592EB373759, 0xE5567B9E56E5E532,
    0x9FD98C13D99F9FBC, 0xF017D32317F0F00D,
    0x4A7F6A207F4A4ADE, 0xDA959E4495DADA73,
    0x5825FAA2255858E8, 0xC9CA06CFCAC9C946,
    0x298D557C8D29297B, 0x0A22505A220A0A1E,
    0xB14FE1504FB1B1CE, 0xA01A69C91AA0A0FD,
    0x6BDA7F14DA6B6BBD, 0x85AB5CD9AB858592,
    0xBD73813C73BDBDDA, 0x5D34D28F345D5DE7,
    0x1050809050101030, 0xF403F30703F4F401,
    0xCBC016DDC0CBCB40, 0x3EC6EDD3C63E3E42,
    0x0511282D1105050F, 0x67E61F78E66767A9,
    0xE453739753E4E431, 0x27BB2502BB272769,
    0x41583273584141C3, 0x8B9D2CA79D8B8B80,
    0xA70151F601A7A7F4, 0x7D94CFB2947D7D87,
    0x95FBDC49FB9595A2, 0xD89F8E569FD8D875,
    0xFB308B7030FBFB10, 0xEE7123CD71EEEE2F,
    0x7C91C7BB917C7C84, 0x66E31771E36666AA,
    0xDD8EA67B8EDDDD7A, 0x174BB8AF4B171739,
    0x47460245464747C9, 0x9EDC841ADC9E9EBF,
    0xCAC51ED4C5CACA43, 0x2D997558992D2D77,
    0xBF79912E79BFBFDC, 0x071B383F1B070709,
    0xAD2301AC23ADADEA, 0x5A2FEAB02F5A5AEE,
    0x83B56CEFB5838398, 0x33FF85B6FF333355,
    0x63F23F5CF26363A5, 0x020A10120A020206,
    0xAA38399338AAAAE3, 0x71A8AFDEA8717193,
    0xC8CF0EC6CFC8C845, 0x197DC8D17D19192B,
    0x4970723B704949DB, 0xD99A865F9AD9D976,
    0xF21DC3311DF2F20B, 0xE3484BA848E3E338,
    0x5B2AE2B92A5B5BED, 0x889234BC92888885,
    0x9AC8A43EC89A9AB3, 0x26BE2D0BBE26266A,
    0x32FA8DBFFA323256, 0xB04AE9594AB0B0CD,
    0xE96A1BF26AE9E926, 0x0F337877330F0F11,
    0xD5A6E633A6D5D562, 0x80BA74F4BA80809D,
    0xBE7C99277CBEBEDF, 0xCDDE26EBDECDCD4A,
    0x34E4BD89E434345C, 0x48757A32754848D8,
    0xFF24AB5424FFFF1C, 0x7A8FF78D8F7A7A8E,
    0x90EAF464EA9090AD, 0x5F3EC29D3E5F5FE1,
    0x20A01D3DA0202060, 0x68D5670FD56868B8,
    0x1A72D0CA721A1A2E, 0xAE2C19B72CAEAEEF,
    0xB45EC97D5EB4B4C1, 0x54199ACE195454FC,
    0x93E5EC7FE59393A8, 0x22AA0D2FAA222266,
    0x64E90763E96464AC, 0xF112DB2A12F1F10E,
    0x73A2BFCCA2737395, 0x125A90825A121236,
    0x405D3A7A5D4040C0, 0x0828404828080818,
    0xC3E85695E8C3C358, 0xEC7B33DF7BECEC29,
    0xDB90964D90DBDB70, 0xA11F61C01FA1A1FE,
    0x8D831C91838D8D8A, 0x3DC9F5C8C93D3D47,
    0x97F1CC5BF19797A4, 0x0000000000000000,
    0xCFD436F9D4CFCF4C, 0x2B87456E872B2B7D,
    0x76B397E1B376769A, 0x82B064E6B082829B,
    0xD6A9FE28A9D6D667, 0x1B77D8C3771B1B2D,
    0xB55BC1745BB5B5C2, 0xAF2911BE29AFAFEC,
    0x6ADF771DDF6A6ABE, 0x500DBAEA0D5050F0,
    0x454C12574C4545CF, 0xF318CB3818F3F308,
    0x30F09DADF0303050, 0xEF742BC474EFEF2C,
    0x3FC3E5DAC33F3F41, 0x551C92C71C5555FF,
    0xA21079DB10A2A2FB, 0xEA6503E965EAEA23,
    0x65EC0F6AEC6565AF, 0xBA68B90368BABAD3,
    0x2F93654A932F2F71, 0xC0E74E8EE7C0C05D,
    0xDE81BE6081DEDE7F, 0x1C6CE0FC6C1C1C24,
    0xFD2EBB462EFDFD1A, 0x4D64521F644D4DD7,
    0x92E0E476E09292AB, 0x75BC8FFABC75759F,
    0x061E30361E06060A, 0x8A9824AE988A8A83,
    0xB240F94B40B2B2CB, 0xE659638559E6E637,
    0x0E36707E360E0E12, 0x1F63F8E7631F1F21,
    0x62F73755F76262A6, 0xD4A3EE3AA3D4D461,
    0xA832298132A8A8E5, 0x96F4C452F49696A7,
    0xF93A9B623AF9F916, 0xC5F666A3F6C5C552,
    0x25B13510B125256F, 0x5920F2AB205959EB,
    0x84AE54D0AE848491, 0x72A7B7C5A7727296,
    0x39DDD5ECDD39394B, 0x4C615A16614C4CD4,
    0x5E3BCA943B5E5EE2, 0x7885E79F85787888,
    0x38D8DDE5D8383848, 0x8C861498868C8C89,
    0xD1B2C617B2D1D16E, 0xA50B41E40BA5A5F2,
    0xE24D43A14DE2E23B, 0x61F82F4EF86161A3,
    0xB345F14245B3B3C8, 0x21A51534A5212163,
    0x9CD69408D69C9CB9, 0x1E66F0EE661E1E22,
    0x43522261524343C5, 0xC7FC76B1FCC7C754,
    0xFC2BB34F2BFCFC19, 0x041420241404040C,
    0x5108B2E3085151F3, 0x99C7BC25C79999B6,
    0x6DC44F22C46D6DB7, 0x0D396865390D0D17,
    0xFA35837935FAFA13, 0xDF84B66984DFDF7C,
    0x7E9BD7A99B7E7E82, 0x24B43D19B424246C,
    0x3BD7C5FED73B3B4D, 0xAB3D319A3DABABE0,
    0xCED13EF0D1CECE4F, 0x1155889955111133,
    0x8F890C83898F8F8C, 0x4E6B4A046B4E4ED2,
    0xB751D16651B7B7C4, 0xEB600BE060EBEB20,
    0x3CCCFDC1CC3C3C44, 0x81BF7CFDBF81819E,
    0x94FED440FE9494A1, 0xF70CEB1C0CF7F704,
    0xB967A11867B9B9D6, 0x135F988B5F131335,
    0x2C9C7D519C2C2C74, 0xD3B8D605B8D3D368,
    0xE75C6B8C5CE7E734, 0x6ECB5739CB6E6EB2,
    0xC4F36EAAF3C4C451, 0x030F181B0F030305,
    0x56138ADC135656FA, 0x44491A5E494444CC,
    0x7F9EDFA09E7F7F81, 0xA937218837A9A9E6,
    0x2A824D67822A2A7E, 0xBB6DB10A6DBBBBD0,
    0xC1E24687E2C1C15E, 0x5302A2F1025353F5,
    0xDC8BAE728BDCDC79, 0x0B275853270B0B1D,
    0x9DD39C01D39D9DBA, 0x6CC1472BC16C6CB4,
    0x31F595A4F5313153, 0x74B987F3B974749C,
    0xF609E31509F6F607, 0x46430A4C434646CA,
    0xAC2609A526ACACE9, 0x89973CB597898986,
    0x1444A0B44414143C, 0xE1425BBA42E1E13E,
    0x164EB0A64E16163A, 0x3AD2CDF7D23A3A4E,
    0x69D06F06D06969BB, 0x092D48412D09091B,
    0x70ADA7D7AD707090, 0xB654D96F54B6B6C7,
    0xD0B7CE1EB7D0D06D, 0xED7E3BD67EEDED2A,
    0xCCDB2EE2DBCCCC49, 0x42572A68574242C6,
    0x98C2B42CC29898B5, 0xA40E49ED0EA4A4F1,
    0x28885D7588282878, 0x5C31DA86315C5CE4,
    0xF83F936B3FF8F815, 0x86A444C2A4868697,

}

var A6 = [256]uint64{
    0x281878C0D8781818, 0x6523AF0526AF2323,
    0x57C6F97EB8F9C6C6, 0x25E86F13FB6FE8E8,
    0x9487A14CCBA18787, 0xD5B862A91162B8B8,
    0x0301050809050101, 0xD14F6E420D6E4F4F,
    0x5A36EEAD9BEE3636, 0xF7A60459FF04A6A6,
    0x6BD2BDDE0CBDD2D2, 0x02F506FB0E06F5F5,
    0x8B7980EF96807979, 0xB16FCE5F30CE6F6F,
    0xAE91EFFC6DEF9191, 0xF65207AAF8075252,
    0xA060FD2747FD6060, 0xD9BC76893576BCBC,
    0xB09BCDAC37CD9B9B, 0x8F8E8C048A8C8E8E,
    0xF8A31571D215A3A3, 0x140C3C606C3C0C0C,
    0x8D7B8AFF848A7B7B, 0x5F35E1B580E13535,
    0x271D69E8F5691D1D, 0x3DE04753B347E0E0,
    0x64D7ACF621ACD7D7, 0x5BC2ED5E9CEDC2C2,
    0x722E966D43962E2E, 0xDD4B7A62297A4B4B,
    0x1FFE21A35D21FEFE, 0xF9571682D5165757,
    0x3F1541A8BD411515, 0x9977B69FE8B67777,
    0x5937EBA592EB3737, 0x32E5567B9E56E5E5,
    0xBC9FD98C13D99F9F, 0x0DF017D32317F0F0,
    0xDE4A7F6A207F4A4A, 0x73DA959E4495DADA,
    0xE85825FAA2255858, 0x46C9CA06CFCAC9C9,
    0x7B298D557C8D2929, 0x1E0A22505A220A0A,
    0xCEB14FE1504FB1B1, 0xFDA01A69C91AA0A0,
    0xBD6BDA7F14DA6B6B, 0x9285AB5CD9AB8585,
    0xDABD73813C73BDBD, 0xE75D34D28F345D5D,
    0x3010508090501010, 0x01F403F30703F4F4,
    0x40CBC016DDC0CBCB, 0x423EC6EDD3C63E3E,
    0x0F0511282D110505, 0xA967E61F78E66767,
    0x31E453739753E4E4, 0x6927BB2502BB2727,
    0xC341583273584141, 0x808B9D2CA79D8B8B,
    0xF4A70151F601A7A7, 0x877D94CFB2947D7D,
    0xA295FBDC49FB9595, 0x75D89F8E569FD8D8,
    0x10FB308B7030FBFB, 0x2FEE7123CD71EEEE,
    0x847C91C7BB917C7C, 0xAA66E31771E36666,
    0x7ADD8EA67B8EDDDD, 0x39174BB8AF4B1717,
    0xC947460245464747, 0xBF9EDC841ADC9E9E,
    0x43CAC51ED4C5CACA, 0x772D997558992D2D,
    0xDCBF79912E79BFBF, 0x09071B383F1B0707,
    0xEAAD2301AC23ADAD, 0xEE5A2FEAB02F5A5A,
    0x9883B56CEFB58383, 0x5533FF85B6FF3333,
    0xA563F23F5CF26363, 0x06020A10120A0202,
    0xE3AA38399338AAAA, 0x9371A8AFDEA87171,
    0x45C8CF0EC6CFC8C8, 0x2B197DC8D17D1919,
    0xDB4970723B704949, 0x76D99A865F9AD9D9,
    0x0BF21DC3311DF2F2, 0x38E3484BA848E3E3,
    0xED5B2AE2B92A5B5B, 0x85889234BC928888,
    0xB39AC8A43EC89A9A, 0x6A26BE2D0BBE2626,
    0x5632FA8DBFFA3232, 0xCDB04AE9594AB0B0,
    0x26E96A1BF26AE9E9, 0x110F337877330F0F,
    0x62D5A6E633A6D5D5, 0x9D80BA74F4BA8080,
    0xDFBE7C99277CBEBE, 0x4ACDDE26EBDECDCD,
    0x5C34E4BD89E43434, 0xD848757A32754848,
    0x1CFF24AB5424FFFF, 0x8E7A8FF78D8F7A7A,
    0xAD90EAF464EA9090, 0xE15F3EC29D3E5F5F,
    0x6020A01D3DA02020, 0xB868D5670FD56868,
    0x2E1A72D0CA721A1A, 0xEFAE2C19B72CAEAE,
    0xC1B45EC97D5EB4B4, 0xFC54199ACE195454,
    0xA893E5EC7FE59393, 0x6622AA0D2FAA2222,
    0xAC64E90763E96464, 0x0EF112DB2A12F1F1,
    0x9573A2BFCCA27373, 0x36125A90825A1212,
    0xC0405D3A7A5D4040, 0x1808284048280808,
    0x58C3E85695E8C3C3, 0x29EC7B33DF7BECEC,
    0x70DB90964D90DBDB, 0xFEA11F61C01FA1A1,
    0x8A8D831C91838D8D, 0x473DC9F5C8C93D3D,
    0xA497F1CC5BF19797, 0x0000000000000000,
    0x4CCFD436F9D4CFCF, 0x7D2B87456E872B2B,
    0x9A76B397E1B37676, 0x9B82B064E6B08282,
    0x67D6A9FE28A9D6D6, 0x2D1B77D8C3771B1B,
    0xC2B55BC1745BB5B5, 0xECAF2911BE29AFAF,
    0xBE6ADF771DDF6A6A, 0xF0500DBAEA0D5050,
    0xCF454C12574C4545, 0x08F318CB3818F3F3,
    0x5030F09DADF03030, 0x2CEF742BC474EFEF,
    0x413FC3E5DAC33F3F, 0xFF551C92C71C5555,
    0xFBA21079DB10A2A2, 0x23EA6503E965EAEA,
    0xAF65EC0F6AEC6565, 0xD3BA68B90368BABA,
    0x712F93654A932F2F, 0x5DC0E74E8EE7C0C0,
    0x7FDE81BE6081DEDE, 0x241C6CE0FC6C1C1C,
    0x1AFD2EBB462EFDFD, 0xD74D64521F644D4D,
    0xAB92E0E476E09292, 0x9F75BC8FFABC7575,
    0x0A061E30361E0606, 0x838A9824AE988A8A,
    0xCBB240F94B40B2B2, 0x37E659638559E6E6,
    0x120E36707E360E0E, 0x211F63F8E7631F1F,
    0xA662F73755F76262, 0x61D4A3EE3AA3D4D4,
    0xE5A832298132A8A8, 0xA796F4C452F49696,
    0x16F93A9B623AF9F9, 0x52C5F666A3F6C5C5,
    0x6F25B13510B12525, 0xEB5920F2AB205959,
    0x9184AE54D0AE8484, 0x9672A7B7C5A77272,
    0x4B39DDD5ECDD3939, 0xD44C615A16614C4C,
    0xE25E3BCA943B5E5E, 0x887885E79F857878,
    0x4838D8DDE5D83838, 0x898C861498868C8C,
    0x6ED1B2C617B2D1D1, 0xF2A50B41E40BA5A5,
    0x3BE24D43A14DE2E2, 0xA361F82F4EF86161,
    0xC8B345F14245B3B3, 0x6321A51534A52121,
    0xB99CD69408D69C9C, 0x221E66F0EE661E1E,
    0xC543522261524343, 0x54C7FC76B1FCC7C7,
    0x19FC2BB34F2BFCFC, 0x0C04142024140404,
    0xF35108B2E3085151, 0xB699C7BC25C79999,
    0xB76DC44F22C46D6D, 0x170D396865390D0D,
    0x13FA35837935FAFA, 0x7CDF84B66984DFDF,
    0x827E9BD7A99B7E7E, 0x6C24B43D19B42424,
    0x4D3BD7C5FED73B3B, 0xE0AB3D319A3DABAB,
    0x4FCED13EF0D1CECE, 0x3311558899551111,
    0x8C8F890C83898F8F, 0xD24E6B4A046B4E4E,
    0xC4B751D16651B7B7, 0x20EB600BE060EBEB,
    0x443CCCFDC1CC3C3C, 0x9E81BF7CFDBF8181,
    0xA194FED440FE9494, 0x04F70CEB1C0CF7F7,
    0xD6B967A11867B9B9, 0x35135F988B5F1313,
    0x742C9C7D519C2C2C, 0x68D3B8D605B8D3D3,
    0x34E75C6B8C5CE7E7, 0xB26ECB5739CB6E6E,
    0x51C4F36EAAF3C4C4, 0x05030F181B0F0303,
    0xFA56138ADC135656, 0xCC44491A5E494444,
    0x817F9EDFA09E7F7F, 0xE6A937218837A9A9,
    0x7E2A824D67822A2A, 0xD0BB6DB10A6DBBBB,
    0x5EC1E24687E2C1C1, 0xF55302A2F1025353,
    0x79DC8BAE728BDCDC, 0x1D0B275853270B0B,
    0xBA9DD39C01D39D9D, 0xB46CC1472BC16C6C,
    0x5331F595A4F53131, 0x9C74B987F3B97474,
    0x07F609E31509F6F6, 0xCA46430A4C434646,
    0xE9AC2609A526ACAC, 0x8689973CB5978989,
    0x3C1444A0B4441414, 0x3EE1425BBA42E1E1,
    0x3A164EB0A64E1616, 0x4E3AD2CDF7D23A3A,
    0xBB69D06F06D06969, 0x1B092D48412D0909,
    0x9070ADA7D7AD7070, 0xC7B654D96F54B6B6,
    0x6DD0B7CE1EB7D0D0, 0x2AED7E3BD67EEDED,
    0x49CCDB2EE2DBCCCC, 0xC642572A68574242,
    0xB598C2B42CC29898, 0xF1A40E49ED0EA4A4,
    0x7828885D75882828, 0xE45C31DA86315C5C,
    0x15F83F936B3FF8F8, 0x9786A444C2A48686,

}

var A7 = [256]uint64{
    0x18281878C0D87818, 0x236523AF0526AF23,
    0xC657C6F97EB8F9C6, 0xE825E86F13FB6FE8,
    0x879487A14CCBA187, 0xB8D5B862A91162B8,
    0x0103010508090501, 0x4FD14F6E420D6E4F,
    0x365A36EEAD9BEE36, 0xA6F7A60459FF04A6,
    0xD26BD2BDDE0CBDD2, 0xF502F506FB0E06F5,
    0x798B7980EF968079, 0x6FB16FCE5F30CE6F,
    0x91AE91EFFC6DEF91, 0x52F65207AAF80752,
    0x60A060FD2747FD60, 0xBCD9BC76893576BC,
    0x9BB09BCDAC37CD9B, 0x8E8F8E8C048A8C8E,
    0xA3F8A31571D215A3, 0x0C140C3C606C3C0C,
    0x7B8D7B8AFF848A7B, 0x355F35E1B580E135,
    0x1D271D69E8F5691D, 0xE03DE04753B347E0,
    0xD764D7ACF621ACD7, 0xC25BC2ED5E9CEDC2,
    0x2E722E966D43962E, 0x4BDD4B7A62297A4B,
    0xFE1FFE21A35D21FE, 0x57F9571682D51657,
    0x153F1541A8BD4115, 0x779977B69FE8B677,
    0x375937EBA592EB37, 0xE532E5567B9E56E5,
    0x9FBC9FD98C13D99F, 0xF00DF017D32317F0,
    0x4ADE4A7F6A207F4A, 0xDA73DA959E4495DA,
    0x58E85825FAA22558, 0xC946C9CA06CFCAC9,
    0x297B298D557C8D29, 0x0A1E0A22505A220A,
    0xB1CEB14FE1504FB1, 0xA0FDA01A69C91AA0,
    0x6BBD6BDA7F14DA6B, 0x859285AB5CD9AB85,
    0xBDDABD73813C73BD, 0x5DE75D34D28F345D,
    0x1030105080905010, 0xF401F403F30703F4,
    0xCB40CBC016DDC0CB, 0x3E423EC6EDD3C63E,
    0x050F0511282D1105, 0x67A967E61F78E667,
    0xE431E453739753E4, 0x276927BB2502BB27,
    0x41C3415832735841, 0x8B808B9D2CA79D8B,
    0xA7F4A70151F601A7, 0x7D877D94CFB2947D,
    0x95A295FBDC49FB95, 0xD875D89F8E569FD8,
    0xFB10FB308B7030FB, 0xEE2FEE7123CD71EE,
    0x7C847C91C7BB917C, 0x66AA66E31771E366,
    0xDD7ADD8EA67B8EDD, 0x1739174BB8AF4B17,
    0x47C9474602454647, 0x9EBF9EDC841ADC9E,
    0xCA43CAC51ED4C5CA, 0x2D772D997558992D,
    0xBFDCBF79912E79BF, 0x0709071B383F1B07,
    0xADEAAD2301AC23AD, 0x5AEE5A2FEAB02F5A,
    0x839883B56CEFB583, 0x335533FF85B6FF33,
    0x63A563F23F5CF263, 0x0206020A10120A02,
    0xAAE3AA38399338AA, 0x719371A8AFDEA871,
    0xC845C8CF0EC6CFC8, 0x192B197DC8D17D19,
    0x49DB4970723B7049, 0xD976D99A865F9AD9,
    0xF20BF21DC3311DF2, 0xE338E3484BA848E3,
    0x5BED5B2AE2B92A5B, 0x8885889234BC9288,
    0x9AB39AC8A43EC89A, 0x266A26BE2D0BBE26,
    0x325632FA8DBFFA32, 0xB0CDB04AE9594AB0,
    0xE926E96A1BF26AE9, 0x0F110F337877330F,
    0xD562D5A6E633A6D5, 0x809D80BA74F4BA80,
    0xBEDFBE7C99277CBE, 0xCD4ACDDE26EBDECD,
    0x345C34E4BD89E434, 0x48D848757A327548,
    0xFF1CFF24AB5424FF, 0x7A8E7A8FF78D8F7A,
    0x90AD90EAF464EA90, 0x5FE15F3EC29D3E5F,
    0x206020A01D3DA020, 0x68B868D5670FD568,
    0x1A2E1A72D0CA721A, 0xAEEFAE2C19B72CAE,
    0xB4C1B45EC97D5EB4, 0x54FC54199ACE1954,
    0x93A893E5EC7FE593, 0x226622AA0D2FAA22,
    0x64AC64E90763E964, 0xF10EF112DB2A12F1,
    0x739573A2BFCCA273, 0x1236125A90825A12,
    0x40C0405D3A7A5D40, 0x0818082840482808,
    0xC358C3E85695E8C3, 0xEC29EC7B33DF7BEC,
    0xDB70DB90964D90DB, 0xA1FEA11F61C01FA1,
    0x8D8A8D831C91838D, 0x3D473DC9F5C8C93D,
    0x97A497F1CC5BF197, 0x0000000000000000,
    0xCF4CCFD436F9D4CF, 0x2B7D2B87456E872B,
    0x769A76B397E1B376, 0x829B82B064E6B082,
    0xD667D6A9FE28A9D6, 0x1B2D1B77D8C3771B,
    0xB5C2B55BC1745BB5, 0xAFECAF2911BE29AF,
    0x6ABE6ADF771DDF6A, 0x50F0500DBAEA0D50,
    0x45CF454C12574C45, 0xF308F318CB3818F3,
    0x305030F09DADF030, 0xEF2CEF742BC474EF,
    0x3F413FC3E5DAC33F, 0x55FF551C92C71C55,
    0xA2FBA21079DB10A2, 0xEA23EA6503E965EA,
    0x65AF65EC0F6AEC65, 0xBAD3BA68B90368BA,
    0x2F712F93654A932F, 0xC05DC0E74E8EE7C0,
    0xDE7FDE81BE6081DE, 0x1C241C6CE0FC6C1C,
    0xFD1AFD2EBB462EFD, 0x4DD74D64521F644D,
    0x92AB92E0E476E092, 0x759F75BC8FFABC75,
    0x060A061E30361E06, 0x8A838A9824AE988A,
    0xB2CBB240F94B40B2, 0xE637E659638559E6,
    0x0E120E36707E360E, 0x1F211F63F8E7631F,
    0x62A662F73755F762, 0xD461D4A3EE3AA3D4,
    0xA8E5A832298132A8, 0x96A796F4C452F496,
    0xF916F93A9B623AF9, 0xC552C5F666A3F6C5,
    0x256F25B13510B125, 0x59EB5920F2AB2059,
    0x849184AE54D0AE84, 0x729672A7B7C5A772,
    0x394B39DDD5ECDD39, 0x4CD44C615A16614C,
    0x5EE25E3BCA943B5E, 0x78887885E79F8578,
    0x384838D8DDE5D838, 0x8C898C861498868C,
    0xD16ED1B2C617B2D1, 0xA5F2A50B41E40BA5,
    0xE23BE24D43A14DE2, 0x61A361F82F4EF861,
    0xB3C8B345F14245B3, 0x216321A51534A521,
    0x9CB99CD69408D69C, 0x1E221E66F0EE661E,
    0x43C5435222615243, 0xC754C7FC76B1FCC7,
    0xFC19FC2BB34F2BFC, 0x040C041420241404,
    0x51F35108B2E30851, 0x99B699C7BC25C799,
    0x6DB76DC44F22C46D, 0x0D170D396865390D,
    0xFA13FA35837935FA, 0xDF7CDF84B66984DF,
    0x7E827E9BD7A99B7E, 0x246C24B43D19B424,
    0x3B4D3BD7C5FED73B, 0xABE0AB3D319A3DAB,
    0xCE4FCED13EF0D1CE, 0x1133115588995511,
    0x8F8C8F890C83898F, 0x4ED24E6B4A046B4E,
    0xB7C4B751D16651B7, 0xEB20EB600BE060EB,
    0x3C443CCCFDC1CC3C, 0x819E81BF7CFDBF81,
    0x94A194FED440FE94, 0xF704F70CEB1C0CF7,
    0xB9D6B967A11867B9, 0x1335135F988B5F13,
    0x2C742C9C7D519C2C, 0xD368D3B8D605B8D3,
    0xE734E75C6B8C5CE7, 0x6EB26ECB5739CB6E,
    0xC451C4F36EAAF3C4, 0x0305030F181B0F03,
    0x56FA56138ADC1356, 0x44CC44491A5E4944,
    0x7F817F9EDFA09E7F, 0xA9E6A937218837A9,
    0x2A7E2A824D67822A, 0xBBD0BB6DB10A6DBB,
    0xC15EC1E24687E2C1, 0x53F55302A2F10253,
    0xDC79DC8BAE728BDC, 0x0B1D0B275853270B,
    0x9DBA9DD39C01D39D, 0x6CB46CC1472BC16C,
    0x315331F595A4F531, 0x749C74B987F3B974,
    0xF607F609E31509F6, 0x46CA46430A4C4346,
    0xACE9AC2609A526AC, 0x898689973CB59789,
    0x143C1444A0B44414, 0xE13EE1425BBA42E1,
    0x163A164EB0A64E16, 0x3A4E3AD2CDF7D23A,
    0x69BB69D06F06D069, 0x091B092D48412D09,
    0x709070ADA7D7AD70, 0xB6C7B654D96F54B6,
    0xD06DD0B7CE1EB7D0, 0xED2AED7E3BD67EED,
    0xCC49CCDB2EE2DBCC, 0x42C642572A685742,
    0x98B598C2B42CC298, 0xA4F1A40E49ED0EA4,
    0x287828885D758828, 0x5CE45C31DA86315C,
    0xF815F83F936B3FF8, 0x869786A444C2A486,

}

var c1 = [8][256]uint64{
    A0, A1, A2, A3,
    A4, A5, A6, A7,
}

var rc1 = [rounds + 1]uint64{
    0x0000000000000000, 0x1823C6E887B8014F,
    0x36A6D2F5796F9152, 0x60BC9B8EA30C7B35,
    0x1DE0D7C22E4BFE57, 0x157737E59FF04ADA,
    0x58C9290AB1A06B85, 0xBD5D10F4CB3E0567,
    0xE427418BA77D95D8, 0xFBEE7C66DD17479E,
    0xCA2DBF07AD5A8333,
}