source: src/CRC64.c @ ccf520e

Revision ccf520e, 75.0 KB checked in by Hal Finkel <hfinkel@…>, 10 years ago (diff)

Initial Commit
  • Property mode set to 100644
RevLine 
[ccf520e]1//                    Author: Hal Finkel
2
3#ifndef __STDC_CONSTANT_MACROS
4#define __STDC_CONSTANT_MACROS
5#endif
6
7#include <CRC64.h>
8
9#ifdef HAVE_CONFIG_H
10#include <config.h>
11#endif
12
13#ifdef _OPENMP
14#include <omp.h>
15#endif
16
17#include <stdbool.h>
18
19// The polynomial here is the bit-reversed encoding of 0x42f0e1eba9ea3693.
20static const uint64_t crc64_poly = UINT64_C(0xc96c5795d7870f42);
21
22static const uint64_t crc64_table[4][256] = {
23  {
24    UINT64_C(0x0000000000000000), UINT64_C(0x1dee8a5e222ca1dc),
25    UINT64_C(0x3bdd14bc445943b8), UINT64_C(0x26339ee26675e264),
26    UINT64_C(0x77ba297888b28770), UINT64_C(0x6a54a326aa9e26ac),
27    UINT64_C(0x4c673dc4ccebc4c8), UINT64_C(0x5189b79aeec76514),
28    UINT64_C(0xef7452f111650ee0), UINT64_C(0xf29ad8af3349af3c),
29    UINT64_C(0xd4a9464d553c4d58), UINT64_C(0xc947cc137710ec84),
30    UINT64_C(0x98ce7b8999d78990), UINT64_C(0x8520f1d7bbfb284c),
31    UINT64_C(0xa3136f35dd8eca28), UINT64_C(0xbefde56bffa26bf4),
32    UINT64_C(0x4c300ac98dc40345), UINT64_C(0x51de8097afe8a299),
33    UINT64_C(0x77ed1e75c99d40fd), UINT64_C(0x6a03942bebb1e121),
34    UINT64_C(0x3b8a23b105768435), UINT64_C(0x2664a9ef275a25e9),
35    UINT64_C(0x0057370d412fc78d), UINT64_C(0x1db9bd5363036651),
36    UINT64_C(0xa34458389ca10da5), UINT64_C(0xbeaad266be8dac79),
37    UINT64_C(0x98994c84d8f84e1d), UINT64_C(0x8577c6dafad4efc1),
38    UINT64_C(0xd4fe714014138ad5), UINT64_C(0xc910fb1e363f2b09),
39    UINT64_C(0xef2365fc504ac96d), UINT64_C(0xf2cdefa2726668b1),
40    UINT64_C(0x986015931b88068a), UINT64_C(0x858e9fcd39a4a756),
41    UINT64_C(0xa3bd012f5fd14532), UINT64_C(0xbe538b717dfde4ee),
42    UINT64_C(0xefda3ceb933a81fa), UINT64_C(0xf234b6b5b1162026),
43    UINT64_C(0xd4072857d763c242), UINT64_C(0xc9e9a209f54f639e),
44    UINT64_C(0x771447620aed086a), UINT64_C(0x6afacd3c28c1a9b6),
45    UINT64_C(0x4cc953de4eb44bd2), UINT64_C(0x5127d9806c98ea0e),
46    UINT64_C(0x00ae6e1a825f8f1a), UINT64_C(0x1d40e444a0732ec6),
47    UINT64_C(0x3b737aa6c606cca2), UINT64_C(0x269df0f8e42a6d7e),
48    UINT64_C(0xd4501f5a964c05cf), UINT64_C(0xc9be9504b460a413),
49    UINT64_C(0xef8d0be6d2154677), UINT64_C(0xf26381b8f039e7ab),
50    UINT64_C(0xa3ea36221efe82bf), UINT64_C(0xbe04bc7c3cd22363),
51    UINT64_C(0x9837229e5aa7c107), UINT64_C(0x85d9a8c0788b60db),
52    UINT64_C(0x3b244dab87290b2f), UINT64_C(0x26cac7f5a505aaf3),
53    UINT64_C(0x00f95917c3704897), UINT64_C(0x1d17d349e15ce94b),
54    UINT64_C(0x4c9e64d30f9b8c5f), UINT64_C(0x5170ee8d2db72d83),
55    UINT64_C(0x7743706f4bc2cfe7), UINT64_C(0x6aadfa3169ee6e3b),
56    UINT64_C(0xa218840d981e1391), UINT64_C(0xbff60e53ba32b24d),
57    UINT64_C(0x99c590b1dc475029), UINT64_C(0x842b1aeffe6bf1f5),
58    UINT64_C(0xd5a2ad7510ac94e1), UINT64_C(0xc84c272b3280353d),
59    UINT64_C(0xee7fb9c954f5d759), UINT64_C(0xf391339776d97685),
60    UINT64_C(0x4d6cd6fc897b1d71), UINT64_C(0x50825ca2ab57bcad),
61    UINT64_C(0x76b1c240cd225ec9), UINT64_C(0x6b5f481eef0eff15),
62    UINT64_C(0x3ad6ff8401c99a01), UINT64_C(0x273875da23e53bdd),
63    UINT64_C(0x010beb384590d9b9), UINT64_C(0x1ce5616667bc7865),
64    UINT64_C(0xee288ec415da10d4), UINT64_C(0xf3c6049a37f6b108),
65    UINT64_C(0xd5f59a785183536c), UINT64_C(0xc81b102673aff2b0),
66    UINT64_C(0x9992a7bc9d6897a4), UINT64_C(0x847c2de2bf443678),
67    UINT64_C(0xa24fb300d931d41c), UINT64_C(0xbfa1395efb1d75c0),
68    UINT64_C(0x015cdc3504bf1e34), UINT64_C(0x1cb2566b2693bfe8),
69    UINT64_C(0x3a81c88940e65d8c), UINT64_C(0x276f42d762cafc50),
70    UINT64_C(0x76e6f54d8c0d9944), UINT64_C(0x6b087f13ae213898),
71    UINT64_C(0x4d3be1f1c854dafc), UINT64_C(0x50d56bafea787b20),
72    UINT64_C(0x3a78919e8396151b), UINT64_C(0x27961bc0a1bab4c7),
73    UINT64_C(0x01a58522c7cf56a3), UINT64_C(0x1c4b0f7ce5e3f77f),
74    UINT64_C(0x4dc2b8e60b24926b), UINT64_C(0x502c32b8290833b7),
75    UINT64_C(0x761fac5a4f7dd1d3), UINT64_C(0x6bf126046d51700f),
76    UINT64_C(0xd50cc36f92f31bfb), UINT64_C(0xc8e24931b0dfba27),
77    UINT64_C(0xeed1d7d3d6aa5843), UINT64_C(0xf33f5d8df486f99f),
78    UINT64_C(0xa2b6ea171a419c8b), UINT64_C(0xbf586049386d3d57),
79    UINT64_C(0x996bfeab5e18df33), UINT64_C(0x848574f57c347eef),
80    UINT64_C(0x76489b570e52165e), UINT64_C(0x6ba611092c7eb782),
81    UINT64_C(0x4d958feb4a0b55e6), UINT64_C(0x507b05b56827f43a),
82    UINT64_C(0x01f2b22f86e0912e), UINT64_C(0x1c1c3871a4cc30f2),
83    UINT64_C(0x3a2fa693c2b9d296), UINT64_C(0x27c12ccde095734a),
84    UINT64_C(0x993cc9a61f3718be), UINT64_C(0x84d243f83d1bb962),
85    UINT64_C(0xa2e1dd1a5b6e5b06), UINT64_C(0xbf0f57447942fada),
86    UINT64_C(0xee86e0de97859fce), UINT64_C(0xf3686a80b5a93e12),
87    UINT64_C(0xd55bf462d3dcdc76), UINT64_C(0xc8b57e3cf1f07daa),
88    UINT64_C(0xd6e9a7309f3239a7), UINT64_C(0xcb072d6ebd1e987b),
89    UINT64_C(0xed34b38cdb6b7a1f), UINT64_C(0xf0da39d2f947dbc3),
90    UINT64_C(0xa1538e481780bed7), UINT64_C(0xbcbd041635ac1f0b),
91    UINT64_C(0x9a8e9af453d9fd6f), UINT64_C(0x876010aa71f55cb3),
92    UINT64_C(0x399df5c18e573747), UINT64_C(0x24737f9fac7b969b),
93    UINT64_C(0x0240e17dca0e74ff), UINT64_C(0x1fae6b23e822d523),
94    UINT64_C(0x4e27dcb906e5b037), UINT64_C(0x53c956e724c911eb),
95    UINT64_C(0x75fac80542bcf38f), UINT64_C(0x6814425b60905253),
96    UINT64_C(0x9ad9adf912f63ae2), UINT64_C(0x873727a730da9b3e),
97    UINT64_C(0xa104b94556af795a), UINT64_C(0xbcea331b7483d886),
98    UINT64_C(0xed6384819a44bd92), UINT64_C(0xf08d0edfb8681c4e),
99    UINT64_C(0xd6be903dde1dfe2a), UINT64_C(0xcb501a63fc315ff6),
100    UINT64_C(0x75adff0803933402), UINT64_C(0x6843755621bf95de),
101    UINT64_C(0x4e70ebb447ca77ba), UINT64_C(0x539e61ea65e6d666),
102    UINT64_C(0x0217d6708b21b372), UINT64_C(0x1ff95c2ea90d12ae),
103    UINT64_C(0x39cac2cccf78f0ca), UINT64_C(0x24244892ed545116),
104    UINT64_C(0x4e89b2a384ba3f2d), UINT64_C(0x536738fda6969ef1),
105    UINT64_C(0x7554a61fc0e37c95), UINT64_C(0x68ba2c41e2cfdd49),
106    UINT64_C(0x39339bdb0c08b85d), UINT64_C(0x24dd11852e241981),
107    UINT64_C(0x02ee8f674851fbe5), UINT64_C(0x1f0005396a7d5a39),
108    UINT64_C(0xa1fde05295df31cd), UINT64_C(0xbc136a0cb7f39011),
109    UINT64_C(0x9a20f4eed1867275), UINT64_C(0x87ce7eb0f3aad3a9),
110    UINT64_C(0xd647c92a1d6db6bd), UINT64_C(0xcba943743f411761),
111    UINT64_C(0xed9add965934f505), UINT64_C(0xf07457c87b1854d9),
112    UINT64_C(0x02b9b86a097e3c68), UINT64_C(0x1f5732342b529db4),
113    UINT64_C(0x3964acd64d277fd0), UINT64_C(0x248a26886f0bde0c),
114    UINT64_C(0x7503911281ccbb18), UINT64_C(0x68ed1b4ca3e01ac4),
115    UINT64_C(0x4ede85aec595f8a0), UINT64_C(0x53300ff0e7b9597c),
116    UINT64_C(0xedcdea9b181b3288), UINT64_C(0xf02360c53a379354),
117    UINT64_C(0xd610fe275c427130), UINT64_C(0xcbfe74797e6ed0ec),
118    UINT64_C(0x9a77c3e390a9b5f8), UINT64_C(0x879949bdb2851424),
119    UINT64_C(0xa1aad75fd4f0f640), UINT64_C(0xbc445d01f6dc579c),
120    UINT64_C(0x74f1233d072c2a36), UINT64_C(0x691fa96325008bea),
121    UINT64_C(0x4f2c37814375698e), UINT64_C(0x52c2bddf6159c852),
122    UINT64_C(0x034b0a458f9ead46), UINT64_C(0x1ea5801badb20c9a),
123    UINT64_C(0x38961ef9cbc7eefe), UINT64_C(0x257894a7e9eb4f22),
124    UINT64_C(0x9b8571cc164924d6), UINT64_C(0x866bfb923465850a),
125    UINT64_C(0xa05865705210676e), UINT64_C(0xbdb6ef2e703cc6b2),
126    UINT64_C(0xec3f58b49efba3a6), UINT64_C(0xf1d1d2eabcd7027a),
127    UINT64_C(0xd7e24c08daa2e01e), UINT64_C(0xca0cc656f88e41c2),
128    UINT64_C(0x38c129f48ae82973), UINT64_C(0x252fa3aaa8c488af),
129    UINT64_C(0x031c3d48ceb16acb), UINT64_C(0x1ef2b716ec9dcb17),
130    UINT64_C(0x4f7b008c025aae03), UINT64_C(0x52958ad220760fdf),
131    UINT64_C(0x74a614304603edbb), UINT64_C(0x69489e6e642f4c67),
132    UINT64_C(0xd7b57b059b8d2793), UINT64_C(0xca5bf15bb9a1864f),
133    UINT64_C(0xec686fb9dfd4642b), UINT64_C(0xf186e5e7fdf8c5f7),
134    UINT64_C(0xa00f527d133fa0e3), UINT64_C(0xbde1d8233113013f),
135    UINT64_C(0x9bd246c15766e35b), UINT64_C(0x863ccc9f754a4287),
136    UINT64_C(0xec9136ae1ca42cbc), UINT64_C(0xf17fbcf03e888d60),
137    UINT64_C(0xd74c221258fd6f04), UINT64_C(0xcaa2a84c7ad1ced8),
138    UINT64_C(0x9b2b1fd69416abcc), UINT64_C(0x86c59588b63a0a10),
139    UINT64_C(0xa0f60b6ad04fe874), UINT64_C(0xbd188134f26349a8),
140    UINT64_C(0x03e5645f0dc1225c), UINT64_C(0x1e0bee012fed8380),
141    UINT64_C(0x383870e3499861e4), UINT64_C(0x25d6fabd6bb4c038),
142    UINT64_C(0x745f4d278573a52c), UINT64_C(0x69b1c779a75f04f0),
143    UINT64_C(0x4f82599bc12ae694), UINT64_C(0x526cd3c5e3064748),
144    UINT64_C(0xa0a13c6791602ff9), UINT64_C(0xbd4fb639b34c8e25),
145    UINT64_C(0x9b7c28dbd5396c41), UINT64_C(0x8692a285f715cd9d),
146    UINT64_C(0xd71b151f19d2a889), UINT64_C(0xcaf59f413bfe0955),
147    UINT64_C(0xecc601a35d8beb31), UINT64_C(0xf1288bfd7fa74aed),
148    UINT64_C(0x4fd56e9680052119), UINT64_C(0x523be4c8a22980c5),
149    UINT64_C(0x74087a2ac45c62a1), UINT64_C(0x69e6f074e670c37d),
150    UINT64_C(0x386f47ee08b7a669), UINT64_C(0x2581cdb02a9b07b5),
151    UINT64_C(0x03b253524ceee5d1), UINT64_C(0x1e5cd90c6ec2440d)
152  },
153  {
154    UINT64_C(0x0000000000000000), UINT64_C(0x3f0be14a916a6dcb),
155    UINT64_C(0x7e17c29522d4db96), UINT64_C(0x411c23dfb3beb65d),
156    UINT64_C(0xfc2f852a45a9b72c), UINT64_C(0xc3246460d4c3dae7),
157    UINT64_C(0x823847bf677d6cba), UINT64_C(0xbd33a6f5f6170171),
158    UINT64_C(0x6a87a57f245d70dd), UINT64_C(0x558c4435b5371d16),
159    UINT64_C(0x149067ea0689ab4b), UINT64_C(0x2b9b86a097e3c680),
160    UINT64_C(0x96a8205561f4c7f1), UINT64_C(0xa9a3c11ff09eaa3a),
161    UINT64_C(0xe8bfe2c043201c67), UINT64_C(0xd7b4038ad24a71ac),
162    UINT64_C(0xd50f4afe48bae1ba), UINT64_C(0xea04abb4d9d08c71),
163    UINT64_C(0xab18886b6a6e3a2c), UINT64_C(0x94136921fb0457e7),
164    UINT64_C(0x2920cfd40d135696), UINT64_C(0x162b2e9e9c793b5d),
165    UINT64_C(0x57370d412fc78d00), UINT64_C(0x683cec0bbeade0cb),
166    UINT64_C(0xbf88ef816ce79167), UINT64_C(0x80830ecbfd8dfcac),
167    UINT64_C(0xc19f2d144e334af1), UINT64_C(0xfe94cc5edf59273a),
168    UINT64_C(0x43a76aab294e264b), UINT64_C(0x7cac8be1b8244b80),
169    UINT64_C(0x3db0a83e0b9afddd), UINT64_C(0x02bb49749af09016),
170    UINT64_C(0x38c63ad73e7bddf1), UINT64_C(0x07cddb9daf11b03a),
171    UINT64_C(0x46d1f8421caf0667), UINT64_C(0x79da19088dc56bac),
172    UINT64_C(0xc4e9bffd7bd26add), UINT64_C(0xfbe25eb7eab80716),
173    UINT64_C(0xbafe7d685906b14b), UINT64_C(0x85f59c22c86cdc80),
174    UINT64_C(0x52419fa81a26ad2c), UINT64_C(0x6d4a7ee28b4cc0e7),
175    UINT64_C(0x2c565d3d38f276ba), UINT64_C(0x135dbc77a9981b71),
176    UINT64_C(0xae6e1a825f8f1a00), UINT64_C(0x9165fbc8cee577cb),
177    UINT64_C(0xd079d8177d5bc196), UINT64_C(0xef72395dec31ac5d),
178    UINT64_C(0xedc9702976c13c4b), UINT64_C(0xd2c29163e7ab5180),
179    UINT64_C(0x93deb2bc5415e7dd), UINT64_C(0xacd553f6c57f8a16),
180    UINT64_C(0x11e6f50333688b67), UINT64_C(0x2eed1449a202e6ac),
181    UINT64_C(0x6ff1379611bc50f1), UINT64_C(0x50fad6dc80d63d3a),
182    UINT64_C(0x874ed556529c4c96), UINT64_C(0xb845341cc3f6215d),
183    UINT64_C(0xf95917c370489700), UINT64_C(0xc652f689e122facb),
184    UINT64_C(0x7b61507c1735fbba), UINT64_C(0x446ab136865f9671),
185    UINT64_C(0x057692e935e1202c), UINT64_C(0x3a7d73a3a48b4de7),
186    UINT64_C(0x718c75ae7cf7bbe2), UINT64_C(0x4e8794e4ed9dd629),
187    UINT64_C(0x0f9bb73b5e236074), UINT64_C(0x30905671cf490dbf),
188    UINT64_C(0x8da3f084395e0cce), UINT64_C(0xb2a811cea8346105),
189    UINT64_C(0xf3b432111b8ad758), UINT64_C(0xccbfd35b8ae0ba93),
190    UINT64_C(0x1b0bd0d158aacb3f), UINT64_C(0x2400319bc9c0a6f4),
191    UINT64_C(0x651c12447a7e10a9), UINT64_C(0x5a17f30eeb147d62),
192    UINT64_C(0xe72455fb1d037c13), UINT64_C(0xd82fb4b18c6911d8),
193    UINT64_C(0x9933976e3fd7a785), UINT64_C(0xa6387624aebdca4e),
194    UINT64_C(0xa4833f50344d5a58), UINT64_C(0x9b88de1aa5273793),
195    UINT64_C(0xda94fdc5169981ce), UINT64_C(0xe59f1c8f87f3ec05),
196    UINT64_C(0x58acba7a71e4ed74), UINT64_C(0x67a75b30e08e80bf),
197    UINT64_C(0x26bb78ef533036e2), UINT64_C(0x19b099a5c25a5b29),
198    UINT64_C(0xce049a2f10102a85), UINT64_C(0xf10f7b65817a474e),
199    UINT64_C(0xb01358ba32c4f113), UINT64_C(0x8f18b9f0a3ae9cd8),
200    UINT64_C(0x322b1f0555b99da9), UINT64_C(0x0d20fe4fc4d3f062),
201    UINT64_C(0x4c3cdd90776d463f), UINT64_C(0x73373cdae6072bf4),
202    UINT64_C(0x494a4f79428c6613), UINT64_C(0x7641ae33d3e60bd8),
203    UINT64_C(0x375d8dec6058bd85), UINT64_C(0x08566ca6f132d04e),
204    UINT64_C(0xb565ca530725d13f), UINT64_C(0x8a6e2b19964fbcf4),
205    UINT64_C(0xcb7208c625f10aa9), UINT64_C(0xf479e98cb49b6762),
206    UINT64_C(0x23cdea0666d116ce), UINT64_C(0x1cc60b4cf7bb7b05),
207    UINT64_C(0x5dda28934405cd58), UINT64_C(0x62d1c9d9d56fa093),
208    UINT64_C(0xdfe26f2c2378a1e2), UINT64_C(0xe0e98e66b212cc29),
209    UINT64_C(0xa1f5adb901ac7a74), UINT64_C(0x9efe4cf390c617bf),
210    UINT64_C(0x9c4505870a3687a9), UINT64_C(0xa34ee4cd9b5cea62),
211    UINT64_C(0xe252c71228e25c3f), UINT64_C(0xdd592658b98831f4),
212    UINT64_C(0x606a80ad4f9f3085), UINT64_C(0x5f6161e7def55d4e),
213    UINT64_C(0x1e7d42386d4beb13), UINT64_C(0x2176a372fc2186d8),
214    UINT64_C(0xf6c2a0f82e6bf774), UINT64_C(0xc9c941b2bf019abf),
215    UINT64_C(0x88d5626d0cbf2ce2), UINT64_C(0xb7de83279dd54129),
216    UINT64_C(0x0aed25d26bc24058), UINT64_C(0x35e6c498faa82d93),
217    UINT64_C(0x74fae74749169bce), UINT64_C(0x4bf1060dd87cf605),
218    UINT64_C(0xe318eb5cf9ef77c4), UINT64_C(0xdc130a1668851a0f),
219    UINT64_C(0x9d0f29c9db3bac52), UINT64_C(0xa204c8834a51c199),
220    UINT64_C(0x1f376e76bc46c0e8), UINT64_C(0x203c8f3c2d2cad23),
221    UINT64_C(0x6120ace39e921b7e), UINT64_C(0x5e2b4da90ff876b5),
222    UINT64_C(0x899f4e23ddb20719), UINT64_C(0xb694af694cd86ad2),
223    UINT64_C(0xf7888cb6ff66dc8f), UINT64_C(0xc8836dfc6e0cb144),
224    UINT64_C(0x75b0cb09981bb035), UINT64_C(0x4abb2a430971ddfe),
225    UINT64_C(0x0ba7099cbacf6ba3), UINT64_C(0x34ace8d62ba50668),
226    UINT64_C(0x3617a1a2b155967e), UINT64_C(0x091c40e8203ffbb5),
227    UINT64_C(0x4800633793814de8), UINT64_C(0x770b827d02eb2023),
228    UINT64_C(0xca382488f4fc2152), UINT64_C(0xf533c5c265964c99),
229    UINT64_C(0xb42fe61dd628fac4), UINT64_C(0x8b2407574742970f),
230    UINT64_C(0x5c9004dd9508e6a3), UINT64_C(0x639be59704628b68),
231    UINT64_C(0x2287c648b7dc3d35), UINT64_C(0x1d8c270226b650fe),
232    UINT64_C(0xa0bf81f7d0a1518f), UINT64_C(0x9fb460bd41cb3c44),
233    UINT64_C(0xdea84362f2758a19), UINT64_C(0xe1a3a228631fe7d2),
234    UINT64_C(0xdbded18bc794aa35), UINT64_C(0xe4d530c156fec7fe),
235    UINT64_C(0xa5c9131ee54071a3), UINT64_C(0x9ac2f254742a1c68),
236    UINT64_C(0x27f154a1823d1d19), UINT64_C(0x18fab5eb135770d2),
237    UINT64_C(0x59e69634a0e9c68f), UINT64_C(0x66ed777e3183ab44),
238    UINT64_C(0xb15974f4e3c9dae8), UINT64_C(0x8e5295be72a3b723),
239    UINT64_C(0xcf4eb661c11d017e), UINT64_C(0xf045572b50776cb5),
240    UINT64_C(0x4d76f1dea6606dc4), UINT64_C(0x727d1094370a000f),
241    UINT64_C(0x3361334b84b4b652), UINT64_C(0x0c6ad20115dedb99),
242    UINT64_C(0x0ed19b758f2e4b8f), UINT64_C(0x31da7a3f1e442644),
243    UINT64_C(0x70c659e0adfa9019), UINT64_C(0x4fcdb8aa3c90fdd2),
244    UINT64_C(0xf2fe1e5fca87fca3), UINT64_C(0xcdf5ff155bed9168),
245    UINT64_C(0x8ce9dccae8532735), UINT64_C(0xb3e23d8079394afe),
246    UINT64_C(0x64563e0aab733b52), UINT64_C(0x5b5ddf403a195699),
247    UINT64_C(0x1a41fc9f89a7e0c4), UINT64_C(0x254a1dd518cd8d0f),
248    UINT64_C(0x9879bb20eeda8c7e), UINT64_C(0xa7725a6a7fb0e1b5),
249    UINT64_C(0xe66e79b5cc0e57e8), UINT64_C(0xd96598ff5d643a23),
250    UINT64_C(0x92949ef28518cc26), UINT64_C(0xad9f7fb81472a1ed),
251    UINT64_C(0xec835c67a7cc17b0), UINT64_C(0xd388bd2d36a67a7b),
252    UINT64_C(0x6ebb1bd8c0b17b0a), UINT64_C(0x51b0fa9251db16c1),
253    UINT64_C(0x10acd94de265a09c), UINT64_C(0x2fa73807730fcd57),
254    UINT64_C(0xf8133b8da145bcfb), UINT64_C(0xc718dac7302fd130),
255    UINT64_C(0x8604f9188391676d), UINT64_C(0xb90f185212fb0aa6),
256    UINT64_C(0x043cbea7e4ec0bd7), UINT64_C(0x3b375fed7586661c),
257    UINT64_C(0x7a2b7c32c638d041), UINT64_C(0x45209d785752bd8a),
258    UINT64_C(0x479bd40ccda22d9c), UINT64_C(0x789035465cc84057),
259    UINT64_C(0x398c1699ef76f60a), UINT64_C(0x0687f7d37e1c9bc1),
260    UINT64_C(0xbbb45126880b9ab0), UINT64_C(0x84bfb06c1961f77b),
261    UINT64_C(0xc5a393b3aadf4126), UINT64_C(0xfaa872f93bb52ced),
262    UINT64_C(0x2d1c7173e9ff5d41), UINT64_C(0x121790397895308a),
263    UINT64_C(0x530bb3e6cb2b86d7), UINT64_C(0x6c0052ac5a41eb1c),
264    UINT64_C(0xd133f459ac56ea6d), UINT64_C(0xee3815133d3c87a6),
265    UINT64_C(0xaf2436cc8e8231fb), UINT64_C(0x902fd7861fe85c30),
266    UINT64_C(0xaa52a425bb6311d7), UINT64_C(0x9559456f2a097c1c),
267    UINT64_C(0xd44566b099b7ca41), UINT64_C(0xeb4e87fa08dda78a),
268    UINT64_C(0x567d210ffecaa6fb), UINT64_C(0x6976c0456fa0cb30),
269    UINT64_C(0x286ae39adc1e7d6d), UINT64_C(0x176102d04d7410a6),
270    UINT64_C(0xc0d5015a9f3e610a), UINT64_C(0xffdee0100e540cc1),
271    UINT64_C(0xbec2c3cfbdeaba9c), UINT64_C(0x81c922852c80d757),
272    UINT64_C(0x3cfa8470da97d626), UINT64_C(0x03f1653a4bfdbbed),
273    UINT64_C(0x42ed46e5f8430db0), UINT64_C(0x7de6a7af6929607b),
274    UINT64_C(0x7f5deedbf3d9f06d), UINT64_C(0x40560f9162b39da6),
275    UINT64_C(0x014a2c4ed10d2bfb), UINT64_C(0x3e41cd0440674630),
276    UINT64_C(0x83726bf1b6704741), UINT64_C(0xbc798abb271a2a8a),
277    UINT64_C(0xfd65a96494a49cd7), UINT64_C(0xc26e482e05cef11c),
278    UINT64_C(0x15da4ba4d78480b0), UINT64_C(0x2ad1aaee46eeed7b),
279    UINT64_C(0x6bcd8931f5505b26), UINT64_C(0x54c6687b643a36ed),
280    UINT64_C(0xe9f5ce8e922d379c), UINT64_C(0xd6fe2fc403475a57),
281    UINT64_C(0x97e20c1bb0f9ec0a), UINT64_C(0xa8e9ed51219381c1)
282  },
283  {
284    UINT64_C(0x0000000000000000), UINT64_C(0x54e979925cd0f10d),
285    UINT64_C(0xa9d2f324b9a1e21a), UINT64_C(0xfd3b8ab6e5711317),
286    UINT64_C(0xc17d4962dc4ddab1), UINT64_C(0x959430f0809d2bbc),
287    UINT64_C(0x68afba4665ec38ab), UINT64_C(0x3c46c3d4393cc9a6),
288    UINT64_C(0x10223dee1795abe7), UINT64_C(0x44cb447c4b455aea),
289    UINT64_C(0xb9f0cecaae3449fd), UINT64_C(0xed19b758f2e4b8f0),
290    UINT64_C(0xd15f748ccbd87156), UINT64_C(0x85b60d1e9708805b),
291    UINT64_C(0x788d87a87279934c), UINT64_C(0x2c64fe3a2ea96241),
292    UINT64_C(0x20447bdc2f2b57ce), UINT64_C(0x74ad024e73fba6c3),
293    UINT64_C(0x899688f8968ab5d4), UINT64_C(0xdd7ff16aca5a44d9),
294    UINT64_C(0xe13932bef3668d7f), UINT64_C(0xb5d04b2cafb67c72),
295    UINT64_C(0x48ebc19a4ac76f65), UINT64_C(0x1c02b80816179e68),
296    UINT64_C(0x3066463238befc29), UINT64_C(0x648f3fa0646e0d24),
297    UINT64_C(0x99b4b516811f1e33), UINT64_C(0xcd5dcc84ddcfef3e),
298    UINT64_C(0xf11b0f50e4f32698), UINT64_C(0xa5f276c2b823d795),
299    UINT64_C(0x58c9fc745d52c482), UINT64_C(0x0c2085e60182358f),
300    UINT64_C(0x4088f7b85e56af9c), UINT64_C(0x14618e2a02865e91),
301    UINT64_C(0xe95a049ce7f74d86), UINT64_C(0xbdb37d0ebb27bc8b),
302    UINT64_C(0x81f5beda821b752d), UINT64_C(0xd51cc748decb8420),
303    UINT64_C(0x28274dfe3bba9737), UINT64_C(0x7cce346c676a663a),
304    UINT64_C(0x50aaca5649c3047b), UINT64_C(0x0443b3c41513f576),
305    UINT64_C(0xf9783972f062e661), UINT64_C(0xad9140e0acb2176c),
306    UINT64_C(0x91d78334958edeca), UINT64_C(0xc53efaa6c95e2fc7),
307    UINT64_C(0x380570102c2f3cd0), UINT64_C(0x6cec098270ffcddd),
308    UINT64_C(0x60cc8c64717df852), UINT64_C(0x3425f5f62dad095f),
309    UINT64_C(0xc91e7f40c8dc1a48), UINT64_C(0x9df706d2940ceb45),
310    UINT64_C(0xa1b1c506ad3022e3), UINT64_C(0xf558bc94f1e0d3ee),
311    UINT64_C(0x086336221491c0f9), UINT64_C(0x5c8a4fb0484131f4),
312    UINT64_C(0x70eeb18a66e853b5), UINT64_C(0x2407c8183a38a2b8),
313    UINT64_C(0xd93c42aedf49b1af), UINT64_C(0x8dd53b3c839940a2),
314    UINT64_C(0xb193f8e8baa58904), UINT64_C(0xe57a817ae6757809),
315    UINT64_C(0x18410bcc03046b1e), UINT64_C(0x4ca8725e5fd49a13),
316    UINT64_C(0x8111ef70bcad5f38), UINT64_C(0xd5f896e2e07dae35),
317    UINT64_C(0x28c31c54050cbd22), UINT64_C(0x7c2a65c659dc4c2f),
318    UINT64_C(0x406ca61260e08589), UINT64_C(0x1485df803c307484),
319    UINT64_C(0xe9be5536d9416793), UINT64_C(0xbd572ca48591969e),
320    UINT64_C(0x9133d29eab38f4df), UINT64_C(0xc5daab0cf7e805d2),
321    UINT64_C(0x38e121ba129916c5), UINT64_C(0x6c0858284e49e7c8),
322    UINT64_C(0x504e9bfc77752e6e), UINT64_C(0x04a7e26e2ba5df63),
323    UINT64_C(0xf99c68d8ced4cc74), UINT64_C(0xad75114a92043d79),
324    UINT64_C(0xa15594ac938608f6), UINT64_C(0xf5bced3ecf56f9fb),
325    UINT64_C(0x088767882a27eaec), UINT64_C(0x5c6e1e1a76f71be1),
326    UINT64_C(0x6028ddce4fcbd247), UINT64_C(0x34c1a45c131b234a),
327    UINT64_C(0xc9fa2eeaf66a305d), UINT64_C(0x9d135778aabac150),
328    UINT64_C(0xb177a9428413a311), UINT64_C(0xe59ed0d0d8c3521c),
329    UINT64_C(0x18a55a663db2410b), UINT64_C(0x4c4c23f46162b006),
330    UINT64_C(0x700ae020585e79a0), UINT64_C(0x24e399b2048e88ad),
331    UINT64_C(0xd9d81304e1ff9bba), UINT64_C(0x8d316a96bd2f6ab7),
332    UINT64_C(0xc19918c8e2fbf0a4), UINT64_C(0x9570615abe2b01a9),
333    UINT64_C(0x684bebec5b5a12be), UINT64_C(0x3ca2927e078ae3b3),
334    UINT64_C(0x00e451aa3eb62a15), UINT64_C(0x540d28386266db18),
335    UINT64_C(0xa936a28e8717c80f), UINT64_C(0xfddfdb1cdbc73902),
336    UINT64_C(0xd1bb2526f56e5b43), UINT64_C(0x85525cb4a9beaa4e),
337    UINT64_C(0x7869d6024ccfb959), UINT64_C(0x2c80af90101f4854),
338    UINT64_C(0x10c66c44292381f2), UINT64_C(0x442f15d675f370ff),
339    UINT64_C(0xb9149f60908263e8), UINT64_C(0xedfde6f2cc5292e5),
340    UINT64_C(0xe1dd6314cdd0a76a), UINT64_C(0xb5341a8691005667),
341    UINT64_C(0x480f903074714570), UINT64_C(0x1ce6e9a228a1b47d),
342    UINT64_C(0x20a02a76119d7ddb), UINT64_C(0x744953e44d4d8cd6),
343    UINT64_C(0x8972d952a83c9fc1), UINT64_C(0xdd9ba0c0f4ec6ecc),
344    UINT64_C(0xf1ff5efada450c8d), UINT64_C(0xa51627688695fd80),
345    UINT64_C(0x582dadde63e4ee97), UINT64_C(0x0cc4d44c3f341f9a),
346    UINT64_C(0x308217980608d63c), UINT64_C(0x646b6e0a5ad82731),
347    UINT64_C(0x9950e4bcbfa93426), UINT64_C(0xcdb99d2ee379c52b),
348    UINT64_C(0x90fb71cad654a0f5), UINT64_C(0xc41208588a8451f8),
349    UINT64_C(0x392982ee6ff542ef), UINT64_C(0x6dc0fb7c3325b3e2),
350    UINT64_C(0x518638a80a197a44), UINT64_C(0x056f413a56c98b49),
351    UINT64_C(0xf854cb8cb3b8985e), UINT64_C(0xacbdb21eef686953),
352    UINT64_C(0x80d94c24c1c10b12), UINT64_C(0xd43035b69d11fa1f),
353    UINT64_C(0x290bbf007860e908), UINT64_C(0x7de2c69224b01805),
354    UINT64_C(0x41a405461d8cd1a3), UINT64_C(0x154d7cd4415c20ae),
355    UINT64_C(0xe876f662a42d33b9), UINT64_C(0xbc9f8ff0f8fdc2b4),
356    UINT64_C(0xb0bf0a16f97ff73b), UINT64_C(0xe4567384a5af0636),
357    UINT64_C(0x196df93240de1521), UINT64_C(0x4d8480a01c0ee42c),
358    UINT64_C(0x71c2437425322d8a), UINT64_C(0x252b3ae679e2dc87),
359    UINT64_C(0xd810b0509c93cf90), UINT64_C(0x8cf9c9c2c0433e9d),
360    UINT64_C(0xa09d37f8eeea5cdc), UINT64_C(0xf4744e6ab23aadd1),
361    UINT64_C(0x094fc4dc574bbec6), UINT64_C(0x5da6bd4e0b9b4fcb),
362    UINT64_C(0x61e07e9a32a7866d), UINT64_C(0x350907086e777760),
363    UINT64_C(0xc8328dbe8b066477), UINT64_C(0x9cdbf42cd7d6957a),
364    UINT64_C(0xd073867288020f69), UINT64_C(0x849affe0d4d2fe64),
365    UINT64_C(0x79a1755631a3ed73), UINT64_C(0x2d480cc46d731c7e),
366    UINT64_C(0x110ecf10544fd5d8), UINT64_C(0x45e7b682089f24d5),
367    UINT64_C(0xb8dc3c34edee37c2), UINT64_C(0xec3545a6b13ec6cf),
368    UINT64_C(0xc051bb9c9f97a48e), UINT64_C(0x94b8c20ec3475583),
369    UINT64_C(0x698348b826364694), UINT64_C(0x3d6a312a7ae6b799),
370    UINT64_C(0x012cf2fe43da7e3f), UINT64_C(0x55c58b6c1f0a8f32),
371    UINT64_C(0xa8fe01dafa7b9c25), UINT64_C(0xfc177848a6ab6d28),
372    UINT64_C(0xf037fdaea72958a7), UINT64_C(0xa4de843cfbf9a9aa),
373    UINT64_C(0x59e50e8a1e88babd), UINT64_C(0x0d0c771842584bb0),
374    UINT64_C(0x314ab4cc7b648216), UINT64_C(0x65a3cd5e27b4731b),
375    UINT64_C(0x989847e8c2c5600c), UINT64_C(0xcc713e7a9e159101),
376    UINT64_C(0xe015c040b0bcf340), UINT64_C(0xb4fcb9d2ec6c024d),
377    UINT64_C(0x49c73364091d115a), UINT64_C(0x1d2e4af655cde057),
378    UINT64_C(0x216889226cf129f1), UINT64_C(0x7581f0b03021d8fc),
379    UINT64_C(0x88ba7a06d550cbeb), UINT64_C(0xdc53039489803ae6),
380    UINT64_C(0x11ea9eba6af9ffcd), UINT64_C(0x4503e72836290ec0),
381    UINT64_C(0xb8386d9ed3581dd7), UINT64_C(0xecd1140c8f88ecda),
382    UINT64_C(0xd097d7d8b6b4257c), UINT64_C(0x847eae4aea64d471),
383    UINT64_C(0x794524fc0f15c766), UINT64_C(0x2dac5d6e53c5366b),
384    UINT64_C(0x01c8a3547d6c542a), UINT64_C(0x5521dac621bca527),
385    UINT64_C(0xa81a5070c4cdb630), UINT64_C(0xfcf329e2981d473d),
386    UINT64_C(0xc0b5ea36a1218e9b), UINT64_C(0x945c93a4fdf17f96),
387    UINT64_C(0x6967191218806c81), UINT64_C(0x3d8e608044509d8c),
388    UINT64_C(0x31aee56645d2a803), UINT64_C(0x65479cf41902590e),
389    UINT64_C(0x987c1642fc734a19), UINT64_C(0xcc956fd0a0a3bb14),
390    UINT64_C(0xf0d3ac04999f72b2), UINT64_C(0xa43ad596c54f83bf),
391    UINT64_C(0x59015f20203e90a8), UINT64_C(0x0de826b27cee61a5),
392    UINT64_C(0x218cd888524703e4), UINT64_C(0x7565a11a0e97f2e9),
393    UINT64_C(0x885e2bacebe6e1fe), UINT64_C(0xdcb7523eb73610f3),
394    UINT64_C(0xe0f191ea8e0ad955), UINT64_C(0xb418e878d2da2858),
395    UINT64_C(0x492362ce37ab3b4f), UINT64_C(0x1dca1b5c6b7bca42),
396    UINT64_C(0x5162690234af5051), UINT64_C(0x058b1090687fa15c),
397    UINT64_C(0xf8b09a268d0eb24b), UINT64_C(0xac59e3b4d1de4346),
398    UINT64_C(0x901f2060e8e28ae0), UINT64_C(0xc4f659f2b4327bed),
399    UINT64_C(0x39cdd344514368fa), UINT64_C(0x6d24aad60d9399f7),
400    UINT64_C(0x414054ec233afbb6), UINT64_C(0x15a92d7e7fea0abb),
401    UINT64_C(0xe892a7c89a9b19ac), UINT64_C(0xbc7bde5ac64be8a1),
402    UINT64_C(0x803d1d8eff772107), UINT64_C(0xd4d4641ca3a7d00a),
403    UINT64_C(0x29efeeaa46d6c31d), UINT64_C(0x7d0697381a063210),
404    UINT64_C(0x712612de1b84079f), UINT64_C(0x25cf6b4c4754f692),
405    UINT64_C(0xd8f4e1faa225e585), UINT64_C(0x8c1d9868fef51488),
406    UINT64_C(0xb05b5bbcc7c9dd2e), UINT64_C(0xe4b2222e9b192c23),
407    UINT64_C(0x1989a8987e683f34), UINT64_C(0x4d60d10a22b8ce39),
408    UINT64_C(0x61042f300c11ac78), UINT64_C(0x35ed56a250c15d75),
409    UINT64_C(0xc8d6dc14b5b04e62), UINT64_C(0x9c3fa586e960bf6f),
410    UINT64_C(0xa0796652d05c76c9), UINT64_C(0xf4901fc08c8c87c4),
411    UINT64_C(0x09ab957669fd94d3), UINT64_C(0x5d42ece4352d65de)
412  },
413  {
414    UINT64_C(0x0000000000000000), UINT64_C(0xb32e4cbe03a75f6f),
415    UINT64_C(0xf4843657a840a05b), UINT64_C(0x47aa7ae9abe7ff34),
416    UINT64_C(0x7bd0c384ff8f5e33), UINT64_C(0xc8fe8f3afc28015c),
417    UINT64_C(0x8f54f5d357cffe68), UINT64_C(0x3c7ab96d5468a107),
418    UINT64_C(0xf7a18709ff1ebc66), UINT64_C(0x448fcbb7fcb9e309),
419    UINT64_C(0x0325b15e575e1c3d), UINT64_C(0xb00bfde054f94352),
420    UINT64_C(0x8c71448d0091e255), UINT64_C(0x3f5f08330336bd3a),
421    UINT64_C(0x78f572daa8d1420e), UINT64_C(0xcbdb3e64ab761d61),
422    UINT64_C(0x7d9ba13851336649), UINT64_C(0xceb5ed8652943926),
423    UINT64_C(0x891f976ff973c612), UINT64_C(0x3a31dbd1fad4997d),
424    UINT64_C(0x064b62bcaebc387a), UINT64_C(0xb5652e02ad1b6715),
425    UINT64_C(0xf2cf54eb06fc9821), UINT64_C(0x41e11855055bc74e),
426    UINT64_C(0x8a3a2631ae2dda2f), UINT64_C(0x39146a8fad8a8540),
427    UINT64_C(0x7ebe1066066d7a74), UINT64_C(0xcd905cd805ca251b),
428    UINT64_C(0xf1eae5b551a2841c), UINT64_C(0x42c4a90b5205db73),
429    UINT64_C(0x056ed3e2f9e22447), UINT64_C(0xb6409f5cfa457b28),
430    UINT64_C(0xfb374270a266cc92), UINT64_C(0x48190ecea1c193fd),
431    UINT64_C(0x0fb374270a266cc9), UINT64_C(0xbc9d3899098133a6),
432    UINT64_C(0x80e781f45de992a1), UINT64_C(0x33c9cd4a5e4ecdce),
433    UINT64_C(0x7463b7a3f5a932fa), UINT64_C(0xc74dfb1df60e6d95),
434    UINT64_C(0x0c96c5795d7870f4), UINT64_C(0xbfb889c75edf2f9b),
435    UINT64_C(0xf812f32ef538d0af), UINT64_C(0x4b3cbf90f69f8fc0),
436    UINT64_C(0x774606fda2f72ec7), UINT64_C(0xc4684a43a15071a8),
437    UINT64_C(0x83c230aa0ab78e9c), UINT64_C(0x30ec7c140910d1f3),
438    UINT64_C(0x86ace348f355aadb), UINT64_C(0x3582aff6f0f2f5b4),
439    UINT64_C(0x7228d51f5b150a80), UINT64_C(0xc10699a158b255ef),
440    UINT64_C(0xfd7c20cc0cdaf4e8), UINT64_C(0x4e526c720f7dab87),
441    UINT64_C(0x09f8169ba49a54b3), UINT64_C(0xbad65a25a73d0bdc),
442    UINT64_C(0x710d64410c4b16bd), UINT64_C(0xc22328ff0fec49d2),
443    UINT64_C(0x85895216a40bb6e6), UINT64_C(0x36a71ea8a7ace989),
444    UINT64_C(0x0adda7c5f3c4488e), UINT64_C(0xb9f3eb7bf06317e1),
445    UINT64_C(0xfe5991925b84e8d5), UINT64_C(0x4d77dd2c5823b7ba),
446    UINT64_C(0x64b62bcaebc387a1), UINT64_C(0xd7986774e864d8ce),
447    UINT64_C(0x90321d9d438327fa), UINT64_C(0x231c512340247895),
448    UINT64_C(0x1f66e84e144cd992), UINT64_C(0xac48a4f017eb86fd),
449    UINT64_C(0xebe2de19bc0c79c9), UINT64_C(0x58cc92a7bfab26a6),
450    UINT64_C(0x9317acc314dd3bc7), UINT64_C(0x2039e07d177a64a8),
451    UINT64_C(0x67939a94bc9d9b9c), UINT64_C(0xd4bdd62abf3ac4f3),
452    UINT64_C(0xe8c76f47eb5265f4), UINT64_C(0x5be923f9e8f53a9b),
453    UINT64_C(0x1c4359104312c5af), UINT64_C(0xaf6d15ae40b59ac0),
454    UINT64_C(0x192d8af2baf0e1e8), UINT64_C(0xaa03c64cb957be87),
455    UINT64_C(0xeda9bca512b041b3), UINT64_C(0x5e87f01b11171edc),
456    UINT64_C(0x62fd4976457fbfdb), UINT64_C(0xd1d305c846d8e0b4),
457    UINT64_C(0x96797f21ed3f1f80), UINT64_C(0x2557339fee9840ef),
458    UINT64_C(0xee8c0dfb45ee5d8e), UINT64_C(0x5da24145464902e1),
459    UINT64_C(0x1a083bacedaefdd5), UINT64_C(0xa9267712ee09a2ba),
460    UINT64_C(0x955cce7fba6103bd), UINT64_C(0x267282c1b9c65cd2),
461    UINT64_C(0x61d8f8281221a3e6), UINT64_C(0xd2f6b4961186fc89),
462    UINT64_C(0x9f8169ba49a54b33), UINT64_C(0x2caf25044a02145c),
463    UINT64_C(0x6b055fede1e5eb68), UINT64_C(0xd82b1353e242b407),
464    UINT64_C(0xe451aa3eb62a1500), UINT64_C(0x577fe680b58d4a6f),
465    UINT64_C(0x10d59c691e6ab55b), UINT64_C(0xa3fbd0d71dcdea34),
466    UINT64_C(0x6820eeb3b6bbf755), UINT64_C(0xdb0ea20db51ca83a),
467    UINT64_C(0x9ca4d8e41efb570e), UINT64_C(0x2f8a945a1d5c0861),
468    UINT64_C(0x13f02d374934a966), UINT64_C(0xa0de61894a93f609),
469    UINT64_C(0xe7741b60e174093d), UINT64_C(0x545a57dee2d35652),
470    UINT64_C(0xe21ac88218962d7a), UINT64_C(0x5134843c1b317215),
471    UINT64_C(0x169efed5b0d68d21), UINT64_C(0xa5b0b26bb371d24e),
472    UINT64_C(0x99ca0b06e7197349), UINT64_C(0x2ae447b8e4be2c26),
473    UINT64_C(0x6d4e3d514f59d312), UINT64_C(0xde6071ef4cfe8c7d),
474    UINT64_C(0x15bb4f8be788911c), UINT64_C(0xa6950335e42fce73),
475    UINT64_C(0xe13f79dc4fc83147), UINT64_C(0x521135624c6f6e28),
476    UINT64_C(0x6e6b8c0f1807cf2f), UINT64_C(0xdd45c0b11ba09040),
477    UINT64_C(0x9aefba58b0476f74), UINT64_C(0x29c1f6e6b3e0301b),
478    UINT64_C(0xc96c5795d7870f42), UINT64_C(0x7a421b2bd420502d),
479    UINT64_C(0x3de861c27fc7af19), UINT64_C(0x8ec62d7c7c60f076),
480    UINT64_C(0xb2bc941128085171), UINT64_C(0x0192d8af2baf0e1e),
481    UINT64_C(0x4638a2468048f12a), UINT64_C(0xf516eef883efae45),
482    UINT64_C(0x3ecdd09c2899b324), UINT64_C(0x8de39c222b3eec4b),
483    UINT64_C(0xca49e6cb80d9137f), UINT64_C(0x7967aa75837e4c10),
484    UINT64_C(0x451d1318d716ed17), UINT64_C(0xf6335fa6d4b1b278),
485    UINT64_C(0xb199254f7f564d4c), UINT64_C(0x02b769f17cf11223),
486    UINT64_C(0xb4f7f6ad86b4690b), UINT64_C(0x07d9ba1385133664),
487    UINT64_C(0x4073c0fa2ef4c950), UINT64_C(0xf35d8c442d53963f),
488    UINT64_C(0xcf273529793b3738), UINT64_C(0x7c0979977a9c6857),
489    UINT64_C(0x3ba3037ed17b9763), UINT64_C(0x888d4fc0d2dcc80c),
490    UINT64_C(0x435671a479aad56d), UINT64_C(0xf0783d1a7a0d8a02),
491    UINT64_C(0xb7d247f3d1ea7536), UINT64_C(0x04fc0b4dd24d2a59),
492    UINT64_C(0x3886b22086258b5e), UINT64_C(0x8ba8fe9e8582d431),
493    UINT64_C(0xcc0284772e652b05), UINT64_C(0x7f2cc8c92dc2746a),
494    UINT64_C(0x325b15e575e1c3d0), UINT64_C(0x8175595b76469cbf),
495    UINT64_C(0xc6df23b2dda1638b), UINT64_C(0x75f16f0cde063ce4),
496    UINT64_C(0x498bd6618a6e9de3), UINT64_C(0xfaa59adf89c9c28c),
497    UINT64_C(0xbd0fe036222e3db8), UINT64_C(0x0e21ac88218962d7),
498    UINT64_C(0xc5fa92ec8aff7fb6), UINT64_C(0x76d4de52895820d9),
499    UINT64_C(0x317ea4bb22bfdfed), UINT64_C(0x8250e80521188082),
500    UINT64_C(0xbe2a516875702185), UINT64_C(0x0d041dd676d77eea),
501    UINT64_C(0x4aae673fdd3081de), UINT64_C(0xf9802b81de97deb1),
502    UINT64_C(0x4fc0b4dd24d2a599), UINT64_C(0xfceef8632775faf6),
503    UINT64_C(0xbb44828a8c9205c2), UINT64_C(0x086ace348f355aad),
504    UINT64_C(0x34107759db5dfbaa), UINT64_C(0x873e3be7d8faa4c5),
505    UINT64_C(0xc094410e731d5bf1), UINT64_C(0x73ba0db070ba049e),
506    UINT64_C(0xb86133d4dbcc19ff), UINT64_C(0x0b4f7f6ad86b4690),
507    UINT64_C(0x4ce50583738cb9a4), UINT64_C(0xffcb493d702be6cb),
508    UINT64_C(0xc3b1f050244347cc), UINT64_C(0x709fbcee27e418a3),
509    UINT64_C(0x3735c6078c03e797), UINT64_C(0x841b8ab98fa4b8f8),
510    UINT64_C(0xadda7c5f3c4488e3), UINT64_C(0x1ef430e13fe3d78c),
511    UINT64_C(0x595e4a08940428b8), UINT64_C(0xea7006b697a377d7),
512    UINT64_C(0xd60abfdbc3cbd6d0), UINT64_C(0x6524f365c06c89bf),
513    UINT64_C(0x228e898c6b8b768b), UINT64_C(0x91a0c532682c29e4),
514    UINT64_C(0x5a7bfb56c35a3485), UINT64_C(0xe955b7e8c0fd6bea),
515    UINT64_C(0xaeffcd016b1a94de), UINT64_C(0x1dd181bf68bdcbb1),
516    UINT64_C(0x21ab38d23cd56ab6), UINT64_C(0x9285746c3f7235d9),
517    UINT64_C(0xd52f0e859495caed), UINT64_C(0x6601423b97329582),
518    UINT64_C(0xd041dd676d77eeaa), UINT64_C(0x636f91d96ed0b1c5),
519    UINT64_C(0x24c5eb30c5374ef1), UINT64_C(0x97eba78ec690119e),
520    UINT64_C(0xab911ee392f8b099), UINT64_C(0x18bf525d915feff6),
521    UINT64_C(0x5f1528b43ab810c2), UINT64_C(0xec3b640a391f4fad),
522    UINT64_C(0x27e05a6e926952cc), UINT64_C(0x94ce16d091ce0da3),
523    UINT64_C(0xd3646c393a29f297), UINT64_C(0x604a2087398eadf8),
524    UINT64_C(0x5c3099ea6de60cff), UINT64_C(0xef1ed5546e415390),
525    UINT64_C(0xa8b4afbdc5a6aca4), UINT64_C(0x1b9ae303c601f3cb),
526    UINT64_C(0x56ed3e2f9e224471), UINT64_C(0xe5c372919d851b1e),
527    UINT64_C(0xa26908783662e42a), UINT64_C(0x114744c635c5bb45),
528    UINT64_C(0x2d3dfdab61ad1a42), UINT64_C(0x9e13b115620a452d),
529    UINT64_C(0xd9b9cbfcc9edba19), UINT64_C(0x6a978742ca4ae576),
530    UINT64_C(0xa14cb926613cf817), UINT64_C(0x1262f598629ba778),
531    UINT64_C(0x55c88f71c97c584c), UINT64_C(0xe6e6c3cfcadb0723),
532    UINT64_C(0xda9c7aa29eb3a624), UINT64_C(0x69b2361c9d14f94b),
533    UINT64_C(0x2e184cf536f3067f), UINT64_C(0x9d36004b35545910),
534    UINT64_C(0x2b769f17cf112238), UINT64_C(0x9858d3a9ccb67d57),
535    UINT64_C(0xdff2a94067518263), UINT64_C(0x6cdce5fe64f6dd0c),
536    UINT64_C(0x50a65c93309e7c0b), UINT64_C(0xe388102d33392364),
537    UINT64_C(0xa4226ac498dedc50), UINT64_C(0x170c267a9b79833f),
538    UINT64_C(0xdcd7181e300f9e5e), UINT64_C(0x6ff954a033a8c131),
539    UINT64_C(0x28532e49984f3e05), UINT64_C(0x9b7d62f79be8616a),
540    UINT64_C(0xa707db9acf80c06d), UINT64_C(0x14299724cc279f02),
541    UINT64_C(0x5383edcd67c06036), UINT64_C(0xe0ada17364673f59)
542  }
543};
544
545static const uint64_t crc64_interleaved_table[4][256] = {
546  {
547    UINT64_C(0x0000000000000000), UINT64_C(0xe88a0d0c5521de3d),
548    UINT64_C(0x43ccb533054da2ff), UINT64_C(0xab46b83f506c7cc2),
549    UINT64_C(0x87996a660a9b45fe), UINT64_C(0x6f13676a5fba9bc3),
550    UINT64_C(0xc455df550fd6e701), UINT64_C(0x2cdfd2595af7393c),
551    UINT64_C(0x9dea7be7ba389579), UINT64_C(0x756076ebef194b44),
552    UINT64_C(0xde26ced4bf753786), UINT64_C(0x36acc3d8ea54e9bb),
553    UINT64_C(0x1a731181b0a3d087), UINT64_C(0xf2f91c8de5820eba),
554    UINT64_C(0x59bfa4b2b5ee7278), UINT64_C(0xb135a9bee0cfac45),
555    UINT64_C(0xa90c58e4db7f3477), UINT64_C(0x418655e88e5eea4a),
556    UINT64_C(0xeac0edd7de329688), UINT64_C(0x024ae0db8b1348b5),
557    UINT64_C(0x2e953282d1e47189), UINT64_C(0xc61f3f8e84c5afb4),
558    UINT64_C(0x6d5987b1d4a9d376), UINT64_C(0x85d38abd81880d4b),
559    UINT64_C(0x34e623036147a10e), UINT64_C(0xdc6c2e0f34667f33),
560    UINT64_C(0x772a9630640a03f1), UINT64_C(0x9fa09b3c312bddcc),
561    UINT64_C(0xb37f49656bdce4f0), UINT64_C(0x5bf544693efd3acd),
562    UINT64_C(0xf0b3fc566e91460f), UINT64_C(0x1839f15a3bb09832),
563    UINT64_C(0xc0c01ee219f0766b), UINT64_C(0x284a13ee4cd1a856),
564    UINT64_C(0x830cabd11cbdd494), UINT64_C(0x6b86a6dd499c0aa9),
565    UINT64_C(0x47597484136b3395), UINT64_C(0xafd37988464aeda8),
566    UINT64_C(0x0495c1b71626916a), UINT64_C(0xec1fccbb43074f57),
567    UINT64_C(0x5d2a6505a3c8e312), UINT64_C(0xb5a06809f6e93d2f),
568    UINT64_C(0x1ee6d036a68541ed), UINT64_C(0xf66cdd3af3a49fd0),
569    UINT64_C(0xdab30f63a953a6ec), UINT64_C(0x3239026ffc7278d1),
570    UINT64_C(0x997fba50ac1e0413), UINT64_C(0x71f5b75cf93fda2e),
571    UINT64_C(0x69cc4606c28f421c), UINT64_C(0x81464b0a97ae9c21),
572    UINT64_C(0x2a00f335c7c2e0e3), UINT64_C(0xc28afe3992e33ede),
573    UINT64_C(0xee552c60c81407e2), UINT64_C(0x06df216c9d35d9df),
574    UINT64_C(0xad999953cd59a51d), UINT64_C(0x4513945f98787b20),
575    UINT64_C(0xf4263de178b7d765), UINT64_C(0x1cac30ed2d960958),
576    UINT64_C(0xb7ea88d27dfa759a), UINT64_C(0x5f6085de28dbaba7),
577    UINT64_C(0x73bf5787722c929b), UINT64_C(0x9b355a8b270d4ca6),
578    UINT64_C(0x3073e2b477613064), UINT64_C(0xd8f9efb82240ee59),
579    UINT64_C(0x135892ef9ceef253), UINT64_C(0xfbd29fe3c9cf2c6e),
580    UINT64_C(0x509427dc99a350ac), UINT64_C(0xb81e2ad0cc828e91),
581    UINT64_C(0x94c1f8899675b7ad), UINT64_C(0x7c4bf585c3546990),
582    UINT64_C(0xd70d4dba93381552), UINT64_C(0x3f8740b6c619cb6f),
583    UINT64_C(0x8eb2e90826d6672a), UINT64_C(0x6638e40473f7b917),
584    UINT64_C(0xcd7e5c3b239bc5d5), UINT64_C(0x25f4513776ba1be8),
585    UINT64_C(0x092b836e2c4d22d4), UINT64_C(0xe1a18e62796cfce9),
586    UINT64_C(0x4ae7365d2900802b), UINT64_C(0xa26d3b517c215e16),
587    UINT64_C(0xba54ca0b4791c624), UINT64_C(0x52dec70712b01819),
588    UINT64_C(0xf9987f3842dc64db), UINT64_C(0x1112723417fdbae6),
589    UINT64_C(0x3dcda06d4d0a83da), UINT64_C(0xd547ad61182b5de7),
590    UINT64_C(0x7e01155e48472125), UINT64_C(0x968b18521d66ff18),
591    UINT64_C(0x27beb1ecfda9535d), UINT64_C(0xcf34bce0a8888d60),
592    UINT64_C(0x647204dff8e4f1a2), UINT64_C(0x8cf809d3adc52f9f),
593    UINT64_C(0xa027db8af73216a3), UINT64_C(0x48add686a213c89e),
594    UINT64_C(0xe3eb6eb9f27fb45c), UINT64_C(0x0b6163b5a75e6a61),
595    UINT64_C(0xd3988c0d851e8438), UINT64_C(0x3b128101d03f5a05),
596    UINT64_C(0x9054393e805326c7), UINT64_C(0x78de3432d572f8fa),
597    UINT64_C(0x5401e66b8f85c1c6), UINT64_C(0xbc8beb67daa41ffb),
598    UINT64_C(0x17cd53588ac86339), UINT64_C(0xff475e54dfe9bd04),
599    UINT64_C(0x4e72f7ea3f261141), UINT64_C(0xa6f8fae66a07cf7c),
600    UINT64_C(0x0dbe42d93a6bb3be), UINT64_C(0xe5344fd56f4a6d83),
601    UINT64_C(0xc9eb9d8c35bd54bf), UINT64_C(0x21619080609c8a82),
602    UINT64_C(0x8a2728bf30f0f640), UINT64_C(0x62ad25b365d1287d),
603    UINT64_C(0x7a94d4e95e61b04f), UINT64_C(0x921ed9e50b406e72),
604    UINT64_C(0x395861da5b2c12b0), UINT64_C(0xd1d26cd60e0dcc8d),
605    UINT64_C(0xfd0dbe8f54faf5b1), UINT64_C(0x1587b38301db2b8c),
606    UINT64_C(0xbec10bbc51b7574e), UINT64_C(0x564b06b004968973),
607    UINT64_C(0xe77eaf0ee4592536), UINT64_C(0x0ff4a202b178fb0b),
608    UINT64_C(0xa4b21a3de11487c9), UINT64_C(0x4c381731b43559f4),
609    UINT64_C(0x60e7c568eec260c8), UINT64_C(0x886dc864bbe3bef5),
610    UINT64_C(0x232b705beb8fc237), UINT64_C(0xcba17d57beae1c0a),
611    UINT64_C(0x26b125df39dde4a6), UINT64_C(0xce3b28d36cfc3a9b),
612    UINT64_C(0x657d90ec3c904659), UINT64_C(0x8df79de069b19864),
613    UINT64_C(0xa1284fb93346a158), UINT64_C(0x49a242b566677f65),
614    UINT64_C(0xe2e4fa8a360b03a7), UINT64_C(0x0a6ef786632add9a),
615    UINT64_C(0xbb5b5e3883e571df), UINT64_C(0x53d15334d6c4afe2),
616    UINT64_C(0xf897eb0b86a8d320), UINT64_C(0x101de607d3890d1d),
617    UINT64_C(0x3cc2345e897e3421), UINT64_C(0xd4483952dc5fea1c),
618    UINT64_C(0x7f0e816d8c3396de), UINT64_C(0x97848c61d91248e3),
619    UINT64_C(0x8fbd7d3be2a2d0d1), UINT64_C(0x67377037b7830eec),
620    UINT64_C(0xcc71c808e7ef722e), UINT64_C(0x24fbc504b2ceac13),
621    UINT64_C(0x0824175de839952f), UINT64_C(0xe0ae1a51bd184b12),
622    UINT64_C(0x4be8a26eed7437d0), UINT64_C(0xa362af62b855e9ed),
623    UINT64_C(0x125706dc589a45a8), UINT64_C(0xfadd0bd00dbb9b95),
624    UINT64_C(0x519bb3ef5dd7e757), UINT64_C(0xb911bee308f6396a),
625    UINT64_C(0x95ce6cba52010056), UINT64_C(0x7d4461b60720de6b),
626    UINT64_C(0xd602d989574ca2a9), UINT64_C(0x3e88d485026d7c94),
627    UINT64_C(0xe6713b3d202d92cd), UINT64_C(0x0efb3631750c4cf0),
628    UINT64_C(0xa5bd8e0e25603032), UINT64_C(0x4d3783027041ee0f),
629    UINT64_C(0x61e8515b2ab6d733), UINT64_C(0x89625c577f97090e),
630    UINT64_C(0x2224e4682ffb75cc), UINT64_C(0xcaaee9647adaabf1),
631    UINT64_C(0x7b9b40da9a1507b4), UINT64_C(0x93114dd6cf34d989),
632    UINT64_C(0x3857f5e99f58a54b), UINT64_C(0xd0ddf8e5ca797b76),
633    UINT64_C(0xfc022abc908e424a), UINT64_C(0x148827b0c5af9c77),
634    UINT64_C(0xbfce9f8f95c3e0b5), UINT64_C(0x57449283c0e23e88),
635    UINT64_C(0x4f7d63d9fb52a6ba), UINT64_C(0xa7f76ed5ae737887),
636    UINT64_C(0x0cb1d6eafe1f0445), UINT64_C(0xe43bdbe6ab3eda78),
637    UINT64_C(0xc8e409bff1c9e344), UINT64_C(0x206e04b3a4e83d79),
638    UINT64_C(0x8b28bc8cf48441bb), UINT64_C(0x63a2b180a1a59f86),
639    UINT64_C(0xd297183e416a33c3), UINT64_C(0x3a1d1532144bedfe),
640    UINT64_C(0x915bad0d4427913c), UINT64_C(0x79d1a00111064f01),
641    UINT64_C(0x550e72584bf1763d), UINT64_C(0xbd847f541ed0a800),
642    UINT64_C(0x16c2c76b4ebcd4c2), UINT64_C(0xfe48ca671b9d0aff),
643    UINT64_C(0x35e9b730a53316f5), UINT64_C(0xdd63ba3cf012c8c8),
644    UINT64_C(0x76250203a07eb40a), UINT64_C(0x9eaf0f0ff55f6a37),
645    UINT64_C(0xb270dd56afa8530b), UINT64_C(0x5afad05afa898d36),
646    UINT64_C(0xf1bc6865aae5f1f4), UINT64_C(0x19366569ffc42fc9),
647    UINT64_C(0xa803ccd71f0b838c), UINT64_C(0x4089c1db4a2a5db1),
648    UINT64_C(0xebcf79e41a462173), UINT64_C(0x034574e84f67ff4e),
649    UINT64_C(0x2f9aa6b11590c672), UINT64_C(0xc710abbd40b1184f),
650    UINT64_C(0x6c56138210dd648d), UINT64_C(0x84dc1e8e45fcbab0),
651    UINT64_C(0x9ce5efd47e4c2282), UINT64_C(0x746fe2d82b6dfcbf),
652    UINT64_C(0xdf295ae77b01807d), UINT64_C(0x37a357eb2e205e40),
653    UINT64_C(0x1b7c85b274d7677c), UINT64_C(0xf3f688be21f6b941),
654    UINT64_C(0x58b03081719ac583), UINT64_C(0xb03a3d8d24bb1bbe),
655    UINT64_C(0x010f9433c474b7fb), UINT64_C(0xe985993f915569c6),
656    UINT64_C(0x42c32100c1391504), UINT64_C(0xaa492c0c9418cb39),
657    UINT64_C(0x8696fe55ceeff205), UINT64_C(0x6e1cf3599bce2c38),
658    UINT64_C(0xc55a4b66cba250fa), UINT64_C(0x2dd0466a9e838ec7),
659    UINT64_C(0xf529a9d2bcc3609e), UINT64_C(0x1da3a4dee9e2bea3),
660    UINT64_C(0xb6e51ce1b98ec261), UINT64_C(0x5e6f11edecaf1c5c),
661    UINT64_C(0x72b0c3b4b6582560), UINT64_C(0x9a3aceb8e379fb5d),
662    UINT64_C(0x317c7687b315879f), UINT64_C(0xd9f67b8be63459a2),
663    UINT64_C(0x68c3d23506fbf5e7), UINT64_C(0x8049df3953da2bda),
664    UINT64_C(0x2b0f670603b65718), UINT64_C(0xc3856a0a56978925),
665    UINT64_C(0xef5ab8530c60b019), UINT64_C(0x07d0b55f59416e24),
666    UINT64_C(0xac960d60092d12e6), UINT64_C(0x441c006c5c0cccdb),
667    UINT64_C(0x5c25f13667bc54e9), UINT64_C(0xb4affc3a329d8ad4),
668    UINT64_C(0x1fe9440562f1f616), UINT64_C(0xf763490937d0282b),
669    UINT64_C(0xdbbc9b506d271117), UINT64_C(0x3336965c3806cf2a),
670    UINT64_C(0x98702e63686ab3e8), UINT64_C(0x70fa236f3d4b6dd5),
671    UINT64_C(0xc1cf8ad1dd84c190), UINT64_C(0x294587dd88a51fad),
672    UINT64_C(0x82033fe2d8c9636f), UINT64_C(0x6a8932ee8de8bd52),
673    UINT64_C(0x4656e0b7d71f846e), UINT64_C(0xaedcedbb823e5a53),
674    UINT64_C(0x059a5584d2522691), UINT64_C(0xed1058888773f8ac)
675  },
676  {
677    UINT64_C(0x0000000000000000), UINT64_C(0x4d624bbe73bbc94c),
678    UINT64_C(0x9ac4977ce7779298), UINT64_C(0xd7a6dcc294cc5bd4),
679    UINT64_C(0xa75181d261e13bb5), UINT64_C(0xea33ca6c125af2f9),
680    UINT64_C(0x3d9516ae8696a92d), UINT64_C(0x70f75d10f52d6061),
681    UINT64_C(0xdc7bac8f6ccc69ef), UINT64_C(0x9119e7311f77a0a3),
682    UINT64_C(0x46bf3bf38bbbfb77), UINT64_C(0x0bdd704df800323b),
683    UINT64_C(0x7b2a2d5d0d2d525a), UINT64_C(0x364866e37e969b16),
684    UINT64_C(0xe1eeba21ea5ac0c2), UINT64_C(0xac8cf19f99e1098e),
685    UINT64_C(0x2a2ff6357696cd5b), UINT64_C(0x674dbd8b052d0417),
686    UINT64_C(0xb0eb614991e15fc3), UINT64_C(0xfd892af7e25a968f),
687    UINT64_C(0x8d7e77e71777f6ee), UINT64_C(0xc01c3c5964cc3fa2),
688    UINT64_C(0x17bae09bf0006476), UINT64_C(0x5ad8ab2583bbad3a),
689    UINT64_C(0xf6545aba1a5aa4b4), UINT64_C(0xbb36110469e16df8),
690    UINT64_C(0x6c90cdc6fd2d362c), UINT64_C(0x21f286788e96ff60),
691    UINT64_C(0x5105db687bbb9f01), UINT64_C(0x1c6790d60800564d),
692    UINT64_C(0xcbc14c149ccc0d99), UINT64_C(0x86a307aaef77c4d5),
693    UINT64_C(0x545fec6aed2d9ab6), UINT64_C(0x193da7d49e9653fa),
694    UINT64_C(0xce9b7b160a5a082e), UINT64_C(0x83f930a879e1c162),
695    UINT64_C(0xf30e6db88ccca103), UINT64_C(0xbe6c2606ff77684f),
696    UINT64_C(0x69cafac46bbb339b), UINT64_C(0x24a8b17a1800fad7),
697    UINT64_C(0x882440e581e1f359), UINT64_C(0xc5460b5bf25a3a15),
698    UINT64_C(0x12e0d799669661c1), UINT64_C(0x5f829c27152da88d),
699    UINT64_C(0x2f75c137e000c8ec), UINT64_C(0x62178a8993bb01a0),
700    UINT64_C(0xb5b1564b07775a74), UINT64_C(0xf8d31df574cc9338),
701    UINT64_C(0x7e701a5f9bbb57ed), UINT64_C(0x331251e1e8009ea1),
702    UINT64_C(0xe4b48d237cccc575), UINT64_C(0xa9d6c69d0f770c39),
703    UINT64_C(0xd9219b8dfa5a6c58), UINT64_C(0x9443d03389e1a514),
704    UINT64_C(0x43e50cf11d2dfec0), UINT64_C(0x0e87474f6e96378c),
705    UINT64_C(0xa20bb6d0f7773e02), UINT64_C(0xef69fd6e84ccf74e),
706    UINT64_C(0x38cf21ac1000ac9a), UINT64_C(0x75ad6a1263bb65d6),
707    UINT64_C(0x055a3702969605b7), UINT64_C(0x48387cbce52dccfb),
708    UINT64_C(0x9f9ea07e71e1972f), UINT64_C(0xd2fcebc0025a5e63),
709    UINT64_C(0xa8bfd8d5da5b356c), UINT64_C(0xe5dd936ba9e0fc20),
710    UINT64_C(0x327b4fa93d2ca7f4), UINT64_C(0x7f1904174e976eb8),
711    UINT64_C(0x0fee5907bbba0ed9), UINT64_C(0x428c12b9c801c795),
712    UINT64_C(0x952ace7b5ccd9c41), UINT64_C(0xd84885c52f76550d),
713    UINT64_C(0x74c4745ab6975c83), UINT64_C(0x39a63fe4c52c95cf),
714    UINT64_C(0xee00e32651e0ce1b), UINT64_C(0xa362a898225b0757),
715    UINT64_C(0xd395f588d7766736), UINT64_C(0x9ef7be36a4cdae7a),
716    UINT64_C(0x495162f43001f5ae), UINT64_C(0x0433294a43ba3ce2),
717    UINT64_C(0x82902ee0accdf837), UINT64_C(0xcff2655edf76317b),
718    UINT64_C(0x1854b99c4bba6aaf), UINT64_C(0x5536f2223801a3e3),
719    UINT64_C(0x25c1af32cd2cc382), UINT64_C(0x68a3e48cbe970ace),
720    UINT64_C(0xbf05384e2a5b511a), UINT64_C(0xf26773f059e09856),
721    UINT64_C(0x5eeb826fc00191d8), UINT64_C(0x1389c9d1b3ba5894),
722    UINT64_C(0xc42f151327760340), UINT64_C(0x894d5ead54cdca0c),
723    UINT64_C(0xf9ba03bda1e0aa6d), UINT64_C(0xb4d84803d25b6321),
724    UINT64_C(0x637e94c1469738f5), UINT64_C(0x2e1cdf7f352cf1b9),
725    UINT64_C(0xfce034bf3776afda), UINT64_C(0xb1827f0144cd6696),
726    UINT64_C(0x6624a3c3d0013d42), UINT64_C(0x2b46e87da3baf40e),
727    UINT64_C(0x5bb1b56d5697946f), UINT64_C(0x16d3fed3252c5d23),
728    UINT64_C(0xc1752211b1e006f7), UINT64_C(0x8c1769afc25bcfbb),
729    UINT64_C(0x209b98305bbac635), UINT64_C(0x6df9d38e28010f79),
730    UINT64_C(0xba5f0f4cbccd54ad), UINT64_C(0xf73d44f2cf769de1),
731    UINT64_C(0x87ca19e23a5bfd80), UINT64_C(0xcaa8525c49e034cc),
732    UINT64_C(0x1d0e8e9edd2c6f18), UINT64_C(0x506cc520ae97a654),
733    UINT64_C(0xd6cfc28a41e06281), UINT64_C(0x9bad8934325babcd),
734    UINT64_C(0x4c0b55f6a697f019), UINT64_C(0x01691e48d52c3955),
735    UINT64_C(0x719e435820015934), UINT64_C(0x3cfc08e653ba9078),
736    UINT64_C(0xeb5ad424c776cbac), UINT64_C(0xa6389f9ab4cd02e0),
737    UINT64_C(0x0ab46e052d2c0b6e), UINT64_C(0x47d625bb5e97c222),
738    UINT64_C(0x9070f979ca5b99f6), UINT64_C(0xdd12b2c7b9e050ba),
739    UINT64_C(0xade5efd74ccd30db), UINT64_C(0xe087a4693f76f997),
740    UINT64_C(0x372178ababbaa243), UINT64_C(0x7a433315d8016b0f),
741    UINT64_C(0xc3a71e801bb8745d), UINT64_C(0x8ec5553e6803bd11),
742    UINT64_C(0x596389fcfccfe6c5), UINT64_C(0x1401c2428f742f89),
743    UINT64_C(0x64f69f527a594fe8), UINT64_C(0x2994d4ec09e286a4),
744    UINT64_C(0xfe32082e9d2edd70), UINT64_C(0xb3504390ee95143c),
745    UINT64_C(0x1fdcb20f77741db2), UINT64_C(0x52bef9b104cfd4fe),
746    UINT64_C(0x8518257390038f2a), UINT64_C(0xc87a6ecde3b84666),
747    UINT64_C(0xb88d33dd16952607), UINT64_C(0xf5ef7863652eef4b),
748    UINT64_C(0x2249a4a1f1e2b49f), UINT64_C(0x6f2bef1f82597dd3),
749    UINT64_C(0xe988e8b56d2eb906), UINT64_C(0xa4eaa30b1e95704a),
750    UINT64_C(0x734c7fc98a592b9e), UINT64_C(0x3e2e3477f9e2e2d2),
751    UINT64_C(0x4ed969670ccf82b3), UINT64_C(0x03bb22d97f744bff),
752    UINT64_C(0xd41dfe1bebb8102b), UINT64_C(0x997fb5a59803d967),
753    UINT64_C(0x35f3443a01e2d0e9), UINT64_C(0x78910f84725919a5),
754    UINT64_C(0xaf37d346e6954271), UINT64_C(0xe25598f8952e8b3d),
755    UINT64_C(0x92a2c5e86003eb5c), UINT64_C(0xdfc08e5613b82210),
756    UINT64_C(0x08665294877479c4), UINT64_C(0x4504192af4cfb088),
757    UINT64_C(0x97f8f2eaf695eeeb), UINT64_C(0xda9ab954852e27a7),
758    UINT64_C(0x0d3c659611e27c73), UINT64_C(0x405e2e286259b53f),
759    UINT64_C(0x30a973389774d55e), UINT64_C(0x7dcb3886e4cf1c12),
760    UINT64_C(0xaa6de444700347c6), UINT64_C(0xe70faffa03b88e8a),
761    UINT64_C(0x4b835e659a598704), UINT64_C(0x06e115dbe9e24e48),
762    UINT64_C(0xd147c9197d2e159c), UINT64_C(0x9c2582a70e95dcd0),
763    UINT64_C(0xecd2dfb7fbb8bcb1), UINT64_C(0xa1b09409880375fd),
764    UINT64_C(0x761648cb1ccf2e29), UINT64_C(0x3b7403756f74e765),
765    UINT64_C(0xbdd704df800323b0), UINT64_C(0xf0b54f61f3b8eafc),
766    UINT64_C(0x271393a36774b128), UINT64_C(0x6a71d81d14cf7864),
767    UINT64_C(0x1a86850de1e21805), UINT64_C(0x57e4ceb39259d149),
768    UINT64_C(0x8042127106958a9d), UINT64_C(0xcd2059cf752e43d1),
769    UINT64_C(0x61aca850eccf4a5f), UINT64_C(0x2ccee3ee9f748313),
770    UINT64_C(0xfb683f2c0bb8d8c7), UINT64_C(0xb60a74927803118b),
771    UINT64_C(0xc6fd29828d2e71ea), UINT64_C(0x8b9f623cfe95b8a6),
772    UINT64_C(0x5c39befe6a59e372), UINT64_C(0x115bf54019e22a3e),
773    UINT64_C(0x6b18c655c1e34131), UINT64_C(0x267a8debb258887d),
774    UINT64_C(0xf1dc51292694d3a9), UINT64_C(0xbcbe1a97552f1ae5),
775    UINT64_C(0xcc494787a0027a84), UINT64_C(0x812b0c39d3b9b3c8),
776    UINT64_C(0x568dd0fb4775e81c), UINT64_C(0x1bef9b4534ce2150),
777    UINT64_C(0xb7636adaad2f28de), UINT64_C(0xfa012164de94e192),
778    UINT64_C(0x2da7fda64a58ba46), UINT64_C(0x60c5b61839e3730a),
779    UINT64_C(0x1032eb08ccce136b), UINT64_C(0x5d50a0b6bf75da27),
780    UINT64_C(0x8af67c742bb981f3), UINT64_C(0xc79437ca580248bf),
781    UINT64_C(0x41373060b7758c6a), UINT64_C(0x0c557bdec4ce4526),
782    UINT64_C(0xdbf3a71c50021ef2), UINT64_C(0x9691eca223b9d7be),
783    UINT64_C(0xe666b1b2d694b7df), UINT64_C(0xab04fa0ca52f7e93),
784    UINT64_C(0x7ca226ce31e32547), UINT64_C(0x31c06d704258ec0b),
785    UINT64_C(0x9d4c9cefdbb9e585), UINT64_C(0xd02ed751a8022cc9),
786    UINT64_C(0x07880b933cce771d), UINT64_C(0x4aea402d4f75be51),
787    UINT64_C(0x3a1d1d3dba58de30), UINT64_C(0x777f5683c9e3177c),
788    UINT64_C(0xa0d98a415d2f4ca8), UINT64_C(0xedbbc1ff2e9485e4),
789    UINT64_C(0x3f472a3f2ccedb87), UINT64_C(0x722561815f7512cb),
790    UINT64_C(0xa583bd43cbb9491f), UINT64_C(0xe8e1f6fdb8028053),
791    UINT64_C(0x9816abed4d2fe032), UINT64_C(0xd574e0533e94297e),
792    UINT64_C(0x02d23c91aa5872aa), UINT64_C(0x4fb0772fd9e3bbe6),
793    UINT64_C(0xe33c86b04002b268), UINT64_C(0xae5ecd0e33b97b24),
794    UINT64_C(0x79f811cca77520f0), UINT64_C(0x349a5a72d4cee9bc),
795    UINT64_C(0x446d076221e389dd), UINT64_C(0x090f4cdc52584091),
796    UINT64_C(0xdea9901ec6941b45), UINT64_C(0x93cbdba0b52fd209),
797    UINT64_C(0x1568dc0a5a5816dc), UINT64_C(0x580a97b429e3df90),
798    UINT64_C(0x8fac4b76bd2f8444), UINT64_C(0xc2ce00c8ce944d08),
799    UINT64_C(0xb2395dd83bb92d69), UINT64_C(0xff5b16664802e425),
800    UINT64_C(0x28fdcaa4dccebff1), UINT64_C(0x659f811aaf7576bd),
801    UINT64_C(0xc913708536947f33), UINT64_C(0x84713b3b452fb67f),
802    UINT64_C(0x53d7e7f9d1e3edab), UINT64_C(0x1eb5ac47a25824e7),
803    UINT64_C(0x6e42f15757754486), UINT64_C(0x2320bae924ce8dca),
804    UINT64_C(0xf486662bb002d61e), UINT64_C(0xb9e42d95c3b91f52)
805  },
806  {
807    UINT64_C(0x0000000000000000), UINT64_C(0x1596922b987ef63f),
808    UINT64_C(0x2b2d245730fdec7e), UINT64_C(0x3ebbb67ca8831a41),
809    UINT64_C(0x565a48ae61fbd8fc), UINT64_C(0x43ccda85f9852ec3),
810    UINT64_C(0x7d776cf951063482), UINT64_C(0x68e1fed2c978c2bd),
811    UINT64_C(0xacb4915cc3f7b1f8), UINT64_C(0xb92203775b8947c7),
812    UINT64_C(0x8799b50bf30a5d86), UINT64_C(0x920f27206b74abb9),
813    UINT64_C(0xfaeed9f2a20c6904), UINT64_C(0xef784bd93a729f3b),
814    UINT64_C(0xd1c3fda592f1857a), UINT64_C(0xc4556f8e0a8f7345),
815    UINT64_C(0xcbb18d9228e17d75), UINT64_C(0xde271fb9b09f8b4a),
816    UINT64_C(0xe09ca9c5181c910b), UINT64_C(0xf50a3bee80626734),
817    UINT64_C(0x9debc53c491aa589), UINT64_C(0x887d5717d16453b6),
818    UINT64_C(0xb6c6e16b79e749f7), UINT64_C(0xa3507340e199bfc8),
819    UINT64_C(0x67051cceeb16cc8d), UINT64_C(0x72938ee573683ab2),
820    UINT64_C(0x4c283899dbeb20f3), UINT64_C(0x59beaab24395d6cc),
821    UINT64_C(0x315f54608aed1471), UINT64_C(0x24c9c64b1293e24e),
822    UINT64_C(0x1a727037ba10f80f), UINT64_C(0x0fe4e21c226e0e30),
823    UINT64_C(0x05bbb40ffecce46f), UINT64_C(0x102d262466b21250),
824    UINT64_C(0x2e969058ce310811), UINT64_C(0x3b000273564ffe2e),
825    UINT64_C(0x53e1fca19f373c93), UINT64_C(0x46776e8a0749caac),
826    UINT64_C(0x78ccd8f6afcad0ed), UINT64_C(0x6d5a4add37b426d2),
827    UINT64_C(0xa90f25533d3b5597), UINT64_C(0xbc99b778a545a3a8),
828    UINT64_C(0x822201040dc6b9e9), UINT64_C(0x97b4932f95b84fd6),
829    UINT64_C(0xff556dfd5cc08d6b), UINT64_C(0xeac3ffd6c4be7b54),
830    UINT64_C(0xd47849aa6c3d6115), UINT64_C(0xc1eedb81f443972a),
831    UINT64_C(0xce0a399dd62d991a), UINT64_C(0xdb9cabb64e536f25),
832    UINT64_C(0xe5271dcae6d07564), UINT64_C(0xf0b18fe17eae835b),
833    UINT64_C(0x98507133b7d641e6), UINT64_C(0x8dc6e3182fa8b7d9),
834    UINT64_C(0xb37d5564872bad98), UINT64_C(0xa6ebc74f1f555ba7),
835    UINT64_C(0x62bea8c115da28e2), UINT64_C(0x77283aea8da4dedd),
836    UINT64_C(0x49938c962527c49c), UINT64_C(0x5c051ebdbd5932a3),
837    UINT64_C(0x34e4e06f7421f01e), UINT64_C(0x21727244ec5f0621),
838    UINT64_C(0x1fc9c43844dc1c60), UINT64_C(0x0a5f5613dca2ea5f),
839    UINT64_C(0x0b77681ffd99c8de), UINT64_C(0x1ee1fa3465e73ee1),
840    UINT64_C(0x205a4c48cd6424a0), UINT64_C(0x35ccde63551ad29f),
841    UINT64_C(0x5d2d20b19c621022), UINT64_C(0x48bbb29a041ce61d),
842    UINT64_C(0x760004e6ac9ffc5c), UINT64_C(0x639696cd34e10a63),
843    UINT64_C(0xa7c3f9433e6e7926), UINT64_C(0xb2556b68a6108f19),
844    UINT64_C(0x8ceedd140e939558), UINT64_C(0x99784f3f96ed6367),
845    UINT64_C(0xf199b1ed5f95a1da), UINT64_C(0xe40f23c6c7eb57e5),
846    UINT64_C(0xdab495ba6f684da4), UINT64_C(0xcf220791f716bb9b),
847    UINT64_C(0xc0c6e58dd578b5ab), UINT64_C(0xd55077a64d064394),
848    UINT64_C(0xebebc1dae58559d5), UINT64_C(0xfe7d53f17dfbafea),
849    UINT64_C(0x969cad23b4836d57), UINT64_C(0x830a3f082cfd9b68),
850    UINT64_C(0xbdb18974847e8129), UINT64_C(0xa8271b5f1c007716),
851    UINT64_C(0x6c7274d1168f0453), UINT64_C(0x79e4e6fa8ef1f26c),
852    UINT64_C(0x475f50862672e82d), UINT64_C(0x52c9c2adbe0c1e12),
853    UINT64_C(0x3a283c7f7774dcaf), UINT64_C(0x2fbeae54ef0a2a90),
854    UINT64_C(0x11051828478930d1), UINT64_C(0x04938a03dff7c6ee),
855    UINT64_C(0x0eccdc1003552cb1), UINT64_C(0x1b5a4e3b9b2bda8e),
856    UINT64_C(0x25e1f84733a8c0cf), UINT64_C(0x30776a6cabd636f0),
857    UINT64_C(0x589694be62aef44d), UINT64_C(0x4d000695fad00272),
858    UINT64_C(0x73bbb0e952531833), UINT64_C(0x662d22c2ca2dee0c),
859    UINT64_C(0xa2784d4cc0a29d49), UINT64_C(0xb7eedf6758dc6b76),
860    UINT64_C(0x8955691bf05f7137), UINT64_C(0x9cc3fb3068218708),
861    UINT64_C(0xf42205e2a15945b5), UINT64_C(0xe1b497c93927b38a),
862    UINT64_C(0xdf0f21b591a4a9cb), UINT64_C(0xca99b39e09da5ff4),
863    UINT64_C(0xc57d51822bb451c4), UINT64_C(0xd0ebc3a9b3caa7fb),
864    UINT64_C(0xee5075d51b49bdba), UINT64_C(0xfbc6e7fe83374b85),
865    UINT64_C(0x9327192c4a4f8938), UINT64_C(0x86b18b07d2317f07),
866    UINT64_C(0xb80a3d7b7ab26546), UINT64_C(0xad9caf50e2cc9379),
867    UINT64_C(0x69c9c0dee843e03c), UINT64_C(0x7c5f52f5703d1603),
868    UINT64_C(0x42e4e489d8be0c42), UINT64_C(0x577276a240c0fa7d),
869    UINT64_C(0x3f93887089b838c0), UINT64_C(0x2a051a5b11c6ceff),
870    UINT64_C(0x14beac27b945d4be), UINT64_C(0x01283e0c213b2281),
871    UINT64_C(0x16eed03ffb3391bc), UINT64_C(0x03784214634d6783),
872    UINT64_C(0x3dc3f468cbce7dc2), UINT64_C(0x2855664353b08bfd),
873    UINT64_C(0x40b498919ac84940), UINT64_C(0x55220aba02b6bf7f),
874    UINT64_C(0x6b99bcc6aa35a53e), UINT64_C(0x7e0f2eed324b5301),
875    UINT64_C(0xba5a416338c42044), UINT64_C(0xafccd348a0bad67b),
876    UINT64_C(0x917765340839cc3a), UINT64_C(0x84e1f71f90473a05),
877    UINT64_C(0xec0009cd593ff8b8), UINT64_C(0xf9969be6c1410e87),
878    UINT64_C(0xc72d2d9a69c214c6), UINT64_C(0xd2bbbfb1f1bce2f9),
879    UINT64_C(0xdd5f5dadd3d2ecc9), UINT64_C(0xc8c9cf864bac1af6),
880    UINT64_C(0xf67279fae32f00b7), UINT64_C(0xe3e4ebd17b51f688),
881    UINT64_C(0x8b051503b2293435), UINT64_C(0x9e9387282a57c20a),
882    UINT64_C(0xa028315482d4d84b), UINT64_C(0xb5bea37f1aaa2e74),
883    UINT64_C(0x71ebccf110255d31), UINT64_C(0x647d5eda885bab0e),
884    UINT64_C(0x5ac6e8a620d8b14f), UINT64_C(0x4f507a8db8a64770),
885    UINT64_C(0x27b1845f71de85cd), UINT64_C(0x32271674e9a073f2),
886    UINT64_C(0x0c9ca008412369b3), UINT64_C(0x190a3223d95d9f8c),
887    UINT64_C(0x1355643005ff75d3), UINT64_C(0x06c3f61b9d8183ec),
888    UINT64_C(0x38784067350299ad), UINT64_C(0x2deed24cad7c6f92),
889    UINT64_C(0x450f2c9e6404ad2f), UINT64_C(0x5099beb5fc7a5b10),
890    UINT64_C(0x6e2208c954f94151), UINT64_C(0x7bb49ae2cc87b76e),
891    UINT64_C(0xbfe1f56cc608c42b), UINT64_C(0xaa7767475e763214),
892    UINT64_C(0x94ccd13bf6f52855), UINT64_C(0x815a43106e8bde6a),
893    UINT64_C(0xe9bbbdc2a7f31cd7), UINT64_C(0xfc2d2fe93f8deae8),
894    UINT64_C(0xc2969995970ef0a9), UINT64_C(0xd7000bbe0f700696),
895    UINT64_C(0xd8e4e9a22d1e08a6), UINT64_C(0xcd727b89b560fe99),
896    UINT64_C(0xf3c9cdf51de3e4d8), UINT64_C(0xe65f5fde859d12e7),
897    UINT64_C(0x8ebea10c4ce5d05a), UINT64_C(0x9b283327d49b2665),
898    UINT64_C(0xa593855b7c183c24), UINT64_C(0xb0051770e466ca1b),
899    UINT64_C(0x745078feeee9b95e), UINT64_C(0x61c6ead576974f61),
900    UINT64_C(0x5f7d5ca9de145520), UINT64_C(0x4aebce82466aa31f),
901    UINT64_C(0x220a30508f1261a2), UINT64_C(0x379ca27b176c979d),
902    UINT64_C(0x09271407bfef8ddc), UINT64_C(0x1cb1862c27917be3),
903    UINT64_C(0x1d99b82006aa5962), UINT64_C(0x080f2a0b9ed4af5d),
904    UINT64_C(0x36b49c773657b51c), UINT64_C(0x23220e5cae294323),
905    UINT64_C(0x4bc3f08e6751819e), UINT64_C(0x5e5562a5ff2f77a1),
906    UINT64_C(0x60eed4d957ac6de0), UINT64_C(0x757846f2cfd29bdf),
907    UINT64_C(0xb12d297cc55de89a), UINT64_C(0xa4bbbb575d231ea5),
908    UINT64_C(0x9a000d2bf5a004e4), UINT64_C(0x8f969f006ddef2db),
909    UINT64_C(0xe77761d2a4a63066), UINT64_C(0xf2e1f3f93cd8c659),
910    UINT64_C(0xcc5a4585945bdc18), UINT64_C(0xd9ccd7ae0c252a27),
911    UINT64_C(0xd62835b22e4b2417), UINT64_C(0xc3bea799b635d228),
912    UINT64_C(0xfd0511e51eb6c869), UINT64_C(0xe89383ce86c83e56),
913    UINT64_C(0x80727d1c4fb0fceb), UINT64_C(0x95e4ef37d7ce0ad4),
914    UINT64_C(0xab5f594b7f4d1095), UINT64_C(0xbec9cb60e733e6aa),
915    UINT64_C(0x7a9ca4eeedbc95ef), UINT64_C(0x6f0a36c575c263d0),
916    UINT64_C(0x51b180b9dd417991), UINT64_C(0x44271292453f8fae),
917    UINT64_C(0x2cc6ec408c474d13), UINT64_C(0x39507e6b1439bb2c),
918    UINT64_C(0x07ebc817bcbaa16d), UINT64_C(0x127d5a3c24c45752),
919    UINT64_C(0x18220c2ff866bd0d), UINT64_C(0x0db49e0460184b32),
920    UINT64_C(0x330f2878c89b5173), UINT64_C(0x2699ba5350e5a74c),
921    UINT64_C(0x4e784481999d65f1), UINT64_C(0x5beed6aa01e393ce),
922    UINT64_C(0x655560d6a960898f), UINT64_C(0x70c3f2fd311e7fb0),
923    UINT64_C(0xb4969d733b910cf5), UINT64_C(0xa1000f58a3effaca),
924    UINT64_C(0x9fbbb9240b6ce08b), UINT64_C(0x8a2d2b0f931216b4),
925    UINT64_C(0xe2ccd5dd5a6ad409), UINT64_C(0xf75a47f6c2142236),
926    UINT64_C(0xc9e1f18a6a973877), UINT64_C(0xdc7763a1f2e9ce48),
927    UINT64_C(0xd39381bdd087c078), UINT64_C(0xc605139648f93647),
928    UINT64_C(0xf8bea5eae07a2c06), UINT64_C(0xed2837c17804da39),
929    UINT64_C(0x85c9c913b17c1884), UINT64_C(0x905f5b382902eebb),
930    UINT64_C(0xaee4ed448181f4fa), UINT64_C(0xbb727f6f19ff02c5),
931    UINT64_C(0x7f2710e113707180), UINT64_C(0x6ab182ca8b0e87bf),
932    UINT64_C(0x540a34b6238d9dfe), UINT64_C(0x419ca69dbbf36bc1),
933    UINT64_C(0x297d584f728ba97c), UINT64_C(0x3cebca64eaf55f43),
934    UINT64_C(0x02507c1842764502), UINT64_C(0x17c6ee33da08b33d)
935  },
936  {
937    UINT64_C(0x0000000000000000), UINT64_C(0x2ddda07ff6672378),
938    UINT64_C(0x5bbb40ffecce46f0), UINT64_C(0x7666e0801aa96588),
939    UINT64_C(0xb77681ffd99c8de0), UINT64_C(0x9aab21802ffbae98),
940    UINT64_C(0xeccdc1003552cb10), UINT64_C(0xc110617fc335e868),
941    UINT64_C(0xfc35acd41c370545), UINT64_C(0xd1e80cabea50263d),
942    UINT64_C(0xa78eec2bf0f943b5), UINT64_C(0x8a534c54069e60cd),
943    UINT64_C(0x4b432d2bc5ab88a5), UINT64_C(0x669e8d5433ccabdd),
944    UINT64_C(0x10f86dd42965ce55), UINT64_C(0x3d25cdabdf02ed2d),
945    UINT64_C(0x6ab3f6839760140f), UINT64_C(0x476e56fc61073777),
946    UINT64_C(0x3108b67c7bae52ff), UINT64_C(0x1cd516038dc97187),
947    UINT64_C(0xddc5777c4efc99ef), UINT64_C(0xf018d703b89bba97),
948    UINT64_C(0x867e3783a232df1f), UINT64_C(0xaba397fc5455fc67),
949    UINT64_C(0x96865a578b57114a), UINT64_C(0xbb5bfa287d303232),
950    UINT64_C(0xcd3d1aa8679957ba), UINT64_C(0xe0e0bad791fe74c2),
951    UINT64_C(0x21f0dba852cb9caa), UINT64_C(0x0c2d7bd7a4acbfd2),
952    UINT64_C(0x7a4b9b57be05da5a), UINT64_C(0x57963b284862f922),
953    UINT64_C(0xd567ed072ec0281e), UINT64_C(0xf8ba4d78d8a70b66),
954    UINT64_C(0x8edcadf8c20e6eee), UINT64_C(0xa3010d8734694d96),
955    UINT64_C(0x62116cf8f75ca5fe), UINT64_C(0x4fcccc87013b8686),
956    UINT64_C(0x39aa2c071b92e30e), UINT64_C(0x14778c78edf5c076),
957    UINT64_C(0x295241d332f72d5b), UINT64_C(0x048fe1acc4900e23),
958    UINT64_C(0x72e9012cde396bab), UINT64_C(0x5f34a153285e48d3),
959    UINT64_C(0x9e24c02ceb6ba0bb), UINT64_C(0xb3f960531d0c83c3),
960    UINT64_C(0xc59f80d307a5e64b), UINT64_C(0xe84220acf1c2c533),
961    UINT64_C(0xbfd41b84b9a03c11), UINT64_C(0x9209bbfb4fc71f69),
962    UINT64_C(0xe46f5b7b556e7ae1), UINT64_C(0xc9b2fb04a3095999),
963    UINT64_C(0x08a29a7b603cb1f1), UINT64_C(0x257f3a04965b9289),
964    UINT64_C(0x5319da848cf2f701), UINT64_C(0x7ec47afb7a95d479),
965    UINT64_C(0x43e1b750a5973954), UINT64_C(0x6e3c172f53f01a2c),
966    UINT64_C(0x185af7af49597fa4), UINT64_C(0x358757d0bf3e5cdc),
967    UINT64_C(0xf49736af7c0bb4b4), UINT64_C(0xd94a96d08a6c97cc),
968    UINT64_C(0xaf2c765090c5f244), UINT64_C(0x82f1d62f66a2d13c),
969    UINT64_C(0x38177525f28e4eb9), UINT64_C(0x15cad55a04e96dc1),
970    UINT64_C(0x63ac35da1e400849), UINT64_C(0x4e7195a5e8272b31),
971    UINT64_C(0x8f61f4da2b12c359), UINT64_C(0xa2bc54a5dd75e021),
972    UINT64_C(0xd4dab425c7dc85a9), UINT64_C(0xf907145a31bba6d1),
973    UINT64_C(0xc422d9f1eeb94bfc), UINT64_C(0xe9ff798e18de6884),
974    UINT64_C(0x9f99990e02770d0c), UINT64_C(0xb2443971f4102e74),
975    UINT64_C(0x7354580e3725c61c), UINT64_C(0x5e89f871c142e564),
976    UINT64_C(0x28ef18f1dbeb80ec), UINT64_C(0x0532b88e2d8ca394),
977    UINT64_C(0x52a483a665ee5ab6), UINT64_C(0x7f7923d9938979ce),
978    UINT64_C(0x091fc35989201c46), UINT64_C(0x24c263267f473f3e),
979    UINT64_C(0xe5d20259bc72d756), UINT64_C(0xc80fa2264a15f42e),
980    UINT64_C(0xbe6942a650bc91a6), UINT64_C(0x93b4e2d9a6dbb2de),
981    UINT64_C(0xae912f7279d95ff3), UINT64_C(0x834c8f0d8fbe7c8b),
982    UINT64_C(0xf52a6f8d95171903), UINT64_C(0xd8f7cff263703a7b),
983    UINT64_C(0x19e7ae8da045d213), UINT64_C(0x343a0ef25622f16b),
984    UINT64_C(0x425cee724c8b94e3), UINT64_C(0x6f814e0dbaecb79b),
985    UINT64_C(0xed709822dc4e66a7), UINT64_C(0xc0ad385d2a2945df),
986    UINT64_C(0xb6cbd8dd30802057), UINT64_C(0x9b1678a2c6e7032f),
987    UINT64_C(0x5a0619dd05d2eb47), UINT64_C(0x77dbb9a2f3b5c83f),
988    UINT64_C(0x01bd5922e91cadb7), UINT64_C(0x2c60f95d1f7b8ecf),
989    UINT64_C(0x114534f6c07963e2), UINT64_C(0x3c989489361e409a),
990    UINT64_C(0x4afe74092cb72512), UINT64_C(0x6723d476dad0066a),
991    UINT64_C(0xa633b50919e5ee02), UINT64_C(0x8bee1576ef82cd7a),
992    UINT64_C(0xfd88f5f6f52ba8f2), UINT64_C(0xd0555589034c8b8a),
993    UINT64_C(0x87c36ea14b2e72a8), UINT64_C(0xaa1ecedebd4951d0),
994    UINT64_C(0xdc782e5ea7e03458), UINT64_C(0xf1a58e2151871720),
995    UINT64_C(0x30b5ef5e92b2ff48), UINT64_C(0x1d684f2164d5dc30),
996    UINT64_C(0x6b0eafa17e7cb9b8), UINT64_C(0x46d30fde881b9ac0),
997    UINT64_C(0x7bf6c275571977ed), UINT64_C(0x562b620aa17e5495),
998    UINT64_C(0x204d828abbd7311d), UINT64_C(0x0d9022f54db01265),
999    UINT64_C(0xcc80438a8e85fa0d), UINT64_C(0xe15de3f578e2d975),
1000    UINT64_C(0x973b0375624bbcfd), UINT64_C(0xbae6a30a942c9f85),
1001    UINT64_C(0x702eea4be51c9d72), UINT64_C(0x5df34a34137bbe0a),
1002    UINT64_C(0x2b95aab409d2db82), UINT64_C(0x06480acbffb5f8fa),
1003    UINT64_C(0xc7586bb43c801092), UINT64_C(0xea85cbcbcae733ea),
1004    UINT64_C(0x9ce32b4bd04e5662), UINT64_C(0xb13e8b342629751a),
1005    UINT64_C(0x8c1b469ff92b9837), UINT64_C(0xa1c6e6e00f4cbb4f),
1006    UINT64_C(0xd7a0066015e5dec7), UINT64_C(0xfa7da61fe382fdbf),
1007    UINT64_C(0x3b6dc76020b715d7), UINT64_C(0x16b0671fd6d036af),
1008    UINT64_C(0x60d6879fcc795327), UINT64_C(0x4d0b27e03a1e705f),
1009    UINT64_C(0x1a9d1cc8727c897d), UINT64_C(0x3740bcb7841baa05),
1010    UINT64_C(0x41265c379eb2cf8d), UINT64_C(0x6cfbfc4868d5ecf5),
1011    UINT64_C(0xadeb9d37abe0049d), UINT64_C(0x80363d485d8727e5),
1012    UINT64_C(0xf650ddc8472e426d), UINT64_C(0xdb8d7db7b1496115),
1013    UINT64_C(0xe6a8b01c6e4b8c38), UINT64_C(0xcb751063982caf40),
1014    UINT64_C(0xbd13f0e38285cac8), UINT64_C(0x90ce509c74e2e9b0),
1015    UINT64_C(0x51de31e3b7d701d8), UINT64_C(0x7c03919c41b022a0),
1016    UINT64_C(0x0a65711c5b194728), UINT64_C(0x27b8d163ad7e6450),
1017    UINT64_C(0xa549074ccbdcb56c), UINT64_C(0x8894a7333dbb9614),
1018    UINT64_C(0xfef247b32712f39c), UINT64_C(0xd32fe7ccd175d0e4),
1019    UINT64_C(0x123f86b31240388c), UINT64_C(0x3fe226cce4271bf4),
1020    UINT64_C(0x4984c64cfe8e7e7c), UINT64_C(0x6459663308e95d04),
1021    UINT64_C(0x597cab98d7ebb029), UINT64_C(0x74a10be7218c9351),
1022    UINT64_C(0x02c7eb673b25f6d9), UINT64_C(0x2f1a4b18cd42d5a1),
1023    UINT64_C(0xee0a2a670e773dc9), UINT64_C(0xc3d78a18f8101eb1),
1024    UINT64_C(0xb5b16a98e2b97b39), UINT64_C(0x986ccae714de5841),
1025    UINT64_C(0xcffaf1cf5cbca163), UINT64_C(0xe22751b0aadb821b),
1026    UINT64_C(0x9441b130b072e793), UINT64_C(0xb99c114f4615c4eb),
1027    UINT64_C(0x788c703085202c83), UINT64_C(0x5551d04f73470ffb),
1028    UINT64_C(0x233730cf69ee6a73), UINT64_C(0x0eea90b09f89490b),
1029    UINT64_C(0x33cf5d1b408ba426), UINT64_C(0x1e12fd64b6ec875e),
1030    UINT64_C(0x68741de4ac45e2d6), UINT64_C(0x45a9bd9b5a22c1ae),
1031    UINT64_C(0x84b9dce4991729c6), UINT64_C(0xa9647c9b6f700abe),
1032    UINT64_C(0xdf029c1b75d96f36), UINT64_C(0xf2df3c6483be4c4e),
1033    UINT64_C(0x48399f6e1792d3cb), UINT64_C(0x65e43f11e1f5f0b3),
1034    UINT64_C(0x1382df91fb5c953b), UINT64_C(0x3e5f7fee0d3bb643),
1035    UINT64_C(0xff4f1e91ce0e5e2b), UINT64_C(0xd292beee38697d53),
1036    UINT64_C(0xa4f45e6e22c018db), UINT64_C(0x8929fe11d4a73ba3),
1037    UINT64_C(0xb40c33ba0ba5d68e), UINT64_C(0x99d193c5fdc2f5f6),
1038    UINT64_C(0xefb77345e76b907e), UINT64_C(0xc26ad33a110cb306),
1039    UINT64_C(0x037ab245d2395b6e), UINT64_C(0x2ea7123a245e7816),
1040    UINT64_C(0x58c1f2ba3ef71d9e), UINT64_C(0x751c52c5c8903ee6),
1041    UINT64_C(0x228a69ed80f2c7c4), UINT64_C(0x0f57c9927695e4bc),
1042    UINT64_C(0x793129126c3c8134), UINT64_C(0x54ec896d9a5ba24c),
1043    UINT64_C(0x95fce812596e4a24), UINT64_C(0xb821486daf09695c),
1044    UINT64_C(0xce47a8edb5a00cd4), UINT64_C(0xe39a089243c72fac),
1045    UINT64_C(0xdebfc5399cc5c281), UINT64_C(0xf36265466aa2e1f9),
1046    UINT64_C(0x850485c6700b8471), UINT64_C(0xa8d925b9866ca709),
1047    UINT64_C(0x69c944c645594f61), UINT64_C(0x4414e4b9b33e6c19),
1048    UINT64_C(0x32720439a9970991), UINT64_C(0x1fafa4465ff02ae9),
1049    UINT64_C(0x9d5e72693952fbd5), UINT64_C(0xb083d216cf35d8ad),
1050    UINT64_C(0xc6e53296d59cbd25), UINT64_C(0xeb3892e923fb9e5d),
1051    UINT64_C(0x2a28f396e0ce7635), UINT64_C(0x07f553e916a9554d),
1052    UINT64_C(0x7193b3690c0030c5), UINT64_C(0x5c4e1316fa6713bd),
1053    UINT64_C(0x616bdebd2565fe90), UINT64_C(0x4cb67ec2d302dde8),
1054    UINT64_C(0x3ad09e42c9abb860), UINT64_C(0x170d3e3d3fcc9b18),
1055    UINT64_C(0xd61d5f42fcf97370), UINT64_C(0xfbc0ff3d0a9e5008),
1056    UINT64_C(0x8da61fbd10373580), UINT64_C(0xa07bbfc2e65016f8),
1057    UINT64_C(0xf7ed84eaae32efda), UINT64_C(0xda3024955855cca2),
1058    UINT64_C(0xac56c41542fca92a), UINT64_C(0x818b646ab49b8a52),
1059    UINT64_C(0x409b051577ae623a), UINT64_C(0x6d46a56a81c94142),
1060    UINT64_C(0x1b2045ea9b6024ca), UINT64_C(0x36fde5956d0707b2),
1061    UINT64_C(0x0bd8283eb205ea9f), UINT64_C(0x260588414462c9e7),
1062    UINT64_C(0x506368c15ecbac6f), UINT64_C(0x7dbec8bea8ac8f17),
1063    UINT64_C(0xbcaea9c16b99677f), UINT64_C(0x917309be9dfe4407),
1064    UINT64_C(0xe715e93e8757218f), UINT64_C(0xcac84941713002f7)
1065  }
1066};
1067
1068uint64_t crc64_slow(const void *input, size_t nbytes) {
1069  const unsigned char *data = (const unsigned char*) input;
1070  uint64_t cs = UINT64_C(0xffffffffffffffff);
1071
1072  while (nbytes--) {
1073    uint32_t idx = ((uint32_t) (cs ^ *data++)) & 0xff;
1074    cs = crc64_table[3][idx] ^ (cs >> 8);
1075  }
1076
1077  return cs ^ UINT64_C(0xffffffffffffffff);
1078}
1079
1080// Loads an input 32-bit word in little-endian order from a big-endian machine.
1081static inline uint32_t crc64_load_le32_(const uint32_t *p) {
1082#ifdef __ppc__
1083  // See: http://hardwarebug.org/2008/10/25/gcc-inline-asm-annoyance/
1084  uint32_t v;
1085  asm ("lwbrx %0, %y1" : "=r"(v) : "Z"(*p));
1086  return v;
1087#else
1088  uint32_t w = *p;
1089  return  ((((w) & 0xff000000) >> 24)
1090         | (((w) & 0x00ff0000) >>  8)
1091         | (((w) & 0x0000ff00) <<  8)
1092         | (((w) & 0x000000ff) << 24));
1093#endif
1094}
1095
1096// A parallel multiword interleaved algorithm with a word size of 4 bytes
1097// and a stride factor of 5.
1098uint64_t crc64(const void *input, size_t nbytes) {
1099  const unsigned char *data = (const unsigned char*) input;
1100  const unsigned char *end = data + nbytes;
1101  uint64_t cs[5] = { UINT64_C(0xffffffffffffffff), 0, 0, 0, 0 };
1102
1103  // Process byte-by-byte until proper alignment is attained.
1104  // In the inner loop, we process 5 4-byte words (20 bytes in total)
1105  // per iteration. If the amount of data remaining is small,
1106  // then we also use the slow algorithm.
1107  while (data < end && ((((size_t) data) & 3) || (end - data < 20))) {
1108    uint32_t idx = ((uint32_t) (cs[0] ^ *data++)) & 0xff;
1109    cs[0] = crc64_table[3][idx] ^ (cs[0] >> 8);
1110  }
1111
1112  if (data == end)
1113    return cs[0] ^ UINT64_C(0xffffffffffffffff);
1114
1115  const uint32_t one = 1;
1116  bool big_endian = !(*((char *)(&one)));
1117
1118  uint64_t cry = 0;
1119  uint32_t in[5];
1120
1121  if (!big_endian) {
1122    for (unsigned i = 0; i < 5; ++i)
1123      in[i] = ((const uint32_t*) data)[i];
1124    data += 20;
1125
1126    for (; end - data >= 20; data += 20) {
1127      cs[0] ^= cry;
1128
1129      in[0] ^= (uint32_t) cs[0];
1130      cs[1] ^= cs[0] >> 32;
1131      cs[0] = crc64_interleaved_table[0][in[0] & 0xff];
1132      in[0] >>= 8;
1133
1134      in[1] ^= (uint32_t) cs[1];
1135      cs[2] ^= cs[1] >> 32;
1136      cs[1] = crc64_interleaved_table[0][in[1] & 0xff];
1137      in[1] >>= 8;
1138
1139      in[2] ^= (uint32_t) cs[2];
1140      cs[3] ^= cs[2] >> 32;
1141      cs[2] = crc64_interleaved_table[0][in[2] & 0xff];
1142      in[2] >>= 8;
1143
1144      in[3] ^= (uint32_t) cs[3];
1145      cs[4] ^= cs[3] >> 32;
1146      cs[3] = crc64_interleaved_table[0][in[3] & 0xff];
1147      in[3] >>= 8;
1148
1149      in[4] ^= (uint32_t) cs[4];
1150      cry = cs[4] >> 32;
1151      cs[4] = crc64_interleaved_table[0][in[4] & 0xff];
1152      in[4] >>= 8;
1153
1154      for (unsigned b = 1; b < 3; ++b) {
1155        cs[0] ^= crc64_interleaved_table[b][in[0] & 0xff];
1156        in[0] >>= 8;
1157
1158        cs[1] ^= crc64_interleaved_table[b][in[1] & 0xff];
1159        in[1] >>= 8;
1160
1161        cs[2] ^= crc64_interleaved_table[b][in[2] & 0xff];
1162        in[2] >>= 8;
1163
1164        cs[3] ^= crc64_interleaved_table[b][in[3] & 0xff];
1165        in[3] >>= 8;
1166
1167        cs[4] ^= crc64_interleaved_table[b][in[4] & 0xff];
1168        in[4] >>= 8;
1169      }
1170
1171      cs[0] ^= crc64_interleaved_table[3][in[0] & 0xff];
1172      in[0] = ((const uint32_t*) data)[0];
1173
1174      cs[1] ^= crc64_interleaved_table[3][in[1] & 0xff];
1175      in[1] = ((const uint32_t*) data)[1];
1176
1177      cs[2] ^= crc64_interleaved_table[3][in[2] & 0xff];
1178      in[2] = ((const uint32_t*) data)[2];
1179
1180      cs[3] ^= crc64_interleaved_table[3][in[3] & 0xff];
1181      in[3] = ((const uint32_t*) data)[3];
1182
1183      cs[4] ^= crc64_interleaved_table[3][in[4] & 0xff];
1184      in[4] = ((const uint32_t*) data)[4];
1185    }
1186  } else {
1187    for (unsigned i = 0; i < 5; ++i) {
1188      in[i] = crc64_load_le32_(&((const uint32_t*) data)[i]);
1189    }
1190    data += 20;
1191
1192    for (; end - data >= 20; data += 20) {
1193      cs[0] ^= cry;
1194
1195      in[0] ^= (uint32_t) cs[0];
1196      cs[1] ^= cs[0] >> 32;
1197      cs[0] = crc64_interleaved_table[0][in[0] & 0xff];
1198      in[0] >>= 8;
1199
1200      in[1] ^= (uint32_t) cs[1];
1201      cs[2] ^= cs[1] >> 32;
1202      cs[1] = crc64_interleaved_table[0][in[1] & 0xff];
1203      in[1] >>= 8;
1204
1205      in[2] ^= (uint32_t) cs[2];
1206      cs[3] ^= cs[2] >> 32;
1207      cs[2] = crc64_interleaved_table[0][in[2] & 0xff];
1208      in[2] >>= 8;
1209
1210      in[3] ^= (uint32_t) cs[3];
1211      cs[4] ^= cs[3] >> 32;
1212      cs[3] = crc64_interleaved_table[0][in[3] & 0xff];
1213      in[3] >>= 8;
1214
1215      in[4] ^= (uint32_t) cs[4];
1216      cry = cs[4] >> 32;
1217      cs[4] = crc64_interleaved_table[0][in[4] & 0xff];
1218      in[4] >>= 8;
1219
1220      for (unsigned b = 1; b < 3; ++b) {
1221        cs[0] ^= crc64_interleaved_table[b][in[0] & 0xff];
1222        in[0] >>= 8;
1223
1224        cs[1] ^= crc64_interleaved_table[b][in[1] & 0xff];
1225        in[1] >>= 8;
1226
1227        cs[2] ^= crc64_interleaved_table[b][in[2] & 0xff];
1228        in[2] >>= 8;
1229
1230        cs[3] ^= crc64_interleaved_table[b][in[3] & 0xff];
1231        in[3] >>= 8;
1232
1233        cs[4] ^= crc64_interleaved_table[b][in[4] & 0xff];
1234        in[4] >>= 8;
1235      }
1236
1237      cs[0] ^= crc64_interleaved_table[3][in[0] & 0xff];
1238      in[0] = crc64_load_le32_(&((const uint32_t*) data)[0]);
1239
1240      cs[1] ^= crc64_interleaved_table[3][in[1] & 0xff];
1241      in[1] = crc64_load_le32_(&((const uint32_t*) data)[1]);
1242
1243      cs[2] ^= crc64_interleaved_table[3][in[2] & 0xff];
1244      in[2] = crc64_load_le32_(&((const uint32_t*) data)[2]);
1245
1246      cs[3] ^= crc64_interleaved_table[3][in[3] & 0xff];
1247      in[3] = crc64_load_le32_(&((const uint32_t*) data)[3]);
1248
1249      cs[4] ^= crc64_interleaved_table[3][in[4] & 0xff];
1250      in[4] = crc64_load_le32_(&((const uint32_t*) data)[4]);
1251    }
1252  }
1253
1254  cs[0] ^= cry;
1255
1256  for (unsigned i = 0; i < 5; ++i) {
1257    if (i > 0)
1258      cs[0] ^= cs[i];
1259    in[i] ^= (uint32_t) cs[0];
1260    cs[0] = cs[0] >> 32;
1261
1262    for (unsigned b = 0; b < 3; ++b) {
1263      cs[0] ^= crc64_table[b][in[i] & 0xff];
1264      in[i] >>= 8;
1265    }
1266
1267    cs[0] ^= crc64_table[3][in[i] & 0xff];
1268  }
1269
1270  while (data < end) {
1271    uint32_t idx = ((uint32_t) (cs[0] ^ *data++)) & 0xff;
1272    cs[0] = crc64_table[3][idx] ^ (cs[0] >> 8);
1273  }
1274
1275  return cs[0] ^ UINT64_C(0xffffffffffffffff);
1276}
1277
1278// Calculate the 'check bytes' for the provided checksum. If these bytes are
1279// appended to the original buffer, then the new total checksum should be -1.
1280void crc64_invert(uint64_t cs, void *buffer) {
1281  unsigned char *bytes = (unsigned char *) buffer;
1282  cs ^= UINT64_C(0xffffffffffffffff);
1283
1284  // The CRC is self-inverting (in big-endian, so the bit-reversed CRC is
1285  // self-inverting in little-endian).
1286  bytes[7] = (cs >> 56) & 0xff;
1287  bytes[6] = (cs >> 48) & 0xff;
1288  bytes[5] = (cs >> 40) & 0xff;
1289  bytes[4] = (cs >> 32) & 0xff;
1290  bytes[3] = (cs >> 24) & 0xff;
1291  bytes[2] = (cs >> 16) & 0xff;
1292  bytes[1] = (cs >>  8) & 0xff;
1293  bytes[0] =  cs        & 0xff;
1294}
1295
1296static const uint64_t crc64_x_pow_2n[64] = {
1297  UINT64_C(0x4000000000000000), UINT64_C(0x2000000000000000),
1298  UINT64_C(0x0800000000000000), UINT64_C(0x0080000000000000),
1299  UINT64_C(0x0000800000000000), UINT64_C(0x0000000080000000),
1300  UINT64_C(0xc96c5795d7870f42), UINT64_C(0x6d5f4ad7e3c3afa0),
1301  UINT64_C(0xd49f7e445077d8ea), UINT64_C(0x040fb02a53c216fa),
1302  UINT64_C(0x6bec35957b9ef3a0), UINT64_C(0xb0e3bb0658964afe),
1303  UINT64_C(0x218578c7a2dff638), UINT64_C(0x6dbb920f24dd5cf2),
1304  UINT64_C(0x7a140cfcdb4d5eb5), UINT64_C(0x41b3705ecbc4057b),
1305  UINT64_C(0xd46ab656accac1ea), UINT64_C(0x329beda6fc34fb73),
1306  UINT64_C(0x51a4fcd4350b9797), UINT64_C(0x314fa85637efae9d),
1307  UINT64_C(0xacf27e9a1518d512), UINT64_C(0xffe2a3388a4d8ce7),
1308  UINT64_C(0x48b9697e60cc2e4e), UINT64_C(0xada73cb78dd62460),
1309  UINT64_C(0x3ea5454d8ce5c1bb), UINT64_C(0x5e84e3a6c70feaf1),
1310  UINT64_C(0x90fd49b66cbd81d1), UINT64_C(0xe2943e0c1db254e8),
1311  UINT64_C(0xecfa6adeca8834a1), UINT64_C(0xf513e212593ee321),
1312  UINT64_C(0xf36ae57331040916), UINT64_C(0x63fbd333b87b6717),
1313  UINT64_C(0xbd60f8e152f50b8b), UINT64_C(0xa5ce4a8299c1567d),
1314  UINT64_C(0x0bd445f0cbdb55ee), UINT64_C(0xfdd6824e20134285),
1315  UINT64_C(0xcead8b6ebda2227a), UINT64_C(0xe44b17e4f5d4fb5c),
1316  UINT64_C(0x9b29c81ad01ca7c5), UINT64_C(0x1b4366e40fea4055),
1317  UINT64_C(0x27bca1551aae167b), UINT64_C(0xaa57bcd1b39a5690),
1318  UINT64_C(0xd7fce83fa1234db9), UINT64_C(0xcce4986efea3ff8e),
1319  UINT64_C(0x3602a4d9e65341f1), UINT64_C(0x722b1da2df516145),
1320  UINT64_C(0xecfc3ddd3a08da83), UINT64_C(0x0fb96dcca83507e6),
1321  UINT64_C(0x125f2fe78d70f080), UINT64_C(0x842f50b7651aa516),
1322  UINT64_C(0x09bc34188cd9836f), UINT64_C(0xf43666c84196d909),
1323  UINT64_C(0xb56feb30c0df6ccb), UINT64_C(0xaa66e04ce7f30958),
1324  UINT64_C(0xb7b1187e9af29547), UINT64_C(0x113255f8476495de),
1325  UINT64_C(0x8fb19f783095d77e), UINT64_C(0xaec4aacc7c82b133),
1326  UINT64_C(0xf64e6d09218428cf), UINT64_C(0x036a72ea5ac258a0),
1327  UINT64_C(0x5235ef12eb7aaa6a), UINT64_C(0x2fed7b1685657853),
1328  UINT64_C(0x8ef8951d46606fb5), UINT64_C(0x9d58c1090f034d14)
1329};
1330
1331
1332// Compute (a*b) mod P
1333// See: https://code.google.com/p/crcutil/source/browse/code/gf_util.h
1334static inline uint64_t crc64_multiply_(uint64_t a, uint64_t b) {
1335  if ((a ^ (a-1)) < (b ^ (b-1))) {
1336    uint64_t t = a;
1337    a = b;
1338    b = t;
1339  }
1340
1341  if (a == 0)
1342    return 0;
1343
1344  uint64_t r = 0, h = UINT64_C(1) << 63;
1345  for (; a != 0; a <<= 1) {
1346    if (a & h) {
1347      r ^= b;
1348      a ^= h;
1349    }
1350
1351    b = (b >> 1) ^ ((b & 1) ? crc64_poly : 0);
1352  }
1353
1354  return r;
1355}
1356
1357// Compute x**n mod P
1358static inline uint64_t crc64_x_pow_n_(uint64_t n) {
1359  uint64_t r = UINT64_C(1) << 63;
1360  for (size_t i = 0; n != 0; n >>= 1, ++i) {
1361    if (n & 1)
1362      r = crc64_multiply_(r, crc64_x_pow_2n[i]);
1363  }
1364
1365  return r;
1366}
1367
1368uint64_t crc64_combine(uint64_t cs1, uint64_t cs2, size_t nbytes2) {
1369  // For M = CONCAT(M1, M2) => CRC(M, a) = CRC(M2, CRC(M1, a)) and:
1370  // CRC(M, b) = CRC(M, a) + ((b-a)x^|M|) mod P.
1371  return cs2 ^ crc64_multiply_(cs1, crc64_x_pow_n_(8*nbytes2));
1372}
1373
1374static const size_t crc64_min_thread_bytes = 1024;
1375
1376uint64_t crc64_omp(const void *input, size_t nbytes) {
1377#ifdef _OPENMP
1378  if (nbytes > 2*crc64_min_thread_bytes) {
1379    int nthreads = omp_get_max_threads();
1380
1381    if (nbytes < nthreads*crc64_min_thread_bytes)
1382      nthreads = nbytes/crc64_min_thread_bytes;
1383
1384    uint64_t thread_cs[nthreads];
1385    size_t thread_sz[nthreads];
1386
1387    const unsigned char *data = (const unsigned char*) input;
1388#pragma omp parallel num_threads(nthreads)
1389    {
1390      int tid = omp_get_thread_num();
1391      size_t bpt = nbytes/nthreads;
1392      const unsigned char *start = data + bpt*tid, *end;
1393      if (tid != nthreads - 1)
1394        end = start + bpt;
1395      else
1396        end = data + nbytes;
1397
1398      size_t sz = end - start;
1399      thread_sz[tid] = sz;
1400      thread_cs[tid] = crc64(start, sz);
1401    }
1402
1403    uint64_t cs = thread_cs[0];
1404    for (int i = 1; i < nthreads; ++i) {
1405      cs = crc64_combine(cs, thread_cs[i], thread_sz[i]);
1406    }
1407
1408    return cs;
1409  }
1410#endif
1411
1412  return crc64(input, nbytes);
1413}
1414
Note: See TracBrowser for help on using the repository browser.