cityhash-test.c

// Copyright (c) 2011 Google, Inc.
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software", to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.

#include <stdint.h>

#include <stdio.h>
#include <string.h>

#include "cityhash.h"

static const uint64_t k0 = 0xc3a5c85c97cb3127ULL;
static const uint64_t kseed0 = 1234567;
static const uint64_t kseed1 = k0;
static const uint128_t kseed128 = {kseed0, kseed1};
static const int kdata_size = 1 << 20;
static const int ktest_size = 300;

static uint8_t data[1 << 20]; // kdata_size

static int errors = 0; // global error count

// initialize data to pseudorandom values
void setup() {

  uint64_t a = 9;
  uint64_t b = 777;

  for (int i = 0; i < kdata_size; i++) {
    a += b;
    b += a;
    a = (a ^ (a >> 41)) * k0;
    b = (b ^ (b >> 41)) * k0 + i;

    uint8_t u = b >> 37;

    memcpy(data + i, &u, 1); // uint8_t -> char
  }
}

static const uint64_t testdata[300][16] = {
    {0x9ae16a3b2f90404f, 0x75106db890237a4a, 0x3feac5f636039766,
     0x3df09dfc64c09a2b, 0x3cb540c392e51e29, 0x6b56343feac0663,
     0x5b7bc50fd8e8ad92, 0x3df09dfc64c09a2b, 0x3cb540c392e51e29,
     0x6b56343feac0663, 0x5b7bc50fd8e8ad92, 0x95162f24e6a5f930,
     0x6808bdf4f1eb06e0, 0xb3b1f3a67b624d82, 0xc9a62f12bd4cd80b, 0xdc56d17a},
    {0x541150e87f415e96, 0x1aef0d24b3148a1a, 0xbacc300e1e82345a,
     0xc3cdc41e1df33513, 0x2c138ff2596d42f6, 0xf58e9082aed3055f,
     0x162e192b2957163d, 0xc3cdc41e1df33513, 0x2c138ff2596d42f6,
     0xf58e9082aed3055f, 0x162e192b2957163d, 0xfb99e85e0d16f90c,
     0x608462c15bdf27e8, 0xe7d2c5c943572b62, 0x1baaa9327642798c, 0x99929334},
    {0xf3786a4b25827c1, 0x34ee1a2bf767bd1c, 0x2f15ca2ebfb631f2,
     0x3149ba1dac77270d, 0x70e2e076e30703c, 0x59bcc9659bc5296,
     0x9ecbc8132ae2f1d7, 0x3149ba1dac77270d, 0x70e2e076e30703c,
     0x59bcc9659bc5296, 0x9ecbc8132ae2f1d7, 0xa01d30789bad7cf2,
     0xae03fe371981a0e0, 0x127e3883b8788934, 0xd0ac3d4c0a6fca32, 0x4252edb7},
    {0xef923a7a1af78eab, 0x79163b1e1e9a9b18, 0xdf3b2aca6e1e4a30,
     0x2193fb7620cbf23b, 0x8b6a8ff06cda8302, 0x1a44469afd3e091f,
     0x8b0449376612506, 0x2193fb7620cbf23b, 0x8b6a8ff06cda8302,
     0x1a44469afd3e091f, 0x8b0449376612506, 0xe9d9d41c32ad91d1,
     0xb44ab09f58e3c608, 0x19e9175f9fcf784, 0x839b3c9581b4a480, 0xebc34f3c},
    {0x11df592596f41d88, 0x843ec0bce9042f9c, 0xcce2ea1e08b1eb30,
     0x4d09e42f09cc3495, 0x666236631b9f253b, 0xd28b3763cd02b6a3,
     0x43b249e57c4d0c1b, 0x4d09e42f09cc3495, 0x666236631b9f253b,
     0xd28b3763cd02b6a3, 0x43b249e57c4d0c1b, 0x3887101c8adea101,
     0x8a9355d4efc91df0, 0x3e610944cc9fecfd, 0x5bf9eb60b08ac0ce, 0x26f2b463},
    {0x831f448bdc5600b3, 0x62a24be3120a6919, 0x1b44098a41e010da,
     0xdc07df53b949c6b, 0xd2b11b2081aeb002, 0xd212b02c1b13f772,
     0xc0bed297b4be1912, 0xdc07df53b949c6b, 0xd2b11b2081aeb002,
     0xd212b02c1b13f772, 0xc0bed297b4be1912, 0x682d3d2ad304e4af,
     0x40e9112a655437a1, 0x268b09f7ee09843f, 0x6b9698d43859ca47, 0xb042c047},
    {0x3eca803e70304894, 0xd80de767e4a920a, 0xa51cfbb292efd53d,
     0xd183dcda5f73edfa, 0x3a93cbf40f30128c, 0x1a92544d0b41dbda,
     0xaec2c4bee81975e1, 0xd183dcda5f73edfa, 0x3a93cbf40f30128c,
     0x1a92544d0b41dbda, 0xaec2c4bee81975e1, 0x5f91814d1126ba4b,
     0xf8ac57eee87fcf1f, 0xc55c644a5d0023cd, 0xadb761e827825ff2, 0xe73bb0a8},
    {0x1b5a063fb4c7f9f1, 0x318dbc24af66dee9, 0x10ef7b32d5c719af,
     0xb140a02ef5c97712, 0xb7d00ef065b51b33, 0x635121d532897d98,
     0x532daf21b312a6d6, 0xb140a02ef5c97712, 0xb7d00ef065b51b33,
     0x635121d532897d98, 0x532daf21b312a6d6, 0xc0b09b75d943910,
     0x8c84dfb5ef2a8e96, 0xe5c06034b0353433, 0x3170faf1c33a45dd, 0x91dfdd75},
    {0xa0f10149a0e538d6, 0x69d008c20f87419f, 0x41b36376185b3e9e,
     0x26b6689960ccf81d, 0x55f23b27bb9efd94, 0x3a17f6166dd765db,
     0xc891a8a62931e782, 0x26b6689960ccf81d, 0x55f23b27bb9efd94,
     0x3a17f6166dd765db, 0xc891a8a62931e782, 0x23852dc37ddd2607,
     0x8b7f1b1ec897829e, 0xd1d69452a54eed8a, 0x56431f2bd766ec24, 0xc87f95de},
    {0xfb8d9c70660b910b, 0xa45b0cc3476bff1b, 0xb28d1996144f0207,
     0x98ec31113e5e35d2, 0x5e4aeb853f1b9aa7, 0xbcf5c8fe4465b7c8,
     0xb1ea3a8243996f15, 0x98ec31113e5e35d2, 0x5e4aeb853f1b9aa7,
     0xbcf5c8fe4465b7c8, 0xb1ea3a8243996f15, 0xcabbccedb6407571,
     0xd1e40a84c445ec3a, 0x33302aa908cf4039, 0x9f15f79211b5cdf8, 0x3f5538ef},
    {0x236827beae282a46, 0xe43970221139c946, 0x4f3ac6faa837a3aa,
     0x71fec0f972248915, 0x2170ec2061f24574, 0x9eb346b6caa36e82,
     0x2908f0fdbca48e73, 0x71fec0f972248915, 0x2170ec2061f24574,
     0x9eb346b6caa36e82, 0x2908f0fdbca48e73, 0x8101c99f07c64abb,
     0xb9f4b02b1b6a96a7, 0x583a2b10cd222f88, 0x199dae4cf9db24c, 0x70eb1a1f},
    {0xc385e435136ecf7c, 0xd9d17368ff6c4a08, 0x1b31eed4e5251a67,
     0xdf01a322c43a6200, 0x298b65a1714b5a7e, 0x933b83f0aedf23c,
     0x157bcb44d63f765a, 0xdf01a322c43a6200, 0x298b65a1714b5a7e,
     0x933b83f0aedf23c, 0x157bcb44d63f765a, 0xd6e9fc7a272d8b51,
     0x3ee5073ef1a9b777, 0x63149e31fac02c59, 0x2f7979ff636ba1d8, 0xcfd63b83},
    {0xe3f6828b6017086d, 0x21b4d1900554b3b0, 0xbef38be1809e24f1,
     0xd93251758985ee6c, 0x32a9e9f82ba2a932, 0x3822aacaa95f3329,
     0xdb349b2f90a490d8, 0xd93251758985ee6c, 0x32a9e9f82ba2a932,
     0x3822aacaa95f3329, 0xdb349b2f90a490d8, 0x8d49194a894a19ca,
     0x79a78b06e42738e6, 0x7e0f1eda3d390c66, 0x1c291d7e641100a5, 0x894a52ef},
    {0x851fff285561dca0, 0x4d1277d73cdf416f, 0x28ccffa61010ebe2,
     0x77a4ccacd131d9ee, 0xe1d08eeb2f0e29aa, 0x70b9e3051383fa45,
     0x582d0120425caba, 0x77a4ccacd131d9ee, 0xe1d08eeb2f0e29aa,
     0x70b9e3051383fa45, 0x582d0120425caba, 0xa740eef1846e4564,
     0x572dddb74ac3ae00, 0xfdb5ca9579163bbd, 0xa649b9b799c615d2, 0x9cde6a54},
    {0x61152a63595a96d9, 0xd1a3a91ef3a7ba45, 0x443b6bb4a493ad0c,
     0xa154296d11362d06, 0xd0f0bf1f1cb02fc1, 0xccb87e09309f90d1,
     0xb24a8e4881911101, 0xa154296d11362d06, 0xd0f0bf1f1cb02fc1,
     0xccb87e09309f90d1, 0xb24a8e4881911101, 0x1a481b4528559f58,
     0xbf837a3150896995, 0x4989ef6b941a3757, 0x2e725ab72d0b2948, 0x6c4898d5},
    {0x44473e03be306c88, 0x30097761f872472a, 0x9fd1b669bfad82d7,
     0x3bab18b164396783, 0x47e385ff9d4c06f, 0x18062081bf558df,
     0x63416eb68f104a36, 0x3bab18b164396783, 0x47e385ff9d4c06f,
     0x18062081bf558df, 0x63416eb68f104a36, 0x4abda1560c47ac80,
     0x1ea0e63dc6587aee, 0x33ec79d92ebc1de, 0x94f9dccef771e048, 0x13e1978e},
    {0x3ead5f21d344056, 0xfb6420393cfb05c3, 0x407932394cbbd303,
     0xac059617f5906673, 0x94d50d3dcd3069a7, 0x2b26c3b92dea0f0,
     0x99b7374cc78fc3fb, 0xac059617f5906673, 0x94d50d3dcd3069a7,
     0x2b26c3b92dea0f0, 0x99b7374cc78fc3fb, 0x1a8e3c73cdd40ee8,
     0xcbb5fca06747f45b, 0xceec44238b291841, 0x28bf35cce9c90a25, 0x51b4ba8},
    {0x6abbfde37ee03b5b, 0x83febf188d2cc113, 0xcda7b62d94d5b8ee,
     0xa4375590b8ae7c82, 0x168fd42f9ecae4ff, 0x23bbde43de2cb214,
     0xa8c333112a243c8c, 0xa4375590b8ae7c82, 0x168fd42f9ecae4ff,
     0x23bbde43de2cb214, 0xa8c333112a243c8c, 0x10ac012e8c518b49,
     0x64a44605d8b29458, 0xa67e701d2a679075, 0x3a3a20f43ec92303, 0xb6b06e40},
    {0x943e7ed63b3c080, 0x1ef207e9444ef7f8, 0xef4a9f9f8c6f9b4a,
     0x6b54fc38d6a84108, 0x32f4212a47a4665, 0x6b5a9a8f64ee1da6,
     0x9f74e86c6da69421, 0x6b54fc38d6a84108, 0x32f4212a47a4665,
     0x6b5a9a8f64ee1da6, 0x9f74e86c6da69421, 0x946dd0cb30c1a08e,
     0xfdf376956907eaaa, 0xa59074c6eec03028, 0xb1a3abcf283f34ac, 0x240a2f2},
    {0xd72ce05171ef8a1a, 0xc6bd6bd869203894, 0xc760e6396455d23a,
     0xf86af0b40dcce7b, 0x8d3c15d613394d3c, 0x491e400491cd4ece,
     0x7c19d3530ea3547f, 0xf86af0b40dcce7b, 0x8d3c15d613394d3c,
     0x491e400491cd4ece, 0x7c19d3530ea3547f, 0x1362963a1dc32af9,
     0xfb9bc11762e1385c, 0x9e164ef1f5376083, 0x6c15819b5e828a7e, 0x5dcefc30},
    {0x4182832b52d63735, 0x337097e123eea414, 0xb5a72ca0456df910,
     0x7ebc034235bc122f, 0xd9a7783d4edd8049, 0x5f8b04a15ae42361,
     0xfc193363336453dd, 0x7ebc034235bc122f, 0xd9a7783d4edd8049,
     0x5f8b04a15ae42361, 0xfc193363336453dd, 0x9b6c50224ef8c4f8,
     0xba225c7942d16c3f, 0x6f6d55226a73c412, 0xabca061fe072152a, 0x7a48b105},
    {0xd6cdae892584a2cb, 0x58de0fa4eca17dcd, 0x43df30b8f5f1cb00,
     0x9e4ea5a4941e097d, 0x547e048d5a9daaba, 0xeb6ecbb0b831d185,
     0xe0168df5fad0c670, 0x9e4ea5a4941e097d, 0x547e048d5a9daaba,
     0xeb6ecbb0b831d185, 0xe0168df5fad0c670, 0xafa9705f98c2c96a,
     0x749436f48137a96b, 0x759c041fc21df486, 0xb23bf400107aa2ec, 0xfd55007b},
    {0x5c8e90bc267c5ee4, 0xe9ae044075d992d9, 0xf234cbfd1f0a1e59,
     0xce2744521944f14c, 0x104f8032f99dc152, 0x4e7f425bfac67ca7,
     0x9461b911a1c6d589, 0xce2744521944f14c, 0x104f8032f99dc152,
     0x4e7f425bfac67ca7, 0x9461b911a1c6d589, 0x5e5ecc726db8b60d,
     0xcce68b0586083b51, 0x8a7f8e54a9cba0fc, 0x42f010181d16f049, 0x6b95894c},
    {0xbbd7f30ac310a6f3, 0xb23b570d2666685f, 0xfb13fb08c9814fe7,
     0x4ee107042e512374, 0x1e2c8c0d16097e13, 0x210c7500995aa0e6,
     0x6c13190557106457, 0x4ee107042e512374, 0x1e2c8c0d16097e13,
     0x210c7500995aa0e6, 0x6c13190557106457, 0xa99b31c96777f381,
     0x8312ae8301d386c0, 0xed5042b2a4fa96a3, 0xd71d1bb23907fe97, 0x3360e827},
    {0x36a097aa49519d97, 0x8204380a73c4065, 0x77c2004bdd9e276a,
     0x6ee1f817ce0b7aee, 0xe9dcb3507f0596ca, 0x6bc63c666b5100e2,
     0xe0b056f1821752af, 0x6ee1f817ce0b7aee, 0xe9dcb3507f0596ca,
     0x6bc63c666b5100e2, 0xe0b056f1821752af, 0x8ea1114e60292678,
     0x904b80b46becc77, 0x46cd9bb6e9dff52f, 0x4c91e3b698355540, 0x45177e0b},
    {0xdc78cb032c49217, 0x112464083f83e03a, 0x96ae53e28170c0f5,
     0xd367ff54952a958, 0xcdad930657371147, 0xaa24dc2a9573d5fe,
     0xeb136daa89da5110, 0xd367ff54952a958, 0xcdad930657371147,
     0xaa24dc2a9573d5fe, 0xeb136daa89da5110, 0xde623005f6d46057,
     0xb50c0c92b95e9b7f, 0xa8aa54050b81c978, 0x573fb5c7895af9b5, 0x7c6fffe4},
    {0x441593e0da922dfe, 0x936ef46061469b32, 0x204a1921197ddd87,
     0x50d8a70e7a8d8f56, 0x256d150ae75dab76, 0xe81f4c4a1989036a,
     0xd0f8db365f9d7e00, 0x50d8a70e7a8d8f56, 0x256d150ae75dab76,
     0xe81f4c4a1989036a, 0xd0f8db365f9d7e00, 0x753d686677b14522,
     0x9f76e0cb6f2d0a66, 0xab14f95988ec0d39, 0x97621d9da9c9812f, 0xbbc78da4},
    {0x2ba3883d71cc2133, 0x72f2bbb32bed1a3c, 0x27e1bd96d4843251,
     0xa90f761e8db1543a, 0xc339e23c09703cd8, 0xf0c6624c4b098fd3,
     0x1bae2053e41fa4d9, 0xa90f761e8db1543a, 0xc339e23c09703cd8,
     0xf0c6624c4b098fd3, 0x1bae2053e41fa4d9, 0x3589e273c22ba059,
     0x63798246e5911a0b, 0x18e710ec268fc5dc, 0x714a122de1d074f3, 0xc5c25d39},
    {0xf2b6d2adf8423600, 0x7514e2f016a48722, 0x43045743a50396ba,
     0x23dacb811652ad4f, 0xc982da480e0d4c7d, 0x3a9c8ed5a399d0a9,
     0x951b8d084691d4e4, 0x23dacb811652ad4f, 0xc982da480e0d4c7d,
     0x3a9c8ed5a399d0a9, 0x951b8d084691d4e4, 0xd9f87b4988cff2f7,
     0x217a191d986aa3bc, 0x6ad23c56b480350, 0xdd78673938ceb2e7, 0xb6e5d06e},
    {0x38fffe7f3680d63c, 0xd513325255a7a6d1, 0x31ed47790f6ca62f,
     0xc801faaa0a2e331f, 0x491dbc58279c7f88, 0x9c0178848321c97a,
     0x9d934f814f4d6a3c, 0xc801faaa0a2e331f, 0x491dbc58279c7f88,
     0x9c0178848321c97a, 0x9d934f814f4d6a3c, 0x606a3e4fc8763192,
     0xbc15cb36a677ee84, 0x52d5904157e1fe71, 0x1588dd8b1145b79b, 0x6178504e},
    {0xb7477bf0b9ce37c6, 0x63b1c580a7fd02a4, 0xf6433b9f10a5dac,
     0x68dd76db9d64eca7, 0x36297682b64b67, 0x42b192d71f414b7a,
     0x79692cef44fa0206, 0x68dd76db9d64eca7, 0x36297682b64b67,
     0x42b192d71f414b7a, 0x79692cef44fa0206, 0xf0979252f4776d07,
     0x4b87cd4f1c9bbf52, 0x51b84bbc6312c710, 0x150720fbf85428a7, 0xbd4c3637},
    {0x55bdb0e71e3edebd, 0xc7ab562bcf0568bc, 0x43166332f9ee684f,
     0xb2e25964cd409117, 0xa010599d6287c412, 0xfa5d6461e768dda2,
     0xcb3ce74e8ec4f906, 0xb2e25964cd409117, 0xa010599d6287c412,
     0xfa5d6461e768dda2, 0xcb3ce74e8ec4f906, 0x6120abfd541a2610,
     0xaa88b148cc95794d, 0x2686ca35df6590e3, 0xc6b02d18616ce94d, 0x6e7ac474},
    {0x782fa1b08b475e7, 0xfb7138951c61b23b, 0x9829105e234fb11e,
     0x9a8c431f500ef06e, 0xd848581a580b6c12, 0xfecfe11e13a2bdb4,
     0x6c4fa0273d7db08c, 0x9a8c431f500ef06e, 0xd848581a580b6c12,
     0xfecfe11e13a2bdb4, 0x6c4fa0273d7db08c, 0x482f43bf5ae59fcb,
     0xf651fbca105d79e6, 0xf09f78695d865817, 0x7a99d0092085cf47, 0x1fb4b518},
    {0xc5dc19b876d37a80, 0x15ffcff666cfd710, 0xe8c30c72003103e2,
     0x7870765b470b2c5d, 0x78a9103ff960d82, 0x7bb50ffc9fac74b3,
     0x477e70ab2b347db2, 0x7870765b470b2c5d, 0x78a9103ff960d82,
     0x7bb50ffc9fac74b3, 0x477e70ab2b347db2, 0xa625238bdf7c07cf,
     0x1128d515174809f5, 0xb0f1647e82f45873, 0x17792d1c4f222c39, 0x31d13d6d},
    {0x5e1141711d2d6706, 0xb537f6dee8de6933, 0x3af0a1fbbe027c54,
     0xea349dbc16c2e441, 0x38a7455b6a877547, 0x5f97b9750e365411,
     0xe8cde7f93af49a3, 0xea349dbc16c2e441, 0x38a7455b6a877547,
     0x5f97b9750e365411, 0xe8cde7f93af49a3, 0xba101925ec1f7e26,
     0xd5e84cab8192c71e, 0xe256427726fdd633, 0xa4f38e2c6116890d, 0x26fa72e3},
    {0x782edf6da001234f, 0xf48cbd5c66c48f3, 0x808754d1e64e2a32,
     0x5d9dde77353b1a6d, 0x11f58c54581fa8b1, 0xda90fa7c28c37478,
     0x5e9a2eafc670a88a, 0x5d9dde77353b1a6d, 0x11f58c54581fa8b1,
     0xda90fa7c28c37478, 0x5e9a2eafc670a88a, 0xe35e1bc172e011ef,
     0xbf9255a4450ae7fe, 0x55f85194e26bc55f, 0x4f327873e14d0e54, 0x6a7433bf},
    {0xd26285842ff04d44, 0x8f38d71341eacca9, 0x5ca436f4db7a883c,
     0xbf41e5376b9f0eec, 0x2252d21eb7e1c0e9, 0xf4b70a971855e732,
     0x40c7695aa3662afd, 0xbf41e5376b9f0eec, 0x2252d21eb7e1c0e9,
     0xf4b70a971855e732, 0x40c7695aa3662afd, 0x770fe19e16ab73bb,
     0xd603ebda6393d749, 0xe58c62439aa50dbd, 0x96d51e5a02d2d7cf, 0x4e6df758},
    {0xc6ab830865a6bae6, 0x6aa8e8dd4b98815c, 0xefe3846713c371e5,
     0xa1924cbf0b5f9222, 0x7f4872369c2b4258, 0xcd6da30530f3ea89,
     0xb7f8b9a704e6cea1, 0xa1924cbf0b5f9222, 0x7f4872369c2b4258,
     0xcd6da30530f3ea89, 0xb7f8b9a704e6cea1, 0xfa06ff40433fd535,
     0xfb1c36fe8f0737f1, 0xbb7050561171f80, 0xb1bc23235935d897, 0xd57f63ea},
    {0x44b3a1929232892, 0x61dca0e914fc217, 0xa607cc142096b964,
     0xf7dbc8433c89b274, 0x2f5f70581c9b7d32, 0x39bf5e5fec82dcca,
     0x8ade56388901a619, 0xf7dbc8433c89b274, 0x2f5f70581c9b7d32,
     0x39bf5e5fec82dcca, 0x8ade56388901a619, 0xc1c6a725caab3ea9,
     0xc1c7906c2f80b898, 0x9c3871a04cc884e6, 0xdf01813cbbdf217f, 0x52ef73b3},
    {0x4b603d7932a8de4f, 0xfae64c464b8a8f45, 0x8fafab75661d602a,
     0x8ffe870ef4adc087, 0x65bea2be41f55b54, 0x82f3503f636aef1,
     0x5f78a282378b6bb0, 0x8ffe870ef4adc087, 0x65bea2be41f55b54,
     0x82f3503f636aef1, 0x5f78a282378b6bb0, 0x7bf2422c0beceddb,
     0x9d238d4780114bd, 0x7ad198311906597f, 0xec8f892c0422aca3, 0x3cb36c3},
    {0x4ec0b54cf1566aff, 0x30d2c7269b206bf4, 0x77c22e82295e1061,
     0x3df9b04434771542, 0xfeddce785ccb661f, 0xa644aff716928297,
     0xdd46aee73824b4ed, 0x3df9b04434771542, 0xfeddce785ccb661f,
     0xa644aff716928297, 0xdd46aee73824b4ed, 0xbf8d71879da29b02,
     0xfc82dccbfc8022a0, 0x31bfcd0d9f48d1d3, 0xc64ee24d0e7b5f8b, 0x72c39bea},
    {0xed8b7a4b34954ff7, 0x56432de31f4ee757, 0x85bd3abaa572b155,
     0x7d2c38a926dc1b88, 0x5245b9eb4cd6791d, 0xfb53ab03b9ad0855,
     0x3664026c8fc669d7, 0x7d2c38a926dc1b88, 0x5245b9eb4cd6791d,
     0xfb53ab03b9ad0855, 0x3664026c8fc669d7, 0x45024d5080bc196,
     0xb236ebec2cc2740, 0x27231ad0e3443be4, 0x145780b63f809250, 0xa65aa25c},
    {0x5d28b43694176c26, 0x714cc8bc12d060ae, 0x3437726273a83fe6,
     0x864b1b28ec16ea86, 0x6a78a5a4039ec2b9, 0x8e959533e35a766,
     0x347b7c22b75ae65f, 0x864b1b28ec16ea86, 0x6a78a5a4039ec2b9,
     0x8e959533e35a766, 0x347b7c22b75ae65f, 0x5005892bb61e647c,
     0xfe646519b4a1894d, 0xcd801026f74a8a53, 0x8713463e9a1ab9ce, 0x74740539},
    {0x6a1ef3639e1d202e, 0x919bc1bd145ad928, 0x30f3f7e48c28a773,
     0x2e8c49d7c7aaa527, 0x5e2328fc8701db7c, 0x89ef1afca81f7de8,
     0xb1857db11985d296, 0x2e8c49d7c7aaa527, 0x5e2328fc8701db7c,
     0x89ef1afca81f7de8, 0xb1857db11985d296, 0x17763d695f616115,
     0xb8f7bf1fcdc8322c, 0xcf0c61938ab07a27, 0x1122d3e6edb4e866, 0xc3ae3c26},
    {0x159f4d9e0307b111, 0x3e17914a5675a0c, 0xaf849bd425047b51,
     0x3b69edadf357432b, 0x3a2e311c121e6bf2, 0x380fad1e288d57e5,
     0xbf7c7e8ef0e3b83a, 0x3b69edadf357432b, 0x3a2e311c121e6bf2,
     0x380fad1e288d57e5, 0xbf7c7e8ef0e3b83a, 0x92966d5f4356ae9b,
     0x2a03fc66c4d6c036, 0x2516d8bddb0d5259, 0xb3ffe9737ff5090, 0xf29db8a2},
    {0xcc0a840725a7e25b, 0x57c69454396e193a, 0x976eaf7eee0b4540,
     0xcd7a46850b95e901, 0xc57f7d060dda246f, 0x6b9406ead64079bf,
     0x11b28e20a573b7bd, 0xcd7a46850b95e901, 0xc57f7d060dda246f,
     0x6b9406ead64079bf, 0x11b28e20a573b7bd, 0x2d6db356e9369ace,
     0xdc0afe10fba193, 0x5cdb10885dbbfce, 0x5c700e205782e35a, 0x1ef4cbf4},
    {0xa2b27ee22f63c3f1, 0x9ebde0ce1b3976b2, 0x2fe6a92a257af308,
     0x8c1df927a930af59, 0xa462f4423c9e384e, 0x236542255b2ad8d9,
     0x595d201a2c19d5bc, 0x8c1df927a930af59, 0xa462f4423c9e384e,
     0x236542255b2ad8d9, 0x595d201a2c19d5bc, 0x22c87d4604a67f3,
     0x585a06eb4bc44c4f, 0xb4175a7ac7eabcd8, 0xa457d3eeba14ab8c, 0xa9be6c41},
    {0xd8f2f234899bcab3, 0xb10b037297c3a168, 0xdebea2c510ceda7f,
     0x9498fefb890287ce, 0xae68c2be5b1a69a6, 0x6189dfba34ed656c,
     0x91658f95836e5206, 0x9498fefb890287ce, 0xae68c2be5b1a69a6,
     0x6189dfba34ed656c, 0x91658f95836e5206, 0xc0bb4fff32aecd4d,
     0x94125f505a50eef9, 0x6ac406e7cfbce5bb, 0x344a4b1dcdb7f5d8, 0xfa31801},
    {0x584f28543864844f, 0xd7cee9fc2d46f20d, 0xa38dca5657387205,
     0x7a0b6dbab9a14e69, 0xc6d0a9d6b0e31ac4, 0xa674d85812c7cf6,
     0x63538c0351049940, 0x7a0b6dbab9a14e69, 0xc6d0a9d6b0e31ac4,
     0xa674d85812c7cf6, 0x63538c0351049940, 0x9710e5f0bc93d1d,
     0xc2bea5bd7c54ddd4, 0x48739af2bed0d32d, 0xba2c4e09e21fba85, 0x8331c5d8},
    {0xa94be46dd9aa41af, 0xa57e5b7723d3f9bd, 0x34bf845a52fd2f,
     0x843b58463c8df0ae, 0x74b258324e916045, 0xbdd7353230eb2b38,
     0xfad31fced7abade5, 0x843b58463c8df0ae, 0x74b258324e916045,
     0xbdd7353230eb2b38, 0xfad31fced7abade5, 0x2436aeafb0046f85,
     0x65bc9af9e5e33161, 0x92733b1b3ae90628, 0xf48143eaf78a7a89, 0xe9876db8},
    {0x9a87bea227491d20, 0xa468657e2b9c43e7, 0xaf9ba60db8d89ef7,
     0xcc76f429ea7a12bb, 0x5f30eaf2bb14870a, 0x434e824cb3e0cd11,
     0x431a4d382e39d16e, 0xcc76f429ea7a12bb, 0x5f30eaf2bb14870a,
     0x434e824cb3e0cd11, 0x431a4d382e39d16e, 0x9e51f913c4773a8,
     0x32ab1925823d0add, 0x99c61b54c1d8f69d, 0x38cfb80f02b43b1f, 0x27b0604e},
    {0x27688c24958d1a5c, 0xe3b4a1c9429cf253, 0x48a95811f70d64bc,
     0x328063229db22884, 0x67e9c95f8ba96028, 0x7c6bf01c60436075,
     0xfa55161e7d9030b2, 0x328063229db22884, 0x67e9c95f8ba96028,
     0x7c6bf01c60436075, 0xfa55161e7d9030b2, 0xdadbc2f0dab91681,
     0xda39d7a4934ca11, 0x162e845d24c1b45c, 0xeb5b9dcd8c6ed31b, 0xdcec07f2},
    {0x5d1d37790a1873ad, 0xed9cd4bcc5fa1090, 0xce51cde05d8cd96a,
     0xf72c26e624407e66, 0xa0eb541bdbc6d409, 0xc3f40a2f40b3b213,
     0x6a784de68794492d, 0xf72c26e624407e66, 0xa0eb541bdbc6d409,
     0xc3f40a2f40b3b213, 0x6a784de68794492d, 0x10a38a23dbef7937,
     0x6a5560f853252278, 0xc3387bbf3c7b82ba, 0xfbee7c12eb072805, 0xcff0a82a},
    {0x1f03fd18b711eea9, 0x566d89b1946d381a, 0x6e96e83fc92563ab,
     0x405f66cf8cae1a32, 0xd7261740d8f18ce6, 0xfea3af64a413d0b2,
     0xd64d1810e83520fe, 0x405f66cf8cae1a32, 0xd7261740d8f18ce6,
     0xfea3af64a413d0b2, 0xd64d1810e83520fe, 0xe1334a00a580c6e8,
     0x454049e1b52c15f, 0x8895d823d9778247, 0xefa7f2e88b826618, 0xfec83621},
    {0xf0316f286cf527b6, 0xf84c29538de1aa5a, 0x7612ed3c923d4a71,
     0xd4eccebe9393ee8a, 0x2eb7867c2318cc59, 0x1ce621fd700fe396,
     0x686450d7a346878a, 0xd4eccebe9393ee8a, 0x2eb7867c2318cc59,
     0x1ce621fd700fe396, 0x686450d7a346878a, 0x75a5f37579f8b4cb,
     0x500cc16eb6541dc7, 0xb7b02317b539d9a6, 0x3519ddff5bc20a29, 0x743d8dc},
    {0x297008bcb3e3401d, 0x61a8e407f82b0c69, 0xa4a35bff0524fa0e,
     0x7a61d8f552a53442, 0x821d1d8d8cfacf35, 0x7cc06361b86d0559,
     0x119b617a8c2be199, 0x7a61d8f552a53442, 0x821d1d8d8cfacf35,
     0x7cc06361b86d0559, 0x119b617a8c2be199, 0x2996487da6721759,
     0x61a901376070b91d, 0xd88dee12ae9c9b3c, 0x5665491be1fa53a7, 0x64d41d26},
    {0x43c6252411ee3be, 0xb4ca1b8077777168, 0x2746dc3f7da1737f,
     0x2247a4b2058d1c50, 0x1b3fa184b1d7bcc0, 0xdeb85613995c06ed,
     0xcbe1d957485a3ccd, 0x2247a4b2058d1c50, 0x1b3fa184b1d7bcc0,
     0xdeb85613995c06ed, 0xcbe1d957485a3ccd, 0xdfe241f8f33c96b6,
     0x6597eb05019c2109, 0xda344b2a63a219cf, 0x79b8e3887612378a, 0xacd90c81},
    {0xce38a9a54fad6599, 0x6d6f4a90b9e8755e, 0xc3ecc79ff105de3f,
     0xe8b9ee96efa2d0e, 0x90122905c4ab5358, 0x84f80c832d71979c,
     0x229310f3ffbbf4c6, 0xe8b9ee96efa2d0e, 0x90122905c4ab5358,
     0x84f80c832d71979c, 0x229310f3ffbbf4c6, 0xcc9eb42100cd63a7,
     0x7a283f2f3da7b9f, 0x359b061d314e7a72, 0xd0d959720028862, 0x7c746a4b},
    {0x270a9305fef70cf, 0x600193999d884f3a, 0xf4d49eae09ed8a1,
     0x2e091b85660f1298, 0xbfe37fae1cdd64c9, 0x8dddfbab930f6494,
     0x2ccf4b08f5d417a, 0x2e091b85660f1298, 0xbfe37fae1cdd64c9,
     0x8dddfbab930f6494, 0x2ccf4b08f5d417a, 0x365c2ee85582fe6,
     0xdee027bcd36db62a, 0xb150994d3c7e5838, 0xfdfd1a0e692e436d, 0xb1047e99},
    {0xe71be7c28e84d119, 0xeb6ace59932736e6, 0x70c4397807ba12c5,
     0x7a9d77781ac53509, 0x4489c3ccfda3b39c, 0xfa722d4f243b4964,
     0x25f15800bffdd122, 0x7a9d77781ac53509, 0x4489c3ccfda3b39c,
     0xfa722d4f243b4964, 0x25f15800bffdd122, 0xed85e4157fbd3297,
     0xaab1967227d59efd, 0x2199631212eb3839, 0x3e4c19359aae1cc2, 0xd1fd1068},
    {0xb5b58c24b53aaa19, 0xd2a6ab0773dd897f, 0xef762fe01ecb5b97,
     0x9deefbcfa4cab1f1, 0xb58f5943cd2492ba, 0xa96dcc4d1f4782a7,
     0x102b62a82309dde5, 0x9deefbcfa4cab1f1, 0xb58f5943cd2492ba,
     0xa96dcc4d1f4782a7, 0x102b62a82309dde5, 0x35fe52684763b338,
     0xafe2616651eaad1f, 0x43e38715bdfa05e7, 0x83c9ba83b5ec4a40, 0x56486077},
    {0x44dd59bd301995cf, 0x3ccabd76493ada1a, 0x540db4c87d55ef23,
     0xcfc6d7adda35797, 0x14c7d1f32332cf03, 0x2d553ffbff3be99d,
     0xc91c4ee0cb563182, 0xcfc6d7adda35797, 0x14c7d1f32332cf03,
     0x2d553ffbff3be99d, 0xc91c4ee0cb563182, 0x9aa5e507f49136f0,
     0x760c5dd1a82c4888, 0xbeea7e974a1cfb5c, 0x640b247774fe4bf7, 0x6069be80},
    {0xb4d4789eb6f2630b, 0xbf6973263ce8ef0e, 0xd1c75c50844b9d3,
     0xbce905900c1ec6ea, 0xc30f304f4045487d, 0xa5c550166b3a142b,
     0x2f482b4e35327287, 0xbce905900c1ec6ea, 0xc30f304f4045487d,
     0xa5c550166b3a142b, 0x2f482b4e35327287, 0x15b21ddddf355438,
     0x496471fa3006bab, 0x2a8fd458d06c1a32, 0xdb91e8ae812f0b8d, 0x2078359b},
    {0x12807833c463737c, 0x58e927ea3b3776b4, 0x72dd20ef1c2f8ad0,
     0x910b610de7a967bf, 0x801bc862120f6bf5, 0x9653efeed5897681,
     0xf5367ff83e9ebbb3, 0x910b610de7a967bf, 0x801bc862120f6bf5,
     0x9653efeed5897681, 0xf5367ff83e9ebbb3, 0xcf56d489afd1b0bf,
     0xc7c793715cae3de8, 0x631f91d64abae47c, 0x5f1f42fb14a444a2, 0x9ea21004},
    {0xe88419922b87176f, 0xbcf32f41a7ddbf6f, 0xd6ebefd8085c1a0f,
     0xd1d44fe99451ef72, 0xec951ba8e51e3545, 0xc0ca86b360746e96,
     0xaa679cc066a8040b, 0xd1d44fe99451ef72, 0xec951ba8e51e3545,
     0xc0ca86b360746e96, 0xaa679cc066a8040b, 0x51065861ece6ffc1,
     0x76777368a2997e11, 0x87f278f46731100c, 0xbbaa4140bdba4527, 0x9c9cfe88},
    {0x105191e0ec8f7f60, 0x5918dbfcca971e79, 0x6b285c8a944767b9,
     0xd3e86ac4f5eccfa4, 0xe5399df2b106ca1, 0x814aadfacd217f1d,
     0x2754e3def1c405a9, 0xd3e86ac4f5eccfa4, 0xe5399df2b106ca1,
     0x814aadfacd217f1d, 0x2754e3def1c405a9, 0x99290323b9f06e74,
     0xa9782e043f271461, 0x13c8b3b8c275a860, 0x6038d620e581e9e7, 0xb70a6ddd},
    {0xa5b88bf7399a9f07, 0xfca3ddfd96461cc4, 0xebe738fdc0282fc6,
     0x69afbc800606d0fb, 0x6104b97a9db12df7, 0xfcc09198bb90bf9f,
     0xc5e077e41a65ba91, 0x69afbc800606d0fb, 0x6104b97a9db12df7,
     0xfcc09198bb90bf9f, 0xc5e077e41a65ba91, 0xdb261835ee8aa08e,
     0xdb0ee662e5796dc9, 0xfc1880ecec499e5f, 0x648866fbe1502034, 0xdea37298},
    {0xd08c3f5747d84f50, 0x4e708b27d1b6f8ac, 0x70f70fd734888606,
     0x909ae019d761d019, 0x368bf4aab1b86ef9, 0x308bd616d5460239,
     0x4fd33269f76783ea, 0x909ae019d761d019, 0x368bf4aab1b86ef9,
     0x308bd616d5460239, 0x4fd33269f76783ea, 0x7d53b37c19713eab,
     0x6bba6eabda58a897, 0x91abb50efc116047, 0x4e902f347e0e0e35, 0x8f480819},
    {0x2f72d12a40044b4b, 0x889689352fec53de, 0xf03e6ad87eb2f36,
     0xef79f28d874b9e2d, 0xb512089e8e63b76c, 0x24dc06833bf193a9,
     0x3c23308ba8e99d7e, 0xef79f28d874b9e2d, 0xb512089e8e63b76c,
     0x24dc06833bf193a9, 0x3c23308ba8e99d7e, 0x5ceff7b85cacefb7,
     0xef390338898cd73, 0xb12967d7d2254f54, 0xde874cbd8aef7b75, 0x30b3b16},
    {0xaa1f61fdc5c2e11e, 0xc2c56cd11277ab27, 0xa1e73069fdf1f94f,
     0x8184bab36bb79df0, 0xc81929ce8655b940, 0x301b11bf8a4d8ce8,
     0x73126fd45ab75de9, 0x8184bab36bb79df0, 0xc81929ce8655b940,
     0x301b11bf8a4d8ce8, 0x73126fd45ab75de9, 0x4bd6f76e4888229a,
     0x9aae355b54a756d5, 0xca3de9726f6e99d5, 0x83f80cac5bc36852, 0xf31bc4e8},
    {0x9489b36fe2246244, 0x3355367033be74b8, 0x5f57c2277cbce516,
     0xbc61414f9802ecaf, 0x8edd1e7a50562924, 0x48f4ab74a35e95f2,
     0xcc1afcfd99a180e7, 0xbc61414f9802ecaf, 0x8edd1e7a50562924,
     0x48f4ab74a35e95f2, 0xcc1afcfd99a180e7, 0x517dd5e3acf66110,
     0x7dd3ad9e8978b30d, 0x1f6d5dfc70de812b, 0x947daaba6441aaf3, 0x419f953b},
    {0x358d7c0476a044cd, 0xe0b7b47bcbd8854f, 0xffb42ec696705519,
     0xd45e44c263e95c38, 0xdf61db53923ae3b1, 0xf2bc948cc4fc027c,
     0x8a8000c6066772a3, 0xd45e44c263e95c38, 0xdf61db53923ae3b1,
     0xf2bc948cc4fc027c, 0x8a8000c6066772a3, 0x9fd93c942d31fa17,
     0xd7651ecebe09cbd3, 0x68682cefb6a6f165, 0x541eb99a2dcee40e, 0x20e9e76d},
    {0xb0c48df14275265a, 0x9da4448975905efa, 0xd716618e414ceb6d,
     0x30e888af70df1e56, 0x4bee54bd47274f69, 0x178b4059e1a0afe5,
     0x6e2c96b7f58e5178, 0x30e888af70df1e56, 0x4bee54bd47274f69,
     0x178b4059e1a0afe5, 0x6e2c96b7f58e5178, 0xbb429d3b9275e9bc,
     0xc198013f09cafdc6, 0xec0a6ee4fb5de348, 0x744e1e8ed2eb1eb0, 0x646f0ff8},
    {0xdaa70bb300956588, 0x410ea6883a240c6d, 0xf5c8239fb5673eb3,
     0x8b1d7bb4903c105f, 0xcfb1c322b73891d4, 0x5f3b792b22f07297,
     0xfd64061f8be86811, 0x8b1d7bb4903c105f, 0xcfb1c322b73891d4,
     0x5f3b792b22f07297, 0xfd64061f8be86811, 0x1d2db712921cfc2b,
     0xcd1b2b2f2cee18ae, 0x6b6f8790dc7feb09, 0x46c179efa3f0f518, 0xeeb7eca8},
    {0x4ec97a20b6c4c7c2, 0x5913b1cd454f29fd, 0xa9629f9daf06d685,
     0x852c9499156a8f3, 0x3a180a6abfb79016, 0x9fc3c4764037c3c9,
     0x2890c42fc0d972cf, 0x852c9499156a8f3, 0x3a180a6abfb79016,
     0x9fc3c4764037c3c9, 0x2890c42fc0d972cf, 0x1f92231d4e537651,
     0xfab8bb07aa54b7b9, 0xe05d2d771c485ed4, 0xd50b34bf808ca731, 0x8112bb9},
    {0x5c3323628435a2e8, 0x1bea45ce9e72a6e3, 0x904f0a7027ddb52e,
     0x939f31de14dcdc7b, 0xa68fdf4379df068, 0xf169e1f0b835279d,
     0x7498e432f9619b27, 0x939f31de14dcdc7b, 0xa68fdf4379df068,
     0xf169e1f0b835279d, 0x7498e432f9619b27, 0x1aa2a1f11088e785,
     0xd6ad72f45729de78, 0x9a63814157c80267, 0x55538e35c648e435, 0x85a6d477},
    {0xc1ef26bea260abdb, 0x6ee423f2137f9280, 0xdf2118b946ed0b43,
     0x11b87fb1b900cc39, 0xe33e59b90dd815b1, 0xaa6cb5c4bafae741,
     0x739699951ca8c713, 0x11b87fb1b900cc39, 0xe33e59b90dd815b1,
     0xaa6cb5c4bafae741, 0x739699951ca8c713, 0x2b4389a967310077,
     0x1d5382568a31c2c9, 0x55d1e787fbe68991, 0x277c254bc31301e7, 0x56f76c84},
    {0x6be7381b115d653a, 0xed046190758ea511, 0xde6a45ffc3ed1159,
     0xa64760e4041447d0, 0xe3eac49f3e0c5109, 0xdd86c4d4cb6258e2,
     0xefa9857afd046c7f, 0xa64760e4041447d0, 0xe3eac49f3e0c5109,
     0xdd86c4d4cb6258e2, 0xefa9857afd046c7f, 0xfab793dae8246f16,
     0xc9e3b121b31d094c, 0xa2a0f55858465226, 0xdba6f0ff39436344, 0x9af45d55},
    {0xae3eece1711b2105, 0x14fd3f4027f81a4a, 0xabb7e45177d151db,
     0x501f3e9b18861e44, 0x465201170074e7d8, 0x96d5c91970f2cb12,
     0x40fd28c43506c95d, 0x501f3e9b18861e44, 0x465201170074e7d8,
     0x96d5c91970f2cb12, 0x40fd28c43506c95d, 0xe86c4b07802aaff3,
     0xf317d14112372a70, 0x641b13e587711650, 0x4915421ab1090eaa, 0xd1c33760},
    {0x376c28588b8fb389, 0x6b045e84d8491ed2, 0x4e857effb7d4e7dc,
     0x154dd79fd2f984b4, 0xf11171775622c1c3, 0x1fbe30982e78e6f0,
     0xa460a15dcf327e44, 0x154dd79fd2f984b4, 0xf11171775622c1c3,
     0x1fbe30982e78e6f0, 0xa460a15dcf327e44, 0xf359e0900cc3d582,
     0x7e11070447976d00, 0x324e6daf276ea4b5, 0x7aa6e2df0cc94fa2, 0xc56bbf69},
    {0x58d943503bb6748f, 0x419c6c8e88ac70f6, 0x586760cbf3d3d368,
     0xb7e164979d5ccfc1, 0x12cb4230d26bf286, 0xf1bf910d44bd84cb,
     0xb32c24c6a40272, 0xb7e164979d5ccfc1, 0x12cb4230d26bf286,
     0xf1bf910d44bd84cb, 0xb32c24c6a40272, 0x11ed12e34c48c039,
     0xb0c2538e51d0a6ac, 0x4269bb773e1d553a, 0xe35a9dbabd34867, 0xabecfb9b},
    {0xdfff5989f5cfd9a1, 0xbcee2e7ea3a96f83, 0x681c7874adb29017,
     0x3ff6c8ac7c36b63a, 0x48bc8831d849e326, 0x30b078e76b0214e2,
     0x42954e6ad721b920, 0x3ff6c8ac7c36b63a, 0x48bc8831d849e326,
     0x30b078e76b0214e2, 0x42954e6ad721b920, 0xf9aeb33d164b4472,
     0x7b353b110831dbdc, 0x16f64c82f44ae17b, 0xb71244cc164b3b2b, 0x8de13255},
    {0x7fb19eb1a496e8f5, 0xd49e5dfdb5c0833f, 0xc0d5d7b2f7c48dc7,
     0x1a57313a32f22dde, 0x30af46e49850bf8b, 0xaa0fe8d12f808f83,
     0x443e31d70873bb6b, 0x1a57313a32f22dde, 0x30af46e49850bf8b,
     0xaa0fe8d12f808f83, 0x443e31d70873bb6b, 0xbbeb67c49c9fdc13,
     0x18f1e2a88f59f9d5, 0xfb1b05038e5def11, 0xd0450b5ce4c39c52, 0xa98ee299},
    {0x5dba5b0dadccdbaa, 0x4ba8da8ded87fcdc, 0xf693fdd25badf2f0,
     0xe9029e6364286587, 0xae69f49ecb46726c, 0x18e002679217c405,
     0xbd6d66e85332ae9f, 0xe9029e6364286587, 0xae69f49ecb46726c,
     0x18e002679217c405, 0xbd6d66e85332ae9f, 0x6bf330b1c353dd2a,
     0x74e9f2e71e3a4152, 0x3f85560b50f6c413, 0xd33a52a47eaed2b4, 0x3015f556},
    {0x688bef4b135a6829, 0x8d31d82abcd54e8e, 0xf95f8a30d55036d7,
     0x3d8c90e27aa2e147, 0x2ec937ce0aa236b4, 0x89b563996d3a0b78,
     0x39b02413b23c3f08, 0x3d8c90e27aa2e147, 0x2ec937ce0aa236b4,
     0x89b563996d3a0b78, 0x39b02413b23c3f08, 0x8d475a2e64faf2d2,
     0x48567f7dca46ecaf, 0x254cda08d5f87a6d, 0xec6ae9f729c47039, 0x5a430e29},
    {0xd8323be05433a412, 0x8d48fa2b2b76141d, 0x3d346f23978336a5,
     0x4d50c7537562033f, 0x57dc7625b61dfe89, 0x9723a9f4c08ad93a,
     0x5309596f48ab456b, 0x4d50c7537562033f, 0x57dc7625b61dfe89,
     0x9723a9f4c08ad93a, 0x5309596f48ab456b, 0x7e453088019d220f,
     0x8776067ba6ab9714, 0x67e1d06bd195de39, 0x74a1a32f8994b918, 0x2797add0},
    {0x3b5404278a55a7fc, 0x23ca0b327c2d0a81, 0xa6d65329571c892c,
     0x45504801e0e6066b, 0x86e6c6d6152a3d04, 0x4f3db1c53eca2952,
     0xd24d69b3e9ef10f3, 0x45504801e0e6066b, 0x86e6c6d6152a3d04,
     0x4f3db1c53eca2952, 0xd24d69b3e9ef10f3, 0x93a0de2219e66a70,
     0x8932c7115ccb1f8a, 0x5ef503fdf2841a8c, 0x38064dd9efa80a41, 0x27d55016},
    {0x2a96a3f96c5e9bbc, 0x8caf8566e212dda8, 0x904de559ca16e45e,
     0xf13bc2d9c2fe222e, 0xbe4ccec9a6cdccfd, 0x37b2cbdd973a3ac9,
     0x7b3223cd9c9497be, 0xf13bc2d9c2fe222e, 0xbe4ccec9a6cdccfd,
     0x37b2cbdd973a3ac9, 0x7b3223cd9c9497be, 0xd5904440f376f889,
     0x62b13187699c473c, 0x4751b89251f26726, 0x9500d84fa3a61ba8, 0x84945a82},
    {0x22bebfdcc26d18ff, 0x4b4d8dcb10807ba1, 0x40265eee30c6b896,
     0x3752b423073b119a, 0x377dc5eb7c662bdb, 0x2b9f07f93a6c25b9,
     0x96f24ede2bdc0718, 0x3752b423073b119a, 0x377dc5eb7c662bdb,
     0x2b9f07f93a6c25b9, 0x96f24ede2bdc0718, 0xf7699b12c31417bd,
     0x17b366f401c58b2, 0xbf60188d5f437b37, 0x484436e56df17f04, 0x3ef7e224},
    {0x627a2249ec6bbcc2, 0xc0578b462a46735a, 0x4974b8ee1c2d4f1f,
     0xebdbb918eb6d837f, 0x8fb5f218dd84147c, 0xc77dd1f881df2c54,
     0x62eac298ec226dc3, 0xebdbb918eb6d837f, 0x8fb5f218dd84147c,
     0xc77dd1f881df2c54, 0x62eac298ec226dc3, 0x43eded83c4b60bd0,
     0x9a0a403b5487503b, 0x25f305d9147f0bda, 0x3ad417f511bc1e64, 0x35ed8dc8},
    {0x3abaf1667ba2f3e0, 0xee78476b5eeadc1, 0x7e56ac0a6ca4f3f4,
     0xf1b9b413df9d79ed, 0xa7621b6fd02db503, 0xd92f7ba9928a4ffe,
     0x53f56babdcae96a6, 0xf1b9b413df9d79ed, 0xa7621b6fd02db503,
     0xd92f7ba9928a4ffe, 0x53f56babdcae96a6, 0x5302b89fc48713ab,
     0xd03e3b04dbe7a2f2, 0xfa74ef8af6d376a7, 0x103c8cdea1050ef2, 0x6a75e43d},
    {0x3931ac68c5f1b2c9, 0xefe3892363ab0fb0, 0x40b707268337cd36,
     0xa53a6b64b1ac85c9, 0xd50e7f86ee1b832b, 0x7bab08fdd26ba0a4,
     0x7587743c18fe2475, 0xa53a6b64b1ac85c9, 0xd50e7f86ee1b832b,
     0x7bab08fdd26ba0a4, 0x7587743c18fe2475, 0xe3b5d5d490cf5761,
     0xdfc053f7d065edd5, 0x42ffd8d5fb70129f, 0x599ca38677cccdc3, 0x235d9805},
    {0xb98fb0606f416754, 0x46a6e5547ba99c1e, 0xc909d82112a8ed2,
     0xdbfaae9642b3205a, 0xf676a1339402bcb9, 0xf4f12a5b1ac11f29,
     0x7db8bad81249dee4, 0xdbfaae9642b3205a, 0xf676a1339402bcb9,
     0xf4f12a5b1ac11f29, 0x7db8bad81249dee4, 0xb26e46f2da95922e,
     0x2aaedd5e12e3c611, 0xa0e2d9082966074, 0xc64da8a167add63d, 0xf7d69572},
    {0x7f7729a33e58fcc4, 0x2e4bc1e7a023ead4, 0xe707008ea7ca6222,
     0x47418a71800334a0, 0xd10395d8fc64d8a4, 0x8257a30062cb66f,
     0x6786f9b2dc1ff18a, 0x47418a71800334a0, 0xd10395d8fc64d8a4,
     0x8257a30062cb66f, 0x6786f9b2dc1ff18a, 0x5633f437bb2f180f,
     0xe5a3a405737d22d6, 0xca0ff1ef6f7f0b74, 0xd0ae600684b16df8, 0xbacd0199},
    {0x42a0aa9ce82848b3, 0x57232730e6bee175, 0xf89bb3f370782031,
     0xcaa33cf9b4f6619c, 0xb2c8648ad49c209f, 0x9e89ece0712db1c0,
     0x101d8274a711a54b, 0xcaa33cf9b4f6619c, 0xb2c8648ad49c209f,
     0x9e89ece0712db1c0, 0x101d8274a711a54b, 0x538e79f1e70135cd,
     0xe1f5a76f983c844e, 0x653c082fd66088fc, 0x1b9c9b464b654958, 0xe428f50e},
    {0x6b2c6d38408a4889, 0xde3ef6f68fb25885, 0x20754f456c203361,
     0x941f5023c0c943f9, 0xdfdeb9564fd66f24, 0x2140cec706b9d406,
     0x7b22429b131e9c72, 0x941f5023c0c943f9, 0xdfdeb9564fd66f24,
     0x2140cec706b9d406, 0x7b22429b131e9c72, 0x94215c22eb940f45,
     0xd28b9ed474f7249a, 0x6f25e88f2fbf9f56, 0xb6718f9e605b38ac, 0x81eaaad3},
    {0x930380a3741e862a, 0x348d28638dc71658, 0x89dedcfd1654ea0d,
     0x7e7f61684080106, 0x837ace9794582976, 0x5ac8ca76a357eb1b,
     0x32b58308625661fb, 0x7e7f61684080106, 0x837ace9794582976,
     0x5ac8ca76a357eb1b, 0x32b58308625661fb, 0xc09705c4572025d9,
     0xf9187f6af0291303, 0x1c0edd8ee4b02538, 0xe6cb105daa0578a, 0xaddbd3e3},
    {0x94808b5d2aa25f9a, 0xcec72968128195e0, 0xd9f4da2bdc1e130f,
     0x272d8dd74f3006cc, 0xec6c2ad1ec03f554, 0x4ad276b249a5d5dd,
     0x549a22a17c0cde12, 0x272d8dd74f3006cc, 0xec6c2ad1ec03f554,
     0x4ad276b249a5d5dd, 0x549a22a17c0cde12, 0x602119cb824d7cde,
     0xf4d3cef240ef35fa, 0xe889895e01911bc7, 0x785a7e5ac20e852b, 0xe66dbca0},
    {0xb31abb08ae6e3d38, 0x9eb9a95cbd9e8223, 0x8019e79b7ee94ea9,
     0x7b2271a7a3248e22, 0x3b4f700e5a0ba523, 0x8ebc520c227206fe,
     0xda3f861490f5d291, 0x7b2271a7a3248e22, 0x3b4f700e5a0ba523,
     0x8ebc520c227206fe, 0xda3f861490f5d291, 0xd08a689f9f3aa60e,
     0x547c1b97a068661f, 0x4b15a67fa29172f0, 0xeaf40c085191d80f, 0xafe11fd5},
    {0xdccb5534a893ea1a, 0xce71c398708c6131, 0xfe2396315457c164,
     0x3f1229f4d0fd96fb, 0x33130aa5fa9d43f2, 0xe42693d5b34e63ab,
     0x2f4ef2be67f62104, 0x3f1229f4d0fd96fb, 0x33130aa5fa9d43f2,
     0xe42693d5b34e63ab, 0x2f4ef2be67f62104, 0x372e5153516e37b9,
     0xaf9ec142ab12cc86, 0x777920c09345e359, 0xe7c4a383bef8adc6, 0xa71a406f},
    {0x6369163565814de6, 0x8feb86fb38d08c2f, 0x4976933485cc9a20,
     0x7d3e82d5ba29a90d, 0xd5983cc93a9d126a, 0x37e9dfd950e7b692,
     0x80673be6a7888b87, 0x7d3e82d5ba29a90d, 0xd5983cc93a9d126a,
     0x37e9dfd950e7b692, 0x80673be6a7888b87, 0x57f732dc600808bc,
     0x59477199802cc78b, 0xf824810eb8f2c2de, 0xc4a3437f05b3b61c, 0x9d90eaf5},
    {0xedee4ff253d9f9b3, 0x96ef76fb279ef0ad, 0xa4d204d179db2460,
     0x1f3dcdfa513512d6, 0x4dc7ec07283117e4, 0x4438bae88ae28bf9,
     0xaa7eae72c9244a0d, 0x1f3dcdfa513512d6, 0x4dc7ec07283117e4,
     0x4438bae88ae28bf9, 0xaa7eae72c9244a0d, 0xb9aedc8d3ecc72df,
     0xb75a8eb090a77d62, 0x6b15677f9cd91507, 0x51d8282cb3a9ddbf, 0x6665db10},
    {0x941993df6e633214, 0x929bc1beca5b72c6, 0x141fc52b8d55572d,
     0xb3b782ad308f21ed, 0x4f2676485041dee0, 0xbfe279aed5cb4bc8,
     0x2a62508a467a22ff, 0xb3b782ad308f21ed, 0x4f2676485041dee0,
     0xbfe279aed5cb4bc8, 0x2a62508a467a22ff, 0xe74d29eab742385d,
     0x56b05cd90ecfc293, 0xc603728ea73f8844, 0x8638fcd21bc692c4, 0x9c977cbf},
    {0x859838293f64cd4c, 0x484403b39d44ad79, 0xbf674e64d64b9339,
     0x44d68afda9568f08, 0x478568ed51ca1d65, 0x679c204ad3d9e766,
     0xb28e788878488dc1, 0x44d68afda9568f08, 0x478568ed51ca1d65,
     0x679c204ad3d9e766, 0xb28e788878488dc1, 0xd001a84d3a84fae6,
     0xd376958fe4cb913e, 0x17435277e36c86f0, 0x23657b263c347aa6, 0xee83ddd4},
    {0xc19b5648e0d9f555, 0x328e47b2b7562993, 0xe756b92ba4bd6a51,
     0xc3314e362764ddb8, 0x6481c084ee9ec6b5, 0xede23fb9a251771,
     0xbd617f2643324590, 0xc3314e362764ddb8, 0x6481c084ee9ec6b5,
     0xede23fb9a251771, 0xbd617f2643324590, 0xd2d30c9b95e030f5,
     0x8a517312ffc5795e, 0x8b1f325033bd535e, 0x3ee6e867e03f2892, 0x26519cc},
    {0xf963b63b9006c248, 0x9e9bf727ffaa00bc, 0xc73bacc75b917e3a,
     0x2c6aa706129cc54c, 0x17a706f59a49f086, 0xc7c1eec455217145,
     0x6adfdc6e07602d42, 0x2c6aa706129cc54c, 0x17a706f59a49f086,
     0xc7c1eec455217145, 0x6adfdc6e07602d42, 0xfb75fca30d848dd2,
     0x5228c9ed14653ed4, 0x953958910153b1a2, 0xa430103a24f42a5d, 0xa485a53f},
    {0x6a8aa0852a8c1f3b, 0xc8f1e5e206a21016, 0x2aa554aed1ebb524,
     0xfc3e3c322cd5d89b, 0xb7e3911dc2bd4ebb, 0xfcd6da5e5fae833a,
     0x51ed3c41f87f9118, 0xfc3e3c322cd5d89b, 0xb7e3911dc2bd4ebb,
     0xfcd6da5e5fae833a, 0x51ed3c41f87f9118, 0xf31750cbc19c420a,
     0x186dab1abada1d86, 0xca7f88cb894b3cd7, 0x2859eeb1c373790c, 0xf62bc412},
    {0x740428b4d45e5fb8, 0x4c95a4ce922cb0a5, 0xe99c3ba78feae796,
     0x914f1ea2fdcebf5c, 0x9566453c07cd0601, 0x9841bf66d0462cd,
     0x79140c1c18536aeb, 0x914f1ea2fdcebf5c, 0x9566453c07cd0601,
     0x9841bf66d0462cd, 0x79140c1c18536aeb, 0xa963b930b05820c2,
     0x6a7d9fa0c8c45153, 0x64214c40d07cf39b, 0x7057daf1d806c014, 0x8975a436},
    {0x658b883b3a872b86, 0x2f0e303f0f64827a, 0x975337e23dc45e1,
     0x99468a917986162b, 0x7b31434aac6e0af0, 0xf6915c1562c7d82f,
     0xe4071d82a6dd71db, 0x99468a917986162b, 0x7b31434aac6e0af0,
     0xf6915c1562c7d82f, 0xe4071d82a6dd71db, 0x5f5331f077b5d996,
     0x7b314ba21b747a4f, 0x5a73cb9521da17f5, 0x12ed435fae286d86, 0x94ff7f41},
    {0x6df0a977da5d27d4, 0x891dd0e7cb19508, 0xfd65434a0b71e680,
     0x8799e4740e573c50, 0x9e739b52d0f341e8, 0xcdfd34ba7d7b03eb,
     0x5061812ce6c88499, 0x8799e4740e573c50, 0x9e739b52d0f341e8,
     0xcdfd34ba7d7b03eb, 0x5061812ce6c88499, 0x612b8d8f2411dc5c,
     0x878bd883d29c7787, 0x47a846727182bb, 0xec4949508c8b3b9a, 0x760aa031},
    {0xa900275464ae07ef, 0x11f2cfda34beb4a3, 0x9abf91e5a1c38e4,
     0x8063d80ab26f3d6d, 0x4177b4b9b4f0393f, 0x6de42ba8672b9640,
     0xd0bccdb72c51c18, 0x8063d80ab26f3d6d, 0x4177b4b9b4f0393f,
     0x6de42ba8672b9640, 0xd0bccdb72c51c18, 0xaf3f611b7f22cf12,
     0x3863c41492645755, 0x928c7a616a8f14f9, 0xa82c78eb2eadc58b, 0x3bda76df},
    {0x810bc8aa0c40bcb0, 0x448a019568d01441, 0xf60ec52f60d3aeae,
     0x52c44837aa6dfc77, 0x15d8d8fccdd6dc5b, 0x345b793ccfa93055,
     0x932160fe802ca975, 0x52c44837aa6dfc77, 0x15d8d8fccdd6dc5b,
     0x345b793ccfa93055, 0x932160fe802ca975, 0xa624b0dd93fc18cd,
     0xd955b254c2037f1e, 0xe540533d370a664c, 0x2ba4ec12514e9d7, 0x498e2e65},
    {0x22036327deb59ed7, 0xadc05ceb97026a02, 0x48bff0654262672b,
     0xc791b313aba3f258, 0x443c7757a4727bee, 0xe30e4b2372171bdf,
     0xf3db986c4156f3cb, 0xc791b313aba3f258, 0x443c7757a4727bee,
     0xe30e4b2372171bdf, 0xf3db986c4156f3cb, 0xa939aefab97c6e15,
     0xdbeb8acf1d5b0e6c, 0x1e0eab667a795bba, 0x80dd539902df4d50, 0xd38deb48},
    {0x7d14dfa9772b00c8, 0x595735efc7eeaed7, 0x29872854f94c3507,
     0xbc241579d8348401, 0x16dc832804d728f0, 0xe9cc71ae64e3f09e,
     0xbef634bc978bac31, 0xbc241579d8348401, 0x16dc832804d728f0,
     0xe9cc71ae64e3f09e, 0xbef634bc978bac31, 0x7f64b1fa2a9129e,
     0x71d831bd530ac7f3, 0xc7ad0a8a6d5be6f1, 0x82a7d3a815c7aaab, 0x82b3fb6b},
    {0x2d777cddb912675d, 0x278d7b10722a13f9, 0xf5c02bfb7cc078af,
     0x4283001239888836, 0xf44ca39a6f79db89, 0xed186122d71bcc9f,
     0x8620017ab5f3ba3b, 0x4283001239888836, 0xf44ca39a6f79db89,
     0xed186122d71bcc9f, 0x8620017ab5f3ba3b, 0xe787472187f176c,
     0x267e64c4728cf181, 0xf1ba4b3007c15e30, 0x8e3a75d5b02ecfc0, 0xe500e25f},
    {0xf2ec98824e8aa613, 0x5eb7e3fb53fe3bed, 0x12c22860466e1dd4,
     0x374dd4288e0b72e5, 0xff8916db706c0df4, 0xcb1a9e85de5e4b8d,
     0xd4d12afb67a27659, 0x374dd4288e0b72e5, 0xff8916db706c0df4,
     0xcb1a9e85de5e4b8d, 0xd4d12afb67a27659, 0xfeb69095d1ba175a,
     0xe2003aab23a47fad, 0x8163a3ecab894b49, 0x46d356674ce041f6, 0xbd2bb07c},
    {0x5e763988e21f487f, 0x24189de8065d8dc5, 0xd1519d2403b62aa0,
     0x9136456740119815, 0x4d8ff7733b27eb83, 0xea3040bc0c717ef8,
     0x7617ab400dfadbc, 0x9136456740119815, 0x4d8ff7733b27eb83,
     0xea3040bc0c717ef8, 0x7617ab400dfadbc, 0xfb336770c10b17a1,
     0x6123b68b5b31f151, 0x1e147d5f295eccf2, 0x9ecbb1333556f977, 0x3a2b431d},
    {0x48949dc327bb96ad, 0xe1fd21636c5c50b4, 0x3f6eb7f13a8712b4,
     0x14cf7f02dab0eee8, 0x6d01750605e89445, 0x4f1cf4006e613b78,
     0x57c40c4db32bec3b, 0x14cf7f02dab0eee8, 0x6d01750605e89445,
     0x4f1cf4006e613b78, 0x57c40c4db32bec3b, 0x1fde5a347f4a326e,
     0xcb5a54308adb0e3f, 0x14994b2ba447a23c, 0x7067d0abb4257b68, 0x7322a83d},
    {0xb7c4209fb24a85c5, 0xb35feb319c79ce10, 0xf0d3de191833b922,
     0x570d62758ddf6397, 0x5e0204fb68a7b800, 0x4383a9236f8b5a2b,
     0x7bc1a64641d803a4, 0x570d62758ddf6397, 0x5e0204fb68a7b800,
     0x4383a9236f8b5a2b, 0x7bc1a64641d803a4, 0x5434d61285099f7a,
     0xd49449aacdd5dd67, 0x97855ba0e9a7d75d, 0xda67328062f3a62f, 0xa645ca1c},
    {0x9c9e5be0943d4b05, 0xb73dc69e45201cbb, 0xaab17180bfe5083d,
     0xc738a77a9a55f0e2, 0x705221addedd81df, 0xfd9bd8d397abcfa3,
     0x8ccf0004aa86b795, 0xc738a77a9a55f0e2, 0x705221addedd81df,
     0xfd9bd8d397abcfa3, 0x8ccf0004aa86b795, 0x2bb5db2280068206,
     0x8c22d29f307a01d, 0x274a22de02f473c8, 0xb8791870f4268182, 0x8909a45a},
    {0x3898bca4dfd6638d, 0xf911ff35efef0167, 0x24bdf69e5091fc88,
     0x9b82567ab6560796, 0x891b69462b41c224, 0x8eccc7e4f3af3b51,
     0x381e54c3c8f1c7d0, 0x9b82567ab6560796, 0x891b69462b41c224,
     0x8eccc7e4f3af3b51, 0x381e54c3c8f1c7d0, 0xc80fbc489a558a55,
     0x1ba88e062a663af7, 0xaf7b1ef1c0116303, 0xbd20e1a5a6b1a0cd, 0xbd30074c},
    {0x5b5d2557400e68e7, 0x98d610033574cee, 0xdfd08772ce385deb,
     0x3c13e894365dc6c2, 0x26fc7bbcda3f0ef, 0xdbb71106cdbfea36,
     0x785239a742c6d26d, 0x3c13e894365dc6c2, 0x26fc7bbcda3f0ef,
     0xdbb71106cdbfea36, 0x785239a742c6d26d, 0xf810c415ae05b2f4,
     0xbb9b9e7398526088, 0x70128f1bf830a32b, 0xbcc73f82b6410899, 0xc17cf001},
    {0xa927ed8b2bf09bb6, 0x606e52f10ae94eca, 0x71c2203feb35a9ee,
     0x6e65ec14a8fb565, 0x34bff6f2ee5a7f79, 0x2e329a5be2c011b,
     0x73161c93331b14f9, 0x6e65ec14a8fb565, 0x34bff6f2ee5a7f79,
     0x2e329a5be2c011b, 0x73161c93331b14f9, 0x15d13f2408aecf88,
     0x9f5b61b8a4b55b31, 0x8fe25a43b296dba6, 0xbdad03b7300f284e, 0x26ffd25a},
    {0x8d25746414aedf28, 0x34b1629d28b33d3a, 0x4d5394aea5f82d7b,
     0x379f76458a3c8957, 0x79dd080f9843af77, 0xc46f0a7847f60c1d,
     0xaf1579c5797703cc, 0x379f76458a3c8957, 0x79dd080f9843af77,
     0xc46f0a7847f60c1d, 0xaf1579c5797703cc, 0x8b7d31f338755c14,
     0x2eff97679512aaa8, 0xdf07d68e075179ed, 0xc8fa6c7a729e7f1f, 0xf1d8ce3c},
    {0xb5bbdb73458712f2, 0x1ff887b3c2a35137, 0x7f7231f702d0ace9,
     0x1e6f0910c3d25bd8, 0xad9e250862102467, 0x1c842a07abab30cd,
     0xcd8124176bac01ac, 0x1e6f0910c3d25bd8, 0xad9e250862102467,
     0x1c842a07abab30cd, 0xcd8124176bac01ac, 0xea6ebe7a79b67edc,
     0x73f598ac9db26713, 0x4f4e72d7460b8fc, 0x365dc4b9fdf13f21, 0x3ee8fb17},
    {0x3d32a26e3ab9d254, 0xfc4070574dc30d3a, 0xf02629579c2b27c9,
     0xb1cf09b0184a4834, 0x5c03db48eb6cc159, 0xf18c7fcf34d1df47,
     0xdfb043419ecf1fa9, 0xb1cf09b0184a4834, 0x5c03db48eb6cc159,
     0xf18c7fcf34d1df47, 0xdfb043419ecf1fa9, 0xdcd78d13f9ca658f,
     0x4355d408ffe8e49f, 0x81eefee908b593b4, 0x590c213c20e981a3, 0xa77acc2a},
    {0x9371d3c35fa5e9a5, 0x42967cf4d01f30, 0x652d1eeae704145c,
     0xceaf1a0d15234f15, 0x1450a54e45ba9b9, 0x65e9c1fd885aa932,
     0x354d4bc034ba8cbe, 0xceaf1a0d15234f15, 0x1450a54e45ba9b9,
     0x65e9c1fd885aa932, 0x354d4bc034ba8cbe, 0x8fd4ff484c08fb4b,
     0xbf46749866f69ba0, 0xcf1c21ede82c9477, 0x4217548c43da109, 0xf4556dee},
    {0xcbaa3cb8f64f54e0, 0x76c3b48ee5c08417, 0x9f7d24e87e61ce9,
     0x85b8e53f22e19507, 0xbb57137739ca486b, 0xc77f131cca38f761,
     0xc56ac3cf275be121, 0x85b8e53f22e19507, 0xbb57137739ca486b,
     0xc77f131cca38f761, 0xc56ac3cf275be121, 0x9ec1a6c9109d2685,
     0x3dad0922e76afdb0, 0xfd58cbf952958103, 0x7b04c908e78639a1, 0xde287a64},
    {0xb2e23e8116c2ba9f, 0x7e4d9c0060101151, 0x3310da5e5028f367,
     0xadc52dddb76f6e5e, 0x4aad4e925a962b68, 0x204b79b7f7168e64,
     0xdf29ed6671c36952, 0xadc52dddb76f6e5e, 0x4aad4e925a962b68,
     0x204b79b7f7168e64, 0xdf29ed6671c36952, 0xe02927cac396d210,
     0x5d500e71742b638a, 0x5c9998af7f27b124, 0x3fba9a2573dc2f7, 0x878e55b9},
    {0x8aa77f52d7868eb9, 0x4d55bd587584e6e2, 0xd2db37041f495f5,
     0xce030d15b5fe2f4, 0x86b4a7a0780c2431, 0xee070a9ae5b51db7,
     0xedc293d9595be5d8, 0xce030d15b5fe2f4, 0x86b4a7a0780c2431,
     0xee070a9ae5b51db7, 0xedc293d9595be5d8, 0x3dfc5ec108260a2b,
     0x8afe28c7123bf4e2, 0xda82ef38023a7a5f, 0x3e1f77b0174b77c3, 0x7648486},
    {0x858fea922c7fe0c3, 0xcfe8326bf733bc6f, 0x4e5e2018cf8f7dfc,
     0x64fd1bc011e5bab7, 0x5c9e858728015568, 0x97ac42c2b00b29b1,
     0x7f89caf08c109aee, 0x64fd1bc011e5bab7, 0x5c9e858728015568,
     0x97ac42c2b00b29b1, 0x7f89caf08c109aee, 0x9a8af34fd0e9dacf,
     0xbbc54161aa1507e0, 0x7cda723ccbbfe5ee, 0x2c289d839fb93f58, 0x57ac0fb1},
    {0x46ef25fdec8392b1, 0xe48d7b6d42a5cd35, 0x56a6fe1c175299ca,
     0xfdfa836b41dcef62, 0x2f8db8030e847e1b, 0x5ba0a49ac4f9b0f8,
     0xdae897ed3e3fce44, 0xfdfa836b41dcef62, 0x2f8db8030e847e1b,
     0x5ba0a49ac4f9b0f8, 0xdae897ed3e3fce44, 0x9c432e31aef626e7,
     0x9a36e1c6cd6e3dd, 0x5095a167c34d19d, 0xa70005cfa6babbea, 0xd01967ca},
    {0x8d078f726b2df464, 0xb50ee71cdcabb299, 0xf4af300106f9c7ba,
     0x7d222caae025158a, 0xcc028d5fd40241b9, 0xdd42515b639e6f97,
     0xe08e86531a58f87f, 0x7d222caae025158a, 0xcc028d5fd40241b9,
     0xdd42515b639e6f97, 0xe08e86531a58f87f, 0xd93612c835b37d7b,
     0x91dd61729b2fa7f4, 0xba765a1bdda09db7, 0x55258b451b2b1297, 0x96ecdf74},
    {0x35ea86e6960ca950, 0x34fe1fe234fc5c76, 0xa00207a3dc2a72b7,
     0x80395e48739e1a67, 0x74a67d8f7f43c3d7, 0xdd2bdd1d62246c6e,
     0xa1f44298ba80acf6, 0x80395e48739e1a67, 0x74a67d8f7f43c3d7,
     0xdd2bdd1d62246c6e, 0xa1f44298ba80acf6, 0xad86d86c187bf38,
     0x26feea1f2eee240d, 0xed7f1fd066b23897, 0xa768cf1e0fbb502, 0x779f5506},
    {0x8aee9edbc15dd011, 0x51f5839dc8462695, 0xb2213e17c37dca2d,
     0x133b299a939745c5, 0x796e2aac053f52b3, 0xe8d9fe1521a4a222,
     0x819a8863e5d1c290, 0x133b299a939745c5, 0x796e2aac053f52b3,
     0xe8d9fe1521a4a222, 0x819a8863e5d1c290, 0xc0737f0fe34d36ad,
     0xe6d6d4a267a5cc31, 0x98300a7911674c23, 0xbef189661c257098, 0x3c94c2de},
    {0xc3e142ba98432dda, 0x911d060cab126188, 0xb753fbfa8365b844,
     0xfd1a9ba5e71b08a2, 0x7ac0dc2ed7778533, 0xb543161ff177188a,
     0x492fc08a6186f3f4, 0xfd1a9ba5e71b08a2, 0x7ac0dc2ed7778533,
     0xb543161ff177188a, 0x492fc08a6186f3f4, 0xfc4745f516afd3b6,
     0x88c30370a53080e, 0x65a1bb34abc465e2, 0xabbd14662911c8b3, 0x39f98faf},
    {0x123ba6b99c8cd8db, 0x448e582672ee07c4, 0xcebe379292db9e65,
     0x938f5bbab544d3d6, 0xd2a95f9f2d376d73, 0x68b2f16149e81aa3,
     0xad7e32f82d86c79d, 0x938f5bbab544d3d6, 0xd2a95f9f2d376d73,
     0x68b2f16149e81aa3, 0xad7e32f82d86c79d, 0x4574015ae8626ce2,
     0x455aa6137386a582, 0x658ad2542e8ec20, 0xe31d7be2ca35d00, 0x7af31199},
    {0xba87acef79d14f53, 0xb3e0fcae63a11558, 0xd5ac313a593a9f45,
     0xeea5f5a9f74af591, 0x578710bcc36fbea2, 0x7a8393432188931d,
     0x705cfc5ec7cc172, 0xeea5f5a9f74af591, 0x578710bcc36fbea2,
     0x7a8393432188931d, 0x705cfc5ec7cc172, 0xda85ebe5fc427976,
     0xbfa5c7a454df54c8, 0x4632b72a81bf66d2, 0x5dd72877db539ee2, 0xe341a9d6},
    {0xbcd3957d5717dc3, 0x2da746741b03a007, 0x873816f4b1ece472,
     0x2b826f1a2c08c289, 0xda50f56863b55e74, 0xb18712f6b3eed83b,
     0xbdc7cc05ab4c685f, 0x2b826f1a2c08c289, 0xda50f56863b55e74,
     0xb18712f6b3eed83b, 0xbdc7cc05ab4c685f, 0x9e45fb833d1b0af,
     0xd7213081db29d82e, 0xd2a6b6c6a09ed55e, 0x98a7686cba323ca9, 0xca24aeeb},
    {0x61442ff55609168e, 0x6447c5fc76e8c9cf, 0x6a846de83ae15728,
     0xeffc2663cffc777f, 0x93214f8f463afbed, 0xa156ef06066f4e4e,
     0xa407b6ed8769d51e, 0xeffc2663cffc777f, 0x93214f8f463afbed,
     0xa156ef06066f4e4e, 0xa407b6ed8769d51e, 0xbb2f9ed29745c02a,
     0x981eecd435b36ad9, 0x461a5a05fb9cdff4, 0xbd6cb2a87b9f910c, 0xb2252b57},
    {0xdbe4b1b2d174757f, 0x506512da18712656, 0x6857f3e0b8dd95f,
     0x5a4fc2728a9bb671, 0xebb971522ec38759, 0x1a5a093e6cf1f72b,
     0x729b057fe784f504, 0x5a4fc2728a9bb671, 0xebb971522ec38759,
     0x1a5a093e6cf1f72b, 0x729b057fe784f504, 0x71fcbf42a767f9cf,
     0x114cfe772da6cdd, 0x60cdf9cb629d9d7a, 0xe270d10ad088b24e, 0x72c81da1},
    {0x531e8e77b363161c, 0xeece0b43e2dae030, 0x8294b82c78f34ed1,
     0xe777b1fd580582f2, 0x7b880f58da112699, 0x562c6b189a6333f4,
     0x139d64f88a611d4, 0xe777b1fd580582f2, 0x7b880f58da112699,
     0x562c6b189a6333f4, 0x139d64f88a611d4, 0x53d8ef17eda64fa4,
     0xbf3eded14dc60a04, 0x2b5c559cf5ec07c5, 0x8895f7339d03a48a, 0x6b9fce95},
    {0xf71e9c926d711e2b, 0xd77af2853a4ceaa1, 0x9aa0d6d76a36fae7,
     0xdd16cd0fbc08393, 0x29a414a5d8c58962, 0x72793d8d1022b5b2,
     0x2e8e69cf7cbffdf0, 0xdd16cd0fbc08393, 0x29a414a5d8c58962,
     0x72793d8d1022b5b2, 0x2e8e69cf7cbffdf0, 0x3721c0473aa99c9a,
     0x1cff4ed9c31cd91c, 0x4990735033cc482b, 0x7fdf8c701c72f577, 0x19399857},
    {0xcb20ac28f52df368, 0xe6705ee7880996de, 0x9b665cc3ec6972f2,
     0x4260e8c254e9924b, 0xf197a6eb4591572d, 0x8e867ff0fb7ab27c,
     0xf95502fb503efaf3, 0x4260e8c254e9924b, 0xf197a6eb4591572d,
     0x8e867ff0fb7ab27c, 0xf95502fb503efaf3, 0x30c41876b08e3e22,
     0x958e2419e3cd22f4, 0xf0f3aa1fe119a107, 0x481662310a379100, 0x3c57a994},
    {0xe4a794b4acb94b55, 0x89795358057b661b, 0x9c4cdcec176d7a70,
     0x4890a83ee435bc8b, 0xd8c1c00fceb00914, 0x9e7111ba234f900f,
     0xeb8dbab364d8b604, 0x4890a83ee435bc8b, 0xd8c1c00fceb00914,
     0x9e7111ba234f900f, 0xeb8dbab364d8b604, 0xb3261452963eebb,
     0x6cf94b02792c4f95, 0xd88fa815ef1e8fc, 0x2d687af66604c73, 0xc053e729},
    {0xcb942e91443e7208, 0xe335de8125567c2a, 0xd4d74d268b86df1f,
     0x8ba0fdd2ffc8b239, 0xf413b366c1ffe02f, 0xc05b2717c59a8a28,
     0x981188eab4fcc8fb, 0x8ba0fdd2ffc8b239, 0xf413b366c1ffe02f,
     0xc05b2717c59a8a28, 0x981188eab4fcc8fb, 0xe563f49a1d9072ba,
     0x3c6a3aa4a26367dc, 0xba0db13448653f34, 0x31065d756074d7d6, 0x51cbbba7},
    {0xecca7563c203f7ba, 0x177ae2423ef34bb2, 0xf60b7243400c5731,
     0xcf1edbfe7330e94e, 0x881945906bcb3cc6, 0x4acf0293244855da,
     0x65ae042c1c2a28c2, 0xcf1edbfe7330e94e, 0x881945906bcb3cc6,
     0x4acf0293244855da, 0x65ae042c1c2a28c2, 0xb25fa0a1cab33559,
     0xd98e8daa28124131, 0xfce17f50b9c351b3, 0x3f995ccf7386864b, 0x1acde79a},
    {0x1652cb940177c8b5, 0x8c4fe7d85d2a6d6d, 0xf6216ad097e54e72,
     0xf6521b912b368ae6, 0xa9fe4eff81d03e73, 0xd6f623629f80d1a3,
     0x2b9604f32cb7dc34, 0xf6521b912b368ae6, 0xa9fe4eff81d03e73,
     0xd6f623629f80d1a3, 0x2b9604f32cb7dc34, 0x2a43d84dcf59c7e2,
     0xd0a197c70c5dae0b, 0x6e84d4bbc71d76a0, 0xc7e94620378c6cb2, 0x2d160d13},
    {0x31fed0fc04c13ce8, 0x3d5d03dbf7ff240a, 0x727c5c9b51581203,
     0x6b5ffc1f54fecb29, 0xa8e8e7ad5b9a21d9, 0xc4d5a32cd6aac22d,
     0xd7e274ad22d4a79a, 0x6b5ffc1f54fecb29, 0xa8e8e7ad5b9a21d9,
     0xc4d5a32cd6aac22d, 0xd7e274ad22d4a79a, 0x368841ea5731a112,
     0xfeaf7bc2e73ca48f, 0x636fb272e9ea1f6, 0x5d9cb7580c3f6207, 0x787f5801},
    {0xe7b668947590b9b3, 0xbaa41ad32938d3fa, 0xabcbc8d4ca4b39e4,
     0x381ee1b7ea534f4e, 0xda3759828e3de429, 0x3e015d76729f9955,
     0xcbbec51a6485fbde, 0x381ee1b7ea534f4e, 0xda3759828e3de429,
     0x3e015d76729f9955, 0xcbbec51a6485fbde, 0x9b86605281f20727,
     0xfc6fcf508676982a, 0x3b135f7a813a1040, 0xd3a4706bea1db9c9, 0xc9629828},
    {0x1de2119923e8ef3c, 0x6ab27c096cf2fe14, 0x8c3658edca958891,
     0x4cc8ed3ada5f0f2, 0x4a496b77c1f1c04e, 0x9085b0a862084201,
     0xa1894bde9e3dee21, 0x4cc8ed3ada5f0f2, 0x4a496b77c1f1c04e,
     0x9085b0a862084201, 0xa1894bde9e3dee21, 0x367fb472dc5b277d,
     0x7d39ccca16fc6745, 0x763f988d70db9106, 0xa8b66f7fecb70f02, 0xbe139231},
    {0x1269df1e69e14fa7, 0x992f9d58ac5041b7, 0xe97fcf695a7cbbb4,
     0xe5d0549802d15008, 0x424c134ecd0db834, 0x6fc44fd91be15c6c,
     0xa1a5ef95d50e537d, 0xe5d0549802d15008, 0x424c134ecd0db834,
     0x6fc44fd91be15c6c, 0xa1a5ef95d50e537d, 0xd1e3daf5d05f5308,
     0x4c7f81600eaa1327, 0x109d1b8d1f9d0d2b, 0x871e8699e0aeb862, 0x7df699ef},
    {0x820826d7aba567ff, 0x1f73d28e036a52f3, 0x41c4c5a73f3b0893,
     0xaa0d74d4a98db89b, 0x36fd486d07c56e1d, 0xd0ad23cbb6660d8a,
     0x1264a84665b35e19, 0xaa0d74d4a98db89b, 0x36fd486d07c56e1d,
     0xd0ad23cbb6660d8a, 0x1264a84665b35e19, 0x789682bf7d781b33,
     0x6bfa6abd2fb5722d, 0x6779cb3623d33900, 0x435ca5214e1ee5f0, 0x8ce6b96d},
    {0xffe0547e4923cef9, 0x3534ed49b9da5b02, 0x548a273700fba03d,
     0x28ac84ca70958f7e, 0xd8ae575a68faa731, 0x2aaaee9b9dcffd4c,
     0x6c7faab5c285c6da, 0x28ac84ca70958f7e, 0xd8ae575a68faa731,
     0x2aaaee9b9dcffd4c, 0x6c7faab5c285c6da, 0x45d94235f99ba78f,
     0xab5ea16f39497f5b, 0xfb4d6c86fccbdca3, 0x8104e6310a5fd2c7, 0x6f9ed99c},
    {0x72da8d1b11d8bc8b, 0xba94b56b91b681c6, 0x4e8cc51bd9b0fc8c,
     0x43505ed133be672a, 0xe8f2f9d973c2774e, 0x677b9b9c7cad6d97,
     0x4e1f5d56ef17b906, 0x43505ed133be672a, 0xe8f2f9d973c2774e,
     0x677b9b9c7cad6d97, 0x4e1f5d56ef17b906, 0xeea3a6038f983767,
     0x87109f077f86db01, 0xecc1ca41f74d61cc, 0x34a87e86e83bed17, 0xe0244796},
    {0xd62ab4e3f88fc797, 0xea86c7aeb6283ae4, 0xb5b93e09a7fe465,
     0x4344a1a0134afe2, 0xff5c17f02b62341d, 0x3214c6a587ce4644,
     0xa905e7ed0629d05c, 0x4344a1a0134afe2, 0xff5c17f02b62341d,
     0x3214c6a587ce4644, 0xa905e7ed0629d05c, 0xb5c72690cd716e82,
     0x7c6097649e6ebe7b, 0x7ceee8c6e56a4dcd, 0x80ca849dc53eb9e4, 0x4ccf7e75},
    {0xd0f06c28c7b36823, 0x1008cb0874de4bb8, 0xd6c7ff816c7a737b,
     0x489b697fe30aa65f, 0x4da0fb621fdc7817, 0xdc43583b82c58107,
     0x4b0261debdec3cd6, 0x489b697fe30aa65f, 0x4da0fb621fdc7817,
     0xdc43583b82c58107, 0x4b0261debdec3cd6, 0xa9748d7b6c0e016c,
     0x7e8828f7ba4b034b, 0xda0fa54348a2512a, 0xebf9745c0962f9ad, 0x915cef86},
    {0x99b7042460d72ec6, 0x2a53e5e2b8e795c2, 0x53a78132d9e1b3e3,
     0xc043e67e6fc64118, 0xff0abfe926d844d3, 0xf2a9fe5db2e910fe,
     0xce352cdc84a964dd, 0xc043e67e6fc64118, 0xff0abfe926d844d3,
     0xf2a9fe5db2e910fe, 0xce352cdc84a964dd, 0xb89bc028aa5e6063,
     0xa354e7fdac04459c, 0x68d6547e6e980189, 0xc968dddfd573773e, 0x5cb59482},
    {0x4f4dfcfc0ec2bae5, 0x841233148268a1b8, 0x9248a76ab8be0d3,
     0x334c5a25b5903a8c, 0x4c94fef443122128, 0x743e7d8454655c40,
     0x1ab1e6d1452ae2cd, 0x334c5a25b5903a8c, 0x4c94fef443122128,
     0x743e7d8454655c40, 0x1ab1e6d1452ae2cd, 0xfec766de4a8e476c,
     0xcc0929da9567e71b, 0x5f9ef5b5f150c35a, 0x87659cabd649768f, 0x6ca3f532},
    {0xfe86bf9d4422b9ae, 0xebce89c90641ef9c, 0x1c84e2292c0b5659,
     0x8bde625a10a8c50d, 0xeb8271ded1f79a0b, 0x14dc6844f0de7a3c,
     0xf85b2f9541e7e6da, 0x8bde625a10a8c50d, 0xeb8271ded1f79a0b,
     0x14dc6844f0de7a3c, 0xf85b2f9541e7e6da, 0x2fe22cfd1683b961,
     0xea1d75c5b7aa01ca, 0x9eef60a44876bb95, 0x950c818e505c6f7f, 0xe24f3859},
    {0xa90d81060932dbb0, 0x8acfaa88c5fbe92b, 0x7c6f3447e90f7f3f,
     0xdd52fc14c8dd3143, 0x1bc7508516e40628, 0x3059730266ade626,
     0xffa526822f391c2, 0xdd52fc14c8dd3143, 0x1bc7508516e40628,
     0x3059730266ade626, 0xffa526822f391c2, 0xe25232d7afc8a406,
     0xd2b8a5a3f3b5f670, 0x6630f33edb7dfe32, 0xc71250ba68c4ea86, 0xadf5a9c7},
    {0x17938a1b0e7f5952, 0x22cadd2f56f8a4be, 0x84b0d1183d5ed7c1,
     0xc1336b92fef91bf6, 0x80332a3945f33fa9, 0xa0f68b86f726ff92,
     0xa3db5282cf5f4c0b, 0xc1336b92fef91bf6, 0x80332a3945f33fa9,
     0xa0f68b86f726ff92, 0xa3db5282cf5f4c0b, 0x82640b6fc4916607,
     0x2dc2a3aa1a894175, 0x8b4c852bdee7cc9, 0x10b9d0a08b55ff83, 0x32264b75},
    {0xde9e0cb0e16f6e6d, 0x238e6283aa4f6594, 0x4fb9c914c2f0a13b,
     0x497cb912b670f3b, 0xd963a3f02ff4a5b6, 0x4fccefae11b50391,
     0x42ba47db3f7672f, 0x497cb912b670f3b, 0xd963a3f02ff4a5b6,
     0x4fccefae11b50391, 0x42ba47db3f7672f, 0x1d6b655a1889feef,
     0x5f319abf8fafa19f, 0x715c2e49deb14620, 0x8d9153082ecdcea4, 0xa64b3376},
    {0x6d4b876d9b146d1a, 0xaab2d64ce8f26739, 0xd315f93600e83fe5,
     0x2fe9fabdbe7fdd4, 0x755db249a2d81a69, 0xf27929f360446d71,
     0x79a1bf957c0c1b92, 0x2fe9fabdbe7fdd4, 0x755db249a2d81a69,
     0xf27929f360446d71, 0x79a1bf957c0c1b92, 0x3c8a28d4c936c9cd,
     0xdf0d3d13b2c6a902, 0xc76702dd97cd2edd, 0x1aa220f7be16517, 0xd33890e},
    {0xe698fa3f54e6ea22, 0xbd28e20e7455358c, 0x9ace161f6ea76e66,
     0xd53fb7e3c93a9e4, 0x737ae71b051bf108, 0x7ac71feb84c2df42,
     0x3d8075cd293a15b4, 0xd53fb7e3c93a9e4, 0x737ae71b051bf108,
     0x7ac71feb84c2df42, 0x3d8075cd293a15b4, 0xbf8cee5e095d8a7c,
     0xe7086b3c7608143a, 0xe55b0c2fa938d70c, 0xfffb5f58e643649c, 0x926d4b63},
    {0x7bc0deed4fb349f7, 0x1771aff25dc722fa, 0x19ff0644d9681917,
     0xcf7d7f25bd70cd2c, 0x9464ed9baeb41b4f, 0xb9064f5c3cb11b71,
     0x237e39229b012b20, 0xcf7d7f25bd70cd2c, 0x9464ed9baeb41b4f,
     0xb9064f5c3cb11b71, 0x237e39229b012b20, 0xdd54d3f5d982dffe,
     0x7fc7562dbfc81dbf, 0x5b0dd1924f70945, 0xf1760537d8261135, 0xd51ba539},
    {0xdb4b15e88533f622, 0x256d6d2419b41ce9, 0x9d7c5378396765d5,
     0x9040e5b936b8661b, 0x276e08fa53ac27fd, 0x8c944d39c2bdd2cc,
     0xe2514c9802a5743c, 0x9040e5b936b8661b, 0x276e08fa53ac27fd,
     0x8c944d39c2bdd2cc, 0xe2514c9802a5743c, 0xe82107b11ac90386,
     0x7d6a22bc35055e6, 0xfd6ea9d1c438d8ae, 0xbe6015149e981553, 0x7f37636d},
    {0x922834735e86ecb2, 0x363382685b88328e, 0xe9c92960d7144630,
     0x8431b1bfd0a2379c, 0x90383913aea283f9, 0xa6163831eb4924d2,
     0x5f3921b4f9084aee, 0x8431b1bfd0a2379c, 0x90383913aea283f9,
     0xa6163831eb4924d2, 0x5f3921b4f9084aee, 0x7a70061a1473e579,
     0x5b19d80dcd2c6331, 0x6196b97931faad27, 0x869bf6828e237c3f, 0xb98026c0},
    {0x30f1d72c812f1eb8, 0xb567cd4a69cd8989, 0x820b6c992a51f0bc,
     0xc54677a80367125e, 0x3204fbdba462e606, 0x8563278afc9eae69,
     0x262147dd4bf7e566, 0xc54677a80367125e, 0x3204fbdba462e606,
     0x8563278afc9eae69, 0x262147dd4bf7e566, 0x2178b63e7ee2d230,
     0xe9c61ad81f5bff26, 0x9af7a81b3c501eca, 0x44104a3859f0238f, 0xb877767e},
    {0x168884267f3817e9, 0x5b376e050f637645, 0x1c18314abd34497a,
     0x9598f6ab0683fcc2, 0x1c805abf7b80e1ee, 0xdec9ac42ee0d0f32,
     0x8cd72e3912d24663, 0x9598f6ab0683fcc2, 0x1c805abf7b80e1ee,
     0xdec9ac42ee0d0f32, 0x8cd72e3912d24663, 0x1f025d405f1c1d87,
     0xbf7b6221e1668f8f, 0x52316f64e692dbb0, 0x7bf43df61ec51b39, 0xaefae77},
    {0x82e78596ee3e56a7, 0x25697d9c87f30d98, 0x7600a8342834924d,
     0x6ba372f4b7ab268b, 0x8c3237cf1fe243df, 0x3833fc51012903df,
     0x8e31310108c5683f, 0x6ba372f4b7ab268b, 0x8c3237cf1fe243df,
     0x3833fc51012903df, 0x8e31310108c5683f, 0x126593715c2de429,
     0x48ca8f35a3f54b90, 0xb9322b632f4f8b0, 0x926bb169b7337693, 0xf686911},
    {0xaa2d6cf22e3cc252, 0x9b4dec4f5e179f16, 0x76fb0fba1d99a99a,
     0x9a62af3dbba140da, 0x27857ea044e9dfc1, 0x33abce9da2272647,
     0xb22a7993aaf32556, 0x9a62af3dbba140da, 0x27857ea044e9dfc1,
     0x33abce9da2272647, 0xb22a7993aaf32556, 0xbf8f88f8019bedf0,
     0xed2d7f01fb273905, 0x6b45f15901b481cd, 0xf88ebb413ba6a8d5, 0x3deadf12},
    {0x7bf5ffd7f69385c7, 0xfc077b1d8bc82879, 0x9c04e36f9ed83a24,
     0x82065c62e6582188, 0x8ef787fd356f5e43, 0x2922e53e36e17dfa,
     0x9805f223d385010b, 0x82065c62e6582188, 0x8ef787fd356f5e43,
     0x2922e53e36e17dfa, 0x9805f223d385010b, 0x692154f3491b787d,
     0xe7e64700e414fbf, 0x757d4d4ab65069a0, 0xcd029446a8e348e2, 0xccf02a4e},
    {0xe89c8ff9f9c6e34b, 0xf54c0f669a49f6c4, 0xfc3e46f5d846adef,
     0x22f2aa3df2221cc, 0xf66fea90f5d62174, 0xb75defaeaa1dd2a7,
     0x9b994cd9a7214fd5, 0x22f2aa3df2221cc, 0xf66fea90f5d62174,
     0xb75defaeaa1dd2a7, 0x9b994cd9a7214fd5, 0xfac675a31804b773,
     0x98bcb3b820c50fc6, 0xe14af64d28cf0885, 0x27466fbd2b360eb5, 0x176c1722},
    {0xa18fbcdccd11e1f4, 0x8248216751dfd65e, 0x40c089f208d89d7c,
     0x229b79ab69ae97d, 0xa87aabc2ec26e582, 0xbe2b053721eb26d2,
     0x10febd7f0c3d6fcb, 0x229b79ab69ae97d, 0xa87aabc2ec26e582,
     0xbe2b053721eb26d2, 0x10febd7f0c3d6fcb, 0x9cc5b9b2f6e3bf7b,
     0x655d8495fe624a86, 0x6381a9f3d1f2bd7e, 0x79ebabbfc25c83e2, 0x26f82ad},
    {0x2d54f40cc4088b17, 0x59d15633b0cd1399, 0xa8cc04bb1bffd15b,
     0xd332cdb073d8dc46, 0x272c56466868cb46, 0x7e7fcbe35ca6c3f3,
     0xee8f51e5a70399d4, 0xd332cdb073d8dc46, 0x272c56466868cb46,
     0x7e7fcbe35ca6c3f3, 0xee8f51e5a70399d4, 0x16737a9c7581fe7b,
     0xed04bf52f4b75dcb, 0x9707ffb36bd30c1a, 0x1390f236fdc0de3e, 0xb5244f42},
    {0x69276946cb4e87c7, 0x62bdbe6183be6fa9, 0x3ba9773dac442a1a,
     0x702e2afc7f5a1825, 0x8c49b11ea8151fdc, 0xcaf3fef61f5a86fa,
     0xef0b2ee8649d7272, 0x702e2afc7f5a1825, 0x8c49b11ea8151fdc,
     0xcaf3fef61f5a86fa, 0xef0b2ee8649d7272, 0x9e34a4e08d9441e1,
     0x7bdc0cd64d5af533, 0xa926b14d99e3d868, 0xfca923a17788cce4, 0x49a689e5},
    {0x668174a3f443df1d, 0x407299392da1ce86, 0xc2a3f7d7f2c5be28,
     0xa590b202a7a5807b, 0x968d2593f7ccb54e, 0x9dd8d669e3e95dec,
     0xee0cc5dd58b6e93a, 0xa590b202a7a5807b, 0x968d2593f7ccb54e,
     0x9dd8d669e3e95dec, 0xee0cc5dd58b6e93a, 0xac65d5a9466fb483,
     0x221be538b2c9d806, 0x5cbe9441784f9fd9, 0xd4c7d5d6e3c122b8, 0x59fcdd3},
    {0x5e29be847bd5046, 0xb561c7f19c8f80c3, 0x5e5abd5021ccaeaf,
     0x7432d63888e0c306, 0x74bbceeed479cb71, 0x6471586599575fdf,
     0x6a859ad23365cba2, 0x7432d63888e0c306, 0x74bbceeed479cb71,
     0x6471586599575fdf, 0x6a859ad23365cba2, 0xf9ceec84acd18dcc,
     0x74a242ff1907437c, 0xf70890194e1ee913, 0x777dfcb4bb01f0ba, 0x4f4b04e9},
    {0xcd0d79f2164da014, 0x4c386bb5c5d6ca0c, 0x8e771b03647c3b63,
     0x69db23875cb0b715, 0xada8dd91504ae37f, 0x46bf18dbf045ed6a,
     0xe1b5f67b0645ab63, 0x69db23875cb0b715, 0xada8dd91504ae37f,
     0x46bf18dbf045ed6a, 0xe1b5f67b0645ab63, 0x877be8f5dcddff4,
     0x6d471b5f9ca2e2d1, 0x802c86d6f495b9bb, 0xa1f9b9b22b3be704, 0x8b00f891},
    {0xe0e6fc0b1628af1d, 0x29be5fb4c27a2949, 0x1c3f781a604d3630,
     0xc4af7faf883033aa, 0x9bd296c4e9453cac, 0xca45426c1f7e33f9,
     0xa6bbdcf7074d40c5, 0xc4af7faf883033aa, 0x9bd296c4e9453cac,
     0xca45426c1f7e33f9, 0xa6bbdcf7074d40c5, 0xe13a005d7142733b,
     0xc02b7925c5eeefaf, 0xd39119a60441e2d5, 0x3c24c710df8f4d43, 0x16e114f3},
    {0x2058927664adfd93, 0x6e8f968c7963baa5, 0xaf3dced6fff7c394,
     0x42e34cf3d53c7876, 0x9cddbb26424dc5e, 0x64f6340a6d8eddad,
     0x2196e488eb2a3a4b, 0x42e34cf3d53c7876, 0x9cddbb26424dc5e,
     0x64f6340a6d8eddad, 0x2196e488eb2a3a4b, 0xc9e9da25911a16fd,
     0xe21b4683f3e196a8, 0xcb80bf1a4c6fdbb4, 0x53792e9b3c3e67f8, 0xd6b6dadc},
    {0xdc107285fd8e1af7, 0xa8641a0609321f3f, 0xdb06e89ffdc54466,
     0xbcc7a81ed5432429, 0xb6d7bdc6ad2e81f1, 0x93605ec471aa37db,
     0xa2a73f8a85a8e397, 0xbcc7a81ed5432429, 0xb6d7bdc6ad2e81f1,
     0x93605ec471aa37db, 0xa2a73f8a85a8e397, 0x10a012b8ca7ac24b,
     0xaac5fd63351595cf, 0x5bb4c648a226dea0, 0x9d11ecb2b5c05c5f, 0x897e20ac},
    {0xfbba1afe2e3280f1, 0x755a5f392f07fce, 0x9e44a9a15402809a,
     0x6226a32e25099848, 0xea895661ecf53004, 0x4d7e0158db2228b9,
     0xe5a7d82922f69842, 0x6226a32e25099848, 0xea895661ecf53004,
     0x4d7e0158db2228b9, 0xe5a7d82922f69842, 0x2cea7713b69840ca,
     0x18de7b9ae938375b, 0xf127cca08f3cc665, 0xb1c22d727665ad2, 0xf996e05d},
    {0xbfa10785ddc1011b, 0xb6e1c4d2f670f7de, 0x517d95604e4fcc1f,
     0xca6552a0dfb82c73, 0xb024cdf09e34ba07, 0x66cd8c5a95d7393b,
     0xe3939acf790d4a74, 0xca6552a0dfb82c73, 0xb024cdf09e34ba07,
     0x66cd8c5a95d7393b, 0xe3939acf790d4a74, 0x97827541a1ef051e,
     0xac2fce47ebe6500c, 0xb3f06d3bddf3bd6a, 0x1d74afb25e1ce5fe, 0xc4306af6},
    {0x534cc35f0ee1eb4e, 0xb703820f1f3b3dce, 0x884aa164cf22363,
     0xf14ef7f47d8a57a3, 0x80d1f86f2e061d7c, 0x401d6c2f151b5a62,
     0xe988460224108944, 0xf14ef7f47d8a57a3, 0x80d1f86f2e061d7c,
     0x401d6c2f151b5a62, 0xe988460224108944, 0x7804d4135f68cd19,
     0x5487b4b39e69fe8e, 0x8cc5999015358a27, 0x8f3729b61c2d5601, 0x6dcad433},
    {0x7ca6e3933995dac, 0xfd118c77daa8188, 0x3aceb7b5e7da6545,
     0xc8389799445480db, 0x5389f5df8aacd50d, 0xd136581f22fab5f,
     0xc2f31f85991da417, 0xc8389799445480db, 0x5389f5df8aacd50d,
     0xd136581f22fab5f, 0xc2f31f85991da417, 0xaefbf9ff84035a43,
     0x8accbaf44adadd7c, 0xe57f3657344b67f5, 0x21490e5e8abdec51, 0x3c07374d},
    {0xf0d6044f6efd7598, 0xe044d6ba4369856e, 0x91968e4f8c8a1a4c,
     0x70bd1968996bffc2, 0x4c613de5d8ab32ac, 0xfe1f4f97206f79d8,
     0xac0434f2c4e213a9, 0x70bd1968996bffc2, 0x4c613de5d8ab32ac,
     0xfe1f4f97206f79d8, 0xac0434f2c4e213a9, 0x7490e9d82cfe22ca,
     0x5fbbf7f987454238, 0xc39e0dc8368ce949, 0x22201d3894676c71, 0xf0f4602c},
    {0x3d69e52049879d61, 0x76610636ea9f74fe, 0xe9bf5602f89310c0,
     0x8eeb177a86053c11, 0xe390122c345f34a2, 0x1e30e47afbaaf8d6,
     0x7b892f68e5f91732, 0x8eeb177a86053c11, 0xe390122c345f34a2,
     0x1e30e47afbaaf8d6, 0x7b892f68e5f91732, 0xb87922525fa44158,
     0xf440a1ee1a1a766b, 0xee8efad279d08c5c, 0x421f910c5b60216e, 0x3e1ea071},
    {0x79da242a16acae31, 0x183c5f438e29d40, 0x6d351710ae92f3de,
     0x27233b28b5b11e9b, 0xc7dfe8988a942700, 0x570ed11c4abad984,
     0x4b4c04632f48311a, 0x27233b28b5b11e9b, 0xc7dfe8988a942700,
     0x570ed11c4abad984, 0x4b4c04632f48311a, 0x12f33235442cbf9,
     0xa35315ca0b5b8cdb, 0xd8abde62ead5506b, 0xfc0fcf8478ad5266, 0x67580f0c},
    {0x461c82656a74fb57, 0xd84b491b275aa0f7, 0x8f262cb29a6eb8b2,
     0x49fa3070bc7b06d0, 0xf12ed446bd0c0539, 0x6d43ac5d1dd4b240,
     0x7609524fe90bec93, 0x49fa3070bc7b06d0, 0xf12ed446bd0c0539,
     0x6d43ac5d1dd4b240, 0x7609524fe90bec93, 0x391c2b2e076ec241,
     0xf5e62deda7839f7b, 0x3c7b3186a10d870f, 0x77ef4f2cba4f1005, 0x4e109454},
    {0x53c1a66d0b13003, 0x731f060e6fe797fc, 0xdaa56811791371e3,
     0x57466046cf6896ed, 0x8ac37e0e8b25b0c6, 0x3e6074b52ad3cf18,
     0xaa491ce7b45db297, 0x57466046cf6896ed, 0x8ac37e0e8b25b0c6,
     0x3e6074b52ad3cf18, 0xaa491ce7b45db297, 0xf7a9227c5e5e22c3,
     0x3d92e0841e29ce28, 0x2d30da5b2859e59d, 0xff37fa1c9cbfafc2, 0x88a474a7},
    {0xd3a2efec0f047e9, 0x1cabce58853e58ea, 0x7a17b2eae3256be4,
     0xc2dcc9758c910171, 0xcb5cddaeff4ddb40, 0x5d7cc5869baefef1,
     0x9644c5853af9cfeb, 0xc2dcc9758c910171, 0xcb5cddaeff4ddb40,
     0x5d7cc5869baefef1, 0x9644c5853af9cfeb, 0x255c968184694ee1,
     0x4e4d726eda360927, 0x7d27dd5b6d100377, 0x9a300e2020ddea2c, 0x5b5bedd},
    {0x43c64d7484f7f9b2, 0x5da002b64aafaeb7, 0xb576c1e45800a716,
     0x3ee84d3d5b4ca00b, 0x5cbc6d701894c3f9, 0xd9e946f5ae1ca95,
     0x24ca06e67f0b1833, 0x3ee84d3d5b4ca00b, 0x5cbc6d701894c3f9,
     0xd9e946f5ae1ca95, 0x24ca06e67f0b1833, 0x3413d46b4152650e,
     0xcbdfdbc2ab516f9c, 0x2aad8acb739e0c6c, 0x2bfc950d9f9fa977, 0x1aaddfa7},
    {0xa7dec6ad81cf7fa1, 0x180c1ab708683063, 0x95e0fd7008d67cff,
     0x6b11c5073687208, 0x7e0a57de0d453f3, 0xe48c267d4f646867,
     0x2168e9136375f9cb, 0x6b11c5073687208, 0x7e0a57de0d453f3,
     0xe48c267d4f646867, 0x2168e9136375f9cb, 0x64da194aeeea7fdf,
     0xa3b9f01fa5885678, 0xc316f8ee2eb2bd17, 0xa7e4d80f83e4427f, 0x5be07fd8},
    {0x5408a1df99d4aff, 0xb9565e588740f6bd, 0xabf241813b08006e,
     0x7da9e81d89fda7ad, 0x274157cabe71440d, 0x2c22d9a480b331f7,
     0xe835c8ac746472d5, 0x7da9e81d89fda7ad, 0x274157cabe71440d,
     0x2c22d9a480b331f7, 0xe835c8ac746472d5, 0x2038ce817a201ae4,
     0x46f3289dfe1c5e40, 0x435578a42d4b7c56, 0xf96d9f409fcf561, 0xcbca8606},
    {0xa8b27a6bcaeeed4b, 0xaec1eeded6a87e39, 0x9daf246d6fed8326,
     0xd45a938b79f54e8f, 0x366b219d6d133e48, 0x5b14be3c25c49405,
     0xfdd791d48811a572, 0xd45a938b79f54e8f, 0x366b219d6d133e48,
     0x5b14be3c25c49405, 0xfdd791d48811a572, 0x3de67b8d9e95d335,
     0x903c01307cfbeed5, 0xaf7d65f32274f1d1, 0x4dba141b5fc03c42, 0xbde64d01},
    {0x9a952a8246fdc269, 0xd0dcfcac74ef278c, 0x250f7139836f0f1f,
     0xc83d3c5f4e5f0320, 0x694e7adeb2bf32e5, 0x7ad09538a3da27f5,
     0x2b5c18f934aa5303, 0xc83d3c5f4e5f0320, 0x694e7adeb2bf32e5,
     0x7ad09538a3da27f5, 0x2b5c18f934aa5303, 0xc4dad7703d34326e,
     0x825569e2bcdc6a25, 0xb83d267709ca900d, 0x44ed05151f5d74e6, 0xee90cf33},
    {0xc930841d1d88684f, 0x5eb66eb18b7f9672, 0xe455d413008a2546,
     0xbc271bc0df14d647, 0xb071100a9ff2edbb, 0x2b1a4c1cc31a119a,
     0xb5d7caa1bd946cef, 0xbc271bc0df14d647, 0xb071100a9ff2edbb,
     0x2b1a4c1cc31a119a, 0xb5d7caa1bd946cef, 0xe02623ae10f4aadd,
     0xd79f600389cd06fd, 0x1e8da7965303e62b, 0x86f50e10eeab0925, 0x4305c3ce},
    {0x94dc6971e3cf071a, 0x994c7003b73b2b34, 0xea16e85978694e5,
     0x336c1b59a1fc19f6, 0xc173acaecc471305, 0xdb1267d24f3f3f36,
     0xe9a5ee98627a6e78, 0x336c1b59a1fc19f6, 0xc173acaecc471305,
     0xdb1267d24f3f3f36, 0xe9a5ee98627a6e78, 0x718f334204305ae5,
     0xe3b53c148f98d22c, 0xa184012df848926, 0x6e96386127d51183, 0x4b3a1d76},
    {0x7fc98006e25cac9, 0x77fee0484cda86a7, 0x376ec3d447060456,
     0x84064a6dcf916340, 0xfbf55a26790e0ebb, 0x2e7f84151c31a5c2,
     0x9f7f6d76b950f9bf, 0x84064a6dcf916340, 0xfbf55a26790e0ebb,
     0x2e7f84151c31a5c2, 0x9f7f6d76b950f9bf, 0x125e094fbee2b146,
     0x5706aa72b2eef7c2, 0x1c4a2daa905ee66e, 0x83d48029b5451694, 0xa8bb6d80},
    {0xbd781c4454103f6, 0x612197322f49c931, 0xb9cf17fd7e5462d5,
     0xe38e526cd3324364, 0x85f2b63a5b5e840a, 0x485d7cef5aaadd87,
     0xd2b837a462f6db6d, 0xe38e526cd3324364, 0x85f2b63a5b5e840a,
     0x485d7cef5aaadd87, 0xd2b837a462f6db6d, 0x3e41cef031520d9a,
     0x82df73902d7f67e, 0x3ba6fd54c15257cb, 0x22f91f079be42d40, 0x1f9fa607},
    {0xda60e6b14479f9df, 0x3bdccf69ece16792, 0x18ebf45c4fecfdc9,
     0x16818ee9d38c6664, 0x5519fa9a1e35a329, 0xcbd0001e4b08ed8,
     0x41a965e37a0c731b, 0x16818ee9d38c6664, 0x5519fa9a1e35a329,
     0xcbd0001e4b08ed8, 0x41a965e37a0c731b, 0x66e7b5dcca1ca28f,
     0x963b2d993614347d, 0x9b6fc6f41d411106, 0xaaaecaccf7848c0c, 0x8d0e4ed2},
    {0x4ca56a348b6c4d3, 0x60618537c3872514, 0x2fbb9f0e65871b09,
     0x30278016830ddd43, 0xf046646d9012e074, 0xc62a5804f6e7c9da,
     0x98d51f5830e2bc1e, 0x30278016830ddd43, 0xf046646d9012e074,
     0xc62a5804f6e7c9da, 0x98d51f5830e2bc1e, 0x7b2cbe5d37e3f29e,
     0x7b8c3ed50bda4aa0, 0x3ea60cc24639e038, 0xf7706de9fb0b5801, 0x1bf31347},
    {0xebd22d4b70946401, 0x6863602bf7139017, 0xc0b1ac4e11b00666,
     0x7d2782b82bd494b6, 0x97159ba1c26b304b, 0x42b3b0fd431b2ac2,
     0xfaa81f82691c830c, 0x7d2782b82bd494b6, 0x97159ba1c26b304b,
     0x42b3b0fd431b2ac2, 0xfaa81f82691c830c, 0x7cc6449234c7e185,
     0xaeaa6fa643ca86a5, 0x1412db1c0f2e0133, 0x4df2fe3e4072934f, 0x1ae3fc5b},
    {0x3cc4693d6cbcb0c, 0x501689ea1c70ffa, 0x10a4353e9c89e364,
     0x58c8aba7475e2d95, 0x3e2f291698c9427a, 0xe8710d19c9de9e41,
     0x65dda22eb04cf953, 0x58c8aba7475e2d95, 0x3e2f291698c9427a,
     0xe8710d19c9de9e41, 0x65dda22eb04cf953, 0xd7729c48c250cffa,
     0xef76162b2ddfba4b, 0x52371e17f4d51f6d, 0xddd002112ff0c833, 0x459c3930},
    {0x38908e43f7ba5ef0, 0x1ab035d4e7781e76, 0x41d133e8c0a68ff7,
     0xd1090893afaab8bc, 0x96c4fe6922772807, 0x4522426c2b4205eb,
     0xefad99a1262e7e0d, 0xd1090893afaab8bc, 0x96c4fe6922772807,
     0x4522426c2b4205eb, 0xefad99a1262e7e0d, 0xc7696029abdb465e,
     0x4e18eaf03d517651, 0xd006bced54c86ac8, 0x4330326d1021860c, 0xe00c4184},
    {0x34983ccc6aa40205, 0x21802cad34e72bc4, 0x1943e8fb3c17bb8,
     0xfc947167f69c0da5, 0xae79cfdb91b6f6c1, 0x7b251d04c26cbda3,
     0x128a33a79060d25e, 0xfc947167f69c0da5, 0xae79cfdb91b6f6c1,
     0x7b251d04c26cbda3, 0x128a33a79060d25e, 0x1eca842dbfe018dd,
     0x50a4cd2ee0ba9c63, 0xc2f5c97d8399682f, 0x3f929fc7cbe8ecbb, 0xffc7a781},
    {0x86215c45dcac9905, 0xea546afe851cae4b, 0xd85b6457e489e374,
     0xb7609c8e70386d66, 0x36e6ccc278d1636d, 0x2f873307c08e6a1c,
     0x10f252a758505289, 0xb7609c8e70386d66, 0x36e6ccc278d1636d,
     0x2f873307c08e6a1c, 0x10f252a758505289, 0xc8977646e81ab4b6,
     0x8017b745cd80213b, 0x960687db359bea0, 0xef4a470660799488, 0x6a125480},
    {0x420fc255c38db175, 0xd503cd0f3c1208d1, 0xd4684e74c825a0bc,
     0x4c10537443152f3d, 0x720451d3c895e25d, 0xaff60c4d11f513fd,
     0x881e8d6d2d5fb953, 0x4c10537443152f3d, 0x720451d3c895e25d,
     0xaff60c4d11f513fd, 0x881e8d6d2d5fb953, 0x9dec034a043f1f55,
     0xe27a0c22e7bfb39d, 0x2220b959128324, 0x53240272152dbd8b, 0x88a1512b},
    {0x1d7a31f5bc8fe2f9, 0x4763991092dcf836, 0xed695f55b97416f4,
     0xf265edb0c1c411d7, 0x30e1e9ec5262b7e6, 0xc2c3ba061ce7957a,
     0xd975f93b89a16409, 0xf265edb0c1c411d7, 0x30e1e9ec5262b7e6,
     0xc2c3ba061ce7957a, 0xd975f93b89a16409, 0xe9d703123f43450a,
     0x41383fedfed67c82, 0x6e9f43ecbbbd6004, 0xc7ccd23a24e77b8, 0x549bbbe5},
    {0x94129a84c376a26e, 0xc245e859dc231933, 0x1b8f74fecf917453,
     0xe9369d2e9007e74b, 0xb1375915d1136052, 0x926c2021fe1d2351,
     0x1d943addaaa2e7e6, 0xe9369d2e9007e74b, 0xb1375915d1136052,
     0x926c2021fe1d2351, 0x1d943addaaa2e7e6, 0xf5f515869c246738,
     0x7e309cd0e1c0f2a0, 0x153c3c36cf523e3b, 0x4931c66872ea6758, 0xc133d38c},
    {0x1d3a9809dab05c8d, 0xadddeb4f71c93e8, 0xef342eb36631edb,
     0x301d7a61c4b3dbca, 0x861336c3f0552d61, 0x12c6db947471300f,
     0xa679ef0ed761deb9, 0x301d7a61c4b3dbca, 0x861336c3f0552d61,
     0x12c6db947471300f, 0xa679ef0ed761deb9, 0x5f713b720efcd147,
     0x37ac330a333aa6b, 0x3309dc9ec1616eef, 0x52301d7a908026b5, 0xfcace348},
    {0x90fa3ccbd60848da, 0xdfa6e0595b569e11, 0xe585d067a1f5135d,
     0x6cef866ec295abea, 0xc486c0d9214beb2d, 0xd6e490944d5fe100,
     0x59df3175d72c9f38, 0x6cef866ec295abea, 0xc486c0d9214beb2d,
     0xd6e490944d5fe100, 0x59df3175d72c9f38, 0x3f23aeb4c04d1443,
     0x9bf0515cd8d24770, 0x958554f60ccaade2, 0x5182863c90132fe8, 0xed7b6f9a},
    {0x2dbb4fc71b554514, 0x9650e04b86be0f82, 0x60f2304fba9274d3,
     0xfcfb9443e997cab, 0xf13310d96dec2772, 0x709cad2045251af2,
     0xafd0d30cc6376dad, 0xfcfb9443e997cab, 0xf13310d96dec2772,
     0x709cad2045251af2, 0xafd0d30cc6376dad, 0x59d4bed30d550d0d,
     0x58006d4e22d8aad1, 0xeee12d2362d1f13b, 0x35cf1d7faaf1d228, 0x6d907dda},
    {0xb98bf4274d18374a, 0x1b669fd4c7f9a19a, 0xb1f5972b88ba2b7a,
     0x73119c99e6d508be, 0x5d4036a187735385, 0x8fa66e192fd83831,
     0x2abf64b6b592ed57, 0x73119c99e6d508be, 0x5d4036a187735385,
     0x8fa66e192fd83831, 0x2abf64b6b592ed57, 0xd4501f95dd84b08c,
     0xbf1552439c8bea02, 0x4f56fe753ba7e0ba, 0x4ca8d35cc058cfcd, 0x7a4d48d5},
    {0xd6781d0b5e18eb68, 0xb992913cae09b533, 0x58f6021caaee3a40,
     0xaafcb77497b5a20b, 0x411819e5e79b77a3, 0xbd779579c51c77ce,
     0x58d11f5dcf5d075d, 0xaafcb77497b5a20b, 0x411819e5e79b77a3,
     0xbd779579c51c77ce, 0x58d11f5dcf5d075d, 0x9eae76cde1cb4233,
     0x32fe25a9bf657970, 0x1c0c807948edb06a, 0xb8f29a3dfaee254d, 0xe686f3db},
    {0x226651cf18f4884c, 0x595052a874f0f51c, 0xc9b75162b23bab42,
     0x3f44f873be4812ec, 0x427662c1dbfaa7b2, 0xa207ff9638fb6558,
     0xa738d919e45f550f, 0x3f44f873be4812ec, 0x427662c1dbfaa7b2,
     0xa207ff9638fb6558, 0xa738d919e45f550f, 0xcb186ea05717e7d6,
     0x1ca7d68a5871fdc1, 0x5d4c119ea8ef3750, 0x72b6a10fa2ff9406, 0xcce7c55},
    {0xa734fb047d3162d6, 0xe523170d240ba3a5, 0x125a6972809730e8,
     0xd396a297799c24a1, 0x8fee992e3069bad5, 0x2e3a01b0697ccf57,
     0xee9c7390bd901cfa, 0xd396a297799c24a1, 0x8fee992e3069bad5,
     0x2e3a01b0697ccf57, 0xee9c7390bd901cfa, 0x56f2d9da0af28af2,
     0x3fdd37b2fe8437cb, 0x3d13eeeb60d6aec0, 0x2432ae62e800a5ce, 0xf58b96b},
    {0xc6df6364a24f75a3, 0xc294e2c84c4f5df8, 0xa88df65c6a89313b,
     0x895fe8443183da74, 0xc7f2f6f895a67334, 0xa0d6b6a506691d31,
     0x24f51712b459a9f0, 0x895fe8443183da74, 0xc7f2f6f895a67334,
     0xa0d6b6a506691d31, 0x24f51712b459a9f0, 0x173a699481b9e088,
     0x1dee9b77bcbf45d3, 0x32b98a646a8667d0, 0x3adcd4ee28f42a0e, 0x1bbf6f60},
    {0xd8d1364c1fbcd10, 0x2d7cc7f54832deaa, 0x4e22c876a7c57625,
     0xa3d5d1137d30c4bd, 0x1e7d706a49bdfb9e, 0xc63282b20ad86db2,
     0xaec97fa07916bfd6, 0xa3d5d1137d30c4bd, 0x1e7d706a49bdfb9e,
     0xc63282b20ad86db2, 0xaec97fa07916bfd6, 0x7c9ba3e52d44f73e,
     0xaf62fd245811185d, 0x8a9d2dacd8737652, 0xbd2cce277d5fbec0, 0xce5e0cc2},
    {0xaae06f9146db885f, 0x3598736441e280d9, 0xfba339b117083e55,
     0xb22bf08d9f8aecf7, 0xc182730de337b922, 0x2b9adc87a0450a46,
     0x192c29a9cfc00aad, 0xb22bf08d9f8aecf7, 0xc182730de337b922,
     0x2b9adc87a0450a46, 0x192c29a9cfc00aad, 0x9fd733f1d84a59d9,
     0xd86bd5c9839ace15, 0xaf20b57303172876, 0x9f63cb7161b5364c, 0x584cfd6f},
    {0x8955ef07631e3bcc, 0x7d70965ea3926f83, 0x39aed4134f8b2db6,
     0x882efc2561715a9c, 0xef8132a18a540221, 0xb20a3c87a8c257c1,
     0xf541b8628fad6c23, 0x882efc2561715a9c, 0xef8132a18a540221,
     0xb20a3c87a8c257c1, 0xf541b8628fad6c23, 0x9552aed57a6e0467,
     0x4d9fdd56867611a7, 0xc330279bf23b9eab, 0x44dbbaea2fcb8eba, 0x8f9bbc33},
    {0xad611c609cfbe412, 0xd3c00b18bf253877, 0x90b2172e1f3d0bfd,
     0x371a98b2cb084883, 0x33a2886ee9f00663, 0xbe9568818ed6e6bd,
     0xf244a0fa2673469a, 0x371a98b2cb084883, 0x33a2886ee9f00663,
     0xbe9568818ed6e6bd, 0xf244a0fa2673469a, 0xb447050bd3e559e9,
     0xd3b695dae7a13383, 0xded0bb65be471188, 0xca3c7a2b78922cae, 0xd7640d95},
    {0xd5339adc295d5d69, 0xb633cc1dcb8b586a, 0xee84184cf5b1aeaf,
     0x89f3aab99afbd636, 0xf420e004f8148b9a, 0x6818073faa797c7c,
     0xdd3b4e21cbbf42ca, 0x89f3aab99afbd636, 0xf420e004f8148b9a,
     0x6818073faa797c7c, 0xdd3b4e21cbbf42ca, 0x6a2b7db261164844,
     0xcbead63d1895852a, 0x93d37e1eae05e2f9, 0x5d06db2703fbc3ae, 0x3d12a2b},
    {0x40d0aeff521375a8, 0x77ba1ad7ecebd506, 0x547c6f1a7d9df427,
     0x21c2be098327f49b, 0x7e035065ac7bbef5, 0x6d7348e63023fb35,
     0x9d427dc1b67c3830, 0x21c2be098327f49b, 0x7e035065ac7bbef5,
     0x6d7348e63023fb35, 0x9d427dc1b67c3830, 0x4e3d018a43858341,
     0xcf924bb44d6b43c5, 0x4618b6a26e3446ae, 0x54d3013fac3ed469, 0xaaeafed0},
    {0x8b2d54ae1a3df769, 0x11e7adaee3216679, 0x3483781efc563e03,
     0x9d097dd3152ab107, 0x51e21d24126e8563, 0xcba56cac884a1354,
     0x39abb1b595f0a977, 0x9d097dd3152ab107, 0x51e21d24126e8563,
     0xcba56cac884a1354, 0x39abb1b595f0a977, 0x81e6dd1c1109848f,
     0x1644b209826d7b15, 0x6ac67e4e4b4812f0, 0xb3a9f5622c935bf7, 0x95b9b814},
    {0x99c175819b4eae28, 0x932e8ff9f7a40043, 0xec78dcab07ca9f7c,
     0xc1a78b82ba815b74, 0x458cbdfc82eb322a, 0x17f4a192376ed8d7,
     0x6f9e92968bc8ccef, 0xc1a78b82ba815b74, 0x458cbdfc82eb322a,
     0x17f4a192376ed8d7, 0x6f9e92968bc8ccef, 0x93e098c333b39905,
     0xd59b1cace44b7fdc, 0xf7a64ed78c64c7c5, 0x7c6eca5dd87ec1ce, 0x45fbe66e},
    {0x2a418335779b82fc, 0xaf0295987849a76b, 0xc12bc5ff0213f46e,
     0x5aeead8d6cb25bb9, 0x739315f7743ec3ff, 0x9ab48d27111d2dcc,
     0x5b87bd35a975929b, 0x5aeead8d6cb25bb9, 0x739315f7743ec3ff,
     0x9ab48d27111d2dcc, 0x5b87bd35a975929b, 0xc3dd8d6d95a46bb3,
     0x7bf9093215a4f483, 0xcb557d6ed84285bd, 0xdaf58422f261fdb5, 0xb4baa7a8},
    {0x3b1fc6a3d279e67d, 0x70ea1e49c226396, 0x25505adcf104697c,
     0xba1ffba29f0367aa, 0xa20bec1dd15a8b6c, 0xe9bf61d2dab0f774,
     0xf4f35bf5870a049c, 0xba1ffba29f0367aa, 0xa20bec1dd15a8b6c,
     0xe9bf61d2dab0f774, 0xf4f35bf5870a049c, 0x26787efa5b92385,
     0x3d9533590ce30b59, 0xa4da3e40530a01d4, 0x6395deaefb70067c, 0x83e962fe},
    {0xd97eacdf10f1c3c9, 0xb54f4654043a36e0, 0xb128f6eb09d1234,
     0xd8ad7ec84a9c9aa2, 0xe256cffed11f69e6, 0x2cf65e4958ad5bda,
     0xcfbf9b03245989a7, 0xd8ad7ec84a9c9aa2, 0xe256cffed11f69e6,
     0x2cf65e4958ad5bda, 0xcfbf9b03245989a7, 0x9fa51e6686cf4444,
     0x9425c117a34609d5, 0xb25f7e2c6f30e96, 0xea5477c3f2b5afd1, 0xaac3531c},
    {0x293a5c1c4e203cd4, 0x6b3329f1c130cefe, 0xf2e32f8ec76aac91,
     0x361e0a62c8187bff, 0x6089971bb84d7133, 0x93df7741588dd50b,
     0xc2a9b6abcd1d80b1, 0x361e0a62c8187bff, 0x6089971bb84d7133,
     0x93df7741588dd50b, 0xc2a9b6abcd1d80b1, 0x4d2f86869d79bc59,
     0x85cd24d8aa570ff, 0xb0dcf6ef0e94bbb5, 0x2037c69aa7a78421, 0x2b1db7cc},
    {0x4290e018ffaedde7, 0xa14948545418eb5e, 0x72d851b202284636,
     0x4ec02f3d2f2b23f2, 0xab3580708aa7c339, 0xcdce066fbab3f65,
     0xd8ed3ecf3c7647b9, 0x4ec02f3d2f2b23f2, 0xab3580708aa7c339,
     0xcdce066fbab3f65, 0xd8ed3ecf3c7647b9, 0x6d2204b3e31f344a,
     0x61a4d87f80ee61d7, 0x446c43dbed4b728f, 0x73130ac94f58747e, 0xcf00cd31},
    {0xf919a59cbde8bf2f, 0xa56d04203b2dc5a5, 0x38b06753ac871e48,
     0xc2c9fc637dbdfcfa, 0x292ab8306d149d75, 0x7f436b874b9ffc07,
     0xa5b56b0129218b80, 0xc2c9fc637dbdfcfa, 0x292ab8306d149d75,
     0x7f436b874b9ffc07, 0xa5b56b0129218b80, 0x9188f7bdc47ec050,
     0xcfe9345d03a15ade, 0x40b520fb2750c49e, 0xc2e83d343968af2e, 0x7d3c43b8},
    {0x1d70a3f5521d7fa4, 0xfb97b3fdc5891965, 0x299d49bbbe3535af,
     0xe1a8286a7d67946e, 0x52bd956f047b298, 0xcbd74332dd4204ac,
     0x12b5be7752721976, 0xe1a8286a7d67946e, 0x52bd956f047b298,
     0xcbd74332dd4204ac, 0x12b5be7752721976, 0x278426e27f6204b6,
     0x932ca7a7cd610181, 0x41647321f0a5914d, 0x48f4aa61a0ae80db, 0xcbd5fac6},
    {0x6af98d7b656d0d7c, 0xd2e99ae96d6b5c0c, 0xf63bd1603ef80627,
     0xbde51033ac0413f8, 0xbc0272f691aec629, 0x6204332651bebc44,
     0x1cbf00de026ea9bd, 0xbde51033ac0413f8, 0xbc0272f691aec629,
     0x6204332651bebc44, 0x1cbf00de026ea9bd, 0xb9c7ed6a75f3ff1e,
     0x7e310b76a5808e4f, 0xacbbd1aad5531885, 0xfc245f2473adeb9c, 0x76d0fec4},
    {0x395b7a8adb96ab75, 0x582df7165b20f4a, 0xe52bd30e9ff657f9,
     0x6c71064996cbec8b, 0x352c535edeefcb89, 0xac7f0aba15cd5ecd,
     0x3aba1ca8353e5c60, 0x6c71064996cbec8b, 0x352c535edeefcb89,
     0xac7f0aba15cd5ecd, 0x3aba1ca8353e5c60, 0x5c30a288a80ce646,
     0xc2940488b6617674, 0x925f8cc66b370575, 0xaa65d1283b9bb0ef, 0x405e3402},
    {0x3822dd82c7df012f, 0xb9029b40bd9f122b, 0xfd25b988468266c4,
     0x43e47bd5bab1e0ef, 0x4a71f363421f282f, 0x880b2f32a2b4e289,
     0x1299d4eda9d3eadf, 0x43e47bd5bab1e0ef, 0x4a71f363421f282f,
     0x880b2f32a2b4e289, 0x1299d4eda9d3eadf, 0xd713a40226f5564,
     0x4d8d34fedc769406, 0xa85001b29cd9cac3, 0xcae92352a41fd2b0, 0xc732c481},
    {0x79f7efe4a80b951a, 0xdd3a3fddfc6c9c41, 0xab4c812f9e27aa40,
     0x832954ec9d0de333, 0x94c390aa9bcb6b8a, 0xf3b32afdc1f04f82,
     0xd229c3b72e4b9a74, 0x832954ec9d0de333, 0x94c390aa9bcb6b8a,
     0xf3b32afdc1f04f82, 0xd229c3b72e4b9a74, 0x1d11860d7ed624a6,
     0xcadee20b3441b984, 0x75307079bf306f7b, 0x87902aa3b9753ba4, 0xa8d123c9},
    {0xae6e59f5f055921a, 0xe9d9b7bf68e82, 0x5ce4e4a5b269cc59,
     0x4960111789727567, 0x149b8a37c7125ab6, 0x78c7a13ab9749382,
     0x1c61131260ca151a, 0x4960111789727567, 0x149b8a37c7125ab6,
     0x78c7a13ab9749382, 0x1c61131260ca151a, 0x1e93276b35c309a0,
     0x2618f56230acde58, 0xaf61130a18e4febf, 0x7145deb18e89befe, 0x1e80ad7d},
    {0x8959dbbf07387d36, 0xb4658afce48ea35d, 0x8f3f82437d8cb8d6,
     0x6566d74954986ba5, 0x99d5235cc82519a7, 0x257a23805c2d825,
     0xad75ccb968e93403, 0x6566d74954986ba5, 0x99d5235cc82519a7,
     0x257a23805c2d825, 0xad75ccb968e93403, 0xb45bd4cf78e11f7f,
     0x80c5536bdc487983, 0xa4fd76ecbf018c8a, 0x3b9dac78a7a70d43, 0x52aeb863},
    {0x4739613234278a49, 0x99ea5bcd340bf663, 0x258640912e712b12,
     0xc8a2827404991402, 0x7ee5e78550f02675, 0x2ec53952db5ac662,
     0x1526405a9df6794b, 0xc8a2827404991402, 0x7ee5e78550f02675,
     0x2ec53952db5ac662, 0x1526405a9df6794b, 0xeddc6271170c5e1f,
     0xf5a85f986001d9d6, 0x95427c677bf58d58, 0x53ed666dfa85cb29, 0xef7c0c18},
    {0x420e6c926bc54841, 0x96dbbf6f4e7c75cd, 0xd8d40fa70c3c67bb,
     0x3edbc10e4bfee91b, 0xf0d681304c28ef68, 0x77ea602029aaaf9c,
     0x90f070bd24c8483c, 0x3edbc10e4bfee91b, 0xf0d681304c28ef68,
     0x77ea602029aaaf9c, 0x90f070bd24c8483c, 0x28bc8e41e08ceb86,
     0x1eb56e48a65691ef, 0x9fea5301c9202f0e, 0x3fcb65091aa9f135, 0xb6ad4b68},
    {0xc8601bab561bc1b7, 0x72b26272a0ff869a, 0x56fdfc986d6bc3c4,
     0x83707730cad725d4, 0xc9ca88c3a779674a, 0xe1c696fbbd9aa933,
     0x723f3baab1c17a45, 0x83707730cad725d4, 0xc9ca88c3a779674a,
     0xe1c696fbbd9aa933, 0x723f3baab1c17a45, 0xf82abc7a1d851682,
     0x30683836818e857d, 0x78bfa3e89a5ab23f, 0x6928234482b31817, 0xc1e46b17},
    {0xb2d294931a0e20eb, 0x284ffd9a0815bc38, 0x1f8a103aac9bbe6,
     0x1ef8e98e1ea57269, 0x5971116272f45a8b, 0x187ad68ce95d8eac,
     0xe94e93ee4e8ecaa6, 0x1ef8e98e1ea57269, 0x5971116272f45a8b,
     0x187ad68ce95d8eac, 0xe94e93ee4e8ecaa6, 0xa0ff2a58611838b5,
     0xb01e03849bfbae6f, 0xd081e202e28ea3ab, 0x51836bcee762bf13, 0x57b8df25},
    {0x7966f53c37b6c6d7, 0x8e6abcfb3aa2b88f, 0x7f2e5e0724e5f345,
     0x3eeb60c3f5f8143d, 0xa25aec05c422a24f, 0xb026b03ad3cca4db,
     0xe6e030028cc02a02, 0x3eeb60c3f5f8143d, 0xa25aec05c422a24f,
     0xb026b03ad3cca4db, 0xe6e030028cc02a02, 0x16fe679338b34bfc,
     0xc1be385b5c8a9de4, 0x65af5df6567530eb, 0xed3b303df4dc6335, 0xe9fa36d6},
    {0xbe9bb0abd03b7368, 0x13bca93a3031be55, 0xe864f4f52b55b472,
     0x36a8d13a2cbb0939, 0x254ac73907413230, 0x73520d1522315a70,
     0x8c9fdb5cf1e1a507, 0x36a8d13a2cbb0939, 0x254ac73907413230,
     0x73520d1522315a70, 0x8c9fdb5cf1e1a507, 0xb3640570b926886,
     0xfba2344ee87f7bab, 0xde57341ab448df05, 0x385612ee094fa977, 0x8f8daefc},
    {0xa08d128c5f1649be, 0xa8166c3dbbe19aad, 0xcb9f914f829ec62c,
     0x5b2b7ca856fad1c3, 0x8093022d682e375d, 0xea5d163ba7ea231f,
     0xd6181d012c0de641, 0x5b2b7ca856fad1c3, 0x8093022d682e375d,
     0xea5d163ba7ea231f, 0xd6181d012c0de641, 0xe7d40d0ab8b08159,
     0x2e82320f51b3a67e, 0x27c2e356ea0b63a3, 0x58842d01a2b1d077, 0x6e1bb7e},
    {0x7c386f0ffe0465ac, 0x530419c9d843dbf3, 0x7450e3a4f72b8d8c,
     0x48b218e3b721810d, 0xd3757ac8609bc7fc, 0x111ba02a88aefc8,
     0xe86343137d3bfc2a, 0x48b218e3b721810d, 0xd3757ac8609bc7fc,
     0x111ba02a88aefc8, 0xe86343137d3bfc2a, 0x44ad26b51661b507,
     0xdb1268670274f51e, 0x62a5e75beae875f3, 0xe266e7a44c5f28c6, 0xfd0076f0},
    {0xbb362094e7ef4f8, 0xff3c2a48966f9725, 0x55152803acd4a7fe,
     0x15747d8c505ffd00, 0x438a15f391312cd6, 0xe46ca62c26d821f5,
     0xbe78d74c9f79cb44, 0x15747d8c505ffd00, 0x438a15f391312cd6,
     0xe46ca62c26d821f5, 0xbe78d74c9f79cb44, 0xa8aa19f3aa59f09a,
     0xeffb3cddab2c9267, 0xd78e41ad97cb16a5, 0xace6821513527d32, 0x899b17b6},
    {0xcd80dea24321eea4, 0x52b4fdc8130c2b15, 0xf3ea100b154bfb82,
     0xd9ccef1d4be46988, 0x5ede0c4e383a5e66, 0xda69683716a54d1e,
     0xbfc3fdf02d242d24, 0xd9ccef1d4be46988, 0x5ede0c4e383a5e66,
     0xda69683716a54d1e, 0xbfc3fdf02d242d24, 0x20ed30274651b3f5,
     0x4c659824169e86c6, 0x637226dae5b52a0e, 0x7e050dbd1c71dc7f, 0xe3e84e31},
    {0xd599a04125372c3a, 0x313136c56a56f363, 0x1e993c3677625832,
     0x2870a99c76a587a4, 0x99f74cc0b182dda4, 0x8a5e895b2f0ca7b6,
     0x3d78882d5e0bb1dc, 0x2870a99c76a587a4, 0x99f74cc0b182dda4,
     0x8a5e895b2f0ca7b6, 0x3d78882d5e0bb1dc, 0xf466123732a3e25e,
     0xaca5e59716a40e50, 0x261d2e7383d0e686, 0xce9362d6a42c15a7, 0xeef79b6b},
    {0xdbbf541e9dfda0a, 0x1479fceb6db4f844, 0x31ab576b59062534,
     0xa3335c417687cf3a, 0x92ff114ac45cda75, 0xc3b8a627384f13b5,
     0xc4f25de33de8b3f7, 0xa3335c417687cf3a, 0x92ff114ac45cda75,
     0xc3b8a627384f13b5, 0xc4f25de33de8b3f7, 0xeacbf520578c5964,
     0x4cb19c5ab24f3215, 0xe7d8a6f67f0c6e7, 0x325c2413eb770ada, 0x868e3315},
    {0xc2ee3288be4fe2bf, 0xc65d2f5ddf32b92, 0xaf6ecdf121ba5485,
     0xc7cd48f7abf1fe59, 0xce600656ace6f53a, 0x8a94a4381b108b34,
     0xf9d1276c64bf59fb, 0xc7cd48f7abf1fe59, 0xce600656ace6f53a,
     0x8a94a4381b108b34, 0xf9d1276c64bf59fb, 0x219ce70ff5a112a5,
     0xe6026c576e2d28d7, 0xb8e467f25015e3a6, 0x950cb904f37af710, 0x4639a426},
    {0xd86603ced1ed4730, 0xf9de718aaada7709, 0xdb8b9755194c6535,
     0xd803e1eead47604c, 0xad00f7611970a71b, 0xbc50036b16ce71f5,
     0xafba96210a2ca7d6, 0xd803e1eead47604c, 0xad00f7611970a71b,
     0xbc50036b16ce71f5, 0xafba96210a2ca7d6, 0x28f7a7be1d6765f0,
     0x97bd888b93938c68, 0x6ad41d1b407ded49, 0xb9bfec098dc543e4, 0xf3213646},
    {0x915263c671b28809, 0xa815378e7ad762fd, 0xabec6dc9b669f559,
     0xd17c928c5342477f, 0x745130b795254ad5, 0x8c5db926fe88f8ba,
     0x742a95c953e6d974, 0xd17c928c5342477f, 0x745130b795254ad5,
     0x8c5db926fe88f8ba, 0x742a95c953e6d974, 0x279db8057b5d3e96,
     0x98168411565b4ec4, 0x50a72c54fa1125fa, 0x27766a635db73638, 0x17f148e9},
    {0x2b67cdd38c307a5e, 0xcb1d45bb5c9fe1c, 0x800baf2a02ec18ad,
     0x6531c1fe32bcb417, 0x8c970d8df8cdbeb4, 0x917ba5fc67e72b40,
     0x4b65e4e263e0a426, 0x6531c1fe32bcb417, 0x8c970d8df8cdbeb4,
     0x917ba5fc67e72b40, 0x4b65e4e263e0a426, 0xe0de33ce88a8b3a9,
     0xf8ef98a437e16b08, 0xa5162c0c7c5f7b62, 0xdbdac43361b2b881, 0xbfd94880},
    {0x2d107419073b9cd0, 0xa96db0740cef8f54, 0xec41ee91b3ecdc1b,
     0xffe319654c8e7ebc, 0x6a67b8f13ead5a72, 0x6dd10a34f80d532f,
     0x6e9cfaece9fbca4, 0xffe319654c8e7ebc, 0x6a67b8f13ead5a72,
     0x6dd10a34f80d532f, 0x6e9cfaece9fbca4, 0xb4468eb6a30aa7e9,
     0xe87995bee483222a, 0xd036c2c90c609391, 0x853306e82fa32247, 0xbb1fa7f3},
    {0xf3e9487ec0e26dfc, 0x1ab1f63224e837fa, 0x119983bb5a8125d8,
     0x8950cfcf4bdf622c, 0x8847dca82efeef2f, 0x646b75b026708169,
     0x21cab4b1687bd8b, 0x8950cfcf4bdf622c, 0x8847dca82efeef2f,
     0x646b75b026708169, 0x21cab4b1687bd8b, 0x243b489a9eae6231,
     0x5f3e634c4b779876, 0xff8abd1548eaf646, 0xc7962f5f0151914b, 0x88816b1},
    {0x1160987c8fe86f7d, 0x879e6db1481eb91b, 0xd7dcb802bfe6885d,
     0x14453b5cc3d82396, 0x4ef700c33ed278bc, 0x1639c72ffc00d12e,
     0xfb140ee6155f700d, 0x14453b5cc3d82396, 0x4ef700c33ed278bc,
     0x1639c72ffc00d12e, 0xfb140ee6155f700d, 0x2e6b5c96a6620862,
     0xa1f136998cbe19c, 0x74e058a3b6c5a712, 0x93dcf6bd33928b17, 0x5c2faeb3},
    {0xeab8112c560b967b, 0x97f550b58e89dbae, 0x846ed506d304051f,
     0x276aa37744b5a028, 0x8c10800ee90ea573, 0xe6e57d2b33a1e0b7,
     0x91f83563cd3b9dda, 0x276aa37744b5a028, 0x8c10800ee90ea573,
     0xe6e57d2b33a1e0b7, 0x91f83563cd3b9dda, 0xafbb4739570738a1,
     0x440ba98da5d8f69, 0xfde4e9b0eda20350, 0xe67dfa5a2138fa1, 0x51b5fc6f},
    {0x1addcf0386d35351, 0xb5f436561f8f1484, 0x85d38e22181c9bb1,
     0xff5c03f003c1fefe, 0xe1098670afe7ff6, 0xea445030cf86de19,
     0xf155c68b5c2967f8, 0xff5c03f003c1fefe, 0xe1098670afe7ff6,
     0xea445030cf86de19, 0xf155c68b5c2967f8, 0x95d31b145dbb2e9e,
     0x914fe1ca3deb3265, 0x6066020b1358ccc1, 0xc74bb7e2dee15036, 0x33d94752},
    {0xd445ba84bf803e09, 0x1216c2497038f804, 0x2293216ea2237207,
     0xe2164451c651adfb, 0xb2534e65477f9823, 0x4d70691a69671e34,
     0x15be4963dbde8143, 0xe2164451c651adfb, 0xb2534e65477f9823,
     0x4d70691a69671e34, 0x15be4963dbde8143, 0x762e75c406c5e9a3,
     0x7b7579f7e0356841, 0x480533eb066dfce5, 0x90ae14ea6bfeb4ae, 0xb0c92948},
    {0x37235a096a8be435, 0xd9b73130493589c2, 0x3b1024f59378d3be,
     0xad159f542d81f04e, 0x49626a97a946096, 0xd8d3998bf09fd304,
     0xd127a411eae69459, 0xad159f542d81f04e, 0x49626a97a946096,
     0xd8d3998bf09fd304, 0xd127a411eae69459, 0x8f3253c4eb785a7b,
     0x4049062f37e62397, 0xb9fa04d3b670e5c1, 0x1211a7967ac9350f, 0xc7171590},
    {0x763ad6ea2fe1c99d, 0xcf7af5368ac1e26b, 0x4d5e451b3bb8d3d4,
     0x3712eb913d04e2f2, 0x2f9500d319c84d89, 0x4ac6eb21a8cf06f9,
     0x7d1917afcde42744, 0x3712eb913d04e2f2, 0x2f9500d319c84d89,
     0x4ac6eb21a8cf06f9, 0x7d1917afcde42744, 0x6b58604b5dd10903,
     0xc4288dfbc1e319fc, 0x230f75ca96817c6e, 0x8894cba3b763756c, 0x240a67fb},
    {0xea627fc84cd1b857, 0x85e372494520071f, 0x69ec61800845780b,
     0xa3c1c5ca1b0367, 0xeb6933997272bb3d, 0x76a72cb62692a655,
     0x140bb5531edf756e, 0xa3c1c5ca1b0367, 0xeb6933997272bb3d,
     0x76a72cb62692a655, 0x140bb5531edf756e, 0x8d0d8067d1c925f4,
     0x7b3fa56d8d77a10c, 0x2bd00287b0946d88, 0xf08c8e4bd65b8970, 0xe1843cd5},
    {0x1f2ffd79f2cdc0c8, 0x726a1bc31b337aaa, 0x678b7f275ef96434,
     0x5aa82bfaa99d3978, 0xc18f96cade5ce18d, 0x38404491f9e34c03,
     0x891fb8926ba0418c, 0x5aa82bfaa99d3978, 0xc18f96cade5ce18d,
     0x38404491f9e34c03, 0x891fb8926ba0418c, 0xe5f69a6398114c15,
     0x7b8ded3623bc6b1d, 0x2f3e5c5da5ff70e8, 0x1ab142addea6a9ec, 0xfda1452b},
    {0x39a9e146ec4b3210, 0xf63f75802a78b1ac, 0xe2e22539c94741c3,
     0x8b305d532e61226e, 0xcaeae80da2ea2e, 0x88a6289a76ac684e,
     0x8ce5b5f9df1cbd85, 0x8b305d532e61226e, 0xcaeae80da2ea2e,
     0x88a6289a76ac684e, 0x8ce5b5f9df1cbd85, 0x8ae1fc4798e00d57,
     0xe7164b8fb364fc46, 0x6a978c9bd3a66943, 0xef10d5ae4dd08dc, 0xa2cad330},
    {0x74cba303e2dd9d6d, 0x692699b83289fad1, 0xdfb9aa7874678480,
     0x751390a8a5c41bdc, 0x6ee5fbf87605d34, 0x6ca73f610f3a8f7c,
     0xe898b3c996570ad, 0x751390a8a5c41bdc, 0x6ee5fbf87605d34,
     0x6ca73f610f3a8f7c, 0xe898b3c996570ad, 0x98168a5858fc7110,
     0x6f987fa27aa0daa2, 0xf25e3e180d4b36a3, 0xd0b03495aeb1be8a, 0x53467e16},
    {0x4cbc2b73a43071e0, 0x56c5db4c4ca4e0b7, 0x1b275a162f46bd3d,
     0xb87a326e413604bf, 0xd8f9a5fa214b03ab, 0x8a8bb8265771cf88,
     0xa655319054f6e70f, 0xb87a326e413604bf, 0xd8f9a5fa214b03ab,
     0x8a8bb8265771cf88, 0xa655319054f6e70f, 0xb499cb8e65a9af44,
     0xbee7fafcc8307491, 0x5d2e55fa9b27cda2, 0x63b120f5fb2d6ee5, 0xda14a8d0},
    {0x875638b9715d2221, 0xd9ba0615c0c58740, 0x616d4be2dfe825aa,
     0x5df25f13ea7bc284, 0x165edfaafd2598fb, 0xaf7215c5c718c696,
     0xe9f2f9ca655e769, 0x5df25f13ea7bc284, 0x165edfaafd2598fb,
     0xaf7215c5c718c696, 0xe9f2f9ca655e769, 0xe459cfcb565d3d2d,
     0x41d032631be2418a, 0xc505db05fd946f60, 0x54990394a714f5de, 0x67333551},
    {0xfb686b2782994a8d, 0xedee60693756bb48, 0xe6bc3cae0ded2ef5,
     0x58eb4d03b2c3ddf5, 0x6d2542995f9189f1, 0xc0beec58a5f5fea2,
     0xed67436f42e2a78b, 0x58eb4d03b2c3ddf5, 0x6d2542995f9189f1,
     0xc0beec58a5f5fea2, 0xed67436f42e2a78b, 0xdfec763cdb2b5193,
     0x724a8d5345bd2d6, 0x94d4fd1b81457c23, 0x28e87c50cdede453, 0xa0ebd66e},
    {0xab21d81a911e6723, 0x4c31b07354852f59, 0x835da384c9384744,
     0x7f759dddc6e8549a, 0x616dd0ca022c8735, 0x94717ad4bc15ceb3,
     0xf66c7be808ab36e, 0x7f759dddc6e8549a, 0x616dd0ca022c8735,
     0x94717ad4bc15ceb3, 0xf66c7be808ab36e, 0xaf8286b550b2f4b7,
     0x745bd217d20a9f40, 0xc73bfb9c5430f015, 0x55e65922666e3fc2, 0x4b769593},
    {0x33d013cc0cd46ecf, 0x3de726423aea122c, 0x116af51117fe21a9,
     0xf271ba474edc562d, 0xe6596e67f9dd3ebd, 0xc0a288edf808f383,
     0xb3def70681c6babc, 0xf271ba474edc562d, 0xe6596e67f9dd3ebd,
     0xc0a288edf808f383, 0xb3def70681c6babc, 0x7da7864e9989b095,
     0xbf2f8718693cd8a1, 0x264a9144166da776, 0x61ad90676870beb6, 0x6aa75624},
    {0x8ca92c7cd39fae5d, 0x317e620e1bf20f1, 0x4f0b33bf2194b97f,
     0x45744afcf131dbee, 0x97222392c2559350, 0x498a19b280c6d6ed,
     0x83ac2c36acdb8d49, 0x45744afcf131dbee, 0x97222392c2559350,
     0x498a19b280c6d6ed, 0x83ac2c36acdb8d49, 0x7a69645c294daa62,
     0xabe9d2be8275b3d2, 0x39542019de371085, 0x7f4efac8488cd6ad, 0x602a3f96},
    {0xfdde3b03f018f43e, 0x38f932946c78660, 0xc84084ce946851ee,
     0xb6dd09ba7851c7af, 0x570de4e1bb13b133, 0xc4e784eb97211642,
     0x8285a7fcdcc7c58d, 0xb6dd09ba7851c7af, 0x570de4e1bb13b133,
     0xc4e784eb97211642, 0x8285a7fcdcc7c58d, 0xd421f47990da899b,
     0x8aed409c997eaa13, 0x7a045929c2e29ccf, 0xb373682a6202c86b, 0xcd183c4d},
    {0x9c8502050e9c9458, 0xd6d2a1a69964beb9, 0x1675766f480229b5,
     0x216e1d6c86cb524c, 0xd01cf6fd4f4065c0, 0xfffa4ec5b482ea0f,
     0xa0e20ee6a5404ac1, 0x216e1d6c86cb524c, 0xd01cf6fd4f4065c0,
     0xfffa4ec5b482ea0f, 0xa0e20ee6a5404ac1, 0xc1b037e4eebaf85e,
     0x634e3d7c3ebf89eb, 0xbcda972358c67d1, 0xfd1352181e5b8578, 0x960a4d07},
    {0x348176ca2fa2fdd2, 0x3a89c514cc360c2d, 0x9f90b8afb318d6d0,
     0xbceee07c11a9ac30, 0x2e2d47dff8e77eb7, 0x11a394cd7b6d614a,
     0x1d7c41d54e15cb4a, 0xbceee07c11a9ac30, 0x2e2d47dff8e77eb7,
     0x11a394cd7b6d614a, 0x1d7c41d54e15cb4a, 0x15baa5ae7312b0fc,
     0xf398f596cc984635, 0x8ab8fdf87a6788e8, 0xb2b5c1234ab47e2, 0x9ae998c4},
    {0x4a3d3dfbbaea130b, 0x4e221c920f61ed01, 0x553fd6cd1304531f,
     0xbd2b31b5608143fe, 0xab717a10f2554853, 0x293857f04d194d22,
     0xd51be8fa86f254f0, 0xbd2b31b5608143fe, 0xab717a10f2554853,
     0x293857f04d194d22, 0xd51be8fa86f254f0, 0x1eee39e07686907e,
     0x639039fe0e8d3052, 0xd6ec1470cef97ff, 0x370c82b860034f0f, 0x74e2179d},
    {0xb371f768cdf4edb9, 0xbdef2ace6d2de0f0, 0xe05b4100f7f1baec,
     0xb9e0d415b4ebd534, 0xc97c2a27efaa33d7, 0x591cdb35f84ef9da,
     0xa57d02d0e8e3756c, 0xb9e0d415b4ebd534, 0xc97c2a27efaa33d7,
     0x591cdb35f84ef9da, 0xa57d02d0e8e3756c, 0x23f55f12d7c5c87b,
     0x4c7ca0fe23221101, 0xdbc3020480334564, 0xd985992f32c236b1, 0xee9bae25},
    {0x7a1d2e96934f61f, 0xeb1760ae6af7d961, 0x887eb0da063005df,
     0x2228d6725e31b8ab, 0x9b98f7e4d0142e70, 0xb6a8c2115b8e0fe7,
     0xb591e2f5ab9b94b1, 0x2228d6725e31b8ab, 0x9b98f7e4d0142e70,
     0xb6a8c2115b8e0fe7, 0xb591e2f5ab9b94b1, 0x6c1feaa8065318e0,
     0x4e7e2ca21c2e81fb, 0xe9fe5d8ce7993c45, 0xee411fa2f12cf8df, 0xb66edf10},
    {0x8be53d466d4728f2, 0x86a5ac8e0d416640, 0x984aa464cdb5c8bb,
     0x87049e68f5d38e59, 0x7d8ce44ec6bd7751, 0xcc28d08ab414839c,
     0x6c8f0bd34fe843e3, 0x87049e68f5d38e59, 0x7d8ce44ec6bd7751,
     0xcc28d08ab414839c, 0x6c8f0bd34fe843e3, 0xb8496dcdc01f3e47,
     0x2f03125c282ac26, 0x82a8797ba3f5ef07, 0x7c977a4d10bf52b8, 0xd6209737},
    {0x829677eb03abf042, 0x43cad004b6bc2c0, 0xf2f224756803971a,
     0x98d0dbf796480187, 0xfbcb5f3e1bef5742, 0x5af2a0463bf6e921,
     0xad9555bf0120b3a3, 0x98d0dbf796480187, 0xfbcb5f3e1bef5742,
     0x5af2a0463bf6e921, 0xad9555bf0120b3a3, 0x283e39b3dc99f447,
     0xbedaa1a4a0250c28, 0x9d50546624ff9a57, 0x4abaf523d1c090f6, 0xb994a88},
    {0x754435bae3496fc, 0x5707fc006f094dcf, 0x8951c86ab19d8e40,
     0x57c5208e8f021a77, 0xf7653fbb69cd9276, 0xa484410af21d75cb,
     0xf19b6844b3d627e8, 0x57c5208e8f021a77, 0xf7653fbb69cd9276,
     0xa484410af21d75cb, 0xf19b6844b3d627e8, 0xf37400fc3ffd9514,
     0x36ae0d821734edfd, 0x5f37820af1f1f306, 0xbe637d40e6a5ad0, 0xa05d43c0},
    {0xfda9877ea8e3805f, 0x31e868b6ffd521b7, 0xb08c90681fb6a0fd,
     0x68110a7f83f5d3ff, 0x6d77e045901b85a8, 0x84ef681113036d8b,
     0x3b9f8e3928f56160, 0x68110a7f83f5d3ff, 0x6d77e045901b85a8,
     0x84ef681113036d8b, 0x3b9f8e3928f56160, 0xfc8b7f56c130835,
     0xa11f3e800638e841, 0xd9572267f5cf28c1, 0x7897c8149803f2aa, 0xc79f73a8},
    {0x2e36f523ca8f5eb5, 0x8b22932f89b27513, 0x331cd6ecbfadc1bb,
     0xd1bfe4df12b04cbf, 0xf58c17243fd63842, 0x3a453cdba80a60af,
     0x5737b2ca7470ea95, 0xd1bfe4df12b04cbf, 0xf58c17243fd63842,
     0x3a453cdba80a60af, 0x5737b2ca7470ea95, 0x54d44a3f4477030c,
     0x8168e02d4869aa7f, 0x77f383a17778559d, 0x95e1737d77a268fc, 0xa490aff5},
    {0x21a378ef76828208, 0xa5c13037fa841da2, 0x506d22a53fbe9812,
     0x61c9c95d91017da5, 0x16f7c83ba68f5279, 0x9c0619b0808d05f7,
     0x83c117ce4e6b70a3, 0x61c9c95d91017da5, 0x16f7c83ba68f5279,
     0x9c0619b0808d05f7, 0x83c117ce4e6b70a3, 0xcfb4c8af7fd01413,
     0xfdef04e602e72296, 0xed6124d337889b1, 0x4919c86707b830da, 0xdfad65b4},
    {0xccdd5600054b16ca, 0xf78846e84204cb7b, 0x1f9faec82c24eac9,
     0x58634004c7b2d19a, 0x24bb5f51ed3b9073, 0x46409de018033d00,
     0x4a9805eed5ac802e, 0x58634004c7b2d19a, 0x24bb5f51ed3b9073,
     0x46409de018033d00, 0x4a9805eed5ac802e, 0xe18de8db306baf82,
     0x46bbf75f1fa025ff, 0x5faf2fb09be09487, 0x3fbc62bd4e558fb3, 0x1d07dfb},
    {0x7854468f4e0cabd0, 0x3a3f6b4f098d0692, 0xae2423ec7799d30d,
     0x29c3529eb165eeba, 0x443de3703b657c35, 0x66acbce31ae1bc8d,
     0x1acc99effe1d547e, 0x29c3529eb165eeba, 0x443de3703b657c35,
     0x66acbce31ae1bc8d, 0x1acc99effe1d547e, 0xcf07f8a57906573d,
     0x31bafb0bbb9a86e7, 0x40c69492702a9346, 0x7df61fdaa0b858af, 0x416df9a0},
    {0x7f88db5346d8f997, 0x88eac9aacc653798, 0x68a4d0295f8eefa1,
     0xae59ca86f4c3323d, 0x25906c09906d5c4c, 0x8dd2aa0c0a6584ae,
     0x232a7d96b38f40e9, 0xae59ca86f4c3323d, 0x25906c09906d5c4c,
     0x8dd2aa0c0a6584ae, 0x232a7d96b38f40e9, 0x8986ee00a2ed0042,
     0xc49ae7e428c8a7d1, 0xb7dd8280713ac9c2, 0xe018720aed1ebc28, 0x1f8fb9cc},
    {0xbb3fb5fb01d60fcf, 0x1b7cc0847a215eb6, 0x1246c994437990a1,
     0xd4edc954c07cd8f3, 0x224f47e7c00a30ab, 0xd5ad7ad7f41ef0c6,
     0x59e089281d869fd7, 0xd4edc954c07cd8f3, 0x224f47e7c00a30ab,
     0xd5ad7ad7f41ef0c6, 0x59e089281d869fd7, 0xf29340d07a14b6f1,
     0xc87c5ef76d9c4ef3, 0x463118794193a9a, 0x2922dcb0540f0dbc, 0x7abf48e3},
    {0x2e783e1761acd84d, 0x39158042bac975a0, 0x1cd21c5a8071188d,
     0xb1b7ec44f9302176, 0x5cb476450dc0c297, 0xdc5ef652521ef6a2,
     0x3cc79a9e334e1f84, 0xb1b7ec44f9302176, 0x5cb476450dc0c297,
     0xdc5ef652521ef6a2, 0x3cc79a9e334e1f84, 0x769e2a283dbcc651,
     0x9f24b105c8511d3f, 0xc31c15575de2f27e, 0xecfecf32c3ae2d66, 0xdea4e3dd},
    {0x392058251cf22acc, 0x944ec4475ead4620, 0xb330a10b5cb94166,
     0x54bc9bee7cbe1767, 0x485820bdbe442431, 0x54d6120ea2972e90,
     0xf437a0341f29b72a, 0x54bc9bee7cbe1767, 0x485820bdbe442431,
     0x54d6120ea2972e90, 0xf437a0341f29b72a, 0x8f30885c784d5704,
     0xaa95376b16c7906a, 0xe826928cfaf93dc3, 0x20e8f54d1c16d7d8, 0xc6064f22},
    {0xadf5c1e5d6419947, 0x2a9747bc659d28aa, 0x95c5b8cb1f5d62c,
     0x80973ea532b0f310, 0xa471829aa9c17dd9, 0xc2ff3479394804ab,
     0x6bf44f8606753636, 0x80973ea532b0f310, 0xa471829aa9c17dd9,
     0xc2ff3479394804ab, 0x6bf44f8606753636, 0x5184d2973e6dd827,
     0x121b96369a332d9a, 0x5c25d3475ab69e50, 0x26d2961d62884168, 0x743bed9c},
    {0x6bc1db2c2bee5aba, 0xe63b0ed635307398, 0x7b2eca111f30dbbc,
     0x230d2b3e47f09830, 0xec8624a821c1caf4, 0xea6ec411cdbf1cb1,
     0x5f38ae82af364e27, 0x230d2b3e47f09830, 0xec8624a821c1caf4,
     0xea6ec411cdbf1cb1, 0x5f38ae82af364e27, 0xa519ef515ea7187c,
     0x6bad5efa7ebae05f, 0x748abacb11a74a63, 0xa28eef963d1396eb, 0xfce254d5},
    {0xb00f898229efa508, 0x83b7590ad7f6985c, 0x2780e70a0592e41d,
     0x7122413bdbc94035, 0xe7f90fae33bf7763, 0x4b6bd0fb30b12387,
     0x557359c0c44f48ca, 0x7122413bdbc94035, 0xe7f90fae33bf7763,
     0x4b6bd0fb30b12387, 0x557359c0c44f48ca, 0xd5656c3d6bc5f0d,
     0x983ff8e5e784da99, 0x628479671b445bf, 0xe179a1e27ce68f5d, 0xe47ec9d1},
    {0xb56eb769ce0d9a8c, 0xce196117bfbcaf04, 0xb26c3c3797d66165,
     0x5ed12338f630ab76, 0xfab19fcb319116d, 0x167f5f42b521724b,
     0xc4aa56c409568d74, 0x5ed12338f630ab76, 0xfab19fcb319116d,
     0x167f5f42b521724b, 0xc4aa56c409568d74, 0x75fff4b42f8e9778,
     0x94218f94710c1ea3, 0xb7b05efb738b06a6, 0x83fff2deabf9cd3, 0x334a145c},
    {0x70c0637675b94150, 0x259e1669305b0a15, 0x46e1dd9fd387a58d,
     0xfca4e5bc9292788e, 0xcd509dc1facce41c, 0xbbba575a59d82fe,
     0x4e2e71c15b45d4d3, 0xfca4e5bc9292788e, 0xcd509dc1facce41c,
     0xbbba575a59d82fe, 0x4e2e71c15b45d4d3, 0x5dc54582ead999c,
     0x72612d1571963c6f, 0x30318a9d2d3d1829, 0x785dd00f4cc9c9a0, 0xadec1e3c},
    {0x74c0b8a6821faafe, 0xabac39d7491370e7, 0xfaf0b2a48a4e6aed,
     0x967e970df9673d2a, 0xd465247cffa415c0, 0x33a1df0ca1107722,
     0x49fc2a10adce4a32, 0x967e970df9673d2a, 0xd465247cffa415c0,
     0x33a1df0ca1107722, 0x49fc2a10adce4a32, 0xc5707e079a284308,
     0x573028266635dda6, 0xf786f5eee6127fa0, 0xb30d79cebfb51266, 0xf6a9fbf8},
    {0x5fb5e48ac7b7fa4f, 0xa96170f08f5acbc7, 0xbbf5c63d4f52a1e5,
     0x6cc09e60700563e9, 0xd18f23221e964791, 0xffc23eeef7af26eb,
     0x693a954a3622a315, 0x815308a32a9b0daf, 0xefb2ab27bf6fd0bd,
     0x9f1ffc0986111118, 0xf9a3aa1778ea3985, 0x698fe54b2b93933b,
     0xdacc2b28404d0f10, 0x815308a32a9b0daf, 0xefb2ab27bf6fd0bd, 0x5398210c},
};

