diff options
Diffstat (limited to 'operators/ew_binary/arithmetic_right_shift/arithmetic_right_shift_2x1x5x9x7x7_i16_roundFalse/Conformance-result-0.json')
-rw-r--r-- | operators/ew_binary/arithmetic_right_shift/arithmetic_right_shift_2x1x5x9x7x7_i16_roundFalse/Conformance-result-0.json | 5883 |
1 files changed, 5883 insertions, 0 deletions
diff --git a/operators/ew_binary/arithmetic_right_shift/arithmetic_right_shift_2x1x5x9x7x7_i16_roundFalse/Conformance-result-0.json b/operators/ew_binary/arithmetic_right_shift/arithmetic_right_shift_2x1x5x9x7x7_i16_roundFalse/Conformance-result-0.json new file mode 100644 index 000000000..16b051523 --- /dev/null +++ b/operators/ew_binary/arithmetic_right_shift/arithmetic_right_shift_2x1x5x9x7x7_i16_roundFalse/Conformance-result-0.json @@ -0,0 +1,5883 @@ +{ + "type": "int32", + "data": [ + [ + [ + [ + [ + [ + 10, + 13429, + 13059, + 1, + -12, + 21325, + -10009 + ], + [ + -38, + -9302, + 1286, + -2, + 25, + -15056, + -3541 + ], + [ + 13, + -4596, + -3150, + 1, + -5, + -25359, + 7545 + ], + [ + 26, + -18420, + 11474, + -1, + -23, + -21467, + 7027 + ], + [ + -37, + -1984, + 7671, + 1, + -1, + 26702, + -6468 + ], + [ + 47, + -16363, + -14275, + 0, + 16, + 27939, + 13812 + ], + [ + -51, + 7952, + 6698, + 0, + -31, + -29819, + 5588 + ] + ], + [ + [ + 182, + -21, + -465, + -1, + -12, + 61, + 1744 + ], + [ + 29, + 28, + -278, + 3, + -4, + -4, + -1841 + ], + [ + -166, + -20, + -13, + -3, + -26, + 13, + 1525 + ], + [ + -221, + 3, + 471, + -1, + -21, + -54, + 1787 + ], + [ + -49, + -26, + 374, + 2, + 13, + -54, + -1711 + ], + [ + -144, + -22, + 32, + -1, + 16, + -52, + 933 + ], + [ + 222, + -24, + 155, + 0, + -26, + -27, + 1179 + ] + ], + [ + [ + 23, + -2, + -25787, + -9, + 1, + 71, + -2 + ], + [ + -32, + 2, + -2268, + 1, + 1, + 63, + 6 + ], + [ + 3, + -2, + 27701, + 4, + 1, + -280, + 2 + ], + [ + 3, + -4, + -16121, + 13, + 0, + 280, + -6 + ], + [ + -19, + 3, + -5232, + 12, + 1, + -167, + 7 + ], + [ + 17, + -3, + -26510, + -12, + 0, + -366, + -4 + ], + [ + -5, + -3, + -11113, + 5, + 1, + -31, + 3 + ] + ], + [ + [ + 61, + -276, + 0, + 1878, + -8, + 27, + -460 + ], + [ + 768, + 828, + -4, + 507, + -2, + -928, + 489 + ], + [ + -249, + -3902, + 0, + -511, + 2, + -692, + 336 + ], + [ + -164, + -650, + 2, + 197, + -8, + 160, + 149 + ], + [ + -385, + -2616, + -4, + 1418, + -8, + 170, + 344 + ], + [ + -303, + -2456, + 1, + 533, + -8, + 157, + -512 + ], + [ + -206, + -1606, + 2, + 1954, + 3, + 480, + -489 + ] + ], + [ + [ + -28, + 566, + -2, + 458, + 12582, + -5013, + 744 + ], + [ + 14, + -532, + 2, + -21666, + -12414, + 9179, + 1978 + ], + [ + -28, + 304, + 1, + 6932, + 18795, + -14095, + 979 + ], + [ + -15, + -709, + -1, + -30997, + 8560, + 2136, + 52 + ], + [ + -31, + 538, + -8, + -15561, + -6823, + 6624, + -378 + ], + [ + 20, + 889, + 4, + -30219, + 17750, + -9628, + 1591 + ], + [ + 30, + -852, + -7, + 12923, + -23376, + 15357, + 165 + ] + ], + [ + [ + 4826, + 368, + -18526, + 0, + 8171, + -1, + -3 + ], + [ + -23195, + -169, + -24254, + -6, + 5778, + -1, + -2 + ], + [ + -5317, + 481, + -575, + -1, + 7012, + -1, + -1 + ], + [ + 16267, + 14, + 24132, + 6, + -2683, + 0, + -3 + ], + [ + -17058, + 488, + -31921, + -3, + 2121, + -1, + 2 + ], + [ + -16281, + 54, + -24565, + -5, + -5349, + 0, + -3 + ], + [ + 11110, + -159, + 4261, + 5, + 5952, + -1, + 2 + ] + ], + [ + [ + 14, + 2, + -6, + 1, + 34, + 20, + -37 + ], + [ + 0, + 2, + -1, + 2, + 53, + -26, + 56 + ], + [ + 8, + -1, + 3, + -3, + -30, + 25, + 202 + ], + [ + 4, + 2, + -3, + 1, + -37, + -58, + -130 + ], + [ + 3, + 7, + -1, + 2, + 71, + 7, + 155 + ], + [ + -4, + -1, + 3, + 1, + 7, + -9, + 243 + ], + [ + -14, + -8, + -1, + -4, + -41, + 8, + -49 + ] + ], + [ + [ + -38, + -221, + 3417, + 1, + 9, + 1, + -1483 + ], + [ + -33, + -61, + -8301, + 0, + -5, + 10, + -947 + ], + [ + -1, + 219, + -9629, + 1, + 2, + 4, + -187 + ], + [ + 55, + 278, + -10091, + 0, + 12, + -8, + 149 + ], + [ + 32, + -233, + 581, + 0, + -11, + -11, + 258 + ], + [ + -42, + 459, + 779, + 0, + -4, + -7, + -56 + ], + [ + 26, + -105, + -7124, + -2, + 1, + 5, + 108 + ] + ], + [ + [ + -4, + -65, + -4029, + -1, + -1, + 3, + -88 + ], + [ + -4, + 27, + 9864, + -1, + 0, + -4, + 16 + ], + [ + -7, + -93, + 3014, + -1, + -1, + -3, + 139 + ], + [ + 1, + -31, + 15511, + -1, + 0, + -2, + -244 + ], + [ + -7, + -58, + -10271, + -1, + -1, + 3, + -154 + ], + [ + -5, + 126, + -9788, + 0, + 0, + 3, + 28 + ], + [ + 1, + -71, + 2455, + 0, + 0, + -4, + -176 + ] + ] + ], + [ + [ + [ + -3938, + 19034, + -14, + 1, + -4428, + -14, + 31130 + ], + [ + 1805, + 3096, + 12, + 1, + 4504, + -12, + 31857 + ], + [ + 1796, + 29204, + 14, + 0, + -4661, + 28, + 32706 + ], + [ + -3097, + 9070, + 3, + 0, + 15578, + -16, + 31177 + ], + [ + 1172, + -27361, + 0, + -2, + 14955, + 16, + 26520 + ], + [ + 839, + -6772, + -3, + 1, + -11418, + 24, + -5112 + ], + [ + 740, + 10943, + -14, + -2, + -11116, + 17, + -27730 + ] + ], + [ + [ + 1, + -25691, + 0, + 7814, + -89, + -10, + -1 + ], + [ + 3, + 14900, + 0, + 1343, + 134, + -10, + -3 + ], + [ + 6, + 5200, + 0, + 2056, + -46, + 2, + 1 + ], + [ + -6, + -2484, + 0, + -6766, + -437, + -11, + 0 + ], + [ + -5, + -4178, + -1, + -4092, + -494, + 9, + -1 + ], + [ + -6, + 1718, + 0, + 5321, + 393, + -4, + -2 + ], + [ + -3, + -12770, + 0, + -5940, + 359, + 13, + 2 + ] + ], + [ + [ + 261, + 0, + -30686, + 162, + 0, + 1877, + -107 + ], + [ + 880, + 0, + -25962, + 4, + -1, + -1709, + 8 + ], + [ + 646, + -1, + -15577, + -56, + 0, + -2046, + 35 + ], + [ + -5, + 0, + -13020, + -4, + -1, + 1709, + 85 + ], + [ + -298, + -1, + 23425, + -105, + -1, + -1057, + 53 + ], + [ + -592, + -1, + -21925, + 248, + 0, + 1859, + -58 + ], + [ + -119, + -1, + 1568, + -243, + 0, + -1890, + -58 + ] + ], + [ + [ + -107, + 178, + 6, + 50, + -3, + 6, + 0 + ], + [ + -181, + 468, + 6, + -67, + -13, + -86, + 0 + ], + [ + -241, + -407, + 2, + -91, + -14, + -123, + 0 + ], + [ + -70, + -221, + 2, + -85, + 0, + -5, + 0 + ], + [ + 63, + 179, + -5, + -93, + 1, + -114, + -1 + ], + [ + 64, + 328, + 2, + 126, + 1, + -14, + -1 + ], + [ + 88, + 318, + -3, + -109, + -16, + 33, + 0 + ] + ], + [ + [ + -195, + -8, + 19, + -2, + -1, + -1946, + 893 + ], + [ + 125, + -8, + -53, + 0, + 0, + -2910, + -1401 + ], + [ + 93, + -1, + -49, + 1, + -2, + -2207, + 872 + ], + [ + -143, + -7, + 58, + -5, + 0, + 2660, + 2006 + ], + [ + 158, + -3, + 45, + -8, + -1, + -2463, + 114 + ], + [ + 200, + 4, + 63, + -6, + 1, + 1838, + -179 + ], + [ + -207, + -7, + 52, + -4, + 0, + 3649, + -28 + ] + ], + [ + [ + -1189, + -8, + -139, + -20883, + 1, + -2, + 23 + ], + [ + 930, + 25, + 20, + -20937, + 0, + 2, + -40 + ], + [ + -1098, + 97, + 246, + -7076, + 1, + -3, + 8 + ], + [ + 1817, + -30, + 3, + -22605, + 0, + 0, + 61 + ], + [ + -1225, + -69, + 75, + 29033, + -2, + 1, + 48 + ], + [ + 545, + -38, + -136, + -13891, + -2, + -3, + -8 + ], + [ + -1473, + -251, + 98, + -28115, + -2, + 0, + 53 + ] + ], + [ + [ + 919, + -4, + -1361, + 984, + 0, + -1, + 57 + ], + [ + 1591, + 1, + 1016, + 1166, + -1, + 0, + 56 + ], + [ + -1128, + -4, + -570, + -944, + 0, + -1, + 20 + ], + [ + 1974, + 2, + 1020, + 1919, + 0, + -2, + 29 + ], + [ + -731, + -2, + 593, + -756, + -1, + 1, + 9 + ], + [ + 696, + 2, + 550, + 452, + 0, + -1, + 42 + ], + [ + 917, + -3, + -1450, + 1555, + 0, + 1, + -52 + ] + ], + [ + [ + 6481, + 11910, + 0, + -9, + 0, + -147, + -242 + ], + [ + 10, + -8613, + -1, + -1819, + -3, + -926, + 179 + ], + [ + 6381, + 9861, + -1, + -1381, + 0, + 355, + -246 + ], + [ + 5846, + -2014, + 0, + -1729, + -5, + -86, + -232 + ], + [ + 3398, + 14128, + 0, + -427, + 8, + -285, + -72 + ], + [ + 4251, + 2978, + -1, + -380, + 21, + 58, + -218 + ], + [ + 5849, + 7887, + -1, + 1907, + 28, + 1015, + -63 + ] + ], + [ + [ + 0, + 39, + 379, + 48, + -1812, + -70, + 59 + ], + [ + 0, + 54, + 56, + 35, + -3496, + -26, + 7 + ], + [ + -1, + -44, + 92, + -258, + 1642, + -11, + -13 + ], + [ + -1, + -13, + 43, + 75, + -1883, + -121, + 55 + ], + [ + 0, + 51, + -216, + 105, + -2942, + 103, + -64 + ], + [ + -1, + 45, + 230, + 371, + -30, + -104, + -63 + ], + [ + -1, + -57, + -54, + -461, + -2575, + -21, + 30 + ] + ] + ], + [ + [ + [ + 5709, + -453, + 25, + 3257, + -1, + -1, + 22 + ], + [ + -1149, + -261, + -5, + -28284, + -1, + -2, + -18 + ], + [ + -4939, + -446, + 7, + -25213, + -1, + 3, + -32 + ], + [ + -7216, + 0, + -13, + -11762, + -1, + -1, + 16 + ], + [ + 2880, + 434, + 12, + 18989, + -1, + 0, + 5 + ], + [ + 10264, + 1, + -7, + -28178, + 0, + -1, + 19 + ], + [ + 5836, + -511, + 9, + -800, + -1, + -2, + 8 + ] + ], + [ + [ + -27117, + 27, + 1, + -27077, + -8, + -4, + 7541 + ], + [ + 22792, + 124, + -2, + -1179, + -8, + -2, + -6294 + ], + [ + 6935, + 104, + 1, + -28599, + -5, + -2, + -8170 + ], + [ + -9619, + 27, + 0, + 28827, + 3, + -2, + -10352 + ], + [ + -8078, + 76, + 1, + -7059, + -6, + -4, + -13862 + ], + [ + 8969, + 22, + 0, + -31178, + -2, + -3, + -5358 + ], + [ + 8009, + -58, + 0, + -13818, + 0, + -1, + -3810 + ] + ], + [ + [ + -3064, + 2, + 1, + 2, + 62, + 38, + -119 + ], + [ + 2398, + -9, + 0, + 7, + 100, + -11, + 86 + ], + [ + 971, + -12, + -2, + 7, + 106, + 50, + -30 + ], + [ + -1467, + 9, + -2, + 6, + 26, + 16, + -16 + ], + [ + 3926, + 7, + -2, + 0, + 92, + -55, + 60 + ], + [ + -2092, + 0, + 1, + -1, + -119, + -62, + 60 + ], + [ + 3530, + -7, + 1, + -1, + -113, + 3, + 121 + ] + ], + [ + [ + -32, + 7, + 9958, + -852, + 12677, + -2, + -14 + ], + [ + 47, + -3, + 4309, + 2001, + -27335, + 3, + -5 + ], + [ + 5, + -1, + 18197, + -2560, + -25714, + -2, + -13 + ], + [ + -33, + 2, + 20890, + 1583, + -11946, + 5, + -4 + ], + [ + -41, + 4, + 1099, + -1061, + 10540, + 3, + -9 + ], + [ + -49, + 0, + -29391, + 1134, + -3945, + -5, + 3 + ], + [ + -16, + -2, + -18591, + 1442, + 26407, + 1, + -9 + ] + ], + [ + [ + 21849, + -12425, + -862, + -3809, + 89, + -233, + 94 + ], + [ + -20213, + -9431, + 443, + 2488, + -124, + -175, + -437 + ], + [ + 29068, + -14478, + -1317, + -790, + -45, + -232, + 82 + ], + [ + 7047, + -10585, + 771, + -3632, + 59, + -124, + -565 + ], + [ + -19898, + 12075, + 8, + 1558, + -76, + -227, + -946 + ], + [ + -3882, + -5687, + 1096, + 2362, + -49, + -35, + -243 + ], + [ + 11474, + 4246, + 618, + -3642, + -42, + 239, + -324 + ] + ], + [ + [ + -5334, + -20, + -8, + 17, + -8, + 0, + -1 + ], + [ + -6641, + 24, + 3, + 20, + 6, + 1, + 1 + ], + [ + 553, + 12, + -1, + -21, + -2, + -1, + -4 + ], + [ + 5692, + 26, + -2, + -1, + 5, + -1, + 1 + ], + [ + 248, + -15, + 4, + -20, + -5, + 0, + 1 + ], + [ + 7445, + 13, + -8, + 22, + -2, + -2, + 0 + ], + [ + -5401, + -6, + -1, + -28, + 5, + 0, + 3 + ] + ], + [ + [ + -3, + 6217, + 639, + -295, + 13, + -3, + 31 + ], + [ + 8, + 1229, + -594, + 70, + 1, + 3, + 21 + ], + [ + -2, + -7221, + -232, + -125, + -16, + -4, + 16 + ], + [ + -16, + -5814, + 405, + 110, + -5, + 2, + -22 + ], + [ + -2, + -25837, + 64, + -415, + 14, + 1, + -17 + ], + [ + 7, + -9832, + 37, + -341, + 0, + -4, + -23 + ], + [ + 5, + 39, + -423, + -451, + -3, + 3, + 13 + ] + ], + [ + [ + -906, + 7, + -3, + 1, + -64, + -13, + 586 + ], + [ + -347, + -6, + -14, + 6, + 40, + -30, + 870 + ], + [ + 656, + -3, + 5, + -4, + -33, + 13, + -610 + ], + [ + -297, + -3, + -12, + 5, + 22, + 23, + 49 + ], + [ + -666, + -4, + -5, + 7, + -34, + 12, + -773 + ], + [ + 933, + 2, + -3, + -3, + -19, + -18, + 204 + ], + [ + 749, + -5, + 7, + 1, + 35, + 17, + -944 + ] + ], + [ + [ + -491, + 1700, + -1412, + 4, + 259, + 62, + -32365 + ], + [ + -502, + 694, + 1628, + -11, + 44, + 7106, + 21309 + ], + [ + 41, + 636, + 1889, + 18, + -87, + 3160, + -11213 + ], + [ + 431, + -1665, + -1125, + -10, + -306, + 1557, + 13929 + ], + [ + 399, + 5, + 497, + 6, + -509, + 3416, + -31244 + ], + [ + 48, + 2047, + 1178, + 0, + -186, + 5524, + 23526 + ], + [ + -136, + -1607, + 336, + 8, + 444, + 6391, + -17757 + ] + ] + ], + [ + [ + [ + -2, + 508, + -23, + -1, + -6376, + -1, + 2 + ], + [ + -2, + -90, + -19, + -2, + 9394, + 1, + -1 + ], + [ + -3, + 146, + 4, + 0, + 3106, + 0, + -15 + ], + [ + -4, + -414, + -45, + 1, + 7537, + 0, + 6 + ], + [ + -4, + -294, + 37, + -1, + 279, + 1, + -14 + ], + [ + 2, + 185, + -13, + -1, + -13952, + -2, + -9 + ], + [ + 3, + -397, + -27, + -2, + -7060, + -2, + -8 + ] + ], + [ + [ + 14, + 273, + -4, + 1688, + 486, + 0, + 1247 + ], + [ + -18, + 90, + 9, + -1593, + 299, + -1, + -784 + ], + [ + -20, + -476, + 7, + 2612, + 621, + -1, + -1971 + ], + [ + 8, + -308, + 1, + 3852, + -2030, + 0, + 2024 + ], + [ + -11, + 321, + 10, + -111, + -792, + 0, + 489 + ], + [ + -2, + -315, + 7, + -2365, + -1498, + -1, + -220 + ], + [ + -25, + -169, + -9, + -331, + 1137, + -1, + 233 + ] + ], + [ + [ + -12, + -2, + 60, + 491, + -4, + 0, + -126 + ], + [ + -14, + -1, + 20, + 493, + 2, + -3, + -79 + ], + [ + 1, + 1, + 28, + 693, + -4, + 3, + 124 + ], + [ + 2, + -1, + 20, + 583, + 3, + -4, + 3 + ], + [ + 6, + -1, + 43, + -1783, + -4, + 2, + -96 + ], + [ + -3, + -1, + 24, + -2000, + -2, + 3, + -34 + ], + [ + 3, + 1, + 13, + 1044, + 3, + 0, + 84 + ] + ], + [ + [ + 270, + 160, + 145, + -1315, + 59, + -2706, + -4 + ], + [ + -6825, + -5, + -157, + 1032, + -134, + -148, + -12 + ], + [ + -3717, + -74, + 472, + -437, + -490, + -3124, + 7 + ], + [ + -10966, + -173, + -130, + -1174, + -20, + -7633, + 7 + ], + [ + -9374, + 108, + 66, + -2436, + -32, + -7592, + 6 + ], + [ + -6430, + -60, + -352, + -1107, + -107, + -4507, + 15 + ], + [ + -7216, + -164, + 49, + -1484, + -48, + 3688, + -14 + ] + ], + [ + [ + 9, + -16, + -234, + -14, + -11, + -2467, + 222 + ], + [ + 415, + -13, + 251, + 4, + 1, + 4789, + -8 + ], + [ + -241, + 0, + 115, + 5, + -11, + 7178, + -111 + ], + [ + 327, + -7, + -224, + 15, + 2, + -4677, + -256 + ], + [ + -380, + -11, + 217, + -11, + -11, + 5534, + 194 + ], + [ + -299, + 4, + 17, + 2, + -7, + 4117, + 195 + ], + [ + 231, + 12, + -200, + 5, + 15, + 584, + 226 + ] + ], + [ + [ + -5, + 50, + 3594, + 0, + 1675, + 0, + -6 + ], + [ + 1, + 59, + -3974, + -3, + -5, + -1, + 3 + ], + [ + -5, + 20, + -3225, + -2, + 1579, + -1, + 6 + ], + [ + 4, + -22, + -588, + 3, + 3785, + -1, + 6 + ], + [ + -1, + -64, + 1098, + -4, + -1485, + 0, + 10 + ], + [ + -3, + 39, + 2780, + -1, + -2679, + 0, + -16 + ], + [ + 12, + -15, + 2130, + 1, + -223, + 0, + 9 + ] + ], + [ + [ + 785, + -3327, + -1, + 115, + 5, + -1, + -14080 + ], + [ + -447, + 592, + 0, + 108, + -7, + -1, + -7469 + ], + [ + 942, + -2736, + -2, + -52, + -7, + 1, + 811 + ], + [ + 118, + 3336, + -1, + -49, + -2, + 2, + 931 + ], + [ + -678, + 1554, + 0, + -65, + 0, + 0, + -10650 + ], + [ + -1006, + 1786, + 0, + 54, + -2, + 0, + 15783 + ], + [ + -563, + 1251, + -2, + -112, + 7, + -3, + 5105 + ] + ], + [ + [ + 0, + 633, + 0, + 1613, + 25830, + 21, + 56 + ], + [ + -22, + -678, + -1, + 1301, + 10952, + 18, + -102 + ], + [ + -21, + -717, + 0, + 1097, + -25197, + 23, + -51 + ], + [ + 10, + 515, + -2, + 2988, + 30830, + 29, + -93 + ], + [ + -7, + -548, + -1, + 3890, + 17244, + 17, + -20 + ], + [ + 27, + 860, + 1, + 2576, + 9944, + -26, + -56 + ], + [ + 17, + -355, + -2, + 3664, + -764, + 23, + -56 + ] + ], + [ + [ + -36, + -642, + -65, + -1, + -4, + 0, + -357 + ], + [ + -15, + 1477, + -33, + -1, + -8, + -1, + 304 + ], + [ + 113, + -1513, + 21, + -1, + -1, + -1, + -385 + ], + [ + -124, + -1746, + 11, + -1, + -3, + -1, + -923 + ], + [ + -96, + -503, + -173, + -1, + -4, + -1, + -1002 + ], + [ + -98, + 1843, + 86, + -1, + -4, + -1, + 830 + ], + [ + 97, + 1107, + -202, + -1, + -1, + 0, + 706 + ] + ] + ], + [ + [ + [ + -2, + 58, + -1, + -3, + -3059, + 0, + -8 + ], + [ + 1, + 195, + -1, + 3, + -7434, + 0, + -63 + ], + [ + -1, + 333, + 0, + -2, + 6317, + -1, + 21 + ], + [ + 0, + -300, + 1, + 2, + -8054, + -1, + -57 + ], + [ + -1, + -85, + 0, + 1, + -7945, + -1, + 36 + ], + [ + 3, + -213, + -2, + -3, + -2620, + -1, + -20 + ], + [ + -4, + -164, + -1, + -1, + -6895, + 0, + -11 + ] + ], + [ + [ + -3, + 52, + 2002, + -1, + -11585, + -8, + 497 + ], + [ + -3, + -16, + 76, + 0, + -16353, + -7, + 2368 + ], + [ + 7, + 43, + 3327, + -1, + 10695, + 6, + 3217 + ], + [ + -6, + -46, + -798, + 0, + 15012, + -3, + 2715 + ], + [ + 6, + 59, + -2545, + -1, + -9177, + 3, + 1529 + ], + [ + -2, + -53, + 170, + 0, + -842, + -4, + 755 + ], + [ + 2, + 11, + 3055, + -1, + 3591, + 5, + -2354 + ] + ], + [ + [ + -4, + -462, + -1025, + -3731, + 504, + -2, + 3 + ], + [ + 1, + 499, + -1244, + -1272, + -527, + 0, + -5 + ], + [ + -7, + 459, + 1467, + -3123, + 241, + -1, + -6 + ], + [ + -1, + 294, + -4093, + -1187, + 862, + -1, + -7 + ], + [ + -2, + 186, + 4065, + 1055, + -921, + 1, + 4 + ], + [ + 2, + 406, + 2206, + -2194, + -162, + 0, + -1 + ], + [ + 2, + 206, + -3245, + 560, + -945, + 0, + -2 + ] + ], + [ + [ + -19, + 31, + -248, + -2, + -580, + 0, + -503 + ], + [ + -1, + -6, + 374, + -2, + -1978, + 0, + -329 + ], + [ + 13, + -15, + 63, + -2, + 792, + 0, + -512 + ], + [ + -15, + -29, + -467, + 0, + -296, + 0, + -249 + ], + [ + 13, + 7, + 166, + 1, + 849, + 0, + 245 + ], + [ + -4, + 14, + 350, + 0, + 441, + -1, + -65 + ], + [ + -28, + -26, + -143, + -1, + 113, + 0, + 268 + ] + ], + [ + [ + -158, + -85, + 6, + -8, + 6, + 9222, + 2990 + ], + [ + -514, + 62, + 10, + -14, + -6, + 497, + -2303 + ], + [ + 429, + -51, + 15, + -7, + -3, + -16275, + -4138 + ], + [ + -542, + 134, + -6, + -10, + -3, + 2052, + 4678 + ], + [ + 980, + -232, + 10, + -4, + 4, + -15155, + 2065 + ], + [ + 881, + -236, + 9, + -13, + 7, + 8007, + 6720 + ], + [ + 814, + -95, + -3, + 6, + -6, + -6339, + -6570 + ] + ], + [ + [ + 3, + -1, + -1463, + -1, + -509, + 0, + 0 + ], + [ + 0, + 0, + -6377, + 1, + -1574, + -1, + -1 + ], + [ + -3, + 0, + -3263, + 1, + -310, + -1, + -1 + ], + [ + -3, + -1, + 282, + 1, + 355, + -1, + 0 + ], + [ + 1, + -1, + 5763, + 1, + 424, + -1, + -1 + ], + [ + -1, + -1, + -3180, + -2, + -1415, + 0, + -1 + ], + [ + -1, + -1, + -7434, + 1, + 1981, + 0, + 0 + ] + ], + [ + [ + -18, + 2819, + 4, + -2026, + 421, + 29, + 3369 + ], + [ + -20, + -1389, + -6, + -5521, + 799, + -20, + 12835 + ], + [ + -14, + -9, + 0, + -12263, + -648, + -13, + -14419 + ], + [ + 16, + 378, + 5, + 11898, + -313, + 20, + -14378 + ], + [ + -5, + 1357, + -1, + 7847, + 734, + -5, + -7391 + ], + [ + 5, + 3018, + 7, + 10339, + -523, + -19, + 2391 + ], + [ + -7, + 908, + 6, + 1609, + -296, + 23, + -1994 + ] + ], + [ + [ + 107, + -6, + 258, + -151, + -24707, + -19, + 6658 + ], + [ + -328, + -6, + -14499, + -970, + -4299, + -1, + 4074 + ], + [ + 74, + 0, + 16353, + -513, + 13915, + -27, + 11422 + ], + [ + -141, + -3, + -11955, + 18, + -6580, + 30, + -10551 + ], + [ + -85, + 6, + 10069, + 541, + 1703, + 23, + -9046 + ], + [ + 317, + 1, + -4917, + -578, + 1417, + -32, + 7035 + ], + [ + -271, + -2, + -10056, + -71, + -8460, + -20, + 12733 + ] + ], + [ + [ + 1062, + -29, + -3624, + 2827, + 1, + 0, + 3428 + ], + [ + -2017, + -7, + -2550, + 1239, + 3, + 0, + 3413 + ], + [ + 685, + 109, + -3784, + -1556, + -2, + 3, + -1708 + ], + [ + 1114, + -8, + 3896, + 2187, + -4, + 7, + 14818 + ], + [ + -1871, + -28, + 3854, + 2768, + -1, + 0, + -15413 + ], + [ + 264, + 42, + -1152, + -1583, + 2, + -1, + -7733 + ], + [ + -513, + -2, + -1971, + 492, + 2, + 3, + -8804 + ] + ] + ] + ] + ], + [ + [ + [ + [ + [ + -1, + 22, + 2953, + 1, + -31, + -379, + 2610 + ], + [ + -3, + 89, + 6493, + 0, + -136, + 662, + 527 + ], + [ + 0, + 180, + -5026, + 1, + 367, + 59, + -6929 + ], + [ + 2, + -144, + 6479, + 1, + -280, + -133, + -7774 + ], + [ + -1, + -227, + 7985, + 0, + -543, + 622, + -7872 + ], + [ + 0, + -199, + -7300, + -2, + -422, + 462, + 6403 + ], + [ + 2, + 122, + 1072, + -1, + -502, + 912, + 356 + ] + ], + [ + [ + 0, + -1987, + -6, + 1489, + -1, + 1, + 79 + ], + [ + -2, + 1656, + 40, + -657, + 1, + -7, + -50 + ], + [ + -2, + 554, + 45, + 831, + 0, + -6, + 111 + ], + [ + -2, + 107, + 23, + 2921, + 1, + 1, + 19 + ], + [ + -1, + 277, + 22, + 1201, + 0, + -1, + -78 + ], + [ + -2, + -325, + -14, + 885, + 1, + 3, + 78 + ], + [ + 0, + 1750, + 56, + -2845, + 0, + 0, + 120 + ] + ], + [ + [ + 173, + -31, + -149, + -1, + -20, + -26490, + 2 + ], + [ + -13, + 10, + 255, + 0, + -2, + -15271, + 2 + ], + [ + 13, + 16, + -245, + -1, + -24, + 11887, + 0 + ], + [ + -375, + -13, + 54, + 0, + 31, + -1869, + 1 + ], + [ + -853, + 28, + -247, + -1, + 14, + 30784, + -3 + ], + [ + 329, + -20, + -231, + -1, + 4, + -15463, + 3 + ], + [ + 238, + -4, + -8, + -1, + -25, + 6972, + 2 + ] + ], + [ + [ + -646, + -304, + 420, + 907, + -1, + -1, + 5295 + ], + [ + 1035, + 516, + -223, + -2572, + -1, + 0, + -3315 + ], + [ + 221, + 2032, + -288, + -2205, + -1, + 0, + 471 + ], + [ + 3423, + 1834, + -81, + -3647, + -1, + 0, + -1950 + ], + [ + -4078, + 2004, + -202, + 973, + 0, + 0, + 3185 + ], + [ + -3802, + 805, + 356, + 3426, + -1, + -1, + -7423 + ], + [ + 3423, + -923, + 32, + -199, + 0, + 0, + -2888 + ] + ], + [ + [ + 594, + -429, + -20, + -51, + -9, + 3964, + 71 + ], + [ + 713, + 55, + -6, + -42, + 26, + -6813, + 67 + ], + [ + 257, + 883, + 30, + 26, + 10, + -23773, + -124 + ], + [ + 94, + 419, + 15, + -32, + 0, + 23734, + -104 + ], + [ + -238, + 910, + -20, + -24, + -3, + 12346, + -63 + ], + [ + 598, + -542, + -9, + 9, + -32, + 17520, + 43 + ], + [ + 685, + -462, + -7, + 51, + -28, + -577, + -5 + ] + ], + [ + [ + -431, + -543, + 3, + -4965, + 25634, + 202, + -11 + ], + [ + 3884, + -1950, + -8, + -1671, + 19382, + 176, + 4 + ], + [ + 2549, + -1955, + 6, + 2214, + -24014, + -191, + -8 + ], + [ + -3528, + -1780, + 7, + -4259, + 8937, + 244, + -8 + ], + [ + 1607, + -410, + -4, + 7374, + 10270, + -32, + 9 + ], + [ + 3280, + 2305, + 5, + -2917, + -10214, + -137, + 6 + ], + [ + 2483, + 1314, + 1, + 4443, + -20876, + -69, + 6 + ] + ], + [ + [ + -115, + 6732, + -6, + 293, + 3, + 2847, + 1 + ], + [ + 4, + 4195, + -3, + 85, + 13, + -3402, + -1 + ], + [ + -124, + 561, + 4, + -473, + 1, + -695, + 1 + ], + [ + -72, + -5525, + -7, + -95, + -1, + 3433, + -1 + ], + [ + -85, + 3260, + -8, + -159, + 4, + -2016, + 0 + ], + [ + -12, + 7406, + -4, + 416, + 4, + 2043, + -2 + ], + [ + -124, + 3780, + -1, + -196, + 12, + -1422, + -1 + ] + ], + [ + [ + 918, + 0, + 408, + 4, + -100, + -12798, + 6319 + ], + [ + 37, + -1, + 200, + 14, + -112, + 10670, + -5091 + ], + [ + -419, + 0, + -260, + -11, + 118, + -4970, + -10828 + ], + [ + 777, + -1, + 282, + -14, + 4, + -3180, + 14970 + ], + [ + 87, + 0, + -258, + -1, + 80, + -11133, + 14016 + ], + [ + 1117, + 0, + -264, + 10, + 87, + -6796, + 2855 + ], + [ + -1800, + -1, + -358, + 1, + 12, + 1075, + 5804 + ] + ], + [ + [ + 434, + -2485, + -37, + -4663, + 54, + -3337, + -7679 + ], + [ + -348, + 2205, + 10, + 6875, + -38, + -868, + 907 + ], + [ + -438, + 3428, + 38, + -5837, + 43, + -420, + -2683 + ], + [ + 456, + 152, + -35, + 5070, + 27, + -2523, + 2905 + ], + [ + 132, + -1841, + -9, + 5559, + -42, + 1821, + 5430 + ], + [ + 447, + -1437, + -30, + 7117, + -5, + 564, + 213 + ], + [ + 14, + 1020, + -10, + -1769, + -13, + 1280, + 5209 + ] + ] + ], + [ + [ + [ + 112, + 22, + -90, + 560, + -218, + -162, + -456 + ], + [ + -489, + 30, + -424, + -566, + 566, + 764, + -87 + ], + [ + -191, + 1, + 276, + -63, + -669, + -142, + -252 + ], + [ + 376, + -46, + 111, + -759, + 966, + 286, + -370 + ], + [ + 939, + 9, + 109, + -895, + -640, + 630, + -34 + ], + [ + 238, + 62, + -74, + -244, + 618, + -889, + -47 + ], + [ + 726, + -35, + -201, + -57, + -872, + -879, + -255 + ] + ], + [ + [ + 3, + -36, + 236, + -3, + 66, + -1, + 47 + ], + [ + -2, + 37, + 339, + -3, + 42, + -1, + -1 + ], + [ + -2, + 58, + 444, + 9, + 114, + 0, + 34 + ], + [ + 0, + -38, + 322, + -10, + -81, + 0, + -50 + ], + [ + -3, + 1, + 86, + -15, + -32, + -1, + -26 + ], + [ + -3, + 22, + -28, + 14, + -126, + 0, + 52 + ], + [ + -1, + 25, + -61, + 3, + 104, + 0, + 9 + ] + ], + [ + [ + 3987, + -1, + -6, + 1497, + 1580, + -34, + 0 + ], + [ + -3574, + -24, + 5, + 962, + 878, + 15, + -2 + ], + [ + 3779, + -26, + 4, + 4013, + -2123, + 17, + -2 + ], + [ + 1115, + -8, + -7, + 1409, + 3841, + -54, + 1 + ], + [ + 2814, + 6, + 6, + -1562, + 1802, + 25, + 0 + ], + [ + 2731, + 48, + 4, + 724, + 3907, + 7, + 0 + ], + [ + -2550, + -23, + 6, + -17, + 92, + 40, + -1 + ] + ], + [ + [ + -481, + -126, + -18, + 0, + 3683, + -175, + -1 + ], + [ + -571, + 81, + 1, + -23, + 1795, + -169, + 0 + ], + [ + -475, + 93, + 12, + -24, + 4248, + 225, + -1 + ], + [ + -695, + -6, + 6, + -24, + -2604, + 206, + 0 + ], + [ + 1008, + -73, + 17, + -5, + -4537, + 461, + 0 + ], + [ + 72, + -53, + 24, + -31, + -6306, + -328, + 0 + ], + [ + -814, + 76, + -20, + 11, + 4843, + 387, + -1 + ] + ], + [ + [ + -2, + 4, + -3362, + 459, + -20439, + 304, + -4 + ], + [ + -1, + -8, + 16392, + 107, + -26406, + -3, + -1 + ], + [ + 0, + -1, + -2689, + 338, + 1249, + 1287, + 3 + ], + [ + 1, + 7, + 12967, + 63, + 2002, + -1211, + 2 + ], + [ + 0, + 5, + 13204, + -20, + -13420, + 1989, + 1 + ], + [ + 1, + 1, + 686, + -477, + -28228, + 846, + -3 + ], + [ + -2, + 4, + 7899, + -399, + -9, + -124, + -4 + ] + ], + [ + [ + 107, + -1693, + 12, + -7, + 22, + -8, + 8 + ], + [ + 289, + -1513, + -8, + -6, + -11, + 2, + 7 + ], + [ + -327, + -8010, + 1, + 1, + 30, + 4, + 1 + ], + [ + 94, + 2384, + -2, + 2, + -20, + 5, + 11 + ], + [ + -67, + -710, + -1, + 5, + -21, + -3, + 3 + ], + [ + 198, + -3347, + -13, + 0, + 8, + 4, + -16 + ], + [ + -495, + -1860, + 2, + -8, + -21, + -2, + -8 + ] + ], + [ + [ + 13, + -2, + 795, + -170, + -8, + 31, + 83 + ], + [ + 31, + -2, + 450, + -218, + 14, + -12, + 141 + ], + [ + -25, + 1, + -40, + 9, + 9, + -30, + -98 + ], + [ + 13, + 1, + 992, + 18, + -31, + -2, + -19 + ], + [ + -7, + -1, + 754, + -57, + -61, + 14, + 84 + ], + [ + -8, + 0, + 903, + 217, + 37, + 5, + -242 + ], + [ + 0, + 1, + 706, + 139, + 62, + 1, + -200 + ] + ], + [ + [ + -2, + -2971, + 21, + 9081, + -39, + -115, + -6 + ], + [ + -234, + -3066, + -17, + -7694, + 255, + 185, + 0 + ], + [ + -165, + 5589, + 9, + 485, + -18, + 53, + 5 + ], + [ + 112, + -246, + 10, + 14083, + -89, + 410, + 1 + ], + [ + -162, + 7650, + 11, + -3738, + -147, + 425, + 5 + ], + [ + -234, + 2223, + -25, + -6747, + 34, + -257, + 0 + ], + [ + -37, + 1335, + 19, + -11299, + 151, + -285, + -8 + ] + ], + [ + [ + -28, + -12958, + -81, + -633, + 377, + 350, + 3732 + ], + [ + -180, + -27799, + -43, + 2248, + 394, + -1632, + -385 + ], + [ + -53, + 16000, + -76, + -125, + 358, + -144, + 4608 + ], + [ + 62, + 6383, + -62, + 4034, + -257, + 1765, + 8017 + ], + [ + 5, + 24182, + 55, + 1947, + -442, + -1487, + -7052 + ], + [ + -241, + 22018, + -84, + -4045, + 448, + -907, + 5182 + ], + [ + 235, + 1512, + 109, + 3840, + -365, + -1448, + -2131 + ] + ] + ], + [ + [ + [ + 0, + 1171, + -82, + -3, + -397, + -1, + 450 + ], + [ + -1, + 1508, + -114, + -4, + 621, + -2, + -428 + ], + [ + 0, + -1445, + -113, + -1, + 102, + 0, + 86 + ], + [ + -1, + -857, + -41, + -2, + 120, + -2, + 135 + ], + [ + 0, + 658, + -29, + -1, + 174, + 0, + -204 + ], + [ + -1, + 830, + 41, + -4, + 259, + -2, + 146 + ], + [ + 0, + -1985, + 58, + -4, + -482, + 0, + -149 + ] + ], + [ + [ + 0, + 234, + 31909, + -4, + -3, + -1, + 2796 + ], + [ + -1, + 125, + -14281, + -3, + 1, + 0, + 6245 + ], + [ + -1, + 13, + 28072, + 0, + 3, + -1, + -14915 + ], + [ + 0, + -21, + -30010, + -3, + -2, + -1, + 6043 + ], + [ + 0, + -88, + -27220, + -4, + 3, + -1, + -12869 + ], + [ + 0, + 189, + -24774, + 3, + 1, + -1, + 9026 + ], + [ + -1, + 69, + -24452, + -3, + 2, + 0, + -16026 + ] + ], + [ + [ + -3, + 220, + 3, + 0, + 1692, + -229, + -1824 + ], + [ + 2, + 612, + -1, + 0, + -2171, + -97, + -1057 + ], + [ + -1, + -750, + 0, + -1, + 1839, + 36, + 1621 + ], + [ + -3, + -466, + -3, + 0, + -3221, + 381, + 1306 + ], + [ + 1, + -749, + -1, + 0, + -893, + -69, + 1074 + ], + [ + 2, + -410, + -2, + -1, + -805, + 93, + 874 + ], + [ + -2, + -581, + -4, + -1, + -3674, + -600, + 798 + ] + ], + [ + [ + 1123, + 60, + 46, + -3, + 25, + -2892, + 8536 + ], + [ + 1302, + 0, + -245, + 7, + 31, + -2164, + 4146 + ], + [ + -1841, + -35, + 273, + -1, + -20, + -1349, + -24842 + ], + [ + 1144, + 56, + -404, + -17, + 22, + 3102, + 17520 + ], + [ + 880, + 46, + -130, + 25, + 24, + -2214, + -27984 + ], + [ + 86, + 33, + 358, + -23, + -8, + 2194, + -28810 + ], + [ + 913, + -27, + -490, + -17, + 15, + 3031, + -27442 + ] + ], + [ + [ + -2, + -4896, + 1503, + 35, + 1892, + -1189, + -823 + ], + [ + -7, + 4279, + -450, + -62, + 1833, + -3244, + 1753 + ], + [ + -11, + 624, + -1537, + 23, + -398, + -1087, + -95 + ], + [ + 15, + -4173, + -2297, + -56, + 977, + 1454, + 445 + ], + [ + -16, + 4760, + 2535, + 56, + 1757, + -1941, + 861 + ], + [ + -4, + 1572, + -1373, + 20, + 1854, + 1247, + 1723 + ], + [ + 13, + -6245, + 3803, + 40, + -301, + 819, + 479 + ] + ], + [ + [ + 73, + 2, + -1, + -16, + -2, + 6, + 357 + ], + [ + 39, + -3, + 0, + -2, + -1, + 69, + -210 + ], + [ + 30, + -3, + -1, + 1, + 0, + 107, + -215 + ], + [ + 101, + 2, + -1, + -12, + -1, + 40, + 295 + ], + [ + 28, + 1, + -1, + 0, + 1, + -29, + 408 + ], + [ + -97, + 3, + 0, + 4, + 0, + 111, + -127 + ], + [ + -86, + 3, + -1, + 5, + -1, + 109, + 485 + ] + ], + [ + [ + -1, + 136, + -1, + -1, + 447, + -14, + 7 + ], + [ + 1, + 1887, + 0, + 0, + -11, + -3, + -4 + ], + [ + -3, + -1894, + -1, + 0, + 448, + 12, + -3 + ], + [ + 0, + 1051, + -4, + 0, + 379, + 30, + -7 + ], + [ + 3, + 464, + 0, + -1, + -9, + -9, + 7 + ], + [ + -2, + -1155, + 3, + -1, + 414, + 29, + -4 + ], + [ + 1, + 1215, + 0, + 0, + -377, + 1, + 0 + ] + ], + [ + [ + 1, + 3639, + 0, + 26, + -6336, + -3126, + -16 + ], + [ + 0, + -2028, + 0, + 70, + 27056, + 16246, + -4 + ], + [ + -2, + 885, + -1, + -57, + 13574, + -1603, + 14 + ], + [ + -5, + -461, + 0, + 104, + 5127, + -14122, + -6 + ], + [ + 6, + -1867, + -1, + -90, + 14378, + -11812, + -5 + ], + [ + 3, + 3239, + -1, + -43, + -25037, + -2036, + 15 + ], + [ + -4, + -1967, + -1, + 101, + 3083, + 3577, + 8 + ] + ], + [ + [ + 220, + 3239, + 15, + 4, + -10460, + -176, + 177 + ], + [ + -472, + 10747, + 16, + -20, + -12647, + 540, + -256 + ], + [ + 44, + -11063, + 104, + -41, + 9922, + 151, + -236 + ], + [ + 225, + 12428, + -72, + 59, + 9776, + 495, + -84 + ], + [ + -390, + -2316, + 78, + 11, + 4832, + 575, + -83 + ], + [ + -474, + 12583, + 29, + 8, + 2401, + 722, + 137 + ], + [ + 174, + 9240, + -55, + 27, + 15565, + -543, + 36 + ] + ] + ], + [ + [ + [ + 2, + 1, + 15363, + -13, + -2, + -23833, + 0 + ], + [ + 2, + 4, + -2268, + -12, + 1, + 11820, + 0 + ], + [ + 4, + 17, + 1757, + -33, + 0, + 14154, + 0 + ], + [ + -8, + 29, + 10695, + -19, + -1, + -24684, + 0 + ], + [ + -5, + -8, + -2342, + -31, + 0, + 32444, + 0 + ], + [ + 0, + -24, + 11900, + -32, + 1, + -6854, + 0 + ], + [ + -2, + -3, + -10978, + 6, + -1, + 22789, + -1 + ] + ], + [ + [ + 15225, + -27, + -352, + -15, + 1, + -4, + -2 + ], + [ + 13452, + 14, + 120, + 9, + 2, + 3, + 1 + ], + [ + -1681, + -48, + -267, + 6, + -2, + 1, + -3 + ], + [ + -14405, + -18, + -554, + 11, + -1, + -1, + -1 + ], + [ + -5987, + 53, + 489, + -11, + -3, + -4, + -2 + ], + [ + 5130, + 55, + -38, + -14, + -4, + -1, + -2 + ], + [ + 2514, + -49, + -553, + 1, + -2, + -2, + -3 + ] + ], + [ + [ + -4, + -635, + -88, + 12, + 6434, + -9, + -55 + ], + [ + -1, + 441, + -59, + 8, + 7604, + -13, + -98 + ], + [ + -4, + 1523, + -43, + -6, + 1956, + 58, + -20 + ], + [ + -2, + 1485, + -214, + 11, + 328, + -62, + -70 + ], + [ + 1, + 1036, + -156, + 5, + 8016, + 23, + 51 + ], + [ + -3, + 563, + 106, + -13, + -3092, + 48, + 127 + ], + [ + -3, + 949, + 0, + 2, + 179, + 46, + -15 + ] + ], + [ + [ + 0, + 11093, + 1728, + 24879, + -68, + 114, + 22 + ], + [ + 0, + -8216, + -694, + -29945, + 108, + 80, + -27 + ], + [ + -1, + 12900, + 5645, + 1813, + -88, + 107, + -9 + ], + [ + 0, + 23533, + 1583, + -26581, + 99, + 42, + 50 + ], + [ + 0, + 26702, + 12043, + -18637, + -84, + -87, + 38 + ], + [ + -1, + -3269, + 9436, + -4677, + -113, + -36, + -52 + ], + [ + -1, + 15513, + 654, + 11460, + -101, + 64, + -10 + ] + ], + [ + [ + -1745, + 622, + -374, + -119, + -2, + -21901, + 28 + ], + [ + -1122, + -1882, + -59, + 30583, + 2, + 8961, + 25 + ], + [ + -3409, + 206, + -184, + 11558, + 5, + -27710, + -22 + ], + [ + 3722, + -33, + -190, + -22791, + -3, + -32441, + -18 + ], + [ + -2597, + -1702, + 480, + 19008, + 7, + -17008, + -14 + ], + [ + -1781, + 239, + -326, + -17336, + 7, + -9688, + 17 + ], + [ + -2221, + 1760, + 198, + 23705, + 0, + 26627, + -9 + ] + ], + [ + [ + -11, + -1, + -11, + 138, + -6, + -13042, + -3401 + ], + [ + -76, + 0, + -14, + -243, + 7, + -11730, + -1317 + ], + [ + 93, + 0, + -13, + 113, + -15, + -8772, + -6403 + ], + [ + 6, + 0, + 4, + -185, + -6, + -11590, + -2578 + ], + [ + -139, + 0, + 8, + 163, + -10, + -15942, + -7613 + ], + [ + 175, + 0, + -10, + 192, + 0, + -10328, + -3065 + ], + [ + -121, + 0, + -10, + -163, + 7, + -6482, + -4096 + ] + ], + [ + [ + 157, + 3, + 0, + 335, + 1397, + 0, + 42 + ], + [ + -252, + -4, + 3, + -369, + 932, + -1, + 36 + ], + [ + 84, + -4, + -2, + 213, + 1726, + 0, + 50 + ], + [ + 233, + 3, + 0, + -168, + 32, + 0, + -10 + ], + [ + 169, + 1, + -3, + 430, + 1418, + 0, + -40 + ], + [ + -140, + 2, + -4, + -17, + 487, + -1, + 46 + ], + [ + 11, + -4, + -2, + -105, + -1136, + 0, + -18 + ] + ], + [ + [ + 54, + 288, + -3, + 0, + -1, + -32092, + -1 + ], + [ + 2747, + -3136, + 2, + 0, + -1, + 6040, + -2 + ], + [ + 4840, + -2835, + 0, + -2, + -2, + -16102, + -3 + ], + [ + -305, + -2740, + -3, + -2, + 1, + 15432, + -3 + ], + [ + -12448, + 2869, + 1, + 1, + -2, + -9256, + -4 + ], + [ + -2512, + -2765, + -4, + 0, + 1, + 9534, + 2 + ], + [ + 10221, + 3868, + -3, + -1, + 0, + 21040, + 2 + ] + ], + [ + [ + 7459, + -4, + -1, + -861, + -1525, + -12, + 14357 + ], + [ + -13384, + -3, + 1, + 933, + -1011, + -2, + 765 + ], + [ + 10558, + 4, + 0, + -264, + -1046, + 4, + 10986 + ], + [ + -13872, + 4, + -1, + -727, + -3306, + -6, + -8249 + ], + [ + -12973, + -4, + 1, + 445, + -2384, + 5, + -1583 + ], + [ + 8096, + -5, + -2, + -384, + 4046, + 1, + -14601 + ], + [ + 15577, + 5, + 0, + 492, + -2583, + 2, + 13532 + ] + ] + ], + [ + [ + [ + -8, + -945, + 263, + 1, + 0, + 151, + -1487 + ], + [ + -50, + 599, + 363, + -4, + 0, + 0, + -615 + ], + [ + 18, + 848, + 329, + -3, + -1, + 446, + -1078 + ], + [ + 45, + -20, + 21, + -2, + 0, + 29, + 306 + ], + [ + -5, + -842, + 287, + -2, + -1, + 288, + -1229 + ], + [ + 23, + -53, + 307, + -4, + 0, + -278, + 1518 + ], + [ + -19, + -1010, + -13, + -4, + -1, + 221, + 248 + ] + ], + [ + [ + 1, + 387, + -263, + 0, + -1, + -874, + 3673 + ], + [ + -4, + -145, + -2977, + 1, + 0, + 591, + 3009 + ], + [ + -3, + -462, + -838, + -2, + -1, + -742, + 4620 + ], + [ + -2, + -358, + 3755, + -2, + -1, + -626, + -7168 + ], + [ + 3, + -151, + 2312, + -2, + 0, + -1530, + -4397 + ], + [ + -1, + 371, + -1587, + 1, + -1, + -1018, + 1708 + ], + [ + -1, + 1, + 1460, + -2, + 0, + 1485, + 4360 + ] + ], + [ + [ + -3528, + -20, + 1889, + 37, + 6, + 27097, + -1 + ], + [ + -6072, + -35, + -843, + 42, + -4, + -9091, + 2 + ], + [ + -5513, + 20, + 211, + 62, + -1, + 1391, + 2 + ], + [ + 8055, + 29, + 811, + 48, + 7, + 15381, + -2 + ], + [ + 2329, + -34, + 0, + -8, + 7, + 3560, + 3 + ], + [ + 5048, + 44, + -1355, + 35, + -4, + 5082, + -1 + ], + [ + -3937, + 62, + 1537, + 9, + -8, + -20758, + -3 + ] + ], + [ + [ + 30927, + -3155, + -15, + 11, + 0, + 7, + -58 + ], + [ + -21246, + 12412, + -13, + 55, + -1, + -47, + -155 + ], + [ + -32443, + -15924, + -11, + 24, + 0, + -33, + 147 + ], + [ + -9739, + -2197, + -6, + 50, + 0, + 0, + 368 + ], + [ + 10306, + -11489, + -10, + -21, + -1, + 24, + -5 + ], + [ + -29870, + -3262, + 10, + 52, + 0, + 54, + 110 + ], + [ + 27995, + 14958, + 4, + -12, + 0, + -11, + -342 + ] + ], + [ + [ + -26, + 1, + -30, + -782, + -1, + 122, + -45 + ], + [ + 0, + 0, + 31, + -579, + -1, + 462, + -463 + ], + [ + -21, + -8, + -12, + -504, + -1, + -937, + 402 + ], + [ + 20, + 0, + -28, + 483, + -1, + -1814, + 140 + ], + [ + -5, + -4, + 29, + -838, + -1, + 358, + -168 + ], + [ + 19, + -8, + -6, + -724, + -1, + -154, + 480 + ], + [ + -22, + 5, + 1, + -40, + 0, + -700, + -614 + ] + ], + [ + [ + 1172, + -1609, + 3048, + 41, + 15, + -41, + 0 + ], + [ + 1567, + -1509, + -1589, + -4, + 4, + 183, + 1 + ], + [ + -44, + -1345, + -2541, + 38, + -2, + 134, + 0 + ], + [ + 1281, + -1154, + -2698, + 29, + -3, + 323, + -2 + ], + [ + -935, + 1884, + 2815, + -56, + 10, + -445, + -2 + ], + [ + 1630, + -1532, + -1633, + -47, + 3, + -454, + -1 + ], + [ + -712, + 609, + -29, + -40, + -2, + -43, + -1 + ] + ], + [ + [ + 17, + -90, + -5452, + 1, + -4069, + -2802, + -2 + ], + [ + 101, + 105, + 5836, + -2, + -794, + -3406, + 1 + ], + [ + -84, + -44, + -1496, + 1, + 3318, + 5242, + -1 + ], + [ + 163, + 189, + 783, + 0, + 6710, + 5545, + -1 + ], + [ + 110, + -28, + -11514, + -1, + 7830, + 7502, + 1 + ], + [ + 251, + 37, + 8439, + -2, + -3298, + -5363, + 1 + ], + [ + 58, + 221, + -2747, + -1, + 2881, + 1112, + -1 + ] + ], + [ + [ + -47, + 420, + -218, + -40, + -29900, + -6, + -20 + ], + [ + -109, + -14567, + 163, + -41, + 3629, + -7, + 28 + ], + [ + -67, + 8175, + 72, + 34, + 8463, + 0, + 17 + ], + [ + 80, + -3935, + 226, + 62, + 14531, + 6, + -26 + ], + [ + 10, + 4948, + 218, + -49, + 20058, + -7, + -10 + ], + [ + 49, + -6850, + 171, + 55, + -22359, + -4, + -28 + ], + [ + 53, + 12665, + 52, + -48, + -21382, + -8, + -1 + ] + ], + [ + [ + 14487, + -45, + 2848, + -8, + 14, + 1373, + 10 + ], + [ + -1450, + -21, + -574, + -9, + -211, + 2090, + 97 + ], + [ + 22890, + -22, + -1465, + -15, + -232, + 701, + -60 + ], + [ + 15300, + -58, + -723, + -8, + -6, + -3886, + -21 + ], + [ + 18901, + 45, + -2000, + -3, + 194, + -298, + 11 + ], + [ + -10387, + 43, + 1077, + 14, + 286, + -1088, + -45 + ], + [ + -26979, + 15, + 2045, + -5, + -491, + 2666, + -71 + ] + ] + ] + ] + ] + ] +}
\ No newline at end of file |