Lines Matching refs:ROR
102 const TestData kTests[] = {{{al, r4, r0, r8, ROR, 16},
107 {{al, r14, r13, r12, ROR, 24},
112 {{al, r9, r10, r5, ROR, 16},
117 {{al, r11, r13, r14, ROR, 8},
122 {{al, r3, r12, r11, ROR, 16},
127 {{al, r0, r11, r6, ROR, 24},
132 {{al, r1, r9, r13, ROR, 16},
137 {{al, r14, r4, r11, ROR, 16},
142 {{al, r2, r13, r5, ROR, 16},
147 {{al, r9, r1, r0, ROR, 24},
152 {{al, r10, r14, r10, ROR, 24},
157 {{al, r10, r1, r6, ROR, 8},
162 {{al, r1, r11, r10, ROR, 0},
167 {{al, r5, r0, r5, ROR, 0},
172 {{al, r8, r3, r1, ROR, 0},
177 {{al, r4, r5, r0, ROR, 24},
182 {{al, r6, r5, r9, ROR, 0},
187 {{al, r14, r6, r13, ROR, 16},
192 {{al, r13, r6, r1, ROR, 16},
197 {{al, r6, r9, r0, ROR, 16},
202 {{al, r13, r14, r13, ROR, 16},
207 {{al, r12, r13, r1, ROR, 8},
212 {{al, r8, r6, r13, ROR, 0},
217 {{al, r0, r6, r9, ROR, 16},
222 {{al, r14, r1, r3, ROR, 24},
227 {{al, r4, r12, r7, ROR, 24},
232 {{al, r3, r7, r11, ROR, 0},
237 {{al, r2, r2, r4, ROR, 16},
242 {{al, r4, r12, r0, ROR, 16},
247 {{al, r4, r3, r2, ROR, 8},
252 {{al, r0, r11, r11, ROR, 16},
257 {{al, r5, r12, r12, ROR, 0},
262 {{al, r10, r1, r4, ROR, 8},
267 {{al, r7, r9, r7, ROR, 8},
272 {{al, r14, r3, r10, ROR, 16},
277 {{al, r6, r6, r12, ROR, 8},
282 {{al, r1, r14, r3, ROR, 16},
287 {{al, r4, r7, r11, ROR, 16},
292 {{al, r3, r6, r4, ROR, 0},
297 {{al, r1, r11, r2, ROR, 0},
302 {{al, r4, r5, r1, ROR, 0},
307 {{al, r14, r9, r13, ROR, 8},
312 {{al, r5, r11, r12, ROR, 0},
317 {{al, r11, r3, r12, ROR, 0},
322 {{al, r3, r6, r2, ROR, 16},
327 {{al, r0, r6, r3, ROR, 24},
332 {{al, r10, r6, r14, ROR, 16},
337 {{al, r3, r6, r14, ROR, 24},
342 {{al, r0, r11, r0, ROR, 24},
347 {{al, r1, r10, r10, ROR, 0},
352 {{al, r0, r2, r11, ROR, 24},
357 {{al, r14, r14, r1, ROR, 0},
362 {{al, r13, r1, r12, ROR, 8},
367 {{al, r2, r13, r8, ROR, 0},
372 {{al, r8, r9, r9, ROR, 16},
377 {{al, r0, r13, r14, ROR, 24},
382 {{al, r9, r0, r3, ROR, 24},
387 {{al, r4, r8, r13, ROR, 24},
392 {{al, r14, r14, r5, ROR, 16},
397 {{al, r1, r12, r6, ROR, 0},
402 {{al, r13, r0, r4, ROR, 16},
407 {{al, r0, r0, r9, ROR, 0},
412 {{al, r6, r4, r10, ROR, 16},
417 {{al, r6, r3, r6, ROR, 16},
422 {{al, r8, r13, r11, ROR, 0},
427 {{al, r9, r5, r8, ROR, 0},
432 {{al, r14, r2, r13, ROR, 8},
437 {{al, r12, r2, r1, ROR, 16},
442 {{al, r5, r12, r0, ROR, 16},
447 {{al, r7, r8, r12, ROR, 16},
452 {{al, r4, r3, r13, ROR, 8},
457 {{al, r4, r8, r5, ROR, 24},
462 {{al, r0, r6, r2, ROR, 24},
467 {{al, r3, r3, r2, ROR, 0},
472 {{al, r6, r6, r3, ROR, 8},
477 {{al, r12, r2, r3, ROR, 0},
482 {{al, r14, r6, r10, ROR, 16},
487 {{al, r2, r0, r3, ROR, 24},
492 {{al, r13, r13, r5, ROR, 8},
497 {{al, r0, r12, r8, ROR, 16},
502 {{al, r10, r13, r4, ROR, 16},
507 {{al, r2, r5, r12, ROR, 0},
512 {{al, r10, r7, r10, ROR, 16},
517 {{al, r4, r10, r9, ROR, 8},
522 {{al, r3, r0, r9, ROR, 8},
527 {{al, r5, r12, r5, ROR, 0},
532 {{al, r9, r12, r11, ROR, 16},
537 {{al, r2, r2, r6, ROR, 8},
542 {{al, r4, r2, r3, ROR, 16},
547 {{al, r3, r10, r1, ROR, 8},
552 {{al, r1, r2, r3, ROR, 24},
557 {{al, r14, r10, r8, ROR, 0},
562 {{al, r9, r9, r5, ROR, 24},
567 {{al, r14, r4, r12, ROR, 0},
572 {{al, r13, r6, r10, ROR, 0},
577 {{al, r12, r7, r11, ROR, 24},
582 {{al, r5, r10, r9, ROR, 0},
587 {{al, r12, r6, r7, ROR, 24},
592 {{al, r1, r12, r11, ROR, 24},
597 {{al, r12, r0, r14, ROR, 8},
602 {{al, r2, r13, r2, ROR, 24},
607 {{al, r11, r13, r1, ROR, 0},
612 {{al, r8, r8, r5, ROR, 24},
617 {{al, r9, r10, r5, ROR, 8},
622 {{al, r3, r7, r9, ROR, 16},
627 {{al, r5, r11, r1, ROR, 8},
632 {{al, r3, r6, r8, ROR, 8},
637 {{al, r3, r14, r6, ROR, 8},
642 {{al, r14, r2, r2, ROR, 0},
647 {{al, r1, r2, r1, ROR, 8},
652 {{al, r6, r2, r1, ROR, 8},
657 {{al, r6, r1, r4, ROR, 24},
662 {{al, r11, r11, r14, ROR, 16},
667 {{al, r7, r6, r3, ROR, 24},
672 {{al, r12, r2, r2, ROR, 24},
677 {{al, r8, r14, r9, ROR, 16},
682 {{al, r13, r11, r0, ROR, 16},
687 {{al, r11, r1, r3, ROR, 24},
692 {{al, r5, r11, r6, ROR, 16},
697 {{al, r14, r5, r4, ROR, 24},
702 {{al, r13, r5, r5, ROR, 0},
707 {{al, r12, r0, r4, ROR, 24},
712 {{al, r4, r4, r2, ROR, 24},
717 {{al, r3, r5, r12, ROR, 16},
722 {{al, r0, r12, r11, ROR, 8},
727 {{al, r6, r4, r0, ROR, 0},
732 {{al, r5, r11, r6, ROR, 24},
737 {{al, r5, r5, r10, ROR, 8},
742 {{al, r9, r8, r6, ROR, 0},
747 {{al, r1, r5, r6, ROR, 8},
752 {{al, r7, r6, r3, ROR, 16},
757 {{al, r11, r4, r11, ROR, 24},
762 {{al, r1, r7, r14, ROR, 8},
767 {{al, r5, r4, r8, ROR, 16},
772 {{al, r14, r10, r6, ROR, 24},
777 {{al, r12, r2, r0, ROR, 16},
782 {{al, r7, r13, r8, ROR, 8},
787 {{al, r12, r2, r4, ROR, 24},
792 {{al, r0, r11, r4, ROR, 24},
797 {{al, r14, r8, r1, ROR, 16},
802 {{al, r2, r13, r7, ROR, 0},
807 {{al, r1, r2, r2, ROR, 24},
812 {{al, r2, r7, r12, ROR, 24},
817 {{al, r12, r9, r6, ROR, 0},
822 {{al, r5, r1, r11, ROR, 8},
827 {{al, r8, r10, r9, ROR, 24},
832 {{al, r5, r6, r7, ROR, 0},
837 {{al, r11, r0, r0, ROR, 24},
842 {{al, r5, r2, r8, ROR, 16},
847 {{al, r7, r8, r4, ROR, 16},
852 {{al, r8, r6, r11, ROR, 16},
857 {{al, r1, r8, r3, ROR, 16},
862 {{al, r9, r13, r9, ROR, 16},
867 {{al, r14, r2, r4, ROR, 16},
872 {{al, r13, r7, r6, ROR, 8},
877 {{al, r0, r11, r5, ROR, 24},
882 {{al, r11, r7, r5, ROR, 0},
887 {{al, r12, r7, r9, ROR, 24},
892 {{al, r8, r4, r13, ROR, 16},
897 {{al, r0, r10, r7, ROR, 8},
902 {{al, r13, r5, r1, ROR, 24},
907 {{al, r7, r11, r10, ROR, 16},
912 {{al, r13, r12, r3, ROR, 24},
917 {{al, r3, r7, r14, ROR, 16},
922 {{al, r4, r4, r4, ROR, 8},
927 {{al, r6, r11, r3, ROR, 0},
932 {{al, r9, r11, r11, ROR, 16},
937 {{al, r12, r13, r7, ROR, 16},
942 {{al, r10, r12, r8, ROR, 16},
947 {{al, r0, r1, r5, ROR, 16},
952 {{al, r6, r11, r0, ROR, 24},
957 {{al, r4, r10, r12, ROR, 8},
962 {{al, r11, r10, r10, ROR, 24},
967 {{al, r9, r8, r13, ROR, 0},
972 {{al, r12, r2, r9, ROR, 0},
977 {{al, r8, r8, r13, ROR, 16},
982 {{al, r9, r7, r10, ROR, 24},
987 {{al, r4, r8, r1, ROR, 8},
992 {{al, r4, r9, r11, ROR, 16},
997 {{al, r5, r10, r6, ROR, 16},
1002 {{al, r11, r4, r12, ROR, 8},
1007 {{al, r2, r0, r1, ROR, 8},
1012 {{al, r13, r0, r9, ROR, 8},
1017 {{al, r6, r12, r5, ROR, 16},
1022 {{al, r10, r1, r9, ROR, 16},
1027 {{al, r7, r14, r7, ROR, 24},
1032 {{al, r0, r13, r4, ROR, 8},
1037 {{al, r2, r2, r11, ROR, 8},
1042 {{al, r1, r14, r7, ROR, 8},
1047 {{al, r9, r0, r7, ROR, 8},
1052 {{al, r12, r2, r11, ROR, 16},
1057 {{al, r1, r5, r13, ROR, 16},
1062 {{al, r1, r2, r0, ROR, 16},
1067 {{al, r6, r11, r8, ROR, 24},
1072 {{al, r1, r6, r4, ROR, 0},
1077 {{al, r4, r13, r1, ROR, 16},
1082 {{al, r14, r5, r13, ROR, 8},
1087 {{al, r3, r3, r2, ROR, 16},
1092 {{al, r8, r3, r1, ROR, 8},
1097 {{al, r13, r9, r13, ROR, 8},
1102 {{al, r13, r0, r14, ROR, 8},
1107 {{al, r9, r10, r11, ROR, 24},
1112 {{al, r14, r10, r2, ROR, 8},
1117 {{al, r8, r6, r12, ROR, 24},
1122 {{al, r10, r10, r8, ROR, 24},
1127 {{al, r13, r3, r3, ROR, 16},
1132 {{al, r6, r8, r9, ROR, 16},
1137 {{al, r8, r13, r1, ROR, 0},
1142 {{al, r2, r14, r2, ROR, 0},
1147 {{al, r8, r2, r11, ROR, 16},
1152 {{al, r9, r8, r2, ROR, 8},
1157 {{al, r13, r7, r14, ROR, 24},
1162 {{al, r3, r3, r13, ROR, 16},
1167 {{al, r0, r2, r9, ROR, 0},
1172 {{al, r9, r10, r8, ROR, 16},
1177 {{al, r3, r4, r4, ROR, 8},
1182 {{al, r10, r13, r4, ROR, 24},
1187 {{al, r0, r12, r6, ROR, 0},
1192 {{al, r12, r10, r11, ROR, 8},
1197 {{al, r0, r7, r0, ROR, 0},
1202 {{al, r0, r7, r10, ROR, 0},
1207 {{al, r7, r12, r10, ROR, 0},
1212 {{al, r1, r2, r7, ROR, 8},
1217 {{al, r8, r13, r7, ROR, 8},
1222 {{al, r3, r13, r5, ROR, 16},
1227 {{al, r14, r14, r10, ROR, 0},
1232 {{al, r5, r5, r5, ROR, 0},
1237 {{al, r3, r2, r2, ROR, 0},
1242 {{al, r4, r1, r13, ROR, 8},
1247 {{al, r8, r0, r13, ROR, 0},
1252 {{al, r6, r14, r7, ROR, 16},
1257 {{al, r7, r1, r14, ROR, 0},
1262 {{al, r14, r10, r4, ROR, 8},
1267 {{al, r14, r8, r4, ROR, 24},
1272 {{al, r9, r6, r12, ROR, 8},
1277 {{al, r6, r1, r4, ROR, 16},
1282 {{al, r6, r11, r10, ROR, 0},
1287 {{al, r14, r2, r2, ROR, 16},
1292 {{al, r6, r3, r5, ROR, 16},
1297 {{al, r11, r1, r14, ROR, 0},
1302 {{al, r11, r12, r3, ROR, 0},
1307 {{al, r14, r13, r0, ROR, 0},
1312 {{al, r4, r4, r8, ROR, 16},
1317 {{al, r5, r14, r6, ROR, 8},
1322 {{al, r3, r8, r5, ROR, 0},
1327 {{al, r8, r10, r4, ROR, 16},
1332 {{al, r4, r12, r8, ROR, 16},
1337 {{al, r0, r13, r4, ROR, 16},
1342 {{al, r3, r9, r13, ROR, 24},
1347 {{al, r2, r6, r0, ROR, 24},
1352 {{al, r3, r12, r2, ROR, 24},
1357 {{al, r11, r11, r5, ROR, 24},
1362 {{al, r10, r2, r10, ROR, 8},
1367 {{al, r6, r6, r13, ROR, 16},
1372 {{al, r8, r5, r4, ROR, 24},
1377 {{al, r10, r7, r6, ROR, 8},
1382 {{al, r14, r12, r11, ROR, 8},
1387 {{al, r13, r9, r9, ROR, 16},
1392 {{al, r3, r5, r3, ROR, 0},
1397 {{al, r12, r9, r1, ROR, 8},
1402 {{al, r4, r10, r7, ROR, 16},
1407 {{al, r11, r5, r12, ROR, 8},
1412 {{al, r10, r4, r8, ROR, 24},
1417 {{al, r9, r6, r6, ROR, 16},
1422 {{al, r7, r5, r9, ROR, 8},
1427 {{al, r7, r9, r5, ROR, 24},
1432 {{al, r4, r9, r10, ROR, 16},
1437 {{al, r9, r2, r13, ROR, 8},
1442 {{al, r10, r9, r7, ROR, 16},
1447 {{al, r13, r7, r2, ROR, 0},
1452 {{al, r14, r8, r13, ROR, 8},
1457 {{al, r7, r13, r3, ROR, 24},
1462 {{al, r7, r4, r0, ROR, 8},
1467 {{al, r1, r12, r8, ROR, 8},
1472 {{al, r14, r5, r8, ROR, 24},
1477 {{al, r0, r0, r1, ROR, 0},
1482 {{al, r1, r3, r3, ROR, 8},
1487 {{al, r4, r0, r8, ROR, 8},
1492 {{al, r7, r4, r8, ROR, 16},
1497 {{al, r1, r1, r8, ROR, 8},
1502 {{al, r4, r11, r4, ROR, 24},
1507 {{al, r2, r5, r6, ROR, 0},
1512 {{al, r14, r8, r3, ROR, 8},
1517 {{al, r5, r2, r12, ROR, 8},
1522 {{al, r1, r12, r0, ROR, 8},
1527 {{al, r7, r5, r4, ROR, 24},
1532 {{al, r6, r9, r3, ROR, 16},
1537 {{al, r6, r1, r1, ROR, 8},
1542 {{al, r1, r4, r9, ROR, 24},
1547 {{al, r14, r4, r13, ROR, 16},
1552 {{al, r3, r1, r10, ROR, 0},
1557 {{al, r4, r6, r0, ROR, 24},
1562 {{al, r0, r14, r1, ROR, 8},
1567 {{al, r6, r8, r5, ROR, 0},
1572 {{al, r9, r6, r2, ROR, 16},
1577 {{al, r8, r6, r5, ROR, 16},
1582 {{al, r10, r10, r14, ROR, 8},
1587 {{al, r12, r2, r10, ROR, 16},
1592 {{al, r7, r3, r2, ROR, 8},
1597 {{al, r6, r0, r9, ROR, 0},
1602 {{al, r11, r4, r14, ROR, 24},
1607 {{al, r13, r13, r5, ROR, 24},
1612 {{al, r9, r2, r12, ROR, 24},
1617 {{al, r5, r1, r13, ROR, 16},
1622 {{al, r10, r4, r5, ROR, 0},
1627 {{al, r14, r11, r0, ROR, 24},
1632 {{al, r4, r12, r10, ROR, 24},
1637 {{al, r2, r5, r7, ROR, 24},
1642 {{al, r4, r4, r5, ROR, 16},
1647 {{al, r11, r9, r12, ROR, 8},
1652 {{al, r5, r9, r2, ROR, 0},
1657 {{al, r10, r6, r6, ROR, 24},
1662 {{al, r13, r11, r4, ROR, 24},
1667 {{al, r2, r9, r8, ROR, 8},
1672 {{al, r0, r9, r10, ROR, 24},
1677 {{al, r4, r1, r13, ROR, 0},
1682 {{al, r11, r0, r9, ROR, 24},
1687 {{al, r1, r12, r3, ROR, 0},
1692 {{al, r0, r13, r11, ROR, 24},
1697 {{al, r11, r5, r14, ROR, 16},
1702 {{al, r2, r6, r13, ROR, 16},
1707 {{al, r7, r10, r2, ROR, 8},
1712 {{al, r10, r4, r11, ROR, 24},
1717 {{al, r7, r3, r12, ROR, 24},
1722 {{al, r4, r4, r14, ROR, 0},
1727 {{al, r2, r9, r13, ROR, 8},
1732 {{al, r1, r3, r2, ROR, 0},
1737 {{al, r10, r5, r8, ROR, 16},
1742 {{al, r0, r4, r4, ROR, 0},
1747 {{al, r7, r2, r11, ROR, 24},
1752 {{al, r9, r0, r3, ROR, 8},
1757 {{al, r1, r2, r14, ROR, 8},
1762 {{al, r10, r0, r6, ROR, 0},
1767 {{al, r11, r2, r13, ROR, 0},
1772 {{al, r8, r13, r5, ROR, 24},
1777 {{al, r1, r11, r5, ROR, 24},
1782 {{al, r3, r0, r1, ROR, 8},
1787 {{al, r8, r10, r5, ROR, 0},
1792 {{al, r3, r10, r7, ROR, 0},
1797 {{al, r9, r10, r7, ROR, 8},
1802 {{al, r10, r2, r0, ROR, 16},
1807 {{al, r11, r6, r14, ROR, 8},
1812 {{al, r10, r5, r11, ROR, 8},
1817 {{al, r3, r7, r4, ROR, 24},
1822 {{al, r5, r8, r13, ROR, 24},
1827 {{al, r2, r4, r14, ROR, 16},
1832 {{al, r6, r1, r7, ROR, 24},
1837 {{al, r2, r1, r14, ROR, 0},
1842 {{al, r5, r2, r10, ROR, 0},
1847 {{al, r13, r6, r6, ROR, 16},
1852 {{al, r13, r6, r13, ROR, 0},
1857 {{al, r9, r7, r0, ROR, 24},
1862 {{al, r6, r10, r4, ROR, 0},
1867 {{al, r10, r9, r11, ROR, 16},
1872 {{al, r11, r9, r8, ROR, 16},
1877 {{al, r3, r9, r1, ROR, 0},
1882 {{al, r9, r11, r4, ROR, 0},
1887 {{al, r3, r6, r1, ROR, 16},
1892 {{al, r7, r1, r7, ROR, 16},
1897 {{al, r12, r6, r9, ROR, 24},
1902 {{al, r6, r7, r6, ROR, 16},
1907 {{al, r10, r4, r4, ROR, 8},
1912 {{al, r3, r6, r1, ROR, 8},
1917 {{al, r3, r9, r10, ROR, 16},
1922 {{al, r0, r0, r13, ROR, 16},
1927 {{al, r1, r8, r8, ROR, 16},
1932 {{al, r2, r13, r13, ROR, 0},
1937 {{al, r0, r5, r5, ROR, 16},
1942 {{al, r9, r12, r8, ROR, 16},
1947 {{al, r6, r5, r5, ROR, 0},
1952 {{al, r5, r4, r10, ROR, 0},
1957 {{al, r5, r5, r5, ROR, 24},
1962 {{al, r3, r9, r0, ROR, 8},
1967 {{al, r5, r11, r8, ROR, 0},
1972 {{al, r3, r13, r3, ROR, 8},
1977 {{al, r14, r6, r2, ROR, 8},
1982 {{al, r7, r4, r11, ROR, 8},
1987 {{al, r4, r10, r3, ROR, 0},
1992 {{al, r2, r2, r2, ROR, 16},
1997 {{al, r9, r13, r4, ROR, 16},
2002 {{al, r10, r4, r1, ROR, 8},
2007 {{al, r3, r11, r4, ROR, 8},
2012 {{al, r5, r11, r1, ROR, 16},
2017 {{al, r8, r1, r2, ROR, 16},
2022 {{al, r12, r10, r1, ROR, 8},
2027 {{al, r10, r6, r1, ROR, 24},
2032 {{al, r2, r13, r0, ROR, 16},
2037 {{al, r10, r10, r3, ROR, 16},
2042 {{al, r5, r8, r6, ROR, 16},
2047 {{al, r5, r11, r5, ROR, 8},
2052 {{al, r2, r4, r6, ROR, 24},
2057 {{al, r14, r1, r4, ROR, 0},
2062 {{al, r14, r10, r2, ROR, 24},
2067 {{al, r12, r6, r7, ROR, 16},
2072 {{al, r8, r12, r13, ROR, 24},
2077 {{al, r8, r9, r11, ROR, 0},
2082 {{al, r13, r9, r12, ROR, 24},
2087 {{al, r4, r9, r11, ROR, 24},
2092 {{al, r6, r10, r12, ROR, 8},
2097 {{al, r1, r8, r6, ROR, 8},
2102 {{al, r13, r13, r14, ROR, 16},
2107 {{al, r5, r3, r1, ROR, 0},
2112 {{al, r8, r13, r1, ROR, 8},
2117 {{al, r11, r12, r13, ROR, 24},
2122 {{al, r9, r0, r5, ROR, 8},
2127 {{al, r2, r11, r10, ROR, 0},
2132 {{al, r10, r6, r8, ROR, 16},
2137 {{al, r5, r12, r6, ROR, 0},
2142 {{al, r14, r11, r2, ROR, 16},
2147 {{al, r8, r4, r12, ROR, 0},
2152 {{al, r12, r10, r1, ROR, 0},
2157 {{al, r12, r8, r10, ROR, 0},
2162 {{al, r7, r8, r5, ROR, 0},
2167 {{al, r11, r0, r14, ROR, 24},
2172 {{al, r8, r14, r2, ROR, 24},
2177 {{al, r1, r1, r14, ROR, 16},
2182 {{al, r12, r6, r8, ROR, 8},
2187 {{al, r4, r8, r5, ROR, 16},
2192 {{al, r12, r8, r1, ROR, 8},
2197 {{al, r8, r12, r10, ROR, 8},
2202 {{al, r6, r7, r4, ROR, 16},
2207 {{al, r5, r2, r7, ROR, 0},
2212 {{al, r11, r11, r14, ROR, 24},
2217 {{al, r8, r7, r6, ROR, 24},
2222 {{al, r11, r8, r5, ROR, 0},
2227 {{al, r11, r10, r8, ROR, 16},
2232 {{al, r14, r6, r3, ROR, 16},
2237 {{al, r1, r0, r14, ROR, 16},
2242 {{al, r10, r11, r0, ROR, 16},
2247 {{al, r3, r10, r13, ROR, 24},
2252 {{al, r6, r14, r2, ROR, 0},
2257 {{al, r8, r8, r4, ROR, 24},
2262 {{al, r12, r7, r0, ROR, 0},
2267 {{al, r9, r4, r10, ROR, 8},
2272 {{al, r5, r12, r8, ROR, 16},
2277 {{al, r7, r3, r7, ROR, 0},
2282 {{al, r0, r6, r11, ROR, 8},
2287 {{al, r13, r14, r1, ROR, 24},
2292 {{al, r7, r10, r0, ROR, 0},
2297 {{al, r12, r14, r4, ROR, 8},
2302 {{al, r3, r4, r2, ROR, 16},
2307 {{al, r6, r13, r1, ROR, 8},
2312 {{al, r12, r7, r14, ROR, 24},
2317 {{al, r7, r12, r3, ROR, 24},
2322 {{al, r8, r12, r12, ROR, 8},
2327 {{al, r4, r9, r8, ROR, 24},
2332 {{al, r14, r11, r6, ROR, 0},
2337 {{al, r10, r10, r10, ROR, 0},
2342 {{al, r1, r5, r9, ROR, 24},
2347 {{al, r9, r0, r1, ROR, 16},
2352 {{al, r14, r12, r2, ROR, 8},
2357 {{al, r6, r14, r3, ROR, 0},
2362 {{al, r7, r11, r13, ROR, 16},
2367 {{al, r2, r10, r2, ROR, 24},
2372 {{al, r13, r6, r11, ROR, 0},
2377 {{al, r2, r0, r0, ROR, 24},
2382 {{al, r8, r9, r13, ROR, 8},
2387 {{al, r8, r5, r14, ROR, 8},
2392 {{al, r13, r8, r6, ROR, 16},
2397 {{al, r10, r1, r14, ROR, 24},
2402 {{al, r1, r13, r8, ROR, 8},
2407 {{al, r4, r4, r11, ROR, 8},
2412 {{al, r8, r13, r7, ROR, 16},
2417 {{al, r7, r1, r3, ROR, 16},
2422 {{al, r5, r7, r11, ROR, 8},
2427 {{al, r9, r7, r4, ROR, 0},
2432 {{al, r0, r12, r2, ROR, 24},
2437 {{al, r5, r0, r4, ROR, 8},
2442 {{al, r14, r1, r13, ROR, 8},
2447 {{al, r1, r11, r5, ROR, 16},
2452 {{al, r7, r3, r6, ROR, 0},
2457 {{al, r11, r13, r14, ROR, 0},
2462 {{al, r6, r4, r9, ROR, 24},
2467 {{al, r4, r2, r5, ROR, 24},
2472 {{al, r12, r6, r8, ROR, 0},
2477 {{al, r11, r0, r11, ROR, 24},
2482 {{al, r0, r4, r8, ROR, 8},
2487 {{al, r8, r2, r11, ROR, 0},
2492 {{al, r10, r10, r4, ROR, 0},
2497 {{al, r7, r1, r2, ROR, 0},
2502 {{al, r6, r3, r13, ROR, 24},
2507 {{al, r2, r12, r13, ROR, 24},
2512 {{al, r4, r10, r1, ROR, 24},
2517 {{al, r11, r9, r5, ROR, 8},
2522 {{al, r11, r9, r7, ROR, 24},
2527 {{al, r4, r6, r4, ROR, 24},
2532 {{al, r9, r14, r14, ROR, 8},
2537 {{al, r7, r4, r11, ROR, 0},
2542 {{al, r10, r12, r5, ROR, 8},
2547 {{al, r4, r6, r1, ROR, 16},
2552 {{al, r11, r7, r5, ROR, 24},
2557 {{al, r13, r11, r5, ROR, 16},
2562 {{al, r14, r2, r6, ROR, 0},
2567 {{al, r2, r3, r6, ROR, 8},
2572 {{al, r10, r6, r13, ROR, 0},
2577 {{al, r7, r5, r6, ROR, 8},
2582 {{al, r10, r8, r9, ROR, 16},
2587 {{al, r9, r1, r1, ROR, 8},
2592 {{al, r11, r4, r12, ROR, 0},
2597 {{al, r12, r1, r6, ROR, 24},
2602 {{al, r4, r5, r9, ROR, 16},
2607 {{al, r11, r14, r9, ROR, 8},
2612 {{al, r14, r14, r7, ROR, 0},
2617 {{al, r3, r4, r3, ROR, 24},
2622 {{al, r5, r9, r14, ROR, 24},
2627 {{al, r0, r12, r14, ROR, 0},
2632 {{al, r4, r10, r4, ROR, 24},
2637 {{al, r6, r3, r4, ROR, 8},
2642 {{al, r1, r14, r9, ROR, 8},
2647 {{al, r11, r3, r12, ROR, 24},
2652 {{al, r0, r2, r14, ROR, 8},
2657 {{al, r4, r11, r10, ROR, 0},
2662 {{al, r6, r5, r4, ROR, 24},
2667 {{al, r6, r7, r9, ROR, 0},
2672 {{al, r8, r1, r0, ROR, 8},
2677 {{al, r12, r13, r10, ROR, 8},
2682 {{al, r7, r8, r7, ROR, 8},
2687 {{al, r13, r0, r9, ROR, 0},
2692 {{al, r6, r1, r12, ROR, 16},
2697 {{al, r2, r14, r4, ROR, 24},
2702 {{al, r12, r10, r2, ROR, 24},
2707 {{al, r9, r14, r1, ROR, 24},
2712 {{al, r6, r10, r13, ROR, 24},
2717 {{al, r13, r3, r9, ROR, 0},
2722 {{al, r8, r6, r0, ROR, 8},
2727 {{al, r1, r7, r8, ROR, 24},
2732 {{al, r3, r5, r14, ROR, 0},
2737 {{al, r4, r6, r4, ROR, 8},
2742 {{al, r3, r10, r7, ROR, 8},
2747 {{al, r9, r9, r0, ROR, 16},
2752 {{al, r3, r6, r13, ROR, 16},
2757 {{al, r7, r14, r3, ROR, 16},
2762 {{al, r13, r0, r14, ROR, 24},
2767 {{al, r14, r10, r13, ROR, 16},
2772 {{al, r2, r3, r12, ROR, 16},
2777 {{al, r6, r3, r13, ROR, 16},
2782 {{al, r12, r3, r0, ROR, 0},
2787 {{al, r3, r11, r13, ROR, 24},
2792 {{al, r10, r0, r4, ROR, 0},
2797 {{al, r4, r9, r0, ROR, 0},
2802 {{al, r11, r2, r4, ROR, 8},
2807 {{al, r2, r4, r7, ROR, 0},
2812 {{al, r4, r11, r5, ROR, 24},
2817 {{al, r12, r4, r12, ROR, 8},
2822 {{al, r7, r12, r8, ROR, 24},
2827 {{al, r4, r0, r7, ROR, 8},
2832 {{al, r1, r1, r11, ROR, 8},
2837 {{al, r0, r13, r14, ROR, 16},
2842 {{al, r1, r7, r13, ROR, 24},
2847 {{al, r12, r3, r10, ROR, 8},
2852 {{al, r7, r9, r1, ROR, 8},
2857 {{al, r3, r13, r14, ROR, 24},
2862 {{al, r6, r5, r7, ROR, 0},
2867 {{al, r10, r9, r0, ROR, 0},
2872 {{al, r3, r14, r2, ROR, 0},
2877 {{al, r13, r0, r12, ROR, 8},
2882 {{al, r7, r12, r11, ROR, 0},
2887 {{al, r7, r5, r3, ROR, 0},
2892 {{al, r11, r4, r4, ROR, 0},
2897 {{al, r4, r3, r7, ROR, 16},
2902 {{al, r8, r4, r14, ROR, 16},
2907 {{al, r1, r0, r8, ROR, 8},
2912 {{al, r10, r3, r10, ROR, 8},
2917 {{al, r3, r13, r7, ROR, 8},
2922 {{al, r4, r3, r14, ROR, 24},
2927 {{al, r0, r4, r2, ROR, 8},
2932 {{al, r1, r14, r2, ROR, 24},
2937 {{al, r6, r6, r1, ROR, 24},
2942 {{al, r8, r14, r3, ROR, 8},
2947 {{al, r14, r5, r14, ROR, 24},
2952 {{al, r1, r14, r12, ROR, 8},
2957 {{al, r12, r7, r1, ROR, 8},
2962 {{al, r12, r0, r13, ROR, 16},
2967 {{al, r8, r4, r12, ROR, 24},
2972 {{al, r1, r13, r3, ROR, 8},
2977 {{al, r8, r0, r11, ROR, 0},
2982 {{al, r10, r9, r10, ROR, 16},
2987 {{al, r9, r8, r13, ROR, 16},
2992 {{al, r4, r5, r6, ROR, 8},
2997 {{al, r14, r2, r8, ROR, 16},
3002 {{al, r2, r3, r14, ROR, 0},
3007 {{al, r6, r10, r13, ROR, 0},
3012 {{al, r1, r6, r9, ROR, 24},
3017 {{al, r5, r8, r2, ROR, 16},
3022 {{al, r3, r4, r4, ROR, 0},
3027 {{al, r2, r8, r1, ROR, 0},
3032 {{al, r2, r13, r4, ROR, 8},
3037 {{al, r5, r14, r7, ROR, 8},
3042 {{al, r5, r6, r11, ROR, 16},
3047 {{al, r7, r11, r6, ROR, 0},
3052 {{al, r10, r4, r11, ROR, 0},
3057 {{al, r8, r3, r5, ROR, 16},
3062 {{al, r5, r10, r6, ROR, 0},
3067 {{al, r3, r8, r1, ROR, 16},
3072 {{al, r9, r0, r10, ROR, 16},
3077 {{al, r14, r8, r3, ROR, 16},
3082 {{al, r8, r0, r1, ROR, 16},
3087 {{al, r5, r3, r8, ROR, 16},
3092 {{al, r2, r8, r4, ROR, 24},
3097 {{al, r9, r7, r9, ROR, 16},
3102 {{al, r6, r5, r0, ROR, 0},
3107 {{al, r5, r5, r1, ROR, 24},
3112 {{al, r5, r9, r2, ROR, 24},
3117 {{al, r12, r4, r14, ROR, 0},
3122 {{al, r11, r11, r9, ROR, 0},
3127 {{al, r4, r1, r11, ROR, 0},
3132 {{al, r9, r8, r0, ROR, 16},
3137 {{al, r13, r10, r6, ROR, 16},
3142 {{al, r14, r4, r9, ROR, 8},
3147 {{al, r4, r8, r4, ROR, 24},
3152 {{al, r4, r8, r12, ROR, 8},
3157 {{al, r10, r10, r2, ROR, 8},
3162 {{al, r7, r5, r2, ROR, 24},
3167 {{al, r12, r9, r12, ROR, 0},
3172 {{al, r11, r12, r5, ROR, 24},
3177 {{al, r9, r13, r10, ROR, 16},
3182 {{al, r1, r9, r9, ROR, 0},
3187 {{al, r10, r13, r13, ROR, 16},
3192 {{al, r9, r1, r8, ROR, 8},
3197 {{al, r6, r11, r2, ROR, 0},
3202 {{al, r8, r1, r11, ROR, 8},
3207 {{al, r0, r7, r4, ROR, 0},
3212 {{al, r10, r2, r6, ROR, 0},
3217 {{al, r8, r5, r2, ROR, 16},
3222 {{al, r0, r13, r1, ROR, 24},
3227 {{al, r10, r12, r6, ROR, 8},
3232 {{al, r3, r10, r3, ROR, 16},
3237 {{al, r0, r10, r5, ROR, 8},
3242 {{al, r6, r4, r2, ROR, 0},
3247 {{al, r8, r10, r5, ROR, 16},
3252 {{al, r14, r10, r7, ROR, 0},
3257 {{al, r8, r11, r2, ROR, 0},
3262 {{al, r14, r0, r2, ROR, 0},
3267 {{al, r8, r1, r7, ROR, 8},
3272 {{al, r6, r0, r4, ROR, 8},
3277 {{al, r4, r8, r6, ROR, 16},
3282 {{al, r1, r8, r0, ROR, 0},
3287 {{al, r5, r5, r6, ROR, 16},
3292 {{al, r6, r9, r11, ROR, 8},
3297 {{al, r10, r7, r6, ROR, 16},
3302 {{al, r3, r5, r10, ROR, 8},
3307 {{al, r2, r1, r2, ROR, 16},
3312 {{al, r13, r7, r14, ROR, 8},
3317 {{al, r10, r2, r3, ROR, 8},
3322 {{al, r6, r2, r1, ROR, 24},
3327 {{al, r12, r0, r13, ROR, 8},
3332 {{al, r11, r7, r6, ROR, 24},
3337 {{al, r6, r3, r9, ROR, 24},
3342 {{al, r4, r3, r8, ROR, 8},
3347 {{al, r10, r7, r0, ROR, 16},
3352 {{al, r13, r2, r11, ROR, 0},
3357 {{al, r13, r5, r14, ROR, 16},
3362 {{al, r6, r4, r2, ROR, 24},
3367 {{al, r7, r5, r10, ROR, 8},
3372 {{al, r6, r5, r11, ROR, 24},
3377 {{al, r8, r7, r3, ROR, 24},
3382 {{al, r0, r12, r4, ROR, 24},
3387 {{al, r14, r14, r12, ROR, 16},
3392 {{al, r12, r2, r1, ROR, 8},
3397 {{al, r12, r9, r2, ROR, 0},
3402 {{al, r13, r14, r2, ROR, 8},
3407 {{al, r14, r1, r5, ROR, 24},
3412 {{al, r1, r2, r8, ROR, 0},
3417 {{al, r0, r8, r6, ROR, 16},
3422 {{al, r13, r9, r12, ROR, 16},
3427 {{al, r6, r14, r3, ROR, 24},
3432 {{al, r14, r3, r1, ROR, 16},
3437 {{al, r2, r14, r13, ROR, 0},
3442 {{al, r11, r1, r7, ROR, 24},
3447 {{al, r7, r12, r9, ROR, 8},
3452 {{al, r7, r6, r12, ROR, 8},
3457 {{al, r3, r11, r3, ROR, 16},
3462 {{al, r9, r5, r13, ROR, 0},
3467 {{al, r2, r2, r5, ROR, 16},
3472 {{al, r3, r0, r8, ROR, 24},
3477 {{al, r2, r1, r6, ROR, 8},
3482 {{al, r2, r12, r5, ROR, 8},
3487 {{al, r4, r0, r11, ROR, 16},
3492 {{al, r3, r10, r4, ROR, 24},
3497 {{al, r5, r8, r11, ROR, 0},
3502 {{al, r6, r7, r2, ROR, 16},
3507 {{al, r10, r11, r1, ROR, 16},
3512 {{al, r8, r6, r9, ROR, 24},
3517 {{al, r3, r3, r13, ROR, 8},
3522 {{al, r3, r4, r9, ROR, 0},
3527 {{al, r14, r8, r9, ROR, 24},
3532 {{al, r1, r0, r10, ROR, 24},
3537 {{al, r1, r9, r8, ROR, 16},
3542 {{al, r10, r10, r7, ROR, 0},
3547 {{al, r13, r2, r1, ROR, 16},
3552 {{al, r9, r7, r8, ROR, 16},
3557 {{al, r0, r4, r14, ROR, 16},
3562 {{al, r7, r7, r3, ROR, 24},
3567 {{al, r11, r1, r6, ROR, 16},
3572 {{al, r13, r7, r3, ROR, 24},
3577 {{al, r7, r7, r8, ROR, 16},
3582 {{al, r13, r13, r6, ROR, 24},
3587 {{al, r14, r9, r8, ROR, 24},
3592 {{al, r3, r4, r8, ROR, 24},
3597 {{al, r6, r9, r1, ROR, 0},
3602 {{al, r11, r3, r1, ROR, 16},
3607 {{al, r7, r8, r11, ROR, 8},
3612 {{al, r1, r7, r10, ROR, 24},
3617 {{al, r6, r6, r12, ROR, 16},
3622 {{al, r10, r8, r2, ROR, 8},
3627 {{al, r14, r4, r7, ROR, 8},
3632 {{al, r14, r13, r1, ROR, 16},
3637 {{al, r6, r2, r8, ROR, 16},
3642 {{al, r5, r12, r12, ROR, 16},
3647 {{al, r9, r0, r6, ROR, 24},
3652 {{al, r9, r14, r0, ROR, 16},
3657 {{al, r7, r2, r12, ROR, 16},
3662 {{al, r11, r6, r8, ROR, 8},
3667 {{al, r14, r1, r12, ROR, 24},
3672 {{al, r11, r11, r7, ROR, 8},
3677 {{al, r14, r10, r8, ROR, 8},
3682 {{al, r0, r1, r14, ROR, 0},
3687 {{al, r0, r11, r9, ROR, 16},
3692 {{al, r4, r13, r0, ROR, 8},
3697 {{al, r14, r11, r3, ROR, 8},
3702 {{al, r13, r6, r2, ROR, 16},
3707 {{al, r13, r6, r9, ROR, 16},
3712 {{al, r0, r11, r9, ROR, 24},
3717 {{al, r13, r4, r4, ROR, 16},
3722 {{al, r9, r12, r6, ROR, 24},
3727 {{al, r0, r8, r1, ROR, 0},
3732 {{al, r5, r9, r8, ROR, 16},
3737 {{al, r13, r4, r7, ROR, 16},
3742 {{al, r5, r11, r9, ROR, 8},
3747 {{al, r7, r8, r14, ROR, 8},
3752 {{al, r5, r2, r6, ROR, 0},
3757 {{al, r14, r7, r14, ROR, 0},
3762 {{al, r14, r0, r10, ROR, 8},
3767 {{al, r4, r4, r5, ROR, 0},
3772 {{al, r5, r1, r10, ROR, 0},
3777 {{al, r3, r10, r1, ROR, 0},
3782 {{al, r0, r2, r7, ROR, 0},
3787 {{al, r6, r10, r13, ROR, 8},
3792 {{al, r11, r7, r4, ROR, 24},
3797 {{al, r12, r14, r9, ROR, 0},
3802 {{al, r11, r10, r1, ROR, 16},
3807 {{al, r8, r4, r10, ROR, 0},
3812 {{al, r13, r12, r3, ROR, 8},
3817 {{al, r3, r6, r7, ROR, 24},
3822 {{al, r10, r12, r11, ROR, 0},
3827 {{al, r11, r8, r6, ROR, 0},
3832 {{al, r7, r8, r13, ROR, 8},
3837 {{al, r13, r3, r10, ROR, 24},
3842 {{al, r11, r11, r9, ROR, 24},
3847 {{al, r8, r12, r4, ROR, 24},
3852 {{al, r13, r12, r8, ROR, 0},
3857 {{al, r13, r5, r11, ROR, 16},
3862 {{al, r4, r1, r9, ROR, 0},
3867 {{al, r2, r0, r12, ROR, 8},
3872 {{al, r11, r6, r0, ROR, 0},
3877 {{al, r10, r4, r13, ROR, 0},
3882 {{al, r12, r4, r12, ROR, 24},
3887 {{al, r2, r6, r2, ROR, 16},
3892 {{al, r6, r10, r4, ROR, 16},
3897 {{al, r2, r13, r6, ROR, 24},
3902 {{al, r14, r14, r5, ROR, 8},
3907 {{al, r0, r6, r12, ROR, 24},
3912 {{al, r11, r10, r10, ROR, 8},
3917 {{al, r10, r8, r4, ROR, 8},
3922 {{al, r5, r8, r11, ROR, 8},
3927 {{al, r12, r0, r3, ROR, 8},
3932 {{al, r5, r1, r11, ROR, 24},
3937 {{al, r1, r10, r5, ROR, 16},
3942 {{al, r13, r13, r14, ROR, 24},
3947 {{al, r6, r9, r4, ROR, 8},
3952 {{al, r10, r4, r13, ROR, 24},
3957 {{al, r14, r5, r0, ROR, 8},
3962 {{al, r11, r10, r13, ROR, 0},
3967 {{al, r12, r1, r4, ROR, 0},
3972 {{al, r2, r9, r0, ROR, 0},
3977 {{al, r8, r6, r1, ROR, 0},
3982 {{al, r13, r11, r7, ROR, 0},
3987 {{al, r5, r11, r5, ROR, 0},
3992 {{al, r2, r2, r5, ROR, 24},
3997 {{al, r10, r3, r9, ROR, 8},
4002 {{al, r5, r11, r0, ROR, 8},
4007 {{al, r11, r6, r8, ROR, 0},
4012 {{al, r0, r8, r11, ROR, 24},
4017 {{al, r8, r0, r14, ROR, 24},
4022 {{al, r14, r11, r13, ROR, 8},
4027 {{al, r7, r2, r8, ROR, 16},
4032 {{al, r8, r5, r8, ROR, 24},
4037 {{al, r6, r5, r13, ROR, 16},
4042 {{al, r4, r9, r9, ROR, 16},
4047 {{al, r10, r14, r7, ROR, 0},
4052 {{al, r1, r1, r6, ROR, 0},
4057 {{al, r1, r10, r14, ROR, 8},
4062 {{al, r1, r7, r11, ROR, 24},
4067 {{al, r5, r7, r1, ROR, 16},
4072 {{al, r12, r2, r6, ROR, 8},
4077 {{al, r8, r6, r8, ROR, 0},
4082 {{al, r0, r6, r2, ROR, 0},
4087 {{al, r13, r11, r1, ROR, 16},
4092 {{al, r9, r3, r13, ROR, 24},
4097 {{al, r1, r11, r2, ROR, 8},
4102 {{al, r5, r8, r6, ROR, 24},
4107 {{al, r4, r12, r9, ROR, 16},
4112 {{al, r9, r12, r14, ROR, 8},
4117 {{al, r2, r12, r10, ROR, 0},
4122 {{al, r1, r13, r7, ROR, 24},
4127 {{al, r2, r1, r10, ROR, 24},
4132 {{al, r3, r3, r14, ROR, 0},
4137 {{al, r7, r11, r2, ROR, 16},
4142 {{al, r13, r9, r10, ROR, 0},
4147 {{al, r1, r3, r10, ROR, 24},
4152 {{al, r1, r2, r3, ROR, 0},
4157 {{al, r1, r5, r2, ROR, 16},
4162 {{al, r14, r4, r7, ROR, 16},
4167 {{al, r0, r8, r12, ROR, 16},
4172 {{al, r8, r10, r14, ROR, 16},
4177 {{al, r10, r5, r0, ROR, 0},
4182 {{al, r5, r2, r4, ROR, 0},
4187 {{al, r1, r8, r7, ROR, 16},
4192 {{al, r5, r3, r12, ROR, 0},
4197 {{al, r1, r3, r1, ROR, 8},
4202 {{al, r10, r1, r12, ROR, 0},
4207 {{al, r13, r8, r4, ROR, 24},
4212 {{al, r10, r6, r7, ROR, 0},
4217 {{al, r1, r7, r1, ROR, 24},
4222 {{al, r6, r7, r14, ROR, 24},
4227 {{al, r5, r2, r11, ROR, 8},
4232 {{al, r3, r1, r2, ROR, 16},
4237 {{al, r4, r9, r11, ROR, 0},
4242 {{al, r4, r1, r8, ROR, 0},
4247 {{al, r0, r11, r0, ROR, 0},
4252 {{al, r5, r7, r2, ROR, 24},
4257 {{al, r3, r5, r12, ROR, 0},
4262 {{al, r2, r10, r5, ROR, 24},
4267 {{al, r13, r1, r2, ROR, 8},
4272 {{al, r0, r6, r5, ROR, 24},
4277 {{al, r7, r2, r13, ROR, 24},
4282 {{al, r12, r11, r2, ROR, 24},
4287 {{al, r14, r8, r12, ROR, 0},
4292 {{al, r9, r10, r13, ROR, 16},
4297 {{al, r5, r12, r0, ROR, 8},
4302 {{al, r9, r14, r1, ROR, 0},
4307 {{al, r0, r8, r11, ROR, 0},
4312 {{al, r3, r4, r11, ROR, 8},
4317 {{al, r9, r3, r12, ROR, 8},
4322 {{al, r3, r14, r9, ROR, 8},
4327 {{al, r1, r10, r0, ROR, 8},
4332 {{al, r4, r12, r1, ROR, 16},
4337 {{al, r3, r2, r8, ROR, 8},
4342 {{al, r4, r8, r10, ROR, 0},
4347 {{al, r5, r6, r5, ROR, 24},
4352 {{al, r8, r14, r7, ROR, 16},
4357 {{al, r2, r11, r13, ROR, 0},
4362 {{al, r11, r1, r2, ROR, 24},
4367 {{al, r5, r1, r2, ROR, 0},
4372 {{al, r11, r12, r2, ROR, 8},
4377 {{al, r12, r5, r8, ROR, 0},
4382 {{al, r7, r3, r12, ROR, 0},
4387 {{al, r1, r2, r4, ROR, 0},
4392 {{al, r14, r10, r1, ROR, 24},
4397 {{al, r14, r10, r1, ROR, 16},
4402 {{al, r5, r13, r9, ROR, 24},
4407 {{al, r10, r8, r13, ROR, 24},
4412 {{al, r12, r11, r0, ROR, 16},
4417 {{al, r9, r11, r7, ROR, 16},
4422 {{al, r2, r9, r5, ROR, 0},
4427 {{al, r14, r10, r14, ROR, 0},
4432 {{al, r5, r8, r6, ROR, 8},
4437 {{al, r8, r13, r2, ROR, 0},
4442 {{al, r2, r5, r7, ROR, 0},
4447 {{al, r3, r13, r8, ROR, 16},
4452 {{al, r12, r13, r13, ROR, 8},
4457 {{al, r2, r4, r11, ROR, 8},
4462 {{al, r6, r5, r4, ROR, 0},
4467 {{al, r4, r9, r10, ROR, 8},
4472 {{al, r4, r0, r3, ROR, 8},
4477 {{al, r8, r13, r2, ROR, 24},
4482 {{al, r3, r4, r6, ROR, 8},
4487 {{al, r11, r9, r6, ROR, 0},
4492 {{al, r10, r12, r1, ROR, 24},
4497 {{al, r1, r10, r11, ROR, 8},
4502 {{al, r12, r12, r4, ROR, 16},
4507 {{al, r2, r7, r12, ROR, 16},
4512 {{al, r3, r3, r4, ROR, 8},
4517 {{al, r9, r12, r9, ROR, 24},
4522 {{al, r0, r5, r2, ROR, 0},
4527 {{al, r8, r13, r4, ROR, 0},
4532 {{al, r4, r1, r0, ROR, 0},
4537 {{al, r12, r8, r10, ROR, 24},
4542 {{al, r6, r6, r13, ROR, 0},
4547 {{al, r7, r2, r2, ROR, 0},
4552 {{al, r13, r6, r7, ROR, 24},
4557 {{al, r5, r11, r4, ROR, 8},
4562 {{al, r12, r0, r9, ROR, 8},
4567 {{al, r5, r9, r5, ROR, 8},
4572 {{al, r0, r0, r12, ROR, 24},
4577 {{al, r1, r14, r2, ROR, 16},
4582 {{al, r1, r14, r6, ROR, 24},
4587 {{al, r4, r12, r9, ROR, 0},
4592 {{al, r5, r0, r3, ROR, 0},
4597 {{al, r13, r9, r2, ROR, 16},
4602 {{al, r11, r6, r5, ROR, 24},
4607 {{al, r13, r0, r1, ROR, 24},
4612 {{al, r14, r1, r10, ROR, 8},
4617 {{al, r11, r4, r6, ROR, 24},
4622 {{al, r12, r5, r9, ROR, 0},
4627 {{al, r7, r14, r6, ROR, 16},
4632 {{al, r14, r5, r0, ROR, 24},
4637 {{al, r2, r1, r7, ROR, 24},
4642 {{al, r9, r11, r6, ROR, 8},
4647 {{al, r3, r11, r7, ROR, 24},
4652 {{al, r5, r10, r3, ROR, 24},
4657 {{al, r5, r2, r2, ROR, 16},
4662 {{al, r9, r11, r5, ROR, 8},
4667 {{al, r13, r5, r7, ROR, 16},
4672 {{al, r3, r8, r9, ROR, 8},
4677 {{al, r10, r3, r2, ROR, 16},
4682 {{al, r12, r12, r1, ROR, 8},
4687 {{al, r4, r12, r5, ROR, 8},
4692 {{al, r2, r3, r13, ROR, 8},
4697 {{al, r5, r13, r12, ROR, 24},
4702 {{al, r1, r2, r9, ROR, 0},
4707 {{al, r12, r3, r6, ROR, 8},
4712 {{al, r6, r6, r0, ROR, 24},
4717 {{al, r10, r5, r9, ROR, 0},
4722 {{al, r4, r1, r12, ROR, 24},
4727 {{al, r6, r5, r1, ROR, 0},
4732 {{al, r11, r4, r8, ROR, 8},
4737 {{al, r3, r10, r8, ROR, 0},
4742 {{al, r9, r11, r4, ROR, 8},
4747 {{al, r5, r5, r14, ROR, 16},
4752 {{al, r4, r5, r2, ROR, 0},
4757 {{al, r9, r7, r7, ROR, 24},
4762 {{al, r5, r5, r10, ROR, 24},
4767 {{al, r14, r0, r3, ROR, 24},
4772 {{al, r9, r3, r9, ROR, 0},
4777 {{al, r7, r11, r11, ROR, 8},
4782 {{al, r7, r4, r4, ROR, 0},
4787 {{al, r10, r10, r3, ROR, 8},
4792 {{al, r11, r7, r2, ROR, 0},
4797 {{al, r10, r4, r3, ROR, 8},
4802 {{al, r0, r7, r10, ROR, 24},
4807 {{al, r14, r4, r2, ROR, 0},
4812 {{al, r9, r7, r0, ROR, 0},
4817 {{al, r11, r7, r11, ROR, 8},
4822 {{al, r3, r6, r7, ROR, 0},
4827 {{al, r2, r11, r2, ROR, 24},
4832 {{al, r3, r3, r11, ROR, 24},
4837 {{al, r10, r3, r3, ROR, 16},
4842 {{al, r5, r9, r11, ROR, 16},
4847 {{al, r11, r13, r5, ROR, 0},
4852 {{al, r9, r4, r11, ROR, 16},
4857 {{al, r8, r13, r12, ROR, 24},
4862 {{al, r1, r2, r6, ROR, 24},
4867 {{al, r10, r7, r13, ROR, 8},
4872 {{al, r3, r11, r1, ROR, 0},
4877 {{al, r0, r4, r12, ROR, 0},
4882 {{al, r12, r11, r5, ROR, 8},
4887 {{al, r1, r9, r13, ROR, 8},
4892 {{al, r0, r12, r11, ROR, 16},
4897 {{al, r3, r1, r14, ROR, 16},
4902 {{al, r4, r12, r8, ROR, 24},
4907 {{al, r5, r2, r6, ROR, 16},
4912 {{al, r1, r13, r0, ROR, 24},
4917 {{al, r0, r14, r6, ROR, 16},
4922 {{al, r4, r11, r7, ROR, 24},
4927 {{al, r4, r2, r13, ROR, 8},
4932 {{al, r1, r4, r1, ROR, 0},
4937 {{al, r4, r7, r4, ROR, 24},
4942 {{al, r11, r1, r3, ROR, 0},
4947 {{al, r3, r14, r3, ROR, 8},
4952 {{al, r5, r7, r5, ROR, 8},
4957 {{al, r0, r4, r10, ROR, 0},
4962 {{al, r0, r13, r10, ROR, 0},
4967 {{al, r14, r11, r12, ROR, 24},
4972 {{al, r4, r11, r0, ROR, 24},
4977 {{al, r1, r7, r14, ROR, 24},
4982 {{al, r2, r10, r13, ROR, 24},
4987 {{al, r13, r13, r9, ROR, 16},
4992 {{al, r10, r4, r0, ROR, 24},
4997 {{al, r9, r11, r5, ROR, 16},
5002 {{al, r3, r14, r11, ROR, 0},
5007 {{al, r13, r10, r8, ROR, 0},
5012 {{al, r3, r6, r10, ROR, 8},
5017 {{al, r6, r14, r10, ROR, 0},
5022 {{al, r2, r13, r4, ROR, 16},
5027 {{al, r9, r11, r2, ROR, 16},
5032 {{al, r10, r9, r5, ROR, 24},
5037 {{al, r13, r3, r2, ROR, 8},
5042 {{al, r13, r14, r9, ROR, 16},
5047 {{al, r13, r3, r11, ROR, 16},
5052 {{al, r12, r10, r4, ROR, 24},
5057 {{al, r0, r9, r3, ROR, 16},
5062 {{al, r4, r9, r1, ROR, 16},
5067 {{al, r9, r8, r1, ROR, 8},
5072 {{al, r0, r5, r10, ROR, 0},
5077 {{al, r8, r4, r14, ROR, 8},
5082 {{al, r2, r8, r2, ROR, 0},
5087 {{al, r7, r11, r6, ROR, 8},
5092 {{al, r7, r2, r4, ROR, 16},
5097 {{al, r4, r8, r9, ROR, 8},