void check(uint64_t expected, uint64_t actual) {

  if (expected != actual) {
    fprintf(stderr, "error: expected 0x%lx, but got 0x%lx\n", expected, actual);
    ++errors;
  }
}

void test(const uint64_t expected[16], int offset, int len) {

  const uint128_t u = cityhash128(data + offset, len);
  const uint128_t v = cityhash128_with_seed(data + offset, len, kseed128);

  check(expected[0], cityhash64(data + offset, len));
  check(expected[15], cityhash32(data + offset, len));
  check(expected[1], cityhash64_with_seed(data + offset, len, kseed0));
  check(expected[2], cityhash64_with_seeds(data + offset, len, kseed0, kseed1));
  check(expected[3], u.a);
  check(expected[4], u.b);
  check(expected[5], v.a);
  check(expected[6], v.b);

#ifdef __SSE4_2__

  const uint128_t y = cityhash128_crc(data + offset, len);
  const uint128_t z = cityhash128_crc_with_seed(data + offset, len, kseed128);

  uint256_t results = cityhash256_crc(data + offset, len);

  check(expected[7], y.a);
  check(expected[8], y.b);
  check(expected[9], z.a);
  check(expected[10], z.b);

  check(expected[11], results.a);
  check(expected[12], results.b);
  check(expected[13], results.c);
  check(expected[14], results.d);

#endif
}

