Lines Matching refs:sub4
333 (+ MAJ_15 crnx64 rm (f-sub4 #x7)
344 (+ MAJ_15 crnx64 rm (f-sub4 #x7)
355 (+ MAJ_15 ivc2c3ccrn rm (f-sub4 #x7)
366 (+ MAJ_15 ivc2c3ccrn rm (f-sub4 #x7)
377 (+ MAJ_15 crnx64 rm (f-sub4 #x7)
388 (+ MAJ_15 crnx64 rm (f-sub4 #x7)
459 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
471 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
483 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
495 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
507 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
519 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
531 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
543 (+ MAJ_15 (f-ivc2-3u4 #x7) croc (f-sub4 7)
555 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
567 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
579 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
591 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
603 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
615 (+ MAJ_15 imm3p4 croc (f-sub4 7)
627 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
639 (+ MAJ_15 (f-ivc2-3u4 #x7) croc (f-sub4 7)
651 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
663 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
675 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
687 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
699 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
711 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
723 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
735 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
747 (+ MAJ_15 (f-ivc2-3u4 #x7) croc (f-sub4 7)
759 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
771 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
783 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
795 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
807 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
819 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
831 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
843 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
855 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
867 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
879 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
891 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
903 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
915 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
927 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
939 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
951 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
963 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
975 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
987 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
999 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
1011 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
1023 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
1035 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
1047 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
1059 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
1072 (+ MAJ_15 (f-ivc2-3u4 #x7) croc (f-sub4 7)
1085 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1097 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
1109 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
1121 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
1133 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
1145 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
1157 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
1169 (+ MAJ_15 (f-ivc2-3u4 #x7) croc (f-sub4 7)
1181 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1193 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
1205 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
1217 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
1229 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
1241 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
1253 (+ MAJ_15 (f-ivc2-3u4 #x6) croc (f-sub4 7)
1265 (+ MAJ_15 (f-ivc2-3u4 #x7) croc (f-sub4 7)
1277 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1289 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
1301 (+ MAJ_15 (f-ivc2-3u4 #x2) croc (f-sub4 7)
1313 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1325 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
1337 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
1349 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
1361 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
1373 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1385 (+ MAJ_15 (f-ivc2-3u4 #x1) croc (f-sub4 7)
1397 (+ MAJ_15 (f-ivc2-3u4 #x3) croc (f-sub4 7)
1409 (+ MAJ_15 (f-ivc2-3u4 #x4) croc (f-sub4 7)
1421 (+ MAJ_15 (f-ivc2-3u4 #x5) croc (f-sub4 7)
1433 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1445 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1457 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1469 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
1482 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
1495 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
1508 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1520 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1532 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1544 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1556 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1568 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1580 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1592 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1604 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1616 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1628 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1640 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1652 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1664 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1676 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1688 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1700 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1712 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1724 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1736 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1748 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1760 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1772 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1784 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1796 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1808 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1820 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1832 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1844 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1856 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1868 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1880 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
1892 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
1905 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1) (f-sub4 7)
1918 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x3) (f-sub4 7)
1931 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x5) (f-sub4 7)
1944 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x9) (f-sub4 7)
1957 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xb) (f-sub4 7)
1970 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xd) (f-sub4 7)
1983 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x10) (f-sub4 7)
1996 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x11) (f-sub4 7)
2009 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x13) (f-sub4 7)
2022 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x14) (f-sub4 7)
2035 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x15) (f-sub4 7)
2048 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x18) (f-sub4 7)
2061 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x19) (f-sub4 7)
2074 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1b) (f-sub4 7)
2087 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1c) (f-sub4 7)
2100 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1d) (f-sub4 7)
2113 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1) (f-sub4 7)
2126 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x3) (f-sub4 7)
2139 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x5) (f-sub4 7)
2152 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x9) (f-sub4 7)
2165 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #xb) (f-sub4 7)
2178 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #xd) (f-sub4 7)
2191 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x10) (f-sub4 7)
2204 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x11) (f-sub4 7)
2217 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x13) (f-sub4 7)
2230 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x14) (f-sub4 7)
2243 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x15) (f-sub4 7)
2256 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x18) (f-sub4 7)
2269 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x19) (f-sub4 7)
2282 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1b) (f-sub4 7)
2295 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1c) (f-sub4 7)
2308 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1d) (f-sub4 7)
2321 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x1) (f-sub4 7)
2334 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x3) (f-sub4 7)
2347 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x5) (f-sub4 7)
2360 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x9) (f-sub4 7)
2373 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #xb) (f-sub4 7)
2386 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #xd) (f-sub4 7)
2399 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x10) (f-sub4 7)
2412 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x11) (f-sub4 7)
2425 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x13) (f-sub4 7)
2438 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x14) (f-sub4 7)
2451 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x15) (f-sub4 7)
2464 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x18) (f-sub4 7)
2477 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x19) (f-sub4 7)
2490 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x1b) (f-sub4 7)
2503 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x1c) (f-sub4 7)
2516 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #x1d) (f-sub4 7)
2529 (+ MAJ_15 ivc-x-6-3 (f-ivc2-2u4 #x0) imm3p9 (f-sub4 7)
2541 (+ MAJ_15 ivc-x-6-2 (f-ivc2-2u4 #x1) imm4p8 (f-sub4 7)
2553 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x2) imm5p7 (f-sub4 7)
2565 (+ MAJ_15 (f-ivc2-2u4 #x3) imm6p6 (f-sub4 7)
2577 (+ MAJ_15 ivc-x-6-3 (f-ivc2-2u4 #x0) imm3p9 (f-sub4 7)
2589 (+ MAJ_15 ivc-x-6-2 (f-ivc2-2u4 #x1) imm4p8 (f-sub4 7)
2601 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x2) imm5p7 (f-sub4 7)
2613 (+ MAJ_15 (f-ivc2-2u4 #x3) imm6p6 (f-sub4 7)
2625 (+ MAJ_15 ivc-x-6-3 (f-ivc2-2u4 #x0) imm3p9 (f-sub4 7)
2637 (+ MAJ_15 ivc-x-6-2 (f-ivc2-2u4 #x1) imm4p8 (f-sub4 7)
2649 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x2) imm5p7 (f-sub4 7)
2661 (+ MAJ_15 (f-ivc2-2u4 #x3) imm6p6 (f-sub4 7)
2673 (+ MAJ_15 ivc-x-6-2 (f-ivc2-2u4 #x1) imm4p8 (f-sub4 7)
2685 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x2) imm5p7 (f-sub4 7)
2697 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x0) imm5p7 (f-sub4 7)
2709 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x1) imm5p7 (f-sub4 7)
2721 (+ MAJ_15 (f-ivc2-2u4 #x2) imm6p6 (f-sub4 7)
2733 (+ MAJ_15 (f-ivc2-2u4 #x3) imm6p6 (f-sub4 7)
2745 (+ MAJ_15 simm8p4 (f-sub4 7)
2757 (+ MAJ_15 imm8p4 (f-sub4 7)
2769 (+ MAJ_15 simm8p4 (f-sub4 7)
2781 (+ MAJ_15 imm8p4 (f-sub4 7)
2793 (+ MAJ_15 simm8p4 (f-sub4 7)
2805 (+ MAJ_15 imm8p4 (f-sub4 7)
2817 (+ MAJ_15 simm8p4 (f-sub4 7)
2829 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
2849 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1) (f-sub4 7)
2869 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x2) (f-sub4 7)
2885 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x3) (f-sub4 7)
2901 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x4) (f-sub4 7)
2922 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x5) (f-sub4 7)
2943 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x6) (f-sub4 7)
2960 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x7) (f-sub4 7)
2977 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x8) (f-sub4 7)
2997 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x9) (f-sub4 7)
3017 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xa) (f-sub4 7)
3033 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xb) (f-sub4 7)
3049 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xc) (f-sub4 7)
3070 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xd) (f-sub4 7)
3091 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xe) (f-sub4 7)
3108 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xf) (f-sub4 7)
3125 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x10) (f-sub4 7)
3145 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x11) (f-sub4 7)
3165 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x12) (f-sub4 7)
3181 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x13) (f-sub4 7)
3197 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x14) (f-sub4 7)
3218 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x15) (f-sub4 7)
3239 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x16) (f-sub4 7)
3256 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x17) (f-sub4 7)
3273 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x0) (f-sub4 7)
3293 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x2) (f-sub4 7)
3309 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x3) (f-sub4 7)
3325 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3337 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3349 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3361 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3373 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3385 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3397 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3409 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3421 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3433 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3445 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3457 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3469 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3481 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3493 (+ MAJ_15 (f-ivc2-3u4 #x0) croc (f-sub4 7)
3505 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
3525 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1) (f-sub4 7)
3545 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x2) (f-sub4 7)
3565 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x0) imm5p7 (f-sub4 7)
3585 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x1) imm5p7 (f-sub4 7)
3605 (+ MAJ_15 ivc-x-6-1 (f-ivc2-2u4 #x2) imm5p7 (f-sub4 7)
3625 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x0) (f-sub4 7)
3645 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1) (f-sub4 7)
3665 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x4) (f-sub4 7)
3686 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x5) (f-sub4 7)
3707 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x8) (f-sub4 7)
3727 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x9) (f-sub4 7)
3747 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xa) (f-sub4 7)
3763 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xb) (f-sub4 7)
3779 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xc) (f-sub4 7)
3795 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xd) (f-sub4 7)
3811 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xe) (f-sub4 7)
3827 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #xf) (f-sub4 7)
3843 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x10) (f-sub4 7)
3864 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x11) (f-sub4 7)
3885 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x12) (f-sub4 7)
3902 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x13) (f-sub4 7)
3919 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x14) (f-sub4 7)
3936 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x15) (f-sub4 7)
3953 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x16) (f-sub4 7)
3970 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x17) (f-sub4 7)
3987 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1a) (f-sub4 7)
4004 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1b) (f-sub4 7)
4021 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1c) (f-sub4 7)
4038 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1d) (f-sub4 7)
4055 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1e) (f-sub4 7)
4072 (+ MAJ_15 (f-ivc2-3u4 #x0) (f-ivc2-5u7 #x1f) (f-sub4 7)
4089 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x12) (f-sub4 7)
4106 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x13) (f-sub4 7)
4123 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x16) (f-sub4 7)
4140 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x17) (f-sub4 7)
4157 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1a) (f-sub4 7)
4174 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1b) (f-sub4 7)
4191 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1e) (f-sub4 7)
4208 (+ MAJ_15 (f-ivc2-3u4 #x1) (f-ivc2-5u7 #x1f) (f-sub4 7)
4225 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #xa) (f-sub4 7)
4242 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #xb) (f-sub4 7)
4259 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #xe) (f-sub4 7)
4276 (+ MAJ_15 (f-ivc2-3u4 #x2) (f-ivc2-5u7 #xf) (f-sub4 7)
4293 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x12) (f-sub4 7)
4310 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x13) (f-sub4 7)
4327 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x16) (f-sub4 7)
4344 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x17) (f-sub4 7)
4361 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x1a) (f-sub4 7)
4378 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x1b) (f-sub4 7)
4395 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x1e) (f-sub4 7)
4412 (+ MAJ_15 (f-ivc2-3u4 #x3) (f-ivc2-5u7 #x1f) (f-sub4 7)