crc

// -*- mode: c++; tab-width: 4; indent-tabs-mode: nil; st-rulers: [132] -*-
// vim: ts=4 sw=4 ft=c++ et

static crc_model_stub_t crc_model_uint64_stubs[] = {
    /* crc_40_gsm */
    {{NULL, NULL}, false, 0, "crc_40_gsm", 0, "crc_40_gsm", "CRC-40/GSM"},
    /* crc_64 */
    {{NULL, NULL}, false, 0, "crc_64", 0, "crc_64", "CRC-64"},
    {{NULL, NULL}, false, 0, "crc_64", 0, "crc_64_ecma_182", "CRC-64/ECMA-182"},
    /* crc_64_go_iso */
    {{NULL, NULL}, false, 0, "crc_64_go_iso", 0, "crc_64_go_iso", "CRC-64/GO-ISO"},
    /* crc_64_jones */
    {{NULL, NULL}, false, 0, "crc_64_jones", 0, "crc_64_jones", "CRC-64/JONES"},
    /* crc_64_we */
    {{NULL, NULL}, false, 0, "crc_64_we", 0, "crc_64_we", "CRC-64/WE"},
    /* crc_64_xz */
    {{NULL, NULL}, false, 0, "crc_64_xz", 0, "crc_64_go_ecma", "CRC-64/GO-ECMA"},
    {{NULL, NULL}, false, 0, "crc_64_xz", 0, "crc_64_xz", "CRC-64/XZ"},
    /* END */
    {{NULL, NULL}, true}};

