SMUL_0001	PR00051	SMUL_0001
SMUL_0003	PR00418	SMUL_0003
SMUL_0003	PR01159	SMUL_0003
SMUL_0018	PR00415	SMUL_0018
SMUL_0061	PR00455	SMUL_0061
SMUL_0063	PR00032	SMUL_0063
SMUL_0064	PR00368	SMUL_0064
SMUL_0064	PR00411	SMUL_0064
SMUL_0065	PR00086	SMUL_0065
SMUL_0067	PR01798	SMUL_0067
SMUL_0109	PR01183	SMUL_0109
SMUL_0110	PR00145	SMUL_0110
SMUL_0110	PR00149	SMUL_0110
SMUL_0132	PR00509	SMUL_0132
SMUL_0133	PR00781	SMUL_0133
SMUL_0135	PR01047	SMUL_0135
SMUL_0137	PR00064	SMUL_0137
SMUL_0138	PR00062	SMUL_0138
SMUL_0141	PR00976	SMUL_0141
SMUL_0169	PR00344	SMUL_0169
SMUL_0171	PR00153	SMUL_0171
SMUL_0172	PR00340	SMUL_0172
SMUL_0193	PR00154	SMUL_0193
SMUL_0206	PR01434	SMUL_0206
SMUL_0206	PR01435	SMUL_0206
SMUL_0207	PR01437	SMUL_0207
SMUL_0224	PR01249	SMUL_0224
SMUL_0232	PR00421	SMUL_0232
SMUL_0233	PR00368	SMUL_0233
SMUL_0233	PR00469	SMUL_0233
SMUL_0240	PR00679	SMUL_0240
SMUL_0248	PR01652	SMUL_0248
SMUL_0250	PR00098	SMUL_0250
SMUL_0281	PR00344	SMUL_0281
SMUL_0293	PR01179	SMUL_0293
SMUL_0293	PR01181	SMUL_0293
SMUL_0296	PR01009	SMUL_0296
SMUL_0297	PR00954	SMUL_0297
SMUL_0304	PR01243	SMUL_0304
SMUL_0313	PR00344	SMUL_0313
SMUL_0319	PR00950	SMUL_0319
SMUL_0325	PR00958	SMUL_0325
SMUL_0327	PR00449	SMUL_0327
SMUL_0333	PR00050	SMUL_0333
SMUL_0334	PR00344	SMUL_0334
SMUL_0363	PR00080	SMUL_0363
SMUL_0363	PR00081	SMUL_0363
SMUL_0366	PR00039	SMUL_0366
SMUL_0368	PR01011	SMUL_0368
SMUL_0381	PR00046	SMUL_0381
SMUL_0382	PR00955	SMUL_0382
SMUL_0383	PR00956	SMUL_0383
SMUL_0393	PR00315	SMUL_0393
SMUL_0421	PR00105	SMUL_0421
SMUL_0438	PR00086	SMUL_0438
SMUL_0452	PR00421	SMUL_0452
SMUL_0460	PR00080	SMUL_0460
SMUL_0460	PR00081	SMUL_0460
SMUL_0463	PR00337	SMUL_0463
SMUL_0476	PR00315	SMUL_0476
SMUL_0480	PR00338	SMUL_0480
SMUL_0487	PR01034	SMUL_0487
SMUL_0489	PR00315	SMUL_0489
SMUL_0495	PR00033	SMUL_0495
SMUL_0497	PR00069	SMUL_0497
SMUL_0504	PR00344	SMUL_0504
SMUL_0513	PR01434	SMUL_0513
SMUL_0513	PR01435	SMUL_0513
SMUL_0514	PR01437	SMUL_0514
SMUL_0524	PR00992	SMUL_0524
SMUL_0529	PR01703	SMUL_0529
SMUL_0530	PR01264	SMUL_0530
SMUL_0533	PR00144	SMUL_0533
SMUL_0534	PR00100	SMUL_0534
SMUL_0534	PR00102	SMUL_0534
SMUL_0561	PR01805	SMUL_0561
SMUL_0562	PR00395	SMUL_0562
SMUL_0565	PR00953	SMUL_0565
SMUL_0569	PR01038	SMUL_0569
SMUL_0577	PR00078	SMUL_0577
SMUL_0578	PR00477	SMUL_0578
SMUL_0580	PR00081	SMUL_0580
SMUL_0597	PR00139	SMUL_0597
SMUL_0612	PR00162	SMUL_0612
SMUL_0620	PR00344	SMUL_0620
SMUL_0653	PR00984	SMUL_0653
SMUL_0673	PR01050	SMUL_0673
SMUL_0675	PR00063	SMUL_0675
SMUL_0676	PR00326	SMUL_0676
SMUL_0677	PR00474	SMUL_0677
SMUL_0686	PR00126	SMUL_0686
SMUL_0693	PR01021	SMUL_0693
SMUL_0702	PR00419	SMUL_0702
SMUL_0704	PR01070	SMUL_0704
SMUL_0712	PR00956	SMUL_0712
SMUL_0730	PR00173	SMUL_0730
SMUL_0731	PR00173	SMUL_0731
SMUL_0733	PR00868	SMUL_0733
SMUL_0736	PR00625	SMUL_0736
SMUL_0747	PR00260	SMUL_0747
SMUL_0750	PR00095	SMUL_0750
SMUL_0754	PR00982	SMUL_0754
SMUL_0766	PR00344	SMUL_0766
SMUL_0774	PR00096	SMUL_0774
SMUL_0774	PR00097	SMUL_0774
SMUL_0774	PR00099	SMUL_0774
SMUL_0780	PR00124	SMUL_0780
SMUL_0783	PR00344	SMUL_0783
SMUL_0792	PR00145	SMUL_0792
SMUL_0792	PR00149	SMUL_0792
SMUL_0793	PR00332	SMUL_0793
SMUL_0798	PR00681	SMUL_0798
SMUL_0803	PR00702	SMUL_0803
SMUL_0810	PR00260	SMUL_0810
SMUL_0815	PR00368	SMUL_0815
SMUL_0815	PR00411	SMUL_0815
SMUL_0828	PR00702	SMUL_0828
SMUL_0837	PR00344	SMUL_0837
SMUL_0840	PR00335	SMUL_0840
SMUL_0853	PR01040	SMUL_0853
SMUL_0857	PR00094	SMUL_0857
SMUL_0858	PR01042	SMUL_0858
SMUL_0879	PR01041	SMUL_0879
SMUL_0881	PR01958	SMUL_0881
SMUL_0886	PR00987	SMUL_0886
SMUL_0887	PR00987	SMUL_0887
SMUL_0917	PR00038	SMUL_0917
SMUL_0923	PR01165	SMUL_0923
SMUL_0933	PR00507	SMUL_0933
SMUL_0941	PR00326	SMUL_0941
SMUL_0955	PR00344	SMUL_0955
SMUL_0957	PR00162	SMUL_0957
SMUL_0960	PR00260	SMUL_0960
SMUL_0971	PR00354	SMUL_0971
SMUL_0986	PR00298	SMUL_0986
SMUL_0987	PR00297	SMUL_0987
SMUL_1001	PR00313	SMUL_1001
SMUL_1016	PR00119	SMUL_1016
SMUL_1016	PR00120	SMUL_1016
SMUL_1017	PR00778	SMUL_1017
SMUL_1022	PR00032	SMUL_1022
SMUL_1051	PR00996	SMUL_1051
SMUL_1053	PR00481	SMUL_1053
SMUL_1060	PR00727	SMUL_1060
SMUL_1061	PR00085	SMUL_1061
SMUL_1096	PR00830	SMUL_1096
SMUL_1097	PR00974	SMUL_1097
SMUL_1120	PR01874	SMUL_1120
SMUL_1130	PR00153	SMUL_1130
SMUL_1136	PR00344	SMUL_1136
SMUL_1137	PR00344	SMUL_1137
SMUL_1176	PR01032	SMUL_1176
SMUL_1202	PR01576	SMUL_1202
SMUL_1206	PR00019	SMUL_1206
SMUL_1213	PR00344	SMUL_1213
SMUL_1223	PR00344	SMUL_1223
SMUL_1236	PR00045	SMUL_1236
SMUL_1260	PR01021	SMUL_1260
SMUL_1262	PR00412	SMUL_1262
SMUL_1275	PR00260	SMUL_1275
SMUL_1279	PR00344	SMUL_1279
SMUL_1285	PR00091	SMUL_1285
SMUL_1301	PR00344	SMUL_1301
SMUL_1304	PR00419	SMUL_1304
SMUL_1346	PR01099	SMUL_1346
SMUL_1351	PR00260	SMUL_1351
SMUL_1358	PR00455	SMUL_1358
SMUL_1360	PR00702	SMUL_1360
SMUL_1368	PR00147	SMUL_1368
SMUL_1386	PR01010	SMUL_1386
SMUL_1390	PR01005	SMUL_1390
SMUL_1395	PR00123	SMUL_1395
SMUL_1408	PR00951	SMUL_1408
SMUL_1408	PR01302	SMUL_1408
SMUL_1418	PR00662	SMUL_1418
SMUL_1420	PR00455	SMUL_1420
SMUL_1421	PR00614	SMUL_1421
SMUL_1423	PR00614	SMUL_1423
SMUL_1425	PR00161	SMUL_1425
SMUL_1426	PR00446	SMUL_1426
SMUL_1434	PR00445	SMUL_1434
SMUL_1443	PR00086	SMUL_1443
SMUL_1451	PR01798	SMUL_1451
SMUL_1459	PR00149	SMUL_1459
SMUL_1469	PR00081	SMUL_1469
SMUL_1470	PR00146	SMUL_1470
SMUL_1474	PR00983	SMUL_1474
SMUL_1475	PR01806	SMUL_1475
SMUL_1484	PR00471	SMUL_1484
SMUL_1486	PR01008	SMUL_1486
SMUL_1488	PR00812	SMUL_1488
SMUL_1492	PR00811	SMUL_1492
SMUL_1506	PR00045	SMUL_1506
SMUL_1534	PR00344	SMUL_1534
SMUL_1538	PR00344	SMUL_1538
SMUL_1569	PR00455	SMUL_1569
SMUL_1597	PR01727	SMUL_1597
SMUL_1602	PR01736	SMUL_1602
SMUL_1623	PR00368	SMUL_1623
SMUL_1623	PR00469	SMUL_1623
SMUL_1647	PR00368	SMUL_1647
SMUL_1647	PR00469	SMUL_1647
SMUL_1648	PR00753	SMUL_1648
SMUL_1650	PR01590	SMUL_1650
SMUL_1656	PR01179	SMUL_1656
SMUL_1656	PR01180	SMUL_1656
SMUL_1659	PR01020	SMUL_1659
SMUL_1663	PR00260	SMUL_1663
SMUL_1682	PR00344	SMUL_1682
SMUL_1699	PR00080	SMUL_1699
SMUL_1699	PR00081	SMUL_1699
SMUL_1709	PR00455	SMUL_1709
SMUL_1712	PR00702	SMUL_1712
SMUL_1715	PR00260	SMUL_1715
SMUL_1736	PR00417	SMUL_1736
SMUL_1778	PR01727	SMUL_1778
SMUL_1787	PR00505	SMUL_1787
SMUL_1839	PR00105	SMUL_1839
SMUL_1902	PR00151	SMUL_1902
SMUL_1905	PR01046	SMUL_1905
SMUL_1914	PR00986	SMUL_1914
SMUL_1918	PR00083	SMUL_1918
SMUL_1924	PR00934	SMUL_1924
SMUL_1932	PR01469	SMUL_1932
SMUL_1939	PR00301	SMUL_1939
SMUL_1940	PR00773	SMUL_1940
SMUL_1946	PR00949	SMUL_1946
SMUL_1960	PR00502	SMUL_1960
SMUL_1964	PR00625	SMUL_1964
SMUL_1965	PR00834	SMUL_1965
SMUL_1970	PR00906	SMUL_1970
SMUL_1974	PR00326	SMUL_1974
SMUL_1976	PR00701	SMUL_1976
SMUL_1976	PR01900	SMUL_1976
SMUL_2007	PR00300	SMUL_2007
SMUL_2014	PR00775	SMUL_2014
SMUL_2035	PR00944	SMUL_2035
SMUL_2036	PR00119	SMUL_2036
SMUL_2036	PR00943	SMUL_2036
SMUL_2044	PR00423	SMUL_2044
SMUL_2048	PR00260	SMUL_2048
SMUL_2050	PR00260	SMUL_2050
SMUL_2059	PR00625	SMUL_2059
SMUL_2066	PR01506	SMUL_2066
SMUL_2067	PR01840	SMUL_2067
SMUL_2081	PR00344	SMUL_2081
SMUL_2086	PR00344	SMUL_2086
SMUL_2100	PR00419	SMUL_2100
SMUL_2115	PR00032	SMUL_2115
SMUL_2128	PR00111	SMUL_2128
SMUL_2128	PR00412	SMUL_2128
SMUL_2136	PR00342	SMUL_2136
SMUL_2137	PR00340	SMUL_2137
SMUL_2143	PR01045	SMUL_2143
SMUL_2152	PR01575	SMUL_2152
SMUL_2159	PR00702	SMUL_2159
SMUL_2161	PR00778	SMUL_2161
SMUL_2166	PR00502	SMUL_2166
SMUL_2175	PR00260	SMUL_2175
SMUL_2176	PR00260	SMUL_2176
SMUL_2197	PR00143	SMUL_2197
SMUL_2206	PR00046	SMUL_2206
SMUL_2257	PR00985	SMUL_2257
SMUL_2258	PR01755	SMUL_2258
SMUL_2260	PR01853	SMUL_2260
SMUL_2265	PR00300	SMUL_2265
SMUL_2273	PR00039	SMUL_2273
SMUL_2277	PR00095	SMUL_2277
SMUL_2278	PR00100	SMUL_2278
SMUL_2278	PR00101	SMUL_2278
SMUL_2282	PR00032	SMUL_2282
SMUL_2286	PR00061	SMUL_2286
SMUL_2296	PR01044	SMUL_2296
SMUL_2308	PR00980	SMUL_2308
SMUL_2311	PR00344	SMUL_2311
SMUL_2321	PR01006	SMUL_2321
SMUL_2338	PR00096	SMUL_2338
SMUL_2338	PR00097	SMUL_2338
SMUL_2338	PR00099	SMUL_2338
SMUL_2341	PR00778	SMUL_2341
SMUL_2352	PR00344	SMUL_2352
SMUL_2357	PR00344	SMUL_2357
SMUL_2375	PR00169	SMUL_2375
SMUL_2384	PR01434	SMUL_2384
SMUL_2387	PR01434	SMUL_2387
SMUL_2418	PR00725	SMUL_2418
SMUL_2434	PR01171	SMUL_2434
SMUL_2450	PR00326	SMUL_2450
SMUL_2451	PR01100	SMUL_2451
SMUL_2452	PR01039	SMUL_2452
SMUL_2453	PR00981	SMUL_2453
SMUL_2472	PR01713	SMUL_2472
SMUL_2488	PR00509	SMUL_2488
SMUL_2503	PR00119	SMUL_2503
SMUL_2503	PR00943	SMUL_2503
SMUL_2519	PR00344	SMUL_2519
SMUL_2520	PR00368	SMUL_2520
SMUL_2520	PR00411	SMUL_2520
SMUL_2521	PR00162	SMUL_2521
SMUL_2525	PR01069	SMUL_2525
SMUL_2528	PR00080	SMUL_2528
SMUL_2528	PR00081	SMUL_2528
SMUL_2537	PR00081	SMUL_2537
SMUL_2571	PR00344	SMUL_2571
SMUL_2590	PR00145	SMUL_2590
SMUL_2590	PR00149	SMUL_2590
SMUL_2598	PR00344	SMUL_2598
SMUL_2607	PR00344	SMUL_2607
SMUL_2615	PR00032	SMUL_2615
SMUL_2617	PR01036	SMUL_2617
SMUL_2619	PR00702	SMUL_2619
SMUL_2624	PR00173	SMUL_2624
SMUL_2625	PR01487	SMUL_2625
SMUL_2633	PR01021	SMUL_2633
SMUL_2640	PR00762	SMUL_2640
SMUL_2657	PR00344	SMUL_2657
SMUL_2659	PR00096	SMUL_2659
SMUL_2659	PR00097	SMUL_2659
SMUL_2659	PR00099	SMUL_2659
SMUL_2668	PR00413	SMUL_2668
SMUL_2684	PR00599	SMUL_2684
SMUL_2685	PR00303	SMUL_2685
SMUL_2689	PR00059	SMUL_2689
SMUL_2695	PR00973	SMUL_2695
SMUL_2697	PR00060	SMUL_2697
SMUL_2704	PR00971	SMUL_2704
SMUL_2733	PR00996	SMUL_2733
SMUL_2739	PR00625	SMUL_2739
SMUL_2748	PR00119	SMUL_2748
SMUL_2754	PR00119	SMUL_2754
SMUL_2765	PR00326	SMUL_2765
SMUL_2799	PR00344	SMUL_2799
SMUL_2803	PR00344	SMUL_2803
SMUL_2804	PR00344	SMUL_2804
SMUL_2806	PR00260	SMUL_2806
SMUL_2816	PR00145	SMUL_2816
SMUL_2816	PR00149	SMUL_2816
SMUL_2817	PR00145	SMUL_2817
SMUL_2817	PR00149	SMUL_2817
SMUL_2819	PR00139	SMUL_2819
SMUL_2820	PR00344	SMUL_2820
SMUL_2853	PR01374	SMUL_2853
SMUL_2872	PR00354	SMUL_2872
SMUL_2895	PR00032	SMUL_2895
SMUL_2900	PR00354	SMUL_2900
SMUL_2906	PR00344	SMUL_2906
SMUL_2911	PR00598	SMUL_2911
SMUL_2929	PR00080	SMUL_2929
SMUL_2929	PR00081	SMUL_2929
SMUL_2942	PR00946	SMUL_2942
SMUL_2946	PR00505	SMUL_2946
SMUL_2966	PR00344	SMUL_2966
SMUL_2968	PR00119	SMUL_2968
SMUL_2973	PR00344	SMUL_2973
SMUL_2980	PR00080	SMUL_2980
SMUL_2980	PR00081	SMUL_2980
SMUL_2986	PR01035	SMUL_2986
SMUL_2999	PR00127	SMUL_2999
SMUL_3001	PR01576	SMUL_3001
SMUL_3018	PR00411	SMUL_3018
SMUL_3019	PR00420	SMUL_3019
SMUL_3045	PR00996	SMUL_3045
SMUL_3074	PR00702	SMUL_3074
SMUL_3080	PR00344	SMUL_3080
SMUL_3088	PR00315	SMUL_3088
SMUL_3092	PR00397	SMUL_3092
SMUL_3101	PR00344	SMUL_3101
SMUL_3117	PR00758	SMUL_3117
SMUL_3135	PR00505	SMUL_3135
SMUL_3143	PR00344	SMUL_3143
SMUL_3150	PR01652	SMUL_3150
SMUL_3153	PR00082	SMUL_3153
SMUL_3159	PR00987	SMUL_3159
SMUL_3162	PR01071	SMUL_3162
SMUL_3179	PR00080	SMUL_3179
SMUL_3179	PR00081	SMUL_3179
SMUL_3194	PR00207	SMUL_3194
SMUL_3195	PR00417	SMUL_3195
SMUL_3197	PR00143	SMUL_3197
SMUL_3200	PR00148	SMUL_3200
SMUL_3201	PR00142	SMUL_3201
SMUL_3203	PR00952	SMUL_3203
SMUL_3205	PR00789	SMUL_3205
SMUL_3213	PR00175	SMUL_3213
SMUL_3224	PR00067	SMUL_3224
SMUL_3228	PR00415	SMUL_3228
SMUL_3235	PR01486	SMUL_3235
SMUL_3277	PR00039	SMUL_3277
SMUL_3285	PR00388	SMUL_3285
SMUL_3295	PR00315	SMUL_3295
SMUL_3301	PR00696	SMUL_3301