From 2ae5dacf11bb1e2ed4bbe40e9268f23c533833c6 Mon Sep 17 00:00:00 2001 From: fredrik Date: Sat, 5 Nov 2005 01:35:03 +0000 Subject: [PATCH] Add tigersum. git-svn-id: svn+ssh://svn.dolda2000.com/srv/svn/repos/src/doldaconnect@457 959494ce-11ee-0310-bf91-de5d638817bd --- config/Makefile.am | 3 +- config/tigersum.c | 1217 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 1219 insertions(+), 1 deletion(-) create mode 100644 config/tigersum.c diff --git a/config/Makefile.am b/config/Makefile.am index 56c357c..e04f9df 100644 --- a/config/Makefile.am +++ b/config/Makefile.am @@ -1,9 +1,10 @@ -bin_PROGRAMS=locktouch +bin_PROGRAMS=locktouch tigersum libexec_PROGRAMS=speedrec speedrec_SOURCES=speedrec.c locktouch_SOURCES=locktouch.c +tigersum_SOURCES=tigersum.c EXTRA_DIST=doldacond.conf dc-filter dc-filtercmd diff --git a/config/tigersum.c b/config/tigersum.c new file mode 100644 index 0000000..236cbfe --- /dev/null +++ b/config/tigersum.c @@ -0,0 +1,1217 @@ +/* + * Dolda Connect - Modular multiuser Direct Connect-style client + * Copyright (C) 2004 Fredrik Tolf (fredrik@dolda2000.com) + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +*/ + +/* This frankenfile is built from bits and pieces of the daemon. The + * copying and pasting is very ugly, but it doesn't *really* + * matter. */ + +#include +#include +#include +#include +#include +#include + +#ifdef HAVE_CONFIG_H +#include +#endif + +struct tigerhash { + unsigned long long a, b, c; + unsigned char block[64]; + int offset; + size_t len; +}; + +struct tigertreehash { + int blocks; + char block[1024]; + int offset; + char stack[64][24]; + int depth; +}; + +char buf[32768], dbuf[512]; + +static char *base64set = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"; +static int base64rev[] = { + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 62, -1, -1, -1, 63, + 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, -1, -1, -1, -1, + -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, -1, -1, -1, -1, -1, + -1, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, + 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, +}; +static char *base32set = "ABCDEFGHIJKLMNOPQRSTUVWXYZ234567"; +static int base32rev[] = { + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, 26, 27, 28, 29, 30, 31, -1, -1, -1, -1, -1, -1, -1, -1, + -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, -1, -1, -1, -1, -1, + -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, +}; + +static unsigned long long table[]; + +void inittiger(struct tigerhash *th) +{ + th->a = 0x0123456789abcdefULL; + th->b = 0xfedcba9876543210ULL; + th->c = 0xf096a5b4c3b2e187ULL; + th->offset = 0; + th->len = 0; +} + +static void round(unsigned long long *a, unsigned long long *b, unsigned long long *c, unsigned long long x, int mul) +{ + *c ^= x; + *a -= table[((*c >> 0) & 0xff) + 0x0000] ^ table[((*c >> 16) & 0xff) + 0x0100] ^ table[((*c >> 32) & 0xff) + 0x0200] ^ table[((*c >> 48) & 0xff) + 0x0300]; + *b += table[((*c >> 8) & 0xff) + 0x0300] ^ table[((*c >> 24) & 0xff) + 0x0200] ^ table[((*c >> 40) & 0xff) + 0x0100] ^ table[((*c >> 56) & 0xff) + 0x0000]; + *b *= mul; +} + +static void pass(unsigned long long *a, unsigned long long *b, unsigned long long *c, unsigned long long *x, int mul) +{ + round(a, b, c, x[0], mul); + round(b, c, a, x[1], mul); + round(c, a, b, x[2], mul); + round(a, b, c, x[3], mul); + round(b, c, a, x[4], mul); + round(c, a, b, x[5], mul); + round(a, b, c, x[6], mul); + round(b, c, a, x[7], mul); +} + +static void key_schedule(unsigned long long *x) +{ + x[0] -= x[7] ^ 0xa5a5a5a5a5a5a5a5ULL; + x[1] ^= x[0]; + x[2] += x[1]; + x[3] -= x[2] ^ ((~x[1]) << 19); + x[4] ^= x[3]; + x[5] += x[4]; + x[6] -= x[5] ^ ((~x[4]) >> 23); + x[7] ^= x[6]; + x[0] += x[7]; + x[1] -= x[0] ^ ((~x[7]) << 19); + x[2] ^= x[1]; + x[3] += x[2]; + x[4] -= x[3] ^ ((~x[2]) >> 23); + x[5] ^= x[4]; + x[6] += x[5]; + x[7] -= x[6] ^ 0x0123456789abcdefULL; +} + +static void doblock(struct tigerhash *th) +{ + int i, o; + unsigned long long x[8], aa, bb, cc; + + for(i = 0; i < 8; i++) { + x[i] = 0; + for(o = 0; o < 8; o++) { + x[i] <<= 8; + x[i] |= th->block[(i * 8) + 7 - o]; + } + } + aa = th->a; + bb = th->b; + cc = th->c; + pass(&th->a, &th->b, &th->c, x, 5); + key_schedule(x); + pass(&th->c, &th->a, &th->b, x, 7); + key_schedule(x); + pass(&th->b, &th->c, &th->a, x, 9); + th->a ^= aa; + th->b -= bb; + th->c += cc; + th->offset = 0; +} + +void dotiger(struct tigerhash *th, char *buf, size_t buflen) +{ + int taken; + + th->len += buflen; + while(buflen > 0) { + taken = buflen; + if(taken > 64 - th->offset) + taken = 64 - th->offset; + memcpy(th->block + th->offset, buf, taken); + th->offset += taken; + buflen -= taken; + buf += taken; + if(th->offset == 64) + doblock(th); + } +} + +void synctiger(struct tigerhash *th) +{ + int i; + unsigned long long buf; + + th->block[th->offset++] = 1; + while(th->offset & 7) + th->block[th->offset++] = 0; + if(th->offset > 56) + doblock(th); + if(th->offset < 56) + memset(th->block + th->offset, 0, 56 - th->offset); + buf = th->len << 3; + for(i = 0; i < 8; i++) { + th->block[56 + i] = buf & 0xff; + buf >>= 8; + } + doblock(th); +} + +void restiger(struct tigerhash *th, char *rbuf) +{ + int i; + unsigned long long buf; + + buf = th->a; + for(i = 0; i < 8; i++) { + rbuf[i] = buf & 0xff; + buf >>= 8; + } + buf = th->b; + for(; i < 16; i++) { + rbuf[i] = buf & 0xff; + buf >>= 8; + } + buf = th->c; + for(; i < 24; i++) { + rbuf[i] = buf & 0xff; + buf >>= 8; + } +} + +void inittigertree(struct tigertreehash *tth) +{ + tth->blocks = 0; + tth->offset = 0; + tth->depth = 0; +} + +static void combine(struct tigertreehash *tth) +{ + struct tigerhash th; + + inittiger(&th); + dotiger(&th, "\001", 1); + tth->depth--; + dotiger(&th, tth->stack[tth->depth - 1], 24); + dotiger(&th, tth->stack[tth->depth], 24); + synctiger(&th); + restiger(&th, tth->stack[tth->depth - 1]); +} + +void pushtigertree(struct tigertreehash *tth, char *buf) +{ + int nb; + + memcpy(tth->stack[tth->depth++], buf, 24); + for(nb = ++tth->blocks; !(nb & 1); nb >>= 1) + combine(tth); +} + +static void dotreeblock(struct tigertreehash *tth) +{ + struct tigerhash th; + int nb; + + inittiger(&th); + dotiger(&th, "\0", 1); + dotiger(&th, tth->block, tth->offset); + synctiger(&th); + restiger(&th, tth->stack[tth->depth++]); + tth->offset = 0; + for(nb = ++tth->blocks; !(nb & 1); nb >>= 1) + combine(tth); +} + +void dotigertree(struct tigertreehash *tth, char *buf, size_t buflen) +{ + int taken; + + while(buflen > 0) { + taken = buflen; + if(taken > 1024 - tth->offset) + taken = 1024 - tth->offset; + memcpy(tth->block + tth->offset, buf, taken); + tth->offset += taken; + buflen -= taken; + buf += taken; + if(tth->offset == 1024) + dotreeblock(tth); + } +} + +void synctigertree(struct tigertreehash *tth) +{ + if((tth->offset > 0) || (tth->blocks == 0)) + dotreeblock(tth); + while(tth->depth > 1) + combine(tth); +} + +void restigertree(struct tigertreehash *tth, char *rbuf) +{ + memcpy(rbuf, tth->stack[0], 24); +} + +void hexencode(char *dest, char *data, size_t datalen) +{ + char this; + int off; + int dig; + + off = 0; + for(; datalen > 0; datalen--, data++) + { + dig = (*data & 0xF0) >> 4; + if(dig > 9) + this = 'A' + dig - 10; + else + this = dig + '0'; + dest[off++] = this; + dig = *data & 0x0F; + if(dig > 9) + this = 'A' + dig - 10; + else + this = dig + '0'; + dest[off++] = this; + } + dest[off] = 0; +} + +int hexdecode(char *dest, char *data, size_t *len) +{ + char this; + int off; + + off = 0; + for(; *data; data++) + { + if((*data >= 'A') && (*data <= 'F')) + { + this = (this & 0x0F) | ((*data - 'A' + 10) << 4); + } else if((*data >= '0') && (*data <= '9')) { + this = (this & 0x0F) | ((*data - '0') << 4); + } else { + return(-1); + } + data++; + if(!*data) + return(-1); + if((*data >= 'A') && (*data <= 'F')) + { + this = (this & 0xF0) | (*data - 'A' + 10); + } else if((*data >= '0') && (*data <= '9')) { + this = (this & 0xF0) | (*data - '0'); + } else { + return(-1); + } + dest[off++] = this; + } + dest[off] = 0; + if(len != NULL) + *len = off; + return(0); +} + +void base64encode(char *dest, char *data, size_t datalen) +{ + int off; + + if(datalen == 0) { + dest[0] = 0; + return; + } + off = 0; + while(datalen >= 3) + { + dest[off++] = base64set[(data[0] & 0xfc) >> 2]; + dest[off++] = base64set[((data[0] & 0x03) << 4) | ((data[1] & 0xf0) >> 4)]; + dest[off++] = base64set[((data[1] & 0x0f) << 2) | ((data[2] & 0xc0) >> 6)]; + dest[off++] = base64set[data[2] & 0x3f]; + datalen -= 3; + data += 3; + } + if(datalen == 1) + { + dest[off++] = base64set[(data[0] & 0xfc) >> 2]; + dest[off++] = base64set[(data[0] & 0x03) << 4]; + dest[off++] = '='; + dest[off++] = '='; + } + if(datalen == 2) + { + dest[off++] = base64set[(data[0] & 0xfc) >> 2]; + dest[off++] = base64set[((data[0] & 0x03) << 4) | ((data[1] & 0xf0) >> 4)]; + dest[off++] = base64set[(data[1] & 0x0f) << 2]; + dest[off++] = '='; + } + dest[off] = 0; +} + +int base64decode(char *dest, char *data, size_t *datalen) +{ + int b, c; + char cur; + int off; + + off = 0; + cur = 0; + b = 8; + for(; *data > 0; data++) + { + c = (int)(unsigned char)*data; + if(c == '=') + break; + if(c == '\n') + continue; + if(base64rev[c] == -1) + return(-1); + b -= 6; + if(b <= 0) + { + cur |= base64rev[c] >> -b; + dest[off++] = cur; + b += 8; + cur = 0; + } + cur |= base64rev[c] << b; + } + if(datalen != NULL) + *datalen = off; + dest[off] = 0; + return(0); +} + +void base32encode(char *dest, char *data, size_t datalen) +{ + int off; + + if(datalen == 0) { + dest[0] = 0; + return; + } + off = 0; + while(datalen >= 5) + { + dest[off++] = base32set[((data[0] & 0xf8) >> 3)]; + dest[off++] = base32set[((data[0] & 0x07) << 2) | ((data[1] & 0xc0) >> 6)]; + dest[off++] = base32set[((data[1] & 0x3e) >> 1)]; + dest[off++] = base32set[((data[1] & 0x01) << 4) | ((data[2] & 0xf0) >> 4)]; + dest[off++] = base32set[((data[2] & 0x0f) << 1) | ((data[3] & 0x80) >> 7)]; + dest[off++] = base32set[((data[3] & 0x7c) >> 2)]; + dest[off++] = base32set[((data[3] & 0x03) << 3) | ((data[4] & 0xe0) >> 5)]; + dest[off++] = base32set[data[4] & 0x1f]; + datalen -= 5; + data += 5; + } + if(datalen == 1) + { + dest[off++] = base32set[((data[0] & 0xf8) >> 3)]; + dest[off++] = base32set[((data[0] & 0x07) << 2)]; + memcpy(dest + off, "======", 6); + off += 6; + } + if(datalen == 2) + { + dest[off++] = base32set[((data[0] & 0xf8) >> 3)]; + dest[off++] = base32set[((data[0] & 0x07) << 2) | ((data[1] & 0xc0) >> 6)]; + dest[off++] = base32set[((data[1] & 0x3e) >> 1)]; + dest[off++] = base32set[((data[1] & 0x01) << 4)]; + memcpy(dest + off, "====", 4); + off += 4; + } + if(datalen == 3) + { + dest[off++] = base32set[((data[0] & 0xf8) >> 3)]; + dest[off++] = base32set[((data[0] & 0x07) << 2) | ((data[1] & 0xc0) >> 6)]; + dest[off++] = base32set[((data[1] & 0x3e) >> 1)]; + dest[off++] = base32set[((data[1] & 0x01) << 4) | ((data[2] & 0xf0) >> 4)]; + dest[off++] = base32set[((data[2] & 0x0f) << 1)]; + memcpy(dest + off, "===", 3); + off += 3; + } + if(datalen == 4) + { + dest[off++] = base32set[((data[0] & 0xf8) >> 3)]; + dest[off++] = base32set[((data[0] & 0x07) << 2) | ((data[1] & 0xc0) >> 6)]; + dest[off++] = base32set[((data[1] & 0x3e) >> 1)]; + dest[off++] = base32set[((data[1] & 0x01) << 4) | ((data[2] & 0xf0) >> 4)]; + dest[off++] = base32set[((data[2] & 0x0f) << 1) | ((data[3] & 0x80) >> 7)]; + dest[off++] = base32set[((data[3] & 0x7c) >> 2)]; + dest[off++] = base32set[((data[3] & 0x03) << 3)]; + dest[off++] = '='; + } + dest[off] = 0; +} + +int base32decode(char *dest, char *data, size_t *datalen) +{ + int b, c; + char cur; + int off; + + off = 0; + cur = 0; + b = 8; + for(; *data > 0; data++) + { + c = (int)(unsigned char)*data; + if(c == '=') + break; + if(c == '\n') + continue; + if(base32rev[c] == -1) + return(-1); + b -= 5; + if(b <= 0) + { + cur |= base32rev[c] >> -b; + dest[off++] = cur; + b += 8; + cur = 0; + } + cur |= base32rev[c] << b; + } + if(datalen != NULL) + *datalen = off; + dest[off] = 0; + return(0); +} + +int main(int argc, char **argv) +{ + int i, ret; + int c, fd, outfd; + int len, len2; + int filter, output; + struct tigertreehash tth; + char res[24]; + char *statefile; + FILE *state; + + filter = 0; + output = 4; + outfd = 3; + statefile = NULL; + while((c = getopt(argc, argv, "hf456F:s:")) != -1) { + switch(c) { + case '4': + case '5': + case '6': + output = c - '0'; + break; + case 'f': + filter = 1; + break; + case 'F': + outfd = atoi(optarg); + break; + case 's': + statefile = optarg; + break; + case 'h': + case ':': + case '?': + default: + fprintf(stderr, "usage: tigersum [-h456] FILE...\n"); + fprintf(stderr, " tigersum [-h456] [-F OUTFD] [-s STATEFILE] -f\n"); + exit((c == 'h')?0:1); + } + } + if(filter) { + inittigertree(&tth); + if(statefile != NULL) + { + if(((state = fopen(statefile, "r")) == NULL) && (errno != ENOENT)) { + fprintf(stderr, "tigersum: %s: %s\n", statefile, strerror(errno)); + exit(1); + } + if(state != NULL) { + if(fgets(buf, sizeof(buf), state) == NULL) { + fprintf(stderr, "tigersum: %s: could not read entire state\n", statefile); + exit(1); + } + tth.blocks = atoi(buf); + if(fgets(buf, sizeof(buf), state) == NULL) { + fprintf(stderr, "tigersum: %s: could not read entire state\n", statefile); + exit(1); + } + tth.depth = atoi(buf); + for(i = 0; i < tth.depth; i++) { + if(fgets(buf, sizeof(buf), state) == NULL) { + fprintf(stderr, "tigersum: %s: could not read entire state\n", statefile); + exit(1); + } + base64decode(dbuf, buf, &ret); + if(ret != 24) { + fprintf(stderr, "tigersum: %s: illegal state\n", statefile); + exit(1); + } + memcpy(tth.stack[i], dbuf, 24); + } + if(fgets(buf, sizeof(buf), state) == NULL) { + fprintf(stderr, "tigersum: %s: could not read entire state\n", statefile); + exit(1); + } + tth.offset = atoi(buf); + if(fgets(buf, sizeof(buf), state) == NULL) { + fprintf(stderr, "tigersum: %s: could not read entire state\n", statefile); + exit(1); + } + base64decode(dbuf, buf, &ret); + if(ret != tth.offset) { + fprintf(stderr, "tigersum: %s: illegal state\n", statefile); + exit(1); + } + memcpy(&tth.block, dbuf, tth.offset); + fclose(state); + } + } + while(1) { + ret = read(0, buf, sizeof(buf)); + if(ret < 0) { + perror("tigersum: read"); + exit(1); + } + if(ret == 0) + break; + len = ret; + for(len2 = 0; len2 < len; len2 += ret) { + if((ret = write(1, buf, ret)) < 0) { + perror("tigersum: write"); + exit(1); + } + } + dotigertree(&tth, buf, len); + } + if(statefile != NULL) { + if((state = fopen(statefile, "w")) == NULL) { + fprintf(stderr, "tigersum: %s: %s\n", statefile, strerror(errno)); + exit(1); + } + fprintf(state, "%i\n", tth.blocks); + fprintf(state, "%i\n", tth.depth); + for(i = 0; i < tth.depth; i++) { + base64encode(dbuf, tth.stack[i], 24); + fprintf(state, "%s\n", dbuf); + } + fprintf(state, "%i\n", tth.offset); + base64encode(dbuf, tth.block, tth.offset); + fputs(dbuf, state); + fputc('\n', state); + fclose(state); + } + synctigertree(&tth); + restigertree(&tth, res); + if(output == 4) + hexencode(dbuf, res, 24); + else if(output == 5) + base32encode(dbuf, res, 24); + else if(output == 6) + base64encode(dbuf, res, 24); + for(len = 0; len < strlen(dbuf); len += ret) { + if((ret = write(outfd, dbuf + len, strlen(dbuf) - len)) < 0) { + perror("tigersum: output"); + exit(1); + } + } + write(outfd, "\n", 1); + } else { + for(i = optind; i < argc; i++) { + if(!strcmp(argv[i], "-")) { + fd = 0; + } else { + if((fd = open(argv[i], O_RDONLY)) < 0) { + fprintf(stderr, "tigersum: %s: %s\n", argv[i], strerror(errno)); + exit(1); + } + } + inittigertree(&tth); + while(1) { + ret = read(fd, buf, sizeof(buf)); + if(ret < 0) { + perror("tigersum: read"); + exit(1); + } + if(ret == 0) + break; + dotigertree(&tth, buf, ret); + } + synctigertree(&tth); + restigertree(&tth, res); + if(output == 4) + hexencode(dbuf, res, 24); + else if(output == 5) + base32encode(dbuf, res, 24); + else if(output == 6) + base64encode(dbuf, res, 24); + if(argc - optind > 1) + printf("%s %s\n", dbuf, argv[i]); + else + printf("%s\n", dbuf); + close(fd); + } + } + return(0); +} + +static unsigned long long table[1024] = { + 0x02aab17cf7e90c5eULL, 0xac424b03e243a8ecULL, + 0x72cd5be30dd5fcd3ULL, 0x6d019b93f6f97f3aULL, + 0xcd9978ffd21f9193ULL, 0x7573a1c9708029e2ULL, + 0xb164326b922a83c3ULL, 0x46883eee04915870ULL, + 0xeaace3057103ece6ULL, 0xc54169b808a3535cULL, + 0x4ce754918ddec47cULL, 0x0aa2f4dfdc0df40cULL, + 0x10b76f18a74dbefaULL, 0xc6ccb6235ad1ab6aULL, + 0x13726121572fe2ffULL, 0x1a488c6f199d921eULL, + 0x4bc9f9f4da0007caULL, 0x26f5e6f6e85241c7ULL, + 0x859079dbea5947b6ULL, 0x4f1885c5c99e8c92ULL, + 0xd78e761ea96f864bULL, 0x8e36428c52b5c17dULL, + 0x69cf6827373063c1ULL, 0xb607c93d9bb4c56eULL, + 0x7d820e760e76b5eaULL, 0x645c9cc6f07fdc42ULL, + 0xbf38a078243342e0ULL, 0x5f6b343c9d2e7d04ULL, + 0xf2c28aeb600b0ec6ULL, 0x6c0ed85f7254bcacULL, + 0x71592281a4db4fe5ULL, 0x1967fa69ce0fed9fULL, + 0xfd5293f8b96545dbULL, 0xc879e9d7f2a7600bULL, + 0x860248920193194eULL, 0xa4f9533b2d9cc0b3ULL, + 0x9053836c15957613ULL, 0xdb6dcf8afc357bf1ULL, + 0x18beea7a7a370f57ULL, 0x037117ca50b99066ULL, + 0x6ab30a9774424a35ULL, 0xf4e92f02e325249bULL, + 0x7739db07061ccae1ULL, 0xd8f3b49ceca42a05ULL, + 0xbd56be3f51382f73ULL, 0x45faed5843b0bb28ULL, + 0x1c813d5c11bf1f83ULL, 0x8af0e4b6d75fa169ULL, + 0x33ee18a487ad9999ULL, 0x3c26e8eab1c94410ULL, + 0xb510102bc0a822f9ULL, 0x141eef310ce6123bULL, + 0xfc65b90059ddb154ULL, 0xe0158640c5e0e607ULL, + 0x884e079826c3a3cfULL, 0x930d0d9523c535fdULL, + 0x35638d754e9a2b00ULL, 0x4085fccf40469dd5ULL, + 0xc4b17ad28be23a4cULL, 0xcab2f0fc6a3e6a2eULL, + 0x2860971a6b943fcdULL, 0x3dde6ee212e30446ULL, + 0x6222f32ae01765aeULL, 0x5d550bb5478308feULL, + 0xa9efa98da0eda22aULL, 0xc351a71686c40da7ULL, + 0x1105586d9c867c84ULL, 0xdcffee85fda22853ULL, + 0xccfbd0262c5eef76ULL, 0xbaf294cb8990d201ULL, + 0xe69464f52afad975ULL, 0x94b013afdf133e14ULL, + 0x06a7d1a32823c958ULL, 0x6f95fe5130f61119ULL, + 0xd92ab34e462c06c0ULL, 0xed7bde33887c71d2ULL, + 0x79746d6e6518393eULL, 0x5ba419385d713329ULL, + 0x7c1ba6b948a97564ULL, 0x31987c197bfdac67ULL, + 0xde6c23c44b053d02ULL, 0x581c49fed002d64dULL, + 0xdd474d6338261571ULL, 0xaa4546c3e473d062ULL, + 0x928fce349455f860ULL, 0x48161bbacaab94d9ULL, + 0x63912430770e6f68ULL, 0x6ec8a5e602c6641cULL, + 0x87282515337ddd2bULL, 0x2cda6b42034b701bULL, + 0xb03d37c181cb096dULL, 0xe108438266c71c6fULL, + 0x2b3180c7eb51b255ULL, 0xdf92b82f96c08bbcULL, + 0x5c68c8c0a632f3baULL, 0x5504cc861c3d0556ULL, + 0xabbfa4e55fb26b8fULL, 0x41848b0ab3baceb4ULL, + 0xb334a273aa445d32ULL, 0xbca696f0a85ad881ULL, + 0x24f6ec65b528d56cULL, 0x0ce1512e90f4524aULL, + 0x4e9dd79d5506d35aULL, 0x258905fac6ce9779ULL, + 0x2019295b3e109b33ULL, 0xf8a9478b73a054ccULL, + 0x2924f2f934417eb0ULL, 0x3993357d536d1bc4ULL, + 0x38a81ac21db6ff8bULL, 0x47c4fbf17d6016bfULL, + 0x1e0faadd7667e3f5ULL, 0x7abcff62938beb96ULL, + 0xa78dad948fc179c9ULL, 0x8f1f98b72911e50dULL, + 0x61e48eae27121a91ULL, 0x4d62f7ad31859808ULL, + 0xeceba345ef5ceaebULL, 0xf5ceb25ebc9684ceULL, + 0xf633e20cb7f76221ULL, 0xa32cdf06ab8293e4ULL, + 0x985a202ca5ee2ca4ULL, 0xcf0b8447cc8a8fb1ULL, + 0x9f765244979859a3ULL, 0xa8d516b1a1240017ULL, + 0x0bd7ba3ebb5dc726ULL, 0xe54bca55b86adb39ULL, + 0x1d7a3afd6c478063ULL, 0x519ec608e7669eddULL, + 0x0e5715a2d149aa23ULL, 0x177d4571848ff194ULL, + 0xeeb55f3241014c22ULL, 0x0f5e5ca13a6e2ec2ULL, + 0x8029927b75f5c361ULL, 0xad139fabc3d6e436ULL, + 0x0d5df1a94ccf402fULL, 0x3e8bd948bea5dfc8ULL, + 0xa5a0d357bd3ff77eULL, 0xa2d12e251f74f645ULL, + 0x66fd9e525e81a082ULL, 0x2e0c90ce7f687a49ULL, + 0xc2e8bcbeba973bc5ULL, 0x000001bce509745fULL, + 0x423777bbe6dab3d6ULL, 0xd1661c7eaef06eb5ULL, + 0xa1781f354daacfd8ULL, 0x2d11284a2b16affcULL, + 0xf1fc4f67fa891d1fULL, 0x73ecc25dcb920adaULL, + 0xae610c22c2a12651ULL, 0x96e0a810d356b78aULL, + 0x5a9a381f2fe7870fULL, 0xd5ad62ede94e5530ULL, + 0xd225e5e8368d1427ULL, 0x65977b70c7af4631ULL, + 0x99f889b2de39d74fULL, 0x233f30bf54e1d143ULL, + 0x9a9675d3d9a63c97ULL, 0x5470554ff334f9a8ULL, + 0x166acb744a4f5688ULL, 0x70c74caab2e4aeadULL, + 0xf0d091646f294d12ULL, 0x57b82a89684031d1ULL, + 0xefd95a5a61be0b6bULL, 0x2fbd12e969f2f29aULL, + 0x9bd37013feff9fe8ULL, 0x3f9b0404d6085a06ULL, + 0x4940c1f3166cfe15ULL, 0x09542c4dcdf3defbULL, + 0xb4c5218385cd5ce3ULL, 0xc935b7dc4462a641ULL, + 0x3417f8a68ed3b63fULL, 0xb80959295b215b40ULL, + 0xf99cdaef3b8c8572ULL, 0x018c0614f8fcb95dULL, + 0x1b14accd1a3acdf3ULL, 0x84d471f200bb732dULL, + 0xc1a3110e95e8da16ULL, 0x430a7220bf1a82b8ULL, + 0xb77e090d39df210eULL, 0x5ef4bd9f3cd05e9dULL, + 0x9d4ff6da7e57a444ULL, 0xda1d60e183d4a5f8ULL, + 0xb287c38417998e47ULL, 0xfe3edc121bb31886ULL, + 0xc7fe3ccc980ccbefULL, 0xe46fb590189bfd03ULL, + 0x3732fd469a4c57dcULL, 0x7ef700a07cf1ad65ULL, + 0x59c64468a31d8859ULL, 0x762fb0b4d45b61f6ULL, + 0x155baed099047718ULL, 0x68755e4c3d50baa6ULL, + 0xe9214e7f22d8b4dfULL, 0x2addbf532eac95f4ULL, + 0x32ae3909b4bd0109ULL, 0x834df537b08e3450ULL, + 0xfa209da84220728dULL, 0x9e691d9b9efe23f7ULL, + 0x0446d288c4ae8d7fULL, 0x7b4cc524e169785bULL, + 0x21d87f0135ca1385ULL, 0xcebb400f137b8aa5ULL, + 0x272e2b66580796beULL, 0x3612264125c2b0deULL, + 0x057702bdad1efbb2ULL, 0xd4babb8eacf84be9ULL, + 0x91583139641bc67bULL, 0x8bdc2de08036e024ULL, + 0x603c8156f49f68edULL, 0xf7d236f7dbef5111ULL, + 0x9727c4598ad21e80ULL, 0xa08a0896670a5fd7ULL, + 0xcb4a8f4309eba9cbULL, 0x81af564b0f7036a1ULL, + 0xc0b99aa778199abdULL, 0x959f1ec83fc8e952ULL, + 0x8c505077794a81b9ULL, 0x3acaaf8f056338f0ULL, + 0x07b43f50627a6778ULL, 0x4a44ab49f5eccc77ULL, + 0x3bc3d6e4b679ee98ULL, 0x9cc0d4d1cf14108cULL, + 0x4406c00b206bc8a0ULL, 0x82a18854c8d72d89ULL, + 0x67e366b35c3c432cULL, 0xb923dd61102b37f2ULL, + 0x56ab2779d884271dULL, 0xbe83e1b0ff1525afULL, + 0xfb7c65d4217e49a9ULL, 0x6bdbe0e76d48e7d4ULL, + 0x08df828745d9179eULL, 0x22ea6a9add53bd34ULL, + 0xe36e141c5622200aULL, 0x7f805d1b8cb750eeULL, + 0xafe5c7a59f58e837ULL, 0xe27f996a4fb1c23cULL, + 0xd3867dfb0775f0d0ULL, 0xd0e673de6e88891aULL, + 0x123aeb9eafb86c25ULL, 0x30f1d5d5c145b895ULL, + 0xbb434a2dee7269e7ULL, 0x78cb67ecf931fa38ULL, + 0xf33b0372323bbf9cULL, 0x52d66336fb279c74ULL, + 0x505f33ac0afb4eaaULL, 0xe8a5cd99a2cce187ULL, + 0x534974801e2d30bbULL, 0x8d2d5711d5876d90ULL, + 0x1f1a412891bc038eULL, 0xd6e2e71d82e56648ULL, + 0x74036c3a497732b7ULL, 0x89b67ed96361f5abULL, + 0xffed95d8f1ea02a2ULL, 0xe72b3bd61464d43dULL, + 0xa6300f170bdc4820ULL, 0xebc18760ed78a77aULL, + 0xe6a6be5a05a12138ULL, 0xb5a122a5b4f87c98ULL, + 0x563c6089140b6990ULL, 0x4c46cb2e391f5dd5ULL, + 0xd932addbc9b79434ULL, 0x08ea70e42015aff5ULL, + 0xd765a6673e478cf1ULL, 0xc4fb757eab278d99ULL, + 0xdf11c6862d6e0692ULL, 0xddeb84f10d7f3b16ULL, + 0x6f2ef604a665ea04ULL, 0x4a8e0f0ff0e0dfb3ULL, + 0xa5edeef83dbcba51ULL, 0xfc4f0a2a0ea4371eULL, + 0xe83e1da85cb38429ULL, 0xdc8ff882ba1b1ce2ULL, + 0xcd45505e8353e80dULL, 0x18d19a00d4db0717ULL, + 0x34a0cfeda5f38101ULL, 0x0be77e518887caf2ULL, + 0x1e341438b3c45136ULL, 0xe05797f49089ccf9ULL, + 0xffd23f9df2591d14ULL, 0x543dda228595c5cdULL, + 0x661f81fd99052a33ULL, 0x8736e641db0f7b76ULL, + 0x15227725418e5307ULL, 0xe25f7f46162eb2faULL, + 0x48a8b2126c13d9feULL, 0xafdc541792e76eeaULL, + 0x03d912bfc6d1898fULL, 0x31b1aafa1b83f51bULL, + 0xf1ac2796e42ab7d9ULL, 0x40a3a7d7fcd2ebacULL, + 0x1056136d0afbbcc5ULL, 0x7889e1dd9a6d0c85ULL, + 0xd33525782a7974aaULL, 0xa7e25d09078ac09bULL, + 0xbd4138b3eac6edd0ULL, 0x920abfbe71eb9e70ULL, + 0xa2a5d0f54fc2625cULL, 0xc054e36b0b1290a3ULL, + 0xf6dd59ff62fe932bULL, 0x3537354511a8ac7dULL, + 0xca845e9172fadcd4ULL, 0x84f82b60329d20dcULL, + 0x79c62ce1cd672f18ULL, 0x8b09a2add124642cULL, + 0xd0c1e96a19d9e726ULL, 0x5a786a9b4ba9500cULL, + 0x0e020336634c43f3ULL, 0xc17b474aeb66d822ULL, + 0x6a731ae3ec9baac2ULL, 0x8226667ae0840258ULL, + 0x67d4567691caeca5ULL, 0x1d94155c4875adb5ULL, + 0x6d00fd985b813fdfULL, 0x51286efcb774cd06ULL, + 0x5e8834471fa744afULL, 0xf72ca0aee761ae2eULL, + 0xbe40e4cdaee8e09aULL, 0xe9970bbb5118f665ULL, + 0x726e4beb33df1964ULL, 0x703b000729199762ULL, + 0x4631d816f5ef30a7ULL, 0xb880b5b51504a6beULL, + 0x641793c37ed84b6cULL, 0x7b21ed77f6e97d96ULL, + 0x776306312ef96b73ULL, 0xae528948e86ff3f4ULL, + 0x53dbd7f286a3f8f8ULL, 0x16cadce74cfc1063ULL, + 0x005c19bdfa52c6ddULL, 0x68868f5d64d46ad3ULL, + 0x3a9d512ccf1e186aULL, 0x367e62c2385660aeULL, + 0xe359e7ea77dcb1d7ULL, 0x526c0773749abe6eULL, + 0x735ae5f9d09f734bULL, 0x493fc7cc8a558ba8ULL, + 0xb0b9c1533041ab45ULL, 0x321958ba470a59bdULL, + 0x852db00b5f46c393ULL, 0x91209b2bd336b0e5ULL, + 0x6e604f7d659ef19fULL, 0xb99a8ae2782ccb24ULL, + 0xccf52ab6c814c4c7ULL, 0x4727d9afbe11727bULL, + 0x7e950d0c0121b34dULL, 0x756f435670ad471fULL, + 0xf5add442615a6849ULL, 0x4e87e09980b9957aULL, + 0x2acfa1df50aee355ULL, 0xd898263afd2fd556ULL, + 0xc8f4924dd80c8fd6ULL, 0xcf99ca3d754a173aULL, + 0xfe477bacaf91bf3cULL, 0xed5371f6d690c12dULL, + 0x831a5c285e687094ULL, 0xc5d3c90a3708a0a4ULL, + 0x0f7f903717d06580ULL, 0x19f9bb13b8fdf27fULL, + 0xb1bd6f1b4d502843ULL, 0x1c761ba38fff4012ULL, + 0x0d1530c4e2e21f3bULL, 0x8943ce69a7372c8aULL, + 0xe5184e11feb5ce66ULL, 0x618bdb80bd736621ULL, + 0x7d29bad68b574d0bULL, 0x81bb613e25e6fe5bULL, + 0x071c9c10bc07913fULL, 0xc7beeb7909ac2d97ULL, + 0xc3e58d353bc5d757ULL, 0xeb017892f38f61e8ULL, + 0xd4effb9c9b1cc21aULL, 0x99727d26f494f7abULL, + 0xa3e063a2956b3e03ULL, 0x9d4a8b9a4aa09c30ULL, + 0x3f6ab7d500090fb4ULL, 0x9cc0f2a057268ac0ULL, + 0x3dee9d2dedbf42d1ULL, 0x330f49c87960a972ULL, + 0xc6b2720287421b41ULL, 0x0ac59ec07c00369cULL, + 0xef4eac49cb353425ULL, 0xf450244eef0129d8ULL, + 0x8acc46e5caf4deb6ULL, 0x2ffeab63989263f7ULL, + 0x8f7cb9fe5d7a4578ULL, 0x5bd8f7644e634635ULL, + 0x427a7315bf2dc900ULL, 0x17d0c4aa2125261cULL, + 0x3992486c93518e50ULL, 0xb4cbfee0a2d7d4c3ULL, + 0x7c75d6202c5ddd8dULL, 0xdbc295d8e35b6c61ULL, + 0x60b369d302032b19ULL, 0xce42685fdce44132ULL, + 0x06f3ddb9ddf65610ULL, 0x8ea4d21db5e148f0ULL, + 0x20b0fce62fcd496fULL, 0x2c1b912358b0ee31ULL, + 0xb28317b818f5a308ULL, 0xa89c1e189ca6d2cfULL, + 0x0c6b18576aaadbc8ULL, 0xb65deaa91299fae3ULL, + 0xfb2b794b7f1027e7ULL, 0x04e4317f443b5bebULL, + 0x4b852d325939d0a6ULL, 0xd5ae6beefb207ffcULL, + 0x309682b281c7d374ULL, 0xbae309a194c3b475ULL, + 0x8cc3f97b13b49f05ULL, 0x98a9422ff8293967ULL, + 0x244b16b01076ff7cULL, 0xf8bf571c663d67eeULL, + 0x1f0d6758eee30da1ULL, 0xc9b611d97adeb9b7ULL, + 0xb7afd5887b6c57a2ULL, 0x6290ae846b984fe1ULL, + 0x94df4cdeacc1a5fdULL, 0x058a5bd1c5483affULL, + 0x63166cc142ba3c37ULL, 0x8db8526eb2f76f40ULL, + 0xe10880036f0d6d4eULL, 0x9e0523c9971d311dULL, + 0x45ec2824cc7cd691ULL, 0x575b8359e62382c9ULL, + 0xfa9e400dc4889995ULL, 0xd1823ecb45721568ULL, + 0xdafd983b8206082fULL, 0xaa7d29082386a8cbULL, + 0x269fcd4403b87588ULL, 0x1b91f5f728bdd1e0ULL, + 0xe4669f39040201f6ULL, 0x7a1d7c218cf04adeULL, + 0x65623c29d79ce5ceULL, 0x2368449096c00bb1ULL, + 0xab9bf1879da503baULL, 0xbc23ecb1a458058eULL, + 0x9a58df01bb401eccULL, 0xa070e868a85f143dULL, + 0x4ff188307df2239eULL, 0x14d565b41a641183ULL, + 0xee13337452701602ULL, 0x950e3dcf3f285e09ULL, + 0x59930254b9c80953ULL, 0x3bf299408930da6dULL, + 0xa955943f53691387ULL, 0xa15edecaa9cb8784ULL, + 0x29142127352be9a0ULL, 0x76f0371fff4e7afbULL, + 0x0239f450274f2228ULL, 0xbb073af01d5e868bULL, + 0xbfc80571c10e96c1ULL, 0xd267088568222e23ULL, + 0x9671a3d48e80b5b0ULL, 0x55b5d38ae193bb81ULL, + 0x693ae2d0a18b04b8ULL, 0x5c48b4ecadd5335fULL, + 0xfd743b194916a1caULL, 0x2577018134be98c4ULL, + 0xe77987e83c54a4adULL, 0x28e11014da33e1b9ULL, + 0x270cc59e226aa213ULL, 0x71495f756d1a5f60ULL, + 0x9be853fb60afef77ULL, 0xadc786a7f7443dbfULL, + 0x0904456173b29a82ULL, 0x58bc7a66c232bd5eULL, + 0xf306558c673ac8b2ULL, 0x41f639c6b6c9772aULL, + 0x216defe99fda35daULL, 0x11640cc71c7be615ULL, + 0x93c43694565c5527ULL, 0xea038e6246777839ULL, + 0xf9abf3ce5a3e2469ULL, 0x741e768d0fd312d2ULL, + 0x0144b883ced652c6ULL, 0xc20b5a5ba33f8552ULL, + 0x1ae69633c3435a9dULL, 0x97a28ca4088cfdecULL, + 0x8824a43c1e96f420ULL, 0x37612fa66eeea746ULL, + 0x6b4cb165f9cf0e5aULL, 0x43aa1c06a0abfb4aULL, + 0x7f4dc26ff162796bULL, 0x6cbacc8e54ed9b0fULL, + 0xa6b7ffefd2bb253eULL, 0x2e25bc95b0a29d4fULL, + 0x86d6a58bdef1388cULL, 0xded74ac576b6f054ULL, + 0x8030bdbc2b45805dULL, 0x3c81af70e94d9289ULL, + 0x3eff6dda9e3100dbULL, 0xb38dc39fdfcc8847ULL, + 0x123885528d17b87eULL, 0xf2da0ed240b1b642ULL, + 0x44cefadcd54bf9a9ULL, 0x1312200e433c7ee6ULL, + 0x9ffcc84f3a78c748ULL, 0xf0cd1f72248576bbULL, + 0xec6974053638cfe4ULL, 0x2ba7b67c0cec4e4cULL, + 0xac2f4df3e5ce32edULL, 0xcb33d14326ea4c11ULL, + 0xa4e9044cc77e58bcULL, 0x5f513293d934fcefULL, + 0x5dc9645506e55444ULL, 0x50de418f317de40aULL, + 0x388cb31a69dde259ULL, 0x2db4a83455820a86ULL, + 0x9010a91e84711ae9ULL, 0x4df7f0b7b1498371ULL, + 0xd62a2eabc0977179ULL, 0x22fac097aa8d5c0eULL, + 0xf49fcc2ff1daf39bULL, 0x487fd5c66ff29281ULL, + 0xe8a30667fcdca83fULL, 0x2c9b4be3d2fcce63ULL, + 0xda3ff74b93fbbbc2ULL, 0x2fa165d2fe70ba66ULL, + 0xa103e279970e93d4ULL, 0xbecdec77b0e45e71ULL, + 0xcfb41e723985e497ULL, 0xb70aaa025ef75017ULL, + 0xd42309f03840b8e0ULL, 0x8efc1ad035898579ULL, + 0x96c6920be2b2abc5ULL, 0x66af4163375a9172ULL, + 0x2174abdcca7127fbULL, 0xb33ccea64a72ff41ULL, + 0xf04a4933083066a5ULL, 0x8d970acdd7289af5ULL, + 0x8f96e8e031c8c25eULL, 0xf3fec02276875d47ULL, + 0xec7bf310056190ddULL, 0xf5adb0aebb0f1491ULL, + 0x9b50f8850fd58892ULL, 0x4975488358b74de8ULL, + 0xa3354ff691531c61ULL, 0x0702bbe481d2c6eeULL, + 0x89fb24057deded98ULL, 0xac3075138596e902ULL, + 0x1d2d3580172772edULL, 0xeb738fc28e6bc30dULL, + 0x5854ef8f63044326ULL, 0x9e5c52325add3bbeULL, + 0x90aa53cf325c4623ULL, 0xc1d24d51349dd067ULL, + 0x2051cfeea69ea624ULL, 0x13220f0a862e7e4fULL, + 0xce39399404e04864ULL, 0xd9c42ca47086fcb7ULL, + 0x685ad2238a03e7ccULL, 0x066484b2ab2ff1dbULL, + 0xfe9d5d70efbf79ecULL, 0x5b13b9dd9c481854ULL, + 0x15f0d475ed1509adULL, 0x0bebcd060ec79851ULL, + 0xd58c6791183ab7f8ULL, 0xd1187c5052f3eee4ULL, + 0xc95d1192e54e82ffULL, 0x86eea14cb9ac6ca2ULL, + 0x3485beb153677d5dULL, 0xdd191d781f8c492aULL, + 0xf60866baa784ebf9ULL, 0x518f643ba2d08c74ULL, + 0x8852e956e1087c22ULL, 0xa768cb8dc410ae8dULL, + 0x38047726bfec8e1aULL, 0xa67738b4cd3b45aaULL, + 0xad16691cec0dde19ULL, 0xc6d4319380462e07ULL, + 0xc5a5876d0ba61938ULL, 0x16b9fa1fa58fd840ULL, + 0x188ab1173ca74f18ULL, 0xabda2f98c99c021fULL, + 0x3e0580ab134ae816ULL, 0x5f3b05b773645abbULL, + 0x2501a2be5575f2f6ULL, 0x1b2f74004e7e8ba9ULL, + 0x1cd7580371e8d953ULL, 0x7f6ed89562764e30ULL, + 0xb15926ff596f003dULL, 0x9f65293da8c5d6b9ULL, + 0x6ecef04dd690f84cULL, 0x4782275fff33af88ULL, + 0xe41433083f820801ULL, 0xfd0dfe409a1af9b5ULL, + 0x4325a3342cdb396bULL, 0x8ae77e62b301b252ULL, + 0xc36f9e9f6655615aULL, 0x85455a2d92d32c09ULL, + 0xf2c7dea949477485ULL, 0x63cfb4c133a39ebaULL, + 0x83b040cc6ebc5462ULL, 0x3b9454c8fdb326b0ULL, + 0x56f56a9e87ffd78cULL, 0x2dc2940d99f42bc6ULL, + 0x98f7df096b096e2dULL, 0x19a6e01e3ad852bfULL, + 0x42a99ccbdbd4b40bULL, 0xa59998af45e9c559ULL, + 0x366295e807d93186ULL, 0x6b48181bfaa1f773ULL, + 0x1fec57e2157a0a1dULL, 0x4667446af6201ad5ULL, + 0xe615ebcacfb0f075ULL, 0xb8f31f4f68290778ULL, + 0x22713ed6ce22d11eULL, 0x3057c1a72ec3c93bULL, + 0xcb46acc37c3f1f2fULL, 0xdbb893fd02aaf50eULL, + 0x331fd92e600b9fcfULL, 0xa498f96148ea3ad6ULL, + 0xa8d8426e8b6a83eaULL, 0xa089b274b7735cdcULL, + 0x87f6b3731e524a11ULL, 0x118808e5cbc96749ULL, + 0x9906e4c7b19bd394ULL, 0xafed7f7e9b24a20cULL, + 0x6509eadeeb3644a7ULL, 0x6c1ef1d3e8ef0edeULL, + 0xb9c97d43e9798fb4ULL, 0xa2f2d784740c28a3ULL, + 0x7b8496476197566fULL, 0x7a5be3e6b65f069dULL, + 0xf96330ed78be6f10ULL, 0xeee60de77a076a15ULL, + 0x2b4bee4aa08b9bd0ULL, 0x6a56a63ec7b8894eULL, + 0x02121359ba34fef4ULL, 0x4cbf99f8283703fcULL, + 0x398071350caf30c8ULL, 0xd0a77a89f017687aULL, + 0xf1c1a9eb9e423569ULL, 0x8c7976282dee8199ULL, + 0x5d1737a5dd1f7abdULL, 0x4f53433c09a9fa80ULL, + 0xfa8b0c53df7ca1d9ULL, 0x3fd9dcbc886ccb77ULL, + 0xc040917ca91b4720ULL, 0x7dd00142f9d1dcdfULL, + 0x8476fc1d4f387b58ULL, 0x23f8e7c5f3316503ULL, + 0x032a2244e7e37339ULL, 0x5c87a5d750f5a74bULL, + 0x082b4cc43698992eULL, 0xdf917becb858f63cULL, + 0x3270b8fc5bf86ddaULL, 0x10ae72bb29b5dd76ULL, + 0x576ac94e7700362bULL, 0x1ad112dac61efb8fULL, + 0x691bc30ec5faa427ULL, 0xff246311cc327143ULL, + 0x3142368e30e53206ULL, 0x71380e31e02ca396ULL, + 0x958d5c960aad76f1ULL, 0xf8d6f430c16da536ULL, + 0xc8ffd13f1be7e1d2ULL, 0x7578ae66004ddbe1ULL, + 0x05833f01067be646ULL, 0xbb34b5ad3bfe586dULL, + 0x095f34c9a12b97f0ULL, 0x247ab64525d60ca8ULL, + 0xdcdbc6f3017477d1ULL, 0x4a2e14d4decad24dULL, + 0xbdb5e6d9be0a1eebULL, 0x2a7e70f7794301abULL, + 0xdef42d8a270540fdULL, 0x01078ec0a34c22c1ULL, + 0xe5de511af4c16387ULL, 0x7ebb3a52bd9a330aULL, + 0x77697857aa7d6435ULL, 0x004e831603ae4c32ULL, + 0xe7a21020ad78e312ULL, 0x9d41a70c6ab420f2ULL, + 0x28e06c18ea1141e6ULL, 0xd2b28cbd984f6b28ULL, + 0x26b75f6c446e9d83ULL, 0xba47568c4d418d7fULL, + 0xd80badbfe6183d8eULL, 0x0e206d7f5f166044ULL, + 0xe258a43911cbca3eULL, 0x723a1746b21dc0bcULL, + 0xc7caa854f5d7cdd3ULL, 0x7cac32883d261d9cULL, + 0x7690c26423ba942cULL, 0x17e55524478042b8ULL, + 0xe0be477656a2389fULL, 0x4d289b5e67ab2da0ULL, + 0x44862b9c8fbbfd31ULL, 0xb47cc8049d141365ULL, + 0x822c1b362b91c793ULL, 0x4eb14655fb13dfd8ULL, + 0x1ecbba0714e2a97bULL, 0x6143459d5cde5f14ULL, + 0x53a8fbf1d5f0ac89ULL, 0x97ea04d81c5e5b00ULL, + 0x622181a8d4fdb3f3ULL, 0xe9bcd341572a1208ULL, + 0x1411258643cce58aULL, 0x9144c5fea4c6e0a4ULL, + 0x0d33d06565cf620fULL, 0x54a48d489f219ca1ULL, + 0xc43e5eac6d63c821ULL, 0xa9728b3a72770dafULL, + 0xd7934e7b20df87efULL, 0xe35503b61a3e86e5ULL, + 0xcae321fbc819d504ULL, 0x129a50b3ac60bfa6ULL, + 0xcd5e68ea7e9fb6c3ULL, 0xb01c90199483b1c7ULL, + 0x3de93cd5c295376cULL, 0xaed52edf2ab9ad13ULL, + 0x2e60f512c0a07884ULL, 0xbc3d86a3e36210c9ULL, + 0x35269d9b163951ceULL, 0x0c7d6e2ad0cdb5faULL, + 0x59e86297d87f5733ULL, 0x298ef221898db0e7ULL, + 0x55000029d1a5aa7eULL, 0x8bc08ae1b5061b45ULL, + 0xc2c31c2b6c92703aULL, 0x94cc596baf25ef42ULL, + 0x0a1d73db22540456ULL, 0x04b6a0f9d9c4179aULL, + 0xeffdafa2ae3d3c60ULL, 0xf7c8075bb49496c4ULL, + 0x9cc5c7141d1cd4e3ULL, 0x78bd1638218e5534ULL, + 0xb2f11568f850246aULL, 0xedfabcfa9502bc29ULL, + 0x796ce5f2da23051bULL, 0xaae128b0dc93537cULL, + 0x3a493da0ee4b29aeULL, 0xb5df6b2c416895d7ULL, + 0xfcabbd25122d7f37ULL, 0x70810b58105dc4b1ULL, + 0xe10fdd37f7882a90ULL, 0x524dcab5518a3f5cULL, + 0x3c9e85878451255bULL, 0x4029828119bd34e2ULL, + 0x74a05b6f5d3ceccbULL, 0xb610021542e13ecaULL, + 0x0ff979d12f59e2acULL, 0x6037da27e4f9cc50ULL, + 0x5e92975a0df1847dULL, 0xd66de190d3e623feULL, + 0x5032d6b87b568048ULL, 0x9a36b7ce8235216eULL, + 0x80272a7a24f64b4aULL, 0x93efed8b8c6916f7ULL, + 0x37ddbff44cce1555ULL, 0x4b95db5d4b99bd25ULL, + 0x92d3fda169812fc0ULL, 0xfb1a4a9a90660bb6ULL, + 0x730c196946a4b9b2ULL, 0x81e289aa7f49da68ULL, + 0x64669a0f83b1a05fULL, 0x27b3ff7d9644f48bULL, + 0xcc6b615c8db675b3ULL, 0x674f20b9bcebbe95ULL, + 0x6f31238275655982ULL, 0x5ae488713e45cf05ULL, + 0xbf619f9954c21157ULL, 0xeabac46040a8eae9ULL, + 0x454c6fe9f2c0c1cdULL, 0x419cf6496412691cULL, + 0xd3dc3bef265b0f70ULL, 0x6d0e60f5c3578a9eULL, + 0x5b0e608526323c55ULL, 0x1a46c1a9fa1b59f5ULL, + 0xa9e245a17c4c8ffaULL, 0x65ca5159db2955d7ULL, + 0x05db0a76ce35afc2ULL, 0x81eac77ea9113d45ULL, + 0x528ef88ab6ac0a0dULL, 0xa09ea253597be3ffULL, + 0x430ddfb3ac48cd56ULL, 0xc4b3a67af45ce46fULL, + 0x4ececfd8fbe2d05eULL, 0x3ef56f10b39935f0ULL, + 0x0b22d6829cd619c6ULL, 0x17fd460a74df2069ULL, + 0x6cf8cc8e8510ed40ULL, 0xd6c824bf3a6ecaa7ULL, + 0x61243d581a817049ULL, 0x048bacb6bbc163a2ULL, + 0xd9a38ac27d44cc32ULL, 0x7fddff5baaf410abULL, + 0xad6d495aa804824bULL, 0xe1a6a74f2d8c9f94ULL, + 0xd4f7851235dee8e3ULL, 0xfd4b7f886540d893ULL, + 0x247c20042aa4bfdaULL, 0x096ea1c517d1327cULL, + 0xd56966b4361a6685ULL, 0x277da5c31221057dULL, + 0x94d59893a43acff7ULL, 0x64f0c51ccdc02281ULL, + 0x3d33bcc4ff6189dbULL, 0xe005cb184ce66af1ULL, + 0xff5ccd1d1db99beaULL, 0xb0b854a7fe42980fULL, + 0x7bd46a6a718d4b9fULL, 0xd10fa8cc22a5fd8cULL, + 0xd31484952be4bd31ULL, 0xc7fa975fcb243847ULL, + 0x4886ed1e5846c407ULL, 0x28cddb791eb70b04ULL, + 0xc2b00be2f573417fULL, 0x5c9590452180f877ULL, + 0x7a6bddfff370eb00ULL, 0xce509e38d6d9d6a4ULL, + 0xebeb0f00647fa702ULL, 0x1dcc06cf76606f06ULL, + 0xe4d9f28ba286ff0aULL, 0xd85a305dc918c262ULL, + 0x475b1d8732225f54ULL, 0x2d4fb51668ccb5feULL, + 0xa679b9d9d72bba20ULL, 0x53841c0d912d43a5ULL, + 0x3b7eaa48bf12a4e8ULL, 0x781e0e47f22f1ddfULL, + 0xeff20ce60ab50973ULL, 0x20d261d19dffb742ULL, + 0x16a12b03062a2e39ULL, 0x1960eb2239650495ULL, + 0x251c16fed50eb8b8ULL, 0x9ac0c330f826016eULL, + 0xed152665953e7671ULL, 0x02d63194a6369570ULL, + 0x5074f08394b1c987ULL, 0x70ba598c90b25ce1ULL, + 0x794a15810b9742f6ULL, 0x0d5925e9fcaf8c6cULL, + 0x3067716cd868744eULL, 0x910ab077e8d7731bULL, + 0x6a61bbdb5ac42f61ULL, 0x93513efbf0851567ULL, + 0xf494724b9e83e9d5ULL, 0xe887e1985c09648dULL, + 0x34b1d3c675370cfdULL, 0xdc35e433bc0d255dULL, + 0xd0aab84234131be0ULL, 0x08042a50b48b7eafULL, + 0x9997c4ee44a3ab35ULL, 0x829a7b49201799d0ULL, + 0x263b8307b7c54441ULL, 0x752f95f4fd6a6ca6ULL, + 0x927217402c08c6e5ULL, 0x2a8ab754a795d9eeULL, + 0xa442f7552f72943dULL, 0x2c31334e19781208ULL, + 0x4fa98d7ceaee6291ULL, 0x55c3862f665db309ULL, + 0xbd0610175d53b1f3ULL, 0x46fe6cb840413f27ULL, + 0x3fe03792df0cfa59ULL, 0xcfe700372eb85e8fULL, + 0xa7be29e7adbce118ULL, 0xe544ee5cde8431ddULL, + 0x8a781b1b41f1873eULL, 0xa5c94c78a0d2f0e7ULL, + 0x39412e2877b60728ULL, 0xa1265ef3afc9a62cULL, + 0xbcc2770c6a2506c5ULL, 0x3ab66dd5dce1ce12ULL, + 0xe65499d04a675b37ULL, 0x7d8f523481bfd216ULL, + 0x0f6f64fcec15f389ULL, 0x74efbe618b5b13c8ULL, + 0xacdc82b714273e1dULL, 0xdd40bfe003199d17ULL, + 0x37e99257e7e061f8ULL, 0xfa52626904775aaaULL, + 0x8bbbf63a463d56f9ULL, 0xf0013f1543a26e64ULL, + 0xa8307e9f879ec898ULL, 0xcc4c27a4150177ccULL, + 0x1b432f2cca1d3348ULL, 0xde1d1f8f9f6fa013ULL, + 0x606602a047a7ddd6ULL, 0xd237ab64cc1cb2c7ULL, + 0x9b938e7225fcd1d3ULL, 0xec4e03708e0ff476ULL, + 0xfeb2fbda3d03c12dULL, 0xae0bced2ee43889aULL, + 0x22cb8923ebfb4f43ULL, 0x69360d013cf7396dULL, + 0x855e3602d2d4e022ULL, 0x073805bad01f784cULL, + 0x33e17a133852f546ULL, 0xdf4874058ac7b638ULL, + 0xba92b29c678aa14aULL, 0x0ce89fc76cfaadcdULL, + 0x5f9d4e0908339e34ULL, 0xf1afe9291f5923b9ULL, + 0x6e3480f60f4a265fULL, 0xeebf3a2ab29b841cULL, + 0xe21938a88f91b4adULL, 0x57dfeff845c6d3c3ULL, + 0x2f006b0bf62caaf2ULL, 0x62f479ef6f75ee78ULL, + 0x11a55ad41c8916a9ULL, 0xf229d29084fed453ULL, + 0x42f1c27b16b000e6ULL, 0x2b1f76749823c074ULL, + 0x4b76eca3c2745360ULL, 0x8c98f463b91691bdULL, + 0x14bcc93cf1ade66aULL, 0x8885213e6d458397ULL, + 0x8e177df0274d4711ULL, 0xb49b73b5503f2951ULL, + 0x10168168c3f96b6bULL, 0x0e3d963b63cab0aeULL, + 0x8dfc4b5655a1db14ULL, 0xf789f1356e14de5cULL, + 0x683e68af4e51dac1ULL, 0xc9a84f9d8d4b0fd9ULL, + 0x3691e03f52a0f9d1ULL, 0x5ed86e46e1878e80ULL, + 0x3c711a0e99d07150ULL, 0x5a0865b20c4e9310ULL, + 0x56fbfc1fe4f0682eULL, 0xea8d5de3105edf9bULL, + 0x71abfdb12379187aULL, 0x2eb99de1bee77b9cULL, + 0x21ecc0ea33cf4523ULL, 0x59a4d7521805c7a1ULL, + 0x3896f5eb56ae7c72ULL, 0xaa638f3db18f75dcULL, + 0x9f39358dabe9808eULL, 0xb7defa91c00b72acULL, + 0x6b5541fd62492d92ULL, 0x6dc6dee8f92e4d5bULL, + 0x353f57abc4beea7eULL, 0x735769d6da5690ceULL, + 0x0a234aa642391484ULL, 0xf6f9508028f80d9dULL, + 0xb8e319a27ab3f215ULL, 0x31ad9c1151341a4dULL, + 0x773c22a57bef5805ULL, 0x45c7561a07968633ULL, + 0xf913da9e249dbe36ULL, 0xda652d9b78a64c68ULL, + 0x4c27a97f3bc334efULL, 0x76621220e66b17f4ULL, + 0x967743899acd7d0bULL, 0xf3ee5bcae0ed6782ULL, + 0x409f753600c879fcULL, 0x06d09a39b5926db6ULL, + 0x6f83aeb0317ac588ULL, 0x01e6ca4a86381f21ULL, + 0x66ff3462d19f3025ULL, 0x72207c24ddfd3bfbULL, + 0x4af6b6d3e2ece2ebULL, 0x9c994dbec7ea08deULL, + 0x49ace597b09a8bc4ULL, 0xb38c4766cf0797baULL, + 0x131b9373c57c2a75ULL, 0xb1822cce61931e58ULL, + 0x9d7555b909ba1c0cULL, 0x127fafdd937d11d2ULL, + 0x29da3badc66d92e4ULL, 0xa2c1d57154c2ecbcULL, + 0x58c5134d82f6fe24ULL, 0x1c3ae3515b62274fULL, + 0xe907c82e01cb8126ULL, 0xf8ed091913e37fcbULL, + 0x3249d8f9c80046c9ULL, 0x80cf9bede388fb63ULL, + 0x1881539a116cf19eULL, 0x5103f3f76bd52457ULL, + 0x15b7e6f5ae47f7a8ULL, 0xdbd7c6ded47e9ccfULL, + 0x44e55c410228bb1aULL, 0xb647d4255edb4e99ULL, + 0x5d11882bb8aafc30ULL, 0xf5098bbb29d3212aULL, + 0x8fb5ea14e90296b3ULL, 0x677b942157dd025aULL, + 0xfb58e7c0a390acb5ULL, 0x89d3674c83bd4a01ULL, + 0x9e2da4df4bf3b93bULL, 0xfcc41e328cab4829ULL, + 0x03f38c96ba582c52ULL, 0xcad1bdbd7fd85db2ULL, + 0xbbb442c16082ae83ULL, 0xb95fe86ba5da9ab0ULL, + 0xb22e04673771a93fULL, 0x845358c9493152d8ULL, + 0xbe2a488697b4541eULL, 0x95a2dc2dd38e6966ULL, + 0xc02c11ac923c852bULL, 0x2388b1990df2a87bULL, + 0x7c8008fa1b4f37beULL, 0x1f70d0c84d54e503ULL, + 0x5490adec7ece57d4ULL, 0x002b3c27d9063a3aULL, + 0x7eaea3848030a2bfULL, 0xc602326ded2003c0ULL, + 0x83a7287d69a94086ULL, 0xc57a5fcb30f57a8aULL, + 0xb56844e479ebe779ULL, 0xa373b40f05dcbce9ULL, + 0xd71a786e88570ee2ULL, 0x879cbacdbde8f6a0ULL, + 0x976ad1bcc164a32fULL, 0xab21e25e9666d78bULL, + 0x901063aae5e5c33cULL, 0x9818b34448698d90ULL, + 0xe36487ae3e1e8abbULL, 0xafbdf931893bdcb4ULL, + 0x6345a0dc5fbbd519ULL, 0x8628fe269b9465caULL, + 0x1e5d01603f9c51ecULL, 0x4de44006a15049b7ULL, + 0xbf6c70e5f776cbb1ULL, 0x411218f2ef552bedULL, + 0xcb0c0708705a36a3ULL, 0xe74d14754f986044ULL, + 0xcd56d9430ea8280eULL, 0xc12591d7535f5065ULL, + 0xc83223f1720aef96ULL, 0xc3a0396f7363a51fULL +}; -- 2.11.0