Return hashes in SRs.
[doldaconnect.git] / daemon / tiger.c
CommitLineData
d3372da9 1/*
2 * Dolda Connect - Modular multiuser Direct Connect-style client
3 * Copyright (C) 2004 Fredrik Tolf (fredrik@dolda2000.com)
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 *
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18*/
19#include <stdlib.h>
20#include <string.h>
21
22#ifdef HAVE_CONFIG_H
23#include <config.h>
24#endif
25#include "tiger.h"
26#include "utils.h"
27
28/*
29 * This won't be a fast implementation of Tiger. For now, I just want
30 * to be done with it and have it somewhat portable.
31 */
32
33static unsigned long long table[];
34
35void inittiger(struct tigerhash *th)
36{
37 th->a = 0x0123456789abcdefULL;
38 th->b = 0xfedcba9876543210ULL;
39 th->c = 0xf096a5b4c3b2e187ULL;
40 th->offset = 0;
41 th->len = 0;
42}
43
44static void round(unsigned long long *a, unsigned long long *b, unsigned long long *c, unsigned long long x, int mul)
45{
46 *c ^= x;
47 *a -= table[((*c >> 0) & 0xff) + 0x0000] ^ table[((*c >> 16) & 0xff) + 0x0100] ^ table[((*c >> 32) & 0xff) + 0x0200] ^ table[((*c >> 48) & 0xff) + 0x0300];
48 *b += table[((*c >> 8) & 0xff) + 0x0300] ^ table[((*c >> 24) & 0xff) + 0x0200] ^ table[((*c >> 40) & 0xff) + 0x0100] ^ table[((*c >> 56) & 0xff) + 0x0000];
49 *b *= mul;
50}
51
52static void pass(unsigned long long *a, unsigned long long *b, unsigned long long *c, unsigned long long *x, int mul)
53{
54 round(a, b, c, x[0], mul);
55 round(b, c, a, x[1], mul);
56 round(c, a, b, x[2], mul);
57 round(a, b, c, x[3], mul);
58 round(b, c, a, x[4], mul);
59 round(c, a, b, x[5], mul);
60 round(a, b, c, x[6], mul);
61 round(b, c, a, x[7], mul);
62}
63
64static void key_schedule(unsigned long long *x)
65{
66 x[0] -= x[7] ^ 0xa5a5a5a5a5a5a5a5ULL;
67 x[1] ^= x[0];
68 x[2] += x[1];
69 x[3] -= x[2] ^ ((~x[1]) << 19);
70 x[4] ^= x[3];
71 x[5] += x[4];
72 x[6] -= x[5] ^ ((~x[4]) >> 23);
73 x[7] ^= x[6];
74 x[0] += x[7];
75 x[1] -= x[0] ^ ((~x[7]) << 19);
76 x[2] ^= x[1];
77 x[3] += x[2];
78 x[4] -= x[3] ^ ((~x[2]) >> 23);
79 x[5] ^= x[4];
80 x[6] += x[5];
81 x[7] -= x[6] ^ 0x0123456789abcdefULL;
82}
83
84static void doblock(struct tigerhash *th)
85{
86 int i, o;
87 unsigned long long x[8], aa, bb, cc;
88
89 for(i = 0; i < 8; i++) {
90 x[i] = 0;
91 for(o = 0; o < 8; o++) {
92 x[i] <<= 8;
93 x[i] |= th->block[(i * 8) + 7 - o];
94 }
95 }
96 aa = th->a;
97 bb = th->b;
98 cc = th->c;
99 pass(&th->a, &th->b, &th->c, x, 5);
100 key_schedule(x);
101 pass(&th->c, &th->a, &th->b, x, 7);
102 key_schedule(x);
103 pass(&th->b, &th->c, &th->a, x, 9);
104 th->a ^= aa;
105 th->b -= bb;
106 th->c += cc;
107 th->offset = 0;
108}
109
110void dotiger(struct tigerhash *th, char *buf, size_t buflen)
111{
112 int taken;
113
114 th->len += buflen;
115 while(buflen > 0) {
116 taken = buflen;
117 if(taken > 64 - th->offset)
118 taken = 64 - th->offset;
119 memcpy(th->block + th->offset, buf, taken);
120 th->offset += taken;
121 buflen -= taken;
122 buf += taken;
123 if(th->offset == 64)
124 doblock(th);
125 }
126}
127
128void synctiger(struct tigerhash *th)
129{
130 int i;
131 unsigned long long buf;
132
133 th->block[th->offset++] = 1;
134 while(th->offset & 7)
135 th->block[th->offset++] = 0;
136 if(th->offset > 56)
137 doblock(th);
138 if(th->offset < 56)
139 memset(th->block + th->offset, 0, 56 - th->offset);
140 buf = th->len << 3;
141 for(i = 0; i < 8; i++) {
142 th->block[56 + i] = buf & 0xff;
143 buf >>= 8;
144 }
145 doblock(th);
146}
147
148void restiger(struct tigerhash *th, char *rbuf)
149{
150 int i;
151 unsigned long long buf;
152
153 buf = th->a;
154 for(i = 0; i < 8; i++) {
155 rbuf[i] = buf & 0xff;
156 buf >>= 8;
157 }
158 buf = th->b;
159 for(; i < 16; i++) {
160 rbuf[i] = buf & 0xff;
161 buf >>= 8;
162 }
163 buf = th->c;
164 for(; i < 24; i++) {
165 rbuf[i] = buf & 0xff;
166 buf >>= 8;
167 }
168}
169
170void inittigertree(struct tigertreehash *tth)
171{
172 tth->blocks = 0;
173 tth->offset = 0;
174 tth->depth = 0;
175}
176
177static void combine(struct tigertreehash *tth)
178{
179 struct tigerhash th;
180
181 inittiger(&th);
182 dotiger(&th, "\001", 1);
183 tth->depth--;
184 dotiger(&th, tth->stack[tth->depth - 1], 24);
185 dotiger(&th, tth->stack[tth->depth], 24);
186 synctiger(&th);
187 restiger(&th, tth->stack[tth->depth - 1]);
188}
189
190static void dotreeblock(struct tigertreehash *tth)
191{
192 struct tigerhash th;
193 int nb;
194
195 inittiger(&th);
196 dotiger(&th, "\0", 1);
197 dotiger(&th, tth->block, tth->offset);
198 synctiger(&th);
199 restiger(&th, tth->stack[tth->depth++]);
200 tth->offset = 0;
201 for(nb = ++tth->blocks; !(nb & 1); nb >>= 1)
202 combine(tth);
203}
204
205void dotigertree(struct tigertreehash *tth, char *buf, size_t buflen)
206{
207 int taken;
208
209 while(buflen > 0) {
210 taken = buflen;
211 if(taken > 1024 - tth->offset)
212 taken = 1024 - tth->offset;
213 memcpy(tth->block + tth->offset, buf, taken);
214 tth->offset += taken;
215 buflen -= taken;
216 buf += taken;
217 if(tth->offset == 1024)
218 dotreeblock(tth);
219 }
220}
221
222void synctigertree(struct tigertreehash *tth)
223{
224 if((tth->offset > 0) || (tth->blocks == 0))
225 dotreeblock(tth);
226 while(tth->depth > 1)
227 combine(tth);
228}
229
230void restigertree(struct tigertreehash *tth, char *rbuf)
231{
232 memcpy(rbuf, tth->stack[0], 24);
233}
234
235static unsigned long long table[1024] = {
236 0x02aab17cf7e90c5eULL, 0xac424b03e243a8ecULL,
237 0x72cd5be30dd5fcd3ULL, 0x6d019b93f6f97f3aULL,
238 0xcd9978ffd21f9193ULL, 0x7573a1c9708029e2ULL,
239 0xb164326b922a83c3ULL, 0x46883eee04915870ULL,
240 0xeaace3057103ece6ULL, 0xc54169b808a3535cULL,
241 0x4ce754918ddec47cULL, 0x0aa2f4dfdc0df40cULL,
242 0x10b76f18a74dbefaULL, 0xc6ccb6235ad1ab6aULL,
243 0x13726121572fe2ffULL, 0x1a488c6f199d921eULL,
244 0x4bc9f9f4da0007caULL, 0x26f5e6f6e85241c7ULL,
245 0x859079dbea5947b6ULL, 0x4f1885c5c99e8c92ULL,
246 0xd78e761ea96f864bULL, 0x8e36428c52b5c17dULL,
247 0x69cf6827373063c1ULL, 0xb607c93d9bb4c56eULL,
248 0x7d820e760e76b5eaULL, 0x645c9cc6f07fdc42ULL,
249 0xbf38a078243342e0ULL, 0x5f6b343c9d2e7d04ULL,
250 0xf2c28aeb600b0ec6ULL, 0x6c0ed85f7254bcacULL,
251 0x71592281a4db4fe5ULL, 0x1967fa69ce0fed9fULL,
252 0xfd5293f8b96545dbULL, 0xc879e9d7f2a7600bULL,
253 0x860248920193194eULL, 0xa4f9533b2d9cc0b3ULL,
254 0x9053836c15957613ULL, 0xdb6dcf8afc357bf1ULL,
255 0x18beea7a7a370f57ULL, 0x037117ca50b99066ULL,
256 0x6ab30a9774424a35ULL, 0xf4e92f02e325249bULL,
257 0x7739db07061ccae1ULL, 0xd8f3b49ceca42a05ULL,
258 0xbd56be3f51382f73ULL, 0x45faed5843b0bb28ULL,
259 0x1c813d5c11bf1f83ULL, 0x8af0e4b6d75fa169ULL,
260 0x33ee18a487ad9999ULL, 0x3c26e8eab1c94410ULL,
261 0xb510102bc0a822f9ULL, 0x141eef310ce6123bULL,
262 0xfc65b90059ddb154ULL, 0xe0158640c5e0e607ULL,
263 0x884e079826c3a3cfULL, 0x930d0d9523c535fdULL,
264 0x35638d754e9a2b00ULL, 0x4085fccf40469dd5ULL,
265 0xc4b17ad28be23a4cULL, 0xcab2f0fc6a3e6a2eULL,
266 0x2860971a6b943fcdULL, 0x3dde6ee212e30446ULL,
267 0x6222f32ae01765aeULL, 0x5d550bb5478308feULL,
268 0xa9efa98da0eda22aULL, 0xc351a71686c40da7ULL,
269 0x1105586d9c867c84ULL, 0xdcffee85fda22853ULL,
270 0xccfbd0262c5eef76ULL, 0xbaf294cb8990d201ULL,
271 0xe69464f52afad975ULL, 0x94b013afdf133e14ULL,
272 0x06a7d1a32823c958ULL, 0x6f95fe5130f61119ULL,
273 0xd92ab34e462c06c0ULL, 0xed7bde33887c71d2ULL,
274 0x79746d6e6518393eULL, 0x5ba419385d713329ULL,
275 0x7c1ba6b948a97564ULL, 0x31987c197bfdac67ULL,
276 0xde6c23c44b053d02ULL, 0x581c49fed002d64dULL,
277 0xdd474d6338261571ULL, 0xaa4546c3e473d062ULL,
278 0x928fce349455f860ULL, 0x48161bbacaab94d9ULL,
279 0x63912430770e6f68ULL, 0x6ec8a5e602c6641cULL,
280 0x87282515337ddd2bULL, 0x2cda6b42034b701bULL,
281 0xb03d37c181cb096dULL, 0xe108438266c71c6fULL,
282 0x2b3180c7eb51b255ULL, 0xdf92b82f96c08bbcULL,
283 0x5c68c8c0a632f3baULL, 0x5504cc861c3d0556ULL,
284 0xabbfa4e55fb26b8fULL, 0x41848b0ab3baceb4ULL,
285 0xb334a273aa445d32ULL, 0xbca696f0a85ad881ULL,
286 0x24f6ec65b528d56cULL, 0x0ce1512e90f4524aULL,
287 0x4e9dd79d5506d35aULL, 0x258905fac6ce9779ULL,
288 0x2019295b3e109b33ULL, 0xf8a9478b73a054ccULL,
289 0x2924f2f934417eb0ULL, 0x3993357d536d1bc4ULL,
290 0x38a81ac21db6ff8bULL, 0x47c4fbf17d6016bfULL,
291 0x1e0faadd7667e3f5ULL, 0x7abcff62938beb96ULL,
292 0xa78dad948fc179c9ULL, 0x8f1f98b72911e50dULL,
293 0x61e48eae27121a91ULL, 0x4d62f7ad31859808ULL,
294 0xeceba345ef5ceaebULL, 0xf5ceb25ebc9684ceULL,
295 0xf633e20cb7f76221ULL, 0xa32cdf06ab8293e4ULL,
296 0x985a202ca5ee2ca4ULL, 0xcf0b8447cc8a8fb1ULL,
297 0x9f765244979859a3ULL, 0xa8d516b1a1240017ULL,
298 0x0bd7ba3ebb5dc726ULL, 0xe54bca55b86adb39ULL,
299 0x1d7a3afd6c478063ULL, 0x519ec608e7669eddULL,
300 0x0e5715a2d149aa23ULL, 0x177d4571848ff194ULL,
301 0xeeb55f3241014c22ULL, 0x0f5e5ca13a6e2ec2ULL,
302 0x8029927b75f5c361ULL, 0xad139fabc3d6e436ULL,
303 0x0d5df1a94ccf402fULL, 0x3e8bd948bea5dfc8ULL,
304 0xa5a0d357bd3ff77eULL, 0xa2d12e251f74f645ULL,
305 0x66fd9e525e81a082ULL, 0x2e0c90ce7f687a49ULL,
306 0xc2e8bcbeba973bc5ULL, 0x000001bce509745fULL,
307 0x423777bbe6dab3d6ULL, 0xd1661c7eaef06eb5ULL,
308 0xa1781f354daacfd8ULL, 0x2d11284a2b16affcULL,
309 0xf1fc4f67fa891d1fULL, 0x73ecc25dcb920adaULL,
310 0xae610c22c2a12651ULL, 0x96e0a810d356b78aULL,
311 0x5a9a381f2fe7870fULL, 0xd5ad62ede94e5530ULL,
312 0xd225e5e8368d1427ULL, 0x65977b70c7af4631ULL,
313 0x99f889b2de39d74fULL, 0x233f30bf54e1d143ULL,
314 0x9a9675d3d9a63c97ULL, 0x5470554ff334f9a8ULL,
315 0x166acb744a4f5688ULL, 0x70c74caab2e4aeadULL,
316 0xf0d091646f294d12ULL, 0x57b82a89684031d1ULL,
317 0xefd95a5a61be0b6bULL, 0x2fbd12e969f2f29aULL,
318 0x9bd37013feff9fe8ULL, 0x3f9b0404d6085a06ULL,
319 0x4940c1f3166cfe15ULL, 0x09542c4dcdf3defbULL,
320 0xb4c5218385cd5ce3ULL, 0xc935b7dc4462a641ULL,
321 0x3417f8a68ed3b63fULL, 0xb80959295b215b40ULL,
322 0xf99cdaef3b8c8572ULL, 0x018c0614f8fcb95dULL,
323 0x1b14accd1a3acdf3ULL, 0x84d471f200bb732dULL,
324 0xc1a3110e95e8da16ULL, 0x430a7220bf1a82b8ULL,
325 0xb77e090d39df210eULL, 0x5ef4bd9f3cd05e9dULL,
326 0x9d4ff6da7e57a444ULL, 0xda1d60e183d4a5f8ULL,
327 0xb287c38417998e47ULL, 0xfe3edc121bb31886ULL,
328 0xc7fe3ccc980ccbefULL, 0xe46fb590189bfd03ULL,
329 0x3732fd469a4c57dcULL, 0x7ef700a07cf1ad65ULL,
330 0x59c64468a31d8859ULL, 0x762fb0b4d45b61f6ULL,
331 0x155baed099047718ULL, 0x68755e4c3d50baa6ULL,
332 0xe9214e7f22d8b4dfULL, 0x2addbf532eac95f4ULL,
333 0x32ae3909b4bd0109ULL, 0x834df537b08e3450ULL,
334 0xfa209da84220728dULL, 0x9e691d9b9efe23f7ULL,
335 0x0446d288c4ae8d7fULL, 0x7b4cc524e169785bULL,
336 0x21d87f0135ca1385ULL, 0xcebb400f137b8aa5ULL,
337 0x272e2b66580796beULL, 0x3612264125c2b0deULL,
338 0x057702bdad1efbb2ULL, 0xd4babb8eacf84be9ULL,
339 0x91583139641bc67bULL, 0x8bdc2de08036e024ULL,
340 0x603c8156f49f68edULL, 0xf7d236f7dbef5111ULL,
341 0x9727c4598ad21e80ULL, 0xa08a0896670a5fd7ULL,
342 0xcb4a8f4309eba9cbULL, 0x81af564b0f7036a1ULL,
343 0xc0b99aa778199abdULL, 0x959f1ec83fc8e952ULL,
344 0x8c505077794a81b9ULL, 0x3acaaf8f056338f0ULL,
345 0x07b43f50627a6778ULL, 0x4a44ab49f5eccc77ULL,
346 0x3bc3d6e4b679ee98ULL, 0x9cc0d4d1cf14108cULL,
347 0x4406c00b206bc8a0ULL, 0x82a18854c8d72d89ULL,
348 0x67e366b35c3c432cULL, 0xb923dd61102b37f2ULL,
349 0x56ab2779d884271dULL, 0xbe83e1b0ff1525afULL,
350 0xfb7c65d4217e49a9ULL, 0x6bdbe0e76d48e7d4ULL,
351 0x08df828745d9179eULL, 0x22ea6a9add53bd34ULL,
352 0xe36e141c5622200aULL, 0x7f805d1b8cb750eeULL,
353 0xafe5c7a59f58e837ULL, 0xe27f996a4fb1c23cULL,
354 0xd3867dfb0775f0d0ULL, 0xd0e673de6e88891aULL,
355 0x123aeb9eafb86c25ULL, 0x30f1d5d5c145b895ULL,
356 0xbb434a2dee7269e7ULL, 0x78cb67ecf931fa38ULL,
357 0xf33b0372323bbf9cULL, 0x52d66336fb279c74ULL,
358 0x505f33ac0afb4eaaULL, 0xe8a5cd99a2cce187ULL,
359 0x534974801e2d30bbULL, 0x8d2d5711d5876d90ULL,
360 0x1f1a412891bc038eULL, 0xd6e2e71d82e56648ULL,
361 0x74036c3a497732b7ULL, 0x89b67ed96361f5abULL,
362 0xffed95d8f1ea02a2ULL, 0xe72b3bd61464d43dULL,
363 0xa6300f170bdc4820ULL, 0xebc18760ed78a77aULL,
364 0xe6a6be5a05a12138ULL, 0xb5a122a5b4f87c98ULL,
365 0x563c6089140b6990ULL, 0x4c46cb2e391f5dd5ULL,
366 0xd932addbc9b79434ULL, 0x08ea70e42015aff5ULL,
367 0xd765a6673e478cf1ULL, 0xc4fb757eab278d99ULL,
368 0xdf11c6862d6e0692ULL, 0xddeb84f10d7f3b16ULL,
369 0x6f2ef604a665ea04ULL, 0x4a8e0f0ff0e0dfb3ULL,
370 0xa5edeef83dbcba51ULL, 0xfc4f0a2a0ea4371eULL,
371 0xe83e1da85cb38429ULL, 0xdc8ff882ba1b1ce2ULL,
372 0xcd45505e8353e80dULL, 0x18d19a00d4db0717ULL,
373 0x34a0cfeda5f38101ULL, 0x0be77e518887caf2ULL,
374 0x1e341438b3c45136ULL, 0xe05797f49089ccf9ULL,
375 0xffd23f9df2591d14ULL, 0x543dda228595c5cdULL,
376 0x661f81fd99052a33ULL, 0x8736e641db0f7b76ULL,
377 0x15227725418e5307ULL, 0xe25f7f46162eb2faULL,
378 0x48a8b2126c13d9feULL, 0xafdc541792e76eeaULL,
379 0x03d912bfc6d1898fULL, 0x31b1aafa1b83f51bULL,
380 0xf1ac2796e42ab7d9ULL, 0x40a3a7d7fcd2ebacULL,
381 0x1056136d0afbbcc5ULL, 0x7889e1dd9a6d0c85ULL,
382 0xd33525782a7974aaULL, 0xa7e25d09078ac09bULL,
383 0xbd4138b3eac6edd0ULL, 0x920abfbe71eb9e70ULL,
384 0xa2a5d0f54fc2625cULL, 0xc054e36b0b1290a3ULL,
385 0xf6dd59ff62fe932bULL, 0x3537354511a8ac7dULL,
386 0xca845e9172fadcd4ULL, 0x84f82b60329d20dcULL,
387 0x79c62ce1cd672f18ULL, 0x8b09a2add124642cULL,
388 0xd0c1e96a19d9e726ULL, 0x5a786a9b4ba9500cULL,
389 0x0e020336634c43f3ULL, 0xc17b474aeb66d822ULL,
390 0x6a731ae3ec9baac2ULL, 0x8226667ae0840258ULL,
391 0x67d4567691caeca5ULL, 0x1d94155c4875adb5ULL,
392 0x6d00fd985b813fdfULL, 0x51286efcb774cd06ULL,
393 0x5e8834471fa744afULL, 0xf72ca0aee761ae2eULL,
394 0xbe40e4cdaee8e09aULL, 0xe9970bbb5118f665ULL,
395 0x726e4beb33df1964ULL, 0x703b000729199762ULL,
396 0x4631d816f5ef30a7ULL, 0xb880b5b51504a6beULL,
397 0x641793c37ed84b6cULL, 0x7b21ed77f6e97d96ULL,
398 0x776306312ef96b73ULL, 0xae528948e86ff3f4ULL,
399 0x53dbd7f286a3f8f8ULL, 0x16cadce74cfc1063ULL,
400 0x005c19bdfa52c6ddULL, 0x68868f5d64d46ad3ULL,
401 0x3a9d512ccf1e186aULL, 0x367e62c2385660aeULL,
402 0xe359e7ea77dcb1d7ULL, 0x526c0773749abe6eULL,
403 0x735ae5f9d09f734bULL, 0x493fc7cc8a558ba8ULL,
404 0xb0b9c1533041ab45ULL, 0x321958ba470a59bdULL,
405 0x852db00b5f46c393ULL, 0x91209b2bd336b0e5ULL,
406 0x6e604f7d659ef19fULL, 0xb99a8ae2782ccb24ULL,
407 0xccf52ab6c814c4c7ULL, 0x4727d9afbe11727bULL,
408 0x7e950d0c0121b34dULL, 0x756f435670ad471fULL,
409 0xf5add442615a6849ULL, 0x4e87e09980b9957aULL,
410 0x2acfa1df50aee355ULL, 0xd898263afd2fd556ULL,
411 0xc8f4924dd80c8fd6ULL, 0xcf99ca3d754a173aULL,
412 0xfe477bacaf91bf3cULL, 0xed5371f6d690c12dULL,
413 0x831a5c285e687094ULL, 0xc5d3c90a3708a0a4ULL,
414 0x0f7f903717d06580ULL, 0x19f9bb13b8fdf27fULL,
415 0xb1bd6f1b4d502843ULL, 0x1c761ba38fff4012ULL,
416 0x0d1530c4e2e21f3bULL, 0x8943ce69a7372c8aULL,
417 0xe5184e11feb5ce66ULL, 0x618bdb80bd736621ULL,
418 0x7d29bad68b574d0bULL, 0x81bb613e25e6fe5bULL,
419 0x071c9c10bc07913fULL, 0xc7beeb7909ac2d97ULL,
420 0xc3e58d353bc5d757ULL, 0xeb017892f38f61e8ULL,
421 0xd4effb9c9b1cc21aULL, 0x99727d26f494f7abULL,
422 0xa3e063a2956b3e03ULL, 0x9d4a8b9a4aa09c30ULL,
423 0x3f6ab7d500090fb4ULL, 0x9cc0f2a057268ac0ULL,
424 0x3dee9d2dedbf42d1ULL, 0x330f49c87960a972ULL,
425 0xc6b2720287421b41ULL, 0x0ac59ec07c00369cULL,
426 0xef4eac49cb353425ULL, 0xf450244eef0129d8ULL,
427 0x8acc46e5caf4deb6ULL, 0x2ffeab63989263f7ULL,
428 0x8f7cb9fe5d7a4578ULL, 0x5bd8f7644e634635ULL,
429 0x427a7315bf2dc900ULL, 0x17d0c4aa2125261cULL,
430 0x3992486c93518e50ULL, 0xb4cbfee0a2d7d4c3ULL,
431 0x7c75d6202c5ddd8dULL, 0xdbc295d8e35b6c61ULL,
432 0x60b369d302032b19ULL, 0xce42685fdce44132ULL,
433 0x06f3ddb9ddf65610ULL, 0x8ea4d21db5e148f0ULL,
434 0x20b0fce62fcd496fULL, 0x2c1b912358b0ee31ULL,
435 0xb28317b818f5a308ULL, 0xa89c1e189ca6d2cfULL,
436 0x0c6b18576aaadbc8ULL, 0xb65deaa91299fae3ULL,
437 0xfb2b794b7f1027e7ULL, 0x04e4317f443b5bebULL,
438 0x4b852d325939d0a6ULL, 0xd5ae6beefb207ffcULL,
439 0x309682b281c7d374ULL, 0xbae309a194c3b475ULL,
440 0x8cc3f97b13b49f05ULL, 0x98a9422ff8293967ULL,
441 0x244b16b01076ff7cULL, 0xf8bf571c663d67eeULL,
442 0x1f0d6758eee30da1ULL, 0xc9b611d97adeb9b7ULL,
443 0xb7afd5887b6c57a2ULL, 0x6290ae846b984fe1ULL,
444 0x94df4cdeacc1a5fdULL, 0x058a5bd1c5483affULL,
445 0x63166cc142ba3c37ULL, 0x8db8526eb2f76f40ULL,
446 0xe10880036f0d6d4eULL, 0x9e0523c9971d311dULL,
447 0x45ec2824cc7cd691ULL, 0x575b8359e62382c9ULL,
448 0xfa9e400dc4889995ULL, 0xd1823ecb45721568ULL,
449 0xdafd983b8206082fULL, 0xaa7d29082386a8cbULL,
450 0x269fcd4403b87588ULL, 0x1b91f5f728bdd1e0ULL,
451 0xe4669f39040201f6ULL, 0x7a1d7c218cf04adeULL,
452 0x65623c29d79ce5ceULL, 0x2368449096c00bb1ULL,
453 0xab9bf1879da503baULL, 0xbc23ecb1a458058eULL,
454 0x9a58df01bb401eccULL, 0xa070e868a85f143dULL,
455 0x4ff188307df2239eULL, 0x14d565b41a641183ULL,
456 0xee13337452701602ULL, 0x950e3dcf3f285e09ULL,
457 0x59930254b9c80953ULL, 0x3bf299408930da6dULL,
458 0xa955943f53691387ULL, 0xa15edecaa9cb8784ULL,
459 0x29142127352be9a0ULL, 0x76f0371fff4e7afbULL,
460 0x0239f450274f2228ULL, 0xbb073af01d5e868bULL,
461 0xbfc80571c10e96c1ULL, 0xd267088568222e23ULL,
462 0x9671a3d48e80b5b0ULL, 0x55b5d38ae193bb81ULL,
463 0x693ae2d0a18b04b8ULL, 0x5c48b4ecadd5335fULL,
464 0xfd743b194916a1caULL, 0x2577018134be98c4ULL,
465 0xe77987e83c54a4adULL, 0x28e11014da33e1b9ULL,
466 0x270cc59e226aa213ULL, 0x71495f756d1a5f60ULL,
467 0x9be853fb60afef77ULL, 0xadc786a7f7443dbfULL,
468 0x0904456173b29a82ULL, 0x58bc7a66c232bd5eULL,
469 0xf306558c673ac8b2ULL, 0x41f639c6b6c9772aULL,
470 0x216defe99fda35daULL, 0x11640cc71c7be615ULL,
471 0x93c43694565c5527ULL, 0xea038e6246777839ULL,
472 0xf9abf3ce5a3e2469ULL, 0x741e768d0fd312d2ULL,
473 0x0144b883ced652c6ULL, 0xc20b5a5ba33f8552ULL,
474 0x1ae69633c3435a9dULL, 0x97a28ca4088cfdecULL,
475 0x8824a43c1e96f420ULL, 0x37612fa66eeea746ULL,
476 0x6b4cb165f9cf0e5aULL, 0x43aa1c06a0abfb4aULL,
477 0x7f4dc26ff162796bULL, 0x6cbacc8e54ed9b0fULL,
478 0xa6b7ffefd2bb253eULL, 0x2e25bc95b0a29d4fULL,
479 0x86d6a58bdef1388cULL, 0xded74ac576b6f054ULL,
480 0x8030bdbc2b45805dULL, 0x3c81af70e94d9289ULL,
481 0x3eff6dda9e3100dbULL, 0xb38dc39fdfcc8847ULL,
482 0x123885528d17b87eULL, 0xf2da0ed240b1b642ULL,
483 0x44cefadcd54bf9a9ULL, 0x1312200e433c7ee6ULL,
484 0x9ffcc84f3a78c748ULL, 0xf0cd1f72248576bbULL,
485 0xec6974053638cfe4ULL, 0x2ba7b67c0cec4e4cULL,
486 0xac2f4df3e5ce32edULL, 0xcb33d14326ea4c11ULL,
487 0xa4e9044cc77e58bcULL, 0x5f513293d934fcefULL,
488 0x5dc9645506e55444ULL, 0x50de418f317de40aULL,
489 0x388cb31a69dde259ULL, 0x2db4a83455820a86ULL,
490 0x9010a91e84711ae9ULL, 0x4df7f0b7b1498371ULL,
491 0xd62a2eabc0977179ULL, 0x22fac097aa8d5c0eULL,
492 0xf49fcc2ff1daf39bULL, 0x487fd5c66ff29281ULL,
493 0xe8a30667fcdca83fULL, 0x2c9b4be3d2fcce63ULL,
494 0xda3ff74b93fbbbc2ULL, 0x2fa165d2fe70ba66ULL,
495 0xa103e279970e93d4ULL, 0xbecdec77b0e45e71ULL,
496 0xcfb41e723985e497ULL, 0xb70aaa025ef75017ULL,
497 0xd42309f03840b8e0ULL, 0x8efc1ad035898579ULL,
498 0x96c6920be2b2abc5ULL, 0x66af4163375a9172ULL,
499 0x2174abdcca7127fbULL, 0xb33ccea64a72ff41ULL,
500 0xf04a4933083066a5ULL, 0x8d970acdd7289af5ULL,
501 0x8f96e8e031c8c25eULL, 0xf3fec02276875d47ULL,
502 0xec7bf310056190ddULL, 0xf5adb0aebb0f1491ULL,
503 0x9b50f8850fd58892ULL, 0x4975488358b74de8ULL,
504 0xa3354ff691531c61ULL, 0x0702bbe481d2c6eeULL,
505 0x89fb24057deded98ULL, 0xac3075138596e902ULL,
506 0x1d2d3580172772edULL, 0xeb738fc28e6bc30dULL,
507 0x5854ef8f63044326ULL, 0x9e5c52325add3bbeULL,
508 0x90aa53cf325c4623ULL, 0xc1d24d51349dd067ULL,
509 0x2051cfeea69ea624ULL, 0x13220f0a862e7e4fULL,
510 0xce39399404e04864ULL, 0xd9c42ca47086fcb7ULL,
511 0x685ad2238a03e7ccULL, 0x066484b2ab2ff1dbULL,
512 0xfe9d5d70efbf79ecULL, 0x5b13b9dd9c481854ULL,
513 0x15f0d475ed1509adULL, 0x0bebcd060ec79851ULL,
514 0xd58c6791183ab7f8ULL, 0xd1187c5052f3eee4ULL,
515 0xc95d1192e54e82ffULL, 0x86eea14cb9ac6ca2ULL,
516 0x3485beb153677d5dULL, 0xdd191d781f8c492aULL,
517 0xf60866baa784ebf9ULL, 0x518f643ba2d08c74ULL,
518 0x8852e956e1087c22ULL, 0xa768cb8dc410ae8dULL,
519 0x38047726bfec8e1aULL, 0xa67738b4cd3b45aaULL,
520 0xad16691cec0dde19ULL, 0xc6d4319380462e07ULL,
521 0xc5a5876d0ba61938ULL, 0x16b9fa1fa58fd840ULL,
522 0x188ab1173ca74f18ULL, 0xabda2f98c99c021fULL,
523 0x3e0580ab134ae816ULL, 0x5f3b05b773645abbULL,
524 0x2501a2be5575f2f6ULL, 0x1b2f74004e7e8ba9ULL,
525 0x1cd7580371e8d953ULL, 0x7f6ed89562764e30ULL,
526 0xb15926ff596f003dULL, 0x9f65293da8c5d6b9ULL,
527 0x6ecef04dd690f84cULL, 0x4782275fff33af88ULL,
528 0xe41433083f820801ULL, 0xfd0dfe409a1af9b5ULL,
529 0x4325a3342cdb396bULL, 0x8ae77e62b301b252ULL,
530 0xc36f9e9f6655615aULL, 0x85455a2d92d32c09ULL,
531 0xf2c7dea949477485ULL, 0x63cfb4c133a39ebaULL,
532 0x83b040cc6ebc5462ULL, 0x3b9454c8fdb326b0ULL,
533 0x56f56a9e87ffd78cULL, 0x2dc2940d99f42bc6ULL,
534 0x98f7df096b096e2dULL, 0x19a6e01e3ad852bfULL,
535 0x42a99ccbdbd4b40bULL, 0xa59998af45e9c559ULL,
536 0x366295e807d93186ULL, 0x6b48181bfaa1f773ULL,
537 0x1fec57e2157a0a1dULL, 0x4667446af6201ad5ULL,
538 0xe615ebcacfb0f075ULL, 0xb8f31f4f68290778ULL,
539 0x22713ed6ce22d11eULL, 0x3057c1a72ec3c93bULL,
540 0xcb46acc37c3f1f2fULL, 0xdbb893fd02aaf50eULL,
541 0x331fd92e600b9fcfULL, 0xa498f96148ea3ad6ULL,
542 0xa8d8426e8b6a83eaULL, 0xa089b274b7735cdcULL,
543 0x87f6b3731e524a11ULL, 0x118808e5cbc96749ULL,
544 0x9906e4c7b19bd394ULL, 0xafed7f7e9b24a20cULL,
545 0x6509eadeeb3644a7ULL, 0x6c1ef1d3e8ef0edeULL,
546 0xb9c97d43e9798fb4ULL, 0xa2f2d784740c28a3ULL,
547 0x7b8496476197566fULL, 0x7a5be3e6b65f069dULL,
548 0xf96330ed78be6f10ULL, 0xeee60de77a076a15ULL,
549 0x2b4bee4aa08b9bd0ULL, 0x6a56a63ec7b8894eULL,
550 0x02121359ba34fef4ULL, 0x4cbf99f8283703fcULL,
551 0x398071350caf30c8ULL, 0xd0a77a89f017687aULL,
552 0xf1c1a9eb9e423569ULL, 0x8c7976282dee8199ULL,
553 0x5d1737a5dd1f7abdULL, 0x4f53433c09a9fa80ULL,
554 0xfa8b0c53df7ca1d9ULL, 0x3fd9dcbc886ccb77ULL,
555 0xc040917ca91b4720ULL, 0x7dd00142f9d1dcdfULL,
556 0x8476fc1d4f387b58ULL, 0x23f8e7c5f3316503ULL,
557 0x032a2244e7e37339ULL, 0x5c87a5d750f5a74bULL,
558 0x082b4cc43698992eULL, 0xdf917becb858f63cULL,
559 0x3270b8fc5bf86ddaULL, 0x10ae72bb29b5dd76ULL,
560 0x576ac94e7700362bULL, 0x1ad112dac61efb8fULL,
561 0x691bc30ec5faa427ULL, 0xff246311cc327143ULL,
562 0x3142368e30e53206ULL, 0x71380e31e02ca396ULL,
563 0x958d5c960aad76f1ULL, 0xf8d6f430c16da536ULL,
564 0xc8ffd13f1be7e1d2ULL, 0x7578ae66004ddbe1ULL,
565 0x05833f01067be646ULL, 0xbb34b5ad3bfe586dULL,
566 0x095f34c9a12b97f0ULL, 0x247ab64525d60ca8ULL,
567 0xdcdbc6f3017477d1ULL, 0x4a2e14d4decad24dULL,
568 0xbdb5e6d9be0a1eebULL, 0x2a7e70f7794301abULL,
569 0xdef42d8a270540fdULL, 0x01078ec0a34c22c1ULL,
570 0xe5de511af4c16387ULL, 0x7ebb3a52bd9a330aULL,
571 0x77697857aa7d6435ULL, 0x004e831603ae4c32ULL,
572 0xe7a21020ad78e312ULL, 0x9d41a70c6ab420f2ULL,
573 0x28e06c18ea1141e6ULL, 0xd2b28cbd984f6b28ULL,
574 0x26b75f6c446e9d83ULL, 0xba47568c4d418d7fULL,
575 0xd80badbfe6183d8eULL, 0x0e206d7f5f166044ULL,
576 0xe258a43911cbca3eULL, 0x723a1746b21dc0bcULL,
577 0xc7caa854f5d7cdd3ULL, 0x7cac32883d261d9cULL,
578 0x7690c26423ba942cULL, 0x17e55524478042b8ULL,
579 0xe0be477656a2389fULL, 0x4d289b5e67ab2da0ULL,
580 0x44862b9c8fbbfd31ULL, 0xb47cc8049d141365ULL,
581 0x822c1b362b91c793ULL, 0x4eb14655fb13dfd8ULL,
582 0x1ecbba0714e2a97bULL, 0x6143459d5cde5f14ULL,
583 0x53a8fbf1d5f0ac89ULL, 0x97ea04d81c5e5b00ULL,
584 0x622181a8d4fdb3f3ULL, 0xe9bcd341572a1208ULL,
585 0x1411258643cce58aULL, 0x9144c5fea4c6e0a4ULL,
586 0x0d33d06565cf620fULL, 0x54a48d489f219ca1ULL,
587 0xc43e5eac6d63c821ULL, 0xa9728b3a72770dafULL,
588 0xd7934e7b20df87efULL, 0xe35503b61a3e86e5ULL,
589 0xcae321fbc819d504ULL, 0x129a50b3ac60bfa6ULL,
590 0xcd5e68ea7e9fb6c3ULL, 0xb01c90199483b1c7ULL,
591 0x3de93cd5c295376cULL, 0xaed52edf2ab9ad13ULL,
592 0x2e60f512c0a07884ULL, 0xbc3d86a3e36210c9ULL,
593 0x35269d9b163951ceULL, 0x0c7d6e2ad0cdb5faULL,
594 0x59e86297d87f5733ULL, 0x298ef221898db0e7ULL,
595 0x55000029d1a5aa7eULL, 0x8bc08ae1b5061b45ULL,
596 0xc2c31c2b6c92703aULL, 0x94cc596baf25ef42ULL,
597 0x0a1d73db22540456ULL, 0x04b6a0f9d9c4179aULL,
598 0xeffdafa2ae3d3c60ULL, 0xf7c8075bb49496c4ULL,
599 0x9cc5c7141d1cd4e3ULL, 0x78bd1638218e5534ULL,
600 0xb2f11568f850246aULL, 0xedfabcfa9502bc29ULL,
601 0x796ce5f2da23051bULL, 0xaae128b0dc93537cULL,
602 0x3a493da0ee4b29aeULL, 0xb5df6b2c416895d7ULL,
603 0xfcabbd25122d7f37ULL, 0x70810b58105dc4b1ULL,
604 0xe10fdd37f7882a90ULL, 0x524dcab5518a3f5cULL,
605 0x3c9e85878451255bULL, 0x4029828119bd34e2ULL,
606 0x74a05b6f5d3ceccbULL, 0xb610021542e13ecaULL,
607 0x0ff979d12f59e2acULL, 0x6037da27e4f9cc50ULL,
608 0x5e92975a0df1847dULL, 0xd66de190d3e623feULL,
609 0x5032d6b87b568048ULL, 0x9a36b7ce8235216eULL,
610 0x80272a7a24f64b4aULL, 0x93efed8b8c6916f7ULL,
611 0x37ddbff44cce1555ULL, 0x4b95db5d4b99bd25ULL,
612 0x92d3fda169812fc0ULL, 0xfb1a4a9a90660bb6ULL,
613 0x730c196946a4b9b2ULL, 0x81e289aa7f49da68ULL,
614 0x64669a0f83b1a05fULL, 0x27b3ff7d9644f48bULL,
615 0xcc6b615c8db675b3ULL, 0x674f20b9bcebbe95ULL,
616 0x6f31238275655982ULL, 0x5ae488713e45cf05ULL,
617 0xbf619f9954c21157ULL, 0xeabac46040a8eae9ULL,
618 0x454c6fe9f2c0c1cdULL, 0x419cf6496412691cULL,
619 0xd3dc3bef265b0f70ULL, 0x6d0e60f5c3578a9eULL,
620 0x5b0e608526323c55ULL, 0x1a46c1a9fa1b59f5ULL,
621 0xa9e245a17c4c8ffaULL, 0x65ca5159db2955d7ULL,
622 0x05db0a76ce35afc2ULL, 0x81eac77ea9113d45ULL,
623 0x528ef88ab6ac0a0dULL, 0xa09ea253597be3ffULL,
624 0x430ddfb3ac48cd56ULL, 0xc4b3a67af45ce46fULL,
625 0x4ececfd8fbe2d05eULL, 0x3ef56f10b39935f0ULL,
626 0x0b22d6829cd619c6ULL, 0x17fd460a74df2069ULL,
627 0x6cf8cc8e8510ed40ULL, 0xd6c824bf3a6ecaa7ULL,
628 0x61243d581a817049ULL, 0x048bacb6bbc163a2ULL,
629 0xd9a38ac27d44cc32ULL, 0x7fddff5baaf410abULL,
630 0xad6d495aa804824bULL, 0xe1a6a74f2d8c9f94ULL,
631 0xd4f7851235dee8e3ULL, 0xfd4b7f886540d893ULL,
632 0x247c20042aa4bfdaULL, 0x096ea1c517d1327cULL,
633 0xd56966b4361a6685ULL, 0x277da5c31221057dULL,
634 0x94d59893a43acff7ULL, 0x64f0c51ccdc02281ULL,
635 0x3d33bcc4ff6189dbULL, 0xe005cb184ce66af1ULL,
636 0xff5ccd1d1db99beaULL, 0xb0b854a7fe42980fULL,
637 0x7bd46a6a718d4b9fULL, 0xd10fa8cc22a5fd8cULL,
638 0xd31484952be4bd31ULL, 0xc7fa975fcb243847ULL,
639 0x4886ed1e5846c407ULL, 0x28cddb791eb70b04ULL,
640 0xc2b00be2f573417fULL, 0x5c9590452180f877ULL,
641 0x7a6bddfff370eb00ULL, 0xce509e38d6d9d6a4ULL,
642 0xebeb0f00647fa702ULL, 0x1dcc06cf76606f06ULL,
643 0xe4d9f28ba286ff0aULL, 0xd85a305dc918c262ULL,
644 0x475b1d8732225f54ULL, 0x2d4fb51668ccb5feULL,
645 0xa679b9d9d72bba20ULL, 0x53841c0d912d43a5ULL,
646 0x3b7eaa48bf12a4e8ULL, 0x781e0e47f22f1ddfULL,
647 0xeff20ce60ab50973ULL, 0x20d261d19dffb742ULL,
648 0x16a12b03062a2e39ULL, 0x1960eb2239650495ULL,
649 0x251c16fed50eb8b8ULL, 0x9ac0c330f826016eULL,
650 0xed152665953e7671ULL, 0x02d63194a6369570ULL,
651 0x5074f08394b1c987ULL, 0x70ba598c90b25ce1ULL,
652 0x794a15810b9742f6ULL, 0x0d5925e9fcaf8c6cULL,
653 0x3067716cd868744eULL, 0x910ab077e8d7731bULL,
654 0x6a61bbdb5ac42f61ULL, 0x93513efbf0851567ULL,
655 0xf494724b9e83e9d5ULL, 0xe887e1985c09648dULL,
656 0x34b1d3c675370cfdULL, 0xdc35e433bc0d255dULL,
657 0xd0aab84234131be0ULL, 0x08042a50b48b7eafULL,
658 0x9997c4ee44a3ab35ULL, 0x829a7b49201799d0ULL,
659 0x263b8307b7c54441ULL, 0x752f95f4fd6a6ca6ULL,
660 0x927217402c08c6e5ULL, 0x2a8ab754a795d9eeULL,
661 0xa442f7552f72943dULL, 0x2c31334e19781208ULL,
662 0x4fa98d7ceaee6291ULL, 0x55c3862f665db309ULL,
663 0xbd0610175d53b1f3ULL, 0x46fe6cb840413f27ULL,
664 0x3fe03792df0cfa59ULL, 0xcfe700372eb85e8fULL,
665 0xa7be29e7adbce118ULL, 0xe544ee5cde8431ddULL,
666 0x8a781b1b41f1873eULL, 0xa5c94c78a0d2f0e7ULL,
667 0x39412e2877b60728ULL, 0xa1265ef3afc9a62cULL,
668 0xbcc2770c6a2506c5ULL, 0x3ab66dd5dce1ce12ULL,
669 0xe65499d04a675b37ULL, 0x7d8f523481bfd216ULL,
670 0x0f6f64fcec15f389ULL, 0x74efbe618b5b13c8ULL,
671 0xacdc82b714273e1dULL, 0xdd40bfe003199d17ULL,
672 0x37e99257e7e061f8ULL, 0xfa52626904775aaaULL,
673 0x8bbbf63a463d56f9ULL, 0xf0013f1543a26e64ULL,
674 0xa8307e9f879ec898ULL, 0xcc4c27a4150177ccULL,
675 0x1b432f2cca1d3348ULL, 0xde1d1f8f9f6fa013ULL,
676 0x606602a047a7ddd6ULL, 0xd237ab64cc1cb2c7ULL,
677 0x9b938e7225fcd1d3ULL, 0xec4e03708e0ff476ULL,
678 0xfeb2fbda3d03c12dULL, 0xae0bced2ee43889aULL,
679 0x22cb8923ebfb4f43ULL, 0x69360d013cf7396dULL,
680 0x855e3602d2d4e022ULL, 0x073805bad01f784cULL,
681 0x33e17a133852f546ULL, 0xdf4874058ac7b638ULL,
682 0xba92b29c678aa14aULL, 0x0ce89fc76cfaadcdULL,
683 0x5f9d4e0908339e34ULL, 0xf1afe9291f5923b9ULL,
684 0x6e3480f60f4a265fULL, 0xeebf3a2ab29b841cULL,
685 0xe21938a88f91b4adULL, 0x57dfeff845c6d3c3ULL,
686 0x2f006b0bf62caaf2ULL, 0x62f479ef6f75ee78ULL,
687 0x11a55ad41c8916a9ULL, 0xf229d29084fed453ULL,
688 0x42f1c27b16b000e6ULL, 0x2b1f76749823c074ULL,
689 0x4b76eca3c2745360ULL, 0x8c98f463b91691bdULL,
690 0x14bcc93cf1ade66aULL, 0x8885213e6d458397ULL,
691 0x8e177df0274d4711ULL, 0xb49b73b5503f2951ULL,
692 0x10168168c3f96b6bULL, 0x0e3d963b63cab0aeULL,
693 0x8dfc4b5655a1db14ULL, 0xf789f1356e14de5cULL,
694 0x683e68af4e51dac1ULL, 0xc9a84f9d8d4b0fd9ULL,
695 0x3691e03f52a0f9d1ULL, 0x5ed86e46e1878e80ULL,
696 0x3c711a0e99d07150ULL, 0x5a0865b20c4e9310ULL,
697 0x56fbfc1fe4f0682eULL, 0xea8d5de3105edf9bULL,
698 0x71abfdb12379187aULL, 0x2eb99de1bee77b9cULL,
699 0x21ecc0ea33cf4523ULL, 0x59a4d7521805c7a1ULL,
700 0x3896f5eb56ae7c72ULL, 0xaa638f3db18f75dcULL,
701 0x9f39358dabe9808eULL, 0xb7defa91c00b72acULL,
702 0x6b5541fd62492d92ULL, 0x6dc6dee8f92e4d5bULL,
703 0x353f57abc4beea7eULL, 0x735769d6da5690ceULL,
704 0x0a234aa642391484ULL, 0xf6f9508028f80d9dULL,
705 0xb8e319a27ab3f215ULL, 0x31ad9c1151341a4dULL,
706 0x773c22a57bef5805ULL, 0x45c7561a07968633ULL,
707 0xf913da9e249dbe36ULL, 0xda652d9b78a64c68ULL,
708 0x4c27a97f3bc334efULL, 0x76621220e66b17f4ULL,
709 0x967743899acd7d0bULL, 0xf3ee5bcae0ed6782ULL,
710 0x409f753600c879fcULL, 0x06d09a39b5926db6ULL,
711 0x6f83aeb0317ac588ULL, 0x01e6ca4a86381f21ULL,
712 0x66ff3462d19f3025ULL, 0x72207c24ddfd3bfbULL,
713 0x4af6b6d3e2ece2ebULL, 0x9c994dbec7ea08deULL,
714 0x49ace597b09a8bc4ULL, 0xb38c4766cf0797baULL,
715 0x131b9373c57c2a75ULL, 0xb1822cce61931e58ULL,
716 0x9d7555b909ba1c0cULL, 0x127fafdd937d11d2ULL,
717 0x29da3badc66d92e4ULL, 0xa2c1d57154c2ecbcULL,
718 0x58c5134d82f6fe24ULL, 0x1c3ae3515b62274fULL,
719 0xe907c82e01cb8126ULL, 0xf8ed091913e37fcbULL,
720 0x3249d8f9c80046c9ULL, 0x80cf9bede388fb63ULL,
721 0x1881539a116cf19eULL, 0x5103f3f76bd52457ULL,
722 0x15b7e6f5ae47f7a8ULL, 0xdbd7c6ded47e9ccfULL,
723 0x44e55c410228bb1aULL, 0xb647d4255edb4e99ULL,
724 0x5d11882bb8aafc30ULL, 0xf5098bbb29d3212aULL,
725 0x8fb5ea14e90296b3ULL, 0x677b942157dd025aULL,
726 0xfb58e7c0a390acb5ULL, 0x89d3674c83bd4a01ULL,
727 0x9e2da4df4bf3b93bULL, 0xfcc41e328cab4829ULL,
728 0x03f38c96ba582c52ULL, 0xcad1bdbd7fd85db2ULL,
729 0xbbb442c16082ae83ULL, 0xb95fe86ba5da9ab0ULL,
730 0xb22e04673771a93fULL, 0x845358c9493152d8ULL,
731 0xbe2a488697b4541eULL, 0x95a2dc2dd38e6966ULL,
732 0xc02c11ac923c852bULL, 0x2388b1990df2a87bULL,
733 0x7c8008fa1b4f37beULL, 0x1f70d0c84d54e503ULL,
734 0x5490adec7ece57d4ULL, 0x002b3c27d9063a3aULL,
735 0x7eaea3848030a2bfULL, 0xc602326ded2003c0ULL,
736 0x83a7287d69a94086ULL, 0xc57a5fcb30f57a8aULL,
737 0xb56844e479ebe779ULL, 0xa373b40f05dcbce9ULL,
738 0xd71a786e88570ee2ULL, 0x879cbacdbde8f6a0ULL,
739 0x976ad1bcc164a32fULL, 0xab21e25e9666d78bULL,
740 0x901063aae5e5c33cULL, 0x9818b34448698d90ULL,
741 0xe36487ae3e1e8abbULL, 0xafbdf931893bdcb4ULL,
742 0x6345a0dc5fbbd519ULL, 0x8628fe269b9465caULL,
743 0x1e5d01603f9c51ecULL, 0x4de44006a15049b7ULL,
744 0xbf6c70e5f776cbb1ULL, 0x411218f2ef552bedULL,
745 0xcb0c0708705a36a3ULL, 0xe74d14754f986044ULL,
746 0xcd56d9430ea8280eULL, 0xc12591d7535f5065ULL,
747 0xc83223f1720aef96ULL, 0xc3a0396f7363a51fULL
748};