test/testcases/crypto/aesxts/aes_xts.c

   1 /*      $OpenBSD: djm $  */
   2
   3 /*
   4  * Copyright (c) 2002 Markus Friedl.  All rights reserved.
   5  * Copyright (c) 2008 Damien Miller.  All rights reserved.
   6  *
   7  * Redistribution and use in source and binary forms, with or without
   8  * modification, are permitted provided that the following conditions
   9  * are met:
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice, this list of conditions and the following disclaimer.
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  *
  16  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  17  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  18  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  19  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  21  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  22  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  23  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  24  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  25  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  26  */
  27
  28 #include <sys/types.h>
  29 #include <sys/param.h>
  30 #include <sys/ioctl.h>
  31 #include <sys/sysctl.h>
  32 #include <crypto/cryptodev.h>
  33 #include <err.h>
  34 #include <fcntl.h>
  35 #include <stdio.h>
  36 #include <stdlib.h>
  37 #include <string.h>
  38 #include <unistd.h>
  39
  40 static int
  41 syscrypt(const unsigned char *key, size_t klen, u_int64_t unit_number,
  42     const unsigned char *in, unsigned char *out, size_t len, int do_encrypt)
  43 {
  44         struct session_op session;
  45         struct crypt_op cryp;
  46         int cryptodev_fd = -1, fd = -1;
  47
  48         if ((cryptodev_fd = open("/dev/crypto", O_RDWR, 0)) < 0) {
  49                 warn("/dev/crypto");
  50                 goto err;
  51         }
  52         if (ioctl(cryptodev_fd, CRIOGET, &fd) == -1) {
  53                 warn("CRIOGET failed");
  54                 goto err;
  55         }
  56         memset(&session, 0, sizeof(session));
  57         session.cipher = CRYPTO_AES_XTS;
  58         session.key = (caddr_t) key;
  59         session.keylen = klen;
  60         if (ioctl(fd, CIOCGSESSION, &session) == -1) {
  61                 warn("CIOCGSESSION");
  62                 goto err;
  63         }
  64         memset(&cryp, 0, sizeof(cryp));
  65         cryp.ses = session.ses;
  66         cryp.op = do_encrypt ? COP_ENCRYPT : COP_DECRYPT;
  67         cryp.flags = 0;
  68         cryp.len = len;
  69         cryp.src = (caddr_t) in;
  70         cryp.dst = (caddr_t) out;
  71         cryp.iv = (caddr_t) &unit_number;
  72         cryp.mac = 0;
  73         if (ioctl(fd, CIOCCRYPT, &cryp) == -1) {
  74                 warn("CIOCCRYPT");
  75                 goto err;
  76         }
  77         if (ioctl(fd, CIOCFSESSION, &session.ses) == -1) {
  78                 warn("CIOCFSESSION");
  79                 goto err;
  80         }
  81         close(fd);
  82         close(cryptodev_fd);
  83         return (0);
  84
  85 err:
  86         if (fd != -1)
  87                 close(fd);
  88         if (cryptodev_fd != -1)
  89                 close(cryptodev_fd);
  90         return (-1);
  91 }
  92
  93 static int
  94 getallowsoft(void)
  95 {
  96         int mib[2], old;
  97         size_t olen;
  98
  99         olen = sizeof(old);
 100
 101         if (sysctlbyname("kern.cryptodevallowsoft", &old, &olen, NULL, 0) < 0)
 102                 err(1, "sysctl failed");
 103
 104         return old;
 105 }
 106
 107 static void
 108 setallowsoft(int new)
 109 {
 110         int mib[2], old;
 111         size_t olen, nlen;
 112
 113         olen = nlen = sizeof(new);
 114
 115         if (sysctlbyname("kern.cryptodevallowsoft", &old, &olen, &new, nlen) < 0)
 116                 err(1, "sysctl failed");
 117 }
 118
 119 static int
 120 match(unsigned char *a, unsigned char *b, size_t len)
 121 {
 122         size_t i;
 123
 124         if (memcmp(a, b, len) == 0)
 125                 return (1);
 126
 127         warnx("decrypt/plaintext mismatch");
 128
 129         for (i = 0; i < len; i++)
 130                 printf("%2.2x", a[i]);
 131         printf("\n");
 132         for (i = 0; i < len; i++)
 133                 printf("%2.2x", b[i]);
 134         printf("\n");
 135
 136         return (0);
 137 }
 138
 139 struct aes_xts_tv {
 140         u_int64_t seqno;
 141         u_int key_len;
 142         u_int8_t key[64];
 143         u_int text_len;
 144         u_int8_t plaintext[512];
 145         u_int8_t ciphertext[512];
 146 };
 147
 148 struct aes_xts_tv aes_xts_test_vectors[] = {
 149         {
 150                 0x00000000ULL,
 151                 32,
 152                 {
 153                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 154                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 155                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 156                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 157                 },
 158                 32,
 159                 {
 160                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 161                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 162                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 163                         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 164                 }, {
 165                         0x91, 0x7c, 0xf6, 0x9e, 0xbd, 0x68, 0xb2, 0xec,
 166                         0x9b, 0x9f, 0xe9, 0xa3, 0xea, 0xdd, 0xa6, 0x92,
 167                         0xcd, 0x43, 0xd2, 0xf5, 0x95, 0x98, 0xed, 0x85,
 168                         0x8c, 0x02, 0xc2, 0x65, 0x2f, 0xbf, 0x92, 0x2e,
 169                 },
 170         },
 171         {
 172                 0x3333333333ULL,
 173                 32,
 174                 {
 175                         0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11,
 176                         0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11,
 177                         0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22,
 178                         0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22,
 179                 },
 180                 32,
 181                 {
 182                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 183                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 184                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 185                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 186                 }, {
 187                         0xc4, 0x54, 0x18, 0x5e, 0x6a, 0x16, 0x93, 0x6e,
 188                         0x39, 0x33, 0x40, 0x38, 0xac, 0xef, 0x83, 0x8b,
 189                         0xfb, 0x18, 0x6f, 0xff, 0x74, 0x80, 0xad, 0xc4,
 190                         0x28, 0x93, 0x82, 0xec, 0xd6, 0xd3, 0x94, 0xf0,
 191                 },
 192         },
 193         {
 194                 0x3333333333ULL,
 195                 32,
 196                 {
 197                         0xff, 0xfe, 0xfd, 0xfc, 0xfb, 0xfa, 0xf9, 0xf8,
 198                         0xf7, 0xf6, 0xf5, 0xf4, 0xf3, 0xf2, 0xf1, 0xf0,
 199                         0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22,
 200                         0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22,
 201                 },
 202                 32,
 203                 {
 204                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 205                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 206                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 207                         0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
 208                 }, {
 209                         0xaf, 0x85, 0x33, 0x6b, 0x59, 0x7a, 0xfc, 0x1a,
 210                         0x90, 0x0b, 0x2e, 0xb2, 0x1e, 0xc9, 0x49, 0xd2,
 211                         0x92, 0xdf, 0x4c, 0x04, 0x7e, 0x0b, 0x21, 0x53,
 212                         0x21, 0x86, 0xa5, 0x97, 0x1a, 0x22, 0x7a, 0x89,
 213                 },
 214         },
 215         {
 216                 0x00000000ULL,
 217                 32,
 218                 {
 219                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
 220                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
 221                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
 222                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
 223                 },
 224                 512,
 225                 {
 226                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
 227                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
 228                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
 229                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
 230                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
 231                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
 232                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
 233                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
 234                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
 235                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
 236                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
 237                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
 238                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
 239                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
 240                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
 241                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
 242                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
 243                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
 244                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
 245                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
 246                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
 247                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
 248                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
 249                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
 250                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
 251                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
 252                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
 253                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
 254                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
 255                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
 256                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
 257                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
 258                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
 259                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
 260                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
 261                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
 262                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
 263                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
 264                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
 265                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
 266                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
 267                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
 268                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
 269                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
 270                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
 271                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
 272                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
 273                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
 274                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
 275                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
 276                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
 277                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
 278                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
 279                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
 280                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
 281                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
 282                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
 283                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
 284                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
 285                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
 286                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
 287                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
 288                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
 289                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
 290                 }, {
 291                         0x27, 0xa7, 0x47, 0x9b, 0xef, 0xa1, 0xd4, 0x76,
 292                         0x48, 0x9f, 0x30, 0x8c, 0xd4, 0xcf, 0xa6, 0xe2,
 293                         0xa9, 0x6e, 0x4b, 0xbe, 0x32, 0x08, 0xff, 0x25,
 294                         0x28, 0x7d, 0xd3, 0x81, 0x96, 0x16, 0xe8, 0x9c,
 295                         0xc7, 0x8c, 0xf7, 0xf5, 0xe5, 0x43, 0x44, 0x5f,
 296                         0x83, 0x33, 0xd8, 0xfa, 0x7f, 0x56, 0x00, 0x00,
 297                         0x05, 0x27, 0x9f, 0xa5, 0xd8, 0xb5, 0xe4, 0xad,
 298                         0x40, 0xe7, 0x36, 0xdd, 0xb4, 0xd3, 0x54, 0x12,
 299                         0x32, 0x80, 0x63, 0xfd, 0x2a, 0xab, 0x53, 0xe5,
 300                         0xea, 0x1e, 0x0a, 0x9f, 0x33, 0x25, 0x00, 0xa5,
 301                         0xdf, 0x94, 0x87, 0xd0, 0x7a, 0x5c, 0x92, 0xcc,
 302                         0x51, 0x2c, 0x88, 0x66, 0xc7, 0xe8, 0x60, 0xce,
 303                         0x93, 0xfd, 0xf1, 0x66, 0xa2, 0x49, 0x12, 0xb4,
 304                         0x22, 0x97, 0x61, 0x46, 0xae, 0x20, 0xce, 0x84,
 305                         0x6b, 0xb7, 0xdc, 0x9b, 0xa9, 0x4a, 0x76, 0x7a,
 306                         0xae, 0xf2, 0x0c, 0x0d, 0x61, 0xad, 0x02, 0x65,
 307                         0x5e, 0xa9, 0x2d, 0xc4, 0xc4, 0xe4, 0x1a, 0x89,
 308                         0x52, 0xc6, 0x51, 0xd3, 0x31, 0x74, 0xbe, 0x51,
 309                         0xa1, 0x0c, 0x42, 0x11, 0x10, 0xe6, 0xd8, 0x15,
 310                         0x88, 0xed, 0xe8, 0x21, 0x03, 0xa2, 0x52, 0xd8,
 311                         0xa7, 0x50, 0xe8, 0x76, 0x8d, 0xef, 0xff, 0xed,
 312                         0x91, 0x22, 0x81, 0x0a, 0xae, 0xb9, 0x9f, 0x91,
 313                         0x72, 0xaf, 0x82, 0xb6, 0x04, 0xdc, 0x4b, 0x8e,
 314                         0x51, 0xbc, 0xb0, 0x82, 0x35, 0xa6, 0xf4, 0x34,
 315                         0x13, 0x32, 0xe4, 0xca, 0x60, 0x48, 0x2a, 0x4b,
 316                         0xa1, 0xa0, 0x3b, 0x3e, 0x65, 0x00, 0x8f, 0xc5,
 317                         0xda, 0x76, 0xb7, 0x0b, 0xf1, 0x69, 0x0d, 0xb4,
 318                         0xea, 0xe2, 0x9c, 0x5f, 0x1b, 0xad, 0xd0, 0x3c,
 319                         0x5c, 0xcf, 0x2a, 0x55, 0xd7, 0x05, 0xdd, 0xcd,
 320                         0x86, 0xd4, 0x49, 0x51, 0x1c, 0xeb, 0x7e, 0xc3,
 321                         0x0b, 0xf1, 0x2b, 0x1f, 0xa3, 0x5b, 0x91, 0x3f,
 322                         0x9f, 0x74, 0x7a, 0x8a, 0xfd, 0x1b, 0x13, 0x0e,
 323                         0x94, 0xbf, 0xf9, 0x4e, 0xff, 0xd0, 0x1a, 0x91,
 324                         0x73, 0x5c, 0xa1, 0x72, 0x6a, 0xcd, 0x0b, 0x19,
 325                         0x7c, 0x4e, 0x5b, 0x03, 0x39, 0x36, 0x97, 0xe1,
 326                         0x26, 0x82, 0x6f, 0xb6, 0xbb, 0xde, 0x8e, 0xcc,
 327                         0x1e, 0x08, 0x29, 0x85, 0x16, 0xe2, 0xc9, 0xed,
 328                         0x03, 0xff, 0x3c, 0x1b, 0x78, 0x60, 0xf6, 0xde,
 329                         0x76, 0xd4, 0xce, 0xcd, 0x94, 0xc8, 0x11, 0x98,
 330                         0x55, 0xef, 0x52, 0x97, 0xca, 0x67, 0xe9, 0xf3,
 331                         0xe7, 0xff, 0x72, 0xb1, 0xe9, 0x97, 0x85, 0xca,
 332                         0x0a, 0x7e, 0x77, 0x20, 0xc5, 0xb3, 0x6d, 0xc6,
 333                         0xd7, 0x2c, 0xac, 0x95, 0x74, 0xc8, 0xcb, 0xbc,
 334                         0x2f, 0x80, 0x1e, 0x23, 0xe5, 0x6f, 0xd3, 0x44,
 335                         0xb0, 0x7f, 0x22, 0x15, 0x4b, 0xeb, 0xa0, 0xf0,
 336                         0x8c, 0xe8, 0x89, 0x1e, 0x64, 0x3e, 0xd9, 0x95,
 337                         0xc9, 0x4d, 0x9a, 0x69, 0xc9, 0xf1, 0xb5, 0xf4,
 338                         0x99, 0x02, 0x7a, 0x78, 0x57, 0x2a, 0xee, 0xbd,
 339                         0x74, 0xd2, 0x0c, 0xc3, 0x98, 0x81, 0xc2, 0x13,
 340                         0xee, 0x77, 0x0b, 0x10, 0x10, 0xe4, 0xbe, 0xa7,
 341                         0x18, 0x84, 0x69, 0x77, 0xae, 0x11, 0x9f, 0x7a,
 342                         0x02, 0x3a, 0xb5, 0x8c, 0xca, 0x0a, 0xd7, 0x52,
 343                         0xaf, 0xe6, 0x56, 0xbb, 0x3c, 0x17, 0x25, 0x6a,
 344                         0x9f, 0x6e, 0x9b, 0xf1, 0x9f, 0xdd, 0x5a, 0x38,
 345                         0xfc, 0x82, 0xbb, 0xe8, 0x72, 0xc5, 0x53, 0x9e,
 346                         0xdb, 0x60, 0x9e, 0xf4, 0xf7, 0x9c, 0x20, 0x3e,
 347                         0xbb, 0x14, 0x0f, 0x2e, 0x58, 0x3c, 0xb2, 0xad,
 348                         0x15, 0xb4, 0xaa, 0x5b, 0x65, 0x50, 0x16, 0xa8,
 349                         0x44, 0x92, 0x77, 0xdb, 0xd4, 0x77, 0xef, 0x2c,
 350                         0x8d, 0x6c, 0x01, 0x7d, 0xb7, 0x38, 0xb1, 0x8d,
 351                         0xeb, 0x4a, 0x42, 0x7d, 0x19, 0x23, 0xce, 0x3f,
 352                         0xf2, 0x62, 0x73, 0x57, 0x79, 0xa4, 0x18, 0xf2,
 353                         0x0a, 0x28, 0x2d, 0xf9, 0x20, 0x14, 0x7b, 0xea,
 354                         0xbe, 0x42, 0x1e, 0xe5, 0x31, 0x9d, 0x05, 0x68,
 355                 },
 356         },
 357         {
 358                 0x00000001ULL,
 359                 32,
 360                 {
 361                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
 362                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
 363                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
 364                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
 365                 },
 366                 512,
 367                 {
 368                         0x27, 0xa7, 0x47, 0x9b, 0xef, 0xa1, 0xd4, 0x76,
 369                         0x48, 0x9f, 0x30, 0x8c, 0xd4, 0xcf, 0xa6, 0xe2,
 370                         0xa9, 0x6e, 0x4b, 0xbe, 0x32, 0x08, 0xff, 0x25,
 371                         0x28, 0x7d, 0xd3, 0x81, 0x96, 0x16, 0xe8, 0x9c,
 372                         0xc7, 0x8c, 0xf7, 0xf5, 0xe5, 0x43, 0x44, 0x5f,
 373                         0x83, 0x33, 0xd8, 0xfa, 0x7f, 0x56, 0x00, 0x00,
 374                         0x05, 0x27, 0x9f, 0xa5, 0xd8, 0xb5, 0xe4, 0xad,
 375                         0x40, 0xe7, 0x36, 0xdd, 0xb4, 0xd3, 0x54, 0x12,
 376                         0x32, 0x80, 0x63, 0xfd, 0x2a, 0xab, 0x53, 0xe5,
 377                         0xea, 0x1e, 0x0a, 0x9f, 0x33, 0x25, 0x00, 0xa5,
 378                         0xdf, 0x94, 0x87, 0xd0, 0x7a, 0x5c, 0x92, 0xcc,
 379                         0x51, 0x2c, 0x88, 0x66, 0xc7, 0xe8, 0x60, 0xce,
 380                         0x93, 0xfd, 0xf1, 0x66, 0xa2, 0x49, 0x12, 0xb4,
 381                         0x22, 0x97, 0x61, 0x46, 0xae, 0x20, 0xce, 0x84,
 382                         0x6b, 0xb7, 0xdc, 0x9b, 0xa9, 0x4a, 0x76, 0x7a,
 383                         0xae, 0xf2, 0x0c, 0x0d, 0x61, 0xad, 0x02, 0x65,
 384                         0x5e, 0xa9, 0x2d, 0xc4, 0xc4, 0xe4, 0x1a, 0x89,
 385                         0x52, 0xc6, 0x51, 0xd3, 0x31, 0x74, 0xbe, 0x51,
 386                         0xa1, 0x0c, 0x42, 0x11, 0x10, 0xe6, 0xd8, 0x15,
 387                         0x88, 0xed, 0xe8, 0x21, 0x03, 0xa2, 0x52, 0xd8,
 388                         0xa7, 0x50, 0xe8, 0x76, 0x8d, 0xef, 0xff, 0xed,
 389                         0x91, 0x22, 0x81, 0x0a, 0xae, 0xb9, 0x9f, 0x91,
 390                         0x72, 0xaf, 0x82, 0xb6, 0x04, 0xdc, 0x4b, 0x8e,
 391                         0x51, 0xbc, 0xb0, 0x82, 0x35, 0xa6, 0xf4, 0x34,
 392                         0x13, 0x32, 0xe4, 0xca, 0x60, 0x48, 0x2a, 0x4b,
 393                         0xa1, 0xa0, 0x3b, 0x3e, 0x65, 0x00, 0x8f, 0xc5,
 394                         0xda, 0x76, 0xb7, 0x0b, 0xf1, 0x69, 0x0d, 0xb4,
 395                         0xea, 0xe2, 0x9c, 0x5f, 0x1b, 0xad, 0xd0, 0x3c,
 396                         0x5c, 0xcf, 0x2a, 0x55, 0xd7, 0x05, 0xdd, 0xcd,
 397                         0x86, 0xd4, 0x49, 0x51, 0x1c, 0xeb, 0x7e, 0xc3,
 398                         0x0b, 0xf1, 0x2b, 0x1f, 0xa3, 0x5b, 0x91, 0x3f,
 399                         0x9f, 0x74, 0x7a, 0x8a, 0xfd, 0x1b, 0x13, 0x0e,
 400                         0x94, 0xbf, 0xf9, 0x4e, 0xff, 0xd0, 0x1a, 0x91,
 401                         0x73, 0x5c, 0xa1, 0x72, 0x6a, 0xcd, 0x0b, 0x19,
 402                         0x7c, 0x4e, 0x5b, 0x03, 0x39, 0x36, 0x97, 0xe1,
 403                         0x26, 0x82, 0x6f, 0xb6, 0xbb, 0xde, 0x8e, 0xcc,
 404                         0x1e, 0x08, 0x29, 0x85, 0x16, 0xe2, 0xc9, 0xed,
 405                         0x03, 0xff, 0x3c, 0x1b, 0x78, 0x60, 0xf6, 0xde,
 406                         0x76, 0xd4, 0xce, 0xcd, 0x94, 0xc8, 0x11, 0x98,
 407                         0x55, 0xef, 0x52, 0x97, 0xca, 0x67, 0xe9, 0xf3,
 408                         0xe7, 0xff, 0x72, 0xb1, 0xe9, 0x97, 0x85, 0xca,
 409                         0x0a, 0x7e, 0x77, 0x20, 0xc5, 0xb3, 0x6d, 0xc6,
 410                         0xd7, 0x2c, 0xac, 0x95, 0x74, 0xc8, 0xcb, 0xbc,
 411                         0x2f, 0x80, 0x1e, 0x23, 0xe5, 0x6f, 0xd3, 0x44,
 412                         0xb0, 0x7f, 0x22, 0x15, 0x4b, 0xeb, 0xa0, 0xf0,
 413                         0x8c, 0xe8, 0x89, 0x1e, 0x64, 0x3e, 0xd9, 0x95,
 414                         0xc9, 0x4d, 0x9a, 0x69, 0xc9, 0xf1, 0xb5, 0xf4,
 415                         0x99, 0x02, 0x7a, 0x78, 0x57, 0x2a, 0xee, 0xbd,
 416                         0x74, 0xd2, 0x0c, 0xc3, 0x98, 0x81, 0xc2, 0x13,
 417                         0xee, 0x77, 0x0b, 0x10, 0x10, 0xe4, 0xbe, 0xa7,
 418                         0x18, 0x84, 0x69, 0x77, 0xae, 0x11, 0x9f, 0x7a,
 419                         0x02, 0x3a, 0xb5, 0x8c, 0xca, 0x0a, 0xd7, 0x52,
 420                         0xaf, 0xe6, 0x56, 0xbb, 0x3c, 0x17, 0x25, 0x6a,
 421                         0x9f, 0x6e, 0x9b, 0xf1, 0x9f, 0xdd, 0x5a, 0x38,
 422                         0xfc, 0x82, 0xbb, 0xe8, 0x72, 0xc5, 0x53, 0x9e,
 423                         0xdb, 0x60, 0x9e, 0xf4, 0xf7, 0x9c, 0x20, 0x3e,
 424                         0xbb, 0x14, 0x0f, 0x2e, 0x58, 0x3c, 0xb2, 0xad,
 425                         0x15, 0xb4, 0xaa, 0x5b, 0x65, 0x50, 0x16, 0xa8,
 426                         0x44, 0x92, 0x77, 0xdb, 0xd4, 0x77, 0xef, 0x2c,
 427                         0x8d, 0x6c, 0x01, 0x7d, 0xb7, 0x38, 0xb1, 0x8d,
 428                         0xeb, 0x4a, 0x42, 0x7d, 0x19, 0x23, 0xce, 0x3f,
 429                         0xf2, 0x62, 0x73, 0x57, 0x79, 0xa4, 0x18, 0xf2,
 430                         0x0a, 0x28, 0x2d, 0xf9, 0x20, 0x14, 0x7b, 0xea,
 431                         0xbe, 0x42, 0x1e, 0xe5, 0x31, 0x9d, 0x05, 0x68,
 432                 }, {
 433                         0x26, 0x4d, 0x3c, 0xa8, 0x51, 0x21, 0x94, 0xfe,
 434                         0xc3, 0x12, 0xc8, 0xc9, 0x89, 0x1f, 0x27, 0x9f,
 435                         0xef, 0xdd, 0x60, 0x8d, 0x0c, 0x02, 0x7b, 0x60,
 436                         0x48, 0x3a, 0x3f, 0xa8, 0x11, 0xd6, 0x5e, 0xe5,
 437                         0x9d, 0x52, 0xd9, 0xe4, 0x0e, 0xc5, 0x67, 0x2d,
 438                         0x81, 0x53, 0x2b, 0x38, 0xb6, 0xb0, 0x89, 0xce,
 439                         0x95, 0x1f, 0x0f, 0x9c, 0x35, 0x59, 0x0b, 0x8b,
 440                         0x97, 0x8d, 0x17, 0x52, 0x13, 0xf3, 0x29, 0xbb,
 441                         0x1c, 0x2f, 0xd3, 0x0f, 0x2f, 0x7f, 0x30, 0x49,
 442                         0x2a, 0x61, 0xa5, 0x32, 0xa7, 0x9f, 0x51, 0xd3,
 443                         0x6f, 0x5e, 0x31, 0xa7, 0xc9, 0xa1, 0x2c, 0x28,
 444                         0x60, 0x82, 0xff, 0x7d, 0x23, 0x94, 0xd1, 0x8f,
 445                         0x78, 0x3e, 0x1a, 0x8e, 0x72, 0xc7, 0x22, 0xca,
 446                         0xaa, 0xa5, 0x2d, 0x8f, 0x06, 0x56, 0x57, 0xd2,
 447                         0x63, 0x1f, 0xd2, 0x5b, 0xfd, 0x8e, 0x5b, 0xaa,
 448                         0xd6, 0xe5, 0x27, 0xd7, 0x63, 0x51, 0x75, 0x01,
 449                         0xc6, 0x8c, 0x5e, 0xdc, 0x3c, 0xdd, 0x55, 0x43,
 450                         0x5c, 0x53, 0x2d, 0x71, 0x25, 0xc8, 0x61, 0x4d,
 451                         0xee, 0xd9, 0xad, 0xaa, 0x3a, 0xca, 0xde, 0x58,
 452                         0x88, 0xb8, 0x7b, 0xef, 0x64, 0x1c, 0x4c, 0x99,
 453                         0x4c, 0x80, 0x91, 0xb5, 0xbc, 0xd3, 0x87, 0xf3,
 454                         0x96, 0x3f, 0xb5, 0xbc, 0x37, 0xaa, 0x92, 0x2f,
 455                         0xbf, 0xe3, 0xdf, 0x4e, 0x5b, 0x91, 0x5e, 0x6e,
 456                         0xb5, 0x14, 0x71, 0x7b, 0xdd, 0x2a, 0x74, 0x07,
 457                         0x9a, 0x50, 0x73, 0xf5, 0xc4, 0xbf, 0xd4, 0x6a,
 458                         0xdf, 0x7d, 0x28, 0x2e, 0x7a, 0x39, 0x3a, 0x52,
 459                         0x57, 0x9d, 0x11, 0xa0, 0x28, 0xda, 0x4d, 0x9c,
 460                         0xd9, 0xc7, 0x71, 0x24, 0xf9, 0x64, 0x8e, 0xe3,
 461                         0x83, 0xb1, 0xac, 0x76, 0x39, 0x30, 0xe7, 0x16,
 462                         0x2a, 0x8d, 0x37, 0xf3, 0x50, 0xb2, 0xf7, 0x4b,
 463                         0x84, 0x72, 0xcf, 0x09, 0x90, 0x20, 0x63, 0xc6,
 464                         0xb3, 0x2e, 0x8c, 0x2d, 0x92, 0x90, 0xce, 0xfb,
 465                         0xd7, 0x34, 0x6d, 0x1c, 0x77, 0x9a, 0x0d, 0xf5,
 466                         0x0e, 0xdc, 0xde, 0x45, 0x31, 0xda, 0x07, 0xb0,
 467                         0x99, 0xc6, 0x38, 0xe8, 0x3a, 0x75, 0x59, 0x44,
 468                         0xdf, 0x2a, 0xef, 0x1a, 0xa3, 0x17, 0x52, 0xfd,
 469                         0x32, 0x3d, 0xcb, 0x71, 0x0f, 0xb4, 0xbf, 0xbb,
 470                         0x9d, 0x22, 0xb9, 0x25, 0xbc, 0x35, 0x77, 0xe1,
 471                         0xb8, 0x94, 0x9e, 0x72, 0x9a, 0x90, 0xbb, 0xaf,
 472                         0xea, 0xcf, 0x7f, 0x78, 0x79, 0xe7, 0xb1, 0x14,
 473                         0x7e, 0x28, 0xba, 0x0b, 0xae, 0x94, 0x0d, 0xb7,
 474                         0x95, 0xa6, 0x1b, 0x15, 0xec, 0xf4, 0xdf, 0x8d,
 475                         0xb0, 0x7b, 0x82, 0x4b, 0xb0, 0x62, 0x80, 0x2c,
 476                         0xc9, 0x8a, 0x95, 0x45, 0xbb, 0x2a, 0xae, 0xed,
 477                         0x77, 0xcb, 0x3f, 0xc6, 0xdb, 0x15, 0xdc, 0xd7,
 478                         0xd8, 0x0d, 0x7d, 0x5b, 0xc4, 0x06, 0xc4, 0x97,
 479                         0x0a, 0x34, 0x78, 0xad, 0xa8, 0x89, 0x9b, 0x32,
 480                         0x91, 0x98, 0xeb, 0x61, 0xc1, 0x93, 0xfb, 0x62,
 481                         0x75, 0xaa, 0x8c, 0xa3, 0x40, 0x34, 0x4a, 0x75,
 482                         0xa8, 0x62, 0xae, 0xbe, 0x92, 0xee, 0xe1, 0xce,
 483                         0x03, 0x2f, 0xd9, 0x50, 0xb4, 0x7d, 0x77, 0x04,
 484                         0xa3, 0x87, 0x69, 0x23, 0xb4, 0xad, 0x62, 0x84,
 485                         0x4b, 0xf4, 0xa0, 0x9c, 0x4d, 0xbe, 0x8b, 0x43,
 486                         0x97, 0x18, 0x4b, 0x74, 0x71, 0x36, 0x0c, 0x95,
 487                         0x64, 0x88, 0x0a, 0xed, 0xdd, 0xb9, 0xba, 0xa4,
 488                         0xaf, 0x2e, 0x75, 0x39, 0x4b, 0x08, 0xcd, 0x32,
 489                         0xff, 0x47, 0x9c, 0x57, 0xa0, 0x7d, 0x3e, 0xab,
 490                         0x5d, 0x54, 0xde, 0x5f, 0x97, 0x38, 0xb8, 0xd2,
 491                         0x7f, 0x27, 0xa9, 0xf0, 0xab, 0x11, 0x79, 0x9d,
 492                         0x7b, 0x7f, 0xfe, 0xfb, 0x27, 0x04, 0xc9, 0x5c,
 493                         0x6a, 0xd1, 0x2c, 0x39, 0xf1, 0xe8, 0x67, 0xa4,
 494                         0xb7, 0xb1, 0xd7, 0x81, 0x8a, 0x4b, 0x75, 0x3d,
 495                         0xfd, 0x2a, 0x89, 0xcc, 0xb4, 0x5e, 0x00, 0x1a,
 496                         0x03, 0xa8, 0x67, 0xb1, 0x87, 0xf2, 0x25, 0xdd,
 497                 },
 498         },
 499         {
 500                 0x00000002ULL,
 501                 32,
 502                 {
 503                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
 504                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
 505                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
 506                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
 507                 },
 508                 512,
 509                 {
 510                         0x26, 0x4d, 0x3c, 0xa8, 0x51, 0x21, 0x94, 0xfe,
 511                         0xc3, 0x12, 0xc8, 0xc9, 0x89, 0x1f, 0x27, 0x9f,
 512                         0xef, 0xdd, 0x60, 0x8d, 0x0c, 0x02, 0x7b, 0x60,
 513                         0x48, 0x3a, 0x3f, 0xa8, 0x11, 0xd6, 0x5e, 0xe5,
 514                         0x9d, 0x52, 0xd9, 0xe4, 0x0e, 0xc5, 0x67, 0x2d,
 515                         0x81, 0x53, 0x2b, 0x38, 0xb6, 0xb0, 0x89, 0xce,
 516                         0x95, 0x1f, 0x0f, 0x9c, 0x35, 0x59, 0x0b, 0x8b,
 517                         0x97, 0x8d, 0x17, 0x52, 0x13, 0xf3, 0x29, 0xbb,
 518                         0x1c, 0x2f, 0xd3, 0x0f, 0x2f, 0x7f, 0x30, 0x49,
 519                         0x2a, 0x61, 0xa5, 0x32, 0xa7, 0x9f, 0x51, 0xd3,
 520                         0x6f, 0x5e, 0x31, 0xa7, 0xc9, 0xa1, 0x2c, 0x28,
 521                         0x60, 0x82, 0xff, 0x7d, 0x23, 0x94, 0xd1, 0x8f,
 522                         0x78, 0x3e, 0x1a, 0x8e, 0x72, 0xc7, 0x22, 0xca,
 523                         0xaa, 0xa5, 0x2d, 0x8f, 0x06, 0x56, 0x57, 0xd2,
 524                         0x63, 0x1f, 0xd2, 0x5b, 0xfd, 0x8e, 0x5b, 0xaa,
 525                         0xd6, 0xe5, 0x27, 0xd7, 0x63, 0x51, 0x75, 0x01,
 526                         0xc6, 0x8c, 0x5e, 0xdc, 0x3c, 0xdd, 0x55, 0x43,
 527                         0x5c, 0x53, 0x2d, 0x71, 0x25, 0xc8, 0x61, 0x4d,
 528                         0xee, 0xd9, 0xad, 0xaa, 0x3a, 0xca, 0xde, 0x58,
 529                         0x88, 0xb8, 0x7b, 0xef, 0x64, 0x1c, 0x4c, 0x99,
 530                         0x4c, 0x80, 0x91, 0xb5, 0xbc, 0xd3, 0x87, 0xf3,
 531                         0x96, 0x3f, 0xb5, 0xbc, 0x37, 0xaa, 0x92, 0x2f,
 532                         0xbf, 0xe3, 0xdf, 0x4e, 0x5b, 0x91, 0x5e, 0x6e,
 533                         0xb5, 0x14, 0x71, 0x7b, 0xdd, 0x2a, 0x74, 0x07,
 534                         0x9a, 0x50, 0x73, 0xf5, 0xc4, 0xbf, 0xd4, 0x6a,
 535                         0xdf, 0x7d, 0x28, 0x2e, 0x7a, 0x39, 0x3a, 0x52,
 536                         0x57, 0x9d, 0x11, 0xa0, 0x28, 0xda, 0x4d, 0x9c,
 537                         0xd9, 0xc7, 0x71, 0x24, 0xf9, 0x64, 0x8e, 0xe3,
 538                         0x83, 0xb1, 0xac, 0x76, 0x39, 0x30, 0xe7, 0x16,
 539                         0x2a, 0x8d, 0x37, 0xf3, 0x50, 0xb2, 0xf7, 0x4b,
 540                         0x84, 0x72, 0xcf, 0x09, 0x90, 0x20, 0x63, 0xc6,
 541                         0xb3, 0x2e, 0x8c, 0x2d, 0x92, 0x90, 0xce, 0xfb,
 542                         0xd7, 0x34, 0x6d, 0x1c, 0x77, 0x9a, 0x0d, 0xf5,
 543                         0x0e, 0xdc, 0xde, 0x45, 0x31, 0xda, 0x07, 0xb0,
 544                         0x99, 0xc6, 0x38, 0xe8, 0x3a, 0x75, 0x59, 0x44,
 545                         0xdf, 0x2a, 0xef, 0x1a, 0xa3, 0x17, 0x52, 0xfd,
 546                         0x32, 0x3d, 0xcb, 0x71, 0x0f, 0xb4, 0xbf, 0xbb,
 547                         0x9d, 0x22, 0xb9, 0x25, 0xbc, 0x35, 0x77, 0xe1,
 548                         0xb8, 0x94, 0x9e, 0x72, 0x9a, 0x90, 0xbb, 0xaf,
 549                         0xea, 0xcf, 0x7f, 0x78, 0x79, 0xe7, 0xb1, 0x14,
 550                         0x7e, 0x28, 0xba, 0x0b, 0xae, 0x94, 0x0d, 0xb7,
 551                         0x95, 0xa6, 0x1b, 0x15, 0xec, 0xf4, 0xdf, 0x8d,
 552                         0xb0, 0x7b, 0x82, 0x4b, 0xb0, 0x62, 0x80, 0x2c,
 553                         0xc9, 0x8a, 0x95, 0x45, 0xbb, 0x2a, 0xae, 0xed,
 554                         0x77, 0xcb, 0x3f, 0xc6, 0xdb, 0x15, 0xdc, 0xd7,
 555                         0xd8, 0x0d, 0x7d, 0x5b, 0xc4, 0x06, 0xc4, 0x97,
 556                         0x0a, 0x34, 0x78, 0xad, 0xa8, 0x89, 0x9b, 0x32,
 557                         0x91, 0x98, 0xeb, 0x61, 0xc1, 0x93, 0xfb, 0x62,
 558                         0x75, 0xaa, 0x8c, 0xa3, 0x40, 0x34, 0x4a, 0x75,
 559                         0xa8, 0x62, 0xae, 0xbe, 0x92, 0xee, 0xe1, 0xce,
 560                         0x03, 0x2f, 0xd9, 0x50, 0xb4, 0x7d, 0x77, 0x04,
 561                         0xa3, 0x87, 0x69, 0x23, 0xb4, 0xad, 0x62, 0x84,
 562                         0x4b, 0xf4, 0xa0, 0x9c, 0x4d, 0xbe, 0x8b, 0x43,
 563                         0x97, 0x18, 0x4b, 0x74, 0x71, 0x36, 0x0c, 0x95,
 564                         0x64, 0x88, 0x0a, 0xed, 0xdd, 0xb9, 0xba, 0xa4,
 565                         0xaf, 0x2e, 0x75, 0x39, 0x4b, 0x08, 0xcd, 0x32,
 566                         0xff, 0x47, 0x9c, 0x57, 0xa0, 0x7d, 0x3e, 0xab,
 567                         0x5d, 0x54, 0xde, 0x5f, 0x97, 0x38, 0xb8, 0xd2,
 568                         0x7f, 0x27, 0xa9, 0xf0, 0xab, 0x11, 0x79, 0x9d,
 569                         0x7b, 0x7f, 0xfe, 0xfb, 0x27, 0x04, 0xc9, 0x5c,
 570                         0x6a, 0xd1, 0x2c, 0x39, 0xf1, 0xe8, 0x67, 0xa4,
 571                         0xb7, 0xb1, 0xd7, 0x81, 0x8a, 0x4b, 0x75, 0x3d,
 572                         0xfd, 0x2a, 0x89, 0xcc, 0xb4, 0x5e, 0x00, 0x1a,
 573                         0x03, 0xa8, 0x67, 0xb1, 0x87, 0xf2, 0x25, 0xdd,
 574                 }, {
 575                         0xfa, 0x76, 0x2a, 0x36, 0x80, 0xb7, 0x60, 0x07,
 576                         0x92, 0x8e, 0xd4, 0xa4, 0xf4, 0x9a, 0x94, 0x56,
 577                         0x03, 0x1b, 0x70, 0x47, 0x82, 0xe6, 0x5e, 0x16,
 578                         0xce, 0xcb, 0x54, 0xed, 0x7d, 0x01, 0x7b, 0x5e,
 579                         0x18, 0xab, 0xd6, 0x7b, 0x33, 0x8e, 0x81, 0x07,
 580                         0x8f, 0x21, 0xed, 0xb7, 0x86, 0x8d, 0x90, 0x1e,
 581                         0xbe, 0x9c, 0x73, 0x1a, 0x7c, 0x18, 0xb5, 0xe6,
 582                         0xde, 0xc1, 0xd6, 0xa7, 0x2e, 0x07, 0x8a, 0xc9,
 583                         0xa4, 0x26, 0x2f, 0x86, 0x0b, 0xee, 0xfa, 0x14,
 584                         0xf4, 0xe8, 0x21, 0x01, 0x82, 0x72, 0xe4, 0x11,
 585                         0xa9, 0x51, 0x50, 0x2b, 0x6e, 0x79, 0x06, 0x6e,
 586                         0x84, 0x25, 0x2c, 0x33, 0x46, 0xf3, 0xaa, 0x62,
 587                         0x34, 0x43, 0x51, 0xa2, 0x91, 0xd4, 0xbe, 0xdc,
 588                         0x7a, 0x07, 0x61, 0x8b, 0xde, 0xa2, 0xaf, 0x63,
 589                         0x14, 0x5c, 0xc7, 0xa4, 0xb8, 0xd4, 0x07, 0x06,
 590                         0x91, 0xae, 0x89, 0x0c, 0xd6, 0x57, 0x33, 0xe7,
 591                         0x94, 0x6e, 0x90, 0x21, 0xa1, 0xdf, 0xfc, 0x4c,
 592                         0x59, 0xf1, 0x59, 0x42, 0x5e, 0xe6, 0xd5, 0x0c,
 593                         0xa9, 0xb1, 0x35, 0xfa, 0x61, 0x62, 0xce, 0xa1,
 594                         0x8a, 0x93, 0x98, 0x38, 0xdc, 0x00, 0x0f, 0xb3,
 595                         0x86, 0xfa, 0xd0, 0x86, 0xac, 0xce, 0x5a, 0xc0,
 596                         0x7c, 0xb2, 0xec, 0xe7, 0xfd, 0x58, 0x0b, 0x00,
 597                         0xcf, 0xa5, 0xe9, 0x85, 0x89, 0x63, 0x1d, 0xc2,
 598                         0x5e, 0x8e, 0x2a, 0x3d, 0xaf, 0x2f, 0xfd, 0xec,
 599                         0x26, 0x53, 0x16, 0x59, 0x91, 0x2c, 0x9d, 0x8f,
 600                         0x7a, 0x15, 0xe5, 0x86, 0x5e, 0xa8, 0xfb, 0x58,
 601                         0x16, 0xd6, 0x20, 0x70, 0x52, 0xbd, 0x71, 0x28,
 602                         0xcd, 0x74, 0x3c, 0x12, 0xc8, 0x11, 0x87, 0x91,
 603                         0xa4, 0x73, 0x68, 0x11, 0x93, 0x5e, 0xb9, 0x82,
 604                         0xa5, 0x32, 0x34, 0x9e, 0x31, 0xdd, 0x40, 0x1e,
 605                         0x0b, 0x66, 0x0a, 0x56, 0x8c, 0xb1, 0xa4, 0x71,
 606                         0x1f, 0x55, 0x2f, 0x55, 0xde, 0xd5, 0x9f, 0x1f,
 607                         0x15, 0xbf, 0x71, 0x96, 0xb3, 0xca, 0x12, 0xa9,
 608                         0x1e, 0x48, 0x8e, 0xf5, 0x9d, 0x64, 0xf3, 0xa0,
 609                         0x2b, 0xf4, 0x52, 0x39, 0x49, 0x9a, 0xc6, 0x17,
 610                         0x6a, 0xe3, 0x21, 0xc4, 0xa2, 0x11, 0xec, 0x54,
 611                         0x53, 0x65, 0x97, 0x1c, 0x5d, 0x3f, 0x4f, 0x09,
 612                         0xd4, 0xeb, 0x13, 0x9b, 0xfd, 0xf2, 0x07, 0x3d,
 613                         0x33, 0x18, 0x0b, 0x21, 0x00, 0x2b, 0x65, 0xcc,
 614                         0x98, 0x65, 0xe7, 0x6c, 0xb2, 0x4c, 0xd9, 0x2c,
 615                         0x87, 0x4c, 0x24, 0xc1, 0x83, 0x50, 0x39, 0x9a,
 616                         0x93, 0x6a, 0xb3, 0x63, 0x70, 0x79, 0x29, 0x5d,
 617                         0x76, 0xc4, 0x17, 0x77, 0x6b, 0x94, 0xef, 0xce,
 618                         0x3a, 0x0e, 0xf7, 0x20, 0x6b, 0x15, 0x11, 0x05,
 619                         0x19, 0x65, 0x5c, 0x95, 0x6c, 0xbd, 0x8b, 0x24,
 620                         0x89, 0x40, 0x5e, 0xe2, 0xb0, 0x9a, 0x6b, 0x6e,
 621                         0xeb, 0xe0, 0xc5, 0x37, 0x90, 0xa1, 0x2a, 0x89,
 622                         0x98, 0x37, 0x8b, 0x33, 0xa5, 0xb7, 0x11, 0x59,
 623                         0x62, 0x5f, 0x4b, 0xa4, 0x9d, 0x2a, 0x2f, 0xdb,
 624                         0xa5, 0x9f, 0xbf, 0x08, 0x97, 0xbc, 0x7a, 0xab,
 625                         0xd8, 0xd7, 0x07, 0xdc, 0x14, 0x0a, 0x80, 0xf0,
 626                         0xf3, 0x09, 0xf8, 0x35, 0xd3, 0xda, 0x54, 0xab,
 627                         0x58, 0x4e, 0x50, 0x1d, 0xfa, 0x0e, 0xe9, 0x77,
 628                         0xfe, 0xc5, 0x43, 0xf7, 0x41, 0x86, 0xa8, 0x02,
 629                         0xb9, 0xa3, 0x7a, 0xdb, 0x3e, 0x82, 0x91, 0xec,
 630                         0xa0, 0x4d, 0x66, 0x52, 0x0d, 0x22, 0x9e, 0x60,
 631                         0x40, 0x1e, 0x72, 0x82, 0xbe, 0xf4, 0x86, 0xae,
 632                         0x05, 0x9a, 0xa7, 0x06, 0x96, 0xe0, 0xe3, 0x05,
 633                         0xd7, 0x77, 0x14, 0x0a, 0x7a, 0x88, 0x3e, 0xcd,
 634                         0xcb, 0x69, 0xb9, 0xff, 0x93, 0x8e, 0x8a, 0x42,
 635                         0x31, 0x86, 0x4c, 0x69, 0xca, 0x2c, 0x20, 0x43,
 636                         0xbe, 0xd0, 0x07, 0xff, 0x3e, 0x60, 0x5e, 0x01,
 637                         0x4b, 0xcf, 0x51, 0x81, 0x38, 0xdc, 0x3a, 0x25,
 638                         0xc5, 0xe2, 0x36, 0x17, 0x1a, 0x2d, 0x01, 0xd6,
 639                 },
 640         },
 641         {
 642                 0x000000fdULL,
 643                 32,
 644                 {
 645                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
 646                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
 647                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
 648                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
 649                 },
 650                 512,
 651                 {
 652                         0x8e, 0x41, 0xb7, 0x8c, 0x39, 0x0b, 0x5a, 0xf9,
 653                         0xd7, 0x58, 0xbb, 0x21, 0x4a, 0x67, 0xe9, 0xf6,
 654                         0xbf, 0x77, 0x27, 0xb0, 0x9a, 0xc6, 0x12, 0x40,
 655                         0x84, 0xc3, 0x76, 0x11, 0x39, 0x8f, 0xa4, 0x5d,
 656                         0xaa, 0xd9, 0x48, 0x68, 0x60, 0x0e, 0xd3, 0x91,
 657                         0xfb, 0x1a, 0xcd, 0x48, 0x57, 0xa9, 0x5b, 0x46,
 658                         0x6e, 0x62, 0xef, 0x9f, 0x4b, 0x37, 0x72, 0x44,
 659                         0xd1, 0xc1, 0x52, 0xe7, 0xb3, 0x0d, 0x73, 0x1a,
 660                         0xad, 0x30, 0xc7, 0x16, 0xd2, 0x14, 0xb7, 0x07,
 661                         0xae, 0xd9, 0x9e, 0xb5, 0xb5, 0xe5, 0x80, 0xb3,
 662                         0xe8, 0x87, 0xcf, 0x74, 0x97, 0x46, 0x56, 0x51,
 663                         0xd4, 0xb6, 0x0e, 0x60, 0x42, 0x05, 0x1d, 0xa3,
 664                         0x69, 0x3c, 0x3b, 0x78, 0xc1, 0x44, 0x89, 0x54,
 665                         0x3b, 0xe8, 0xb6, 0xad, 0x0b, 0xa6, 0x29, 0x56,
 666                         0x5b, 0xba, 0x20, 0x23, 0x13, 0xba, 0x7b, 0x0d,
 667                         0x0c, 0x94, 0xa3, 0x25, 0x2b, 0x67, 0x6f, 0x46,
 668                         0xcc, 0x02, 0xce, 0x0f, 0x8a, 0x7d, 0x34, 0xc0,
 669                         0xed, 0x22, 0x91, 0x29, 0x67, 0x3c, 0x1f, 0x61,
 670                         0xae, 0xd5, 0x79, 0xd0, 0x8a, 0x92, 0x03, 0xa2,
 671                         0x5a, 0xac, 0x3a, 0x77, 0xe9, 0xdb, 0x60, 0x26,
 672                         0x79, 0x96, 0xdb, 0x38, 0xdf, 0x63, 0x73, 0x56,
 673                         0xd9, 0xdc, 0xd1, 0x63, 0x2e, 0x36, 0x99, 0x39,
 674                         0xf2, 0xa2, 0x9d, 0x89, 0x34, 0x5c, 0x66, 0xe0,
 675                         0x50, 0x66, 0xf1, 0xa3, 0x67, 0x7a, 0xef, 0x18,
 676                         0xde, 0xa4, 0x11, 0x3f, 0xae, 0xb6, 0x29, 0xe4,
 677                         0x67, 0x21, 0xa6, 0x6d, 0x0a, 0x7e, 0x78, 0x5d,
 678                         0x3e, 0x29, 0xaf, 0x25, 0x94, 0xeb, 0x67, 0xdf,
 679                         0xa9, 0x82, 0xaf, 0xfe, 0x0a, 0xac, 0x05, 0x8f,
 680                         0x6e, 0x15, 0x86, 0x42, 0x69, 0xb1, 0x35, 0x41,
 681                         0x82, 0x61, 0xfc, 0x3a, 0xfb, 0x08, 0x94, 0x72,
 682                         0xcf, 0x68, 0xc4, 0x5d, 0xd7, 0xf2, 0x31, 0xc6,
 683                         0x24, 0x9b, 0xa0, 0x25, 0x5e, 0x1e, 0x03, 0x38,
 684                         0x33, 0xfc, 0x4d, 0x00, 0xa3, 0xfe, 0x02, 0x13,
 685                         0x2d, 0x7b, 0xc3, 0x87, 0x36, 0x14, 0xb8, 0xae,
 686                         0xe3, 0x42, 0x73, 0x58, 0x1e, 0xa0, 0x32, 0x5c,
 687                         0x81, 0xf0, 0x27, 0x0a, 0xff, 0xa1, 0x36, 0x41,
 688                         0xd0, 0x52, 0xd3, 0x6f, 0x07, 0x57, 0xd4, 0x84,
 689                         0x01, 0x43, 0x54, 0xd0, 0x2d, 0x68, 0x83, 0xca,
 690                         0x15, 0xc2, 0x4d, 0x8c, 0x39, 0x56, 0xb1, 0xbd,
 691                         0x02, 0x7b, 0xcf, 0x41, 0xf1, 0x51, 0xfd, 0x80,
 692                         0x23, 0xc5, 0x34, 0x0e, 0x56, 0x06, 0xf3, 0x7e,
 693                         0x90, 0xfd, 0xb8, 0x7c, 0x86, 0xfb, 0x4f, 0xa6,
 694                         0x34, 0xb3, 0x71, 0x8a, 0x30, 0xba, 0xce, 0x06,
 695                         0xa6, 0x6e, 0xaf, 0x8f, 0x63, 0xc4, 0xaa, 0x3b,
 696                         0x63, 0x78, 0x26, 0xa8, 0x7f, 0xe8, 0xcf, 0xa4,
 697                         0x42, 0x82, 0xe9, 0x2c, 0xb1, 0x61, 0x5a, 0xf3,
 698                         0xa2, 0x8e, 0x53, 0xbc, 0x74, 0xc7, 0xcb, 0xa1,
 699                         0xa0, 0x97, 0x7b, 0xe9, 0x06, 0x5d, 0x0c, 0x1a,
 700                         0x5d, 0xec, 0x6c, 0x54, 0xae, 0x38, 0xd3, 0x7f,
 701                         0x37, 0xaa, 0x35, 0x28, 0x3e, 0x04, 0x8e, 0x55,
 702                         0x30, 0xa8, 0x5c, 0x4e, 0x7a, 0x29, 0xd7, 0xb9,
 703                         0x2e, 0xc0, 0xc3, 0x16, 0x9c, 0xdf, 0x2a, 0x80,
 704                         0x5c, 0x76, 0x04, 0xbc, 0xe6, 0x00, 0x49, 0xb9,
 705                         0xfb, 0x7b, 0x8e, 0xaa, 0xc1, 0x0f, 0x51, 0xae,
 706                         0x23, 0x79, 0x4c, 0xeb, 0xa6, 0x8b, 0xb5, 0x81,
 707                         0x12, 0xe2, 0x93, 0xb9, 0xb6, 0x92, 0xca, 0x72,
 708                         0x1b, 0x37, 0xc6, 0x62, 0xf8, 0x57, 0x4e, 0xd4,
 709                         0xdb, 0xa6, 0xf8, 0x8e, 0x17, 0x08, 0x81, 0xc8,
 710                         0x2c, 0xdd, 0xc1, 0x03, 0x4a, 0x0c, 0xa7, 0xe2,
 711                         0x84, 0xbf, 0x09, 0x62, 0xb6, 0xb2, 0x62, 0x92,
 712                         0xd8, 0x36, 0xfa, 0x9f, 0x73, 0xc1, 0xac, 0x77,
 713                         0x0e, 0xef, 0x0f, 0x2d, 0x3a, 0x1e, 0xaf, 0x61,
 714                         0xd3, 0xe0, 0x35, 0x55, 0xfd, 0x42, 0x4e, 0xed,
 715                         0xd6, 0x7e, 0x18, 0xa1, 0x80, 0x94, 0xf8, 0x88,
 716                 }, {
 717                         0xd5, 0x5f, 0x68, 0x4f, 0x81, 0xf4, 0x42, 0x6e,
 718                         0x9f, 0xde, 0x92, 0xa5, 0xff, 0x02, 0xdf, 0x2a,
 719                         0xc8, 0x96, 0xaf, 0x63, 0x96, 0x28, 0x88, 0xa9,
 720                         0x79, 0x10, 0xc1, 0x37, 0x9e, 0x20, 0xb0, 0xa3,
 721                         0xb1, 0xdb, 0x61, 0x3f, 0xb7, 0xfe, 0x2e, 0x07,
 722                         0x00, 0x43, 0x29, 0xea, 0x5c, 0x22, 0xbf, 0xd3,
 723                         0x3e, 0x3d, 0xbe, 0x4c, 0xf5, 0x8c, 0xc6, 0x08,
 724                         0xc2, 0xc2, 0x6c, 0x19, 0xa2, 0xe2, 0xfe, 0x22,
 725                         0xf9, 0x87, 0x32, 0xc2, 0xb5, 0xcb, 0x84, 0x4c,
 726                         0xc6, 0xc0, 0x70, 0x2d, 0x91, 0xe1, 0xd5, 0x0f,
 727                         0xc4, 0x38, 0x2a, 0x7e, 0xba, 0x56, 0x35, 0xcd,
 728                         0x60, 0x24, 0x32, 0xa2, 0x30, 0x6a, 0xc4, 0xce,
 729                         0x82, 0xf8, 0xd7, 0x0c, 0x8d, 0x9b, 0xc1, 0x5f,
 730                         0x91, 0x8f, 0xe7, 0x1e, 0x74, 0xc6, 0x22, 0xd5,
 731                         0xcf, 0x71, 0x17, 0x8b, 0xf6, 0xe0, 0xb9, 0xcc,
 732                         0x9f, 0x2b, 0x41, 0xdd, 0x8d, 0xbe, 0x44, 0x1c,
 733                         0x41, 0xcd, 0x0c, 0x73, 0xa6, 0xdc, 0x47, 0xa3,
 734                         0x48, 0xf6, 0x70, 0x2f, 0x9d, 0x0e, 0x9b, 0x1b,
 735                         0x14, 0x31, 0xe9, 0x48, 0xe2, 0x99, 0xb9, 0xec,
 736                         0x22, 0x72, 0xab, 0x2c, 0x5f, 0x0c, 0x7b, 0xe8,
 737                         0x6a, 0xff, 0xa5, 0xde, 0xc8, 0x7a, 0x0b, 0xee,
 738                         0x81, 0xd3, 0xd5, 0x00, 0x07, 0xed, 0xaa, 0x2b,
 739                         0xcf, 0xcc, 0xb3, 0x56, 0x05, 0x15, 0x5f, 0xf3,
 740                         0x6e, 0xd8, 0xed, 0xd4, 0xa4, 0x0d, 0xcd, 0x4b,
 741                         0x24, 0x3a, 0xcd, 0x11, 0xb2, 0xb9, 0x87, 0xbd,
 742                         0xbf, 0xaf, 0x91, 0xa7, 0xca, 0xc2, 0x7e, 0x9c,
 743                         0x5a, 0xea, 0x52, 0x5e, 0xe5, 0x3d, 0xe7, 0xb2,
 744                         0xd3, 0x33, 0x2c, 0x86, 0x44, 0x40, 0x2b, 0x82,
 745                         0x3e, 0x94, 0xa7, 0xdb, 0x26, 0x27, 0x6d, 0x2d,
 746                         0x23, 0xaa, 0x07, 0x18, 0x0f, 0x76, 0xb4, 0xfd,
 747                         0x29, 0xb9, 0xc0, 0x82, 0x30, 0x99, 0xc9, 0xd6,
 748                         0x2c, 0x51, 0x98, 0x80, 0xae, 0xe7, 0xe9, 0x69,
 749                         0x76, 0x17, 0xc1, 0x49, 0x7d, 0x47, 0xbf, 0x3e,
 750                         0x57, 0x19, 0x50, 0x31, 0x14, 0x21, 0xb6, 0xb7,
 751                         0x34, 0xd3, 0x8b, 0x0d, 0xb9, 0x1e, 0xb8, 0x53,
 752                         0x31, 0xb9, 0x1e, 0xa9, 0xf6, 0x15, 0x30, 0xf5,
 753                         0x45, 0x12, 0xa5, 0xa5, 0x2a, 0x4b, 0xad, 0x58,
 754                         0x9e, 0xb6, 0x97, 0x81, 0xd5, 0x37, 0xf2, 0x32,
 755                         0x97, 0xbb, 0x45, 0x9b, 0xda, 0xd2, 0x94, 0x8a,
 756                         0x29, 0xe1, 0x55, 0x0b, 0xf4, 0x78, 0x7e, 0x0b,
 757                         0xe9, 0x5b, 0xb1, 0x73, 0xcf, 0x5f, 0xab, 0x17,
 758                         0xda, 0xb7, 0xa1, 0x3a, 0x05, 0x2a, 0x63, 0x45,
 759                         0x3d, 0x97, 0xcc, 0xec, 0x1a, 0x32, 0x19, 0x54,
 760                         0x88, 0x6b, 0x7a, 0x12, 0x99, 0xfa, 0xae, 0xec,
 761                         0xae, 0x35, 0xc6, 0xea, 0xac, 0xa7, 0x53, 0xb0,
 762                         0x41, 0xb5, 0xe5, 0xf0, 0x93, 0xbf, 0x83, 0x39,
 763                         0x7f, 0xd2, 0x1d, 0xd6, 0xb3, 0x01, 0x20, 0x66,
 764                         0xfc, 0xc0, 0x58, 0xcc, 0x32, 0xc3, 0xb0, 0x9d,
 765                         0x75, 0x62, 0xde, 0xe2, 0x95, 0x09, 0xb5, 0x83,
 766                         0x93, 0x92, 0xc9, 0xff, 0x05, 0xf5, 0x1f, 0x31,
 767                         0x66, 0xaa, 0xac, 0x4a, 0xc5, 0xf2, 0x38, 0x03,
 768                         0x8a, 0x30, 0x45, 0xe6, 0xf7, 0x2e, 0x48, 0xef,
 769                         0x0f, 0xe8, 0xbc, 0x67, 0x5e, 0x82, 0xc3, 0x18,
 770                         0xa2, 0x68, 0xe4, 0x39, 0x70, 0x27, 0x1b, 0xf1,
 771                         0x19, 0xb8, 0x1b, 0xf6, 0xa9, 0x82, 0x74, 0x65,
 772                         0x54, 0xf8, 0x4e, 0x72, 0xb9, 0xf0, 0x02, 0x80,
 773                         0xa3, 0x20, 0xa0, 0x81, 0x42, 0x92, 0x3c, 0x23,
 774                         0xc8, 0x83, 0x42, 0x3f, 0xf9, 0x49, 0x82, 0x7f,
 775                         0x29, 0xbb, 0xac, 0xdc, 0x1c, 0xcd, 0xb0, 0x49,
 776                         0x38, 0xce, 0x60, 0x98, 0xc9, 0x5b, 0xa6, 0xb3,
 777                         0x25, 0x28, 0xf4, 0xef, 0x78, 0xee, 0xd7, 0x78,
 778                         0xb2, 0xe1, 0x22, 0xdd, 0xfd, 0x1c, 0xbd, 0xd1,
 779                         0x1d, 0x1c, 0x0a, 0x67, 0x83, 0xe0, 0x11, 0xfc,
 780                         0x53, 0x6d, 0x63, 0xd0, 0x53, 0x26, 0x06, 0x37,
 781                 },
 782         },
 783         {
 784                 0x000000feULL,
 785                 32,
 786                 {
 787                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
 788                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
 789                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
 790                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
 791                 },
 792                 512,
 793                 {
 794                         0xd5, 0x5f, 0x68, 0x4f, 0x81, 0xf4, 0x42, 0x6e,
 795                         0x9f, 0xde, 0x92, 0xa5, 0xff, 0x02, 0xdf, 0x2a,
 796                         0xc8, 0x96, 0xaf, 0x63, 0x96, 0x28, 0x88, 0xa9,
 797                         0x79, 0x10, 0xc1, 0x37, 0x9e, 0x20, 0xb0, 0xa3,
 798                         0xb1, 0xdb, 0x61, 0x3f, 0xb7, 0xfe, 0x2e, 0x07,
 799                         0x00, 0x43, 0x29, 0xea, 0x5c, 0x22, 0xbf, 0xd3,
 800                         0x3e, 0x3d, 0xbe, 0x4c, 0xf5, 0x8c, 0xc6, 0x08,
 801                         0xc2, 0xc2, 0x6c, 0x19, 0xa2, 0xe2, 0xfe, 0x22,
 802                         0xf9, 0x87, 0x32, 0xc2, 0xb5, 0xcb, 0x84, 0x4c,
 803                         0xc6, 0xc0, 0x70, 0x2d, 0x91, 0xe1, 0xd5, 0x0f,
 804                         0xc4, 0x38, 0x2a, 0x7e, 0xba, 0x56, 0x35, 0xcd,
 805                         0x60, 0x24, 0x32, 0xa2, 0x30, 0x6a, 0xc4, 0xce,
 806                         0x82, 0xf8, 0xd7, 0x0c, 0x8d, 0x9b, 0xc1, 0x5f,
 807                         0x91, 0x8f, 0xe7, 0x1e, 0x74, 0xc6, 0x22, 0xd5,
 808                         0xcf, 0x71, 0x17, 0x8b, 0xf6, 0xe0, 0xb9, 0xcc,
 809                         0x9f, 0x2b, 0x41, 0xdd, 0x8d, 0xbe, 0x44, 0x1c,
 810                         0x41, 0xcd, 0x0c, 0x73, 0xa6, 0xdc, 0x47, 0xa3,
 811                         0x48, 0xf6, 0x70, 0x2f, 0x9d, 0x0e, 0x9b, 0x1b,
 812                         0x14, 0x31, 0xe9, 0x48, 0xe2, 0x99, 0xb9, 0xec,
 813                         0x22, 0x72, 0xab, 0x2c, 0x5f, 0x0c, 0x7b, 0xe8,
 814                         0x6a, 0xff, 0xa5, 0xde, 0xc8, 0x7a, 0x0b, 0xee,
 815                         0x81, 0xd3, 0xd5, 0x00, 0x07, 0xed, 0xaa, 0x2b,
 816                         0xcf, 0xcc, 0xb3, 0x56, 0x05, 0x15, 0x5f, 0xf3,
 817                         0x6e, 0xd8, 0xed, 0xd4, 0xa4, 0x0d, 0xcd, 0x4b,
 818                         0x24, 0x3a, 0xcd, 0x11, 0xb2, 0xb9, 0x87, 0xbd,
 819                         0xbf, 0xaf, 0x91, 0xa7, 0xca, 0xc2, 0x7e, 0x9c,
 820                         0x5a, 0xea, 0x52, 0x5e, 0xe5, 0x3d, 0xe7, 0xb2,
 821                         0xd3, 0x33, 0x2c, 0x86, 0x44, 0x40, 0x2b, 0x82,
 822                         0x3e, 0x94, 0xa7, 0xdb, 0x26, 0x27, 0x6d, 0x2d,
 823                         0x23, 0xaa, 0x07, 0x18, 0x0f, 0x76, 0xb4, 0xfd,
 824                         0x29, 0xb9, 0xc0, 0x82, 0x30, 0x99, 0xc9, 0xd6,
 825                         0x2c, 0x51, 0x98, 0x80, 0xae, 0xe7, 0xe9, 0x69,
 826                         0x76, 0x17, 0xc1, 0x49, 0x7d, 0x47, 0xbf, 0x3e,
 827                         0x57, 0x19, 0x50, 0x31, 0x14, 0x21, 0xb6, 0xb7,
 828                         0x34, 0xd3, 0x8b, 0x0d, 0xb9, 0x1e, 0xb8, 0x53,
 829                         0x31, 0xb9, 0x1e, 0xa9, 0xf6, 0x15, 0x30, 0xf5,
 830                         0x45, 0x12, 0xa5, 0xa5, 0x2a, 0x4b, 0xad, 0x58,
 831                         0x9e, 0xb6, 0x97, 0x81, 0xd5, 0x37, 0xf2, 0x32,
 832                         0x97, 0xbb, 0x45, 0x9b, 0xda, 0xd2, 0x94, 0x8a,
 833                         0x29, 0xe1, 0x55, 0x0b, 0xf4, 0x78, 0x7e, 0x0b,
 834                         0xe9, 0x5b, 0xb1, 0x73, 0xcf, 0x5f, 0xab, 0x17,
 835                         0xda, 0xb7, 0xa1, 0x3a, 0x05, 0x2a, 0x63, 0x45,
 836                         0x3d, 0x97, 0xcc, 0xec, 0x1a, 0x32, 0x19, 0x54,
 837                         0x88, 0x6b, 0x7a, 0x12, 0x99, 0xfa, 0xae, 0xec,
 838                         0xae, 0x35, 0xc6, 0xea, 0xac, 0xa7, 0x53, 0xb0,
 839                         0x41, 0xb5, 0xe5, 0xf0, 0x93, 0xbf, 0x83, 0x39,
 840                         0x7f, 0xd2, 0x1d, 0xd6, 0xb3, 0x01, 0x20, 0x66,
 841                         0xfc, 0xc0, 0x58, 0xcc, 0x32, 0xc3, 0xb0, 0x9d,
 842                         0x75, 0x62, 0xde, 0xe2, 0x95, 0x09, 0xb5, 0x83,
 843                         0x93, 0x92, 0xc9, 0xff, 0x05, 0xf5, 0x1f, 0x31,
 844                         0x66, 0xaa, 0xac, 0x4a, 0xc5, 0xf2, 0x38, 0x03,
 845                         0x8a, 0x30, 0x45, 0xe6, 0xf7, 0x2e, 0x48, 0xef,
 846                         0x0f, 0xe8, 0xbc, 0x67, 0x5e, 0x82, 0xc3, 0x18,
 847                         0xa2, 0x68, 0xe4, 0x39, 0x70, 0x27, 0x1b, 0xf1,
 848                         0x19, 0xb8, 0x1b, 0xf6, 0xa9, 0x82, 0x74, 0x65,
 849                         0x54, 0xf8, 0x4e, 0x72, 0xb9, 0xf0, 0x02, 0x80,
 850                         0xa3, 0x20, 0xa0, 0x81, 0x42, 0x92, 0x3c, 0x23,
 851                         0xc8, 0x83, 0x42, 0x3f, 0xf9, 0x49, 0x82, 0x7f,
 852                         0x29, 0xbb, 0xac, 0xdc, 0x1c, 0xcd, 0xb0, 0x49,
 853                         0x38, 0xce, 0x60, 0x98, 0xc9, 0x5b, 0xa6, 0xb3,
 854                         0x25, 0x28, 0xf4, 0xef, 0x78, 0xee, 0xd7, 0x78,
 855                         0xb2, 0xe1, 0x22, 0xdd, 0xfd, 0x1c, 0xbd, 0xd1,
 856                         0x1d, 0x1c, 0x0a, 0x67, 0x83, 0xe0, 0x11, 0xfc,
 857                         0x53, 0x6d, 0x63, 0xd0, 0x53, 0x26, 0x06, 0x37,
 858                 }, {
 859                         0x72, 0xef, 0xc1, 0xeb, 0xfe, 0x1e, 0xe2, 0x59,
 860                         0x75, 0xa6, 0xeb, 0x3a, 0xa8, 0x58, 0x9d, 0xda,
 861                         0x2b, 0x26, 0x1f, 0x1c, 0x85, 0xbd, 0xab, 0x44,
 862                         0x2a, 0x9e, 0x5b, 0x2d, 0xd1, 0xd7, 0xc3, 0x95,
 863                         0x7a, 0x16, 0xfc, 0x08, 0xe5, 0x26, 0xd4, 0xb1,
 864                         0x22, 0x3f, 0x1b, 0x12, 0x32, 0xa1, 0x1a, 0xf2,
 865                         0x74, 0xc3, 0xd7, 0x0d, 0xac, 0x57, 0xf8, 0x3e,
 866                         0x09, 0x83, 0xc4, 0x98, 0xf1, 0xa6, 0xf1, 0xae,
 867                         0xcb, 0x02, 0x1c, 0x3e, 0x70, 0x08, 0x5a, 0x1e,
 868                         0x52, 0x7f, 0x1c, 0xe4, 0x1e, 0xe5, 0x91, 0x1a,
 869                         0x82, 0x02, 0x01, 0x61, 0x52, 0x9c, 0xd8, 0x27,
 870                         0x73, 0x76, 0x2d, 0xaf, 0x54, 0x59, 0xde, 0x94,
 871                         0xa0, 0xa8, 0x2a, 0xda, 0xe7, 0xe1, 0x70, 0x3c,
 872                         0x80, 0x85, 0x43, 0xc2, 0x9e, 0xd6, 0xfb, 0x32,
 873                         0xd9, 0xe0, 0x04, 0x32, 0x7c, 0x13, 0x55, 0x18,
 874                         0x0c, 0x99, 0x5a, 0x07, 0x74, 0x14, 0x93, 0xa0,
 875                         0x9c, 0x21, 0xba, 0x01, 0xa3, 0x87, 0x88, 0x2d,
 876                         0xa4, 0xf6, 0x25, 0x34, 0xb8, 0x7b, 0xb1, 0x5d,
 877                         0x60, 0xd1, 0x97, 0x20, 0x1c, 0x0f, 0xd3, 0xbf,
 878                         0x30, 0xc1, 0x50, 0x0a, 0x3e, 0xcf, 0xec, 0xdd,
 879                         0x66, 0xd8, 0x72, 0x1f, 0x90, 0xbc, 0xc4, 0xc1,
 880                         0x7e, 0xe9, 0x25, 0xc6, 0x1b, 0x0a, 0x03, 0x72,
 881                         0x7a, 0x9c, 0x0d, 0x5f, 0x5c, 0xa4, 0x62, 0xfb,
 882                         0xfa, 0x0a, 0xf1, 0xc2, 0x51, 0x3a, 0x9d, 0x9d,
 883                         0x4b, 0x53, 0x45, 0xbd, 0x27, 0xa5, 0xf6, 0xe6,
 884                         0x53, 0xf7, 0x51, 0x69, 0x3e, 0x6b, 0x6a, 0x2b,
 885                         0x8e, 0xad, 0x57, 0xd5, 0x11, 0xe0, 0x0e, 0x58,
 886                         0xc4, 0x5b, 0x7b, 0x8d, 0x00, 0x5a, 0xf7, 0x92,
 887                         0x88, 0xf5, 0xc7, 0xc2, 0x2f, 0xd4, 0xf1, 0xbf,
 888                         0x7a, 0x89, 0x8b, 0x03, 0xa5, 0x63, 0x4c, 0x6a,
 889                         0x1a, 0xe3, 0xf9, 0xfa, 0xe5, 0xde, 0x4f, 0x29,
 890                         0x6a, 0x28, 0x96, 0xb2, 0x3e, 0x7e, 0xd4, 0x3e,
 891                         0xd1, 0x4f, 0xa5, 0xa2, 0x80, 0x3f, 0x4d, 0x28,
 892                         0xf0, 0xd3, 0xff, 0xcf, 0x24, 0x75, 0x76, 0x77,
 893                         0xae, 0xbd, 0xb4, 0x7b, 0xb3, 0x88, 0x37, 0x87,
 894                         0x08, 0x94, 0x8a, 0x8d, 0x41, 0x26, 0xed, 0x18,
 895                         0x39, 0xe0, 0xda, 0x29, 0xa5, 0x37, 0xa8, 0xc1,
 896                         0x98, 0xb3, 0xc6, 0x6a, 0xb0, 0x07, 0x12, 0xdd,
 897                         0x26, 0x16, 0x74, 0xbf, 0x45, 0xa7, 0x3d, 0x67,
 898                         0xf7, 0x69, 0x14, 0xf8, 0x30, 0xca, 0x01, 0x4b,
 899                         0x65, 0x59, 0x6f, 0x27, 0xe4, 0xcf, 0x62, 0xde,
 900                         0x66, 0x12, 0x5a, 0x55, 0x66, 0xdf, 0x99, 0x75,
 901                         0x15, 0x56, 0x28, 0xb4, 0x00, 0xfb, 0xfb, 0x3a,
 902                         0x29, 0x04, 0x0e, 0xd5, 0x0f, 0xaf, 0xfd, 0xbb,
 903                         0x18, 0xae, 0xce, 0x7c, 0x5c, 0x44, 0x69, 0x32,
 904                         0x60, 0xaa, 0xb3, 0x86, 0xc0, 0xa3, 0x7b, 0x11,
 905                         0xb1, 0x14, 0xf1, 0xc4, 0x15, 0xae, 0xbb, 0x65,
 906                         0x3b, 0xe4, 0x68, 0x17, 0x94, 0x28, 0xd4, 0x3a,
 907                         0x4d, 0x8b, 0xc3, 0xec, 0x38, 0x81, 0x3e, 0xca,
 908                         0x30, 0xa1, 0x3c, 0xf1, 0xbb, 0x18, 0xd5, 0x24,
 909                         0xf1, 0x99, 0x2d, 0x44, 0xd8, 0xb1, 0xa4, 0x2e,
 910                         0xa3, 0x0b, 0x22, 0xe6, 0xc9, 0x5b, 0x19, 0x9d,
 911                         0x8d, 0x18, 0x2f, 0x88, 0x40, 0xb0, 0x9d, 0x05,
 912                         0x95, 0x85, 0xc3, 0x1a, 0xd6, 0x91, 0xfa, 0x06,
 913                         0x19, 0xff, 0x03, 0x8a, 0xca, 0x2c, 0x39, 0xa9,
 914                         0x43, 0x42, 0x11, 0x57, 0x36, 0x17, 0x17, 0xc4,
 915                         0x9d, 0x32, 0x20, 0x28, 0xa7, 0x46, 0x48, 0x11,
 916                         0x3b, 0xd8, 0xc9, 0xd7, 0xec, 0x77, 0xcf, 0x3c,
 917                         0x89, 0xc1, 0xec, 0x87, 0x18, 0xce, 0xff, 0x85,
 918                         0x16, 0xd9, 0x6b, 0x34, 0xc3, 0xc6, 0x14, 0xf1,
 919                         0x06, 0x99, 0xc9, 0xab, 0xc4, 0xed, 0x04, 0x11,
 920                         0x50, 0x62, 0x23, 0xbe, 0xa1, 0x6a, 0xf3, 0x5c,
 921                         0x88, 0x3a, 0xcc, 0xdb, 0xe1, 0x10, 0x4e, 0xef,
 922                         0x0c, 0xfd, 0xb5, 0x4e, 0x12, 0xfb, 0x23, 0x0a,
 923                 },
 924         },
 925         {
 926                 0x000000ffULL,
 927                 32,
 928                 {
 929                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
 930                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
 931                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
 932                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
 933                 },
 934                 512,
 935                 {
 936                         0x72, 0xef, 0xc1, 0xeb, 0xfe, 0x1e, 0xe2, 0x59,
 937                         0x75, 0xa6, 0xeb, 0x3a, 0xa8, 0x58, 0x9d, 0xda,
 938                         0x2b, 0x26, 0x1f, 0x1c, 0x85, 0xbd, 0xab, 0x44,
 939                         0x2a, 0x9e, 0x5b, 0x2d, 0xd1, 0xd7, 0xc3, 0x95,
 940                         0x7a, 0x16, 0xfc, 0x08, 0xe5, 0x26, 0xd4, 0xb1,
 941                         0x22, 0x3f, 0x1b, 0x12, 0x32, 0xa1, 0x1a, 0xf2,
 942                         0x74, 0xc3, 0xd7, 0x0d, 0xac, 0x57, 0xf8, 0x3e,
 943                         0x09, 0x83, 0xc4, 0x98, 0xf1, 0xa6, 0xf1, 0xae,
 944                         0xcb, 0x02, 0x1c, 0x3e, 0x70, 0x08, 0x5a, 0x1e,
 945                         0x52, 0x7f, 0x1c, 0xe4, 0x1e, 0xe5, 0x91, 0x1a,
 946                         0x82, 0x02, 0x01, 0x61, 0x52, 0x9c, 0xd8, 0x27,
 947                         0x73, 0x76, 0x2d, 0xaf, 0x54, 0x59, 0xde, 0x94,
 948                         0xa0, 0xa8, 0x2a, 0xda, 0xe7, 0xe1, 0x70, 0x3c,
 949                         0x80, 0x85, 0x43, 0xc2, 0x9e, 0xd6, 0xfb, 0x32,
 950                         0xd9, 0xe0, 0x04, 0x32, 0x7c, 0x13, 0x55, 0x18,
 951                         0x0c, 0x99, 0x5a, 0x07, 0x74, 0x14, 0x93, 0xa0,
 952                         0x9c, 0x21, 0xba, 0x01, 0xa3, 0x87, 0x88, 0x2d,
 953                         0xa4, 0xf6, 0x25, 0x34, 0xb8, 0x7b, 0xb1, 0x5d,
 954                         0x60, 0xd1, 0x97, 0x20, 0x1c, 0x0f, 0xd3, 0xbf,
 955                         0x30, 0xc1, 0x50, 0x0a, 0x3e, 0xcf, 0xec, 0xdd,
 956                         0x66, 0xd8, 0x72, 0x1f, 0x90, 0xbc, 0xc4, 0xc1,
 957                         0x7e, 0xe9, 0x25, 0xc6, 0x1b, 0x0a, 0x03, 0x72,
 958                         0x7a, 0x9c, 0x0d, 0x5f, 0x5c, 0xa4, 0x62, 0xfb,
 959                         0xfa, 0x0a, 0xf1, 0xc2, 0x51, 0x3a, 0x9d, 0x9d,
 960                         0x4b, 0x53, 0x45, 0xbd, 0x27, 0xa5, 0xf6, 0xe6,
 961                         0x53, 0xf7, 0x51, 0x69, 0x3e, 0x6b, 0x6a, 0x2b,
 962                         0x8e, 0xad, 0x57, 0xd5, 0x11, 0xe0, 0x0e, 0x58,
 963                         0xc4, 0x5b, 0x7b, 0x8d, 0x00, 0x5a, 0xf7, 0x92,
 964                         0x88, 0xf5, 0xc7, 0xc2, 0x2f, 0xd4, 0xf1, 0xbf,
 965                         0x7a, 0x89, 0x8b, 0x03, 0xa5, 0x63, 0x4c, 0x6a,
 966                         0x1a, 0xe3, 0xf9, 0xfa, 0xe5, 0xde, 0x4f, 0x29,
 967                         0x6a, 0x28, 0x96, 0xb2, 0x3e, 0x7e, 0xd4, 0x3e,
 968                         0xd1, 0x4f, 0xa5, 0xa2, 0x80, 0x3f, 0x4d, 0x28,
 969                         0xf0, 0xd3, 0xff, 0xcf, 0x24, 0x75, 0x76, 0x77,
 970                         0xae, 0xbd, 0xb4, 0x7b, 0xb3, 0x88, 0x37, 0x87,
 971                         0x08, 0x94, 0x8a, 0x8d, 0x41, 0x26, 0xed, 0x18,
 972                         0x39, 0xe0, 0xda, 0x29, 0xa5, 0x37, 0xa8, 0xc1,
 973                         0x98, 0xb3, 0xc6, 0x6a, 0xb0, 0x07, 0x12, 0xdd,
 974                         0x26, 0x16, 0x74, 0xbf, 0x45, 0xa7, 0x3d, 0x67,
 975                         0xf7, 0x69, 0x14, 0xf8, 0x30, 0xca, 0x01, 0x4b,
 976                         0x65, 0x59, 0x6f, 0x27, 0xe4, 0xcf, 0x62, 0xde,
 977                         0x66, 0x12, 0x5a, 0x55, 0x66, 0xdf, 0x99, 0x75,
 978                         0x15, 0x56, 0x28, 0xb4, 0x00, 0xfb, 0xfb, 0x3a,
 979                         0x29, 0x04, 0x0e, 0xd5, 0x0f, 0xaf, 0xfd, 0xbb,
 980                         0x18, 0xae, 0xce, 0x7c, 0x5c, 0x44, 0x69, 0x32,
 981                         0x60, 0xaa, 0xb3, 0x86, 0xc0, 0xa3, 0x7b, 0x11,
 982                         0xb1, 0x14, 0xf1, 0xc4, 0x15, 0xae, 0xbb, 0x65,
 983                         0x3b, 0xe4, 0x68, 0x17, 0x94, 0x28, 0xd4, 0x3a,
 984                         0x4d, 0x8b, 0xc3, 0xec, 0x38, 0x81, 0x3e, 0xca,
 985                         0x30, 0xa1, 0x3c, 0xf1, 0xbb, 0x18, 0xd5, 0x24,
 986                         0xf1, 0x99, 0x2d, 0x44, 0xd8, 0xb1, 0xa4, 0x2e,
 987                         0xa3, 0x0b, 0x22, 0xe6, 0xc9, 0x5b, 0x19, 0x9d,
 988                         0x8d, 0x18, 0x2f, 0x88, 0x40, 0xb0, 0x9d, 0x05,
 989                         0x95, 0x85, 0xc3, 0x1a, 0xd6, 0x91, 0xfa, 0x06,
 990                         0x19, 0xff, 0x03, 0x8a, 0xca, 0x2c, 0x39, 0xa9,
 991                         0x43, 0x42, 0x11, 0x57, 0x36, 0x17, 0x17, 0xc4,
 992                         0x9d, 0x32, 0x20, 0x28, 0xa7, 0x46, 0x48, 0x11,
 993                         0x3b, 0xd8, 0xc9, 0xd7, 0xec, 0x77, 0xcf, 0x3c,
 994                         0x89, 0xc1, 0xec, 0x87, 0x18, 0xce, 0xff, 0x85,
 995                         0x16, 0xd9, 0x6b, 0x34, 0xc3, 0xc6, 0x14, 0xf1,
 996                         0x06, 0x99, 0xc9, 0xab, 0xc4, 0xed, 0x04, 0x11,
 997                         0x50, 0x62, 0x23, 0xbe, 0xa1, 0x6a, 0xf3, 0x5c,
 998                         0x88, 0x3a, 0xcc, 0xdb, 0xe1, 0x10, 0x4e, 0xef,
 999                         0x0c, 0xfd, 0xb5, 0x4e, 0x12, 0xfb, 0x23, 0x0a,
1000                 }, {
1001                         0x32, 0x60, 0xae, 0x8d, 0xad, 0x1f, 0x4a, 0x32,
1002                         0xc5, 0xca, 0xfe, 0x3a, 0xb0, 0xeb, 0x95, 0x54,
1003                         0x9d, 0x46, 0x1a, 0x67, 0xce, 0xb9, 0xe5, 0xaa,
1004                         0x2d, 0x3a, 0xfb, 0x62, 0xde, 0xce, 0x05, 0x53,
1005                         0x19, 0x3b, 0xa5, 0x0c, 0x75, 0xbe, 0x25, 0x1e,
1006                         0x08, 0xd1, 0xd0, 0x8f, 0x10, 0x88, 0x57, 0x6c,
1007                         0x7e, 0xfd, 0xfa, 0xaf, 0x3f, 0x45, 0x95, 0x59,
1008                         0x57, 0x1e, 0x12, 0x51, 0x17, 0x53, 0xb0, 0x7a,
1009                         0xf0, 0x73, 0xf3, 0x5d, 0xa0, 0x6a, 0xf0, 0xce,
1010                         0x0b, 0xbf, 0x6b, 0x8f, 0x5c, 0xcc, 0x5c, 0xea,
1011                         0x50, 0x0e, 0xc1, 0xb2, 0x11, 0xbd, 0x51, 0xf6,
1012                         0x3b, 0x60, 0x6b, 0xf6, 0x52, 0x87, 0x96, 0xca,
1013                         0x12, 0x17, 0x3b, 0xa3, 0x9b, 0x89, 0x35, 0xee,
1014                         0x44, 0xcc, 0xce, 0x64, 0x6f, 0x90, 0xa4, 0x5b,
1015                         0xf9, 0xcc, 0xc5, 0x67, 0xf0, 0xac, 0xe1, 0x3d,
1016                         0xc2, 0xd5, 0x3e, 0xbe, 0xed, 0xc8, 0x1f, 0x58,
1017                         0xb2, 0xe4, 0x11, 0x79, 0xdd, 0xdf, 0x0d, 0x5a,
1018                         0x5c, 0x42, 0xf5, 0xd8, 0x50, 0x6c, 0x1a, 0x5d,
1019                         0x2f, 0x8f, 0x59, 0xf3, 0xea, 0x87, 0x3c, 0xbc,
1020                         0xd0, 0xee, 0xc1, 0x9a, 0xcb, 0xf3, 0x25, 0x42,
1021                         0x3b, 0xd3, 0xdc, 0xb8, 0xc2, 0xb1, 0xbf, 0x1d,
1022                         0x1e, 0xae, 0xd0, 0xeb, 0xa7, 0xf0, 0x69, 0x8e,
1023                         0x43, 0x14, 0xfb, 0xeb, 0x2f, 0x15, 0x66, 0xd1,
1024                         0xb9, 0x25, 0x30, 0x08, 0xcb, 0xcc, 0xf4, 0x5a,
1025                         0x2b, 0x0d, 0x9c, 0x5c, 0x9c, 0x21, 0x47, 0x4f,
1026                         0x40, 0x76, 0xe0, 0x2b, 0xe2, 0x60, 0x50, 0xb9,
1027                         0x9d, 0xee, 0x4f, 0xd6, 0x8a, 0x4c, 0xf8, 0x90,
1028                         0xe4, 0x96, 0xe4, 0xfc, 0xae, 0x7b, 0x70, 0xf9,
1029                         0x4e, 0xa5, 0xa9, 0x06, 0x2d, 0xa0, 0xda, 0xeb,
1030                         0xa1, 0x99, 0x3d, 0x2c, 0xcd, 0x1d, 0xd3, 0xc2,
1031                         0x44, 0xb8, 0x42, 0x88, 0x01, 0x49, 0x5a, 0x58,
1032                         0xb2, 0x16, 0x54, 0x7e, 0x7e, 0x84, 0x7c, 0x46,
1033                         0xd1, 0xd7, 0x56, 0x37, 0x7b, 0x62, 0x42, 0xd2,
1034                         0xe5, 0xfb, 0x83, 0xbf, 0x75, 0x2b, 0x54, 0xe0,
1035                         0xdf, 0x71, 0xe8, 0x89, 0xf3, 0xa2, 0xbb, 0x0f,
1036                         0x4c, 0x10, 0x80, 0x5b, 0xf3, 0xc5, 0x90, 0x37,
1037                         0x6e, 0x3c, 0x24, 0xe2, 0x2f, 0xf5, 0x7f, 0x7f,
1038                         0xa9, 0x65, 0x57, 0x73, 0x75, 0x32, 0x5c, 0xea,
1039                         0x5d, 0x92, 0x0d, 0xb9, 0x4b, 0x9c, 0x33, 0x6b,
1040                         0x45, 0x5f, 0x6e, 0x89, 0x4c, 0x01, 0x86, 0x6f,
1041                         0xe9, 0xfb, 0xb8, 0xc8, 0xd3, 0xf7, 0x0a, 0x29,
1042                         0x57, 0x28, 0x5f, 0x6d, 0xfb, 0x5d, 0xcd, 0x8c,
1043                         0xbf, 0x54, 0x78, 0x2f, 0x8f, 0xe7, 0x76, 0x6d,
1044                         0x47, 0x23, 0x81, 0x99, 0x13, 0xac, 0x77, 0x34,
1045                         0x21, 0xe3, 0xa3, 0x10, 0x95, 0x86, 0x6b, 0xad,
1046                         0x22, 0xc8, 0x6a, 0x60, 0x36, 0xb2, 0x51, 0x8b,
1047                         0x20, 0x59, 0xb4, 0x22, 0x9d, 0x18, 0xc8, 0xc2,
1048                         0xcc, 0xbd, 0xf9, 0x06, 0xc6, 0xcc, 0x6e, 0x82,
1049                         0x46, 0x4e, 0xe5, 0x7b, 0xdd, 0xb0, 0xbe, 0xbc,
1050                         0xb1, 0xdc, 0x64, 0x53, 0x25, 0xbf, 0xb3, 0xe6,
1051                         0x65, 0xef, 0x72, 0x51, 0x08, 0x2c, 0x88, 0xeb,
1052                         0xb1, 0xcf, 0x20, 0x3b, 0xd7, 0x79, 0xfd, 0xd3,
1053                         0x86, 0x75, 0x71, 0x3c, 0x8d, 0xaa, 0xdd, 0x17,
1054                         0xe1, 0xca, 0xbe, 0xe4, 0x32, 0xb0, 0x97, 0x87,
1055                         0xb6, 0xdd, 0xf3, 0x30, 0x4e, 0x38, 0xb7, 0x31,
1056                         0xb4, 0x5d, 0xf5, 0xdf, 0x51, 0xb7, 0x8f, 0xcf,
1057                         0xb3, 0xd3, 0x24, 0x66, 0x02, 0x8d, 0x0b, 0xa3,
1058                         0x65, 0x55, 0xe7, 0xe1, 0x1a, 0xb0, 0xee, 0x06,
1059                         0x66, 0x06, 0x1d, 0x16, 0x45, 0xd9, 0x62, 0x44,
1060                         0x4b, 0xc4, 0x7a, 0x38, 0x18, 0x89, 0x30, 0xa8,
1061                         0x4b, 0x4d, 0x56, 0x13, 0x95, 0xc7, 0x3c, 0x08,
1062                         0x70, 0x21, 0x92, 0x7c, 0xa6, 0x38, 0xb7, 0xaf,
1063                         0xc8, 0xa8, 0x67, 0x9c, 0xcb, 0x84, 0xc2, 0x65,
1064                         0x55, 0x44, 0x0e, 0xc7, 0xf1, 0x04, 0x45, 0xcd,
1065                 },
1066         },
1067         {
1068                 0x000000ffULL,
1069                 64,
1070                 {
1071                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
1072                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
1073                         0x62, 0x49, 0x77, 0x57, 0x24, 0x70, 0x93, 0x69,
1074                         0x99, 0x59, 0x57, 0x49, 0x66, 0x96, 0x76, 0x27,
1075                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
1076                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
1077                         0x02, 0x88, 0x41, 0x97, 0x16, 0x93, 0x99, 0x37,
1078                         0x51, 0x05, 0x82, 0x09, 0x74, 0x94, 0x45, 0x92,
1079                 },
1080                 512,
1081                 {
1082                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1083                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1084                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1085                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1086                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1087                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1088                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1089                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1090                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1091                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1092                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1093                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1094                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1095                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1096                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1097                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1098                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1099                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1100                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1101                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1102                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1103                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1104                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1105                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1106                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1107                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1108                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1109                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1110                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1111                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1112                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1113                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1114                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1115                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1116                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1117                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1118                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1119                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1120                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1121                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1122                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1123                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1124                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1125                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1126                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1127                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1128                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1129                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1130                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1131                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1132                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1133                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1134                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1135                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1136                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1137                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1138                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1139                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1140                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1141                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1142                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1143                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1144                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1145                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1146                 }, {
1147                         0x1c, 0x3b, 0x3a, 0x10, 0x2f, 0x77, 0x03, 0x86,
1148                         0xe4, 0x83, 0x6c, 0x99, 0xe3, 0x70, 0xcf, 0x9b,
1149                         0xea, 0x00, 0x80, 0x3f, 0x5e, 0x48, 0x23, 0x57,
1150                         0xa4, 0xae, 0x12, 0xd4, 0x14, 0xa3, 0xe6, 0x3b,
1151                         0x5d, 0x31, 0xe2, 0x76, 0xf8, 0xfe, 0x4a, 0x8d,
1152                         0x66, 0xb3, 0x17, 0xf9, 0xac, 0x68, 0x3f, 0x44,
1153                         0x68, 0x0a, 0x86, 0xac, 0x35, 0xad, 0xfc, 0x33,
1154                         0x45, 0xbe, 0xfe, 0xcb, 0x4b, 0xb1, 0x88, 0xfd,
1155                         0x57, 0x76, 0x92, 0x6c, 0x49, 0xa3, 0x09, 0x5e,
1156                         0xb1, 0x08, 0xfd, 0x10, 0x98, 0xba, 0xec, 0x70,
1157                         0xaa, 0xa6, 0x69, 0x99, 0xa7, 0x2a, 0x82, 0xf2,
1158                         0x7d, 0x84, 0x8b, 0x21, 0xd4, 0xa7, 0x41, 0xb0,
1159                         0xc5, 0xcd, 0x4d, 0x5f, 0xff, 0x9d, 0xac, 0x89,
1160                         0xae, 0xba, 0x12, 0x29, 0x61, 0xd0, 0x3a, 0x75,
1161                         0x71, 0x23, 0xe9, 0x87, 0x0f, 0x8a, 0xcf, 0x10,
1162                         0x00, 0x02, 0x08, 0x87, 0x89, 0x14, 0x29, 0xca,
1163                         0x2a, 0x3e, 0x7a, 0x7d, 0x7d, 0xf7, 0xb1, 0x03,
1164                         0x55, 0x16, 0x5c, 0x8b, 0x9a, 0x6d, 0x0a, 0x7d,
1165                         0xe8, 0xb0, 0x62, 0xc4, 0x50, 0x0d, 0xc4, 0xcd,
1166                         0x12, 0x0c, 0x0f, 0x74, 0x18, 0xda, 0xe3, 0xd0,
1167                         0xb5, 0x78, 0x1c, 0x34, 0x80, 0x3f, 0xa7, 0x54,
1168                         0x21, 0xc7, 0x90, 0xdf, 0xe1, 0xde, 0x18, 0x34,
1169                         0xf2, 0x80, 0xd7, 0x66, 0x7b, 0x32, 0x7f, 0x6c,
1170                         0x8c, 0xd7, 0x55, 0x7e, 0x12, 0xac, 0x3a, 0x0f,
1171                         0x93, 0xec, 0x05, 0xc5, 0x2e, 0x04, 0x93, 0xef,
1172                         0x31, 0xa1, 0x2d, 0x3d, 0x92, 0x60, 0xf7, 0x9a,
1173                         0x28, 0x9d, 0x6a, 0x37, 0x9b, 0xc7, 0x0c, 0x50,
1174                         0x84, 0x14, 0x73, 0xd1, 0xa8, 0xcc, 0x81, 0xec,
1175                         0x58, 0x3e, 0x96, 0x45, 0xe0, 0x7b, 0x8d, 0x96,
1176                         0x70, 0x65, 0x5b, 0xa5, 0xbb, 0xcf, 0xec, 0xc6,
1177                         0xdc, 0x39, 0x66, 0x38, 0x0a, 0xd8, 0xfe, 0xcb,
1178                         0x17, 0xb6, 0xba, 0x02, 0x46, 0x9a, 0x02, 0x0a,
1179                         0x84, 0xe1, 0x8e, 0x8f, 0x84, 0x25, 0x20, 0x70,
1180                         0xc1, 0x3e, 0x9f, 0x1f, 0x28, 0x9b, 0xe5, 0x4f,
1181                         0xbc, 0x48, 0x14, 0x57, 0x77, 0x8f, 0x61, 0x60,
1182                         0x15, 0xe1, 0x32, 0x7a, 0x02, 0xb1, 0x40, 0xf1,
1183                         0x50, 0x5e, 0xb3, 0x09, 0x32, 0x6d, 0x68, 0x37,
1184                         0x8f, 0x83, 0x74, 0x59, 0x5c, 0x84, 0x9d, 0x84,
1185                         0xf4, 0xc3, 0x33, 0xec, 0x44, 0x23, 0x88, 0x51,
1186                         0x43, 0xcb, 0x47, 0xbd, 0x71, 0xc5, 0xed, 0xae,
1187                         0x9b, 0xe6, 0x9a, 0x2f, 0xfe, 0xce, 0xb1, 0xbe,
1188                         0xc9, 0xde, 0x24, 0x4f, 0xbe, 0x15, 0x99, 0x2b,
1189                         0x11, 0xb7, 0x7c, 0x04, 0x0f, 0x12, 0xbd, 0x8f,
1190                         0x6a, 0x97, 0x5a, 0x44, 0xa0, 0xf9, 0x0c, 0x29,
1191                         0xa9, 0xab, 0xc3, 0xd4, 0xd8, 0x93, 0x92, 0x72,
1192                         0x84, 0xc5, 0x87, 0x54, 0xcc, 0xe2, 0x94, 0x52,
1193                         0x9f, 0x86, 0x14, 0xdc, 0xd2, 0xab, 0xa9, 0x91,
1194                         0x92, 0x5f, 0xed, 0xc4, 0xae, 0x74, 0xff, 0xac,
1195                         0x6e, 0x33, 0x3b, 0x93, 0xeb, 0x4a, 0xff, 0x04,
1196                         0x79, 0xda, 0x9a, 0x41, 0x0e, 0x44, 0x50, 0xe0,
1197                         0xdd, 0x7a, 0xe4, 0xc6, 0xe2, 0x91, 0x09, 0x00,
1198                         0x57, 0x5d, 0xa4, 0x01, 0xfc, 0x07, 0x05, 0x9f,
1199                         0x64, 0x5e, 0x8b, 0x7e, 0x9b, 0xfd, 0xef, 0x33,
1200                         0x94, 0x30, 0x54, 0xff, 0x84, 0x01, 0x14, 0x93,
1201                         0xc2, 0x7b, 0x34, 0x29, 0xea, 0xed, 0xb4, 0xed,
1202                         0x53, 0x76, 0x44, 0x1a, 0x77, 0xed, 0x43, 0x85,
1203                         0x1a, 0xd7, 0x7f, 0x16, 0xf5, 0x41, 0xdf, 0xd2,
1204                         0x69, 0xd5, 0x0d, 0x6a, 0x5f, 0x14, 0xfb, 0x0a,
1205                         0xab, 0x1c, 0xbb, 0x4c, 0x15, 0x50, 0xbe, 0x97,
1206                         0xf7, 0xab, 0x40, 0x66, 0x19, 0x3c, 0x4c, 0xaa,
1207                         0x77, 0x3d, 0xad, 0x38, 0x01, 0x4b, 0xd2, 0x09,
1208                         0x2f, 0xa7, 0x55, 0xc8, 0x24, 0xbb, 0x5e, 0x54,
1209                         0xc4, 0xf3, 0x6f, 0xfd, 0xa9, 0xfc, 0xea, 0x70,
1210                         0xb9, 0xc6, 0xe6, 0x93, 0xe1, 0x48, 0xc1, 0x51,
1211                 },
1212         },
1213         {
1214                 0x0000ffffULL,
1215                 64,
1216                 {
1217                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
1218                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
1219                         0x62, 0x49, 0x77, 0x57, 0x24, 0x70, 0x93, 0x69,
1220                         0x99, 0x59, 0x57, 0x49, 0x66, 0x96, 0x76, 0x27,
1221                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
1222                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
1223                         0x02, 0x88, 0x41, 0x97, 0x16, 0x93, 0x99, 0x37,
1224                         0x51, 0x05, 0x82, 0x09, 0x74, 0x94, 0x45, 0x92,
1225                 },
1226                 512,
1227                 {
1228                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1229                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1230                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1231                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1232                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1233                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1234                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1235                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1236                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1237                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1238                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1239                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1240                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1241                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1242                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1243                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1244                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1245                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1246                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1247                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1248                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1249                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1250                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1251                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1252                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1253                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1254                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1255                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1256                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1257                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1258                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1259                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1260                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1261                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1262                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1263                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1264                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1265                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1266                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1267                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1268                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1269                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1270                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1271                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1272                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1273                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1274                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1275                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1276                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1277                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1278                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1279                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1280                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1281                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1282                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1283                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1284                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1285                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1286                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1287                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1288                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1289                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1290                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1291                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1292                 }, {
1293                         0x77, 0xa3, 0x12, 0x51, 0x61, 0x8a, 0x15, 0xe6,
1294                         0xb9, 0x2d, 0x1d, 0x66, 0xdf, 0xfe, 0x7b, 0x50,
1295                         0xb5, 0x0b, 0xad, 0x55, 0x23, 0x05, 0xba, 0x02,
1296                         0x17, 0xa6, 0x10, 0x68, 0x8e, 0xff, 0x7e, 0x11,
1297                         0xe1, 0xd0, 0x22, 0x54, 0x38, 0xe0, 0x93, 0x24,
1298                         0x2d, 0x6d, 0xb2, 0x74, 0xfd, 0xe8, 0x01, 0xd4,
1299                         0xca, 0xe0, 0x6f, 0x20, 0x92, 0xc7, 0x28, 0xb2,
1300                         0x47, 0x85, 0x59, 0xdf, 0x58, 0xe8, 0x37, 0xc2,
1301                         0x46, 0x9e, 0xe4, 0xa4, 0xfa, 0x79, 0x4e, 0x4b,
1302                         0xbc, 0x7f, 0x39, 0xbc, 0x02, 0x6e, 0x3c, 0xb7,
1303                         0x2c, 0x33, 0xb0, 0x88, 0x8f, 0x25, 0xb4, 0xac,
1304                         0xf5, 0x6a, 0x2a, 0x98, 0x04, 0xf1, 0xce, 0x6d,
1305                         0x3d, 0x6e, 0x1d, 0xc6, 0xca, 0x18, 0x1d, 0x4b,
1306                         0x54, 0x61, 0x79, 0xd5, 0x55, 0x44, 0xaa, 0x77,
1307                         0x60, 0xc4, 0x0d, 0x06, 0x74, 0x15, 0x39, 0xc7,
1308                         0xe3, 0xcd, 0x9d, 0x2f, 0x66, 0x50, 0xb2, 0x01,
1309                         0x3f, 0xd0, 0xee, 0xb8, 0xc2, 0xb8, 0xe3, 0xd8,
1310                         0xd2, 0x40, 0xcc, 0xae, 0x2d, 0x4c, 0x98, 0x32,
1311                         0x0a, 0x74, 0x42, 0xe1, 0xc8, 0xd7, 0x5a, 0x42,
1312                         0xd6, 0xe6, 0xcf, 0xa4, 0xc2, 0xec, 0xa1, 0x79,
1313                         0x8d, 0x15, 0x8c, 0x7a, 0xec, 0xdf, 0x82, 0x49,
1314                         0x0f, 0x24, 0xbb, 0x9b, 0x38, 0xe1, 0x08, 0xbc,
1315                         0xda, 0x12, 0xc3, 0xfa, 0xf9, 0xa2, 0x11, 0x41,
1316                         0xc3, 0x61, 0x3b, 0x58, 0x36, 0x7f, 0x92, 0x2a,
1317                         0xaa, 0x26, 0xcd, 0x22, 0xf2, 0x3d, 0x70, 0x8d,
1318                         0xae, 0x69, 0x9a, 0xd7, 0xcb, 0x40, 0xa8, 0xad,
1319                         0x0b, 0x6e, 0x27, 0x84, 0x97, 0x3d, 0xcb, 0x60,
1320                         0x56, 0x84, 0xc0, 0x8b, 0x8d, 0x69, 0x98, 0xc6,
1321                         0x9a, 0xac, 0x04, 0x99, 0x21, 0x87, 0x1e, 0xbb,
1322                         0x65, 0x30, 0x1a, 0x46, 0x19, 0xca, 0x80, 0xec,
1323                         0xb4, 0x85, 0xa3, 0x1d, 0x74, 0x42, 0x23, 0xce,
1324                         0x8d, 0xdc, 0x23, 0x94, 0x82, 0x8d, 0x6a, 0x80,
1325                         0x47, 0x0c, 0x09, 0x2f, 0x5b, 0xa4, 0x13, 0xc3,
1326                         0x37, 0x8f, 0xa6, 0x05, 0x42, 0x55, 0xc6, 0xf9,
1327                         0xdf, 0x44, 0x95, 0x86, 0x2b, 0xbb, 0x32, 0x87,
1328                         0x68, 0x1f, 0x93, 0x1b, 0x68, 0x7c, 0x88, 0x8a,
1329                         0xbf, 0x84, 0x4d, 0xfc, 0x8f, 0xc2, 0x83, 0x31,
1330                         0xe5, 0x79, 0x92, 0x8c, 0xd1, 0x2b, 0xd2, 0x39,
1331                         0x0a, 0xe1, 0x23, 0xcf, 0x03, 0x81, 0x8d, 0x14,
1332                         0xde, 0xdd, 0xe5, 0xc0, 0xc2, 0x4c, 0x8a, 0xb0,
1333                         0x18, 0xbf, 0xca, 0x75, 0xca, 0x09, 0x6f, 0x2d,
1334                         0x53, 0x1f, 0x3d, 0x16, 0x19, 0xe7, 0x85, 0xf1,
1335                         0xad, 0xa4, 0x37, 0xca, 0xb9, 0x2e, 0x98, 0x05,
1336                         0x58, 0xb3, 0xdc, 0xe1, 0x47, 0x4a, 0xfb, 0x75,
1337                         0xbf, 0xed, 0xbf, 0x8f, 0xf5, 0x4c, 0xb2, 0x61,
1338                         0x8e, 0x02, 0x44, 0xc9, 0xac, 0x0d, 0x3c, 0x66,
1339                         0xfb, 0x51, 0x59, 0x8c, 0xd2, 0xdb, 0x11, 0xf9,
1340                         0xbe, 0x39, 0x79, 0x1a, 0xbe, 0x44, 0x7c, 0x63,
1341                         0x09, 0x4f, 0x7c, 0x45, 0x3b, 0x7f, 0xf8, 0x7c,
1342                         0xb5, 0xbb, 0x36, 0xb7, 0xc7, 0x9e, 0xfb, 0x08,
1343                         0x72, 0xd1, 0x70, 0x58, 0xb8, 0x3b, 0x15, 0xab,
1344                         0x08, 0x66, 0xad, 0x8a, 0x58, 0x65, 0x6c, 0x5a,
1345                         0x7e, 0x20, 0xdb, 0xdf, 0x30, 0x8b, 0x24, 0x61,
1346                         0xd9, 0x7c, 0x0e, 0xc0, 0x02, 0x4a, 0x27, 0x15,
1347                         0x05, 0x52, 0x49, 0xcf, 0x3b, 0x47, 0x8d, 0xdd,
1348                         0x47, 0x40, 0xde, 0x65, 0x4f, 0x75, 0xca, 0x68,
1349                         0x6e, 0x0d, 0x73, 0x45, 0xc6, 0x9e, 0xd5, 0x0c,
1350                         0xdc, 0x2a, 0x8b, 0x33, 0x2b, 0x1f, 0x88, 0x24,
1351                         0x10, 0x8a, 0xc9, 0x37, 0xeb, 0x05, 0x05, 0x85,
1352                         0x60, 0x8e, 0xe7, 0x34, 0x09, 0x7f, 0xc0, 0x90,
1353                         0x54, 0xfb, 0xff, 0x89, 0xee, 0xae, 0xea, 0x79,
1354                         0x1f, 0x4a, 0x7a, 0xb1, 0xf9, 0x86, 0x82, 0x94,
1355                         0xa4, 0xf9, 0xe2, 0x7b, 0x42, 0xaf, 0x81, 0x00,
1356                         0xcb, 0x9d, 0x59, 0xce, 0xf9, 0x64, 0x58, 0x03,
1357                 },
1358         },
1359         {
1360                 0x00ffffffULL,
1361                 64,
1362                 {
1363                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
1364                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
1365                         0x62, 0x49, 0x77, 0x57, 0x24, 0x70, 0x93, 0x69,
1366                         0x99, 0x59, 0x57, 0x49, 0x66, 0x96, 0x76, 0x27,
1367                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
1368                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
1369                         0x02, 0x88, 0x41, 0x97, 0x16, 0x93, 0x99, 0x37,
1370                         0x51, 0x05, 0x82, 0x09, 0x74, 0x94, 0x45, 0x92,
1371                 },
1372                 512,
1373                 {
1374                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1375                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1376                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1377                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1378                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1379                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1380                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1381                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1382                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1383                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1384                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1385                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1386                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1387                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1388                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1389                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1390                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1391                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1392                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1393                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1394                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1395                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1396                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1397                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1398                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1399                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1400                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1401                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1402                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1403                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1404                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1405                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1406                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1407                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1408                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1409                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1410                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1411                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1412                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1413                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1414                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1415                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1416                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1417                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1418                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1419                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1420                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1421                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1422                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1423                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1424                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1425                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1426                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1427                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1428                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1429                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1430                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1431                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1432                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1433                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1434                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1435                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1436                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1437                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1438                 }, {
1439                         0xe3, 0x87, 0xaa, 0xa5, 0x8b, 0xa4, 0x83, 0xaf,
1440                         0xa7, 0xe8, 0xeb, 0x46, 0x97, 0x78, 0x31, 0x7e,
1441                         0xcf, 0x4c, 0xf5, 0x73, 0xaa, 0x9d, 0x4e, 0xac,
1442                         0x23, 0xf2, 0xcd, 0xf9, 0x14, 0xe4, 0xe2, 0x00,
1443                         0xa8, 0xb4, 0x90, 0xe4, 0x2e, 0xe6, 0x46, 0x80,
1444                         0x2d, 0xc6, 0xee, 0x2b, 0x47, 0x1b, 0x27, 0x81,
1445                         0x95, 0xd6, 0x09, 0x18, 0xec, 0xec, 0xb4, 0x4b,
1446                         0xf7, 0x99, 0x66, 0xf8, 0x3f, 0xab, 0xa0, 0x49,
1447                         0x92, 0x98, 0xeb, 0xc6, 0x99, 0xc0, 0xc8, 0x63,
1448                         0x47, 0x15, 0xa3, 0x20, 0xbb, 0x4f, 0x07, 0x5d,
1449                         0x62, 0x2e, 0x74, 0xc8, 0xc9, 0x32, 0x00, 0x4f,
1450                         0x25, 0xb4, 0x1e, 0x36, 0x10, 0x25, 0xb5, 0xa8,
1451                         0x78, 0x15, 0x39, 0x1f, 0x61, 0x08, 0xfc, 0x4a,
1452                         0xfa, 0x6a, 0x05, 0xd9, 0x30, 0x3c, 0x6b, 0xa6,
1453                         0x8a, 0x12, 0x8a, 0x55, 0x70, 0x5d, 0x41, 0x59,
1454                         0x85, 0x83, 0x2f, 0xde, 0xaa, 0xe6, 0xc8, 0xe1,
1455                         0x91, 0x10, 0xe8, 0x4d, 0x1b, 0x1f, 0x19, 0x9a,
1456                         0x26, 0x92, 0x11, 0x9e, 0xdc, 0x96, 0x13, 0x26,
1457                         0x58, 0xf0, 0x9d, 0xa7, 0xc6, 0x23, 0xef, 0xce,
1458                         0xc7, 0x12, 0x53, 0x7a, 0x3d, 0x94, 0xc0, 0xbf,
1459                         0x5d, 0x7e, 0x35, 0x2e, 0xc9, 0x4a, 0xe5, 0x79,
1460                         0x7f, 0xdb, 0x37, 0x7d, 0xc1, 0x55, 0x11, 0x50,
1461                         0x72, 0x1a, 0xdf, 0x15, 0xbd, 0x26, 0xa8, 0xef,
1462                         0xc2, 0xfc, 0xaa, 0xd5, 0x68, 0x81, 0xfa, 0x9e,
1463                         0x62, 0x46, 0x2c, 0x28, 0xf3, 0x0a, 0xe1, 0xce,
1464                         0xac, 0xa9, 0x3c, 0x34, 0x5c, 0xf2, 0x43, 0xb7,
1465                         0x3f, 0x54, 0x2e, 0x20, 0x74, 0xa7, 0x05, 0xbd,
1466                         0x26, 0x43, 0xbb, 0x9f, 0x7c, 0xc7, 0x9b, 0xb6,
1467                         0xe7, 0x09, 0x1e, 0xa6, 0xe2, 0x32, 0xdf, 0x0f,
1468                         0x9a, 0xd0, 0xd6, 0xcf, 0x50, 0x23, 0x27, 0x87,
1469                         0x6d, 0x82, 0x20, 0x7a, 0xbf, 0x21, 0x15, 0xcd,
1470                         0xac, 0xf6, 0xd5, 0xa4, 0x8f, 0x6c, 0x18, 0x79,
1471                         0xa6, 0x5b, 0x11, 0x5f, 0x0f, 0x8b, 0x3c, 0xb3,
1472                         0xc5, 0x9d, 0x15, 0xdd, 0x8c, 0x76, 0x9b, 0xc0,
1473                         0x14, 0x79, 0x5a, 0x18, 0x37, 0xf3, 0x90, 0x1b,
1474                         0x58, 0x45, 0xeb, 0x49, 0x1a, 0xdf, 0xef, 0xe0,
1475                         0x97, 0xb1, 0xfa, 0x30, 0xa1, 0x2f, 0xc1, 0xf6,
1476                         0x5b, 0xa2, 0x29, 0x05, 0x03, 0x15, 0x39, 0x97,
1477                         0x1a, 0x10, 0xf2, 0xf3, 0x6c, 0x32, 0x1b, 0xb5,
1478                         0x13, 0x31, 0xcd, 0xef, 0xb3, 0x9e, 0x39, 0x64,
1479                         0xc7, 0xef, 0x07, 0x99, 0x94, 0xf5, 0xb6, 0x9b,
1480                         0x2e, 0xdd, 0x83, 0xa7, 0x1e, 0xf5, 0x49, 0x97,
1481                         0x1e, 0xe9, 0x3f, 0x44, 0xea, 0xc3, 0x93, 0x8f,
1482                         0xcd, 0xd6, 0x1d, 0x01, 0xfa, 0x71, 0x79, 0x9d,
1483                         0xa3, 0xa8, 0x09, 0x1c, 0x4c, 0x48, 0xaa, 0x9e,
1484                         0xd2, 0x63, 0xff, 0x07, 0x49, 0xdf, 0x95, 0xd4,
1485                         0x4f, 0xef, 0x6a, 0x0b, 0xb5, 0x78, 0xec, 0x69,
1486                         0x45, 0x6a, 0xa5, 0x40, 0x8a, 0xe3, 0x2c, 0x7a,
1487                         0xf0, 0x8a, 0xd7, 0xba, 0x89, 0x21, 0x28, 0x7e,
1488                         0x3b, 0xbe, 0xe3, 0x1b, 0x76, 0x7b, 0xe0, 0x6a,
1489                         0x0e, 0x70, 0x5c, 0x86, 0x4a, 0x76, 0x91, 0x37,
1490                         0xdf, 0x28, 0x29, 0x22, 0x83, 0xea, 0x81, 0xa2,
1491                         0x48, 0x02, 0x41, 0xb4, 0x4d, 0x99, 0x21, 0xcd,
1492                         0xbe, 0xc1, 0xbc, 0x28, 0xdc, 0x1f, 0xda, 0x11,
1493                         0x4b, 0xd8, 0xe5, 0x21, 0x7a, 0xc9, 0xd8, 0xeb,
1494                         0xaf, 0xa7, 0x20, 0xe9, 0xda, 0x4f, 0x9a, 0xce,
1495                         0x23, 0x1c, 0xc9, 0x49, 0xe5, 0xb9, 0x6f, 0xe7,
1496                         0x6f, 0xfc, 0x21, 0x06, 0x3f, 0xdd, 0xc8, 0x3a,
1497                         0x6b, 0x86, 0x79, 0xc0, 0x0d, 0x35, 0xe0, 0x95,
1498                         0x76, 0xa8, 0x75, 0x30, 0x5b, 0xed, 0x5f, 0x36,
1499                         0xed, 0x24, 0x2c, 0x89, 0x00, 0xdd, 0x1f, 0xa9,
1500                         0x65, 0xbc, 0x95, 0x0d, 0xfc, 0xe0, 0x9b, 0x13,
1501                         0x22, 0x63, 0xa1, 0xee, 0xf5, 0x2d, 0xd6, 0x88,
1502                         0x8c, 0x30, 0x9f, 0x5a, 0x7d, 0x71, 0x28, 0x26,
1503                 },
1504         },
1505         {
1506                 0xffffffffULL,
1507                 64,
1508                 {
1509                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
1510                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
1511                         0x62, 0x49, 0x77, 0x57, 0x24, 0x70, 0x93, 0x69,
1512                         0x99, 0x59, 0x57, 0x49, 0x66, 0x96, 0x76, 0x27,
1513                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
1514                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
1515                         0x02, 0x88, 0x41, 0x97, 0x16, 0x93, 0x99, 0x37,
1516                         0x51, 0x05, 0x82, 0x09, 0x74, 0x94, 0x45, 0x92,
1517                 },
1518                 512,
1519                 {
1520                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1521                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1522                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1523                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1524                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1525                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1526                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1527                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1528                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1529                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1530                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1531                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1532                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1533                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1534                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1535                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1536                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1537                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1538                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1539                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1540                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1541                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1542                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1543                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1544                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1545                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1546                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1547                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1548                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1549                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1550                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1551                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1552                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1553                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1554                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1555                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1556                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1557                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1558                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1559                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1560                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1561                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1562                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1563                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1564                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1565                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1566                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1567                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1568                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1569                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1570                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1571                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1572                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1573                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1574                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1575                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1576                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1577                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1578                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1579                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1580                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1581                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1582                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1583                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1584                 }, {
1585                         0xbf, 0x53, 0xd2, 0xda, 0xde, 0x78, 0xe8, 0x22,
1586                         0xa4, 0xd9, 0x49, 0xa9, 0xbc, 0x67, 0x66, 0xb0,
1587                         0x1b, 0x06, 0xa8, 0xef, 0x70, 0xd2, 0x67, 0x48,
1588                         0xc6, 0xa7, 0xfc, 0x36, 0xd8, 0x0a, 0xe4, 0xc5,
1589                         0x52, 0x0f, 0x7c, 0x4a, 0xb0, 0xac, 0x85, 0x44,
1590                         0x42, 0x4f, 0xa4, 0x05, 0x16, 0x2f, 0xef, 0x5a,
1591                         0x6b, 0x7f, 0x22, 0x94, 0x98, 0x06, 0x36, 0x18,
1592                         0xd3, 0x9f, 0x00, 0x03, 0xcb, 0x5f, 0xb8, 0xd1,
1593                         0xc8, 0x6b, 0x64, 0x34, 0x97, 0xda, 0x1f, 0xf9,
1594                         0x45, 0xc8, 0xd3, 0xbe, 0xde, 0xca, 0x4f, 0x47,
1595                         0x97, 0x02, 0xa7, 0xa7, 0x35, 0xf0, 0x43, 0xdd,
1596                         0xb1, 0xd6, 0xaa, 0xad, 0xe3, 0xc4, 0xa0, 0xac,
1597                         0x7c, 0xa7, 0xf3, 0xfa, 0x52, 0x79, 0xbe, 0xf5,
1598                         0x6f, 0x82, 0xcd, 0x7a, 0x2f, 0x38, 0x67, 0x2e,
1599                         0x82, 0x48, 0x14, 0xe1, 0x07, 0x00, 0x30, 0x0a,
1600                         0x05, 0x5e, 0x16, 0x30, 0xb8, 0xf1, 0xcb, 0x0e,
1601                         0x91, 0x9f, 0x5e, 0x94, 0x20, 0x10, 0xa4, 0x16,
1602                         0xe2, 0xbf, 0x48, 0xcb, 0x46, 0x99, 0x3d, 0x3c,
1603                         0xb6, 0xa5, 0x1c, 0x19, 0xba, 0xcf, 0x86, 0x47,
1604                         0x85, 0xa0, 0x0b, 0xc2, 0xec, 0xff, 0x15, 0xd3,
1605                         0x50, 0x87, 0x5b, 0x24, 0x6e, 0xd5, 0x3e, 0x68,
1606                         0xbe, 0x6f, 0x55, 0xbd, 0x7e, 0x05, 0xcf, 0xc2,
1607                         0xb2, 0xed, 0x64, 0x32, 0x19, 0x8a, 0x64, 0x44,
1608                         0xb6, 0xd8, 0xc2, 0x47, 0xfa, 0xb9, 0x41, 0xf5,
1609                         0x69, 0x76, 0x8b, 0x5c, 0x42, 0x93, 0x66, 0xf1,
1610                         0xd3, 0xf0, 0x0f, 0x03, 0x45, 0xb9, 0x61, 0x23,
1611                         0xd5, 0x62, 0x04, 0xc0, 0x1c, 0x63, 0xb2, 0x2c,
1612                         0xe7, 0x8b, 0xaf, 0x11, 0x6e, 0x52, 0x5e, 0xd9,
1613                         0x0f, 0xde, 0xa3, 0x9f, 0xa4, 0x69, 0x49, 0x4d,
1614                         0x38, 0x66, 0xc3, 0x1e, 0x05, 0xf2, 0x95, 0xff,
1615                         0x21, 0xfe, 0xa8, 0xd4, 0xe6, 0xe1, 0x3d, 0x67,
1616                         0xe4, 0x7c, 0xe7, 0x22, 0xe9, 0x69, 0x8a, 0x1c,
1617                         0x10, 0x48, 0xd6, 0x8e, 0xbc, 0xde, 0x76, 0xb8,
1618                         0x6f, 0xcf, 0x97, 0x6e, 0xab, 0x8a, 0xa9, 0x79,
1619                         0x02, 0x68, 0xb7, 0x06, 0x8e, 0x01, 0x7a, 0x8b,
1620                         0x9b, 0x74, 0x94, 0x09, 0x51, 0x4f, 0x10, 0x53,
1621                         0x02, 0x7f, 0xd1, 0x6c, 0x37, 0x86, 0xea, 0x1b,
1622                         0xac, 0x5f, 0x15, 0xcb, 0x79, 0x71, 0x1e, 0xe2,
1623                         0xab, 0xe8, 0x2f, 0x5c, 0xf8, 0xb1, 0x3a, 0xe7,
1624                         0x30, 0x30, 0xef, 0x5b, 0x9e, 0x44, 0x57, 0xe7,
1625                         0x5d, 0x13, 0x04, 0xf9, 0x88, 0xd6, 0x2d, 0xd6,
1626                         0xfc, 0x4b, 0x94, 0xed, 0x38, 0xba, 0x83, 0x1d,
1627                         0xa4, 0xb7, 0x63, 0x49, 0x71, 0xb6, 0xcd, 0x8e,
1628                         0xc3, 0x25, 0xd9, 0xc6, 0x1c, 0x00, 0xf1, 0xdf,
1629                         0x73, 0x62, 0x7e, 0xd3, 0x74, 0x5a, 0x5e, 0x84,
1630                         0x89, 0xf3, 0xa9, 0x5c, 0x69, 0x63, 0x9c, 0x32,
1631                         0xcd, 0x6e, 0x1d, 0x53, 0x7a, 0x85, 0xf7, 0x5c,
1632                         0xc8, 0x44, 0x72, 0x6e, 0x8a, 0x72, 0xfc, 0x00,
1633                         0x77, 0xad, 0x22, 0x00, 0x0f, 0x1d, 0x50, 0x78,
1634                         0xf6, 0xb8, 0x66, 0x31, 0x8c, 0x66, 0x8f, 0x1a,
1635                         0xd0, 0x3d, 0x5a, 0x5f, 0xce, 0xd5, 0x21, 0x9f,
1636                         0x2e, 0xab, 0xbd, 0x0a, 0xa5, 0xc0, 0xf4, 0x60,
1637                         0xd1, 0x83, 0xf0, 0x44, 0x04, 0xa0, 0xd6, 0xf4,
1638                         0x69, 0x55, 0x8e, 0x81, 0xfa, 0xb2, 0x4a, 0x16,
1639                         0x79, 0x05, 0xab, 0x4c, 0x78, 0x78, 0x50, 0x2a,
1640                         0xd3, 0xe3, 0x8f, 0xdb, 0xe6, 0x2a, 0x41, 0x55,
1641                         0x6c, 0xec, 0x37, 0x32, 0x57, 0x59, 0x53, 0x3c,
1642                         0xe8, 0xf2, 0x5f, 0x36, 0x7c, 0x87, 0xbb, 0x55,
1643                         0x78, 0xd6, 0x67, 0xae, 0x93, 0xf9, 0xe2, 0xfd,
1644                         0x99, 0xbc, 0xbc, 0x5f, 0x2f, 0xbb, 0xa8, 0x8c,
1645                         0xf6, 0x51, 0x61, 0x39, 0x42, 0x0f, 0xcf, 0xf3,
1646                         0xb7, 0x36, 0x1d, 0x86, 0x32, 0x2c, 0x4b, 0xd8,
1647                         0x4c, 0x82, 0xf3, 0x35, 0xab, 0xb1, 0x52, 0xc4,
1648                         0xa9, 0x34, 0x11, 0x37, 0x3a, 0xaa, 0x82, 0x20,
1649                 },
1650         },
1651         {
1652                 0xffffffffffULL,
1653                 64,
1654                 {
1655                         0x27, 0x18, 0x28, 0x18, 0x28, 0x45, 0x90, 0x45,
1656                         0x23, 0x53, 0x60, 0x28, 0x74, 0x71, 0x35, 0x26,
1657                         0x62, 0x49, 0x77, 0x57, 0x24, 0x70, 0x93, 0x69,
1658                         0x99, 0x59, 0x57, 0x49, 0x66, 0x96, 0x76, 0x27,
1659                         0x31, 0x41, 0x59, 0x26, 0x53, 0x58, 0x97, 0x93,
1660                         0x23, 0x84, 0x62, 0x64, 0x33, 0x83, 0x27, 0x95,
1661                         0x02, 0x88, 0x41, 0x97, 0x16, 0x93, 0x99, 0x37,
1662                         0x51, 0x05, 0x82, 0x09, 0x74, 0x94, 0x45, 0x92,
1663                 },
1664                 512,
1665                 {
1666                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1667                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1668                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1669                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1670                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1671                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1672                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1673                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1674                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1675                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1676                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1677                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1678                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1679                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1680                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1681                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1682                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1683                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1684                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1685                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1686                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1687                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1688                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1689                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1690                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1691                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1692                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1693                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1694                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1695                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1696                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1697                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1698                         0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
1699                         0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
1700                         0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
1701                         0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
1702                         0x20, 0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27,
1703                         0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
1704                         0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37,
1705                         0x38, 0x39, 0x3a, 0x3b, 0x3c, 0x3d, 0x3e, 0x3f,
1706                         0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
1707                         0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
1708                         0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
1709                         0x58, 0x59, 0x5a, 0x5b, 0x5c, 0x5d, 0x5e, 0x5f,
1710                         0x60, 0x61, 0x62, 0x63, 0x64, 0x65, 0x66, 0x67,
1711                         0x68, 0x69, 0x6a, 0x6b, 0x6c, 0x6d, 0x6e, 0x6f,
1712                         0x70, 0x71, 0x72, 0x73, 0x74, 0x75, 0x76, 0x77,
1713                         0x78, 0x79, 0x7a, 0x7b, 0x7c, 0x7d, 0x7e, 0x7f,
1714                         0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
1715                         0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
1716                         0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
1717                         0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
1718                         0xa0, 0xa1, 0xa2, 0xa3, 0xa4, 0xa5, 0xa6, 0xa7,
1719                         0xa8, 0xa9, 0xaa, 0xab, 0xac, 0xad, 0xae, 0xaf,
1720                         0xb0, 0xb1, 0xb2, 0xb3, 0xb4, 0xb5, 0xb6, 0xb7,
1721                         0xb8, 0xb9, 0xba, 0xbb, 0xbc, 0xbd, 0xbe, 0xbf,
1722                         0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7,
1723                         0xc8, 0xc9, 0xca, 0xcb, 0xcc, 0xcd, 0xce, 0xcf,
1724                         0xd0, 0xd1, 0xd2, 0xd3, 0xd4, 0xd5, 0xd6, 0xd7,
1725                         0xd8, 0xd9, 0xda, 0xdb, 0xdc, 0xdd, 0xde, 0xdf,
1726                         0xe0, 0xe1, 0xe2, 0xe3, 0xe4, 0xe5, 0xe6, 0xe7,
1727                         0xe8, 0xe9, 0xea, 0xeb, 0xec, 0xed, 0xee, 0xef,
1728                         0xf0, 0xf1, 0xf2, 0xf3, 0xf4, 0xf5, 0xf6, 0xf7,
1729                         0xf8, 0xf9, 0xfa, 0xfb, 0xfc, 0xfd, 0xfe, 0xff,
1730                 }, {
1731                         0x64, 0x49, 0x7e, 0x5a, 0x83, 0x1e, 0x4a, 0x93,
1732                         0x2c, 0x09, 0xbe, 0x3e, 0x53, 0x93, 0x37, 0x6d,
1733                         0xaa, 0x59, 0x95, 0x48, 0xb8, 0x16, 0x03, 0x1d,
1734                         0x22, 0x4b, 0xbf, 0x50, 0xa8, 0x18, 0xed, 0x23,
1735                         0x50, 0xea, 0xe7, 0xe9, 0x60, 0x87, 0xc8, 0xa0,
1736                         0xdb, 0x51, 0xad, 0x29, 0x0b, 0xd0, 0x0c, 0x1a,
1737                         0xc1, 0x62, 0x08, 0x57, 0x63, 0x5b, 0xf2, 0x46,
1738                         0xc1, 0x76, 0xab, 0x46, 0x3b, 0xe3, 0x0b, 0x80,
1739                         0x8d, 0xa5, 0x48, 0x08, 0x1a, 0xc8, 0x47, 0xb1,
1740                         0x58, 0xe1, 0x26, 0x4b, 0xe2, 0x5b, 0xb0, 0x91,
1741                         0x0b, 0xbc, 0x92, 0x64, 0x71, 0x08, 0x08, 0x94,
1742                         0x15, 0xd4, 0x5f, 0xab, 0x1b, 0x3d, 0x26, 0x04,
1743                         0xe8, 0xa8, 0xef, 0xf1, 0xae, 0x40, 0x20, 0xcf,
1744                         0xa3, 0x99, 0x36, 0xb6, 0x68, 0x27, 0xb2, 0x3f,
1745                         0x37, 0x1b, 0x92, 0x20, 0x0b, 0xe9, 0x02, 0x51,
1746                         0xe6, 0xd7, 0x3c, 0x5f, 0x86, 0xde, 0x5f, 0xd4,
1747                         0xa9, 0x50, 0x78, 0x19, 0x33, 0xd7, 0x9a, 0x28,
1748                         0x27, 0x2b, 0x78, 0x2a, 0x2e, 0xc3, 0x13, 0xef,
1749                         0xdf, 0xcc, 0x06, 0x28, 0xf4, 0x3d, 0x74, 0x4c,
1750                         0x2d, 0xc2, 0xff, 0x3d, 0xcb, 0x66, 0x99, 0x9b,
1751                         0x50, 0xc7, 0xca, 0x89, 0x5b, 0x0c, 0x64, 0x79,
1752                         0x1e, 0xea, 0xa5, 0xf2, 0x94, 0x99, 0xfb, 0x1c,
1753                         0x02, 0x6f, 0x84, 0xce, 0x5b, 0x5c, 0x72, 0xba,
1754                         0x10, 0x83, 0xcd, 0xdb, 0x5c, 0xe4, 0x54, 0x34,
1755                         0x63, 0x16, 0x65, 0xc3, 0x33, 0xb6, 0x0b, 0x11,
1756                         0x59, 0x3f, 0xb2, 0x53, 0xc5, 0x17, 0x9a, 0x2c,
1757                         0x8d, 0xb8, 0x13, 0x78, 0x2a, 0x00, 0x48, 0x56,
1758                         0xa1, 0x65, 0x30, 0x11, 0xe9, 0x3f, 0xb6, 0xd8,
1759                         0x76, 0xc1, 0x83, 0x66, 0xdd, 0x86, 0x83, 0xf5,
1760                         0x34, 0x12, 0xc0, 0xc1, 0x80, 0xf9, 0xc8, 0x48,
1761                         0x59, 0x2d, 0x59, 0x3f, 0x86, 0x09, 0xca, 0x73,
1762                         0x63, 0x17, 0xd3, 0x56, 0xe1, 0x3e, 0x2b, 0xff,
1763                         0x3a, 0x9f, 0x59, 0xcd, 0x9a, 0xeb, 0x19, 0xcd,
1764                         0x48, 0x25, 0x93, 0xd8, 0xc4, 0x61, 0x28, 0xbb,
1765                         0x32, 0x42, 0x3b, 0x37, 0xa9, 0xad, 0xfb, 0x48,
1766                         0x2b, 0x99, 0x45, 0x3f, 0xbe, 0x25, 0xa4, 0x1b,
1767                         0xf6, 0xfe, 0xb4, 0xaa, 0x0b, 0xef, 0x5e, 0xd2,
1768                         0x4b, 0xf7, 0x3c, 0x76, 0x29, 0x78, 0x02, 0x54,
1769                         0x82, 0xc1, 0x31, 0x15, 0xe4, 0x01, 0x5a, 0xac,
1770                         0x99, 0x2e, 0x56, 0x13, 0xa3, 0xb5, 0xc2, 0xf6,
1771                         0x85, 0xb8, 0x47, 0x95, 0xcb, 0x6e, 0x9b, 0x26,
1772                         0x56, 0xd8, 0xc8, 0x81, 0x57, 0xe5, 0x2c, 0x42,
1773                         0xf9, 0x78, 0xd8, 0x63, 0x4c, 0x43, 0xd0, 0x6f,
1774                         0xea, 0x92, 0x8f, 0x28, 0x22, 0xe4, 0x65, 0xaa,
1775                         0x65, 0x76, 0xe9, 0xbf, 0x41, 0x93, 0x84, 0x50,
1776                         0x6c, 0xc3, 0xce, 0x3c, 0x54, 0xac, 0x1a, 0x6f,
1777                         0x67, 0xdc, 0x66, 0xf3, 0xb3, 0x01, 0x91, 0xe6,
1778                         0x98, 0x38, 0x0b, 0xc9, 0x99, 0xb0, 0x5a, 0xbc,
1779                         0xe1, 0x9d, 0xc0, 0xc6, 0xdc, 0xc2, 0xdd, 0x00,
1780                         0x1e, 0xc5, 0x35, 0xba, 0x18, 0xde, 0xb2, 0xdf,
1781                         0x1a, 0x10, 0x10, 0x23, 0x10, 0x83, 0x18, 0xc7,
1782                         0x5d, 0xc9, 0x86, 0x11, 0xa0, 0x9d, 0xc4, 0x8a,
1783                         0x0a, 0xcd, 0xec, 0x67, 0x6f, 0xab, 0xdf, 0x22,
1784                         0x2f, 0x07, 0xe0, 0x26, 0xf0, 0x59, 0xb6, 0x72,
1785                         0xb5, 0x6e, 0x5c, 0xbc, 0x8e, 0x1d, 0x21, 0xbb,
1786                         0xd8, 0x67, 0xdd, 0x92, 0x72, 0x12, 0x05, 0x46,
1787                         0x81, 0xd7, 0x0e, 0xa7, 0x37, 0x13, 0x4c, 0xdf,
1788                         0xce, 0x93, 0xb6, 0xf8, 0x2a, 0xe2, 0x24, 0x23,
1789                         0x27, 0x4e, 0x58, 0xa0, 0x82, 0x1c, 0xc5, 0x50,
1790                         0x2e, 0x2d, 0x0a, 0xb4, 0x58, 0x5e, 0x94, 0xde,
1791                         0x69, 0x75, 0xbe, 0x5e, 0x0b, 0x4e, 0xfc, 0xe5,
1792                         0x1c, 0xd3, 0xe7, 0x0c, 0x25, 0xa1, 0xfb, 0xbb,
1793                         0xd6, 0x09, 0xd2, 0x73, 0xad, 0x5b, 0x0d, 0x59,
1794                         0x63, 0x1c, 0x53, 0x1f, 0x6a, 0x0a, 0x57, 0xb9,
1795                 },
1796         },
1797 };
1798 #define N_VECTORS (sizeof(aes_xts_test_vectors) / sizeof(*aes_xts_test_vectors))
1799
1800 int
1801 main(int argc, char **argv)
1802 {
1803         int allowed = 0, fail = 0;
1804         size_t i;
1805         struct aes_xts_tv *tv;
1806         u_int8_t result[512];
1807
1808         if (geteuid() == 0) {
1809                 allowed = getallowsoft();
1810                 if (allowed == 0)
1811                         setallowsoft(1);
1812         }
1813
1814         for (i = 0; i < N_VECTORS; i++) {
1815                 tv = &aes_xts_test_vectors[i];
1816
1817                 /* Encrypt test */
1818                 if (syscrypt(tv->key, tv->key_len, tv->seqno, tv->plaintext,
1819                     result, tv->text_len, 1) < 0) {
1820                         warnx("encrypt with /dev/crypto failed");
1821                         fail++;
1822                         break;
1823                 }
1824                 if (!match(result, tv->ciphertext, tv->text_len)) {
1825                         fail++;
1826                         break;
1827                 } else
1828                         printf("OK encrypt test vector %zu\n", i);
1829
1830                 /* Decrypt test */
1831                 if (syscrypt(tv->key, tv->key_len, tv->seqno, tv->ciphertext,
1832                     result, tv->text_len, 0) < 0) {
1833                         warnx("decrypt with /dev/crypto failed");
1834                         fail++;
1835                         break;
1836                 }
1837                 if (!match(result, tv->plaintext, tv->text_len)) {
1838                         fail++;
1839                         break;
1840                 } else
1841                         printf("OK decrypt test vector %zu\n", i);
1842         }
1843
1844         if (geteuid() == 0 && allowed == 0)
1845                 setallowsoft(0);
1846         exit((fail > 0) ? 1 : 0);
1847 }
1848