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