Lines Matching refs:al
102 const TestData kTests[] = {{{al, r4, r0, r8, ROR, 16},
104 al,
107 {{al, r14, r13, r12, ROR, 24},
109 al,
112 {{al, r9, r10, r5, ROR, 16},
114 al,
117 {{al, r11, r13, r14, ROR, 8},
119 al,
122 {{al, r3, r12, r11, ROR, 16},
124 al,
127 {{al, r0, r11, r6, ROR, 24},
129 al,
132 {{al, r1, r9, r13, ROR, 16},
134 al,
137 {{al, r14, r4, r11, ROR, 16},
139 al,
142 {{al, r2, r13, r5, ROR, 16},
144 al,
147 {{al, r9, r1, r0, ROR, 24},
149 al,
152 {{al, r10, r14, r10, ROR, 24},
154 al,
157 {{al, r10, r1, r6, ROR, 8},
159 al,
162 {{al, r1, r11, r10, ROR, 0},
164 al,
167 {{al, r5, r0, r5, ROR, 0},
169 al,
172 {{al, r8, r3, r1, ROR, 0},
174 al,
177 {{al, r4, r5, r0, ROR, 24},
179 al,
182 {{al, r6, r5, r9, ROR, 0},
184 al,
187 {{al, r14, r6, r13, ROR, 16},
189 al,
192 {{al, r13, r6, r1, ROR, 16},
194 al,
197 {{al, r6, r9, r0, ROR, 16},
199 al,
202 {{al, r13, r14, r13, ROR, 16},
204 al,
207 {{al, r12, r13, r1, ROR, 8},
209 al,
212 {{al, r8, r6, r13, ROR, 0},
214 al,
217 {{al, r0, r6, r9, ROR, 16},
219 al,
222 {{al, r14, r1, r3, ROR, 24},
224 al,
227 {{al, r4, r12, r7, ROR, 24},
229 al,
232 {{al, r3, r7, r11, ROR, 0},
234 al,
237 {{al, r2, r2, r4, ROR, 16},
239 al,
242 {{al, r4, r12, r0, ROR, 16},
244 al,
247 {{al, r4, r3, r2, ROR, 8},
249 al,
252 {{al, r0, r11, r11, ROR, 16},
254 al,
257 {{al, r5, r12, r12, ROR, 0},
259 al,
262 {{al, r10, r1, r4, ROR, 8},
264 al,
267 {{al, r7, r9, r7, ROR, 8},
269 al,
272 {{al, r14, r3, r10, ROR, 16},
274 al,
277 {{al, r6, r6, r12, ROR, 8},
279 al,
282 {{al, r1, r14, r3, ROR, 16},
284 al,
287 {{al, r4, r7, r11, ROR, 16},
289 al,
292 {{al, r3, r6, r4, ROR, 0},
294 al,
297 {{al, r1, r11, r2, ROR, 0},
299 al,
302 {{al, r4, r5, r1, ROR, 0},
304 al,
307 {{al, r14, r9, r13, ROR, 8},
309 al,
312 {{al, r5, r11, r12, ROR, 0},
314 al,
317 {{al, r11, r3, r12, ROR, 0},
319 al,
322 {{al, r3, r6, r2, ROR, 16},
324 al,
327 {{al, r0, r6, r3, ROR, 24},
329 al,
332 {{al, r10, r6, r14, ROR, 16},
334 al,
337 {{al, r3, r6, r14, ROR, 24},
339 al,
342 {{al, r0, r11, r0, ROR, 24},
344 al,
347 {{al, r1, r10, r10, ROR, 0},
349 al,
352 {{al, r0, r2, r11, ROR, 24},
354 al,
357 {{al, r14, r14, r1, ROR, 0},
359 al,
362 {{al, r13, r1, r12, ROR, 8},
364 al,
367 {{al, r2, r13, r8, ROR, 0},
369 al,
372 {{al, r8, r9, r9, ROR, 16},
374 al,
377 {{al, r0, r13, r14, ROR, 24},
379 al,
382 {{al, r9, r0, r3, ROR, 24},
384 al,
387 {{al, r4, r8, r13, ROR, 24},
389 al,
392 {{al, r14, r14, r5, ROR, 16},
394 al,
397 {{al, r1, r12, r6, ROR, 0},
399 al,
402 {{al, r13, r0, r4, ROR, 16},
404 al,
407 {{al, r0, r0, r9, ROR, 0},
409 al,
412 {{al, r6, r4, r10, ROR, 16},
414 al,
417 {{al, r6, r3, r6, ROR, 16},
419 al,
422 {{al, r8, r13, r11, ROR, 0},
424 al,
427 {{al, r9, r5, r8, ROR, 0},
429 al,
432 {{al, r14, r2, r13, ROR, 8},
434 al,
437 {{al, r12, r2, r1, ROR, 16},
439 al,
442 {{al, r5, r12, r0, ROR, 16},
444 al,
447 {{al, r7, r8, r12, ROR, 16},
449 al,
452 {{al, r4, r3, r13, ROR, 8},
454 al,
457 {{al, r4, r8, r5, ROR, 24},
459 al,
462 {{al, r0, r6, r2, ROR, 24},
464 al,
467 {{al, r3, r3, r2, ROR, 0},
469 al,
472 {{al, r6, r6, r3, ROR, 8},
474 al,
477 {{al, r12, r2, r3, ROR, 0},
479 al,
482 {{al, r14, r6, r10, ROR, 16},
484 al,
487 {{al, r2, r0, r3, ROR, 24},
489 al,
492 {{al, r13, r13, r5, ROR, 8},
494 al,
497 {{al, r0, r12, r8, ROR, 16},
499 al,
502 {{al, r10, r13, r4, ROR, 16},
504 al,
507 {{al, r2, r5, r12, ROR, 0},
509 al,
512 {{al, r10, r7, r10, ROR, 16},
514 al,
517 {{al, r4, r10, r9, ROR, 8},
519 al,
522 {{al, r3, r0, r9, ROR, 8},
524 al,
527 {{al, r5, r12, r5, ROR, 0},
529 al,
532 {{al, r9, r12, r11, ROR, 16},
534 al,
537 {{al, r2, r2, r6, ROR, 8},
539 al,
542 {{al, r4, r2, r3, ROR, 16},
544 al,
547 {{al, r3, r10, r1, ROR, 8},
549 al,
552 {{al, r1, r2, r3, ROR, 24},
554 al,
557 {{al, r14, r10, r8, ROR, 0},
559 al,
562 {{al, r9, r9, r5, ROR, 24},
564 al,
567 {{al, r14, r4, r12, ROR, 0},
569 al,
572 {{al, r13, r6, r10, ROR, 0},
574 al,
577 {{al, r12, r7, r11, ROR, 24},
579 al,
582 {{al, r5, r10, r9, ROR, 0},
584 al,
587 {{al, r12, r6, r7, ROR, 24},
589 al,
592 {{al, r1, r12, r11, ROR, 24},
594 al,
597 {{al, r12, r0, r14, ROR, 8},
599 al,
602 {{al, r2, r13, r2, ROR, 24},
604 al,
607 {{al, r11, r13, r1, ROR, 0},
609 al,
612 {{al, r8, r8, r5, ROR, 24},
614 al,
617 {{al, r9, r10, r5, ROR, 8},
619 al,
622 {{al, r3, r7, r9, ROR, 16},
624 al,
627 {{al, r5, r11, r1, ROR, 8},
629 al,
632 {{al, r3, r6, r8, ROR, 8},
634 al,
637 {{al, r3, r14, r6, ROR, 8},
639 al,
642 {{al, r14, r2, r2, ROR, 0},
644 al,
647 {{al, r1, r2, r1, ROR, 8},
649 al,
652 {{al, r6, r2, r1, ROR, 8},
654 al,
657 {{al, r6, r1, r4, ROR, 24},
659 al,
662 {{al, r11, r11, r14, ROR, 16},
664 al,
667 {{al, r7, r6, r3, ROR, 24},
669 al,
672 {{al, r12, r2, r2, ROR, 24},
674 al,
677 {{al, r8, r14, r9, ROR, 16},
679 al,
682 {{al, r13, r11, r0, ROR, 16},
684 al,
687 {{al, r11, r1, r3, ROR, 24},
689 al,
692 {{al, r5, r11, r6, ROR, 16},
694 al,
697 {{al, r14, r5, r4, ROR, 24},
699 al,
702 {{al, r13, r5, r5, ROR, 0},
704 al,
707 {{al, r12, r0, r4, ROR, 24},
709 al,
712 {{al, r4, r4, r2, ROR, 24},
714 al,
717 {{al, r3, r5, r12, ROR, 16},
719 al,
722 {{al, r0, r12, r11, ROR, 8},
724 al,
727 {{al, r6, r4, r0, ROR, 0},
729 al,
732 {{al, r5, r11, r6, ROR, 24},
734 al,
737 {{al, r5, r5, r10, ROR, 8},
739 al,
742 {{al, r9, r8, r6, ROR, 0},
744 al,
747 {{al, r1, r5, r6, ROR, 8},
749 al,
752 {{al, r7, r6, r3, ROR, 16},
754 al,
757 {{al, r11, r4, r11, ROR, 24},
759 al,
762 {{al, r1, r7, r14, ROR, 8},
764 al,
767 {{al, r5, r4, r8, ROR, 16},
769 al,
772 {{al, r14, r10, r6, ROR, 24},
774 al,
777 {{al, r12, r2, r0, ROR, 16},
779 al,
782 {{al, r7, r13, r8, ROR, 8},
784 al,
787 {{al, r12, r2, r4, ROR, 24},
789 al,
792 {{al, r0, r11, r4, ROR, 24},
794 al,
797 {{al, r14, r8, r1, ROR, 16},
799 al,
802 {{al, r2, r13, r7, ROR, 0},
804 al,
807 {{al, r1, r2, r2, ROR, 24},
809 al,
812 {{al, r2, r7, r12, ROR, 24},
814 al,
817 {{al, r12, r9, r6, ROR, 0},
819 al,
822 {{al, r5, r1, r11, ROR, 8},
824 al,
827 {{al, r8, r10, r9, ROR, 24},
829 al,
832 {{al, r5, r6, r7, ROR, 0},
834 al,
837 {{al, r11, r0, r0, ROR, 24},
839 al,
842 {{al, r5, r2, r8, ROR, 16},
844 al,
847 {{al, r7, r8, r4, ROR, 16},
849 al,
852 {{al, r8, r6, r11, ROR, 16},
854 al,
857 {{al, r1, r8, r3, ROR, 16},
859 al,
862 {{al, r9, r13, r9, ROR, 16},
864 al,
867 {{al, r14, r2, r4, ROR, 16},
869 al,
872 {{al, r13, r7, r6, ROR, 8},
874 al,
877 {{al, r0, r11, r5, ROR, 24},
879 al,
882 {{al, r11, r7, r5, ROR, 0},
884 al,
887 {{al, r12, r7, r9, ROR, 24},
889 al,
892 {{al, r8, r4, r13, ROR, 16},
894 al,
897 {{al, r0, r10, r7, ROR, 8},
899 al,
902 {{al, r13, r5, r1, ROR, 24},
904 al,
907 {{al, r7, r11, r10, ROR, 16},
909 al,
912 {{al, r13, r12, r3, ROR, 24},
914 al,
917 {{al, r3, r7, r14, ROR, 16},
919 al,
922 {{al, r4, r4, r4, ROR, 8},
924 al,
927 {{al, r6, r11, r3, ROR, 0},
929 al,
932 {{al, r9, r11, r11, ROR, 16},
934 al,
937 {{al, r12, r13, r7, ROR, 16},
939 al,
942 {{al, r10, r12, r8, ROR, 16},
944 al,
947 {{al, r0, r1, r5, ROR, 16},
949 al,
952 {{al, r6, r11, r0, ROR, 24},
954 al,
957 {{al, r4, r10, r12, ROR, 8},
959 al,
962 {{al, r11, r10, r10, ROR, 24},
964 al,
967 {{al, r9, r8, r13, ROR, 0},
969 al,
972 {{al, r12, r2, r9, ROR, 0},
974 al,
977 {{al, r8, r8, r13, ROR, 16},
979 al,
982 {{al, r9, r7, r10, ROR, 24},
984 al,
987 {{al, r4, r8, r1, ROR, 8},
989 al,
992 {{al, r4, r9, r11, ROR, 16},
994 al,
997 {{al, r5, r10, r6, ROR, 16},
999 al,
1002 {{al, r11, r4, r12, ROR, 8},
1004 al,
1007 {{al, r2, r0, r1, ROR, 8},
1009 al,
1012 {{al, r13, r0, r9, ROR, 8},
1014 al,
1017 {{al, r6, r12, r5, ROR, 16},
1019 al,
1022 {{al, r10, r1, r9, ROR, 16},
1024 al,
1027 {{al, r7, r14, r7, ROR, 24},
1029 al,
1032 {{al, r0, r13, r4, ROR, 8},
1034 al,
1037 {{al, r2, r2, r11, ROR, 8},
1039 al,
1042 {{al, r1, r14, r7, ROR, 8},
1044 al,
1047 {{al, r9, r0, r7, ROR, 8},
1049 al,
1052 {{al, r12, r2, r11, ROR, 16},
1054 al,
1057 {{al, r1, r5, r13, ROR, 16},
1059 al,
1062 {{al, r1, r2, r0, ROR, 16},
1064 al,
1067 {{al, r6, r11, r8, ROR, 24},
1069 al,
1072 {{al, r1, r6, r4, ROR, 0},
1074 al,
1077 {{al, r4, r13, r1, ROR, 16},
1079 al,
1082 {{al, r14, r5, r13, ROR, 8},
1084 al,
1087 {{al, r3, r3, r2, ROR, 16},
1089 al,
1092 {{al, r8, r3, r1, ROR, 8},
1094 al,
1097 {{al, r13, r9, r13, ROR, 8},
1099 al,
1102 {{al, r13, r0, r14, ROR, 8},
1104 al,
1107 {{al, r9, r10, r11, ROR, 24},
1109 al,
1112 {{al, r14, r10, r2, ROR, 8},
1114 al,
1117 {{al, r8, r6, r12, ROR, 24},
1119 al,
1122 {{al, r10, r10, r8, ROR, 24},
1124 al,
1127 {{al, r13, r3, r3, ROR, 16},
1129 al,
1132 {{al, r6, r8, r9, ROR, 16},
1134 al,
1137 {{al, r8, r13, r1, ROR, 0},
1139 al,
1142 {{al, r2, r14, r2, ROR, 0},
1144 al,
1147 {{al, r8, r2, r11, ROR, 16},
1149 al,
1152 {{al, r9, r8, r2, ROR, 8},
1154 al,
1157 {{al, r13, r7, r14, ROR, 24},
1159 al,
1162 {{al, r3, r3, r13, ROR, 16},
1164 al,
1167 {{al, r0, r2, r9, ROR, 0},
1169 al,
1172 {{al, r9, r10, r8, ROR, 16},
1174 al,
1177 {{al, r3, r4, r4, ROR, 8},
1179 al,
1182 {{al, r10, r13, r4, ROR, 24},
1184 al,
1187 {{al, r0, r12, r6, ROR, 0},
1189 al,
1192 {{al, r12, r10, r11, ROR, 8},
1194 al,
1197 {{al, r0, r7, r0, ROR, 0},
1199 al,
1202 {{al, r0, r7, r10, ROR, 0},
1204 al,
1207 {{al, r7, r12, r10, ROR, 0},
1209 al,
1212 {{al, r1, r2, r7, ROR, 8},
1214 al,
1217 {{al, r8, r13, r7, ROR, 8},
1219 al,
1222 {{al, r3, r13, r5, ROR, 16},
1224 al,
1227 {{al, r14, r14, r10, ROR, 0},
1229 al,
1232 {{al, r5, r5, r5, ROR, 0},
1234 al,
1237 {{al, r3, r2, r2, ROR, 0},
1239 al,
1242 {{al, r4, r1, r13, ROR, 8},
1244 al,
1247 {{al, r8, r0, r13, ROR, 0},
1249 al,
1252 {{al, r6, r14, r7, ROR, 16},
1254 al,
1257 {{al, r7, r1, r14, ROR, 0},
1259 al,
1262 {{al, r14, r10, r4, ROR, 8},
1264 al,
1267 {{al, r14, r8, r4, ROR, 24},
1269 al,
1272 {{al, r9, r6, r12, ROR, 8},
1274 al,
1277 {{al, r6, r1, r4, ROR, 16},
1279 al,
1282 {{al, r6, r11, r10, ROR, 0},
1284 al,
1287 {{al, r14, r2, r2, ROR, 16},
1289 al,
1292 {{al, r6, r3, r5, ROR, 16},
1294 al,
1297 {{al, r11, r1, r14, ROR, 0},
1299 al,
1302 {{al, r11, r12, r3, ROR, 0},
1304 al,
1307 {{al, r14, r13, r0, ROR, 0},
1309 al,
1312 {{al, r4, r4, r8, ROR, 16},
1314 al,
1317 {{al, r5, r14, r6, ROR, 8},
1319 al,
1322 {{al, r3, r8, r5, ROR, 0},
1324 al,
1327 {{al, r8, r10, r4, ROR, 16},
1329 al,
1332 {{al, r4, r12, r8, ROR, 16},
1334 al,
1337 {{al, r0, r13, r4, ROR, 16},
1339 al,
1342 {{al, r3, r9, r13, ROR, 24},
1344 al,
1347 {{al, r2, r6, r0, ROR, 24},
1349 al,
1352 {{al, r3, r12, r2, ROR, 24},
1354 al,
1357 {{al, r11, r11, r5, ROR, 24},
1359 al,
1362 {{al, r10, r2, r10, ROR, 8},
1364 al,
1367 {{al, r6, r6, r13, ROR, 16},
1369 al,
1372 {{al, r8, r5, r4, ROR, 24},
1374 al,
1377 {{al, r10, r7, r6, ROR, 8},
1379 al,
1382 {{al, r14, r12, r11, ROR, 8},
1384 al,
1387 {{al, r13, r9, r9, ROR, 16},
1389 al,
1392 {{al, r3, r5, r3, ROR, 0},
1394 al,
1397 {{al, r12, r9, r1, ROR, 8},
1399 al,
1402 {{al, r4, r10, r7, ROR, 16},
1404 al,
1407 {{al, r11, r5, r12, ROR, 8},
1409 al,
1412 {{al, r10, r4, r8, ROR, 24},
1414 al,
1417 {{al, r9, r6, r6, ROR, 16},
1419 al,
1422 {{al, r7, r5, r9, ROR, 8},
1424 al,
1427 {{al, r7, r9, r5, ROR, 24},
1429 al,
1432 {{al, r4, r9, r10, ROR, 16},
1434 al,
1437 {{al, r9, r2, r13, ROR, 8},
1439 al,
1442 {{al, r10, r9, r7, ROR, 16},
1444 al,
1447 {{al, r13, r7, r2, ROR, 0},
1449 al,
1452 {{al, r14, r8, r13, ROR, 8},
1454 al,
1457 {{al, r7, r13, r3, ROR, 24},
1459 al,
1462 {{al, r7, r4, r0, ROR, 8},
1464 al,
1467 {{al, r1, r12, r8, ROR, 8},
1469 al,
1472 {{al, r14, r5, r8, ROR, 24},
1474 al,
1477 {{al, r0, r0, r1, ROR, 0},
1479 al,
1482 {{al, r1, r3, r3, ROR, 8},
1484 al,
1487 {{al, r4, r0, r8, ROR, 8},
1489 al,
1492 {{al, r7, r4, r8, ROR, 16},
1494 al,
1497 {{al, r1, r1, r8, ROR, 8},
1499 al,
1502 {{al, r4, r11, r4, ROR, 24},
1504 al,
1507 {{al, r2, r5, r6, ROR, 0},
1509 al,
1512 {{al, r14, r8, r3, ROR, 8},
1514 al,
1517 {{al, r5, r2, r12, ROR, 8},
1519 al,
1522 {{al, r1, r12, r0, ROR, 8},
1524 al,
1527 {{al, r7, r5, r4, ROR, 24},
1529 al,
1532 {{al, r6, r9, r3, ROR, 16},
1534 al,
1537 {{al, r6, r1, r1, ROR, 8},
1539 al,
1542 {{al, r1, r4, r9, ROR, 24},
1544 al,
1547 {{al, r14, r4, r13, ROR, 16},
1549 al,
1552 {{al, r3, r1, r10, ROR, 0},
1554 al,
1557 {{al, r4, r6, r0, ROR, 24},
1559 al,
1562 {{al, r0, r14, r1, ROR, 8},
1564 al,
1567 {{al, r6, r8, r5, ROR, 0},
1569 al,
1572 {{al, r9, r6, r2, ROR, 16},
1574 al,
1577 {{al, r8, r6, r5, ROR, 16},
1579 al,
1582 {{al, r10, r10, r14, ROR, 8},
1584 al,
1587 {{al, r12, r2, r10, ROR, 16},
1589 al,
1592 {{al, r7, r3, r2, ROR, 8},
1594 al,
1597 {{al, r6, r0, r9, ROR, 0},
1599 al,
1602 {{al, r11, r4, r14, ROR, 24},
1604 al,
1607 {{al, r13, r13, r5, ROR, 24},
1609 al,
1612 {{al, r9, r2, r12, ROR, 24},
1614 al,
1617 {{al, r5, r1, r13, ROR, 16},
1619 al,
1622 {{al, r10, r4, r5, ROR, 0},
1624 al,
1627 {{al, r14, r11, r0, ROR, 24},
1629 al,
1632 {{al, r4, r12, r10, ROR, 24},
1634 al,
1637 {{al, r2, r5, r7, ROR, 24},
1639 al,
1642 {{al, r4, r4, r5, ROR, 16},
1644 al,
1647 {{al, r11, r9, r12, ROR, 8},
1649 al,
1652 {{al, r5, r9, r2, ROR, 0},
1654 al,
1657 {{al, r10, r6, r6, ROR, 24},
1659 al,
1662 {{al, r13, r11, r4, ROR, 24},
1664 al,
1667 {{al, r2, r9, r8, ROR, 8},
1669 al,
1672 {{al, r0, r9, r10, ROR, 24},
1674 al,
1677 {{al, r4, r1, r13, ROR, 0},
1679 al,
1682 {{al, r11, r0, r9, ROR, 24},
1684 al,
1687 {{al, r1, r12, r3, ROR, 0},
1689 al,
1692 {{al, r0, r13, r11, ROR, 24},
1694 al,
1697 {{al, r11, r5, r14, ROR, 16},
1699 al,
1702 {{al, r2, r6, r13, ROR, 16},
1704 al,
1707 {{al, r7, r10, r2, ROR, 8},
1709 al,
1712 {{al, r10, r4, r11, ROR, 24},
1714 al,
1717 {{al, r7, r3, r12, ROR, 24},
1719 al,
1722 {{al, r4, r4, r14, ROR, 0},
1724 al,
1727 {{al, r2, r9, r13, ROR, 8},
1729 al,
1732 {{al, r1, r3, r2, ROR, 0},
1734 al,
1737 {{al, r10, r5, r8, ROR, 16},
1739 al,
1742 {{al, r0, r4, r4, ROR, 0},
1744 al,
1747 {{al, r7, r2, r11, ROR, 24},
1749 al,
1752 {{al, r9, r0, r3, ROR, 8},
1754 al,
1757 {{al, r1, r2, r14, ROR, 8},
1759 al,
1762 {{al, r10, r0, r6, ROR, 0},
1764 al,
1767 {{al, r11, r2, r13, ROR, 0},
1769 al,
1772 {{al, r8, r13, r5, ROR, 24},
1774 al,
1777 {{al, r1, r11, r5, ROR, 24},
1779 al,
1782 {{al, r3, r0, r1, ROR, 8},
1784 al,
1787 {{al, r8, r10, r5, ROR, 0},
1789 al,
1792 {{al, r3, r10, r7, ROR, 0},
1794 al,
1797 {{al, r9, r10, r7, ROR, 8},
1799 al,
1802 {{al, r10, r2, r0, ROR, 16},
1804 al,
1807 {{al, r11, r6, r14, ROR, 8},
1809 al,
1812 {{al, r10, r5, r11, ROR, 8},
1814 al,
1817 {{al, r3, r7, r4, ROR, 24},
1819 al,
1822 {{al, r5, r8, r13, ROR, 24},
1824 al,
1827 {{al, r2, r4, r14, ROR, 16},
1829 al,
1832 {{al, r6, r1, r7, ROR, 24},
1834 al,
1837 {{al, r2, r1, r14, ROR, 0},
1839 al,
1842 {{al, r5, r2, r10, ROR, 0},
1844 al,
1847 {{al, r13, r6, r6, ROR, 16},
1849 al,
1852 {{al, r13, r6, r13, ROR, 0},
1854 al,
1857 {{al, r9, r7, r0, ROR, 24},
1859 al,
1862 {{al, r6, r10, r4, ROR, 0},
1864 al,
1867 {{al, r10, r9, r11, ROR, 16},
1869 al,
1872 {{al, r11, r9, r8, ROR, 16},
1874 al,
1877 {{al, r3, r9, r1, ROR, 0},
1879 al,
1882 {{al, r9, r11, r4, ROR, 0},
1884 al,
1887 {{al, r3, r6, r1, ROR, 16},
1889 al,
1892 {{al, r7, r1, r7, ROR, 16},
1894 al,
1897 {{al, r12, r6, r9, ROR, 24},
1899 al,
1902 {{al, r6, r7, r6, ROR, 16},
1904 al,
1907 {{al, r10, r4, r4, ROR, 8},
1909 al,
1912 {{al, r3, r6, r1, ROR, 8},
1914 al,
1917 {{al, r3, r9, r10, ROR, 16},
1919 al,
1922 {{al, r0, r0, r13, ROR, 16},
1924 al,
1927 {{al, r1, r8, r8, ROR, 16},
1929 al,
1932 {{al, r2, r13, r13, ROR, 0},
1934 al,
1937 {{al, r0, r5, r5, ROR, 16},
1939 al,
1942 {{al, r9, r12, r8, ROR, 16},
1944 al,
1947 {{al, r6, r5, r5, ROR, 0},
1949 al,
1952 {{al, r5, r4, r10, ROR, 0},
1954 al,
1957 {{al, r5, r5, r5, ROR, 24},
1959 al,
1962 {{al, r3, r9, r0, ROR, 8},
1964 al,
1967 {{al, r5, r11, r8, ROR, 0},
1969 al,
1972 {{al, r3, r13, r3, ROR, 8},
1974 al,
1977 {{al, r14, r6, r2, ROR, 8},
1979 al,
1982 {{al, r7, r4, r11, ROR, 8},
1984 al,
1987 {{al, r4, r10, r3, ROR, 0},
1989 al,
1992 {{al, r2, r2, r2, ROR, 16},
1994 al,
1997 {{al, r9, r13, r4, ROR, 16},
1999 al,
2002 {{al, r10, r4, r1, ROR, 8},
2004 al,
2007 {{al, r3, r11, r4, ROR, 8},
2009 al,
2012 {{al, r5, r11, r1, ROR, 16},
2014 al,
2017 {{al, r8, r1, r2, ROR, 16},
2019 al,
2022 {{al, r12, r10, r1, ROR, 8},
2024 al,
2027 {{al, r10, r6, r1, ROR, 24},
2029 al,
2032 {{al, r2, r13, r0, ROR, 16},
2034 al,
2037 {{al, r10, r10, r3, ROR, 16},
2039 al,
2042 {{al, r5, r8, r6, ROR, 16},
2044 al,
2047 {{al, r5, r11, r5, ROR, 8},
2049 al,
2052 {{al, r2, r4, r6, ROR, 24},
2054 al,
2057 {{al, r14, r1, r4, ROR, 0},
2059 al,
2062 {{al, r14, r10, r2, ROR, 24},
2064 al,
2067 {{al, r12, r6, r7, ROR, 16},
2069 al,
2072 {{al, r8, r12, r13, ROR, 24},
2074 al,
2077 {{al, r8, r9, r11, ROR, 0},
2079 al,
2082 {{al, r13, r9, r12, ROR, 24},
2084 al,
2087 {{al, r4, r9, r11, ROR, 24},
2089 al,
2092 {{al, r6, r10, r12, ROR, 8},
2094 al,
2097 {{al, r1, r8, r6, ROR, 8},
2099 al,
2102 {{al, r13, r13, r14, ROR, 16},
2104 al,
2107 {{al, r5, r3, r1, ROR, 0},
2109 al,
2112 {{al, r8, r13, r1, ROR, 8},
2114 al,
2117 {{al, r11, r12, r13, ROR, 24},
2119 al,
2122 {{al, r9, r0, r5, ROR, 8},
2124 al,
2127 {{al, r2, r11, r10, ROR, 0},
2129 al,
2132 {{al, r10, r6, r8, ROR, 16},
2134 al,
2137 {{al, r5, r12, r6, ROR, 0},
2139 al,
2142 {{al, r14, r11, r2, ROR, 16},
2144 al,
2147 {{al, r8, r4, r12, ROR, 0},
2149 al,
2152 {{al, r12, r10, r1, ROR, 0},
2154 al,
2157 {{al, r12, r8, r10, ROR, 0},
2159 al,
2162 {{al, r7, r8, r5, ROR, 0},
2164 al,
2167 {{al, r11, r0, r14, ROR, 24},
2169 al,
2172 {{al, r8, r14, r2, ROR, 24},
2174 al,
2177 {{al, r1, r1, r14, ROR, 16},
2179 al,
2182 {{al, r12, r6, r8, ROR, 8},
2184 al,
2187 {{al, r4, r8, r5, ROR, 16},
2189 al,
2192 {{al, r12, r8, r1, ROR, 8},
2194 al,
2197 {{al, r8, r12, r10, ROR, 8},
2199 al,
2202 {{al, r6, r7, r4, ROR, 16},
2204 al,
2207 {{al, r5, r2, r7, ROR, 0},
2209 al,
2212 {{al, r11, r11, r14, ROR, 24},
2214 al,
2217 {{al, r8, r7, r6, ROR, 24},
2219 al,
2222 {{al, r11, r8, r5, ROR, 0},
2224 al,
2227 {{al, r11, r10, r8, ROR, 16},
2229 al,
2232 {{al, r14, r6, r3, ROR, 16},
2234 al,
2237 {{al, r1, r0, r14, ROR, 16},
2239 al,
2242 {{al, r10, r11, r0, ROR, 16},
2244 al,
2247 {{al, r3, r10, r13, ROR, 24},
2249 al,
2252 {{al, r6, r14, r2, ROR, 0},
2254 al,
2257 {{al, r8, r8, r4, ROR, 24},
2259 al,
2262 {{al, r12, r7, r0, ROR, 0},
2264 al,
2267 {{al, r9, r4, r10, ROR, 8},
2269 al,
2272 {{al, r5, r12, r8, ROR, 16},
2274 al,
2277 {{al, r7, r3, r7, ROR, 0},
2279 al,
2282 {{al, r0, r6, r11, ROR, 8},
2284 al,
2287 {{al, r13, r14, r1, ROR, 24},
2289 al,
2292 {{al, r7, r10, r0, ROR, 0},
2294 al,
2297 {{al, r12, r14, r4, ROR, 8},
2299 al,
2302 {{al, r3, r4, r2, ROR, 16},
2304 al,
2307 {{al, r6, r13, r1, ROR, 8},
2309 al,
2312 {{al, r12, r7, r14, ROR, 24},
2314 al,
2317 {{al, r7, r12, r3, ROR, 24},
2319 al,
2322 {{al, r8, r12, r12, ROR, 8},
2324 al,
2327 {{al, r4, r9, r8, ROR, 24},
2329 al,
2332 {{al, r14, r11, r6, ROR, 0},
2334 al,
2337 {{al, r10, r10, r10, ROR, 0},
2339 al,
2342 {{al, r1, r5, r9, ROR, 24},
2344 al,
2347 {{al, r9, r0, r1, ROR, 16},
2349 al,
2352 {{al, r14, r12, r2, ROR, 8},
2354 al,
2357 {{al, r6, r14, r3, ROR, 0},
2359 al,
2362 {{al, r7, r11, r13, ROR, 16},
2364 al,
2367 {{al, r2, r10, r2, ROR, 24},
2369 al,
2372 {{al, r13, r6, r11, ROR, 0},
2374 al,
2377 {{al, r2, r0, r0, ROR, 24},
2379 al,
2382 {{al, r8, r9, r13, ROR, 8},
2384 al,
2387 {{al, r8, r5, r14, ROR, 8},
2389 al,
2392 {{al, r13, r8, r6, ROR, 16},
2394 al,
2397 {{al, r10, r1, r14, ROR, 24},
2399 al,
2402 {{al, r1, r13, r8, ROR, 8},
2404 al,
2407 {{al, r4, r4, r11, ROR, 8},
2409 al,
2412 {{al, r8, r13, r7, ROR, 16},
2414 al,
2417 {{al, r7, r1, r3, ROR, 16},
2419 al,
2422 {{al, r5, r7, r11, ROR, 8},
2424 al,
2427 {{al, r9, r7, r4, ROR, 0},
2429 al,
2432 {{al, r0, r12, r2, ROR, 24},
2434 al,
2437 {{al, r5, r0, r4, ROR, 8},
2439 al,
2442 {{al, r14, r1, r13, ROR, 8},
2444 al,
2447 {{al, r1, r11, r5, ROR, 16},
2449 al,
2452 {{al, r7, r3, r6, ROR, 0},
2454 al,
2457 {{al, r11, r13, r14, ROR, 0},
2459 al,
2462 {{al, r6, r4, r9, ROR, 24},
2464 al,
2467 {{al, r4, r2, r5, ROR, 24},
2469 al,
2472 {{al, r12, r6, r8, ROR, 0},
2474 al,
2477 {{al, r11, r0, r11, ROR, 24},
2479 al,
2482 {{al, r0, r4, r8, ROR, 8},
2484 al,
2487 {{al, r8, r2, r11, ROR, 0},
2489 al,
2492 {{al, r10, r10, r4, ROR, 0},
2494 al,
2497 {{al, r7, r1, r2, ROR, 0},
2499 al,
2502 {{al, r6, r3, r13, ROR, 24},
2504 al,
2507 {{al, r2, r12, r13, ROR, 24},
2509 al,
2512 {{al, r4, r10, r1, ROR, 24},
2514 al,
2517 {{al, r11, r9, r5, ROR, 8},
2519 al,
2522 {{al, r11, r9, r7, ROR, 24},
2524 al,
2527 {{al, r4, r6, r4, ROR, 24},
2529 al,
2532 {{al, r9, r14, r14, ROR, 8},
2534 al,
2537 {{al, r7, r4, r11, ROR, 0},
2539 al,
2542 {{al, r10, r12, r5, ROR, 8},
2544 al,
2547 {{al, r4, r6, r1, ROR, 16},
2549 al,
2552 {{al, r11, r7, r5, ROR, 24},
2554 al,
2557 {{al, r13, r11, r5, ROR, 16},
2559 al,
2562 {{al, r14, r2, r6, ROR, 0},
2564 al,
2567 {{al, r2, r3, r6, ROR, 8},
2569 al,
2572 {{al, r10, r6, r13, ROR, 0},
2574 al,
2577 {{al, r7, r5, r6, ROR, 8},
2579 al,
2582 {{al, r10, r8, r9, ROR, 16},
2584 al,
2587 {{al, r9, r1, r1, ROR, 8},
2589 al,
2592 {{al, r11, r4, r12, ROR, 0},
2594 al,
2597 {{al, r12, r1, r6, ROR, 24},
2599 al,
2602 {{al, r4, r5, r9, ROR, 16},
2604 al,
2607 {{al, r11, r14, r9, ROR, 8},
2609 al,
2612 {{al, r14, r14, r7, ROR, 0},
2614 al,
2617 {{al, r3, r4, r3, ROR, 24},
2619 al,
2622 {{al, r5, r9, r14, ROR, 24},
2624 al,
2627 {{al, r0, r12, r14, ROR, 0},
2629 al,
2632 {{al, r4, r10, r4, ROR, 24},
2634 al,
2637 {{al, r6, r3, r4, ROR, 8},
2639 al,
2642 {{al, r1, r14, r9, ROR, 8},
2644 al,
2647 {{al, r11, r3, r12, ROR, 24},
2649 al,
2652 {{al, r0, r2, r14, ROR, 8},
2654 al,
2657 {{al, r4, r11, r10, ROR, 0},
2659 al,
2662 {{al, r6, r5, r4, ROR, 24},
2664 al,
2667 {{al, r6, r7, r9, ROR, 0},
2669 al,
2672 {{al, r8, r1, r0, ROR, 8},
2674 al,
2677 {{al, r12, r13, r10, ROR, 8},
2679 al,
2682 {{al, r7, r8, r7, ROR, 8},
2684 al,
2687 {{al, r13, r0, r9, ROR, 0},
2689 al,
2692 {{al, r6, r1, r12, ROR, 16},
2694 al,
2697 {{al, r2, r14, r4, ROR, 24},
2699 al,
2702 {{al, r12, r10, r2, ROR, 24},
2704 al,
2707 {{al, r9, r14, r1, ROR, 24},
2709 al,
2712 {{al, r6, r10, r13, ROR, 24},
2714 al,
2717 {{al, r13, r3, r9, ROR, 0},
2719 al,
2722 {{al, r8, r6, r0, ROR, 8},
2724 al,
2727 {{al, r1, r7, r8, ROR, 24},
2729 al,
2732 {{al, r3, r5, r14, ROR, 0},
2734 al,
2737 {{al, r4, r6, r4, ROR, 8},
2739 al,
2742 {{al, r3, r10, r7, ROR, 8},
2744 al,
2747 {{al, r9, r9, r0, ROR, 16},
2749 al,
2752 {{al, r3, r6, r13, ROR, 16},
2754 al,
2757 {{al, r7, r14, r3, ROR, 16},
2759 al,
2762 {{al, r13, r0, r14, ROR, 24},
2764 al,
2767 {{al, r14, r10, r13, ROR, 16},
2769 al,
2772 {{al, r2, r3, r12, ROR, 16},
2774 al,
2777 {{al, r6, r3, r13, ROR, 16},
2779 al,
2782 {{al, r12, r3, r0, ROR, 0},
2784 al,
2787 {{al, r3, r11, r13, ROR, 24},
2789 al,
2792 {{al, r10, r0, r4, ROR, 0},
2794 al,
2797 {{al, r4, r9, r0, ROR, 0},
2799 al,
2802 {{al, r11, r2, r4, ROR, 8},
2804 al,
2807 {{al, r2, r4, r7, ROR, 0},
2809 al,
2812 {{al, r4, r11, r5, ROR, 24},
2814 al,
2817 {{al, r12, r4, r12, ROR, 8},
2819 al,
2822 {{al, r7, r12, r8, ROR, 24},
2824 al,
2827 {{al, r4, r0, r7, ROR, 8},
2829 al,
2832 {{al, r1, r1, r11, ROR, 8},
2834 al,
2837 {{al, r0, r13, r14, ROR, 16},
2839 al,
2842 {{al, r1, r7, r13, ROR, 24},
2844 al,
2847 {{al, r12, r3, r10, ROR, 8},
2849 al,
2852 {{al, r7, r9, r1, ROR, 8},
2854 al,
2857 {{al, r3, r13, r14, ROR, 24},
2859 al,
2862 {{al, r6, r5, r7, ROR, 0},
2864 al,
2867 {{al, r10, r9, r0, ROR, 0},
2869 al,
2872 {{al, r3, r14, r2, ROR, 0},
2874 al,
2877 {{al, r13, r0, r12, ROR, 8},
2879 al,
2882 {{al, r7, r12, r11, ROR, 0},
2884 al,
2887 {{al, r7, r5, r3, ROR, 0},
2889 al,
2892 {{al, r11, r4, r4, ROR, 0},
2894 al,
2897 {{al, r4, r3, r7, ROR, 16},
2899 al,
2902 {{al, r8, r4, r14, ROR, 16},
2904 al,
2907 {{al, r1, r0, r8, ROR, 8},
2909 al,
2912 {{al, r10, r3, r10, ROR, 8},
2914 al,
2917 {{al, r3, r13, r7, ROR, 8},
2919 al,
2922 {{al, r4, r3, r14, ROR, 24},
2924 al,
2927 {{al, r0, r4, r2, ROR, 8},
2929 al,
2932 {{al, r1, r14, r2, ROR, 24},
2934 al,
2937 {{al, r6, r6, r1, ROR, 24},
2939 al,
2942 {{al, r8, r14, r3, ROR, 8},
2944 al,
2947 {{al, r14, r5, r14, ROR, 24},
2949 al,
2952 {{al, r1, r14, r12, ROR, 8},
2954 al,
2957 {{al, r12, r7, r1, ROR, 8},
2959 al,
2962 {{al, r12, r0, r13, ROR, 16},
2964 al,
2967 {{al, r8, r4, r12, ROR, 24},
2969 al,
2972 {{al, r1, r13, r3, ROR, 8},
2974 al,
2977 {{al, r8, r0, r11, ROR, 0},
2979 al,
2982 {{al, r10, r9, r10, ROR, 16},
2984 al,
2987 {{al, r9, r8, r13, ROR, 16},
2989 al,
2992 {{al, r4, r5, r6, ROR, 8},
2994 al,
2997 {{al, r14, r2, r8, ROR, 16},
2999 al,
3002 {{al, r2, r3, r14, ROR, 0},
3004 al,
3007 {{al, r6, r10, r13, ROR, 0},
3009 al,
3012 {{al, r1, r6, r9, ROR, 24},
3014 al,
3017 {{al, r5, r8, r2, ROR, 16},
3019 al,
3022 {{al, r3, r4, r4, ROR, 0},
3024 al,
3027 {{al, r2, r8, r1, ROR, 0},
3029 al,
3032 {{al, r2, r13, r4, ROR, 8},
3034 al,
3037 {{al, r5, r14, r7, ROR, 8},
3039 al,
3042 {{al, r5, r6, r11, ROR, 16},
3044 al,
3047 {{al, r7, r11, r6, ROR, 0},
3049 al,
3052 {{al, r10, r4, r11, ROR, 0},
3054 al,
3057 {{al, r8, r3, r5, ROR, 16},
3059 al,
3062 {{al, r5, r10, r6, ROR, 0},
3064 al,
3067 {{al, r3, r8, r1, ROR, 16},
3069 al,
3072 {{al, r9, r0, r10, ROR, 16},
3074 al,
3077 {{al, r14, r8, r3, ROR, 16},
3079 al,
3082 {{al, r8, r0, r1, ROR, 16},
3084 al,
3087 {{al, r5, r3, r8, ROR, 16},
3089 al,
3092 {{al, r2, r8, r4, ROR, 24},
3094 al,
3097 {{al, r9, r7, r9, ROR, 16},
3099 al,
3102 {{al, r6, r5, r0, ROR, 0},
3104 al,
3107 {{al, r5, r5, r1, ROR, 24},
3109 al,
3112 {{al, r5, r9, r2, ROR, 24},
3114 al,
3117 {{al, r12, r4, r14, ROR, 0},
3119 al,
3122 {{al, r11, r11, r9, ROR, 0},
3124 al,
3127 {{al, r4, r1, r11, ROR, 0},
3129 al,
3132 {{al, r9, r8, r0, ROR, 16},
3134 al,
3137 {{al, r13, r10, r6, ROR, 16},
3139 al,
3142 {{al, r14, r4, r9, ROR, 8},
3144 al,
3147 {{al, r4, r8, r4, ROR, 24},
3149 al,
3152 {{al, r4, r8, r12, ROR, 8},
3154 al,
3157 {{al, r10, r10, r2, ROR, 8},
3159 al,
3162 {{al, r7, r5, r2, ROR, 24},
3164 al,
3167 {{al, r12, r9, r12, ROR, 0},
3169 al,
3172 {{al, r11, r12, r5, ROR, 24},
3174 al,
3177 {{al, r9, r13, r10, ROR, 16},
3179 al,
3182 {{al, r1, r9, r9, ROR, 0},
3184 al,
3187 {{al, r10, r13, r13, ROR, 16},
3189 al,
3192 {{al, r9, r1, r8, ROR, 8},
3194 al,
3197 {{al, r6, r11, r2, ROR, 0},
3199 al,
3202 {{al, r8, r1, r11, ROR, 8},
3204 al,
3207 {{al, r0, r7, r4, ROR, 0},
3209 al,
3212 {{al, r10, r2, r6, ROR, 0},
3214 al,
3217 {{al, r8, r5, r2, ROR, 16},
3219 al,
3222 {{al, r0, r13, r1, ROR, 24},
3224 al,
3227 {{al, r10, r12, r6, ROR, 8},
3229 al,
3232 {{al, r3, r10, r3, ROR, 16},
3234 al,
3237 {{al, r0, r10, r5, ROR, 8},
3239 al,
3242 {{al, r6, r4, r2, ROR, 0},
3244 al,
3247 {{al, r8, r10, r5, ROR, 16},
3249 al,
3252 {{al, r14, r10, r7, ROR, 0},
3254 al,
3257 {{al, r8, r11, r2, ROR, 0},
3259 al,
3262 {{al, r14, r0, r2, ROR, 0},
3264 al,
3267 {{al, r8, r1, r7, ROR, 8},
3269 al,
3272 {{al, r6, r0, r4, ROR, 8},
3274 al,
3277 {{al, r4, r8, r6, ROR, 16},
3279 al,
3282 {{al, r1, r8, r0, ROR, 0},
3284 al,
3287 {{al, r5, r5, r6, ROR, 16},
3289 al,
3292 {{al, r6, r9, r11, ROR, 8},
3294 al,
3297 {{al, r10, r7, r6, ROR, 16},
3299 al,
3302 {{al, r3, r5, r10, ROR, 8},
3304 al,
3307 {{al, r2, r1, r2, ROR, 16},
3309 al,
3312 {{al, r13, r7, r14, ROR, 8},
3314 al,
3317 {{al, r10, r2, r3, ROR, 8},
3319 al,
3322 {{al, r6, r2, r1, ROR, 24},
3324 al,
3327 {{al, r12, r0, r13, ROR, 8},
3329 al,
3332 {{al, r11, r7, r6, ROR, 24},
3334 al,
3337 {{al, r6, r3, r9, ROR, 24},
3339 al,
3342 {{al, r4, r3, r8, ROR, 8},
3344 al,
3347 {{al, r10, r7, r0, ROR, 16},
3349 al,
3352 {{al, r13, r2, r11, ROR, 0},
3354 al,
3357 {{al, r13, r5, r14, ROR, 16},
3359 al,
3362 {{al, r6, r4, r2, ROR, 24},
3364 al,
3367 {{al, r7, r5, r10, ROR, 8},
3369 al,
3372 {{al, r6, r5, r11, ROR, 24},
3374 al,
3377 {{al, r8, r7, r3, ROR, 24},
3379 al,
3382 {{al, r0, r12, r4, ROR, 24},
3384 al,
3387 {{al, r14, r14, r12, ROR, 16},
3389 al,
3392 {{al, r12, r2, r1, ROR, 8},
3394 al,
3397 {{al, r12, r9, r2, ROR, 0},
3399 al,
3402 {{al, r13, r14, r2, ROR, 8},
3404 al,
3407 {{al, r14, r1, r5, ROR, 24},
3409 al,
3412 {{al, r1, r2, r8, ROR, 0},
3414 al,
3417 {{al, r0, r8, r6, ROR, 16},
3419 al,
3422 {{al, r13, r9, r12, ROR, 16},
3424 al,
3427 {{al, r6, r14, r3, ROR, 24},
3429 al,
3432 {{al, r14, r3, r1, ROR, 16},
3434 al,
3437 {{al, r2, r14, r13, ROR, 0},
3439 al,
3442 {{al, r11, r1, r7, ROR, 24},
3444 al,
3447 {{al, r7, r12, r9, ROR, 8},
3449 al,
3452 {{al, r7, r6, r12, ROR, 8},
3454 al,
3457 {{al, r3, r11, r3, ROR, 16},
3459 al,
3462 {{al, r9, r5, r13, ROR, 0},
3464 al,
3467 {{al, r2, r2, r5, ROR, 16},
3469 al,
3472 {{al, r3, r0, r8, ROR, 24},
3474 al,
3477 {{al, r2, r1, r6, ROR, 8},
3479 al,
3482 {{al, r2, r12, r5, ROR, 8},
3484 al,
3487 {{al, r4, r0, r11, ROR, 16},
3489 al,
3492 {{al, r3, r10, r4, ROR, 24},
3494 al,
3497 {{al, r5, r8, r11, ROR, 0},
3499 al,
3502 {{al, r6, r7, r2, ROR, 16},
3504 al,
3507 {{al, r10, r11, r1, ROR, 16},
3509 al,
3512 {{al, r8, r6, r9, ROR, 24},
3514 al,
3517 {{al, r3, r3, r13, ROR, 8},
3519 al,
3522 {{al, r3, r4, r9, ROR, 0},
3524 al,
3527 {{al, r14, r8, r9, ROR, 24},
3529 al,
3532 {{al, r1, r0, r10, ROR, 24},
3534 al,
3537 {{al, r1, r9, r8, ROR, 16},
3539 al,
3542 {{al, r10, r10, r7, ROR, 0},
3544 al,
3547 {{al, r13, r2, r1, ROR, 16},
3549 al,
3552 {{al, r9, r7, r8, ROR, 16},
3554 al,
3557 {{al, r0, r4, r14, ROR, 16},
3559 al,
3562 {{al, r7, r7, r3, ROR, 24},
3564 al,
3567 {{al, r11, r1, r6, ROR, 16},
3569 al,
3572 {{al, r13, r7, r3, ROR, 24},
3574 al,
3577 {{al, r7, r7, r8, ROR, 16},
3579 al,
3582 {{al, r13, r13, r6, ROR, 24},
3584 al,
3587 {{al, r14, r9, r8, ROR, 24},
3589 al,
3592 {{al, r3, r4, r8, ROR, 24},
3594 al,
3597 {{al, r6, r9, r1, ROR, 0},
3599 al,
3602 {{al, r11, r3, r1, ROR, 16},
3604 al,
3607 {{al, r7, r8, r11, ROR, 8},
3609 al,
3612 {{al, r1, r7, r10, ROR, 24},
3614 al,
3617 {{al, r6, r6, r12, ROR, 16},
3619 al,
3622 {{al, r10, r8, r2, ROR, 8},
3624 al,
3627 {{al, r14, r4, r7, ROR, 8},
3629 al,
3632 {{al, r14, r13, r1, ROR, 16},
3634 al,
3637 {{al, r6, r2, r8, ROR, 16},
3639 al,
3642 {{al, r5, r12, r12, ROR, 16},
3644 al,
3647 {{al, r9, r0, r6, ROR, 24},
3649 al,
3652 {{al, r9, r14, r0, ROR, 16},
3654 al,
3657 {{al, r7, r2, r12, ROR, 16},
3659 al,
3662 {{al, r11, r6, r8, ROR, 8},
3664 al,
3667 {{al, r14, r1, r12, ROR, 24},
3669 al,
3672 {{al, r11, r11, r7, ROR, 8},
3674 al,
3677 {{al, r14, r10, r8, ROR, 8},
3679 al,
3682 {{al, r0, r1, r14, ROR, 0},
3684 al,
3687 {{al, r0, r11, r9, ROR, 16},
3689 al,
3692 {{al, r4, r13, r0, ROR, 8},
3694 al,
3697 {{al, r14, r11, r3, ROR, 8},
3699 al,
3702 {{al, r13, r6, r2, ROR, 16},
3704 al,
3707 {{al, r13, r6, r9, ROR, 16},
3709 al,
3712 {{al, r0, r11, r9, ROR, 24},
3714 al,
3717 {{al, r13, r4, r4, ROR, 16},
3719 al,
3722 {{al, r9, r12, r6, ROR, 24},
3724 al,
3727 {{al, r0, r8, r1, ROR, 0},
3729 al,
3732 {{al, r5, r9, r8, ROR, 16},
3734 al,
3737 {{al, r13, r4, r7, ROR, 16},
3739 al,
3742 {{al, r5, r11, r9, ROR, 8},
3744 al,
3747 {{al, r7, r8, r14, ROR, 8},
3749 al,
3752 {{al, r5, r2, r6, ROR, 0},
3754 al,
3757 {{al, r14, r7, r14, ROR, 0},
3759 al,
3762 {{al, r14, r0, r10, ROR, 8},
3764 al,
3767 {{al, r4, r4, r5, ROR, 0},
3769 al,
3772 {{al, r5, r1, r10, ROR, 0},
3774 al,
3777 {{al, r3, r10, r1, ROR, 0},
3779 al,
3782 {{al, r0, r2, r7, ROR, 0},
3784 al,
3787 {{al, r6, r10, r13, ROR, 8},
3789 al,
3792 {{al, r11, r7, r4, ROR, 24},
3794 al,
3797 {{al, r12, r14, r9, ROR, 0},
3799 al,
3802 {{al, r11, r10, r1, ROR, 16},
3804 al,
3807 {{al, r8, r4, r10, ROR, 0},
3809 al,
3812 {{al, r13, r12, r3, ROR, 8},
3814 al,
3817 {{al, r3, r6, r7, ROR, 24},
3819 al,
3822 {{al, r10, r12, r11, ROR, 0},
3824 al,
3827 {{al, r11, r8, r6, ROR, 0},
3829 al,
3832 {{al, r7, r8, r13, ROR, 8},
3834 al,
3837 {{al, r13, r3, r10, ROR, 24},
3839 al,
3842 {{al, r11, r11, r9, ROR, 24},
3844 al,
3847 {{al, r8, r12, r4, ROR, 24},
3849 al,
3852 {{al, r13, r12, r8, ROR, 0},
3854 al,
3857 {{al, r13, r5, r11, ROR, 16},
3859 al,
3862 {{al, r4, r1, r9, ROR, 0},
3864 al,
3867 {{al, r2, r0, r12, ROR, 8},
3869 al,
3872 {{al, r11, r6, r0, ROR, 0},
3874 al,
3877 {{al, r10, r4, r13, ROR, 0},
3879 al,
3882 {{al, r12, r4, r12, ROR, 24},
3884 al,
3887 {{al, r2, r6, r2, ROR, 16},
3889 al,
3892 {{al, r6, r10, r4, ROR, 16},
3894 al,
3897 {{al, r2, r13, r6, ROR, 24},
3899 al,
3902 {{al, r14, r14, r5, ROR, 8},
3904 al,
3907 {{al, r0, r6, r12, ROR, 24},
3909 al,
3912 {{al, r11, r10, r10, ROR, 8},
3914 al,
3917 {{al, r10, r8, r4, ROR, 8},
3919 al,
3922 {{al, r5, r8, r11, ROR, 8},
3924 al,
3927 {{al, r12, r0, r3, ROR, 8},
3929 al,
3932 {{al, r5, r1, r11, ROR, 24},
3934 al,
3937 {{al, r1, r10, r5, ROR, 16},
3939 al,
3942 {{al, r13, r13, r14, ROR, 24},
3944 al,
3947 {{al, r6, r9, r4, ROR, 8},
3949 al,
3952 {{al, r10, r4, r13, ROR, 24},
3954 al,
3957 {{al, r14, r5, r0, ROR, 8},
3959 al,
3962 {{al, r11, r10, r13, ROR, 0},
3964 al,
3967 {{al, r12, r1, r4, ROR, 0},
3969 al,
3972 {{al, r2, r9, r0, ROR, 0},
3974 al,
3977 {{al, r8, r6, r1, ROR, 0},
3979 al,
3982 {{al, r13, r11, r7, ROR, 0},
3984 al,
3987 {{al, r5, r11, r5, ROR, 0},
3989 al,
3992 {{al, r2, r2, r5, ROR, 24},
3994 al,
3997 {{al, r10, r3, r9, ROR, 8},
3999 al,
4002 {{al, r5, r11, r0, ROR, 8},
4004 al,
4007 {{al, r11, r6, r8, ROR, 0},
4009 al,
4012 {{al, r0, r8, r11, ROR, 24},
4014 al,
4017 {{al, r8, r0, r14, ROR, 24},
4019 al,
4022 {{al, r14, r11, r13, ROR, 8},
4024 al,
4027 {{al, r7, r2, r8, ROR, 16},
4029 al,
4032 {{al, r8, r5, r8, ROR, 24},
4034 al,
4037 {{al, r6, r5, r13, ROR, 16},
4039 al,
4042 {{al, r4, r9, r9, ROR, 16},
4044 al,
4047 {{al, r10, r14, r7, ROR, 0},
4049 al,
4052 {{al, r1, r1, r6, ROR, 0},
4054 al,
4057 {{al, r1, r10, r14, ROR, 8},
4059 al,
4062 {{al, r1, r7, r11, ROR, 24},
4064 al,
4067 {{al, r5, r7, r1, ROR, 16},
4069 al,
4072 {{al, r12, r2, r6, ROR, 8},
4074 al,
4077 {{al, r8, r6, r8, ROR, 0},
4079 al,
4082 {{al, r0, r6, r2, ROR, 0},
4084 al,
4087 {{al, r13, r11, r1, ROR, 16},
4089 al,
4092 {{al, r9, r3, r13, ROR, 24},
4094 al,
4097 {{al, r1, r11, r2, ROR, 8},
4099 al,
4102 {{al, r5, r8, r6, ROR, 24},
4104 al,
4107 {{al, r4, r12, r9, ROR, 16},
4109 al,
4112 {{al, r9, r12, r14, ROR, 8},
4114 al,
4117 {{al, r2, r12, r10, ROR, 0},
4119 al,
4122 {{al, r1, r13, r7, ROR, 24},
4124 al,
4127 {{al, r2, r1, r10, ROR, 24},
4129 al,
4132 {{al, r3, r3, r14, ROR, 0},
4134 al,
4137 {{al, r7, r11, r2, ROR, 16},
4139 al,
4142 {{al, r13, r9, r10, ROR, 0},
4144 al,
4147 {{al, r1, r3, r10, ROR, 24},
4149 al,
4152 {{al, r1, r2, r3, ROR, 0},
4154 al,
4157 {{al, r1, r5, r2, ROR, 16},
4159 al,
4162 {{al, r14, r4, r7, ROR, 16},
4164 al,
4167 {{al, r0, r8, r12, ROR, 16},
4169 al,
4172 {{al, r8, r10, r14, ROR, 16},
4174 al,
4177 {{al, r10, r5, r0, ROR, 0},
4179 al,
4182 {{al, r5, r2, r4, ROR, 0},
4184 al,
4187 {{al, r1, r8, r7, ROR, 16},
4189 al,
4192 {{al, r5, r3, r12, ROR, 0},
4194 al,
4197 {{al, r1, r3, r1, ROR, 8},
4199 al,
4202 {{al, r10, r1, r12, ROR, 0},
4204 al,
4207 {{al, r13, r8, r4, ROR, 24},
4209 al,
4212 {{al, r10, r6, r7, ROR, 0},
4214 al,
4217 {{al, r1, r7, r1, ROR, 24},
4219 al,
4222 {{al, r6, r7, r14, ROR, 24},
4224 al,
4227 {{al, r5, r2, r11, ROR, 8},
4229 al,
4232 {{al, r3, r1, r2, ROR, 16},
4234 al,
4237 {{al, r4, r9, r11, ROR, 0},
4239 al,
4242 {{al, r4, r1, r8, ROR, 0},
4244 al,
4247 {{al, r0, r11, r0, ROR, 0},
4249 al,
4252 {{al, r5, r7, r2, ROR, 24},
4254 al,
4257 {{al, r3, r5, r12, ROR, 0},
4259 al,
4262 {{al, r2, r10, r5, ROR, 24},
4264 al,
4267 {{al, r13, r1, r2, ROR, 8},
4269 al,
4272 {{al, r0, r6, r5, ROR, 24},
4274 al,
4277 {{al, r7, r2, r13, ROR, 24},
4279 al,
4282 {{al, r12, r11, r2, ROR, 24},
4284 al,
4287 {{al, r14, r8, r12, ROR, 0},
4289 al,
4292 {{al, r9, r10, r13, ROR, 16},
4294 al,
4297 {{al, r5, r12, r0, ROR, 8},
4299 al,
4302 {{al, r9, r14, r1, ROR, 0},
4304 al,
4307 {{al, r0, r8, r11, ROR, 0},
4309 al,
4312 {{al, r3, r4, r11, ROR, 8},
4314 al,
4317 {{al, r9, r3, r12, ROR, 8},
4319 al,
4322 {{al, r3, r14, r9, ROR, 8},
4324 al,
4327 {{al, r1, r10, r0, ROR, 8},
4329 al,
4332 {{al, r4, r12, r1, ROR, 16},
4334 al,
4337 {{al, r3, r2, r8, ROR, 8},
4339 al,
4342 {{al, r4, r8, r10, ROR, 0},
4344 al,
4347 {{al, r5, r6, r5, ROR, 24},
4349 al,
4352 {{al, r8, r14, r7, ROR, 16},
4354 al,
4357 {{al, r2, r11, r13, ROR, 0},
4359 al,
4362 {{al, r11, r1, r2, ROR, 24},
4364 al,
4367 {{al, r5, r1, r2, ROR, 0},
4369 al,
4372 {{al, r11, r12, r2, ROR, 8},
4374 al,
4377 {{al, r12, r5, r8, ROR, 0},
4379 al,
4382 {{al, r7, r3, r12, ROR, 0},
4384 al,
4387 {{al, r1, r2, r4, ROR, 0},
4389 al,
4392 {{al, r14, r10, r1, ROR, 24},
4394 al,
4397 {{al, r14, r10, r1, ROR, 16},
4399 al,
4402 {{al, r5, r13, r9, ROR, 24},
4404 al,
4407 {{al, r10, r8, r13, ROR, 24},
4409 al,
4412 {{al, r12, r11, r0, ROR, 16},
4414 al,
4417 {{al, r9, r11, r7, ROR, 16},
4419 al,
4422 {{al, r2, r9, r5, ROR, 0},
4424 al,
4427 {{al, r14, r10, r14, ROR, 0},
4429 al,
4432 {{al, r5, r8, r6, ROR, 8},
4434 al,
4437 {{al, r8, r13, r2, ROR, 0},
4439 al,
4442 {{al, r2, r5, r7, ROR, 0},
4444 al,
4447 {{al, r3, r13, r8, ROR, 16},
4449 al,
4452 {{al, r12, r13, r13, ROR, 8},
4454 al,
4457 {{al, r2, r4, r11, ROR, 8},
4459 al,
4462 {{al, r6, r5, r4, ROR, 0},
4464 al,
4467 {{al, r4, r9, r10, ROR, 8},
4469 al,
4472 {{al, r4, r0, r3, ROR, 8},
4474 al,
4477 {{al, r8, r13, r2, ROR, 24},
4479 al,
4482 {{al, r3, r4, r6, ROR, 8},
4484 al,
4487 {{al, r11, r9, r6, ROR, 0},
4489 al,
4492 {{al, r10, r12, r1, ROR, 24},
4494 al,
4497 {{al, r1, r10, r11, ROR, 8},
4499 al,
4502 {{al, r12, r12, r4, ROR, 16},
4504 al,
4507 {{al, r2, r7, r12, ROR, 16},
4509 al,
4512 {{al, r3, r3, r4, ROR, 8},
4514 al,
4517 {{al, r9, r12, r9, ROR, 24},
4519 al,
4522 {{al, r0, r5, r2, ROR, 0},
4524 al,
4527 {{al, r8, r13, r4, ROR, 0},
4529 al,
4532 {{al, r4, r1, r0, ROR, 0},
4534 al,
4537 {{al, r12, r8, r10, ROR, 24},
4539 al,
4542 {{al, r6, r6, r13, ROR, 0},
4544 al,
4547 {{al, r7, r2, r2, ROR, 0},
4549 al,
4552 {{al, r13, r6, r7, ROR, 24},
4554 al,
4557 {{al, r5, r11, r4, ROR, 8},
4559 al,
4562 {{al, r12, r0, r9, ROR, 8},
4564 al,
4567 {{al, r5, r9, r5, ROR, 8},
4569 al,
4572 {{al, r0, r0, r12, ROR, 24},
4574 al,
4577 {{al, r1, r14, r2, ROR, 16},
4579 al,
4582 {{al, r1, r14, r6, ROR, 24},
4584 al,
4587 {{al, r4, r12, r9, ROR, 0},
4589 al,
4592 {{al, r5, r0, r3, ROR, 0},
4594 al,
4597 {{al, r13, r9, r2, ROR, 16},
4599 al,
4602 {{al, r11, r6, r5, ROR, 24},
4604 al,
4607 {{al, r13, r0, r1, ROR, 24},
4609 al,
4612 {{al, r14, r1, r10, ROR, 8},
4614 al,
4617 {{al, r11, r4, r6, ROR, 24},
4619 al,
4622 {{al, r12, r5, r9, ROR, 0},
4624 al,
4627 {{al, r7, r14, r6, ROR, 16},
4629 al,
4632 {{al, r14, r5, r0, ROR, 24},
4634 al,
4637 {{al, r2, r1, r7, ROR, 24},
4639 al,
4642 {{al, r9, r11, r6, ROR, 8},
4644 al,
4647 {{al, r3, r11, r7, ROR, 24},
4649 al,
4652 {{al, r5, r10, r3, ROR, 24},
4654 al,
4657 {{al, r5, r2, r2, ROR, 16},
4659 al,
4662 {{al, r9, r11, r5, ROR, 8},
4664 al,
4667 {{al, r13, r5, r7, ROR, 16},
4669 al,
4672 {{al, r3, r8, r9, ROR, 8},
4674 al,
4677 {{al, r10, r3, r2, ROR, 16},
4679 al,
4682 {{al, r12, r12, r1, ROR, 8},
4684 al,
4687 {{al, r4, r12, r5, ROR, 8},
4689 al,
4692 {{al, r2, r3, r13, ROR, 8},
4694 al,
4697 {{al, r5, r13, r12, ROR, 24},
4699 al,
4702 {{al, r1, r2, r9, ROR, 0},
4704 al,
4707 {{al, r12, r3, r6, ROR, 8},
4709 al,
4712 {{al, r6, r6, r0, ROR, 24},
4714 al,
4717 {{al, r10, r5, r9, ROR, 0},
4719 al,
4722 {{al, r4, r1, r12, ROR, 24},
4724 al,
4727 {{al, r6, r5, r1, ROR, 0},
4729 al,
4732 {{al, r11, r4, r8, ROR, 8},
4734 al,
4737 {{al, r3, r10, r8, ROR, 0},
4739 al,
4742 {{al, r9, r11, r4, ROR, 8},
4744 al,
4747 {{al, r5, r5, r14, ROR, 16},
4749 al,
4752 {{al, r4, r5, r2, ROR, 0},
4754 al,
4757 {{al, r9, r7, r7, ROR, 24},
4759 al,
4762 {{al, r5, r5, r10, ROR, 24},
4764 al,
4767 {{al, r14, r0, r3, ROR, 24},
4769 al,
4772 {{al, r9, r3, r9, ROR, 0},
4774 al,
4777 {{al, r7, r11, r11, ROR, 8},
4779 al,
4782 {{al, r7, r4, r4, ROR, 0},
4784 al,
4787 {{al, r10, r10, r3, ROR, 8},
4789 al,
4792 {{al, r11, r7, r2, ROR, 0},
4794 al,
4797 {{al, r10, r4, r3, ROR, 8},
4799 al,
4802 {{al, r0, r7, r10, ROR, 24},
4804 al,
4807 {{al, r14, r4, r2, ROR, 0},
4809 al,
4812 {{al, r9, r7, r0, ROR, 0},
4814 al,
4817 {{al, r11, r7, r11, ROR, 8},
4819 al,
4822 {{al, r3, r6, r7, ROR, 0},
4824 al,
4827 {{al, r2, r11, r2, ROR, 24},
4829 al,
4832 {{al, r3, r3, r11, ROR, 24},
4834 al,
4837 {{al, r10, r3, r3, ROR, 16},
4839 al,
4842 {{al, r5, r9, r11, ROR, 16},
4844 al,
4847 {{al, r11, r13, r5, ROR, 0},
4849 al,
4852 {{al, r9, r4, r11, ROR, 16},
4854 al,
4857 {{al, r8, r13, r12, ROR, 24},
4859 al,
4862 {{al, r1, r2, r6, ROR, 24},
4864 al,
4867 {{al, r10, r7, r13, ROR, 8},
4869 al,
4872 {{al, r3, r11, r1, ROR, 0},
4874 al,
4877 {{al, r0, r4, r12, ROR, 0},
4879 al,
4882 {{al, r12, r11, r5, ROR, 8},
4884 al,
4887 {{al, r1, r9, r13, ROR, 8},
4889 al,
4892 {{al, r0, r12, r11, ROR, 16},
4894 al,
4897 {{al, r3, r1, r14, ROR, 16},
4899 al,
4902 {{al, r4, r12, r8, ROR, 24},
4904 al,
4907 {{al, r5, r2, r6, ROR, 16},
4909 al,
4912 {{al, r1, r13, r0, ROR, 24},
4914 al,
4917 {{al, r0, r14, r6, ROR, 16},
4919 al,
4922 {{al, r4, r11, r7, ROR, 24},
4924 al,
4927 {{al, r4, r2, r13, ROR, 8},
4929 al,
4932 {{al, r1, r4, r1, ROR, 0},
4934 al,
4937 {{al, r4, r7, r4, ROR, 24},
4939 al,
4942 {{al, r11, r1, r3, ROR, 0},
4944 al,
4947 {{al, r3, r14, r3, ROR, 8},
4949 al,
4952 {{al, r5, r7, r5, ROR, 8},
4954 al,
4957 {{al, r0, r4, r10, ROR, 0},
4959 al,
4962 {{al, r0, r13, r10, ROR, 0},
4964 al,
4967 {{al, r14, r11, r12, ROR, 24},
4969 al,
4972 {{al, r4, r11, r0, ROR, 24},
4974 al,
4977 {{al, r1, r7, r14, ROR, 24},
4979 al,
4982 {{al, r2, r10, r13, ROR, 24},
4984 al,
4987 {{al, r13, r13, r9, ROR, 16},
4989 al,
4992 {{al, r10, r4, r0, ROR, 24},
4994 al,
4997 {{al, r9, r11, r5, ROR, 16},
4999 al,
5002 {{al, r3, r14, r11, ROR, 0},
5004 al,
5007 {{al, r13, r10, r8, ROR, 0},
5009 al,
5012 {{al, r3, r6, r10, ROR, 8},
5014 al,
5017 {{al, r6, r14, r10, ROR, 0},
5019 al,
5022 {{al, r2, r13, r4, ROR, 16},
5024 al,
5027 {{al, r9, r11, r2, ROR, 16},
5029 al,
5032 {{al, r10, r9, r5, ROR, 24},
5034 al,
5037 {{al, r13, r3, r2, ROR, 8},
5039 al,
5042 {{al, r13, r14, r9, ROR, 16},
5044 al,
5047 {{al, r13, r3, r11, ROR, 16},
5049 al,
5052 {{al, r12, r10, r4, ROR, 24},
5054 al,
5057 {{al, r0, r9, r3, ROR, 16},
5059 al,
5062 {{al, r4, r9, r1, ROR, 16},
5064 al,
5067 {{al, r9, r8, r1, ROR, 8},
5069 al,
5072 {{al, r0, r5, r10, ROR, 0},
5074 al,
5077 {{al, r8, r4, r14, ROR, 8},
5079 al,
5082 {{al, r2, r8, r2, ROR, 0},
5084 al,
5087 {{al, r7, r11, r6, ROR, 8},
5089 al,
5092 {{al, r7, r2, r4, ROR, 16},
5094 al,
5097 {{al, r4, r8, r9, ROR, 8},
5099 al,