1 // Generated by generate_test_data.py using tensorflow version 2.16.1 (Keras version 2.16.0).
2 // Interpreter from tensorflow version 2.16.1 and revision v2.16.1-0-g5bc9d26649c.
3 #pragma once
4 #include <stdint.h>
5 
6 const int16_t batch_matmul_3_s16_output[6912] = {
7     -4207,  -4815,  -2105,  67,    -1630, -1729, 0,     0,     -3309, -2538, 897,   -1725, 1898,  -697,  1009,  0,
8     347,    2077,   -3482,  -1848, -1888, -813,  506,   2345,  538,   681,   749,   0,     -795,  -843,  0,     0,
9     -1678,  -4258,  444,    -796,  1359,  -323,  461,   0,     -2107, 1988,  -7195, -811,  -1970, -846,  940,   2847,
10     -4410,  -5495,  -3182,  0,     -1331, -1404, 0,     0,     -3625, -1749, 1030,  -1846, 1558,  -749,  3743,  82,
11     844,    81,     386,    -1881, -977,  -421,  1448,  2378,  -2526, -1750, -4057, 0,     -1716, -1845, 0,     0,
12     0,      0,      0,      0,     852,   0,     2560,  79,    -661,  -829,  -1922, 0,     -1926, -829,  -1825, 95,
13     -2654,  -3035,  -561,   0,     -31,   -9,    0,     0,     -3135, -3802, 807,   -1773, 1533,  -942,  525,   0,
14     -1123,  -1164,  -2079,  -1511, -2150, -921,  -2118, 18,    -2390, -1919, -1540, 0,     -19,   0,     0,     0,
15     -2652,  -1303,  1159,   -796,  2847,  294,   1890,  0,     -948,  -1061, -3218, -1625, -2267, -971,  -2252, 0,
16     -687,   -2197,  1651,   0,     -7,    0,     0,     0,     -1271, -4449, -620,  -1846, -2025, -2173, -2232, 0,
17     -390,   -209,   1651,   0,     -1,    0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
18     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
19     512,    565,    1753,   12,    1241,  1335,  0,     0,     -95,   64,    17,    110,   -1,    1,     -1910, -59,
20     -1096,  -4388,  3165,   3,     7,     -9,    -1931, -1872, 131,   -2522, 3357,  132,   572,   615,   0,     0,
21     -16,    1763,   552,    3202,  -4,    0,     -838,  -26,   -2661, -2908, -925,  0,     1056,  0,     -879,  -863,
22     475,    -1651,  3890,   112,   1326,  1426,  0,     0,     -78,   1472,  461,   2674,  -8,    0,     -1943, -60,
23     -2912,  -5240,  1341,   0,     870,   0,     -2040, -2000, -14,   -353,  2332,  117,   0,     0,     0,     0,
24     3,      220,    69,     399,   0,     0,     0,     0,     -279,  -126,  -293,  0,     131,   0,     0,     0,
25     546,    666,    1589,   0,     1276,  1373,  0,     0,     -79,   9,     0,     20,    -13,   -3,    -1568, -48,
26     -921,   -3920,  2926,   4,     -4,    -2,    -1642, -1607, 247,   307,   712,   0,     572,   615,   0,     0,
27     -81,    0,      0,      0,     -6,    0,     -1679, -52,   -682,  -2846, 2139,  0,     -3,    0,     -1762, -1729,
28     572,    712,    1651,   0,     1326,  1426,  0,     0,     -16,   0,     0,     0,     -2,    0,     0,     0,
29     -472,   -2197,  1651,   0,     -7,    0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
30     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
31     -308,   1709,   -2354,  -92,   6,     -2,    0,     0,     395,   -438,  -1468, -2060, -662,  -362,  -907,  0,
32     851,    -1729,  3227,   530,   -1172, -205,  1949,  2378,  -1965, -88,   -3044, -42,   27,    0,     0,     0,
33     2889,   -651,   -2985,  -969,  -3219, -1895, -4392, 0,     -284,  -1590, 1811,  2504,  -2531, -947,  -800,  1370,
34     1926,   3373,   -816,   -98,   -11,   0,     0,     0,     -2899, 2822,  -40,   -1684, 3040,  2091,  3986,  0,
35     1655,   -1382,  3010,   -1882, 920,   712,   4458,  2753,  225,   310,   -233,  0,     8,     0,     0,     0,
36     -869,   3186,   -1836,  260,   288,   307,   315,   0,     -8,    -280,  0,     0,     0,     0,     2687,  2636,
37     -971,   1885,   -3125,  -96,   0,     0,     0,     0,     -71,   -1957, -387,  -2166, 931,   5,     5,     0,
38     -289,   -2643,  444,    0,     -2826, -904,  686,   2730,  -1684, 193,   -2718, -42,   0,     0,     0,     0,
39     -25,    -769,   -167,   -970,  945,   0,     0,     0,     -448,  -1645, -906,  0,     -2468, -921,  -983,  1131,
40     -1885,  1076,   -4077,  -98,   0,     0,     0,     0,     -35,   -1239, -388,  -2250, 935,   0,     0,     0,
41     372,    -2398,  1186,   0,     -2871, -912,  -2116, 0,     -1050, -487,  -1129, 0,     0,     0,     0,     0,
42     0,      0,      0,      0,     500,   0,     0,     0,     -391,  -487,  -1129, 0,     -1137, -487,  -1129, 0,
43     74,     -571,   2374,   67,    -1300, -1404, 0,     0,     296,   -7435, -1664, -1725, -4066, -3431, -4915, 13,
44     -3294,  -2141,  -246,   2453,  -2045, -879,  385,   2378,  -2799, -2669, -3410, 0,     -1850, -1963, 0,     0,
45     -3482,  -1156,  1720,   -796,  -178,  -1041, -1208, 0,     -918,  -970,  1298,  2545,  -1966, -846,  722,   2633,
46     376,    -324,   2323,   0,     -294,  -308,  0,     0,     -1377, -7044, -620,  -1846, -1198, -2177, -2241, 0,
47     -3088,  -1951,  -2377,  10,    -1896, -813,  -1596, 283,   313,   1017,  -1215, 0,     -1679, -1806, 0,     0,
48     -103,   -2526,  0,      0,     869,   0,     0,     0,     -2667, -1750, -4059, 0,     -1966, -846,  -1770, 188,
49     -1352,  -2086,  473,    0,     -13,   -6,    0,     0,     -864,  -4011, -229,  -1483, -1212, -1746, -1782, 0,
50     -308,   1227,   -1042,  0,     -939,  -402,  -919,  13,    -546,  -1899, 1427,  0,     -4,    0,     0,     0,
51     -1474,  -2894,  -1251,  -1595, -1747, -1878, -1929, 0,     69,    1718,  0,     0,     0,     0,     0,     0,
52     -110,   0,      0,      0,     -6,    0,     0,     0,     899,   -2197, 1651,  0,     -3,    0,     0,     0,
53     -2,     0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
54     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
55     333,    -3684,  2632,   836,   2129,  1985,  0,     0,     -8179, -7787, -8141, -3160, -2513, -3044, -2092, 0,
56     -358,   1005,   -3748,  -2134, -225,  -228,  2639,  2389,  -641,  -998,  -227,  2612,  48,    -1283, 0,     0,
57     -1770,  -1005,  -3321,  -1468, -733,  -1424, -964,  0,     2687,  6036,  -1354, 408,   -984,  -1081, 3205,  2901,
58     -2648,  -6093,  -180,   -1963, -106,  890,   0,     0,     -8737, -8811, -8106, -3404, -3179, -3302, -2235, 0,
59     -1185,  542,    -4287,  -2801, 520,   583,   2677,  2423,  -3740, -4339, -4097, 0,     -1747, -1879, 0,     0,
60     -1730,  -829,   -1922,  0,     789,   0,     0,     0,     -553,  2067,  -4098, 0,     -1534, -1661, 107,   97,
61     -3292,  -4393,  -1087,  -1925, 138,   1134,  0,     0,     -7068, -6433, -7436, -3024, -2324, -2993, -2146, 0,
62     100,    -854,   -881,   -1508, -657,  -695,  25,    21,    -1881, -2149, -927,  -846,  743,   1232,  0,     0,
63     -6245,  -5550,  -6589,  -2142, -1299, -1912, -966,  0,     150,   -748,  -1920, -1628, -675,  -714,  0,     0,
64     -2600,  -4159,  -233,   -1962, -934,  0,     0,     0,     -2194, -2253, -2272, -1846, -2026, -2174, -2232, 0,
65     -43,    -209,   1651,   0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
66     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
67     -2160,  -3807,  -227,   -1883, 387,   1399,  0,     0,     -1938, -1851, -1062, 5,     1,     5,     3,     0,
68     -689,   -6751,  2692,   -2242, -2107, -2118, -4185, -3017, -875,  -1616, 100,   -376,  178,   615,   0,     0,
69     -831,   2281,   -2770,  0,     -6,    0,     0,     0,     -268,  -2959, 1207,  -971,  -913,  -921,  -1883, -1366,
70     -2127,  -3749,  -77,    -1567, 400,   1426,  0,     0,     -1932, 649,   -2936, 0,     -13,   0,     0,     0,
71     -699,   -6863,  2800,   -2252, -2128, -2135, -4367, -3167, 8,     0,     184,   415,   1,     0,     0,     0,
72     0,      390,    -293,   0,     0,     0,     0,     0,     1,     0,     0,     0,     0,     0,     0,     0,
73     -2100,  -3040,  -538,   -1919, 151,   1143,  0,     0,     -1556, -1550, -792,  3,     -7,    2,     0,     0,
74     -588,   -5898,  2533,   -1805, -1714, -1722, -3509, -2545, -1038, -3251, 597,   -849,  743,   1232,  0,     0,
75     -1654,  -1696,  -841,   0,     -9,    0,     0,     0,     -520,  -4979, 1704,  -1946, -1834, -1845, -3774, -2737,
76     -1958,  26,     -1884,  -1962, -933,  0,     0,     0,     -40,   0,     0,     0,     -6,    0,     0,     0,
77     -176,   -2197,  1651,   0,     -6,    0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
78     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
79     -988,   407,    -1036,  -2235, -1317, -433,  0,     0,     701,   -983,  2261,  508,   712,   394,   56,    0,
80     -536,   91,     -639,   569,   1711,  1695,  5160,  3748,  -2559, 438,   -2957, -991,  -2170, -1899, 0,     0,
81     3052,   3664,   3688,   2076,  2972,  1504,  7,     0,     -2210, 669,   -3191, 2508,  -604,  -835,  4477,  2963,
82     2895,   2802,   2704,   -2307, 388,   1427,  0,     0,     -1667, -4972, 111,   -993,  -1614, -463,  680,   0,
83     1575,   828,    939,    -1885, 5083,  5341,  5563,  4120,  1183,  1877,  910,   3,     0,     0,     0,     0,
84     311,    318,    320,    260,   287,   307,   315,   0,     23,    1223,  -1130, 0,     1435,  1461,  4415,  3458,
85     -2964,  -937,   -3170,  -2245, -1441, -568,  0,     0,     -1167, -2236, -111,  4,     857,   5,     5,     0,
86     -9,     -98,    -1147,  365,   294,   196,   5063,  3843,  -1878, -285,  -2067, -994,  -561,  -168,  0,     0,
87     -1714,  -1637,  -1308,  0,     871,   0,     0,     0,     -525,  -105,  -2286, 108,   -280,  -385,  2719,  1924,
88     -3973,  -2869,  -4151,  -2311, -939,  0,     0,     0,     -1949, -3109, -464,  0,     857,   0,     0,     0,
89     -863,   -3104,  -468,   0,     -1695, -1823, 5,     2,     -1010, -487,  -1129, 0,     0,     0,     0,     0,
90     -1018,  -487,   -1129,  0,     461,   0,     0,     0,     -391,  -487,  -1129, 0,     -907,  -976,  0,     0,
91     -7698,  -8377,  -5968,  -1664, -3928, -3250, 0,     0,     2454,  3759,  1034,  -427,  -40,   -1293, -2087, 0,
92     471,    1763,   1606,   2545,  -3303, -3596, 2701,  2435,  -1303, -4552, -154,  -845,  1130,  1649,  0,     0,
93     -2461,  -1930,  -2555,  -1576, -1937, -2295, -967,  0,     -2926, -2214, -5890, -2224, -3377, -3624, 2963,  2682,
94     -6201,  -6330,  -4272,  -1962, -2665, -1861, 0,     0,     -1426, -494,  -2875, -1844, -1257, -2174, -2232, 0,
95     1919,   1862,   2696,   1196,  -1498, -1636, 318,   288,   -3705, -4267, -4059, 0,     -1685, -1812, 0,     0,
96     623,    1648,   -725,   0,     800,   0,     0,     0,     1928,  1965,  898,   1165,  -1547, -1695, 212,   192,
97     -1297,  -2148,  365,    48,    -38,   -64,   0,     0,     -2492, -2130, -2717, -1483, -1242, -1746, -1793, 0,
98     -175,   1354,   -893,   42,    -743,  -800,  21,    17,    -485,  -1899, 1427,  0,     -1,    0,     0,     0,
99     -1861,  -1946,  -1963,  -1595, -1746, -1878, -1929, 0,     70,    1718,  0,     0,     0,     0,     0,     0,
100     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
101     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
102     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
103     -1900,  -1531,  -2546,  2632,  2142,  1440,  3998,  2503,  4594,  4856,  5366,  4675,  5070,  2469,  2820,  3244,
104     -1494,  -2418,  3386,   979,   3306,  3314,  1887,  678,   -1634, 729,   -3645, 1286,  1876,  1567,  3779,  3039,
105     5571,   7783,   3625,   5289,  7914,  6338,  5497,  5993,  6997,  6286,  9412,  8404,  6089,  6075,  4067,  2952,
106     323,    -4203,  -1526,  2113,  3062,  2337,  4212,  2538,  3759,  1044,  6945,  3629,  1811,  -76,   38,    495,
107     -5702,  -3177,  -2377,  -2904, 518,   564,   -503,  -2210, 66,    -3139, -1550, 2905,  -1438, -1562, 103,   102,
108     706,    1455,   489,    2384,  769,   -1733, 88,    106,   133,   3006,  -2070, 103,   118,   108,   54,    0,
109     -2804,  -4785,  -1492,  -82,   -497,  -1257, 1341,  19,    3884,  553,   7715,  2557,  2052,  -584,  -2103, -2076,
110     -5825,  -6483,  -779,   -3012, -2093, -2076, -1802, -2172, -1619, -2308, -1076, -42,   -496,  -1331, 1426,  0,
111     3350,   2807,   5102,   2677,  2505,  -268,  -929,  -921,  -2556, -3972, 488,   -1521, -924,  -921,  -796,  -954,
112     -2115,  -4526,  -581,   -97,   -30,   0,     0,     0,     1160,  -3682, 4953,  0,     -635,  -651,  -2155, -2135,
113     -5960,  -4808,  -2136,  -2813, -2159, -2135, -1846, -2213, 0,     0,     0,     0,     0,     0,     0,     0,
114     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
115     -1424,  -2254,  2888,   -2057, -1033, -1254, -375,  -1999, -333,  377,   662,   -1918, -1238, -2069, -2217, -4163,
116     -4426,  -8362,  -652,   -3992, -4147, -4163, -2866, -2171, 2375,  5160,  2225,  358,   -468,  -589,  -218,  -921,
117     -2079,  541,    -3099,  -896,  -2433, -2924, -1014, -1875, 671,   -3113, 2352,  -216,  315,   -295,  -1278, -956,
118     891,    -1972,  7236,   -1137, -1135, -1365, -505,  -2135, -2020, -928,  -933,  -2077, -2843, -3770, -2351, -4349,
119     -2276,  -3931,  1395,   -2886, -2559, -3066, -2972, -2217, 390,   416,   392,   165,   7,     0,     0,     0,
120     -188,   1379,   -1424,  0,     -235,  -253,  0,     0,     385,   406,   341,   200,   282,   200,   1,     0,
121     -1257,  -2067,  2330,   -2152, -928,  -1102, -409,  -1716, -58,   586,   670,   -1664, -1154, -1813, -2263, -3865,
122     -4147,  -7251,  -1043,  -3747, -3905, -3901, -2712, -2165, -1246, -2148, 2703,  -968,  -984,  -1180, -436,  -1845,
123     -821,   1212,   -1021,  -1795, -819,  -1511, -1098, -2833, -3093, -6637, 79,    -2754, -2877, -2883, -1773, -958,
124     -166,   -157,   -348,   -2245, -5,    0,     0,     0,     1371,  1513,  1048,  0,     -635,  -651,  -2155, -2136,
125     -2235,  -1919,  -1961,  -2077, -2159, -2136, -1846, -2213, 16,    0,     0,     0,     3,     0,     0,     0,
126     50,     1242,   -933,   0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
127     -1846,  981,    -4152,  -830,  2218,  1843,  2063,  2538,  3025,  -3403, 5831,  3033,  142,   441,   -1844, 549,
128     -856,   274,    -1550,  -407,  -881,  -438,  -459,  -2153, -3772, -522,  -5639, -365,  -1581, -1423, -721,  1463,
129     3357,   -592,   2728,   4034,  1291,  -331,  -1955, 595,   316,   3490,  -2317, 565,   -52,   148,   -23,   -952,
130     3379,   5591,   1013,   -815,  6318,  4997,  4617,  2939,  117,   2349,  -2242, 895,   -3106, -276,  -1537, 910,
131     1316,   -439,   873,    -377,  -618,  -138,  -294,  -2208, 2804,  6246,  505,   126,   3045,  2737,  2840,  2814,
132     732,    1344,   -875,   2737,  58,    465,   1303,  2917,  5328,  5896,  2966,  2939,  2969,  2993,  1490,  5,
133     -3569,  -140,   -6463,  -898,  1576,  1023,  2941,  2914,  6290,  2992,  7058,  5327,  3452,  1821,  -1129, 944,
134     -481,   -90,    181,    740,   -517,  -66,   -256,  -2148, -2629, -691,  -4022, -402,  -178,  -671,  1218,  1207,
135     4048,   2495,   4215,   3712,  2534,  518,   -1014, 330,   -416,  -267,  -148,  103,   -321,  -124,  -159,  -952,
136     -3889,  -3260,  -4328,  -932,  -1715, -1828, 0,     0,     3863,  1027,  6084,  2515,  1974,  -641,  -2159, -2135,
137     -4175,  -4208,  -3884,  -3206, -3708, -3264, -1850, -2213, -959,  -487,  -1129, 0,     -907,  -976,  0,     0,
138     1395,   1342,   1487,   1343,  1395,  6,     0,     0,     17,    0,     0,     0,     3,     0,     0,     0,
139     -4010,  -3219,  -5293,  2121,  -336,  235,   1466,  2538,  4767,  -2122, 8061,  4892,  3123,  1250,  83,    558,
140     -265,   2893,   2346,   3548,  607,   629,   -448,  -2144, -404,  1166,  -1919, 3048,  2853,  1895,  4823,  2810,
141     3821,   -400,   5029,   5065,  3157,  605,   1500,  1992,  144,   -1559, 4138,  2209,  2044,  2068,  692,   -950,
142     -3650,  -4994,  -2623,  389,   -1265, -1334, 305,   302,   3500,  -1336, 7355,  2534,  1736,  89,    -1894, -1822,
143     -2914,  -1919,  1118,   482,   -1826, -1814, -1686, -2213, -1395, -441,  -1676, 2842,  -1379, -1499, 203,   201,
144     859,    1611,   678,    2528,  972,   -877,  174,   209,   2883,  2712,  3071,  3113,  230,   214,   107,   0,
145     -2808,  -4409,  -1778,  -84,   -764,  -794,  9,     14,    2429,  -291,  4399,  1123,  2486,  1462,  60,    66,
146     -3138,  -2503,  -5,     -438,  67,    67,    52,    54,    -955,  -2903, 464,   -42,   -13,   0,     0,     0,
147     563,    -641,   1424,   0,     572,   615,   0,     0,     -2405, -1598, -151,  -636,  -3,    0,     0,     0,
148     -2009,  -2329,  -2232,  -97,   -23,   0,     0,     0,     1313,  -1485, 3302,  0,     1326,  1426,  0,     0,
149     -1882,  -2077,  0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
150     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
151     -7230,  -4247,  -9610,  -5596, -5283, -3625, -1998, 0,     1773,  5745,  1406,  -158,  3011,  2623,  -1847, -1926,
152     4975,   3467,   4717,   2329,  2627,  2645,  1489,  1397,  -4444, -1172, -7023, -2613, -3642, -2971, -962,  0,
153     2116,   4273,   1868,   675,   2427,  1956,  -808,  -846,  3856,  6898,  169,   2425,  593,   619,   5,     4,
154     -7990,  -5973,  -9224,  -6060, -4842, -3878, -2232, 0,     -184,  3122,  -1465, -880,  248,   1114,  -4154, -1961,
155     3931,   224,    5927,   1206,  1329,  1426,  0,     0,     177,   2525,  -2002, 0,     717,   -68,   0,     0,
156     1795,   4571,   -2072,  1315,  -91,   376,   -2171, 0,     2297,  1256,  2453,  2375,  16,    0,     0,     0,
157     -5738,  -3019,  -7874,  -5567, -3645, -1768, -1793, 0,     1715,  3180,  3700,  -56,   3261,  2824,  -1523, -1575,
158     4840,   363,    7400,   2644,  1309,  1394,  0,     0,     -3485, -748,  -5947, -3412, -2632, -1882, -1929, 0,
159     2350,   4237,   3182,   874,   2685,  2155,  -1624, -1694, 4400,  1323,  5817,  2783,  588,   615,   0,     0,
160     -4406,  -4174,  -4014,  -4214, -2058, -9,    0,     0,     -845,  -1404, 1295,  -1548, 1315,  1426,  0,     0,
161     1209,   -1485,  3302,   0,     1321,  1426,  0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
162     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
163     1850,   3102,   4390,   2484,  3420,  1350,  3,     0,     3270,  1568,  3680,  2147,  847,   712,   1624,  3,
164     -1395,  -1989,  -1409,  -2165, -297,  -348,  257,   241,   5124,  2633,  3363,  2348,  2835,  626,   0,     0,
165     3126,   3129,   2138,   3069,  420,   307,   712,   0,     -2640, 3355,  -8293, -962,  -235,  -585,  2932,  2750,
166     -748,   2781,   4155,   2156,  3157,  1437,  0,     0,     3070,  1994,  3954,  2805,  877,   712,   1650,  0,
167     -2807,  -2867,  -2950,  -2232, 475,   231,   2482,  2328,  1399,  1344,  1489,  1344,  1396,  6,     0,     0,
168     1501,   1593,   278,    1204,  14,    0,     0,     0,     -882,  1998,  -3386, 0,     1254,  1055,  2584,  2424,
169     2070,   3078,   4256,   2563,  3400,  1163,  5,     0,     3184,  1376,  3411,  2140,  688,   574,   1330,  4,
170     -1516,  -2173,  -1320,  -1789, -767,  -825,  5,     5,     1891,  2982,  4223,  2434,  3323,  1244,  0,     0,
171     3208,   2455,   2607,   2040,  736,   615,   1426,  0,     -1407, -2221, -1133, -1929, -602,  -647,  0,     0,
172     2779,   2677,   2966,   2678,  2778,  12,    0,     0,     2688,  690,   2137,  2113,  9,     0,     0,     0,
173     -1783,  -971,   -2252,  0,     -1810, -1946, 0,     0,     1152,  1109,  1228,  1109,  1152,  5,     0,     0,
174     1207,   1196,   201,    875,   4,     0,     0,     0,     -738,  -402,  -933,  0,     -749,  -806,  0,     0,
175     -3654,  -2237,  -4761,  -2146, -3831, -1051, 674,   0,     -2677, -3693, -173,  -2613, 380,   289,   530,   552,
176     3296,   3172,   5374,   3207,  1224,  1541,  -2035, -1909, 2267,  5461,  -278,  2483,  1806,  1917,  2971,  0,
177     2418,   76,     2479,   1171,  2057,  1501,  2514,  2610,  1399,  2053,  3256,  5812,  -294,  -231,  -938,  -879,
178     -780,   -2201,  500,    1396,  -1188, -4125, -2233, 0,     346,   1420,  -2159, 72,    -1969, -1565, -1889, -1962,
179     -769,   2994,   -1199,  559,   -2425, -2352, -2174, -2039, -1170, -418,  -1685, 525,   -1529, -1878, 0,     0,
180     66,     124,    -195,   164,   -177,  -201,  0,     0,     260,   5689,  -3073, 1527,  -137,  -151,  0,     0,
181     -1513,  1834,   -4336,  14,    -1799, -1946, 0,     0,     2283,  2133,  2254,  658,   1948,  1430,  5,     0,
182     3863,   3694,   5000,   4690,  -675,  -506,  -2121, -1989, -477,  2440,  -3069, 0,     -748,  -806,  0,     0,
183     2423,   2612,   2404,   1111,  1998,  1459,  5,     0,     3140,  2139,  4542,  4164,  -280,  -214,  -938,  -879,
184     256,    2816,   -2116,  0,     1,     0,     0,     0,     2287,  2123,  2271,  635,   1961,  1446,  5,     0,
185     3615,   -219,   6094,   2619,  -673,  -496,  -2174, -2039, 139,   1503,  -1130, 0,     1,     0,     0,     0,
186     1326,   1567,   1316,   773,   1062,  772,   2,     0,     1343,  676,   1488,  1396,  9,     0,     0,     0,
187     -3992,  -558,   -6266,  -2730, -2046, -276,  1466,  0,     1661,  2222,  1613,  -53,   2865,  2578,  2113,  2557,
188     3137,   6572,   -720,   2545,  2626,  2640,  1489,  1397,  -5967, -2836, -8600, -4039, -5058, -4497, -2686, 0,
189     2350,   7532,   571,    675,   2419,  1956,  2554,  2652,  4808,  4392,  3739,  2424,  591,   619,   5,     4,
190     -4359,  -1766,  -6133,  -4214, -2244, -211,  0,     0,     1421,  1686,  3133,  -259,  3096,  2714,  14,    10,
191     3581,   2822,   3396,   2329,  1338,  1426,  0,     0,     121,   2544,  -2118, 0,     -119,  -134,  0,     0,
192     2594,   5503,   195,    1342,  1855,  1341,  4,     0,     2453,  4173,  331,   2424,  17,    0,     0,     0,
193     -3783,  -2458,  -4548,  -3727, -2013, -18,   0,     0,     39,    -197,  2048,  -875,  1926,  1779,  -8,    0,
194     2295,   -772,   4365,   1159,  1296,  1390,  0,     0,     -2925, -2758, -2528, -2792, -896,  -4,    0,     0,
195     201,    -297,   1273,   -668,  1141,  1232,  0,     0,     520,   -641,  1424,  0,     568,   615,   0,     0,
196     -2039,  -1962,  -2173,  -1962, -2039, -9,    0,     0,     -2151, -2115, -356,  -1548, -11,   0,     0,     0,
197     1212,   -1485,  3302,   0,     1325,  1426,  0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
198     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
199     -1659,  2175,   -3407,  0,     -2808, -2126, -2949, 2393,  1729,  614,   991,   1792,  -220,  -390,  1541,  0,
200     -2136,  714,    -1772,  1683,  -1982, -1149, -1109, 0,     -1769, 161,   -3603, 0,     -2962, -2264, -2429, 1051,
201     2670,   5634,   -388,   2856,  -101,  -180,  710,   0,     2856,  3610,  4672,  6800,  2285,  2893,  2971,  0,
202     -1241,  2441,   -3559,  0,     -2900, -2653, -2059, 2437,  1568,  -1272, 2180,  1662,  -238,  -417,  1647,  0,
203     -3593,  -2013,  -2836,  -479,  -3039, -2175, -2233, 0,     -1449, -1801, -4176, 0,     -3423, -2776, -1922, 0,
204     342,    2945,   -2039,  112,   0,     0,     0,     0,     256,   248,   2152,  2470,  25,    0,     0,     0,
205     587,    3270,   -546,   0,     -526,  452,   -3006, 1958,  -1016, -3842, -461,  -1076, -198,  -389,  1657,  0,
206     -1823,  -28,    532,    448,   -904,  -5,    0,     0,     -147,  1911,  -1540, 0,     -1328, -356,  -3188, 2106,
207     225,    -1320,  598,    -488,  -102,  -180,  710,   0,     -648,  146,   1699,  1810,  -655,  0,     0,     0,
208     1306,   2700,   1651,   0,     1324,  1426,  0,     0,     -2151, -4487, -1921, -1131, -237,  -417,  1647,  0,
209     -2115,  -291,   -1882,  -2252, -520,  0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
210     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
211     -124,   409,    639,    0,     570,   630,   -20,   -4,    693,   -880,  251,   -2448, 2097,  1524,  3,     0,
212     2383,   304,    2132,   1170,  62,    -48,   0,     0,     -2265, 1902,  -5191, 0,     -2285, -2455, 0,     0,
213     4090,   3777,   4145,   2232,  1928,  1394,  4,     0,     1122,  2225,  -2182, 1906,  1411,  -1786, 0,     0,
214     -965,   2377,   -2507,  0,     -443,  -470,  0,     0,     -1791, -3728, -2337, -4890, 1845,  1340,  4,     0,
215     3586,   3218,   1808,   644,   3971,  1520,  0,     0,     -2303, -944,  -3385, 0,     -2485, -2672, 0,     0,
216     1330,   1568,   1317,   774,   1068,  773,   2,     0,     1778,  2811,  -674,  1543,  405,   14,    0,     0,
217     -276,   176,    359,    0,     294,   324,   -1,    -5,    919,   -680,  907,   -1845, 2136,  1553,  5,     0,
218     2505,   127,    2434,   1472,  26,    1,     0,     0,     -79,   292,   677,   0,     542,   585,   0,     0,
219     794,    225,    -329,   -2168, 2046,  1487,  5,     0,     2356,  83,    2312,  1213,  3,     0,     0,     0,
220     -1715,  -971,   -2252,  0,     -1816, -1946, 0,     0,     2451,  928,   4275,  1541,  2118,  1540,  5,     0,
221     2855,   398,    2569,   3074,  18,    0,     0,     0,     -701,  -402,  -933,  0,     -749,  -806,  0,     0,
222     1095,   1294,   1087,   638,   877,   638,   2,     0,     1185,  165,   1064,  1273,  8,     0,     0,     0,
223     1137,   -2091,  2973,   0,     1129,  1439,  -169,  -686,  -739,  -13,   1060,  3413,  -2714, -1872, -667,  0,
224     -2599,  -1995,  -341,   -167,  -1901, -74,   0,     0,     -1242, -4732, -1923, 0,     -2203, -1326, -755,  -3244,
225     -345,   1371,   1511,   4233,  -479,  -255,  -623,  0,     486,   -440,  3317,  4131,  -212,  -34,   0,     0,
226     -1549,  -1299,  534,    0,     -829,  -1680, 568,   2438,  6779,  9289,  7910,  6895,  424,   607,   -1993, 0,
227     2913,   -1538,  2527,   3687,  -2577, -79,   0,     0,     -1757, -1294, -2350, 0,     -1885, -2030, 0,     0,
228     3039,   5925,   2403,   4503,  -1553, -810,  -2155, 0,     862,   490,   455,   2915,  101,   0,     0,     0,
229     -1306,  -3308,  -1154,  0,     -2287, -1465, -2097, -1,    2700,  3824,  4092,  4981,  -11,   -3,    -18,   0,
230     1472,   -517,   5127,   6107,  -1291, 790,   889,   0,     -950,  -1963, -1644, 0,     -1977, -1112, -2135, 0,
231     1108,   1466,   2392,   2614,  -1,    0,     0,     0,     645,   -227,  3470,  4002,  -685,  222,   263,   0,
232     392,    -2398,  1186,   0,     -457,  514,   -2115, 0,     -2,    0,     5,     4,     -4,    0,     0,     0,
233     -39,    -1942,  4010,   2612,  -2199, -79,   0,     0,     -391,  -487,  -1129, 0,     -952,  -487,  -1129, 0,
234     0,      0,      0,      0,     0,     0,     0,     0,     133,   136,   1259,  1395,  14,    0,     0,     0,
235     -1887,  -1138,  -3937,  0,     -3229, -2517, -626,  -3177, -236,  3132,  -4389, 1756,  -218,  -390,  1541,  0,
236     2057,   5069,   2814,   5427,  2761,  3066,  3148,  0,     -1620, 1773,  -3426, 0,     -2822, -2111, -497,  -3296,
237     3501,   4860,   1491,   2604,  -102,  -180,  710,   0,     46,    681,   1735,  4212,  -720,  104,   106,   0,
238     549,    1786,   -467,   0,     -443,  412,   -1879, -13,   -1690, -842,  -4145, -798,  -236,  -417,  1647,  0,
239     985,    2925,   3211,   2772,  2143,  2837,  2913,  0,     -703,  -913,  -2117, 0,     -1763, -980,  -1962, 0,
240     568,    5775,   -3997,  221,   1,     0,     0,     0,     3020,  3131,  5091,  4959,  2593,  2762,  2836,  0,
241     930,    1882,   660,    0,     492,   974,   -933,  0,     -2082, -4254, -1661, -1084, -246,  -415,  1592,  0,
242     -1872,  -83,    -711,   -965,  -331,  84,    87,    0,     598,   2025,  712,   0,     571,   615,   0,     0,
243     -928,   -1935,  -1543,  -488,  -102,  -180,  710,   0,     -912,  -126,  -812,  -971,  -441,  0,     0,     0,
244     1225,   712,    1650,   0,     1324,  1426,  0,     0,     -2150, -4487, -272,  -1129, -237,  -417,  1647,  0,
245     -2115,  -291,   -1882,  -2252, -18,   0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
246     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
247     -317,   4533,   418,    2354,  -1147, -489,  -1965, 0,     -538,  -570,  -2728, -2802, -611,  148,   -80,   0,
248     813,    1963,   -2539,  2730,  -855,  -244,  -761,  -176,  674,   2832,  -2247, 1148,  -910,  -234,  -1962, 0,
249     -779,   -916,   -1813,  -1979, 511,   221,   0,     0,     2029,  7028,  -6748, 3412,  -1872, -947,  -2283, -85,
250     1547,   4707,   4332,   1912,  599,   1005,  -976,  0,     -1710, 888,   -6487, -4601, -1219, 185,   0,     0,
251     1336,   508,    1378,   2762,  892,   712,   1452,  -196,  363,   2558,  715,   2512,  -1440, -829,  -1922, 0,
252     255,    2895,   -2176,  0,     17,    7,     0,     0,     302,   2671,  -1922, 116,   2,     0,     0,     0,
253     2773,   5846,   1104,   13,    -318,  471,   -2142, 0,     -1881, -2077, -3766, -4112, -1459, -1,    -6,    0,
254     -689,   1505,   -1481,  -113,  900,   701,   1418,  -192,  1480,  5330,  -830,  0,     -1126, -356,  -2252, 0,
255     -812,   -921,   -2759,  -2959, -637,  0,     0,     0,     -176,  2401,  -1961, -59,   158,   307,   626,   -85,
256     2391,   1423,   3301,   0,     1326,  1426,  0,     0,     -1940, -2135, -2040, -2349, -1492, 0,     0,     0,
257     -942,   -1386,  677,    -137,  1299,  712,   1451,  -196,  0,     0,     0,     0,     0,     0,     0,     0,
258     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
259     -1402,  -1076,  -1187,  -1817, -714,  -731,  -82,   0,     2623,  955,   4563,  3457,  680,   -171,  -60,   0,
260     406,    1100,   4477,   -2097, 186,   -1473, -689,  -2264, -2594, 1037,  -5922, -837,  -4490, -4017, -2197, 0,
261     3302,   3622,   3785,   6069,  -648,  -1014, -2197, 0,     -490,  848,   420,   -882,  -1498, -1568, -2457, -979,
262     -2705,  -3969,  -939,   -1942, -542,  -1184, 1651,  0,     5555,  3489,  8054,  5472,  1751,  557,   1651,  0,
263     1308,   1358,   6089,   -2276, 1467,  -728,  1049,  -2271, -2233, -1333, -3092, 0,     -2485, -2672, 0,     0,
264     3634,   4000,   3821,   4401,  707,   0,     0,     0,     1035,  1437,  667,   94,    8,     0,     0,     0,
265     -1106,  -948,   -1309,  -1869, -770,  -822,  -4,    0,     2523,  1178,  4143,  3243,  782,   -125,  0,     0,
266     798,    1532,   4258,   -1771, 429,   -1033, -197,  -1825, -1785, -1344, -923,  -837,  -607,  -647,  0,     0,
267     2394,   915,    4114,   3095,  958,   -134,  0,     0,     261,   861,   3403,  -1926, -349,  -1552, -1235, -1963,
268     -279,   -260,   -2640,  -1942, -1810, -1946, 0,     0,     2647,  2914,  2783,  3206,  949,   0,     0,     0,
269     2616,   3574,   2979,   187,   1311,  712,   1650,  0,     -638,  -402,  -933,  0,     -749,  -806,  0,     0,
270     1096,   1207,   1153,   1328,  583,   0,     0,     0,     847,   1185,  550,   78,    2,     0,     0,     0,
271     3353,   1597,   3065,   3,     1191,  1461,  -475,  0,     -4537, -4999, -4166, -4867, -1622, 185,   0,     0,
272     822,    -1166,  -210,   2706,  1452,  694,   1689,  79,    529,   -104,  -3084, 0,     -2939, -2328, -2197, 0,
273     -789,   -896,   2040,   2013,  -21,   106,   0,     0,     1770,  2107,  -1461, 1672,  1214,  307,   787,   74,
274     158,    -541,   883,    0,     -700,  -1379, 1651,  0,     566,   643,   -1562, -1546, 1198,  214,   0,     0,
275     5062,   2160,   4598,   3535,  907,   712,   1891,  238,   -511,  -562,  -1304, 0,     -1048, -1127, 0,     0,
276     205,    226,    216,    249,   415,   205,   0,     0,     2793,  1957,  131,   3229,  65,    0,     260,   256,
277     2686,   3506,   -442,   0,     -1540, -861,  -2097, 0,     -1851, -2073, -1980, -2281, -117,  212,   0,     0,
278     3579,   5704,   -1117,  3329,  1331,  692,   1608,  2,     1175,  2970,  -1841, 0,     -1944, -1281, -2135, 0,
279     -810,   -921,   -879,   -1013, -60,   88,    0,     0,     1589,  3377,  -1607, 1378,  588,   307,   712,   0,
280     2845,   4238,   1181,   0,     -271,  511,   -2115, 0,     -1916, -2135, -2040, -2349, -453,  0,     0,     0,
281     781,    3523,   -466,   0,     1301,  712,   1650,  0,     190,   1503,  -1130, 0,     -851,  -487,  -1129, 0,
282     12,     0,      0,      0,     3,     0,     0,     0,     116,   1503,  -1130, 0,     0,     0,     0,     0,
283     3282,   998,    1964,   1912,  -1218, -538,  -2039, 0,     -392,  -72,   1975,  2347,  -1122, 185,   0,     0,
284     2137,   7323,   -3664,  2770,  1936,  705,   1430,  -169,  1303,  535,   2262,  2672,  -909,  -234,  -1962, 0,
285     -809,   -916,   2067,   2039,  -332,  205,   0,     0,     2491,  5210,  -1722, 3151,  1254,  307,   626,   -85,
286     4183,   3926,   1857,   420,   -94,   614,   -1884, 0,     -1887, -2135, -2028, -2337, -1445, 22,    0,     0,
287     -128,   4322,   -3361,  208,   1309,  712,   1451,  -196,  1767,  2616,  618,   2458,  -1478, -846,  -1962, 0,
288     52,     0,      0,      0,     35,    15,    0,     0,     716,   5624,  -4059, 230,   5,     0,     0,     0,
289     1277,   1923,   645,    9,     590,   988,   -933,  0,     -1884, -2075, -2004, -2297, -994,  1,     0,     0,
290     -1372,  -725,   -1994,  -118,  -34,   -11,   -226,  -183,  487,   307,   712,   0,     572,   615,   0,     0,
291     -836,   -921,   -879,   -1013, -445,  0,     0,     0,     -660,  -905,  -420,  -59,   -4,    0,     -86,   -85,
292     1129,   712,    1650,   0,     1326,  1426,  0,     0,     -1940, -2135, -2040, -2349, -1032, 0,     0,     0,
293     -1498,  -2098,  -974,   -137,  -4,    0,     -199,  -196,  0,     0,     0,     0,     0,     0,     0,     0,
294     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
295     878,    3705,   -1717,  -1422, -26,   0,     0,     0,     2571,  1856,  7160,  2164,  4127,  3603,  6071,  0,
296     1465,   -832,   4754,   5,     1248,  1335,  934,   1437,  5957,  9818,  3872,  4020,  29,    0,     0,     0,
297     -197,   863,    710,    2628,  184,   748,   2139,  0,     2549,  -177,  4503,  10,    579,   615,   3,     5,
298     13,     1788,   -3681,  -2343, -46,   0,     0,     0,     3471,  2359,  8709,  2195,  5333,  5178,  5360,  0,
299     -1109,  -3487,  1904,   -8,    1330,  1426,  0,     0,     3544,  5122,  5018,  4613,  14,    0,     0,     0,
300     -2978,  -1751,  -4202,  88,    -3059, -1755, -4204, 0,     2551,  2443,  2810,  0,     7,     0,     0,     0,
301     -1759,  -2687,  -3521,  -3640, -43,   0,     0,     0,     2128,  461,   7507,  16,    4094,  3271,  4310,  5,
302     -2809,  -3058,  -217,   -7,    1307,  1398,  0,     0,     -1143, -2003, -3126, -2935, -26,   0,     0,     0,
303     2106,   896,    4988,   0,     3010,  2152,  3564,  0,     -1160, -1317, -101,  -3,    580,   615,   0,     0,
304     -1234,  -1503,  -1067,  -1594, -32,   0,     0,     0,     155,   -774,  4952,  0,     2175,  2138,  1651,  0,
305     -2927,  -3055,  -233,   -8,    1326,  1426,  0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
306     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
307     -8343,  -9647,  -8510,  -6294, -65,   0,     0,     0,     329,   -1529, 5835,  -1728, 1490,  -488,  501,   -2003,
308     -6092,  -2431,  -6033,  82,    -1792, -1928, 161,   248,   -1849, -1916, -2016, 310,   -18,   0,     0,     0,
309     -1535,  -1704,  230,    -796,  -837,  -1243, -2114, -879,  -33,   629,   -1519, 2678,  -1627, -1762, 1838,  2828,
310     -6196,  -7555,  -6091,  -3953, -58,   0,     0,     0,     -1068, -2449, 4020,  -1846, 7,     -1381, -1417, -2039,
311     -3710,  -595,   -4122,  2232,  -1567, -1694, 1556,  2394,  -481,  -126,  -779,  392,   1,     0,     0,     0,
312     -209,   -126,   -293,   0,     41,    -126,  -293,  0,     -6,    -215,  -848,  334,   -907,  -977,  1620,  2493,
313     -7665,  -8984,  -8157,  -5738, -57,   0,     0,     0,     645,   -1061, 5333,  -1483, 1738,  -78,   679,   -1638,
314     -5848,  -2821,  -6188,  9,     -1825, -1963, 3,     5,     -6439, -7038, -5963, -4435, -50,   0,     0,     0,
315     -733,   -2001,  3740,   -1595, 268,   -1387, -243,  -1762, -4116, -761,  -3924, -3,    -1747, -1879, 0,     0,
316     -4260,  -5108,  -6446,  -2896, -18,   0,     0,     0,     2359,  1423,  3301,  0,     3056,  2138,  1650,  0,
317     -4220,  -4527,  -6308,  -8,    -1810, -1946, 0,     0,     -666,  -402,  -933,  0,     0,     0,     0,     0,
318     0,      0,      0,      0,     213,   0,     0,     0,     -323,  -402,  -933,  0,     -749,  -806,  0,     0,
319     -1353,  76,     -2591,  -1962, -7,    0,     0,     0,     6323,  5968,  2245,  2194,  5481,  6194,  5120,  2394,
320     631,    -3471,  -1005,  -1771, 1859,  2006,  -1276, -1963, -407,  1783,  1306,  2338,  20,    0,     0,     0,
321     2004,   3043,   -4330,  1264,  1630,  2914,  240,   2829,  2311,  -1889, -1519, -816,  -11,   -17,   -588,  -905,
322     -5306,  -3635,  -11178, -4996, -16,   0,     0,     0,     9531,  8318,  5302,  2541,  9083,  7931,  8560,  2376,
323     348,    -4154,  -5626,  -1891, -1739, -1856, -1363, -2098, 673,   2872,  -1744, 834,   19,    0,     0,     0,
324     3136,   3852,   -525,   2433,  2483,  3250,  2274,  1395,  3935,  147,   -175,  0,     -140,  -151,  0,     0,
325     -2618,  -180,   -5490,  -2158, -10,   0,     0,     0,     6845,  6232,  4064,  2519,  6628,  6556,  6007,  1918,
326     -1467,  -5717,  -3377,  -1824, -5,    -6,    -1330, -2046, -1281, -307,  -2502, -1100, -5,    0,     0,     0,
327     3621,   3305,   1384,   1043,  3476,  3380,  3265,  1394,  -7,    -2468, -1500, -816,  5,     0,     -588,  -905,
328     -3871,  -4213,  -4234,  -3167, -22,   0,     0,     0,     2365,  1428,  3297,  0,     2551,  2142,  1655,  4,
329     -3608,  -3131,  -3478,  -1891, 0,     0,     -1363, -2098, 0,     0,     0,     0,     0,     0,     0,     0,
330     0,      0,      0,      0,     0,     0,     0,     0,     53,    0,     0,     0,     4,     0,     0,     0,
331     3456,   7802,   5125,   5852,  9,     0,     0,     0,     -2626, -1253, -179,  2194,  -1007, 1400,  -3328, 24,
332     -882,   -3343,  1858,   -5,    1249,  1335,  934,   1437,  821,   3560,  -697,  -146,  -15,   0,     0,     0,
333     1046,   1511,   2529,   2430,  1694,  2663,  1053,  0,     1342,  -1234, 2889,  -3,    579,   615,   3,     5,
334     1341,   2197,   1964,   1768,  -12,   0,     0,     0,     -1342, -1542, 2754,  261,   616,   1359,  -554,  0,
335     -2436,  -2912,  236,    -8,    1333,  1426,  0,     0,     3147,  5577,  5066,  5320,  23,    0,     0,     0,
336     -2790,  -1593,  -3973,  174,   -2884, -1601, -3977, 0,     2496,  2296,  2750,  0,     7,     0,     0,     0,
337     939,    835,    1319,   -483,  -14,   0,     0,     0,     -700,  -1110, 2806,  12,    740,   636,   1531,  6,
338     -1242,  -1370,  1669,   0,     1300,  1394,  0,     0,     313,   290,   511,   -276,  -10,   0,     0,     0,
339     -1396,  -1592,  2139,   0,     366,   307,   712,   0,     -599,  -630,  712,   0,     572,   615,   0,     0,
340     869,    672,    1186,   -639,  -11,   0,     0,     0,     1180,  712,   1651,  0,     849,   712,   1650,  0,
341     -1390,  -1460,  1650,   0,     1326,  1426,  0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
342     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
343     -7110,  -6344,  4910,   769,   -6,    0,     0,     0,     -3644, -3527, -1068, -2089, -150,  -501,  -8,    0,
344     -1732,  -864,   -3900,  -855,  -1500, -1586, 2724,  2290,  -1702, -846,  2894,  3127,  1227,  0,     0,     0,
345     -3083,  -2515,  -2457,  -962,  148,   -231,  -4,    0,     -1174, -910,  -2934, -412,  -1517, -1511, 3720,  3042,
346     -11019, -10128, -334,   -2350, -3200, -1963, 0,     0,     488,   66,    1049,  -2231, -367,  -536,  -9,    0,
347     -1530,  -569,   -3228,  -955,  -817,  -982,  2202,  1967,  -2822, -1767, -4097, 0,     -1747, -1879, 0,     0,
348     2837,   2862,   0,      0,     379,   0,     0,     0,     -623,  -829,  -1922, 0,     -1528, -1661, 105,   90,
349     -9227,  -8662,  88,     -2305, -1368, -12,   0,     0,     -1971, -2401, 1118,  -2143, -55,   -449,  -8,    0,
350     -1701,  -723,   -3949,  -767,  -1758, -1982, -401,  -250,  -7281, -6636, 434,   -1013, -593,  0,     0,     0,
351     -1999,  -2201,  452,    -962,  203,   -231,  -4,    0,     -1866, -1960, -4198, -825,  -1830, -2006, -185,  -117,
352     -4253,  -4332,  -388,   -2349, -1374, 0,     0,     0,     -323,  -751,  1049,  -2231, -559,  -536,  -9,    0,
353     79,     1988,   0,      0,     -40,   -139,  -429,  -272,  0,     0,     0,     0,     0,     0,     0,     0,
354     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
355     -782,   -1392,  -220,   -2330, 292,   1401,  0,     0,     -910,  -1327, 1538,  3,     -2,    1,     0,     0,
356     -2189,  -2167,  1603,   1,     -69,   -155,  -2491, -2029, -339,  -614,  2808,  -924,  135,   615,   0,     0,
357     2771,   2497,   -1638,  0,     -3,    0,     0,     0,     -938,  -947,  712,   0,     -18,   -60,   -1139, -929,
358     -793,   -1423,  2080,   -2299, 301,   1426,  0,     0,     1650,  1151,  -312,  0,     -7,    0,     0,     0,
359     -2239,  -2197,  1651,   0,     -57,   -139,  -2642, -2155, 1,     0,     2653,  94,    1,     0,     0,     0,
360     401,    390,    -292,   0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
361     -970,   -1506,  -736,   -2327, 57,    1146,  0,     0,     -611,  -1026, 1598,  0,     -6,    0,     0,     0,
362     -1787,  -1762,  1328,   2,     -53,   -139,  -2197, -1779, 152,   -306,  479,   -1047, 701,   1232,  0,     0,
363     -1392,  -1570,  712,    0,     -6,    0,     0,     0,     -1916, -1899, 1427,  0,     -26,   -60,   -2097, -1745,
364     -1942,  -2135,  -2040,  -2349, -1032, 0,     0,     0,     1143,  712,   1650,  0,     -1,    0,     0,     0,
365     -12,    0,      0,      0,     -46,   -139,  -429,  -272,  0,     0,     0,     0,     0,     0,     0,     0,
366     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
367     -846,   -950,   -5558,  -2364, -876,  -2,    0,     0,     -494,  -936,  2548,  55,    -386,  -524,  0,     0,
368     2793,   2971,   -1733,  289,   -418,  -546,  2213,  1974,  3682,  3983,  -8437, -1047, -319,  0,     0,     0,
369     2210,   1984,   803,    2,     -58,   -536,  0,     0,     4000,  4942,  -1490, 1271,  -1777, -1958, 1331,  1173,
370     -4634,  -5147,  178,    -2428, -626,  0,     0,     0,     -3306, -3854, 1994,  683,   -1348, -1125, 3,     0,
371     1798,   526,    -2526,  -955,  1284,  1288,  2617,  2321,  326,   310,   -233,  0,     445,   0,     0,     0,
372     -439,   -623,   -1837,  315,   -1462, -1585, 1,     0,     1486,  1223,  -1130, 0,     1,     0,     2916,  2482,
373     -3319,  -2975,  -6262,  -2362, -1006, 0,     0,     0,     -1044, -1430, 3185,  5,     407,   -11,   0,     0,
374     1336,   1158,   -3650,  0,     -1721, -1947, 2603,  2307,  -2298, -1841, -3977, -1047, -448,  0,     0,     0,
375     -462,   -641,   1424,   0,     424,   0,     0,     0,     757,   581,   -3264, 0,     -1732, -1905, 1066,  947,
376     -3391,  -3047,  -6387,  -2428, -1038, 0,     0,     0,     -1118, -1485, 3301,  0,     415,   0,     0,     0,
377     -730,   -907,   -2119,  0,     -1740, -1967, -429,  -272,  -772,  -487,  -1129, 0,     0,     0,     0,     0,
378     0,      0,      0,      0,     223,   0,     0,     0,     -391,  -487,  -1129, 0,     -907,  -976,  0,     0,
379     -1212,  -850,   -4529,  -2225, -1601, -301,  0,     0,     1610,  1210,  1036,  -2089, -122,  -501,  -8,    0,
380     281,    2411,   -578,   627,   -1662, -1896, 2214,  1975,  -2695, -2387, -2370, -1013, -593,  0,     0,     0,
381     -2730,  -2938,  452,    -962,  145,   -231,  -4,    0,     -2192, -2560, -4673, -1149, -1589, -1755, 2728,  2362,
382     -5528,  -5133,  -2281,  -2349, -1374, 0,     0,     0,     -323,  -751,  1049,  -2231, -188,  -536,  -9,    0,
383     -552,   1175,   -1884,  0,     -1548, -1767, -116,  -5,    -1340, -846,  -1962, 0,     0,     0,     0,     0,
384     0,      0,      0,      0,     387,   0,     0,     0,     -647,  -846,  -1962, 0,     -1564, -1695, 208,   177,
385     -2454,  -2120,  434,    57,    -313,  -8,    0,     0,     -1099, -1063, -254,  -1793, -48,   -197,  -7,    0,
386     -251,   1202,   -937,   0,     -748,  -803,  25,    19,    -1997, -1899, 1427,  0,     -148,  0,     0,     0,
387     -1514,  -1572,  -1235,  -1928, -1056, -1080, -7,    0,     70,    1718,  0,     0,     0,     0,     0,     0,
388     0,      0,      0,      0,     -341,  0,     0,     0,     572,   712,   1650,  0,     1326,  1426,  0,     0,
389     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
390     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
391     -616,   4303,   4400,   2747,  3697,  3228,  1546,  0,     5138,  4444,  549,   0,     909,   1559,  2656,  417,
392     690,    265,    -3230,  -2173, -3073, -2646, -1911, -2129, 1633,  4228,  -2540, 1340,  1792,  1558,  716,   0,
393     6701,   6151,   -2738,  0,     541,   2453,  3232,  506,   -300,  -456,  -988,  -954,  2095,  1612,  -928,  -1013,
394     -3778,  1545,   3479,   2230,  6278,  5387,  1658,  0,     3865,  3118,  6861,  2645,  1051,  1707,  2700,  423,
395     -2801,  -2897,  -3917,  -2212, -6255, -5771, -2152, -2349, 1701,  2553,  2784,  2936,  5826,  5220,  10,    0,
396     5455,   5042,   840,    2533,  27,    90,    108,   17,    1908,  1905,  -4311, 0,     -1747, -1879, 0,     0,
397     -1171,  2645,   1578,   12,    1039,  722,   1614,  0,     2610,  1986,  2478,  16,    735,   -414,  16,    3,
398     -3562,  -3658,  251,    -1777, -2151, -1921, -2101, -2296, -1647, 1096,  678,   -4,    442,   307,   712,   0,
399     3455,   2973,   597,    0,     795,   -461,  0,     0,     -2381, -2575, -732,  -1912, -946,  -846,  -928,  -1013,
400     614,    2700,   1651,   0,     1036,  712,   1650,  0,     -1206, -1485, 3302,  0,     -5,    0,     0,     0,
401     -2343,  -2197,  1651,   0,     -2183, -1962, -2152, -2349, 0,     0,     0,     0,     0,     0,     0,     0,
402     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
403     -2310,  -3464,  660,    -2124, -3337, -2717, -672,  0,     -3152, -3292, 1117,  -1888, 992,   -1054, -481,  -333,
404     2176,   1980,   663,    3,     2107,  2207,  2987,  3228,  593,   -446,  -589,  -978,  -3792, -2695, -3680, 0,
405     -2779,  -2401,  -1677,  -829,  439,   -506,  -268,  -153,  8610,  8163,  -5193, 0,     4263,  5139,  5501,  4817,
406     -702,   -2228,  1033,   -2269, -4629, -3553, -2280, 0,     -2167, -2658, 2857,  -1922, 994,   -1173, -621,  -356,
407     6622,   6244,   -2508,  0,     122,   -420,  420,   1351,  2043,  1716,  885,   0,     -917,  -614,  -1423, 0,
408     9,      0,      0,      0,     10,    0,     0,     0,     4773,  4506,  -3387, 0,     1305,  1344,  1474,  1609,
409     -2429,  -3527,  -432,   -2184, -3434, -2818, -967,  0,     -2984, -3086, 1248,  -1545, 792,   -942,  -499,  -286,
410     1664,   1509,   628,    5,     2189,  2269,  2961,  3232,  -1690, -2469, 1150,  -978,  -2150, -1631, -752,  0,
411     -1794,  -1961,  327,    -1661, 858,   -1014, -536,  -307,  2796,  2563,  -38,   0,     2046,  2122,  2836,  3095,
412     -2162,  -2971,  -4465,  -2269, -3680, -3087, -2260, 0,     -2287, -2197, 1651,  0,     -3,    0,     0,     0,
413     849,    801,    -602,   0,     2597,  2677,  2937,  3205,  -323,  -402,  -933,  0,     -589,  -402,  -933,  0,
414     1,      0,      0,      0,     2,     0,     0,     0,     1323,  1242,  -933,  0,     1075,  1109,  1216,  1327,
415     -2316,  -2619,  -1836,  4,     988,   -2,    3866,  0,     -2241, -2009, -24,   2,     -182,  2361,  2699,  423,
416     -7144,  -6670,  5880,   623,   -387,  -457,  -3026, -3303, 345,   -2667, -3513, 6,     -1332, -1680, 692,   0,
417     624,    761,    -4306,  0,     -1159, 2001,  1555,  244,   164,   639,   3629,  2945,  2695,  2745,  25,    28,
418     -7147,  -6467,  -6672,  -4,    -1780, -1876, -497,  0,     -5108, -4545, 2957,  0,     1050,  2060,  3125,  490,
419     -3142,  -3420,  -518,   -2213, 4973,  4838,  2800,  3056,  -2152, -4096, -3479, 0,     -1016, -1051, -175,  0,
420     -1408,  -929,   -2155,  0,     129,   2484,  2993,  469,   248,   233,   -175,  0,     1849,  1550,  228,   249,
421     -2924,  -2016,  -4772,  0,     -144,  -658,  1585,  0,     776,   646,   -510,  0,     128,   2573,  3099,  486,
422     -4447,  -4252,  3197,   1,     2664,  2589,  10,    10,    -1597, -1168, -2381, 0,     -407,  -668,  712,   0,
423     2081,   1895,   -1424,  0,     54,    1065,  1283,  201,   -1980, -1895, 1424,  0,     1532,  1559,  0,     0,
424     -1587,  -1250,  -295,   0,     1144,  709,   1650,  0,     749,   619,   -465,  0,     -6,    0,     0,     0,
425     -4595,  -4394,  3302,   0,     1,     4,     0,     0,     8,     0,     0,     0,     4,     0,     0,     0,
426     1623,   1503,   -1130,  0,     1,     0,     0,     0,     1,     0,     0,     0,     0,     0,     0,     0,
427     6718,   8148,   756,    2237,  3646,  3125,  1539,  0,     1595,  1173,  455,   406,   -224,  3854,  2688,  423,
428     3607,   3921,   617,    2884,  919,   490,   -2014, -2198, -1847, 2993,  1462,  3117,  3537,  3219,  722,   0,
429     3340,   2827,   1448,   0,     2282,  6848,  2989,  468,   4374,  4629,  696,   2992,  -803,  -758,  -928,  -1013,
430     3672,   5899,   -260,   491,   1530,  1169,  1652,  0,     1503,  1023,  1417,  0,     14,    277,   321,   50,
431     -1825,  -1712,  1303,   12,    773,   448,   -2152, -2349, 4441,  5256,  547,   2873,  2858,  2679,  10,    0,
432     2826,   2611,   -1963,  0,     19,    178,   214,   34,    2971,  2782,  -2091, 0,     2877,  2346,  0,     0,
433     735,    2712,   1539,   10,    1038,  710,   1609,  0,     2446,  1992,  630,   11,    -5,    10,    10,    2,
434     -2283,  -2143,  1597,   0,     -2046, -1849, -2104, -2296, 281,   1164,  712,   0,     449,   307,   712,   0,
435     465,    307,    712,    0,     -2,    0,     0,     0,     -1010, -947,  712,   0,     -941,  -846,  -928,  -1013,
436     653,    2700,   1651,   0,     1042,  712,   1650,  0,     1078,  712,   1650,  0,     -4,    0,     0,     0,
437     -2341,  -2197,  1651,   0,     -2183, -1962, -2152, -2349, 0,     0,     0,     0,     0,     0,     0,     0,
438     0,      0,      0,      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0};
439 
440 const int16_t *const batch_matmul_3_s16_output_ref = batch_matmul_3_s16_output;
441