//#define test(a, b, c) dump((b, (c))
//
// void dump(int offset, int len) {
//
//  const uint128_t u = cityhash128(data + offset, len);
//  const uint128_t v = cityhash128_with_seed(data + offset, len, kseed128);
//  const uint128_t y = cityhash128_crc(data + offset, len);
//  const uint128_t z = cityhash128_crc_with_seed(data + offset, len, kseed128);
//
//  uint256_t result = cityhash256_crc(data + offset, len, crc256_results);
//
//  printf("{0x%lx, 0x%lx, 0x%lx, 0x%lx, 0x%lx, 0x%lx, 0x%lx,\n",
//          cityhash64(data + offset, len),
//          cityhash64_with_seed(data + offset, len, kseed0),
//          cityhash64_with_seeds(data + offset, len, kseed0, kseed1),
//          u.a,
//          u.b,
//          v.a,
//          v.b);
//  printf("0x%lx, 0x%lx, 0x%lx, 0x%lx,\n",
//          y.a,
//          y.b,
//          z.a,
//          z.b);
//
//  printf("0x%lx, 0x%lx, 0x%lx, 0x%lx", result.a, result.b, result.c,
//  result.d);
//
//  printf("0x%x},\n", cityhash32(data + offset, len));
//}

int main(int argc, char* argv[]) {

  setup();

  for (int i = 0; i < ktest_size - 1; i++)
    test(testdata[i], i * i, i);

  test(testdata[ktest_size - 1], 0, kdata_size);

  return (int)(errors > 0);
}