SMUL_0002	PIRSF000804	SMUL_0002
SMUL_0005	PIRSF027377	SMUL_0005
SMUL_0039	PIRSF003073	SMUL_0039
SMUL_0057	PIRSF001488	SMUL_0057
SMUL_0064	PIRSF000171	SMUL_0064
SMUL_0065	PIRSF000102	SMUL_0065
SMUL_0070	PIRSF004869	SMUL_0070
SMUL_0077	PIRSF038984	SMUL_0077
SMUL_0103	PIRSF000355	SMUL_0103
SMUL_0113	PIRSF006004	SMUL_0113
SMUL_0117	PIRSF004803	SMUL_0117
SMUL_0118	PIRSF004692	SMUL_0118
SMUL_0171	PIRSF001467	SMUL_0171
SMUL_0172	PIRSF039144	SMUL_0172
SMUL_0177	PIRSF001237	SMUL_0177
SMUL_0183	PIRSF039085	SMUL_0183
SMUL_0223	PIRSF015601	SMUL_0223
SMUL_0225	PIRSF005917	SMUL_0225
SMUL_0230	PIRSF000098	SMUL_0230
SMUL_0232	PIRSF000077	SMUL_0232
SMUL_0234	PIRSF000161	SMUL_0234
SMUL_0235	PIRSF000485	SMUL_0235
SMUL_0242	PIRSF000239	SMUL_0242
SMUL_0246	PIRSF000456	SMUL_0246
SMUL_0261	PIRSF003073	SMUL_0261
SMUL_0276	PIRSF003073	SMUL_0276
SMUL_0277	PIRSF006092	SMUL_0277
SMUL_0280	PIRSF002867	SMUL_0280
SMUL_0285	PIRSF036915	SMUL_0285
SMUL_0294	PIRSF001500	SMUL_0294
SMUL_0296	PIRSF004862	SMUL_0296
SMUL_0297	PIRSF003161	SMUL_0297
SMUL_0301	PIRSF000239	SMUL_0301
SMUL_0307	PIRSF002465	SMUL_0307
SMUL_0310	PIRSF006076	SMUL_0310
SMUL_0311	PIRSF001267	SMUL_0311
SMUL_0318	PIRSF006250	SMUL_0318
SMUL_0325	PIRSF000676	SMUL_0325
SMUL_0333	PIRSF002599	SMUL_0333
SMUL_0368	PIRSF000303	SMUL_0368
SMUL_0372	PIRSF006483	SMUL_0372
SMUL_0375	PIRSF001399	SMUL_0375
SMUL_0379	PIRSF003092	SMUL_0379
SMUL_0382	PIRSF002888	SMUL_0382
SMUL_0388	PIRSF000390	SMUL_0388
SMUL_0398	PIRSF028687	SMUL_0398
SMUL_0401	PIRSF000148	SMUL_0401
SMUL_0402	PIRSF026509	SMUL_0402
SMUL_0438	PIRSF000102	SMUL_0438
SMUL_0440	PIRSF017245	SMUL_0440
SMUL_0452	PIRSF000077	SMUL_0452
SMUL_0454	PIRSF029755	SMUL_0454
SMUL_0460	PIRSF000126	SMUL_0460
SMUL_0467	PIRSF039137	SMUL_0467
SMUL_0468	PIRSF000197	SMUL_0468
SMUL_0482	PIRSF002155	SMUL_0482
SMUL_0487	PIRSF002133	SMUL_0487
SMUL_0488	PIRSF002122	SMUL_0488
SMUL_0492	PIRSF002854	SMUL_0492
SMUL_0499	PIRSF006603	SMUL_0499
SMUL_0518	PIRSF000216	SMUL_0518
SMUL_0528	PIRSF003078	SMUL_0528
SMUL_0529	PIRSF000349	SMUL_0529
SMUL_0533	PIRSF001415	SMUL_0533
SMUL_0536	PIRSF000167	SMUL_0536
SMUL_0537	PIRSF000139	SMUL_0537
SMUL_0550	PIRSF000177	SMUL_0550
SMUL_0557	PIRSF000388	SMUL_0557
SMUL_0575	PIRSF000294	SMUL_0575
SMUL_0577	PIRSF000149	SMUL_0577
SMUL_0578	PIRSF000724	SMUL_0578
SMUL_0580	PIRSF000094	SMUL_0580
SMUL_0608	PIRSF028756	SMUL_0608
SMUL_0615	PIRSF004638	SMUL_0615
SMUL_0617	PIRSF002746	SMUL_0617
SMUL_0622	PIRSF006470	SMUL_0622
SMUL_0624	PIRSF006066	SMUL_0624
SMUL_0656	PIRSF000130	SMUL_0656
SMUL_0657	PIRSF000443	SMUL_0657
SMUL_0664	PIRSF005814	SMUL_0664
SMUL_0676	PIRSF002401	SMUL_0676
SMUL_0677	PIRSF000729	SMUL_0677
SMUL_0685	PIRSF039088	SMUL_0685
SMUL_0697	PIRSF000446	SMUL_0697
SMUL_0699	PIRSF004976	SMUL_0699
SMUL_0705	PIRSF004505	SMUL_0705
SMUL_0708	PIRSF006621	SMUL_0708
SMUL_0717	PIRSF004633	SMUL_0717
SMUL_0727	PIRSF006060	SMUL_0727
SMUL_0741	PIRSF006446	SMUL_0741
SMUL_0753	PIRSF000412	SMUL_0753
SMUL_0779	PIRSF005499	SMUL_0779
SMUL_0786	PIRSF006066	SMUL_0786
SMUL_0790	PIRSF015658	SMUL_0790
SMUL_0791	PIRSF006294	SMUL_0791
SMUL_0796	PIRSF000505	SMUL_0796
SMUL_0807	PIRSF005901	SMUL_0807
SMUL_0811	PIRSF037677	SMUL_0811
SMUL_0814	PIRSF012524	SMUL_0814
SMUL_0819	PIRSF004638	SMUL_0819
SMUL_0839	PIRSF006247	SMUL_0839
SMUL_0850	PIRSF005650	SMUL_0850
SMUL_0862	PIRSF003128	SMUL_0862
SMUL_0865	PIRSF005902	SMUL_0865
SMUL_0869	PIRSF006118	SMUL_0869
SMUL_0881	PIRSF000904	SMUL_0881
SMUL_0881	PIRSF500210	SMUL_0881
SMUL_0889	PIRSF000013	SMUL_0889
SMUL_0890	PIRSF000243	SMUL_0890
SMUL_0937	PIRSF006105	SMUL_0937
SMUL_0941	PIRSF006641	SMUL_0941
SMUL_0946	PIRSF018266	SMUL_0946
SMUL_0954	PIRSF002741	SMUL_0954
SMUL_0959	PIRSF019225	SMUL_0959
SMUL_0968	PIRSF000103	SMUL_0968
SMUL_0975	PIRSF006324	SMUL_0975
SMUL_0984	PIRSF006483	SMUL_0984
SMUL_1000	PIRSF003073	SMUL_1000
SMUL_1011	PIRSF005522	SMUL_1011
SMUL_1018	PIRSF006324	SMUL_1018
SMUL_1020	PIRSF000412	SMUL_1020
SMUL_1032	PIRSF006324	SMUL_1032
SMUL_1043	PIRSF033490	SMUL_1043
SMUL_1045	PIRSF000382	SMUL_1045
SMUL_1055	PIRSF001413	SMUL_1055
SMUL_1058	PIRSF005384	SMUL_1058
SMUL_1086	PIRSF004762	SMUL_1086
SMUL_1096	PIRSF001174	SMUL_1096
SMUL_1098	PIRSF002070	SMUL_1098
SMUL_1103	PIRSF000116	SMUL_1103
SMUL_1104	PIRSF003092	SMUL_1104
SMUL_1115	PIRSF000521	SMUL_1115
SMUL_1123	PIRSF006806	SMUL_1123
SMUL_1130	PIRSF001467	SMUL_1130
SMUL_1139	PIRSF006181	SMUL_1139
SMUL_1181	PIRSF001259	SMUL_1181
SMUL_1202	PIRSF004749	SMUL_1202
SMUL_1203	PIRSF003230	SMUL_1203
SMUL_1215	PIRSF005243	SMUL_1215
SMUL_1220	PIRSF037505	SMUL_1220
SMUL_1230	PIRSF005788	SMUL_1230
SMUL_1231	PIRSF038996	SMUL_1231
SMUL_1236	PIRSF000774	SMUL_1236
SMUL_1248	PIRSF015380	SMUL_1248
SMUL_1258	PIRSF016184	SMUL_1258
SMUL_1271	PIRSF028696	SMUL_1271
SMUL_1285	PIRSF000363	SMUL_1285
SMUL_1299	PIRSF029543	SMUL_1299
SMUL_1305	PIRSF004761	SMUL_1305
SMUL_1330	PIRSF000171	SMUL_1330
SMUL_1346	PIRSF000513	SMUL_1346
SMUL_1347	PIRSF018063	SMUL_1347
SMUL_1372	PIRSF015268	SMUL_1372
SMUL_1373	PIRSF006444	SMUL_1373
SMUL_1375	PIRSF006444	SMUL_1375
SMUL_1377	PIRSF006439	SMUL_1377
SMUL_1381	PIRSF039090	SMUL_1381
SMUL_1385	PIRSF004553	SMUL_1385
SMUL_1399	PIRSF000114	SMUL_1399
SMUL_1402	PIRSF001430	SMUL_1402
SMUL_1409	PIRSF016020	SMUL_1409
SMUL_1421	PIRSF000310	SMUL_1421
SMUL_1423	PIRSF000310	SMUL_1423
SMUL_1428	PIRSF006256	SMUL_1428
SMUL_1431	PIRSF006060	SMUL_1431
SMUL_1433	PIRSF005624	SMUL_1433
SMUL_1435	PIRSF005622	SMUL_1435
SMUL_1436	PIRSF005644	SMUL_1436
SMUL_1437	PIRSF004761	SMUL_1437
SMUL_1442	PIRSF009407	SMUL_1442
SMUL_1443	PIRSF000102	SMUL_1443
SMUL_1448	PIRSF000139	SMUL_1448
SMUL_1450	PIRSF001554	SMUL_1450
SMUL_1451	PIRSF001553	SMUL_1451
SMUL_1466	PIRSF004848	SMUL_1466
SMUL_1468	PIRSF000847	SMUL_1468
SMUL_1470	PIRSF001365	SMUL_1470
SMUL_1472	PIRSF000164	SMUL_1472
SMUL_1475	PIRSF002869	SMUL_1475
SMUL_1483	PIRSF006107	SMUL_1483
SMUL_1484	PIRSF000722	SMUL_1484
SMUL_1498	PIRSF039093	SMUL_1498
SMUL_1502	PIRSF038881	SMUL_1502
SMUL_1506	PIRSF000774	SMUL_1506
SMUL_1508	PIRSF037208	SMUL_1508
SMUL_1525	PIRSF000013	SMUL_1525
SMUL_1528	PIRSF001259	SMUL_1528
SMUL_1545	PIRSF006135	SMUL_1545
SMUL_1550	PIRSF000709	SMUL_1550
SMUL_1551	PIRSF033579	SMUL_1551
SMUL_1556	PIRSF026782	SMUL_1556
SMUL_1559	PIRSF036427	SMUL_1559
SMUL_1563	PIRSF036426	SMUL_1563
SMUL_1570	PIRSF003073	SMUL_1570
SMUL_1600	PIRSF036687	SMUL_1600
SMUL_1602	PIRSF000854	SMUL_1602
SMUL_1612	PIRSF039085	SMUL_1612
SMUL_1622	PIRSF000151	SMUL_1622
SMUL_1656	PIRSF001336	SMUL_1656
SMUL_1657	PIRSF001549	SMUL_1657
SMUL_1676	PIRSF006661	SMUL_1676
SMUL_1681	PIRSF004539	SMUL_1681
SMUL_1691	PIRSF001455	SMUL_1691
SMUL_1701	PIRSF016838	SMUL_1701
SMUL_1708	PIRSF004638	SMUL_1708
SMUL_1787	PIRSF000398	SMUL_1787
SMUL_1832	PIRSF002070	SMUL_1832
SMUL_1902	PIRSF001438	SMUL_1902
SMUL_1906	PIRSF000445	SMUL_1906
SMUL_1910	PIRSF001434	SMUL_1910
SMUL_1915	PIRSF039026	SMUL_1915
SMUL_1918	PIRSF000099	SMUL_1918
SMUL_1919	PIRSF006278	SMUL_1919
SMUL_1920	PIRSF001359	SMUL_1920
SMUL_1922	PIRSF001435	SMUL_1922
SMUL_1930	PIRSF000390	SMUL_1930
SMUL_1932	PIRSF000728	SMUL_1932
SMUL_1938	PIRSF028756	SMUL_1938
SMUL_1946	PIRSF005419	SMUL_1946
SMUL_1949	PIRSF006325	SMUL_1949
SMUL_1951	PIRSF004491	SMUL_1951
SMUL_1953	PIRSF001604	SMUL_1953
SMUL_1956	PIRSF000501	SMUL_1956
SMUL_1959	PIRSF000726	SMUL_1959
SMUL_1980	PIRSF001495	SMUL_1980
SMUL_2011	PIRSF001586	SMUL_2011
SMUL_2014	PIRSF002583	SMUL_2014
SMUL_2019	PIRSF006402	SMUL_2019
SMUL_2040	PIRSF004486	SMUL_2040
SMUL_2041	PIRSF000521	SMUL_2041
SMUL_2043	PIRSF003101	SMUL_2043
SMUL_2055	PIRSF000414	SMUL_2055
SMUL_2056	PIRSF036659	SMUL_2056
SMUL_2064	PIRSF001587	SMUL_2064
SMUL_2092	PIRSF000709	SMUL_2092
SMUL_2129	PIRSF000381	SMUL_2129
SMUL_2133	PIRSF006324	SMUL_2133
SMUL_2137	PIRSF039144	SMUL_2137
SMUL_2151	PIRSF029256	SMUL_2151
SMUL_2152	PIRSF036480	SMUL_2152
SMUL_2160	PIRSF006324	SMUL_2160
SMUL_2169	PIRSF000013	SMUL_2169
SMUL_2170	PIRSF000243	SMUL_2170
SMUL_2197	PIRSF001369	SMUL_2197
SMUL_2201	PIRSF003203	SMUL_2201
SMUL_2230	PIRSF035875	SMUL_2230
SMUL_2233	PIRSF004640	SMUL_2233
SMUL_2241	PIRSF015589	SMUL_2241
SMUL_2245	PIRSF001461	SMUL_2245
SMUL_2250	PIRSF004789	SMUL_2250
SMUL_2262	PIRSF000497	SMUL_2262
SMUL_2269	PIRSF010376	SMUL_2269
SMUL_2285	PIRSF006593	SMUL_2285
SMUL_2286	PIRSF002191	SMUL_2286
SMUL_2287	PIRSF000386	SMUL_2287
SMUL_2298	PIRSF001338	SMUL_2298
SMUL_2306	PIRSF006305	SMUL_2306
SMUL_2323	PIRSF002889	SMUL_2323
SMUL_2346	PIRSF009451	SMUL_2346
SMUL_2347	PIRSF015582	SMUL_2347
SMUL_2348	PIRSF002736	SMUL_2348
SMUL_2349	PIRSF005751	SMUL_2349
SMUL_2350	PIRSF038991	SMUL_2350
SMUL_2353	PIRSF006171	SMUL_2353
SMUL_2356	PIRSF017082	SMUL_2356
SMUL_2361	PIRSF005353	SMUL_2361
SMUL_2362	PIRSF004762	SMUL_2362
SMUL_2365	PIRSF001413	SMUL_2365
SMUL_2367	PIRSF006288	SMUL_2367
SMUL_2371	PIRSF000714	SMUL_2371
SMUL_2373	PIRSF003180	SMUL_2373
SMUL_2379	PIRSF037511	SMUL_2379
SMUL_2404	PIRSF016788	SMUL_2404
SMUL_2407	PIRSF006162	SMUL_2407
SMUL_2410	PIRSF006250	SMUL_2410
SMUL_2416	PIRSF004846	SMUL_2416
SMUL_2417	PIRSF005763	SMUL_2417
SMUL_2419	PIRSF000193	SMUL_2419
SMUL_2423	PIRSF001892	SMUL_2423
SMUL_2434	PIRSF036893	SMUL_2434
SMUL_2450	PIRSF006485	SMUL_2450
SMUL_2453	PIRSF001529	SMUL_2453
SMUL_2459	PIRSF000401	SMUL_2459
SMUL_2462	PIRSF000495	SMUL_2462
SMUL_2476	PIRSF000390	SMUL_2476
SMUL_2484	PIRSF000124	SMUL_2484
SMUL_2484	PIRSF500134	SMUL_2484
SMUL_2499	PIRSF004682	SMUL_2499
SMUL_2510	PIRSF000498	SMUL_2510
SMUL_2515	PIRSF006066	SMUL_2515
SMUL_2523	PIRSF019225	SMUL_2523
SMUL_2526	PIRSF000447	SMUL_2526
SMUL_2529	PIRSF001492	SMUL_2529
SMUL_2589	PIRSF006157	SMUL_2589
SMUL_2591	PIRSF002457	SMUL_2591
SMUL_2608	PIRSF006293	SMUL_2608
SMUL_2609	PIRSF000370	SMUL_2609
SMUL_2623	PIRSF009554	SMUL_2623
SMUL_2625	PIRSF006160	SMUL_2625
SMUL_2630	PIRSF000159	SMUL_2630
SMUL_2634	PIRSF002741	SMUL_2634
SMUL_2646	PIRSF002181	SMUL_2646
SMUL_2652	PIRSF000006	SMUL_2652
SMUL_2665	PIRSF000524	SMUL_2665
SMUL_2672	PIRSF004555	SMUL_2672
SMUL_2673	PIRSF006246	SMUL_2673
SMUL_2680	PIRSF002131	SMUL_2680
SMUL_2681	PIRSF002134	SMUL_2681
SMUL_2689	PIRSF002162	SMUL_2689
SMUL_2692	PIRSF002161	SMUL_2692
SMUL_2700	PIRSF002158	SMUL_2700
SMUL_2709	PIRSF017018	SMUL_2709
SMUL_2719	PIRSF001456	SMUL_2719
SMUL_2723	PIRSF002811	SMUL_2723
SMUL_2730	PIRSF000876	SMUL_2730
SMUL_2733	PIRSF000410	SMUL_2733
SMUL_2742	PIRSF003073	SMUL_2742
SMUL_2769	PIRSF018266	SMUL_2769
SMUL_2776	PIRSF020408	SMUL_2776
SMUL_2785	PIRSF038996	SMUL_2785
SMUL_2787	PIRSF006324	SMUL_2787
SMUL_2794	PIRSF006324	SMUL_2794
SMUL_2818	PIRSF004539	SMUL_2818
SMUL_2819	PIRSF001220	SMUL_2819
SMUL_2819	PIRSF500176	SMUL_2819
SMUL_2825	PIRSF038925	SMUL_2825
SMUL_2826	PIRSF015268	SMUL_2826
SMUL_2856	PIRSF036407	SMUL_2856
SMUL_2870	PIRSF015626	SMUL_2870
SMUL_2886	PIRSF005763	SMUL_2886
SMUL_2913	PIRSF006232	SMUL_2913
SMUL_2924	PIRSF005739	SMUL_2924
SMUL_2960	PIRSF000524	SMUL_2960
SMUL_2962	PIRSF002825	SMUL_2962
SMUL_2967	PIRSF001296	SMUL_2967
SMUL_2969	PIRSF001294	SMUL_2969
SMUL_2977	PIRSF005962	SMUL_2977
SMUL_2978	PIRSF038941	SMUL_2978
SMUL_2984	PIRSF019422	SMUL_2984
SMUL_2990	PIRSF037225	SMUL_2990
SMUL_2994	PIRSF000375	SMUL_2994
SMUL_2995	PIRSF005572	SMUL_2995
SMUL_2998	PIRSF003095	SMUL_2998
SMUL_3001	PIRSF004749	SMUL_3001
SMUL_3003	PIRSF017184	SMUL_3003
SMUL_3017	PIRSF000089	SMUL_3017
SMUL_3020	PIRSF036548	SMUL_3020
SMUL_3038	PIRSF009151	SMUL_3038
SMUL_3050	PIRSF005426	SMUL_3050
SMUL_3066	PIRSF006324	SMUL_3066
SMUL_3068	PIRSF028777	SMUL_3068
SMUL_3083	PIRSF002825	SMUL_3083
SMUL_3086	PIRSF000857	SMUL_3086
SMUL_3087	PIRSF002936	SMUL_3087
SMUL_3093	PIRSF036426	SMUL_3093
SMUL_3094	PIRSF001434	SMUL_3094
SMUL_3107	PIRSF037031	SMUL_3107
SMUL_3128	PIRSF004846	SMUL_3128
SMUL_3129	PIRSF005763	SMUL_3129
SMUL_3153	PIRSF000185	SMUL_3153
SMUL_3154	PIRSF018788	SMUL_3154
SMUL_3155	PIRSF018982	SMUL_3155
SMUL_3156	PIRSF006060	SMUL_3156
SMUL_3158	PIRSF000106	SMUL_3158
SMUL_3166	PIRSF006156	SMUL_3166
SMUL_3167	PIRSF003108	SMUL_3167
SMUL_3173	PIRSF000390	SMUL_3173
SMUL_3191	PIRSF000390	SMUL_3191
SMUL_3196	PIRSF001619	SMUL_3196
SMUL_3197	PIRSF001369	SMUL_3197
SMUL_3200	PIRSF001400	SMUL_3200
SMUL_3203	PIRSF004669	SMUL_3203
SMUL_3215	PIRSF006205	SMUL_3215
SMUL_3219	PIRSF006078	SMUL_3219
SMUL_3224	PIRSF038928	SMUL_3224
SMUL_3225	PIRSF000239	SMUL_3225
SMUL_3291	PIRSF004925	SMUL_3291