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_1_s16_output[6912] = {
7     -816,  1068,  -2389, 0,     -1388, -517,  -1198, 0,     966,   -1114,  2479,  0,     2455,  1605,  1240,  0,
8     813,   1082,  -2389, 0,     -165,  -1030, -2389, 0,     0,     0,      0,     0,     0,     0,     0,     0,
9     0,     1,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
10     1212,  -135,  -313,  0,     -4074, -135,  -313,  0,     -1328, -3495,  2626,  0,     2107,  2268,  0,     0,
11     668,   -2604, -312,  0,     -3617, -135,  -313,  0,     448,   -656,   1457,  0,     839,   314,   728,   0,
12     1885,  1288,  1193,  0,     1472,  325,   1632,  0,     -502,  -656,   1457,  0,     101,   628,   1457,  0,
13     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
14     0,     0,     0,     0,     0,     0,     0,     0,     -1808, 81,     188,   0,     1600,  81,    188,   0,
15     -3292, 1299,  2218,  0,     -2913, 872,   2412,  0,     -1310, 1034,   188,   0,     2003,  83,    -1270, 0,
16     937,   314,   728,   0,     861,   314,   728,   0,     -1571, 734,    -550,  0,     -3728, -1206, 1689,  0,
17     -363,  -969,  729,   0,     596,   629,   0,     0,     -3065, -1088,  -2523, 0,     -2976, -1088, -2523, 0,
18     727,   -2524, 1895,  0,     1525,  1637,  0,     0,     1232,  3358,   -2524, 0,     -2034, -2179, -2,    0,
19     -1933, -1430, -340,  0,     1565,  -461,  -1069, 0,     -478,  -239,   -554,  0,     -738,  -239,  -554,  0,
20     -653,  453,   -341,  0,     443,   -147,  -341,  0,     1320,  -343,   2190,  0,     1698,  629,   1459,  0,
21     -855,  -1976, 963,   0,     534,   1003,  -394,  0,     -627,  -343,   2190,  0,     950,   944,   2189,  0,
22     -346,  -969,  729,   0,     -8,    0,     0,     0,     -529,  -241,   -559,  0,     -748,  -241,  -559,  0,
23     -372,  -969,  729,   0,     -745,  314,   728,   0,     2134,  3668,   -1793, 0,     858,   314,   728,   0,
24     -566,  1127,  297,   0,     -2724, -848,  2551,  0,     924,   2385,   -1792, 0,     3175,  -457,  -2520, 0,
25     1324,  1529,  3546,  0,     -2770, 1529,  3546,  0,     -2812, 2567,   5,     0,     -6111, -1358, 3148,  0,
26     -1232, -2148, 3547,  0,     -908,  1216,  1357,  0,     937,   314,    728,   0,     861,   314,   728,   0,
27     -1578, 757,   -568,  0,     -3742, -1221, 1689,  0,     -363,  -969,   729,   0,     596,   629,   0,     0,
28     -3039, -1088, -2523, 0,     -2970, -1088, -2523, 0,     430,   -1487,  1117,  0,     900,   965,   0,     0,
29     1231,  3358,  -2524, 0,     -2026, -2178, -4,    0,     -1907, -1423,  -323,  0,     1540,  -453,  -1051, 0,
30     -498,  -246,  -571,  0,     -758,  -246,  -571,  0,     -649,  430,    -323,  0,     423,   -139,  -323,  0,
31     1320,  -343,  2190,  0,     1698,  629,   1459,  0,     -855,  -1976,  963,   0,     534,   1003,  -394,  0,
32     -627,  -343,  2190,  0,     950,   944,   2189,  0,     529,   -655,   1459,  0,     852,   315,   730,   0,
33     -1398, -2035, 767,   0,     -2976, 180,   1113,  0,     -736,  -1941,  1459,  0,     -159,  945,   728,   0,
34     2135,  3670,  -1794, 0,     862,   314,   728,   0,     -2052, 597,    -1004, 0,     -4245, -1416, 1268,  0,
35     927,   2387,  -1794, 0,     3178,  -458,  -2521, 0,     1324,  1529,   3546,  0,     -2770, 1529,  3546,  0,
36     -2819, 2544,  22,    0,     -6097, -1343, 3148,  0,     -1232, -2148,  3547,  0,     -908,  1216,  1357,  0,
37     938,   314,   728,   0,     861,   314,   728,   0,     -1585, 781,    -585,  0,     -3756, -1236, 1689,  0,
38     -363,  -969,  728,   0,     596,   629,   0,     0,     -3271, -2062,  -1796, 0,     -2983, -1090, -2527, 0,
39     627,   3822,  -1206, 0,     -589,  -1585, 1257,  0,     857,   2392,   -1798, 0,     -2758, -1867, 726,   0,
40     -1881, -1415, -306,  0,     1514,  -446,  -1034, 0,     -519,  -254,   -588,  0,     -779,  -254,  -588,  0,
41     -644,  407,   -306,  0,     404,   -132,  -306,  0,     1320,  -343,   2190,  0,     1698,  629,   1459,  0,
42     -855,  -1976, 963,   0,     534,   1003,  -394,  0,     -627,  -343,   2190,  0,     950,   944,   2189,  0,
43     -192,  -296,  2290,  0,     -431,  673,   1561,  0,     -3620, -3169,  4799,  0,     -1157, 3355,  1826,  0,
44     -1323, -1760, 2290,  0,     -279,  988,   828,   0,     2135,  3669,   -1793, 0,     868,   314,   728,   0,
45     -4451, -273,  -3098, 0,     -6699, -2327, -808,  0,     930,   2385,   -1793, 0,     3180,  -457,  -2520, 0,
46     1324,  1529,  3546,  0,     -2770, 1529,  3546,  0,     -2825, 2521,   39,    0,     -6083, -1328, 3148,  0,
47     -1232, -2148, 3547,  0,     -908,  1216,  1357,  0,     938,   314,    728,   0,     861,   314,   728,   0,
48     -1591, 804,   -602,  0,     -3770, -1251, 1689,  0,     -363,  -969,   728,   0,     596,   629,   0,     0,
49     -3338, -2060, -1796, 0,     -2990, -1089, -2526, 0,     3736,  1961,   2862,  0,     3428,  1056,  3275,  0,
50     854,   2391,  -1797, 0,     -2770, -1866, 725,   0,     -1855, -1408,  -288,  0,     1489,  -438,  -1017, 0,
51     -540,  -261,  -606,  0,     -799,  -261,  -606,  0,     -639,  384,    -289,  0,     385,   -124,  -289,  0,
52     1320,  -343,  2190,  0,     1698,  629,   1459,  0,     -855,  -1976,  963,   0,     534,   1003,  -394,  0,
53     -627,  -343,  2190,  0,     950,   944,   2189,  0,     525,   -655,   1459,  0,     852,   315,   730,   0,
54     -1385, -2236, 872,   0,     -2904, 286,   1078,  0,     -736,  -1941,  1459,  0,     -159,  945,   728,   0,
55     1001,  2389,  -1795, 0,     -1421, -1551, 0,     0,     -1342, -409,   -949,  0,     -1119, -409,  -949,  0,
56     2198,  3672,  -1796, 0,     -1166, -1866, 728,   0,     -1100, -2914,  2190,  0,     604,   631,   0,     0,
57     -493,  -20,   -45,   0,     126,   -20,   -45,   0,     2528,  944,    2189,  0,     2660,  944,   2189,  0,
58     -399,  -969,  729,   0,     606,   629,   0,     0,     -995,  -267,   -619,  0,     -708,  -267,  -619,  0,
59     832,   314,   728,   0,     861,   314,   728,   0,     1383,  3358,   -2524, 0,     -2023, -2180, 0,     0,
60     -413,  -141,  -327,  0,     -351,  -141,  -327,  0,     -2876, -1088,  -2523, 0,     -2978, -1088, -2523, 0,
61     -404,  -969,  729,   0,     578,   629,   0,     0,     -1580, -700,   -1622, 0,     -2293, -700,  -1622, 0,
62     -373,  -969,  729,   0,     580,   629,   0,     0,     -1038, -2914,  2190,  0,     -1196, 1260,  1459,  0,
63     1486,  415,   963,   0,     825,   415,   963,   0,     -722,  -2914,  2190,  0,     1750,  1892,  0,     0,
64     -804,  -1939, 1458,  0,     1171,  1259,  0,     0,     -415,  -177,   -410,  0,     -765,  -177,  -410,  0,
65     450,   -655,  1457,  0,     1438,  943,   729,   0,     999,   2384,   -1792, 0,     -1418, -1548, 0,     0,
66     -1532, -482,  -1117, 0,     -1329, -482,  -1117, 0,     2197,  3668,   -1792, 0,     -1163, -1863, 728,   0,
67     -1100, -2914, 2190,  0,     604,   631,   0,     0,     -471,  -12,    -28,   0,     146,   -12,   -28,   0,
68     2528,  944,   2189,  0,     2660,  944,   2189,  0,     -399,  -969,   729,   0,     606,   629,   0,     0,
69     -1017, -274,  -637,  0,     -729,  -275,  -637,  0,     832,   314,    728,   0,     861,   314,   728,   0,
70     977,   2383,  -1791, 0,     -1464, -1547, 0,     0,     1890,  581,    1347,  0,     1371,  581,   1347,  0,
71     -3260, -2056, -1790, 0,     -2398, -457,  -2519, 0,     -404,  -969,   729,   0,     578,   629,   0,     0,
72     -1580, -700,  -1622, 0,     -2292, -700,  -1622, 0,     -373,  -969,   729,   0,     580,   629,   0,     0,
73     -1038, -2914, 2190,  0,     -1196, 1260,  1459,  0,     1486,  415,    963,   0,     825,   415,   963,   0,
74     -722,  -2914, 2190,  0,     1750,  1892,  0,     0,     -805,  -1944,  1461,  0,     1135,  1262,  0,     0,
75     3278,  1080,  2505,  0,     2598,  1080,  2505,  0,     450,   -654,   1461,  0,     1438,  945,   732,   0,
76     1001,  2390,  -1796, 0,     -1418, -1551, 0,     0,     -3693, -1319,  -3059, 0,     -3772, -1319, -3059, 0,
77     2211,  3673,  -1797, 0,     -1163, -1867, 728,   0,     -1100, -2914,  2190,  0,     604,   631,   0,     0,
78     -449,  -5,    -11,   0,     166,   -5,    -11,   0,     2528,  944,    2189,  0,     2659,  944,   2189,  0,
79     -399,  -969,  729,   0,     606,   629,   0,     0,     -1039, -282,   -654,  0,     -748,  -282,  -654,  0,
80     832,   314,   728,   0,     861,   314,   728,   0,     0,     0,      0,     0,     0,     0,     0,     0,
81     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
82     -1607, -3891, 2924,  0,     2373,  2526,  0,     0,     -4665, -1751,  -4060, 0,     -5128, -1751, -4060, 0,
83     2133,  -23,   2923,  0,     3175,  1576,  2195,  0,     -1038, -2914,  2190,  0,     -1196, 1260,  1459,  0,
84     1486,  415,   963,   0,     825,   415,   963,   0,     -722,  -2914,  2190,  0,     1750,  1892,  0,     0,
85     -404,  -969,  729,   0,     576,   629,   0,     0,     -518,  -286,   -663,  0,     -1066, -286,  -663,  0,
86     -380,  -969,  729,   0,     579,   629,   0,     0,     -399,  -969,   729,   0,     606,   629,   0,     0,
87     -1055, -287,  -666,  0,     -763,  -287,  -666,  0,     831,   314,    728,   0,     861,   314,   728,   0,
88     -2318, -5836, 4386,  0,     2370,  2527,  0,     0,     -2901, -951,   -2205, 0,     -2601, -951,  -2205, 0,
89     1353,  -1978, 4385,  0,     4426,  2841,  2189,  0,     -399,  -969,   729,   0,     606,   629,   0,     0,
90     -1061, -289,  -671,  0,     -768,  -289,  -671,  0,     832,   314,    728,   0,     861,   314,   728,   0,
91     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
92     0,     0,     0,     0,     0,     0,     0,     0,     -1607, -3891,  2924,  0,     2370,  2526,  0,     0,
93     -4402, -1661, -3852, 0,     -4888, -1661, -3852, 0,     2133,  -23,    2923,  0,     3174,  1576,  2195,  0,
94     -1038, -2914, 2190,  0,     -1196, 1260,  1459,  0,     1486,  415,    963,   0,     825,   415,   963,   0,
95     -722,  -2914, 2190,  0,     1750,  1892,  0,     0,     -404,  -969,   729,   0,     576,   629,   0,     0,
96     -537,  -293,  -680,  0,     -1088, -293,  -680,  0,     -380,  -969,   729,   0,     579,   629,   0,     0,
97     -399,  -969,  729,   0,     606,   629,   0,     0,     -1077, -295,   -684,  0,     -783,  -295,  -684,  0,
98     831,   314,   728,   0,     861,   314,   728,   0,     -2318, -5836,  4386,  0,     2370,  2527,  0,     0,
99     -3037, -1005, -2330, 0,     -2760, -1005, -2330, 0,     1354,  -1978,  4385,  0,     4426,  2841,  2189,  0,
100     -399,  -969,  729,   0,     607,   629,   0,     0,     -1083, -297,   -689,  0,     -788,  -297,  -689,  0,
101     832,   314,   728,   0,     861,   314,   728,   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     -971,  1801,  -389,  0,     705,   -80,   -186,  0,     -43,   -375,   -869,  0,     3184,  -375,  -869,  0,
104     1359,  -1114, -2583, 0,     -1548, -490,  728,   0,     22,    4303,   1462,  0,     4857,  -313,  -726,  0,
105     4970,  -170,  -394,  0,     5044,  -170,  -394,  0,     3151,  -1760,  1464,  0,     -4113, 1529,  3546,  0,
106     90,    3491,  -1659, 0,     3402,  -1029, -2386, 0,     5404,  -300,   -697,  0,     5490,  -301,  -697,  0,
107     2501,  -715,  -1658, 0,     -690,  314,   728,   0,     1676,  -241,   2417,  0,     1269,  1042,  2417,  0,
108     -3652, -716,  -1661, 0,     -485,  -716,  -1661, 0,     2057,  728,    1689,  0,     2067,  728,   1689,  0,
109     -962,  1799,  2572,  0,     3515,  -422,  -980,  0,     -564,  -3594,  -2370, 0,     2855,  -1651, -3830, 0,
110     4945,  2418,  1842,  0,     2171,  2450,  2962,  0,     1676,  -241,   2417,  0,     1269,  1042,  2417,  0,
111     -3658, -719,  -1666, 0,     -484,  -719,  -1666, 0,     2057,  728,    1689,  0,     2067,  728,   1689,  0,
112     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
113     0,     0,     0,     0,     0,     0,     0,     0,     -975,  1801,   -389,  0,     722,   -88,   -204,  0,
114     5635,  1733,  4018,  0,     2354,  1733,  4018,  0,     1352,  -1114,  -2583, 0,     -1545, -475,  728,   0,
115     22,    4303,  1462,  0,     4857,  -313,  -726,  0,     4970,  -170,   -394,  0,     5044,  -170,  -394,  0,
116     3151,  -1760, 1464,  0,     -4113, 1529,  3546,  0,     94,    3514,   -1676, 0,     3427,  -1036, -2403, 0,
117     5428,  -308,  -715,  0,     5515,  -308,  -714,  0,     2526,  -722,   -1675, 0,     -690,  314,   728,   0,
118     2787,  -4156, 2013,  0,     -1759, 1955,  4533,  0,     -6707, 190,    442,   0,     -3348, 190,   442,   0,
119     2234,  560,   1283,  0,     4449,  -361,  -837,  0,     -116,  -2440,  2872,  0,     7,     653,   1515,  0,
120     -4109, -2526, 107,   0,     -547,  -583,  -1353, 0,     4178,  2517,   2141,  0,     4219,  1511,  785,   0,
121     1676,  -241,  2417,  0,     1269,  1042,  2417,  0,     -3678, -726,   -1684, 0,     -481,  -726,  -1684, 0,
122     2058,  728,   1689,  0,     2067,  728,   1689,  0,     1717,  3359,   -2524, 0,     3096,  -1086, -2519, 0,
123     295,   -2138, -4957, 0,     3543,  -2138, -4957, 0,     22,    -2,     -4,    0,     135,   -3,    0,     0,
124     515,   4723,  -2585, 0,     3445,  -1042, -2416, 0,     5446,  -313,   -727,  0,     5537,  -313,  -727,  0,
125     1426,  -1114, -2583, 0,     -1410, -460,  728,   0,     22,    4303,   1462,  0,     4857,  -313,  -726,  0,
126     4970,  -170,  -394,  0,     5044,  -170,  -394,  0,     3151,  -1760,  1464,  0,     -4113, 1529,  3546,  0,
127     98,    3537,  -1693, 0,     3452,  -1044, -2421, 0,     5453,  -315,   -732,  0,     5540,  -316,  -732,  0,
128     2551,  -730,  -1692, 0,     -690,  314,   728,   0,     3495,  -90,    -1041, 0,     2594,  638,   1479,  0,
129     -2356, -1134, -2630, 0,     1041,  -1134, -2630, 0,     6634,  -755,   -1770, 0,     4448,  -360,  -836,  0,
130     -94,   -2432, 2890,  0,     31,    661,   1532,  0,     -4109, -2526,  107,   0,     -547,  -583,  -1353, 0,
131     4170,  2494,  2158,  0,     4199,  1518,  802,   0,     1676,  -241,   2417,  0,     1269,  1042,  2417,  0,
132     -3698, -733,  -1701, 0,     -478,  -733,  -1701, 0,     2058,  728,    1689,  0,     2067,  728,   1689,  0,
133     1720,  3365,  -2529, 0,     3097,  -1088, -2522, 0,     2472,  -1326,  -3074, 0,     3218,  -1326, -3074, 0,
134     -1,    -2,    -5,    0,     130,   -5,    0,     0,     511,   4723,   -2585, 0,     3469,  -1049, -2433, 0,
135     5471,  -321,  -744,  0,     5562,  -321,  -744,  0,     1473,  -1114,  -2583, 0,     -1396, -445,  728,   0,
136     22,    4303,  1462,  0,     4857,  -313,  -726,  0,     4970,  -170,   -394,  0,     5044,  -170,  -394,  0,
137     3151,  -1760, 1464,  0,     -4113, 1529,  3546,  0,     102,   3560,   -1711, 0,     3476,  -1051, -2438, 0,
138     5478,  -323,  -749,  0,     5565,  -323,  -749,  0,     2576,  -737,   -1710, 0,     -690,  314,   728,   0,
139     3652,  784,   -1703, 0,     3534,  354,   822,   0,     -1435, -1425,  -3305, 0,     1990,  -1425, -3305, 0,
140     7587,  -1041, -2431, 0,     4451,  -362,  -839,  0,     -72,   -2425,  2907,  0,     55,    668,   1549,  0,
141     -4109, -2526, 107,   0,     -547,  -583,  -1353, 0,     4162,  2471,   2176,  0,     4178,  1526,  819,   0,
142     1676,  -241,  2417,  0,     1269,  1042,  2417,  0,     -3718, -741,   -1718, 0,     -475,  -741,  -1718, 0,
143     2058,  728,   1689,  0,     2067,  728,   1689,  0,     0,     0,      0,     0,     0,     0,     0,     0,
144     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
145     -987,  1801,  -389,  0,     802,   -110,  -255,  0,     1061,  -29,    -67,   0,     3131,  -29,   -67,   0,
146     1536,  -1114, -2583, 0,     -1494, -430,  728,   0,     22,    4303,   1462,  0,     4857,  -313,  -726,  0,
147     4970,  -170,  -394,  0,     5044,  -170,  -394,  0,     3151,  -1760,  1464,  0,     -4113, 1529,  3546,  0,
148     106,   3583,  -1728, 0,     3501,  -1059, -2455, 0,     5503,  -330,   -767,  0,     5590,  -330,  -766,  0,
149     2601,  -745,  -1727, 0,     -690,  314,   728,   0,     1676,  -241,   2417,  0,     1269,  1042,  2417,  0,
150     -3732, -746,  -1731, 0,     -473,  -746,  -1731, 0,     2058,  728,    1689,  0,     2067,  728,   1689,  0,
151     -3683, -5266, 2307,  0,     -2312, 409,   948,   0,     829,   309,    717,   0,     914,   309,   717,   0,
152     5194,  3775,  2305,  0,     4013,  2406,  2195,  0,     -1408, -334,   -775,  0,     -1119, -334,  -775,  0,
153     930,   314,   728,   0,     892,   314,   728,   0,     2525,  4008,   -776,  0,     1355,  1459,  0,     0,
154     -747,  -1112, 386,   0,     -612,  168,   389,   0,     -2430, -788,   -1827, 0,     -2213, -788,  -1827, 0,
155     1080,  771,   386,   0,     888,   314,   729,   0,     -51,   154,    -115,  0,     -184,  314,   728,   0,
156     -1024, -336,  -779,  0,     -917,  -336,  -779,  0,     1100,  1437,   -116,  0,     882,   314,   728,   0,
157     1297,  -387,  2087,  0,     1525,  900,   2087,  0,     1298,  459,    1065,  0,     719,   1091,  -394,  0,
158     306,   -1492, 2088,  0,     882,   315,   730,   0,     -163,  -671,   1420,  0,     573,   612,   1420,  0,
159     -118,  -24,   -55,   0,     -34,   -24,   -55,   0,     2715,  2369,   1419,  0,     2237,  1773,  728,   0,
160     -133,  3014,  -3313, 0,     -471,  -1428, -3312, 0,     2934,  1016,   2356,  0,     2876,  1016,  2356,  0,
161     -660,  2941,  -3313, 0,     -1701, 372,   -2521, 0,     -2536, -2337,  128,   0,     -1708, -530,  -1229, 0,
162     2642,  944,   2189,  0,     2707,  944,   2189,  0,     2407,  2806,   127,   0,     1353,  1459,  0,     0,
163     -1427, -342,  -793,  0,     -1141, -342,  -792,  0,     930,   314,    728,   0,     892,   314,   728,   0,
164     2533,  4031,  -794,  0,     1355,  1459,  0,     0,     -663,  -257,   -602,  0,     -753,  -259,  -601,  0,
165     -3206, -1087, -2522, 0,     -3084, -1087, -2522, 0,     296,   802,    -602,  0,     8,     0,     0,     0,
166     -57,   131,   -98,   0,     -184,  314,   728,   0,     -1045, -343,   -796,  0,     -938,  -343,  -796,  0,
167     1097,  1414,  -98,   0,     882,   314,   728,   0,     1297,  -387,   2087,  0,     1525,  900,   2087,  0,
168     1298,  459,   1065,  0,     719,   1091,  -394,  0,     306,   -1492,  2088,  0,     882,   315,   730,   0,
169     2303,  -443,  4779,  0,     3979,  1762,  4087,  0,     745,   284,    658,   0,     846,   284,   658,   0,
170     3590,  875,   4779,  0,     4259,  2502,  2417,  0,     -150,  3009,   -3331, 0,     -470,  -1436, -3330, 0,
171     -1708, -609,  -1413, 0,     -1701, -609,  -1413, 0,     -648,  2963,   -3331, 0,     -1698, 372,   -2522, 0,
172     -2515, -2329, 146,   0,     -1686, -523,  -1212, 0,     2642,  944,    2189,  0,     2707,  944,   2189,  0,
173     2399,  2783,  144,   0,     1353,  1459,  0,     0,     -1015, -180,   -420,  0,     -664,  -181,  -419,  0,
174     929,   314,   728,   0,     891,   314,   728,   0,     2349,  3534,   -421,  0,     1354,  1459,  0,     0,
175     -883,  -341,  -804,  0,     -1010, -345,  -801,  0,     -3205, -1087,  -2522, 0,     -3083, -1087, -2522, 0,
176     395,   1071,  -805,  0,     8,     0,     0,     0,     -64,   108,    -81,   0,     -184,  314,   728,   0,
177     -1067, -351,  -813,  0,     -959,  -351,  -813,  0,     1093,  1391,   -81,   0,     882,   314,   728,   0,
178     1297,  -387,  2087,  0,     1525,  900,   2087,  0,     1298,  459,    1065,  0,     719,   1091,  -394,  0,
179     306,   -1492, 2088,  0,     882,   315,   730,   0,     -1898, -2084,  973,   0,     -888,  121,   281,   0,
180     728,   276,   640,   0,     829,   276,   640,   0,     5465,  5941,   971,   0,     4259,  2502,  2417,  0,
181     -171,  2998,  -3346, 0,     -500,  -1442, -3344, 0,     -304,  -118,   -273,  0,     -317,  -118,  -273,  0,
182     -638,  2987,  -3346, 0,     -1696, 373,   -2520, 0,     -2493, -2322,  163,   0,     -1664, -515,  -1194, 0,
183     2642,  944,   2189,  0,     2707,  944,   2189,  0,     2391,  2760,   162,   0,     1353,  1459,  0,     0,
184     -1471, -358,  -833,  0,     -1192, -359,  -832,  0,     930,   314,    728,   0,     892,   314,   728,   0,
185     2552,  4084,  -834,  0,     1354,  1459,  0,     0,     449,   179,    403,   0,     534,   175,   406,   0,
186     -3205, -1087, -2520, 0,     -3083, -1087, -2520, 0,     -199,  -536,   403,   0,     8,     0,     0,     0,
187     -71,   84,    -63,   0,     -183,  314,   728,   0,     -1089, -358,   -831,  0,     -980,  -358,  -831,  0,
188     1089,  1368,  -64,   0,     882,   314,   728,   0,     1297,  -387,   2087,  0,     1525,  900,   2087,  0,
189     1298,  459,   1065,  0,     719,   1091,  -394,  0,     306,   -1492,  2088,  0,     882,   315,   730,   0,
190     1923,  233,   3370,  0,     3309,  1154,  2677,  0,     -1978, -657,   -1523, 0,     -1855, -657,  -1523, 0,
191     3013,  1469,  3369,  0,     3387,  2188,  1689,  0,     -4313, -1354,  -3140, 0,     -4154, -1354, -3139, 0,
192     1850,  623,   1445,  0,     1471,  934,   728,   0,     3584,  7155,   -3142, 0,     1353,  1459,  0,     0,
193     -582,  -1048, 537,   0,     -420,  233,   540,   0,     -2433, -789,   -1829, 0,     -2216, -789,  -1829, 0,
194     1005,  570,   537,   0,     888,   314,   729,   0,     -75,   68,     -51,   0,     -183,  314,   728,   0,
195     -1104, -364,  -843,  0,     -995,  -364,  -843,  0,     1086,  1351,   -51,   0,     882,   314,   728,   0,
196     1297,  -387,  2087,  0,     1525,  900,   2087,  0,     1298,  459,    1065,  0,     719,   1091,  -394,  0,
197     306,   -1492, 2088,  0,     882,   315,   730,   0,     -374,  -969,   728,   0,     -213,  314,   728,   0,
198     5116,  1819,  4218,  0,     5150,  1819,  4218,  0,     905,   314,    728,   0,     875,   314,   728,   0,
199     -2520, -7021, 5276,  0,     3467,  1089,  2525,  0,     859,   3670,   -1795, 0,     875,   314,   727,   0,
200     3793,  -703,  5274,  0,     6755,  2274,  5274,  0,     733,   777,    192,   0,     -2463, -645,  -1497, 0,
201     -1719, -1960, 1419,  0,     -172,  -18,   -41,   0,     -4785, -2894,  193,   0,     1101,  415,   963,   0,
202     -2042, -5604, 4211,  0,     3458,  1087,  2521,  0,     -134,  314,    728,   0,     879,   314,   728,   0,
203     2185,  -1161, 4210,  0,     5488,  1815,  4209,  0,     2001,  1226,   -926,  0,     1788,  506,   1173,  0,
204     2633,  -1330, -104,  0,     -664,  -360,  -834,  0,     -854,  -399,   -925,  0,     -5639, -399,  -925,  0,
205     -1232, -5928, 3446,  0,     1642,  400,   927,   0,     2194,  -241,   2417,  0,     2463,  728,   1689,  0,
206     4626,  1485,  3444,  0,     -378,  1485,  3444,  0,     3694,  1109,   963,   0,     4342,  1313,  3046,  0,
207     5069,  971,   5235,  0,     2685,  1943,  4505,  0,     1715,  415,    963,   0,     -4965, -170,  -394,  0,
208     -278,  -5223, 4894,  0,     -1774, 299,   691,   0,     1784,  -897,   3875,  0,     3380,  1042,  2418,  0,
209     -353,  -3843, 4893,  0,     1658,  2109,  4892,  0,     -2981, -8377,  6292,  0,     3441,  1081,  2506,  0,
210     858,   3673,  -1799, 0,     870,   313,   726,   0,     5058,  -264,   6290,  0,     7955,  2713,  6292,  0,
211     758,   785,   209,   0,     -2438, -638,  -1479, 0,     -1694, -1952,  1437,  0,     -147,  -10,   -23,   0,
212     -4760, -2886, 210,   0,     1101,  415,   963,   0,     -2033, -5581,  4194,  0,     3434,  1079,  2503,  0,
213     -134,  314,   728,   0,     880,   314,   728,   0,     2164,  -1168,  4193,  0,     5466,  1808,  4192,  0,
214     3541,  4103,  -2119, 0,     -231,  -36,   -85,   0,     1724,  -1427,  -330,  0,     -2869, -457,  -1059, 0,
215     -5377, -3890, -2117, 0,     -6749, 231,   -2849, 0,     -1204, -5897,  3446,  0,     1661,  407,   944,   0,
216     2194,  -241,  2417,  0,     2463,  728,   1689,  0,     4625,  1485,   3444,  0,     -379,  1485,  3444,  0,
217     3694,  1109,  963,   0,     4342,  1313,  3046,  0,     5069,  971,    5235,  0,     2685,  1943,  4505,  0,
218     1715,  415,   963,   0,     -4965, -170,  -394,  0,     -74,   -5111,  3841,  0,     -305,  -149,  -345,  0,
219     2059,  73,    3146,  0,     3388,  1042,  2418,  0,     2134,  -1321,  3840,  0,     104,   1655,  3839,  0,
220     -2253, -6231, 4679,  0,     3416,  1073,  2488,  0,     857,   3673,   -1800, 0,     874,   313,   725,   0,
221     3052,  -960,  4677,  0,     6049,  2018,  4680,  0,     783,   792,    227,   0,     -2413, -630,  -1462, 0,
222     -1670, -1945, 1454,  0,     -123,  -3,    -6,    0,     -4735, -2879,  228,   0,     1101,  415,   963,   0,
223     -2024, -5558, 4177,  0,     3410,  1072,  2486,  0,     -134,  314,    728,   0,     880,   314,   728,   0,
224     2143,  -1176, 4176,  0,     5444,  1800,  4175,  0,     2063,  1343,   -1014, 0,     1162,  309,   716,   0,
225     2633,  -1330, -105,  0,     -661,  -360,  -834,  0,     -951,  -437,   -1013, 0,     -5788, -437,  -1013, 0,
226     -1176, -5867, 3446,  0,     1681,  415,   961,   0,     2194,  -241,   2417,  0,     2463,  728,   1689,  0,
227     4623,  1485,  3444,  0,     -380,  1485,  3444,  0,     3694,  1109,   963,   0,     4342,  1313,  3046,  0,
228     5069,  971,   5235,  0,     2685,  1943,  4505,  0,     1715,  415,    963,   0,     -4965, -170,  -394,  0,
229     -320,  -5540, 4163,  0,     2488,  728,   1688,  0,     2194,  -241,   2417,  0,     2461,  728,   1689,  0,
230     5452,  1795,  4161,  0,     413,   1794,  4161,  0,     -1037, -2648,  1985,  0,     3392,  1065,  2470,  0,
231     857,   3673,  -1801, 0,     881,   312,   725,   0,     -295,  -2121,  1985,  0,     2870,  857,   1988,  0,
232     808,   800,   244,   0,     -2388, -623,  -1445, 0,     -1645, -1937,  1471,  0,     -98,   5,     11,    0,
233     -4711, -2871, 245,   0,     1101,  415,   963,   0,     -8,    1,      -12,   0,     -15,   -5,    -12,   0,
234     0,     0,     0,     0,     0,     0,     0,     0,     -15,   -5,     -12,   0,     -14,   -5,    -12,   0,
235     -2698, -2152, -2118, 0,     -1152, -488,  -1132, 0,     431,   2128,   -1323, 0,     -1540, 90,    208,   0,
236     -6050, -3889, -2118, 0,     -4851, 771,   -1597, 0,     -2261, -10879, 8175,  0,     5683,  1732,  4018,  0,
237     2059,  73,    3146,  0,     3344,  1043,  2418,  0,     7395,  548,    8172,  0,     5647,  3524,  8172,  0,
238     -1248, -3269, 2452,  0,     3374,  1060,  2457,  0,     856,   3672,   -1801, 0,     879,   312,   724,   0,
239     285,   -1920, 2451,  0,     3420,  1058,  2455,  0,     826,   805,    256,   0,     -2370, -618,  -1432, 0,
240     -1627, -1932, 1484,  0,     -80,   10,    24,    0,     -4693, -2866,  257,   0,     1101,  415,   963,   0,
241     -2009, -5518, 4147,  0,     3369,  1059,  2456,  0,     -134,  314,    728,   0,     880,   314,   728,   0,
242     2107,  -1189, 4146,  0,     5406,  1787,  4145,  0,     862,   -2386,  1788,  0,     -509,  -216,  -502,  0,
243     2634,  -1331, -107,  0,     -663,  -360,  -836,  0,     2567,  770,    1787,  0,     -2601, 770,   1787,  0,
244     -1128, -5814, 3446,  0,     1714,  427,   991,   0,     2194,  -241,   2417,  0,     2463,  728,   1689,  0,
245     4620,  1485,  3444,  0,     -382,  1485,  3444,  0,     3694,  1109,   963,   0,     4342,  1313,  3046,  0,
246     5069,  971,   5235,  0,     2685,  1943,  4505,  0,     1715,  415,    963,   0,     -4965, -170,  -394,  0,
247     3786,  2764,  6406,  0,     -1060, -1547, 1689,  0,     6997,  4970,   3906,  0,     1645,  3953,  4879,  0,
248     -359,  -718,  0,     0,     3413,  3842,  3841,  0,     1987,  349,    811,   0,     -2194, -1986, 1686,  0,
249     -495,  -64,   -150,  0,     -438,  -1397, 1552,  0,     -342,  1310,   0,     0,     604,   3239,  2444,  0,
250     3277,  1313,  3046,  0,     2909,  4483,  1000,  0,     1711,  2908,   2189,  0,     2295,  2207,  2432,  0,
251     -785,  1756,  0,     0,     -3626, 1287,  -2083, 0,     1820,  728,    1689,  0,     -1747, -1977, 1689,  0,
252     770,   314,   728,   0,     -656,  -1019, 2430,  0,     0,     0,      0,     0,     1072,  3237,  2439,  0,
253     -432,  979,   2267,  0,     5354,  64,    291,   0,     583,   -114,   -252,  0,     -4286, -114,  -254,  0,
254     886,   -3393, 0,     0,     -1700, -192,  -446,  0,     -1190, 759,    1755,  0,     353,   0,     0,     0,
255     2554,  65,    2435,  0,     -2420, 65,    2436,  0,     1342,  -4516,  0,     0,     325,   0,     0,     0,
256     395,   -900,  -2083, 0,     3569,  1214,  2816,  0,     -3001, -898,   -2083, 0,     2621,  -898,  -2083, 0,
257     -812,  3110,  0,     0,     982,   0,     0,     0,     -918,  861,    1992,  0,     -1200, -1723, 1689,  0,
258     800,   -1403, 3889,  0,     -4517, -2420, 4862,  0,     2177,  -6381,  0,     0,     2714,  3892,  3958,  0,
259     2287,  -334,  -770,  0,     -2108, -1960, 1685,  0,     -2773, -746,   -1731, 0,     807,   -2079, -29,   0,
260     -958,  3672,  0,     0,     587,   3232,  2427,  0,     3277,  1313,   3046,  0,     2927,  4491,  1017,  0,
261     1711,  2908,  2189,  0,     2299,  2207,  2432,  0,     -785,  1756,   0,     0,     -3623, 1287,  -2083, 0,
262     1820,  728,   1689,  0,     -1727, -1951, 1689,  0,     770,   314,    728,   0,     -656,  -1019, 2430,  0,
263     0,     0,     0,     0,     1054,  3229,  2422,  0,     -435,  979,    2266,  0,     836,   -5569, 291,   0,
264     576,   -114,  -251,  0,     -4285, -114,  -252,  0,     887,   -3393,  0,     0,     2324,  1435,  3327,  0,
265     -1168, 759,   1755,  0,     354,   0,     0,     0,     2553,  82,     2418,  0,     -2382, 83,    2418,  0,
266     1326,  -4468, 0,     0,     328,   0,     0,     0,     395,   -900,   -2083, 0,     3569,  1214,  2816,  0,
267     -3001, -898,  -2083, 0,     2621,  -898,  -2083, 0,     -812,  3110,   0,     0,     982,   0,     0,     0,
268     -914,  853,   1975,  0,     -1199, -1723, 1689,  0,     775,   -1411,  3872,  0,     -4503, -2428, 4844,  0,
269     2171,  -6355, 0,     0,     2714,  3892,  3958,  0,     2002,  316,    736,   0,     -2150, -1934, 1685,  0,
270     -603,  -97,   -225,  0,     -379,  -1430, 1477,  0,     -371,  1423,   0,     0,     568,   3224,  2409,  0,
271     3277,  1313,  3046,  0,     2946,  4498,  1034,  0,     1711,  2908,   2189,  0,     2302,  2207,  2432,  0,
272     -785,  1756,  0,     0,     -3620, 1287,  -2083, 0,     1820,  728,    1689,  0,     -1706, -1926, 1689,  0,
273     770,   314,   728,   0,     -656,  -1019, 2430,  0,     0,     0,      0,     0,     1035,  3222,  2404,  0,
274     -412,  928,   2149,  0,     6456,  -2582, 4688,  0,     405,   -165,   -372,  0,     -3371, -165,  -372,  0,
275     841,   -3218, 0,     0,     2367,  1119,  2594,  0,     -1147, 759,    1755,  0,     355,   0,     0,     0,
276     2552,  100,   2401,  0,     -2344, 100,   2401,  0,     1309,  -4420,  0,     0,     331,   0,     0,     0,
277     395,   -900,  -2083, 0,     3569,  1214,  2816,  0,     -3001, -898,   -2083, 0,     2621,  -898,  -2083, 0,
278     -812,  3110,  0,     0,     982,   0,     0,     0,     -911,  846,    1957,  0,     -1198, -1723, 1689,  0,
279     750,   -1418, 3854,  0,     -4489, -2435, 4827,  0,     2164,  -6329,  0,     0,     2714,  3892,  3958,  0,
280     1650,  1116,  2587,  0,     -2205, -1908, 1686,  0,     2064,  701,    1626,  0,     -1836, -632,  3328,  0,
281     350,   -1341, 0,     0,     548,   3217,  2392,  0,     3277,  1313,   3046,  0,     2964,  4506,  1052,  0,
282     1711,  2908,  2189,  0,     2305,  2207,  2432,  0,     -785,  1756,   0,     0,     -3616, 1287,  -2083, 0,
283     1821,  728,   1689,  0,     -1685, -1900, 1689,  0,     770,   314,    728,   0,     -656,  -1019, 2430,  0,
284     0,     0,     0,     0,     1017,  3215,  2387,  0,     324,   -748,   -1731, 0,     466,   -6234, 282,   0,
285     -5188, -1837, -4253, 0,     -1140, -1837, -4254, 0,     -672,  2578,   0,     0,     2794,  1624,  3767,  0,
286     -1125, 759,   1755,  0,     355,   0,     0,     0,     2552,  118,    2383,  0,     -2306, 118,   2384,  0,
287     1292,  -4372, 0,     0,     334,   0,     0,     0,     395,   -900,   -2083, 0,     3569,  1214,  2816,  0,
288     -3001, -898,  -2083, 0,     2621,  -898,  -2083, 0,     -812,  3110,   0,     0,     982,   0,     0,     0,
289     -914,  835,   1931,  0,     3955,  4705,  1689,  0,     721,   -1439,  3837,  0,     -4488, -2455, 4809,  0,
290     2162,  -6315, 0,     0,     -1878, 2037,  -345,  0,     1727,  941,    2181,  0,     -2167, -1882, 1686,  0,
291     1480,  526,   1221,  0,     -1517, -806,  2923,  0,     192,   -735,   0,     0,     530,   3209,  2375,  0,
292     3277,  1313,  3046,  0,     2983,  4513,  1069,  0,     1711,  2908,   2189,  0,     2308,  2207,  2432,  0,
293     -785,  1756,  0,     0,     -3613, 1287,  -2083, 0,     1821,  728,    1689,  0,     -1665, -1874, 1689,  0,
294     770,   314,   728,   0,     -656,  -1019, 2430,  0,     0,     0,      0,     0,     998,   3207,  2370,  0,
295     3920,  657,   4683,  3203,  3180,  3606,  4627,  2819,  1293,  1264,   2537,  952,   1324,  1239,  -2256, -1928,
296     -874,  463,   1074,  0,     -713,  464,   1641,  3408,  -345,  -2512,  1078,  0,     1808,  728,   1689,  0,
297     -1508, -2260, -1509, -1927, -2553, -2286, -2876, -1928, 275,   -292,   -611,  0,     -631,  -264,  -45,   3396,
298     -1107, -3346, 1312,  -1918, 72,    -1007, -200,  -8,    -3465, -1051,  -898,  -1927, -1659, -2022, -2265, -1928,
299     -948,  585,   1357,  0,     -1502, 585,   859,   -2989, -2001, -5335,  2513,  -926,  1538,  624,   2528,  -815,
300     -5016, -4850, -3900, -4905, -3805, -4893, -4236, -3816, -3652, -1142,  72,    -1928, -3759, -1160, 2931,  3389,
301     -2285, -3087, 821,   -925,  -269,  -103,  840,   -814,  -2811, -2883,  -3000, -2977, -1875, -2870, -1972, -1888,
302     -3126, -1151, 51,    -1928, -3730, -1168, 2307,  -238,  -3657, -2066,  3036,  -927,  1103,  524,   2297,  -816,
303     -4636, -2642, -1646, -2979, -464,  -2287, -615,  -1888, -2764, -2676,  -3631, -1928, 1148,  -2759, -1336, 0,
304     -2287, -3086, 824,   -925,  -269,  -104,  840,   -814,  -2815, -2881,  -3000, -2977, -1875, -2870, -1972, -1888,
305     -3219, -1154, 44,    -1928, -3733, -1172, 2339,  0,     3404,  2905,   2993,  3203,  1372,  2877,  2938,  2819,
306     3263,  3232,  3435,  2879,  3260,  3260,  9,     0,     85,    -76,    -176,  0,     118,   -76,   -176,  0,
307     -327,  -2504, 1096,  0,     1808,  728,   1689,  0,     -1527, -2252,  -1492, -1927, -2535, -2278, -2858, -1928,
308     256,   -284,  -594,  0,     -613,  -256,  -32,   3371,  -1107, -3346,  1312,  -1918, 72,    -1007, -200,  -8,
309     -3465, -1051, -898,  -1927, -1659, -2022, -2265, -1928, -948,  585,    1357,  0,     -1502, 585,   859,   -2989,
310     4764,  2440,  9146,  2856,  3704,  4337,  6727,  2513,  -2292, 2064,   3432,  421,   4421,  2005,  416,   -1889,
311     -1987, -817,  570,   -1929, 2346,  -216,  1177,  -5,    -4063, -4904,  -2329, -1868, -1679, -956,  -88,   -818,
312     -681,  -4435, -3000, -2977, -1734, -2869, -1971, -1888, -4358, -2148,  -2263, -1928, -1214, -2166, 32,    0,
313     3013,  -1406, 7881,  2245,  2741,  3467,  5373,  2815,  -2837, 3676,   4226,  952,   -436,  1966,  -567,  -1928,
314     -2561, 2296,  5144,  0,     -3204, 2218,  5687,  3257,  -315,  -2499,  1108,  0,     1808,  728,   1689,  0,
315     -1542, -2246, -1480, -1927, -2522, -2273, -2846, -1928, 242,   -278,   -581,  0,     -601,  -251,  -23,   3353,
316     -1107, -3346, 1312,  -1918, 72,    -1007, -200,  -8,    -3465, -1051,  -898,  -1927, -1659, -2022, -2265, -1928,
317     -948,  585,   1357,  0,     -1502, 585,   859,   -2989, -1986, -5335,  2513,  -926,  1538,  624,   2528,  -815,
318     -5000, -4850, -3900, -4905, -3805, -4893, -4236, -3816, -3687, -1107,  153,   -1928, -3812, -1124, 3006,  3346,
319     -2291, -3087, 822,   -925,  -269,  -103,  840,   -814,  -2817, -2883,  -3000, -2977, -1875, -2870, -1972, -1888,
320     -3113, -1163, 22,    -1928, -3712, -1181, 2817,  2997,  -3646, -2053,  3065,  -927,  1108,  524,   2297,  -816,
321     -4664, -2622, -1646, -2979, -464,  -2287, -615,  -1888, -2755, -2663,  -3602, -1928, 1116,  -2746, -1307, 0,
322     -2291, -3086, 824,   -925,  -269,  -103,  840,   -814,  -2820, -2881,  -3000, -2977, -1875, -2869, -1972, -1888,
323     -3208, -1164, 20,    -1928, -3717, -1182, 2315,  0,     3532,  2908,   2996,  3206,  1373,  2880,  2942,  2822,
324     3391,  3235,  3438,  2882,  3259,  3264,  8,     0,     -198,  208,    482,   0,     -316,  208,   482,   0,
325     -297,  -2491, 1125,  0,     1808,  728,   1689,  0,     -1561, -2237,  -1462, -1927, -2505, -2265, -2829, -1928,
326     222,   -269,  -564,  0,     -583,  -243,  -10,   3328,  -1107, -3346,  1312,  -1918, 72,    -1007, -200,  -8,
327     -3465, -1051, -898,  -1927, -1659, -2022, -2265, -1928, -948,  585,    1357,  0,     -1502, 585,   859,   -2989,
328     -2693, -5335, 2512,  -926,  1538,  624,   2528,  -815,  -5707, -4850,  -3900, -4905, -3783, -4893, -4236, -3816,
329     -2063, -2733, -3618, -1928, -1329, -2753, -770,  3321,  -2294, -3087,  821,   -925,  -269,  -103,  840,   -814,
330     -2819, -2883, -3000, -2977, -1875, -2870, -1972, -1888, -3106, -1171,  4,     -1928, -3699, -1189, 2220,  -477,
331     -3640, -2045, 3083,  -927,  1112,  524,   2297,  -816,  -4680, -2611,  -1646, -2979, -464,  -2287, -615,  -1888,
332     -2750, -2656, -3584, -1928, 1097,  -2739, -1289, 0,     -2294, -3086,  824,   -925,  -269,  -103,  840,   -814,
333     -2823, -2881, -3000, -2977, -1875, -2869, -1972, -1888, -3200, -1172,  2,     -1928, -3705, -1190, 2298,  0,
334     3111,  2904,  2993,  3202,  1372,  2877,  2938,  2818,  2970,  3231,   3434,  2878,  3268,  3260,  8,     0,
335     758,   -750,  -1739, 0,     1146,  -751,  -1739, 0,     -279,  -2484,  1143,  0,     1808,  728,   1689,  0,
336     -1581, -2229, -1445, -1927, -2487, -2258, -2811, -1928, 202,   -261,   -547,  0,     -565,  -236,  4,     3303,
337     -1107, -3346, 1312,  -1918, 72,    -1007, -200,  -8,    -3465, -1051,  -898,  -1927, -1659, -2022, -2265, -1928,
338     -948,  585,   1357,  0,     -1502, 585,   859,   -2989, -2686, -5335,  2512,  -926,  1538,  624,   2528,  -815,
339     -5700, -4850, -3900, -4905, -3783, -4893, -4236, -3816, -2079, -2717,  -3581, -1928, -1354, -2737, -737,  3296,
340     -2297, -3087, 821,   -925,  -269,  -103,  840,   -814,  -2823, -2883,  -3000, -2977, -1875, -2870, -1972, -1888,
341     -3098, -1178, -13,   -1928, -3688, -1196, 2549,  1600,  -3633, -2038,  3100,  -927,  1115,  524,   2297,  -816,
342     -4696, -2599, -1646, -2979, -464,  -2287, -615,  -1888, -2745, -2648,  -3567, -1928, 1078,  -2731, -1272, 0,
343     -2179, 1717,  3977,  0,     1355,  1459,  0,     0,     -414,  315,    728,   0,     511,   629,   0,     0,
344     -875,  -1258, 3978,  0,     430,   3326,  2288,  0,     -854,  2961,   -275,  0,     3381,  -432,  -1000, 0,
345     204,   -2972, -1797, 0,     805,   -2613, -1000, 0,     -3030, -433,   -1006, 0,     13,    313,   723,   0,
346     -1862, -1963, 4703,  0,     -1206, 1073,  3013,  0,     1594,  3063,   199,   0,     -2166, 1301,  3013,  0,
347     121,   1486,  3444,  0,     128,   501,   1159,  0,     -4251, 648,    -3155, -3450, 1304,  -2539, -3019, -1700,
348     -4894, -3967, -1158, -1716, 1367,  -585,  -1353, 0,     -3932, -1973,  963,   0,     1660,  1315,  3046,  0,
349     -3478, -1701, 5286,  0,     -566,  2755,  3008,  0,     1060,  3600,   1458,  0,     -1543, 1929,  3008,  0,
350     3080,  -1010, 4557,  0,     -264,  2593,  588,   0,     806,   945,    1123,  3,     -1972, 234,   -2845, 0,
351     2082,  -1308, -1791, 0,     -1631, -598,  -2845, 0,     -1665, -1401,  3637,  0,     424,   3320,  2274,  0,
352     -1003, -1765, 280,   613,   171,   2036,  0,     0,     1548,  1530,   3546,  0,     648,   631,   0,     0,
353     4632,  -1869, 443,   0,     -981,  1800,  -1247, 0,     -2176, 1709,   3960,  0,     1355,  1459,  0,     0,
354     -417,  315,   728,   0,     511,   629,   0,     0,     -857,  -1265,  3960,  0,     425,   3319,  2271,  0,
355     -610,  3131,  -1389, 0,     3867,  -591,  -1369, 0,     -358,  -3447,  -1798, 0,     1284,  -2773, -1369, 0,
356     -2654, -914,  -2119, 0,     -203,  -8,    -21,   0,     -1856, -1940,  4685,  0,     -1207, 1073,  2995,  0,
357     1591,  3048,  216,   0,     -2144, 1293,  2995,  0,     118,   1486,   3444,  0,     133,   509,   1176,  0,
358     -4251, 648,   -3155, -3450, 1304,  -2539, -3019, -1700, -4894, -3967,  -1158, -1716, 1367,  -585,  -1353, 0,
359     -3932, -1973, 963,   0,     1660,  1315,  3046,  0,     -3307, -2108,  4271,  0,     -543,  2748,  2990,  0,
360     854,   3578,  1457,  0,     -1492, 1921,  2990,  0,     4066,  -1448,  3543,  0,     -553,  2163,  -409,  0,
361     -92,   -2705, 3844,  3,     -5585, 1413,  -108,  0,     5233,  2219,   -1791, 0,     -5020, 584,   -108,  0,
362     1129,  -228,  6357,  0,     418,   3313,  2256,  0,     -1026, -1784,  257,   592,   149,   2036,  0,     0,
363     1548,  1530,  3546,  0,     648,   631,   0,     0,     4632,  -1892,  460,   0,     -963,  1808,  -1229, 0,
364     -2174, 1702,  3942,  0,     1354,  1459,  0,     0,     -420,  315,    728,   0,     512,   629,   0,     0,
365     -840,  -1273, 3943,  0,     420,   3312,  2254,  0,     -442,  -79,    -184,  0,     9,     0,     0,     0,
366     2856,  -1090, -2522, 0,     -2020, -2178, 0,     0,     -288,  -80,    -185,  0,     -50,   -80,   -185,  0,
367     -1850, -1917, 4668,  0,     -1208, 1073,  2978,  0,     1588,  3033,   234,   0,     -2123, 1286,  2978,  0,
368     114,   1486,  3444,  0,     138,   516,   1194,  0,     -4251, 648,    -3155, -3450, 1304,  -2539, -3019, -1700,
369     -4894, -3967, -1158, -1716, 1367,  -585,  -1353, 0,     -3932, -1973,  963,   0,     1660,  1315,  3046,  0,
370     -1849, -1910, 4663,  0,     -1875, 1281,  2973,  0,     2071,  3240,   728,   0,     -2117, 1283,  2973,  0,
371     506,   1698,  3934,  0,     289,   730,   1689,  0,     881,   1187,   891,   4,     -1720, 148,   -3043, 0,
372     1856,  -1560, -1794, 0,     -1393, -683,  -3043, 0,     -1828, -1499,  3408,  0,     413,   3305,  2238,  0,
373     -1050, -1803, 235,   572,   127,   2036,  0,     0,     1548,  1530,   3546,  0,     648,   631,   0,     0,
374     4631,  -1915, 477,   0,     -946,  1815,  -1212, 0,     -2171, 1694,   3925,  0,     1355,  1459,  0,     0,
375     -424,  315,   728,   0,     512,   629,   0,     0,     -823,  -1280,  3926,  0,     415,   3304,  2236,  0,
376     -1708, -3364, 4683,  1108,  -1516, 784,   3257,  -849,  4803,  2769,   -2739, -857,  -6374, -415,  4089,  0,
377     2258,  3413,  848,   0,     -2185, -1082, -2510, 0,     -1845, -1894,  4651,  0,     -1209, 1073,  2961,  0,
378     1585,  3019,  251,   0,     -2102, 1278,  2961,  0,     110,   1486,   3444,  0,     143,   524,   1211,  0,
379     -4251, 648,   -3155, -3450, 1304,  -2539, -3019, -1700, -4894, -3967,  -1158, -1716, 1367,  -585,  -1353, 0,
380     -3932, -1973, 963,   0,     1660,  1315,  3046,  0,     -2417, -797,   9693,  0,     3627,  3329,  2956,  0,
381     226,   2971,  154,   0,     -1572, 1907,  2956,  0,     -1875, -2961,  6932,  0,     149,   3641,  3014,  0,
382     1438,  3428,  -817,  3,     511,   -579,  -4732, 0,     -95,   -3737,  -1793, 0,     701,   -1412, -4732, 0,
383     -3525, -2236, 1701,  0,     409,   3298,  2222,  0,     -1073, -1823,  213,   552,   104,   2036,  0,     0,
384     1548,  1530,  3546,  0,     648,   631,   0,     0,     4631,  -1938,  495,   0,     -928,  1823,  -1195, 0,
385     -2168, 1687,  3908,  0,     1355,  1459,  0,     0,     -427,  315,    728,   0,     513,   629,   0,     0,
386     -805,  -1288, 3908,  0,     410,   3297,  2219,  0,     -1935, -2720,  2407,  0,     -1739, 1240,  2881,  0,
387     4450,  2029,  -1799, 0,     -3963, -938,  2881,  0,     2116,  721,    1674,  0,     -335,  -206,  -478,  0,
388     -1839, -1871, 4633,  0,     -1209, 1073,  2943,  0,     1582,  3004,   268,   0,     -2080, 1271,  2944,  0,
389     107,   1486,  3444,  0,     149,   531,   1228,  0,     -4251, 648,    -3155, -3450, 1304,  -2539, -3019, -1700,
390     -4894, -3967, -1158, -1716, 1367,  -585,  -1353, 0,     -3932, -1973,  963,   0,     1660,  1315,  3046,  0,
391     4821,  -6372, 8862,  -5317, -355,  478,   2279,  -5313, 155,   4495,   7442,  -5318, 931,   1493,  -3949, -5317,
392     -4238, -2583, 8255,  -5316, -3199, 648,   2337,  -5318, -1367, -1551,  1863,  -1807, -4790, -638,  871,   -1808,
393     -1194, 1176,  491,   -1810, 4593,  714,   -379,  -1810, -4398, -1302,  -371,  -1808, -1610, 2306,  -582,  -1809,
394     2082,  -3480, 997,   -3916, 4340,  1342,  343,   -3912, 1898,  3314,   -2513, -3918, -2316, -2698, 32,    -3919,
395     -169,  -5265, -3357, -3917, 566,   336,   -4280, -3918, 597,   307,    4381,  -1807, -2754, 1543,  871,   -1807,
396     -2572, 2045,  2499,  -1809, 4592,  713,   -379,  -1809, -3638, -1526,  -890,  -1808, -1614, 2305,  -587,  -1809,
397     5545,  -2101, 4013,  1886,  -2780, 54,    4504,  1883,  -732,  134,    4891,  1889,  -1915, 3463,  -769,  1889,
398     -2618, 6985,  8832,  1888,  -6888, -505,  5475,  1887,  1779,  -4770,  2521,  331,   -655,  1423,  1279,  331,
399     1887,  889,   2730,  331,   -1806, 787,   497,   332,   -1656, 1812,   3271,  331,   575,   188,   -155,  331,
400     -1348, 3692,  3879,  0,     -298,  1361,  1689,  0,     597,   632,    1463,  0,     -1210, 1890,  0,     0,
401     4726,  -172,  -394,  0,     -1826, 576,   0,     0,     571,   -1946,  10002, -2027, -4012, 1110,  -1787, -2025,
402     -125,  826,   5591,  -2027, 5917,  2293,  986,   -2025, -4843, -1215,  2238,  -2028, 2678,  2567,  917,   -2029,
403     -1373, -1541, 1845,  -1807, -4765, -638,  871,   -1808, -1179, 1166,   466,   -1810, 4581,  699,   -379,  -1810,
404     -4366, -1312, -395,  -1808, -1588, 2298,  -600,  -1809, 2068,  -3456,  997,   -3916, 4340,  1342,  343,   -3912,
405     1915,  3321,  -2496, -3918, -2302, -2683, 32,    -3919, -169,  -5265,  -3357, -3917, 543,   343,   -4280, -3918,
406     598,   307,   4364,  -1807, -2729, 1543,  872,   -1808, -2550, 2037,   2482,  -1809, 4580,  698,   -379,  -1809,
407     -3616, -1534, -907,  -1808, -1593, 2298,  -605,  -1809, 1151,  79,     -2987, 1890,  3893,  51,    4509,  1887,
408     -1021, -4986, -6969, 1893,  -7025, -2454, -770,  1893,  7879,  1477,   -17,   1892,  1839,  -4179, -787,  1891,
409     1780,  -4761, 2517,  318,   -641,  1421,  1295,  318,   1871,  896,    2720,  318,   -1826, 785,   478,   319,
410     -1628, 1799,  3277,  318,   552,   181,   -149,  318,   -1348, 3692,   3879,  0,     -298,  1361,  1689,  0,
411     597,   632,   1463,  0,     -1210, 1890,  0,     0,     4726,  -172,   -394,  0,     -1826, 576,   0,     0,
412     2781,  -4872, 2471,  -1808, 3233,  2903,  2559,  -1808, 4683,  1431,   1075,  -1810, -817,  -2310, -379,  -1810,
413     165,   -1727, -1355, -1809, 3733,  438,   -4917, -1810, -3358, 1724,   1828,  -1807, -4734, -638,  871,   -1808,
414     -3303, 214,   -1741, -1810, 4568,  684,   -379,  -1810, -1106, -2266,  -2602, -1808, -1538, 2291,  -617,  -1809,
415     2054,  -3432, 997,   -3916, 4340,  1342,  343,   -3912, 1932,  3329,   -2479, -3918, -2288, -2668, 32,    -3919,
416     -169,  -5265, -3357, -3917, 519,   350,   -4280, -3918, -8,    9,      -2,    6,     -1,    1,     -8,    6,
417     4,     -9,    -8,    6,     7,     -2,    10,    6,     4,     1,      -16,   6,     16,    2,     -7,    6,
418     -2689, -1880, 3034,  -1800, -4299, 332,   2552,  -1801, -1473, 428,    -1230, -1803, 1733,  748,   -369,  -1803,
419     10,    -1432, -689,  -1801, -598,  1967,  -1382, -1802, 2841,  2976,   8350,  -4673, 290,   -759,  -202,  -4670,
420     182,   3176,  5691,  -4674, 4934,  1655,  -2988, -4673, -278,  -2632,  2433,  -4673, -3149, 2101,  3018,  -4675,
421     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,      0,     0,     0,     0,     0,     0,
422     0,     0,     0,     0,     0,     0,     0,     0,     447,   878,    4014,  -3386, 2307,  -511,  -1792, -3383,
423     1546,  -435,  -74,   -3386, 3605,  -1782, -1057, -3384, 867,   -4794,  -2259, -3386, 4678,  263,   -1591, -3387,
424     2244,  -763,  6502,  -5034, -310,  -828,  244,   -5030, -1732, 2895,   4309,  -5035, 3631,  811,   -3529, -5034,
425     -2618, -4163, 3806,  -5034, -2618, 795,   2180,  -5036, 5105,  -4225,  -1134, -1690, 3108,  -203,  3675,  -1690,
426     -1389, 171,   -4390, -1689, -4482, -2383, -881,  -1689, -1799, -1468,  1389,  -1688, -3183, -2571, -961,  -1691,
427     2286,  -809,  6448,  -5065, -212,  -834,  283,   -5062, -1678, 2910,   4281,  -5066, 3550,  764,   -3576, -5066,
428     -2558, -4195, 3820,  -5065, -2617, 756,   2150,  -5067, 2215,  1414,   474,   -164,  2518,  -1863, 304,   -165,
429     310,   -5467, -4317, -161,  1653,  -2783, -473,  -158,  1239,  -1344,  -1099, -162,  4958,  -2838, -462,  -164,
430     2415,  -946,  6380,  -5162, -55,   -853,  403,   -5159, -1633, 3002,   4296,  -5163, 3374,  707,   -3722, -5163,
431     -2498, -4250, 3964,  -5162, -2742, 683,   2158,  -5164, 2348,  -873,   6509,  -5113, -272,  -843,  343,   -5110,
432     -1772, 2997,  4386,  -5114, 3533,  820,   -3648, -5114, -2647, -4182,  3986,  -5113, -2800, 762,   2249,  -5115,
433     5103,  -4221, -1626, -1690, 3823,  -203,  3675,  -1690, -780,  -43,    -4885, -1689, -4835, -2809, -881,  -1689,
434     -1183, -1681, 894,   -1688, -2571, -2784, -1454, -1691, 5089,  -4199,  -1661, -1690, 3873,  -203,  3675,  -1690,
435     -752,  -64,   -4935, -1689, -4860, -2839, -881,  -1689, -1118, -1703,  845,   -1688, -2528, -2799, -1488, -1691,
436     2445,  -988,  6311,  -5173, 52,    -855,  417,   -5170, -1571, 2977,   4217,  -5174, 3295,  631,   -3739, -5174,
437     -2415, -4283, 3919,  -5173, -2654, 640,   2098,  -5175, 5105,  -4225,  -1658, -1690, 3870,  -203,  3675,  -1690,
438     -738,  -56,   -4915, -1689, -4858, -2837, -881,  -1689, -1147, -1694,  865,   -1688, -2531, -2798, -1486, -1691};
439 
440 const int16_t *const batch_matmul_1_s16_output_ref = batch_matmul_1_s16_output;
441