1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * des3_ede-asm_64.S - x86-64 assembly implementation of 3DES cipher
5 * Copyright © 2014 Jussi Kivilinna <jussi.kivilinna@iki.fi>
8 #include <linux/linkage.h>
10 .file "des3_ede-asm_64.S"
14 #define s2 ((s1) + (64*8))
15 #define s3 ((s2) + (64*8))
16 #define s4 ((s3) + (64*8))
17 #define s5 ((s4) + (64*8))
18 #define s6 ((s5) + (64*8))
19 #define s7 ((s6) + (64*8))
20 #define s8 ((s7) + (64*8))
67 /***********************************************************************
69 ***********************************************************************/
70 #define do_permutation(a, b, offset, mask) \
72 shrl $(offset), RT0d; \
76 shll $(offset), RT0d; \
79 #define expand_to_64bits(val, mask) \
86 #define compress_to_64bits(val) \
92 #define initial_permutation(left, right) \
93 do_permutation(left##d, right##d, 4, 0x0f0f0f0f); \
94 do_permutation(left##d, right##d, 16, 0x0000ffff); \
95 do_permutation(right##d, left##d, 2, 0x33333333); \
96 do_permutation(right##d, left##d, 8, 0x00ff00ff); \
97 movabs $0x3f3f3f3f3f3f3f3f, RT3; \
100 xorl right##d, RW0d; \
101 andl $0xaaaaaaaa, RW0d; \
102 xorl RW0d, left##d; \
103 xorl RW0d, right##d; \
105 expand_to_64bits(right, RT3); \
106 expand_to_64bits(left, RT3);
108 #define final_permutation(left, right) \
109 compress_to_64bits(right); \
110 compress_to_64bits(left); \
111 movl right##d, RW0d; \
113 xorl left##d, RW0d; \
114 andl $0xaaaaaaaa, RW0d; \
115 xorl RW0d, right##d; \
116 xorl RW0d, left##d; \
118 do_permutation(right##d, left##d, 8, 0x00ff00ff); \
119 do_permutation(right##d, left##d, 2, 0x33333333); \
120 do_permutation(left##d, right##d, 16, 0x0000ffff); \
121 do_permutation(left##d, right##d, 4, 0x0f0f0f0f);
123 #define round1(n, from, to, load_next_key) \
126 movzbl RW0bl, RT0d; \
127 movzbl RW0bh, RT1d; \
129 movzbl RW0bl, RT2d; \
130 movzbl RW0bh, RT3d; \
132 movq s8(, RT0, 8), RT0; \
133 xorq s6(, RT1, 8), to; \
134 movzbl RW0bl, RL1d; \
135 movzbl RW0bh, RT1d; \
137 xorq s4(, RT2, 8), RT0; \
138 xorq s2(, RT3, 8), to; \
139 movzbl RW0bl, RT2d; \
140 movzbl RW0bh, RT3d; \
141 xorq s7(, RL1, 8), RT0; \
142 xorq s5(, RT1, 8), to; \
143 xorq s3(, RT2, 8), RT0; \
144 load_next_key(n, RW0); \
146 xorq s1(, RT3, 8), to; \
148 #define load_next_key(n, RWx) \
149 movq (((n) + 1) * 8)(CTX), RWx;
151 #define dummy2(a, b) /*_*/
153 #define read_block(io, left, right) \
154 movl (io), left##d; \
155 movl 4(io), right##d; \
159 #define write_block(io, left, right) \
162 movl left##d, (io); \
163 movl right##d, 4(io);
165 SYM_FUNC_START(des3_ede_x86_64_crypt_blk)
167 * %rdi: round keys, CTX
177 pushq %rsi; /* dst */
179 read_block(%rdx, RL0, RR0);
180 initial_permutation(RL0, RR0);
184 round1(0, RR0, RL0, load_next_key);
185 round1(1, RL0, RR0, load_next_key);
186 round1(2, RR0, RL0, load_next_key);
187 round1(3, RL0, RR0, load_next_key);
188 round1(4, RR0, RL0, load_next_key);
189 round1(5, RL0, RR0, load_next_key);
190 round1(6, RR0, RL0, load_next_key);
191 round1(7, RL0, RR0, load_next_key);
192 round1(8, RR0, RL0, load_next_key);
193 round1(9, RL0, RR0, load_next_key);
194 round1(10, RR0, RL0, load_next_key);
195 round1(11, RL0, RR0, load_next_key);
196 round1(12, RR0, RL0, load_next_key);
197 round1(13, RL0, RR0, load_next_key);
198 round1(14, RR0, RL0, load_next_key);
199 round1(15, RL0, RR0, load_next_key);
201 round1(16+0, RL0, RR0, load_next_key);
202 round1(16+1, RR0, RL0, load_next_key);
203 round1(16+2, RL0, RR0, load_next_key);
204 round1(16+3, RR0, RL0, load_next_key);
205 round1(16+4, RL0, RR0, load_next_key);
206 round1(16+5, RR0, RL0, load_next_key);
207 round1(16+6, RL0, RR0, load_next_key);
208 round1(16+7, RR0, RL0, load_next_key);
209 round1(16+8, RL0, RR0, load_next_key);
210 round1(16+9, RR0, RL0, load_next_key);
211 round1(16+10, RL0, RR0, load_next_key);
212 round1(16+11, RR0, RL0, load_next_key);
213 round1(16+12, RL0, RR0, load_next_key);
214 round1(16+13, RR0, RL0, load_next_key);
215 round1(16+14, RL0, RR0, load_next_key);
216 round1(16+15, RR0, RL0, load_next_key);
218 round1(32+0, RR0, RL0, load_next_key);
219 round1(32+1, RL0, RR0, load_next_key);
220 round1(32+2, RR0, RL0, load_next_key);
221 round1(32+3, RL0, RR0, load_next_key);
222 round1(32+4, RR0, RL0, load_next_key);
223 round1(32+5, RL0, RR0, load_next_key);
224 round1(32+6, RR0, RL0, load_next_key);
225 round1(32+7, RL0, RR0, load_next_key);
226 round1(32+8, RR0, RL0, load_next_key);
227 round1(32+9, RL0, RR0, load_next_key);
228 round1(32+10, RR0, RL0, load_next_key);
229 round1(32+11, RL0, RR0, load_next_key);
230 round1(32+12, RR0, RL0, load_next_key);
231 round1(32+13, RL0, RR0, load_next_key);
232 round1(32+14, RR0, RL0, load_next_key);
233 round1(32+15, RL0, RR0, dummy2);
235 final_permutation(RR0, RL0);
238 write_block(%rsi, RR0, RL0);
247 SYM_FUNC_END(des3_ede_x86_64_crypt_blk)
249 /***********************************************************************
251 ***********************************************************************/
252 #define expand_to_64bits(val, mask) \
259 #define compress_to_64bits(val) \
265 #define initial_permutation3(left, right) \
266 do_permutation(left##0d, right##0d, 4, 0x0f0f0f0f); \
267 do_permutation(left##0d, right##0d, 16, 0x0000ffff); \
268 do_permutation(left##1d, right##1d, 4, 0x0f0f0f0f); \
269 do_permutation(left##1d, right##1d, 16, 0x0000ffff); \
270 do_permutation(left##2d, right##2d, 4, 0x0f0f0f0f); \
271 do_permutation(left##2d, right##2d, 16, 0x0000ffff); \
273 do_permutation(right##0d, left##0d, 2, 0x33333333); \
274 do_permutation(right##0d, left##0d, 8, 0x00ff00ff); \
275 do_permutation(right##1d, left##1d, 2, 0x33333333); \
276 do_permutation(right##1d, left##1d, 8, 0x00ff00ff); \
277 do_permutation(right##2d, left##2d, 2, 0x33333333); \
278 do_permutation(right##2d, left##2d, 8, 0x00ff00ff); \
280 movabs $0x3f3f3f3f3f3f3f3f, RT3; \
282 movl left##0d, RW0d; \
283 roll $1, right##0d; \
284 xorl right##0d, RW0d; \
285 andl $0xaaaaaaaa, RW0d; \
286 xorl RW0d, left##0d; \
287 xorl RW0d, right##0d; \
289 expand_to_64bits(right##0, RT3); \
290 expand_to_64bits(left##0, RT3); \
291 movl left##1d, RW1d; \
292 roll $1, right##1d; \
293 xorl right##1d, RW1d; \
294 andl $0xaaaaaaaa, RW1d; \
295 xorl RW1d, left##1d; \
296 xorl RW1d, right##1d; \
298 expand_to_64bits(right##1, RT3); \
299 expand_to_64bits(left##1, RT3); \
300 movl left##2d, RW2d; \
301 roll $1, right##2d; \
302 xorl right##2d, RW2d; \
303 andl $0xaaaaaaaa, RW2d; \
304 xorl RW2d, left##2d; \
305 xorl RW2d, right##2d; \
307 expand_to_64bits(right##2, RT3); \
308 expand_to_64bits(left##2, RT3);
310 #define final_permutation3(left, right) \
311 compress_to_64bits(right##0); \
312 compress_to_64bits(left##0); \
313 movl right##0d, RW0d; \
315 xorl left##0d, RW0d; \
316 andl $0xaaaaaaaa, RW0d; \
317 xorl RW0d, right##0d; \
318 xorl RW0d, left##0d; \
319 rorl $1, right##0d; \
320 compress_to_64bits(right##1); \
321 compress_to_64bits(left##1); \
322 movl right##1d, RW1d; \
324 xorl left##1d, RW1d; \
325 andl $0xaaaaaaaa, RW1d; \
326 xorl RW1d, right##1d; \
327 xorl RW1d, left##1d; \
328 rorl $1, right##1d; \
329 compress_to_64bits(right##2); \
330 compress_to_64bits(left##2); \
331 movl right##2d, RW2d; \
333 xorl left##2d, RW2d; \
334 andl $0xaaaaaaaa, RW2d; \
335 xorl RW2d, right##2d; \
336 xorl RW2d, left##2d; \
337 rorl $1, right##2d; \
339 do_permutation(right##0d, left##0d, 8, 0x00ff00ff); \
340 do_permutation(right##0d, left##0d, 2, 0x33333333); \
341 do_permutation(right##1d, left##1d, 8, 0x00ff00ff); \
342 do_permutation(right##1d, left##1d, 2, 0x33333333); \
343 do_permutation(right##2d, left##2d, 8, 0x00ff00ff); \
344 do_permutation(right##2d, left##2d, 2, 0x33333333); \
346 do_permutation(left##0d, right##0d, 16, 0x0000ffff); \
347 do_permutation(left##0d, right##0d, 4, 0x0f0f0f0f); \
348 do_permutation(left##1d, right##1d, 16, 0x0000ffff); \
349 do_permutation(left##1d, right##1d, 4, 0x0f0f0f0f); \
350 do_permutation(left##2d, right##2d, 16, 0x0000ffff); \
351 do_permutation(left##2d, right##2d, 4, 0x0f0f0f0f);
353 #define round3(n, from, to, load_next_key, do_movq) \
355 movzbl RW0bl, RT3d; \
356 movzbl RW0bh, RT1d; \
358 xorq s8(, RT3, 8), to##0; \
359 xorq s6(, RT1, 8), to##0; \
360 movzbl RW0bl, RT3d; \
361 movzbl RW0bh, RT1d; \
363 xorq s4(, RT3, 8), to##0; \
364 xorq s2(, RT1, 8), to##0; \
365 movzbl RW0bl, RT3d; \
366 movzbl RW0bh, RT1d; \
368 xorq s7(, RT3, 8), to##0; \
369 xorq s5(, RT1, 8), to##0; \
370 movzbl RW0bl, RT3d; \
371 movzbl RW0bh, RT1d; \
372 load_next_key(n, RW0); \
373 xorq s3(, RT3, 8), to##0; \
374 xorq s1(, RT1, 8), to##0; \
376 movzbl RW1bl, RT3d; \
377 movzbl RW1bh, RT1d; \
379 xorq s8(, RT3, 8), to##1; \
380 xorq s6(, RT1, 8), to##1; \
381 movzbl RW1bl, RT3d; \
382 movzbl RW1bh, RT1d; \
384 xorq s4(, RT3, 8), to##1; \
385 xorq s2(, RT1, 8), to##1; \
386 movzbl RW1bl, RT3d; \
387 movzbl RW1bh, RT1d; \
389 xorq s7(, RT3, 8), to##1; \
390 xorq s5(, RT1, 8), to##1; \
391 movzbl RW1bl, RT3d; \
392 movzbl RW1bh, RT1d; \
394 xorq s3(, RT3, 8), to##1; \
395 xorq s1(, RT1, 8), to##1; \
397 movzbl RW2bl, RT3d; \
398 movzbl RW2bh, RT1d; \
400 xorq s8(, RT3, 8), to##2; \
401 xorq s6(, RT1, 8), to##2; \
402 movzbl RW2bl, RT3d; \
403 movzbl RW2bh, RT1d; \
405 xorq s4(, RT3, 8), to##2; \
406 xorq s2(, RT1, 8), to##2; \
407 movzbl RW2bl, RT3d; \
408 movzbl RW2bh, RT1d; \
410 xorq s7(, RT3, 8), to##2; \
411 xorq s5(, RT1, 8), to##2; \
412 movzbl RW2bl, RT3d; \
413 movzbl RW2bh, RT1d; \
415 xorq s3(, RT3, 8), to##2; \
416 xorq s1(, RT1, 8), to##2;
418 #define __movq(src, dst) \
421 SYM_FUNC_START(des3_ede_x86_64_crypt_blk_3way)
423 * %rdi: ctx, round keys
424 * %rsi: dst (3 blocks)
425 * %rdx: src (3 blocks)
437 movl 0 * 4(%rdx), RL0d;
438 movl 1 * 4(%rdx), RR0d;
439 movl 2 * 4(%rdx), RL1d;
440 movl 3 * 4(%rdx), RR1d;
441 movl 4 * 4(%rdx), RL2d;
442 movl 5 * 4(%rdx), RR2d;
451 initial_permutation3(RL, RR);
457 round3(0, RR, RL, load_next_key, __movq);
458 round3(1, RL, RR, load_next_key, __movq);
459 round3(2, RR, RL, load_next_key, __movq);
460 round3(3, RL, RR, load_next_key, __movq);
461 round3(4, RR, RL, load_next_key, __movq);
462 round3(5, RL, RR, load_next_key, __movq);
463 round3(6, RR, RL, load_next_key, __movq);
464 round3(7, RL, RR, load_next_key, __movq);
465 round3(8, RR, RL, load_next_key, __movq);
466 round3(9, RL, RR, load_next_key, __movq);
467 round3(10, RR, RL, load_next_key, __movq);
468 round3(11, RL, RR, load_next_key, __movq);
469 round3(12, RR, RL, load_next_key, __movq);
470 round3(13, RL, RR, load_next_key, __movq);
471 round3(14, RR, RL, load_next_key, __movq);
472 round3(15, RL, RR, load_next_key, __movq);
474 round3(16+0, RL, RR, load_next_key, __movq);
475 round3(16+1, RR, RL, load_next_key, __movq);
476 round3(16+2, RL, RR, load_next_key, __movq);
477 round3(16+3, RR, RL, load_next_key, __movq);
478 round3(16+4, RL, RR, load_next_key, __movq);
479 round3(16+5, RR, RL, load_next_key, __movq);
480 round3(16+6, RL, RR, load_next_key, __movq);
481 round3(16+7, RR, RL, load_next_key, __movq);
482 round3(16+8, RL, RR, load_next_key, __movq);
483 round3(16+9, RR, RL, load_next_key, __movq);
484 round3(16+10, RL, RR, load_next_key, __movq);
485 round3(16+11, RR, RL, load_next_key, __movq);
486 round3(16+12, RL, RR, load_next_key, __movq);
487 round3(16+13, RR, RL, load_next_key, __movq);
488 round3(16+14, RL, RR, load_next_key, __movq);
489 round3(16+15, RR, RL, load_next_key, __movq);
491 round3(32+0, RR, RL, load_next_key, __movq);
492 round3(32+1, RL, RR, load_next_key, __movq);
493 round3(32+2, RR, RL, load_next_key, __movq);
494 round3(32+3, RL, RR, load_next_key, __movq);
495 round3(32+4, RR, RL, load_next_key, __movq);
496 round3(32+5, RL, RR, load_next_key, __movq);
497 round3(32+6, RR, RL, load_next_key, __movq);
498 round3(32+7, RL, RR, load_next_key, __movq);
499 round3(32+8, RR, RL, load_next_key, __movq);
500 round3(32+9, RL, RR, load_next_key, __movq);
501 round3(32+10, RR, RL, load_next_key, __movq);
502 round3(32+11, RL, RR, load_next_key, __movq);
503 round3(32+12, RR, RL, load_next_key, __movq);
504 round3(32+13, RL, RR, load_next_key, __movq);
505 round3(32+14, RR, RL, load_next_key, __movq);
506 round3(32+15, RL, RR, dummy2, dummy2);
508 final_permutation3(RR, RL);
518 movl RR0d, 0 * 4(%rsi);
519 movl RL0d, 1 * 4(%rsi);
520 movl RR1d, 2 * 4(%rsi);
521 movl RL1d, 3 * 4(%rsi);
522 movl RR2d, 4 * 4(%rsi);
523 movl RL2d, 5 * 4(%rsi);
532 SYM_FUNC_END(des3_ede_x86_64_crypt_blk_3way)
534 .section .rodata, "a", @progbits
537 .quad 0x0010100001010400, 0x0000000000000000
538 .quad 0x0000100000010000, 0x0010100001010404
539 .quad 0x0010100001010004, 0x0000100000010404
540 .quad 0x0000000000000004, 0x0000100000010000
541 .quad 0x0000000000000400, 0x0010100001010400
542 .quad 0x0010100001010404, 0x0000000000000400
543 .quad 0x0010000001000404, 0x0010100001010004
544 .quad 0x0010000001000000, 0x0000000000000004
545 .quad 0x0000000000000404, 0x0010000001000400
546 .quad 0x0010000001000400, 0x0000100000010400
547 .quad 0x0000100000010400, 0x0010100001010000
548 .quad 0x0010100001010000, 0x0010000001000404
549 .quad 0x0000100000010004, 0x0010000001000004
550 .quad 0x0010000001000004, 0x0000100000010004
551 .quad 0x0000000000000000, 0x0000000000000404
552 .quad 0x0000100000010404, 0x0010000001000000
553 .quad 0x0000100000010000, 0x0010100001010404
554 .quad 0x0000000000000004, 0x0010100001010000
555 .quad 0x0010100001010400, 0x0010000001000000
556 .quad 0x0010000001000000, 0x0000000000000400
557 .quad 0x0010100001010004, 0x0000100000010000
558 .quad 0x0000100000010400, 0x0010000001000004
559 .quad 0x0000000000000400, 0x0000000000000004
560 .quad 0x0010000001000404, 0x0000100000010404
561 .quad 0x0010100001010404, 0x0000100000010004
562 .quad 0x0010100001010000, 0x0010000001000404
563 .quad 0x0010000001000004, 0x0000000000000404
564 .quad 0x0000100000010404, 0x0010100001010400
565 .quad 0x0000000000000404, 0x0010000001000400
566 .quad 0x0010000001000400, 0x0000000000000000
567 .quad 0x0000100000010004, 0x0000100000010400
568 .quad 0x0000000000000000, 0x0010100001010004
570 .quad 0x0801080200100020, 0x0800080000000000
571 .quad 0x0000080000000000, 0x0001080200100020
572 .quad 0x0001000000100000, 0x0000000200000020
573 .quad 0x0801000200100020, 0x0800080200000020
574 .quad 0x0800000200000020, 0x0801080200100020
575 .quad 0x0801080000100000, 0x0800000000000000
576 .quad 0x0800080000000000, 0x0001000000100000
577 .quad 0x0000000200000020, 0x0801000200100020
578 .quad 0x0001080000100000, 0x0001000200100020
579 .quad 0x0800080200000020, 0x0000000000000000
580 .quad 0x0800000000000000, 0x0000080000000000
581 .quad 0x0001080200100020, 0x0801000000100000
582 .quad 0x0001000200100020, 0x0800000200000020
583 .quad 0x0000000000000000, 0x0001080000100000
584 .quad 0x0000080200000020, 0x0801080000100000
585 .quad 0x0801000000100000, 0x0000080200000020
586 .quad 0x0000000000000000, 0x0001080200100020
587 .quad 0x0801000200100020, 0x0001000000100000
588 .quad 0x0800080200000020, 0x0801000000100000
589 .quad 0x0801080000100000, 0x0000080000000000
590 .quad 0x0801000000100000, 0x0800080000000000
591 .quad 0x0000000200000020, 0x0801080200100020
592 .quad 0x0001080200100020, 0x0000000200000020
593 .quad 0x0000080000000000, 0x0800000000000000
594 .quad 0x0000080200000020, 0x0801080000100000
595 .quad 0x0001000000100000, 0x0800000200000020
596 .quad 0x0001000200100020, 0x0800080200000020
597 .quad 0x0800000200000020, 0x0001000200100020
598 .quad 0x0001080000100000, 0x0000000000000000
599 .quad 0x0800080000000000, 0x0000080200000020
600 .quad 0x0800000000000000, 0x0801000200100020
601 .quad 0x0801080200100020, 0x0001080000100000
603 .quad 0x0000002000000208, 0x0000202008020200
604 .quad 0x0000000000000000, 0x0000200008020008
605 .quad 0x0000002008000200, 0x0000000000000000
606 .quad 0x0000202000020208, 0x0000002008000200
607 .quad 0x0000200000020008, 0x0000000008000008
608 .quad 0x0000000008000008, 0x0000200000020000
609 .quad 0x0000202008020208, 0x0000200000020008
610 .quad 0x0000200008020000, 0x0000002000000208
611 .quad 0x0000000008000000, 0x0000000000000008
612 .quad 0x0000202008020200, 0x0000002000000200
613 .quad 0x0000202000020200, 0x0000200008020000
614 .quad 0x0000200008020008, 0x0000202000020208
615 .quad 0x0000002008000208, 0x0000202000020200
616 .quad 0x0000200000020000, 0x0000002008000208
617 .quad 0x0000000000000008, 0x0000202008020208
618 .quad 0x0000002000000200, 0x0000000008000000
619 .quad 0x0000202008020200, 0x0000000008000000
620 .quad 0x0000200000020008, 0x0000002000000208
621 .quad 0x0000200000020000, 0x0000202008020200
622 .quad 0x0000002008000200, 0x0000000000000000
623 .quad 0x0000002000000200, 0x0000200000020008
624 .quad 0x0000202008020208, 0x0000002008000200
625 .quad 0x0000000008000008, 0x0000002000000200
626 .quad 0x0000000000000000, 0x0000200008020008
627 .quad 0x0000002008000208, 0x0000200000020000
628 .quad 0x0000000008000000, 0x0000202008020208
629 .quad 0x0000000000000008, 0x0000202000020208
630 .quad 0x0000202000020200, 0x0000000008000008
631 .quad 0x0000200008020000, 0x0000002008000208
632 .quad 0x0000002000000208, 0x0000200008020000
633 .quad 0x0000202000020208, 0x0000000000000008
634 .quad 0x0000200008020008, 0x0000202000020200
636 .quad 0x1008020000002001, 0x1000020800002001
637 .quad 0x1000020800002001, 0x0000000800000000
638 .quad 0x0008020800002000, 0x1008000800000001
639 .quad 0x1008000000000001, 0x1000020000002001
640 .quad 0x0000000000000000, 0x0008020000002000
641 .quad 0x0008020000002000, 0x1008020800002001
642 .quad 0x1000000800000001, 0x0000000000000000
643 .quad 0x0008000800000000, 0x1008000000000001
644 .quad 0x1000000000000001, 0x0000020000002000
645 .quad 0x0008000000000000, 0x1008020000002001
646 .quad 0x0000000800000000, 0x0008000000000000
647 .quad 0x1000020000002001, 0x0000020800002000
648 .quad 0x1008000800000001, 0x1000000000000001
649 .quad 0x0000020800002000, 0x0008000800000000
650 .quad 0x0000020000002000, 0x0008020800002000
651 .quad 0x1008020800002001, 0x1000000800000001
652 .quad 0x0008000800000000, 0x1008000000000001
653 .quad 0x0008020000002000, 0x1008020800002001
654 .quad 0x1000000800000001, 0x0000000000000000
655 .quad 0x0000000000000000, 0x0008020000002000
656 .quad 0x0000020800002000, 0x0008000800000000
657 .quad 0x1008000800000001, 0x1000000000000001
658 .quad 0x1008020000002001, 0x1000020800002001
659 .quad 0x1000020800002001, 0x0000000800000000
660 .quad 0x1008020800002001, 0x1000000800000001
661 .quad 0x1000000000000001, 0x0000020000002000
662 .quad 0x1008000000000001, 0x1000020000002001
663 .quad 0x0008020800002000, 0x1008000800000001
664 .quad 0x1000020000002001, 0x0000020800002000
665 .quad 0x0008000000000000, 0x1008020000002001
666 .quad 0x0000000800000000, 0x0008000000000000
667 .quad 0x0000020000002000, 0x0008020800002000
669 .quad 0x0000001000000100, 0x0020001002080100
670 .quad 0x0020000002080000, 0x0420001002000100
671 .quad 0x0000000000080000, 0x0000001000000100
672 .quad 0x0400000000000000, 0x0020000002080000
673 .quad 0x0400001000080100, 0x0000000000080000
674 .quad 0x0020001002000100, 0x0400001000080100
675 .quad 0x0420001002000100, 0x0420000002080000
676 .quad 0x0000001000080100, 0x0400000000000000
677 .quad 0x0020000002000000, 0x0400000000080000
678 .quad 0x0400000000080000, 0x0000000000000000
679 .quad 0x0400001000000100, 0x0420001002080100
680 .quad 0x0420001002080100, 0x0020001002000100
681 .quad 0x0420000002080000, 0x0400001000000100
682 .quad 0x0000000000000000, 0x0420000002000000
683 .quad 0x0020001002080100, 0x0020000002000000
684 .quad 0x0420000002000000, 0x0000001000080100
685 .quad 0x0000000000080000, 0x0420001002000100
686 .quad 0x0000001000000100, 0x0020000002000000
687 .quad 0x0400000000000000, 0x0020000002080000
688 .quad 0x0420001002000100, 0x0400001000080100
689 .quad 0x0020001002000100, 0x0400000000000000
690 .quad 0x0420000002080000, 0x0020001002080100
691 .quad 0x0400001000080100, 0x0000001000000100
692 .quad 0x0020000002000000, 0x0420000002080000
693 .quad 0x0420001002080100, 0x0000001000080100
694 .quad 0x0420000002000000, 0x0420001002080100
695 .quad 0x0020000002080000, 0x0000000000000000
696 .quad 0x0400000000080000, 0x0420000002000000
697 .quad 0x0000001000080100, 0x0020001002000100
698 .quad 0x0400001000000100, 0x0000000000080000
699 .quad 0x0000000000000000, 0x0400000000080000
700 .quad 0x0020001002080100, 0x0400001000000100
702 .quad 0x0200000120000010, 0x0204000020000000
703 .quad 0x0000040000000000, 0x0204040120000010
704 .quad 0x0204000020000000, 0x0000000100000010
705 .quad 0x0204040120000010, 0x0004000000000000
706 .quad 0x0200040020000000, 0x0004040100000010
707 .quad 0x0004000000000000, 0x0200000120000010
708 .quad 0x0004000100000010, 0x0200040020000000
709 .quad 0x0200000020000000, 0x0000040100000010
710 .quad 0x0000000000000000, 0x0004000100000010
711 .quad 0x0200040120000010, 0x0000040000000000
712 .quad 0x0004040000000000, 0x0200040120000010
713 .quad 0x0000000100000010, 0x0204000120000010
714 .quad 0x0204000120000010, 0x0000000000000000
715 .quad 0x0004040100000010, 0x0204040020000000
716 .quad 0x0000040100000010, 0x0004040000000000
717 .quad 0x0204040020000000, 0x0200000020000000
718 .quad 0x0200040020000000, 0x0000000100000010
719 .quad 0x0204000120000010, 0x0004040000000000
720 .quad 0x0204040120000010, 0x0004000000000000
721 .quad 0x0000040100000010, 0x0200000120000010
722 .quad 0x0004000000000000, 0x0200040020000000
723 .quad 0x0200000020000000, 0x0000040100000010
724 .quad 0x0200000120000010, 0x0204040120000010
725 .quad 0x0004040000000000, 0x0204000020000000
726 .quad 0x0004040100000010, 0x0204040020000000
727 .quad 0x0000000000000000, 0x0204000120000010
728 .quad 0x0000000100000010, 0x0000040000000000
729 .quad 0x0204000020000000, 0x0004040100000010
730 .quad 0x0000040000000000, 0x0004000100000010
731 .quad 0x0200040120000010, 0x0000000000000000
732 .quad 0x0204040020000000, 0x0200000020000000
733 .quad 0x0004000100000010, 0x0200040120000010
735 .quad 0x0002000000200000, 0x2002000004200002
736 .quad 0x2000000004000802, 0x0000000000000000
737 .quad 0x0000000000000800, 0x2000000004000802
738 .quad 0x2002000000200802, 0x0002000004200800
739 .quad 0x2002000004200802, 0x0002000000200000
740 .quad 0x0000000000000000, 0x2000000004000002
741 .quad 0x2000000000000002, 0x0000000004000000
742 .quad 0x2002000004200002, 0x2000000000000802
743 .quad 0x0000000004000800, 0x2002000000200802
744 .quad 0x2002000000200002, 0x0000000004000800
745 .quad 0x2000000004000002, 0x0002000004200000
746 .quad 0x0002000004200800, 0x2002000000200002
747 .quad 0x0002000004200000, 0x0000000000000800
748 .quad 0x2000000000000802, 0x2002000004200802
749 .quad 0x0002000000200800, 0x2000000000000002
750 .quad 0x0000000004000000, 0x0002000000200800
751 .quad 0x0000000004000000, 0x0002000000200800
752 .quad 0x0002000000200000, 0x2000000004000802
753 .quad 0x2000000004000802, 0x2002000004200002
754 .quad 0x2002000004200002, 0x2000000000000002
755 .quad 0x2002000000200002, 0x0000000004000000
756 .quad 0x0000000004000800, 0x0002000000200000
757 .quad 0x0002000004200800, 0x2000000000000802
758 .quad 0x2002000000200802, 0x0002000004200800
759 .quad 0x2000000000000802, 0x2000000004000002
760 .quad 0x2002000004200802, 0x0002000004200000
761 .quad 0x0002000000200800, 0x0000000000000000
762 .quad 0x2000000000000002, 0x2002000004200802
763 .quad 0x0000000000000000, 0x2002000000200802
764 .quad 0x0002000004200000, 0x0000000000000800
765 .quad 0x2000000004000002, 0x0000000004000800
766 .quad 0x0000000000000800, 0x2002000000200002
768 .quad 0x0100010410001000, 0x0000010000001000
769 .quad 0x0000000000040000, 0x0100010410041000
770 .quad 0x0100000010000000, 0x0100010410001000
771 .quad 0x0000000400000000, 0x0100000010000000
772 .quad 0x0000000400040000, 0x0100000010040000
773 .quad 0x0100010410041000, 0x0000010000041000
774 .quad 0x0100010010041000, 0x0000010400041000
775 .quad 0x0000010000001000, 0x0000000400000000
776 .quad 0x0100000010040000, 0x0100000410000000
777 .quad 0x0100010010001000, 0x0000010400001000
778 .quad 0x0000010000041000, 0x0000000400040000
779 .quad 0x0100000410040000, 0x0100010010041000
780 .quad 0x0000010400001000, 0x0000000000000000
781 .quad 0x0000000000000000, 0x0100000410040000
782 .quad 0x0100000410000000, 0x0100010010001000
783 .quad 0x0000010400041000, 0x0000000000040000
784 .quad 0x0000010400041000, 0x0000000000040000
785 .quad 0x0100010010041000, 0x0000010000001000
786 .quad 0x0000000400000000, 0x0100000410040000
787 .quad 0x0000010000001000, 0x0000010400041000
788 .quad 0x0100010010001000, 0x0000000400000000
789 .quad 0x0100000410000000, 0x0100000010040000
790 .quad 0x0100000410040000, 0x0100000010000000
791 .quad 0x0000000000040000, 0x0100010410001000
792 .quad 0x0000000000000000, 0x0100010410041000
793 .quad 0x0000000400040000, 0x0100000410000000
794 .quad 0x0100000010040000, 0x0100010010001000
795 .quad 0x0100010410001000, 0x0000000000000000
796 .quad 0x0100010410041000, 0x0000010000041000
797 .quad 0x0000010000041000, 0x0000010400001000
798 .quad 0x0000010400001000, 0x0000000400040000
799 .quad 0x0100000010000000, 0x0100010010041000