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 NELEM(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 
1849