static crc_model_uint64_t crc_model_uint64_list[] = {
    /* width=40 poly=0x0000000004820009 init=0x0000000000000000 refin=false refout=false xorout=0x000000ffffffffff
       check=0x000000d4164fc646 residue=0x000000c4ff8071ff name="CRC-40/GSM" */
    {{{NULL, NULL}, true, 0, "crc_40_gsm", 64},
     false,
     40,
     0x0000000004820009,
     0x0000000000000000,
     false,
     false,
     0x000000ffffffffff,
     0x000000d4164fc646,
     0x000000c4ff8071ff,
     {0x0000000000000000, 0x0000000004820009, 0x0000000009040012, 0x000000000d86001b, 0x0000000012080024, 0x00000000168a002d,
      0x000000001b0c0036, 0x000000001f8e003f, 0x0000000024100048, 0x0000000020920041, 0x000000002d14005a, 0x0000000029960053,
      0x000000003618006c, 0x00000000329a0065, 0x000000003f1c007e, 0x000000003b9e0077, 0x0000000048200090, 0x000000004ca20099,
      0x0000000041240082, 0x0000000045a6008b, 0x000000005a2800b4, 0x000000005eaa00bd, 0x00000000532c00a6, 0x0000000057ae00af,
      0x000000006c3000d8, 0x0000000068b200d1, 0x00000000653400ca, 0x0000000061b600c3, 0x000000007e3800fc, 0x000000007aba00f5,
      0x00000000773c00ee, 0x0000000073be00e7, 0x0000000090400120, 0x0000000094c20129, 0x0000000099440132, 0x000000009dc6013b,
      0x0000000082480104, 0x0000000086ca010d, 0x000000008b4c0116, 0x000000008fce011f, 0x00000000b4500168, 0x00000000b0d20161,
      0x00000000bd54017a, 0x00000000b9d60173, 0x00000000a658014c, 0x00000000a2da0145, 0x00000000af5c015e, 0x00000000abde0157,
      0x00000000d86001b0, 0x00000000dce201b9, 0x00000000d16401a2, 0x00000000d5e601ab, 0x00000000ca680194, 0x00000000ceea019d,
      0x00000000c36c0186, 0x00000000c7ee018f, 0x00000000fc7001f8, 0x00000000f8f201f1, 0x00000000f57401ea, 0x00000000f1f601e3,
      0x00000000ee7801dc, 0x00000000eafa01d5, 0x00000000e77c01ce, 0x00000000e3fe01c7, 0x0000000120800240, 0x0000000124020249,
      0x0000000129840252, 0x000000012d06025b, 0x0000000132880264, 0x00000001360a026d, 0x000000013b8c0276, 0x000000013f0e027f,
      0x0000000104900208, 0x0000000100120201, 0x000000010d94021a, 0x0000000109160213, 0x000000011698022c, 0x00000001121a0225,
      0x000000011f9c023e, 0x000000011b1e0237, 0x0000000168a002d0, 0x000000016c2202d9, 0x0000000161a402c2, 0x00000001652602cb,
      0x000000017aa802f4, 0x000000017e2a02fd, 0x0000000173ac02e6, 0x00000001772e02ef, 0x000000014cb00298, 0x0000000148320291,
      0x0000000145b4028a, 0x0000000141360283, 0x000000015eb802bc, 0x000000015a3a02b5, 0x0000000157bc02ae, 0x00000001533e02a7,
      0x00000001b0c00360, 0x00000001b4420369, 0x00000001b9c40372, 0x00000001bd46037b, 0x00000001a2c80344, 0x00000001a64a034d,
      0x00000001abcc0356, 0x00000001af4e035f, 0x0000000194d00328, 0x0000000190520321, 0x000000019dd4033a, 0x0000000199560333,
      0x0000000186d8030c, 0x00000001825a0305, 0x000000018fdc031e, 0x000000018b5e0317, 0x00000001f8e003f0, 0x00000001fc6203f9,
      0x00000001f1e403e2, 0x00000001f56603eb, 0x00000001eae803d4, 0x00000001ee6a03dd, 0x00000001e3ec03c6, 0x00000001e76e03cf,
      0x00000001dcf003b8, 0x00000001d87203b1, 0x00000001d5f403aa, 0x00000001d17603a3, 0x00000001cef8039c, 0x00000001ca7a0395,
      0x00000001c7fc038e, 0x00000001c37e0387, 0x0000000241000480, 0x0000000245820489, 0x0000000248040492, 0x000000024c86049b,
      0x00000002530804a4, 0x00000002578a04ad, 0x000000025a0c04b6, 0x000000025e8e04bf, 0x00000002651004c8, 0x00000002619204c1,
      0x000000026c1404da, 0x00000002689604d3, 0x00000002771804ec, 0x00000002739a04e5, 0x000000027e1c04fe, 0x000000027a9e04f7,
      0x0000000209200410, 0x000000020da20419, 0x0000000200240402, 0x0000000204a6040b, 0x000000021b280434, 0x000000021faa043d,
      0x00000002122c0426, 0x0000000216ae042f, 0x000000022d300458, 0x0000000229b20451, 0x000000022434044a, 0x0000000220b60443,
      0x000000023f38047c, 0x000000023bba0475, 0x00000002363c046e, 0x0000000232be0467, 0x00000002d14005a0, 0x00000002d5c205a9,
      0x00000002d84405b2, 0x00000002dcc605bb, 0x00000002c3480584, 0x00000002c7ca058d, 0x00000002ca4c0596, 0x00000002cece059f,
      0x00000002f55005e8, 0x00000002f1d205e1, 0x00000002fc5405fa, 0x00000002f8d605f3, 0x00000002e75805cc, 0x00000002e3da05c5,
      0x00000002ee5c05de, 0x00000002eade05d7, 0x0000000299600530, 0x000000029de20539, 0x0000000290640522, 0x0000000294e6052b,
      0x000000028b680514, 0x000000028fea051d, 0x00000002826c0506, 0x0000000286ee050f, 0x00000002bd700578, 0x00000002b9f20571,
      0x00000002b474056a, 0x00000002b0f60563, 0x00000002af78055c, 0x00000002abfa0555, 0x00000002a67c054e, 0x00000002a2fe0547,
      0x00000003618006c0, 0x00000003650206c9, 0x00000003688406d2, 0x000000036c0606db, 0x00000003738806e4, 0x00000003770a06ed,
      0x000000037a8c06f6, 0x000000037e0e06ff, 0x0000000345900688, 0x0000000341120681, 0x000000034c94069a, 0x0000000348160693,
      0x00000003579806ac, 0x00000003531a06a5, 0x000000035e9c06be, 0x000000035a1e06b7, 0x0000000329a00650, 0x000000032d220659,
      0x0000000320a40642, 0x000000032426064b, 0x000000033ba80674, 0x000000033f2a067d, 0x0000000332ac0666, 0x00000003362e066f,
      0x000000030db00618, 0x0000000309320611, 0x0000000304b4060a, 0x0000000300360603, 0x000000031fb8063c, 0x000000031b3a0635,
      0x0000000316bc062e, 0x00000003123e0627, 0x00000003f1c007e0, 0x00000003f54207e9, 0x00000003f8c407f2, 0x00000003fc4607fb,
      0x00000003e3c807c4, 0x00000003e74a07cd, 0x00000003eacc07d6, 0x00000003ee4e07df, 0x00000003d5d007a8, 0x00000003d15207a1,
      0x00000003dcd407ba, 0x00000003d85607b3, 0x00000003c7d8078c, 0x00000003c35a0785, 0x00000003cedc079e, 0x00000003ca5e0797,
      0x00000003b9e00770, 0x00000003bd620779, 0x00000003b0e40762, 0x00000003b466076b, 0x00000003abe80754, 0x00000003af6a075d,
      0x00000003a2ec0746, 0x00000003a66e074f, 0x000000039df00738, 0x0000000399720731, 0x0000000394f4072a, 0x0000000390760723,
      0x000000038ff8071c, 0x000000038b7a0715, 0x0000000386fc070e, 0x00000003827e0707}},
    /* width=64 poly=0x42f0e1eba9ea3693 init=0x0000000000000000 refin=false refout=false xorout=0x0000000000000000
       check=0x6c40df5f0b497347 residue=0x0000000000000000 name="CRC-64" alias="CRC-64/ECMA-182" */
    {{{NULL, NULL}, true, 0, "crc_64", 64},
     false,
     64,
     0x42f0e1eba9ea3693,
     0x0000000000000000,
     false,
     false,
     0x0000000000000000,
     0x6c40df5f0b497347,
     0x0000000000000000,
     {0x0000000000000000, 0x42f0e1eba9ea3693, 0x85e1c3d753d46d26, 0xc711223cfa3e5bb5, 0x493366450e42ecdf, 0x0bc387aea7a8da4c,
      0xccd2a5925d9681f9, 0x8e224479f47cb76a, 0x9266cc8a1c85d9be, 0xd0962d61b56fef2d, 0x17870f5d4f51b498, 0x5577eeb6e6bb820b,
      0xdb55aacf12c73561, 0x99a54b24bb2d03f2, 0x5eb4691841135847, 0x1c4488f3e8f96ed4, 0x663d78ff90e185ef, 0x24cd9914390bb37c,
      0xe3dcbb28c335e8c9, 0xa12c5ac36adfde5a, 0x2f0e1eba9ea36930, 0x6dfeff5137495fa3, 0xaaefdd6dcd770416, 0xe81f3c86649d3285,
      0xf45bb4758c645c51, 0xb6ab559e258e6ac2, 0x71ba77a2dfb03177, 0x334a9649765a07e4, 0xbd68d2308226b08e, 0xff9833db2bcc861d,
      0x388911e7d1f2dda8, 0x7a79f00c7818eb3b, 0xcc7af1ff21c30bde, 0x8e8a101488293d4d, 0x499b3228721766f8, 0x0b6bd3c3dbfd506b,
      0x854997ba2f81e701, 0xc7b97651866bd192, 0x00a8546d7c558a27, 0x4258b586d5bfbcb4, 0x5e1c3d753d46d260, 0x1cecdc9e94ace4f3,
      0xdbfdfea26e92bf46, 0x990d1f49c77889d5, 0x172f5b3033043ebf, 0x55dfbadb9aee082c, 0x92ce98e760d05399, 0xd03e790cc93a650a,
      0xaa478900b1228e31, 0xe8b768eb18c8b8a2, 0x2fa64ad7e2f6e317, 0x6d56ab3c4b1cd584, 0xe374ef45bf6062ee, 0xa1840eae168a547d,
      0x66952c92ecb40fc8, 0x2465cd79455e395b, 0x3821458aada7578f, 0x7ad1a461044d611c, 0xbdc0865dfe733aa9, 0xff3067b657990c3a,
      0x711223cfa3e5bb50, 0x33e2c2240a0f8dc3, 0xf4f3e018f031d676, 0xb60301f359dbe0e5, 0xda050215ea6c212f, 0x98f5e3fe438617bc,
      0x5fe4c1c2b9b84c09, 0x1d14202910527a9a, 0x93366450e42ecdf0, 0xd1c685bb4dc4fb63, 0x16d7a787b7faa0d6, 0x5427466c1e109645,
      0x4863ce9ff6e9f891, 0x0a932f745f03ce02, 0xcd820d48a53d95b7, 0x8f72eca30cd7a324, 0x0150a8daf8ab144e, 0x43a04931514122dd,
      0x84b16b0dab7f7968, 0xc6418ae602954ffb, 0xbc387aea7a8da4c0, 0xfec89b01d3679253, 0x39d9b93d2959c9e6, 0x7b2958d680b3ff75,
      0xf50b1caf74cf481f, 0xb7fbfd44dd257e8c, 0x70eadf78271b2539, 0x321a3e938ef113aa, 0x2e5eb66066087d7e, 0x6cae578bcfe24bed,
      0xabbf75b735dc1058, 0xe94f945c9c3626cb, 0x676dd025684a91a1, 0x259d31cec1a0a732, 0xe28c13f23b9efc87, 0xa07cf2199274ca14,
      0x167ff3eacbaf2af1, 0x548f120162451c62, 0x939e303d987b47d7, 0xd16ed1d631917144, 0x5f4c95afc5edc62e, 0x1dbc74446c07f0bd,
      0xdaad56789639ab08, 0x985db7933fd39d9b, 0x84193f60d72af34f, 0xc6e9de8b7ec0c5dc, 0x01f8fcb784fe9e69, 0x43081d5c2d14a8fa,
      0xcd2a5925d9681f90, 0x8fdab8ce70822903, 0x48cb9af28abc72b6, 0x0a3b7b1923564425, 0x70428b155b4eaf1e, 0x32b26afef2a4998d,
      0xf5a348c2089ac238, 0xb753a929a170f4ab, 0x3971ed50550c43c1, 0x7b810cbbfce67552, 0xbc902e8706d82ee7, 0xfe60cf6caf321874,
      0xe224479f47cb76a0, 0xa0d4a674ee214033, 0x67c58448141f1b86, 0x253565a3bdf52d15, 0xab1721da49899a7f, 0xe9e7c031e063acec,
      0x2ef6e20d1a5df759, 0x6c0603e6b3b7c1ca, 0xf6fae5c07d3274cd, 0xb40a042bd4d8425e, 0x731b26172ee619eb, 0x31ebc7fc870c2f78,
      0xbfc9838573709812, 0xfd39626eda9aae81, 0x3a28405220a4f534, 0x78d8a1b9894ec3a7, 0x649c294a61b7ad73, 0x266cc8a1c85d9be0,
      0xe17dea9d3263c055, 0xa38d0b769b89f6c6, 0x2daf4f0f6ff541ac, 0x6f5faee4c61f773f, 0xa84e8cd83c212c8a, 0xeabe6d3395cb1a19,
      0x90c79d3fedd3f122, 0xd2377cd44439c7b1, 0x15265ee8be079c04, 0x57d6bf0317edaa97, 0xd9f4fb7ae3911dfd, 0x9b041a914a7b2b6e,
      0x5c1538adb04570db, 0x1ee5d94619af4648, 0x02a151b5f156289c, 0x4051b05e58bc1e0f, 0x87409262a28245ba, 0xc5b073890b687329,
      0x4b9237f0ff14c443, 0x0962d61b56fef2d0, 0xce73f427acc0a965, 0x8c8315cc052a9ff6, 0x3a80143f5cf17f13, 0x7870f5d4f51b4980,
      0xbf61d7e80f251235, 0xfd913603a6cf24a6, 0x73b3727a52b393cc, 0x31439391fb59a55f, 0xf652b1ad0167feea, 0xb4a25046a88dc879,
      0xa8e6d8b54074a6ad, 0xea16395ee99e903e, 0x2d071b6213a0cb8b, 0x6ff7fa89ba4afd18, 0xe1d5bef04e364a72, 0xa3255f1be7dc7ce1,
      0x64347d271de22754, 0x26c49cccb40811c7, 0x5cbd6cc0cc10fafc, 0x1e4d8d2b65facc6f, 0xd95caf179fc497da, 0x9bac4efc362ea149,
      0x158e0a85c2521623, 0x577eeb6e6bb820b0, 0x906fc95291867b05, 0xd29f28b9386c4d96, 0xcedba04ad0952342, 0x8c2b41a1797f15d1,
      0x4b3a639d83414e64, 0x09ca82762aab78f7, 0x87e8c60fded7cf9d, 0xc51827e4773df90e, 0x020905d88d03a2bb, 0x40f9e43324e99428,
      0x2cffe7d5975e55e2, 0x6e0f063e3eb46371, 0xa91e2402c48a38c4, 0xebeec5e96d600e57, 0x65cc8190991cb93d, 0x273c607b30f68fae,
      0xe02d4247cac8d41b, 0xa2dda3ac6322e288, 0xbe992b5f8bdb8c5c, 0xfc69cab42231bacf, 0x3b78e888d80fe17a, 0x7988096371e5d7e9,
      0xf7aa4d1a85996083, 0xb55aacf12c735610, 0x724b8ecdd64d0da5, 0x30bb6f267fa73b36, 0x4ac29f2a07bfd00d, 0x08327ec1ae55e69e,
      0xcf235cfd546bbd2b, 0x8dd3bd16fd818bb8, 0x03f1f96f09fd3cd2, 0x41011884a0170a41, 0x86103ab85a2951f4, 0xc4e0db53f3c36767,
      0xd8a453a01b3a09b3, 0x9a54b24bb2d03f20, 0x5d45907748ee6495, 0x1fb5719ce1045206, 0x919735e51578e56c, 0xd367d40ebc92d3ff,
      0x1476f63246ac884a, 0x568617d9ef46bed9, 0xe085162ab69d5e3c, 0xa275f7c11f7768af, 0x6564d5fde549331a, 0x279434164ca30589,
      0xa9b6706fb8dfb2e3, 0xeb46918411358470, 0x2c57b3b8eb0bdfc5, 0x6ea7525342e1e956, 0x72e3daa0aa188782, 0x30133b4b03f2b111,
      0xf7021977f9cceaa4, 0xb5f2f89c5026dc37, 0x3bd0bce5a45a6b5d, 0x79205d0e0db05dce, 0xbe317f32f78e067b, 0xfcc19ed95e6430e8,
      0x86b86ed5267cdbd3, 0xc4488f3e8f96ed40, 0x0359ad0275a8b6f5, 0x41a94ce9dc428066, 0xcf8b0890283e370c, 0x8d7be97b81d4019f,
      0x4a6acb477bea5a2a, 0x089a2aacd2006cb9, 0x14dea25f3af9026d, 0x562e43b4931334fe, 0x913f6188692d6f4b, 0xd3cf8063c0c759d8,
      0x5dedc41a34bbeeb2, 0x1f1d25f19d51d821, 0xd80c07cd676f8394, 0x9afce626ce85b507}},
    /* width=64 poly=0x000000000000001b init=0xffffffffffffffff refin=true refout=true xorout=0xffffffffffffffff
       check=0xb90956c775a41001 residue=0x5300000000000000 name="CRC-64/GO-ISO" */
    {{{NULL, NULL}, true, 0, "crc_64_go_iso", 64},
     false,
     64,
     0x000000000000001b,
     0xffffffffffffffff,
     true,
     true,
     0xffffffffffffffff,
     0xb90956c775a41001,
     0x5300000000000000,
     {0x0000000000000000, 0x01b0000000000000, 0x0360000000000000, 0x02d0000000000000, 0x06c0000000000000, 0x0770000000000000,
      0x05a0000000000000, 0x0410000000000000, 0x0d80000000000000, 0x0c30000000000000, 0x0ee0000000000000, 0x0f50000000000000,
      0x0b40000000000000, 0x0af0000000000000, 0x0820000000000000, 0x0990000000000000, 0x1b00000000000000, 0x1ab0000000000000,
      0x1860000000000000, 0x19d0000000000000, 0x1dc0000000000000, 0x1c70000000000000, 0x1ea0000000000000, 0x1f10000000000000,
      0x1680000000000000, 0x1730000000000000, 0x15e0000000000000, 0x1450000000000000, 0x1040000000000000, 0x11f0000000000000,
      0x1320000000000000, 0x1290000000000000, 0x3600000000000000, 0x37b0000000000000, 0x3560000000000000, 0x34d0000000000000,
      0x30c0000000000000, 0x3170000000000000, 0x33a0000000000000, 0x3210000000000000, 0x3b80000000000000, 0x3a30000000000000,
      0x38e0000000000000, 0x3950000000000000, 0x3d40000000000000, 0x3cf0000000000000, 0x3e20000000000000, 0x3f90000000000000,
      0x2d00000000000000, 0x2cb0000000000000, 0x2e60000000000000, 0x2fd0000000000000, 0x2bc0000000000000, 0x2a70000000000000,
      0x28a0000000000000, 0x2910000000000000, 0x2080000000000000, 0x2130000000000000, 0x23e0000000000000, 0x2250000000000000,
      0x2640000000000000, 0x27f0000000000000, 0x2520000000000000, 0x2490000000000000, 0x6c00000000000000, 0x6db0000000000000,
      0x6f60000000000000, 0x6ed0000000000000, 0x6ac0000000000000, 0x6b70000000000000, 0x69a0000000000000, 0x6810000000000000,
      0x6180000000000000, 0x6030000000000000, 0x62e0000000000000, 0x6350000000000000, 0x6740000000000000, 0x66f0000000000000,
      0x6420000000000000, 0x6590000000000000, 0x7700000000000000, 0x76b0000000000000, 0x7460000000000000, 0x75d0000000000000,
      0x71c0000000000000, 0x7070000000000000, 0x72a0000000000000, 0x7310000000000000, 0x7a80000000000000, 0x7b30000000000000,
      0x79e0000000000000, 0x7850000000000000, 0x7c40000000000000, 0x7df0000000000000, 0x7f20000000000000, 0x7e90000000000000,
      0x5a00000000000000, 0x5bb0000000000000, 0x5960000000000000, 0x58d0000000000000, 0x5cc0000000000000, 0x5d70000000000000,
      0x5fa0000000000000, 0x5e10000000000000, 0x5780000000000000, 0x5630000000000000, 0x54e0000000000000, 0x5550000000000000,
      0x5140000000000000, 0x50f0000000000000, 0x5220000000000000, 0x5390000000000000, 0x4100000000000000, 0x40b0000000000000,
      0x4260000000000000, 0x43d0000000000000, 0x47c0000000000000, 0x4670000000000000, 0x44a0000000000000, 0x4510000000000000,
      0x4c80000000000000, 0x4d30000000000000, 0x4fe0000000000000, 0x4e50000000000000, 0x4a40000000000000, 0x4bf0000000000000,
      0x4920000000000000, 0x4890000000000000, 0xd800000000000000, 0xd9b0000000000000, 0xdb60000000000000, 0xdad0000000000000,
      0xdec0000000000000, 0xdf70000000000000, 0xdda0000000000000, 0xdc10000000000000, 0xd580000000000000, 0xd430000000000000,
      0xd6e0000000000000, 0xd750000000000000, 0xd340000000000000, 0xd2f0000000000000, 0xd020000000000000, 0xd190000000000000,
      0xc300000000000000, 0xc2b0000000000000, 0xc060000000000000, 0xc1d0000000000000, 0xc5c0000000000000, 0xc470000000000000,
      0xc6a0000000000000, 0xc710000000000000, 0xce80000000000000, 0xcf30000000000000, 0xcde0000000000000, 0xcc50000000000000,
      0xc840000000000000, 0xc9f0000000000000, 0xcb20000000000000, 0xca90000000000000, 0xee00000000000000, 0xefb0000000000000,
      0xed60000000000000, 0xecd0000000000000, 0xe8c0000000000000, 0xe970000000000000, 0xeba0000000000000, 0xea10000000000000,
      0xe380000000000000, 0xe230000000000000, 0xe0e0000000000000, 0xe150000000000000, 0xe540000000000000, 0xe4f0000000000000,
      0xe620000000000000, 0xe790000000000000, 0xf500000000000000, 0xf4b0000000000000, 0xf660000000000000, 0xf7d0000000000000,
      0xf3c0000000000000, 0xf270000000000000, 0xf0a0000000000000, 0xf110000000000000, 0xf880000000000000, 0xf930000000000000,
      0xfbe0000000000000, 0xfa50000000000000, 0xfe40000000000000, 0xfff0000000000000, 0xfd20000000000000, 0xfc90000000000000,
      0xb400000000000000, 0xb5b0000000000000, 0xb760000000000000, 0xb6d0000000000000, 0xb2c0000000000000, 0xb370000000000000,
      0xb1a0000000000000, 0xb010000000000000, 0xb980000000000000, 0xb830000000000000, 0xbae0000000000000, 0xbb50000000000000,
      0xbf40000000000000, 0xbef0000000000000, 0xbc20000000000000, 0xbd90000000000000, 0xaf00000000000000, 0xaeb0000000000000,
      0xac60000000000000, 0xadd0000000000000, 0xa9c0000000000000, 0xa870000000000000, 0xaaa0000000000000, 0xab10000000000000,
      0xa280000000000000, 0xa330000000000000, 0xa1e0000000000000, 0xa050000000000000, 0xa440000000000000, 0xa5f0000000000000,
      0xa720000000000000, 0xa690000000000000, 0x8200000000000000, 0x83b0000000000000, 0x8160000000000000, 0x80d0000000000000,
      0x84c0000000000000, 0x8570000000000000, 0x87a0000000000000, 0x8610000000000000, 0x8f80000000000000, 0x8e30000000000000,
      0x8ce0000000000000, 0x8d50000000000000, 0x8940000000000000, 0x88f0000000000000, 0x8a20000000000000, 0x8b90000000000000,
      0x9900000000000000, 0x98b0000000000000, 0x9a60000000000000, 0x9bd0000000000000, 0x9fc0000000000000, 0x9e70000000000000,
      0x9ca0000000000000, 0x9d10000000000000, 0x9480000000000000, 0x9530000000000000, 0x97e0000000000000, 0x9650000000000000,
      0x9240000000000000, 0x93f0000000000000, 0x9120000000000000, 0x9090000000000000}},
    /* width=64 poly=0xad93d23594c935a9 init=0xffffffffffffffff refin=true refout=true xorout=0x0000000000000000
       check=0xcaa717168609f281 residue=0x0000000000000000 name="CRC-64/JONES" */
    {{{NULL, NULL}, true, 0, "crc_64_jones", 64},
     false,
     64,
     0xad93d23594c935a9,
     0xffffffffffffffff,
     true,
     true,
     0x0000000000000000,
     0xcaa717168609f281,
     0x0000000000000000,
     {0x0000000000000000, 0x7ad870c830358979, 0xf5b0e190606b12f2, 0x8f689158505e9b8b, 0xc038e5739841b68f, 0xbae095bba8743ff6,
      0x358804e3f82aa47d, 0x4f50742bc81f2d04, 0xab28ecb46814fe75, 0xd1f09c7c5821770c, 0x5e980d24087fec87, 0x24407dec384a65fe,
      0x6b1009c7f05548fa, 0x11c8790fc060c183, 0x9ea0e857903e5a08, 0xe478989fa00bd371, 0x7d08ff3b88be6f81, 0x07d08ff3b88be6f8,
      0x88b81eabe8d57d73, 0xf2606e63d8e0f40a, 0xbd301a4810ffd90e, 0xc7e86a8020ca5077, 0x4880fbd87094cbfc, 0x32588b1040a14285,
      0xd620138fe0aa91f4, 0xacf86347d09f188d, 0x2390f21f80c18306, 0x594882d7b0f40a7f, 0x1618f6fc78eb277b, 0x6cc0863448deae02,
      0xe3a8176c18803589, 0x997067a428b5bcf0, 0xfa11fe77117cdf02, 0x80c98ebf2149567b, 0x0fa11fe77117cdf0, 0x75796f2f41224489,
      0x3a291b04893d698d, 0x40f16bccb908e0f4, 0xcf99fa94e9567b7f, 0xb5418a5cd963f206, 0x513912c379682177, 0x2be1620b495da80e,
      0xa489f35319033385, 0xde51839b2936bafc, 0x9101f7b0e12997f8, 0xebd98778d11c1e81, 0x64b116208142850a, 0x1e6966e8b1770c73,
      0x8719014c99c2b083, 0xfdc17184a9f739fa, 0x72a9e0dcf9a9a271, 0x08719014c99c2b08, 0x4721e43f0183060c, 0x3df994f731b68f75,
      0xb29105af61e814fe, 0xc849756751dd9d87, 0x2c31edf8f1d64ef6, 0x56e99d30c1e3c78f, 0xd9810c6891bd5c04, 0xa3597ca0a188d57d,
      0xec09088b6997f879, 0x96d1784359a27100, 0x19b9e91b09fcea8b, 0x636199d339c963f2, 0xdf7adabd7a6e2d6f, 0xa5a2aa754a5ba416,
      0x2aca3b2d1a053f9d, 0x50124be52a30b6e4, 0x1f423fcee22f9be0, 0x659a4f06d21a1299, 0xeaf2de5e82448912, 0x902aae96b271006b,
      0x74523609127ad31a, 0x0e8a46c1224f5a63, 0x81e2d7997211c1e8, 0xfb3aa75142244891, 0xb46ad37a8a3b6595, 0xceb2a3b2ba0eecec,
      0x41da32eaea507767, 0x3b024222da65fe1e, 0xa2722586f2d042ee, 0xd8aa554ec2e5cb97, 0x57c2c41692bb501c, 0x2d1ab4dea28ed965,
      0x624ac0f56a91f461, 0x1892b03d5aa47d18, 0x97fa21650afae693, 0xed2251ad3acf6fea, 0x095ac9329ac4bc9b, 0x7382b9faaaf135e2,
      0xfcea28a2faafae69, 0x8632586aca9a2710, 0xc9622c4102850a14, 0xb3ba5c8932b0836d, 0x3cd2cdd162ee18e6, 0x460abd1952db919f,
      0x256b24ca6b12f26d, 0x5fb354025b277b14, 0xd0dbc55a0b79e09f, 0xaa03b5923b4c69e6, 0xe553c1b9f35344e2, 0x9f8bb171c366cd9b,
      0x10e3202993385610, 0x6a3b50e1a30ddf69, 0x8e43c87e03060c18, 0xf49bb8b633338561, 0x7bf329ee636d1eea, 0x012b592653589793,
      0x4e7b2d0d9b47ba97, 0x34a35dc5ab7233ee, 0xbbcbcc9dfb2ca865, 0xc113bc55cb19211c, 0x5863dbf1e3ac9dec, 0x22bbab39d3991495,
      0xadd33a6183c78f1e, 0xd70b4aa9b3f20667, 0x985b3e827bed2b63, 0xe2834e4a4bd8a21a, 0x6debdf121b863991, 0x1733afda2bb3b0e8,
      0xf34b37458bb86399, 0x8993478dbb8deae0, 0x06fbd6d5ebd3716b, 0x7c23a61ddbe6f812, 0x3373d23613f9d516, 0x49aba2fe23cc5c6f,
      0xc6c333a67392c7e4, 0xbc1b436e43a74e9d, 0x95ac9329ac4bc9b5, 0xef74e3e19c7e40cc, 0x601c72b9cc20db47, 0x1ac40271fc15523e,
      0x5594765a340a7f3a, 0x2f4c0692043ff643, 0xa02497ca54616dc8, 0xdafce7026454e4b1, 0x3e847f9dc45f37c0, 0x445c0f55f46abeb9,
      0xcb349e0da4342532, 0xb1eceec59401ac4b, 0xfebc9aee5c1e814f, 0x8464ea266c2b0836, 0x0b0c7b7e3c7593bd, 0x71d40bb60c401ac4,
      0xe8a46c1224f5a634, 0x927c1cda14c02f4d, 0x1d148d82449eb4c6, 0x67ccfd4a74ab3dbf, 0x289c8961bcb410bb, 0x5244f9a98c8199c2,
      0xdd2c68f1dcdf0249, 0xa7f41839ecea8b30, 0x438c80a64ce15841, 0x3954f06e7cd4d138, 0xb63c61362c8a4ab3, 0xcce411fe1cbfc3ca,
      0x83b465d5d4a0eece, 0xf96c151de49567b7, 0x76048445b4cbfc3c, 0x0cdcf48d84fe7545, 0x6fbd6d5ebd3716b7, 0x15651d968d029fce,
      0x9a0d8ccedd5c0445, 0xe0d5fc06ed698d3c, 0xaf85882d2576a038, 0xd55df8e515432941, 0x5a3569bd451db2ca, 0x20ed197575283bb3,
      0xc49581ead523e8c2, 0xbe4df122e51661bb, 0x3125607ab548fa30, 0x4bfd10b2857d7349, 0x04ad64994d625e4d, 0x7e7514517d57d734,
      0xf11d85092d094cbf, 0x8bc5f5c11d3cc5c6, 0x12b5926535897936, 0x686de2ad05bcf04f, 0xe70573f555e26bc4, 0x9ddd033d65d7e2bd,
      0xd28d7716adc8cfb9, 0xa85507de9dfd46c0, 0x273d9686cda3dd4b, 0x5de5e64efd965432, 0xb99d7ed15d9d8743, 0xc3450e196da80e3a,
      0x4c2d9f413df695b1, 0x36f5ef890dc31cc8, 0x79a59ba2c5dc31cc, 0x037deb6af5e9b8b5, 0x8c157a32a5b7233e, 0xf6cd0afa9582aa47,
      0x4ad64994d625e4da, 0x300e395ce6106da3, 0xbf66a804b64ef628, 0xc5bed8cc867b7f51, 0x8aeeace74e645255, 0xf036dc2f7e51db2c,
      0x7f5e4d772e0f40a7, 0x05863dbf1e3ac9de, 0xe1fea520be311aaf, 0x9b26d5e88e0493d6, 0x144e44b0de5a085d, 0x6e963478ee6f8124,
      0x21c640532670ac20, 0x5b1e309b16452559, 0xd476a1c3461bbed2, 0xaeaed10b762e37ab, 0x37deb6af5e9b8b5b, 0x4d06c6676eae0222,
      0xc26e573f3ef099a9, 0xb8b627f70ec510d0, 0xf7e653dcc6da3dd4, 0x8d3e2314f6efb4ad, 0x0256b24ca6b12f26, 0x788ec2849684a65f,
      0x9cf65a1b368f752e, 0xe62e2ad306bafc57, 0x6946bb8b56e467dc, 0x139ecb4366d1eea5, 0x5ccebf68aecec3a1, 0x2616cfa09efb4ad8,
      0xa97e5ef8cea5d153, 0xd3a62e30fe90582a, 0xb0c7b7e3c7593bd8, 0xca1fc72bf76cb2a1, 0x45775673a732292a, 0x3faf26bb9707a053,
      0x70ff52905f188d57, 0x0a2722586f2d042e, 0x854fb3003f739fa5, 0xff97c3c80f4616dc, 0x1bef5b57af4dc5ad, 0x61372b9f9f784cd4,
      0xee5fbac7cf26d75f, 0x9487ca0fff135e26, 0xdbd7be24370c7322, 0xa10fceec0739fa5b, 0x2e675fb4576761d0, 0x54bf2f7c6752e8a9,
      0xcdcf48d84fe75459, 0xb71738107fd2dd20, 0x387fa9482f8c46ab, 0x42a7d9801fb9cfd2, 0x0df7adabd7a6e2d6, 0x772fdd63e7936baf,
      0xf8474c3bb7cdf024, 0x829f3cf387f8795d, 0x66e7a46c27f3aa2c, 0x1c3fd4a417c62355, 0x935745fc4798b8de, 0xe98f353477ad31a7,
      0xa6df411fbfb21ca3, 0xdc0731d78f8795da, 0x536fa08fdfd90e51, 0x29b7d047efec8728}},
    /* width=64 poly=0x42f0e1eba9ea3693 init=0xffffffffffffffff refin=false refout=false xorout=0xffffffffffffffff
       check=0x62ec59e3f1a4f00a residue=0xfcacbebd5931a992 name="CRC-64/WE" */
    {{{NULL, NULL}, true, 0, "crc_64_we", 64},
     false,
     64,
     0x42f0e1eba9ea3693,
     0xffffffffffffffff,
     false,
     false,
     0xffffffffffffffff,
     0x62ec59e3f1a4f00a,
     0xfcacbebd5931a992,
     {0x0000000000000000, 0x42f0e1eba9ea3693, 0x85e1c3d753d46d26, 0xc711223cfa3e5bb5, 0x493366450e42ecdf, 0x0bc387aea7a8da4c,
      0xccd2a5925d9681f9, 0x8e224479f47cb76a, 0x9266cc8a1c85d9be, 0xd0962d61b56fef2d, 0x17870f5d4f51b498, 0x5577eeb6e6bb820b,
      0xdb55aacf12c73561, 0x99a54b24bb2d03f2, 0x5eb4691841135847, 0x1c4488f3e8f96ed4, 0x663d78ff90e185ef, 0x24cd9914390bb37c,
      0xe3dcbb28c335e8c9, 0xa12c5ac36adfde5a, 0x2f0e1eba9ea36930, 0x6dfeff5137495fa3, 0xaaefdd6dcd770416, 0xe81f3c86649d3285,
      0xf45bb4758c645c51, 0xb6ab559e258e6ac2, 0x71ba77a2dfb03177, 0x334a9649765a07e4, 0xbd68d2308226b08e, 0xff9833db2bcc861d,
      0x388911e7d1f2dda8, 0x7a79f00c7818eb3b, 0xcc7af1ff21c30bde, 0x8e8a101488293d4d, 0x499b3228721766f8, 0x0b6bd3c3dbfd506b,
      0x854997ba2f81e701, 0xc7b97651866bd192, 0x00a8546d7c558a27, 0x4258b586d5bfbcb4, 0x5e1c3d753d46d260, 0x1cecdc9e94ace4f3,
      0xdbfdfea26e92bf46, 0x990d1f49c77889d5, 0x172f5b3033043ebf, 0x55dfbadb9aee082c, 0x92ce98e760d05399, 0xd03e790cc93a650a,
      0xaa478900b1228e31, 0xe8b768eb18c8b8a2, 0x2fa64ad7e2f6e317, 0x6d56ab3c4b1cd584, 0xe374ef45bf6062ee, 0xa1840eae168a547d,
      0x66952c92ecb40fc8, 0x2465cd79455e395b, 0x3821458aada7578f, 0x7ad1a461044d611c, 0xbdc0865dfe733aa9, 0xff3067b657990c3a,
      0x711223cfa3e5bb50, 0x33e2c2240a0f8dc3, 0xf4f3e018f031d676, 0xb60301f359dbe0e5, 0xda050215ea6c212f, 0x98f5e3fe438617bc,
      0x5fe4c1c2b9b84c09, 0x1d14202910527a9a, 0x93366450e42ecdf0, 0xd1c685bb4dc4fb63, 0x16d7a787b7faa0d6, 0x5427466c1e109645,
      0x4863ce9ff6e9f891, 0x0a932f745f03ce02, 0xcd820d48a53d95b7, 0x8f72eca30cd7a324, 0x0150a8daf8ab144e, 0x43a04931514122dd,
      0x84b16b0dab7f7968, 0xc6418ae602954ffb, 0xbc387aea7a8da4c0, 0xfec89b01d3679253, 0x39d9b93d2959c9e6, 0x7b2958d680b3ff75,
      0xf50b1caf74cf481f, 0xb7fbfd44dd257e8c, 0x70eadf78271b2539, 0x321a3e938ef113aa, 0x2e5eb66066087d7e, 0x6cae578bcfe24bed,
      0xabbf75b735dc1058, 0xe94f945c9c3626cb, 0x676dd025684a91a1, 0x259d31cec1a0a732, 0xe28c13f23b9efc87, 0xa07cf2199274ca14,
      0x167ff3eacbaf2af1, 0x548f120162451c62, 0x939e303d987b47d7, 0xd16ed1d631917144, 0x5f4c95afc5edc62e, 0x1dbc74446c07f0bd,
      0xdaad56789639ab08, 0x985db7933fd39d9b, 0x84193f60d72af34f, 0xc6e9de8b7ec0c5dc, 0x01f8fcb784fe9e69, 0x43081d5c2d14a8fa,
      0xcd2a5925d9681f90, 0x8fdab8ce70822903, 0x48cb9af28abc72b6, 0x0a3b7b1923564425, 0x70428b155b4eaf1e, 0x32b26afef2a4998d,
      0xf5a348c2089ac238, 0xb753a929a170f4ab, 0x3971ed50550c43c1, 0x7b810cbbfce67552, 0xbc902e8706d82ee7, 0xfe60cf6caf321874,
      0xe224479f47cb76a0, 0xa0d4a674ee214033, 0x67c58448141f1b86, 0x253565a3bdf52d15, 0xab1721da49899a7f, 0xe9e7c031e063acec,
      0x2ef6e20d1a5df759, 0x6c0603e6b3b7c1ca, 0xf6fae5c07d3274cd, 0xb40a042bd4d8425e, 0x731b26172ee619eb, 0x31ebc7fc870c2f78,
      0xbfc9838573709812, 0xfd39626eda9aae81, 0x3a28405220a4f534, 0x78d8a1b9894ec3a7, 0x649c294a61b7ad73, 0x266cc8a1c85d9be0,
      0xe17dea9d3263c055, 0xa38d0b769b89f6c6, 0x2daf4f0f6ff541ac, 0x6f5faee4c61f773f, 0xa84e8cd83c212c8a, 0xeabe6d3395cb1a19,
      0x90c79d3fedd3f122, 0xd2377cd44439c7b1, 0x15265ee8be079c04, 0x57d6bf0317edaa97, 0xd9f4fb7ae3911dfd, 0x9b041a914a7b2b6e,
      0x5c1538adb04570db, 0x1ee5d94619af4648, 0x02a151b5f156289c, 0x4051b05e58bc1e0f, 0x87409262a28245ba, 0xc5b073890b687329,
      0x4b9237f0ff14c443, 0x0962d61b56fef2d0, 0xce73f427acc0a965, 0x8c8315cc052a9ff6, 0x3a80143f5cf17f13, 0x7870f5d4f51b4980,
      0xbf61d7e80f251235, 0xfd913603a6cf24a6, 0x73b3727a52b393cc, 0x31439391fb59a55f, 0xf652b1ad0167feea, 0xb4a25046a88dc879,
      0xa8e6d8b54074a6ad, 0xea16395ee99e903e, 0x2d071b6213a0cb8b, 0x6ff7fa89ba4afd18, 0xe1d5bef04e364a72, 0xa3255f1be7dc7ce1,
      0x64347d271de22754, 0x26c49cccb40811c7, 0x5cbd6cc0cc10fafc, 0x1e4d8d2b65facc6f, 0xd95caf179fc497da, 0x9bac4efc362ea149,
      0x158e0a85c2521623, 0x577eeb6e6bb820b0, 0x906fc95291867b05, 0xd29f28b9386c4d96, 0xcedba04ad0952342, 0x8c2b41a1797f15d1,
      0x4b3a639d83414e64, 0x09ca82762aab78f7, 0x87e8c60fded7cf9d, 0xc51827e4773df90e, 0x020905d88d03a2bb, 0x40f9e43324e99428,
      0x2cffe7d5975e55e2, 0x6e0f063e3eb46371, 0xa91e2402c48a38c4, 0xebeec5e96d600e57, 0x65cc8190991cb93d, 0x273c607b30f68fae,
      0xe02d4247cac8d41b, 0xa2dda3ac6322e288, 0xbe992b5f8bdb8c5c, 0xfc69cab42231bacf, 0x3b78e888d80fe17a, 0x7988096371e5d7e9,
      0xf7aa4d1a85996083, 0xb55aacf12c735610, 0x724b8ecdd64d0da5, 0x30bb6f267fa73b36, 0x4ac29f2a07bfd00d, 0x08327ec1ae55e69e,
      0xcf235cfd546bbd2b, 0x8dd3bd16fd818bb8, 0x03f1f96f09fd3cd2, 0x41011884a0170a41, 0x86103ab85a2951f4, 0xc4e0db53f3c36767,
      0xd8a453a01b3a09b3, 0x9a54b24bb2d03f20, 0x5d45907748ee6495, 0x1fb5719ce1045206, 0x919735e51578e56c, 0xd367d40ebc92d3ff,
      0x1476f63246ac884a, 0x568617d9ef46bed9, 0xe085162ab69d5e3c, 0xa275f7c11f7768af, 0x6564d5fde549331a, 0x279434164ca30589,
      0xa9b6706fb8dfb2e3, 0xeb46918411358470, 0x2c57b3b8eb0bdfc5, 0x6ea7525342e1e956, 0x72e3daa0aa188782, 0x30133b4b03f2b111,
      0xf7021977f9cceaa4, 0xb5f2f89c5026dc37, 0x3bd0bce5a45a6b5d, 0x79205d0e0db05dce, 0xbe317f32f78e067b, 0xfcc19ed95e6430e8,
      0x86b86ed5267cdbd3, 0xc4488f3e8f96ed40, 0x0359ad0275a8b6f5, 0x41a94ce9dc428066, 0xcf8b0890283e370c, 0x8d7be97b81d4019f,
      0x4a6acb477bea5a2a, 0x089a2aacd2006cb9, 0x14dea25f3af9026d, 0x562e43b4931334fe, 0x913f6188692d6f4b, 0xd3cf8063c0c759d8,
      0x5dedc41a34bbeeb2, 0x1f1d25f19d51d821, 0xd80c07cd676f8394, 0x9afce626ce85b507}},
    /* width=64 poly=0x42f0e1eba9ea3693 init=0xffffffffffffffff refin=true refout=true xorout=0xffffffffffffffff
       check=0x995dc9bbdf1939fa residue=0x49958c9abd7d353f name="CRC-64/XZ" alias="CRC-64/GO-ECMA" */
    {{{NULL, NULL}, true, 0, "crc_64_xz", 64},
     false,
     64,
     0x42f0e1eba9ea3693,
     0xffffffffffffffff,
     true,
     true,
     0xffffffffffffffff,
     0x995dc9bbdf1939fa,
     0x49958c9abd7d353f,
     {0x0000000000000000, 0xb32e4cbe03a75f6f, 0xf4843657a840a05b, 0x47aa7ae9abe7ff34, 0x7bd0c384ff8f5e33, 0xc8fe8f3afc28015c,
      0x8f54f5d357cffe68, 0x3c7ab96d5468a107, 0xf7a18709ff1ebc66, 0x448fcbb7fcb9e309, 0x0325b15e575e1c3d, 0xb00bfde054f94352,
      0x8c71448d0091e255, 0x3f5f08330336bd3a, 0x78f572daa8d1420e, 0xcbdb3e64ab761d61, 0x7d9ba13851336649, 0xceb5ed8652943926,
      0x891f976ff973c612, 0x3a31dbd1fad4997d, 0x064b62bcaebc387a, 0xb5652e02ad1b6715, 0xf2cf54eb06fc9821, 0x41e11855055bc74e,
      0x8a3a2631ae2dda2f, 0x39146a8fad8a8540, 0x7ebe1066066d7a74, 0xcd905cd805ca251b, 0xf1eae5b551a2841c, 0x42c4a90b5205db73,
      0x056ed3e2f9e22447, 0xb6409f5cfa457b28, 0xfb374270a266cc92, 0x48190ecea1c193fd, 0x0fb374270a266cc9, 0xbc9d3899098133a6,
      0x80e781f45de992a1, 0x33c9cd4a5e4ecdce, 0x7463b7a3f5a932fa, 0xc74dfb1df60e6d95, 0x0c96c5795d7870f4, 0xbfb889c75edf2f9b,
      0xf812f32ef538d0af, 0x4b3cbf90f69f8fc0, 0x774606fda2f72ec7, 0xc4684a43a15071a8, 0x83c230aa0ab78e9c, 0x30ec7c140910d1f3,
      0x86ace348f355aadb, 0x3582aff6f0f2f5b4, 0x7228d51f5b150a80, 0xc10699a158b255ef, 0xfd7c20cc0cdaf4e8, 0x4e526c720f7dab87,
      0x09f8169ba49a54b3, 0xbad65a25a73d0bdc, 0x710d64410c4b16bd, 0xc22328ff0fec49d2, 0x85895216a40bb6e6, 0x36a71ea8a7ace989,
      0x0adda7c5f3c4488e, 0xb9f3eb7bf06317e1, 0xfe5991925b84e8d5, 0x4d77dd2c5823b7ba, 0x64b62bcaebc387a1, 0xd7986774e864d8ce,
      0x90321d9d438327fa, 0x231c512340247895, 0x1f66e84e144cd992, 0xac48a4f017eb86fd, 0xebe2de19bc0c79c9, 0x58cc92a7bfab26a6,
      0x9317acc314dd3bc7, 0x2039e07d177a64a8, 0x67939a94bc9d9b9c, 0xd4bdd62abf3ac4f3, 0xe8c76f47eb5265f4, 0x5be923f9e8f53a9b,
      0x1c4359104312c5af, 0xaf6d15ae40b59ac0, 0x192d8af2baf0e1e8, 0xaa03c64cb957be87, 0xeda9bca512b041b3, 0x5e87f01b11171edc,
      0x62fd4976457fbfdb, 0xd1d305c846d8e0b4, 0x96797f21ed3f1f80, 0x2557339fee9840ef, 0xee8c0dfb45ee5d8e, 0x5da24145464902e1,
      0x1a083bacedaefdd5, 0xa9267712ee09a2ba, 0x955cce7fba6103bd, 0x267282c1b9c65cd2, 0x61d8f8281221a3e6, 0xd2f6b4961186fc89,
      0x9f8169ba49a54b33, 0x2caf25044a02145c, 0x6b055fede1e5eb68, 0xd82b1353e242b407, 0xe451aa3eb62a1500, 0x577fe680b58d4a6f,
      0x10d59c691e6ab55b, 0xa3fbd0d71dcdea34, 0x6820eeb3b6bbf755, 0xdb0ea20db51ca83a, 0x9ca4d8e41efb570e, 0x2f8a945a1d5c0861,
      0x13f02d374934a966, 0xa0de61894a93f609, 0xe7741b60e174093d, 0x545a57dee2d35652, 0xe21ac88218962d7a, 0x5134843c1b317215,
      0x169efed5b0d68d21, 0xa5b0b26bb371d24e, 0x99ca0b06e7197349, 0x2ae447b8e4be2c26, 0x6d4e3d514f59d312, 0xde6071ef4cfe8c7d,
      0x15bb4f8be788911c, 0xa6950335e42fce73, 0xe13f79dc4fc83147, 0x521135624c6f6e28, 0x6e6b8c0f1807cf2f, 0xdd45c0b11ba09040,
      0x9aefba58b0476f74, 0x29c1f6e6b3e0301b, 0xc96c5795d7870f42, 0x7a421b2bd420502d, 0x3de861c27fc7af19, 0x8ec62d7c7c60f076,
      0xb2bc941128085171, 0x0192d8af2baf0e1e, 0x4638a2468048f12a, 0xf516eef883efae45, 0x3ecdd09c2899b324, 0x8de39c222b3eec4b,
      0xca49e6cb80d9137f, 0x7967aa75837e4c10, 0x451d1318d716ed17, 0xf6335fa6d4b1b278, 0xb199254f7f564d4c, 0x02b769f17cf11223,
      0xb4f7f6ad86b4690b, 0x07d9ba1385133664, 0x4073c0fa2ef4c950, 0xf35d8c442d53963f, 0xcf273529793b3738, 0x7c0979977a9c6857,
      0x3ba3037ed17b9763, 0x888d4fc0d2dcc80c, 0x435671a479aad56d, 0xf0783d1a7a0d8a02, 0xb7d247f3d1ea7536, 0x04fc0b4dd24d2a59,
      0x3886b22086258b5e, 0x8ba8fe9e8582d431, 0xcc0284772e652b05, 0x7f2cc8c92dc2746a, 0x325b15e575e1c3d0, 0x8175595b76469cbf,
      0xc6df23b2dda1638b, 0x75f16f0cde063ce4, 0x498bd6618a6e9de3, 0xfaa59adf89c9c28c, 0xbd0fe036222e3db8, 0x0e21ac88218962d7,
      0xc5fa92ec8aff7fb6, 0x76d4de52895820d9, 0x317ea4bb22bfdfed, 0x8250e80521188082, 0xbe2a516875702185, 0x0d041dd676d77eea,
      0x4aae673fdd3081de, 0xf9802b81de97deb1, 0x4fc0b4dd24d2a599, 0xfceef8632775faf6, 0xbb44828a8c9205c2, 0x086ace348f355aad,
      0x34107759db5dfbaa, 0x873e3be7d8faa4c5, 0xc094410e731d5bf1, 0x73ba0db070ba049e, 0xb86133d4dbcc19ff, 0x0b4f7f6ad86b4690,
      0x4ce50583738cb9a4, 0xffcb493d702be6cb, 0xc3b1f050244347cc, 0x709fbcee27e418a3, 0x3735c6078c03e797, 0x841b8ab98fa4b8f8,
      0xadda7c5f3c4488e3, 0x1ef430e13fe3d78c, 0x595e4a08940428b8, 0xea7006b697a377d7, 0xd60abfdbc3cbd6d0, 0x6524f365c06c89bf,
      0x228e898c6b8b768b, 0x91a0c532682c29e4, 0x5a7bfb56c35a3485, 0xe955b7e8c0fd6bea, 0xaeffcd016b1a94de, 0x1dd181bf68bdcbb1,
      0x21ab38d23cd56ab6, 0x9285746c3f7235d9, 0xd52f0e859495caed, 0x6601423b97329582, 0xd041dd676d77eeaa, 0x636f91d96ed0b1c5,
      0x24c5eb30c5374ef1, 0x97eba78ec690119e, 0xab911ee392f8b099, 0x18bf525d915feff6, 0x5f1528b43ab810c2, 0xec3b640a391f4fad,
      0x27e05a6e926952cc, 0x94ce16d091ce0da3, 0xd3646c393a29f297, 0x604a2087398eadf8, 0x5c3099ea6de60cff, 0xef1ed5546e415390,
      0xa8b4afbdc5a6aca4, 0x1b9ae303c601f3cb, 0x56ed3e2f9e224471, 0xe5c372919d851b1e, 0xa26908783662e42a, 0x114744c635c5bb45,
      0x2d3dfdab61ad1a42, 0x9e13b115620a452d, 0xd9b9cbfcc9edba19, 0x6a978742ca4ae576, 0xa14cb926613cf817, 0x1262f598629ba778,
      0x55c88f71c97c584c, 0xe6e6c3cfcadb0723, 0xda9c7aa29eb3a624, 0x69b2361c9d14f94b, 0x2e184cf536f3067f, 0x9d36004b35545910,
      0x2b769f17cf112238, 0x9858d3a9ccb67d57, 0xdff2a94067518263, 0x6cdce5fe64f6dd0c, 0x50a65c93309e7c0b, 0xe388102d33392364,
      0xa4226ac498dedc50, 0x170c267a9b79833f, 0xdcd7181e300f9e5e, 0x6ff954a033a8c131, 0x28532e49984f3e05, 0x9b7d62f79be8616a,
      0xa707db9acf80c06d, 0x14299724cc279f02, 0x5383edcd67c06036, 0xe0ada17364673f59}},
    /* END */
    {{{NULL, NULL}, false, 0, "\0", 0}}};