qfall-math 0.1.1

Mathematical foundations for rapid prototyping of lattice-based cryptography
Documentation
1
{"matrix":"[[1136, 3460, 245, 3778, 2566, 3900, 1243, 566, 3461, 815, 1020, 1589, 3845, 1498, 3646, 470, 3039, 2346, 2956, 3088, 4035, 1621, 1758, 3029, 3521, 2020, 3542, 3123, 1720, 2302, 988, 934, 2239, 1594, 2183, 1144, 2109, 3391, 4033, 2895, 331, 1019, 1112, 613, 3899, 3030, 3474, 3753, 864, 1379, 765, 1851, 413, 2438, 3944, 832, 104, 118, 1650, 1760, 1287, 2406, 3486, 3150, 412, 2290, 1994, 3535, 1298, 1596, 3598, 318, 1354, 2282, 2216, 1295, 225, 896, 18, 537, 2660, 2061, 1162, 2033, 3218, 1418, 1988, 3506, 3736, 488, 3738, 1525, 502, 2615, 940, 2830, 3359, 3196, 552, 2705, 1275, 2312, 1523, 32, 3561, 133, 1186, 2334, 356, 2140, 1088, 1246, 23, 1851, 2875, 297, 2214, 3754, 670, 1831, 3200, 1463, 259, 851, 998, 892, 2648, 3495, 194, 146, 2785, 660, 1994, 1639, 2140, 3972, 2371, 331, 1432, 2455, 195, 1936, 855, 1034, 3786, 134, 2363, 2684, 249, 2994, 3079, 968, 3215, 883, 283, 63, 368, 1864, 1934, 2945, 2505, 777, 3198, 3738, 1150, 1816, 621, 715, 1352, 136, 744, 3742, 2698, 614, 222, 2733, 3205, 73, 3631, 3344, 3626, 3694, 1042, 3173, 209, 3047, 2717, 2014, 658, 1967, 2148, 3238, 1228, 3287, 1610, 4074, 1409, 3468, 4090, 4019],[3947, 3224, 3095, 2736, 3781, 2846, 4005, 1296, 1115, 1890, 577, 3577, 2239, 3956, 1775, 1011, 3547, 3034, 2112, 3073, 807, 212, 1146, 3341, 1549, 195, 3754, 1863, 1385, 916, 2096, 1019, 1651, 2441, 1695, 2522, 4046, 3074, 2767, 1094, 2601, 3179, 1302, 2901, 1678, 2384, 287, 2263, 188, 846, 711, 3913, 2373, 2321, 2399, 652, 3590, 1552, 1373, 4058, 813, 2322, 1513, 724, 636, 182, 2808, 93, 1805, 1955, 2303, 2778, 3412, 1805, 2691, 4037, 3949, 3165, 3080, 3911, 3970, 1480, 585, 3943, 955, 1485, 159, 1187, 1244, 217, 4, 2651, 437, 1185, 1155, 1298, 3128, 3570, 500, 2521, 3571, 3812, 3873, 1660, 1859, 1667, 3799, 2578, 2359, 87, 691, 2740, 161, 2765, 2608, 1847, 1292, 527, 1295, 1780, 1418, 3603, 354, 315, 1337, 3489, 908, 667, 2766, 1193, 4071, 3408, 2472, 3553, 2678, 1074, 451, 4085, 2696, 1093, 789, 3040, 1352, 2264, 1784, 1662, 1540, 1044, 3451, 1437, 1333, 1038, 2908, 2259, 3407, 2772, 989, 1237, 1601, 1366, 3306, 1051, 2201, 1218, 1487, 1345, 1965, 435, 755, 248, 2224, 3501, 3039, 3787, 3789, 2800, 485, 2303, 2083, 1723, 1269, 148, 1802, 141, 725, 568, 1501, 580, 2981, 695, 967, 651, 3037, 1141, 3481, 3149, 3791, 1470, 1666, 1617],[2852, 90, 126, 2260, 3534, 450, 3683, 3303, 3464, 2820, 621, 3197, 3951, 2109, 3480, 2627, 1342, 1541, 683, 3212, 1744, 1606, 1652, 2000, 514, 3873, 468, 3653, 1144, 1815, 21, 2172, 2379, 1251, 2058, 2878, 1717, 147, 510, 3278, 1657, 182, 468, 3870, 3662, 3398, 1561, 3719, 4027, 2193, 3084, 872, 3069, 405, 480, 490, 390, 1919, 1319, 1418, 2417, 2492, 1727, 3029, 258, 1478, 2532, 1259, 4003, 3224, 365, 2402, 145, 1538, 409, 408, 1261, 1929, 1098, 1528, 366, 3791, 2784, 1573, 3823, 3147, 3730, 4054, 1433, 15, 2844, 3531, 2630, 1954, 547, 2837, 2432, 1512, 3897, 880, 3889, 1133, 1505, 3280, 638, 52, 2405, 2570, 3369, 272, 3378, 4082, 3166, 1853, 746, 3640, 3641, 3648, 238, 3101, 2347, 2560, 3755, 3612, 3986, 1356, 1570, 1673, 1722, 1434, 3705, 1932, 2901, 692, 2887, 2942, 3552, 3725, 3682, 251, 706, 41, 2313, 2554, 1594, 1785, 3138, 2452, 1204, 3386, 2836, 3000, 2706, 663, 940, 2218, 676, 3923, 1452, 3061, 674, 4039, 3627, 3800, 2403, 2866, 2490, 1777, 365, 1704, 3271, 605, 717, 778, 2251, 886, 3187, 3101, 2345, 3259, 4051, 3301, 988, 398, 1579, 1990, 679, 2891, 1969, 1790, 3913, 2302, 3841, 734, 633, 1128, 2074, 2880, 3721, 1609],[1177, 442, 1827, 3043, 1965, 2556, 655, 3297, 1380, 2915, 2456, 1636, 1895, 2857, 787, 2813, 1765, 3104, 2444, 2144, 2567, 2580, 1014, 1177, 2825, 302, 2215, 3517, 319, 1107, 3036, 618, 2395, 1555, 1515, 972, 3392, 471, 2554, 2629, 367, 2224, 2901, 717, 716, 3595, 69, 692, 2902, 3598, 3899, 1352, 3894, 612, 62, 2226, 3407, 2596, 634, 884, 71, 2423, 91, 3737, 1224, 2240, 1112, 3442, 696, 18, 1252, 2059, 1958, 3260, 3802, 2296, 2830, 1895, 3665, 2429, 2391, 2587, 3487, 337, 379, 1733, 3762, 752, 2779, 2401, 3593, 3205, 1506, 341, 3715, 2447, 1415, 372, 3511, 3027, 2574, 389, 1209, 3545, 2108, 2837, 909, 1864, 2353, 3077, 2111, 3619, 1871, 1778, 2028, 3663, 110, 2698, 1566, 901, 1618, 104, 3943, 1563, 539, 1861, 2543, 2910, 683, 3848, 2269, 623, 3916, 2449, 2270, 719, 3650, 155, 674, 436, 2260, 2450, 1294, 3181, 1765, 3210, 483, 4081, 2026, 3674, 3872, 2864, 3710, 3536, 2914, 726, 521, 2964, 232, 3644, 1096, 2655, 1546, 807, 1485, 613, 3536, 2925, 1577, 943, 2731, 2782, 1761, 345, 3771, 2866, 1193, 774, 3233, 1368, 1059, 238, 2147, 2857, 2591, 177, 3247, 3225, 3201, 2581, 924, 1799, 3978, 1222, 4034, 1444, 1199, 1397, 1080, 875],[2152, 1154, 194, 3217, 1095, 529, 3733, 903, 1638, 3291, 1370, 3437, 139, 1658, 264, 1895, 1010, 1385, 1229, 3350, 421, 1403, 2051, 3481, 1999, 3042, 2515, 3704, 1813, 2412, 356, 165, 3316, 2416, 2797, 1226, 3725, 2334, 3560, 4094, 716, 100, 825, 3093, 2535, 421, 3798, 1866, 3671, 2317, 2780, 3270, 1905, 3760, 4021, 1408, 1739, 1916, 2140, 3696, 3328, 3056, 333, 488, 734, 3978, 2164, 3347, 580, 872, 437, 1380, 7, 2393, 3686, 2736, 2258, 3823, 2234, 2633, 3471, 1292, 2693, 1922, 3301, 1341, 927, 2944, 2904, 3351, 3877, 1644, 3388, 2665, 2597, 3914, 3001, 3048, 3056, 3075, 3648, 1234, 365, 1556, 1065, 3543, 1099, 2243, 3227, 710, 1885, 1153, 3159, 739, 2363, 2935, 3035, 3425, 2765, 3088, 79, 452, 3705, 3762, 1250, 1623, 813, 523, 3425, 2238, 3402, 1319, 3901, 1819, 1960, 3539, 3230, 950, 1537, 1617, 1929, 1784, 2867, 1865, 3729, 3749, 3952, 2815, 2678, 3777, 611, 1910, 3800, 3386, 1933, 3251, 13, 1911, 2291, 51, 1562, 3836, 3539, 4077, 1232, 2903, 2256, 1359, 125, 2024, 1273, 2725, 1782, 3793, 3282, 642, 1639, 2647, 455, 1075, 3873, 1928, 2582, 2937, 3773, 2383, 2236, 227, 3701, 3932, 1870, 210, 2307, 100, 3198, 730, 1000, 903, 2604, 3067],[1801, 4085, 1962, 1561, 2221, 699, 2630, 2068, 2252, 1628, 1777, 3768, 2296, 1734, 694, 1009, 1652, 20, 262, 263, 42, 2090, 2455, 3189, 254, 1374, 4057, 3939, 3554, 605, 2990, 2880, 1316, 2501, 1506, 2913, 2170, 3310, 2808, 2481, 1945, 448, 3268, 3745, 1297, 1806, 4014, 1899, 3013, 879, 1185, 3709, 3184, 85, 440, 362, 1625, 2147, 1775, 3114, 2550, 1028, 2935, 3423, 1347, 809, 1897, 3445, 2077, 92, 512, 4030, 514, 1413, 3561, 3630, 845, 157, 381, 2102, 253, 449, 2765, 1709, 3986, 36, 1622, 1822, 3277, 1861, 3039, 2368, 3801, 2843, 937, 4004, 3198, 1380, 3385, 730, 3711, 3584, 1976, 1674, 3893, 878, 2024, 711, 3514, 3558, 3754, 1181, 2290, 1371, 440, 3404, 3956, 130, 1771, 479, 3889, 3287, 904, 3613, 1029, 877, 28, 550, 2447, 1234, 207, 692, 3834, 3106, 1378, 1595, 3893, 1876, 1286, 730, 1018, 998, 2813, 3839, 1742, 1610, 2445, 2760, 3378, 2774, 1089, 3042, 1382, 153, 1572, 983, 2395, 802, 1900, 3243, 455, 1349, 3311, 2763, 798, 526, 1414, 2563, 3426, 332, 908, 4028, 2582, 296, 2672, 3902, 3758, 614, 423, 1520, 1539, 3703, 2447, 1866, 585, 3252, 2299, 1233, 2310, 172, 2607, 3473, 3402, 1807, 1736, 1823, 1074, 334, 812, 334],[131, 3416, 3814, 195, 326, 551, 3735, 463, 602, 3160, 240, 2139, 1158, 80, 2296, 1268, 761, 655, 3775, 3292, 1645, 1397, 2452, 1829, 3847, 3110, 2407, 2635, 4006, 823, 575, 1074, 923, 2813, 3197, 792, 2808, 130, 1189, 30, 33, 3606, 3580, 2128, 2003, 1708, 1441, 111, 1984, 1629, 949, 2494, 2130, 176, 874, 1738, 2649, 2592, 757, 573, 3384, 508, 152, 3596, 2626, 607, 343, 1287, 3767, 3622, 1072, 2875, 3961, 2975, 2062, 2458, 1095, 3849, 417, 2309, 2189, 3202, 3225, 322, 1595, 3693, 1087, 1186, 2639, 2456, 379, 2991, 1380, 2228, 2473, 3801, 2697, 3488, 483, 1920, 961, 1257, 1589, 2936, 3607, 2311, 1273, 835, 3847, 303, 3282, 3576, 3089, 203, 3496, 1372, 697, 1088, 671, 1355, 3156, 1970, 1494, 1239, 1749, 63, 3965, 3962, 1731, 2188, 3938, 529, 2892, 3703, 1977, 64, 3390, 1979, 791, 3400, 751, 3338, 4067, 1321, 218, 3299, 526, 3142, 1188, 2500, 2407, 3316, 2536, 1944, 27, 3273, 1046, 2587, 2733, 2598, 1620, 578, 2660, 3983, 2819, 3825, 976, 3928, 1110, 1877, 772, 2673, 569, 3345, 1261, 3607, 3016, 3136, 1015, 1763, 2519, 4085, 3387, 1504, 2355, 554, 2243, 3982, 2318, 333, 1462, 3999, 1854, 2093, 3850, 2577, 3061, 355, 3786, 3023],[740, 3310, 3555, 839, 3835, 4092, 2193, 1805, 3123, 1174, 1097, 1513, 1015, 2692, 3092, 1155, 1987, 2280, 687, 950, 2255, 294, 3962, 3607, 1028, 90, 2734, 331, 3854, 3742, 1619, 1168, 36, 3649, 271, 3733, 1305, 2671, 2895, 400, 1244, 1049, 1836, 3720, 1094, 729, 755, 1203, 1472, 2079, 981, 3561, 3773, 512, 612, 1263, 3697, 1685, 67, 662, 362, 439, 1766, 50, 2745, 2415, 2801, 3128, 1130, 3366, 1254, 2800, 3434, 43, 3302, 3977, 595, 2661, 1174, 934, 1269, 2003, 1252, 368, 4049, 2047, 804, 3846, 1296, 2047, 1032, 1699, 585, 2481, 1361, 493, 2270, 1835, 2016, 1967, 1103, 2451, 1565, 3243, 1115, 2201, 2600, 2032, 412, 3165, 3376, 1648, 3739, 3162, 543, 1756, 2589, 1185, 1447, 2121, 128, 1943, 361, 675, 1514, 2650, 441, 513, 2294, 1757, 2101, 2333, 3611, 1158, 3177, 1692, 2908, 1864, 636, 3029, 1006, 2309, 1564, 3741, 3494, 2303, 1996, 1926, 3135, 2997, 1141, 502, 704, 302, 759, 1363, 4005, 3834, 1396, 116, 1277, 3085, 2508, 2099, 454, 1621, 3158, 3, 2705, 621, 2102, 1812, 3566, 1266, 1866, 2414, 1237, 2917, 2018, 2058, 3813, 752, 1710, 318, 2937, 3734, 2258, 4062, 642, 2057, 2185, 198, 1204, 136, 3323, 550, 1332, 15, 1797, 46],[791, 1350, 1028, 3391, 1406, 145, 3862, 1493, 551, 3799, 3907, 2434, 4032, 1180, 943, 1349, 3820, 3882, 3374, 280, 1284, 660, 817, 338, 3742, 3228, 1552, 2928, 2635, 2326, 666, 3526, 3, 591, 2587, 3798, 1706, 3072, 32, 3269, 2992, 778, 3923, 41, 3575, 3030, 2070, 2207, 3806, 830, 2957, 2310, 2759, 535, 3463, 3298, 1858, 588, 188, 3497, 2149, 1823, 3639, 3853, 1147, 1291, 476, 1210, 3783, 926, 3344, 3491, 1496, 3699, 2072, 778, 830, 584, 2823, 4024, 2100, 2014, 3945, 1827, 669, 2456, 1116, 2606, 3734, 45, 168, 798, 521, 1121, 1597, 2890, 610, 2355, 628, 1599, 1576, 1706, 367, 967, 2140, 728, 3936, 3464, 2032, 22, 564, 241, 3644, 773, 1505, 3120, 3910, 4059, 3268, 650, 1461, 1762, 376, 4024, 1131, 926, 1267, 1421, 1874, 2483, 4047, 210, 4054, 2937, 2493, 2045, 1767, 2274, 487, 733, 2912, 2331, 1977, 1862, 2367, 1896, 1643, 2965, 3194, 3747, 1525, 1384, 3092, 2249, 1120, 3770, 1541, 3472, 1830, 3668, 252, 3834, 1764, 3230, 1390, 3066, 685, 2253, 652, 760, 202, 798, 984, 3560, 3440, 915, 3634, 3069, 2809, 1422, 3992, 1119, 1546, 1598, 2465, 111, 2748, 1729, 1807, 2831, 1768, 1540, 2698, 1755, 1951, 1902, 1993, 2415, 1193, 1421],[1658, 1580, 3356, 1197, 3549, 3425, 1911, 621, 1847, 1353, 326, 2259, 705, 762, 3018, 3872, 3338, 3655, 3072, 770, 2357, 3733, 2920, 2451, 3290, 2128, 2816, 3473, 2621, 3682, 272, 3373, 2878, 797, 3036, 10, 1655, 2880, 3500, 3258, 46, 2753, 1731, 2941, 690, 3829, 2271, 4084, 483, 3192, 414, 778, 2455, 2881, 1629, 3262, 3034, 2327, 2926, 3274, 3319, 1192, 3058, 2803, 3455, 3166, 3807, 51, 1377, 876, 887, 2309, 3872, 1052, 1126, 197, 650, 3089, 3968, 872, 3971, 1965, 1157, 3412, 489, 2197, 241, 2889, 1364, 818, 2712, 1901, 1619, 782, 3681, 3950, 2692, 880, 465, 2948, 1361, 3194, 55, 2066, 383, 1496, 3176, 3165, 1393, 672, 339, 453, 3806, 2551, 27, 1293, 3695, 1100, 1854, 878, 1468, 491, 1612, 2510, 2858, 2056, 1159, 3050, 2633, 2529, 33, 1982, 1885, 772, 1952, 3752, 377, 3734, 136, 3498, 795, 1015, 836, 1361, 2863, 2031, 232, 1579, 697, 3822, 541, 3737, 2729, 1834, 1049, 3616, 3390, 339, 1418, 1419, 3045, 1645, 1830, 871, 3774, 1259, 874, 2709, 386, 2232, 1987, 2368, 2428, 1855, 3536, 1603, 1461, 798, 1695, 1456, 1378, 2912, 2283, 639, 3754, 2069, 3224, 2858, 3944, 2698, 195, 940, 97, 2185, 3400, 593, 1157, 1453, 1506, 284],[697, 1796, 3700, 946, 344, 1177, 3450, 2688, 2138, 763, 3492, 1081, 413, 456, 753, 4082, 3035, 1651, 1521, 3082, 309, 3212, 3501, 2195, 751, 1662, 2564, 23, 227, 2109, 3067, 1561, 2270, 3606, 851, 1414, 1753, 3602, 2114, 2900, 83, 3871, 1946, 392, 2690, 1252, 1562, 3207, 2668, 188, 1890, 1282, 4086, 2530, 1024, 1611, 2757, 1353, 994, 425, 1280, 3322, 3405, 2766, 863, 3968, 725, 4049, 110, 2086, 2902, 459, 3994, 3850, 3563, 2601, 246, 1164, 198, 1932, 1643, 3020, 3526, 83, 2741, 3177, 1952, 220, 2243, 3935, 1720, 3287, 3067, 27, 3165, 909, 2907, 1276, 227, 3389, 24, 4066, 4008, 2449, 671, 959, 2728, 1175, 2829, 1049, 1568, 2545, 630, 582, 28, 890, 1763, 2251, 3820, 555, 1984, 786, 488, 3006, 853, 1564, 2788, 2628, 2342, 561, 3601, 1280, 2207, 1828, 2433, 1379, 1680, 3519, 3548, 762, 565, 3667, 186, 181, 1414, 2739, 546, 868, 3180, 3714, 1036, 863, 762, 2434, 1334, 618, 600, 1323, 1282, 738, 3381, 1859, 3816, 1641, 3486, 3984, 2465, 2674, 2786, 2166, 1487, 2640, 2405, 3409, 428, 3339, 2817, 2604, 3984, 357, 1523, 1471, 2058, 1060, 772, 2917, 4007, 1275, 614, 2068, 2180, 2315, 818, 933, 18, 438, 2632, 1802, 444, 447],[1880, 996, 918, 2086, 2423, 2644, 3853, 2918, 1022, 3410, 2753, 2610, 98, 3053, 2343, 2295, 782, 2978, 1138, 4003, 2993, 2124, 2851, 3886, 3733, 3092, 1139, 3679, 1237, 139, 2852, 2718, 348, 351, 2442, 201, 2446, 4061, 3051, 41, 1071, 2447, 2352, 4022, 1545, 1966, 1900, 2106, 354, 1019, 3455, 1077, 3034, 2111, 2535, 3586, 3490, 4028, 3, 3878, 1967, 3887, 1367, 3654, 1170, 3912, 2562, 1281, 1867, 1003, 2610, 1123, 3381, 3292, 1892, 647, 3673, 4088, 2034, 664, 1505, 3160, 219, 2404, 2392, 604, 63, 645, 3935, 621, 1136, 2677, 2319, 1317, 2043, 2073, 4008, 2627, 3962, 2496, 691, 588, 843, 3929, 2917, 3422, 878, 246, 1487, 2682, 3633, 263, 3995, 368, 445, 634, 1440, 903, 525, 148, 384, 2884, 1442, 982, 3698, 3782, 438, 3777, 1461, 922, 2628, 1025, 1394, 1393, 515, 2516, 311, 1297, 2216, 3968, 3872, 284, 3183, 970, 1786, 2887, 3267, 1355, 1781, 1293, 3076, 1132, 3869, 3094, 1662, 1533, 1177, 1818, 1499, 2570, 1452, 1596, 62, 3342, 2993, 212, 3566, 3157, 3465, 2018, 1761, 2550, 3688, 3580, 1375, 4044, 955, 1004, 825, 3895, 136, 3198, 749, 2167, 3879, 1835, 910, 1176, 2833, 3227, 3368, 821, 1323, 1766, 1962, 47, 3249, 550, 28, 3089],[580, 1918, 2504, 2043, 944, 2077, 630, 1806, 21, 3730, 879, 917, 656, 3557, 2544, 1999, 1027, 1471, 604, 416, 1268, 2065, 594, 4059, 1995, 1993, 1020, 3432, 2547, 126, 3178, 2849, 897, 798, 807, 1050, 2820, 3981, 3532, 197, 468, 1780, 2050, 2844, 3992, 3197, 185, 2377, 1274, 2740, 68, 2600, 150, 239, 3731, 1239, 4095, 825, 1258, 757, 1655, 3564, 3395, 3861, 329, 3698, 111, 3394, 3441, 3343, 3218, 1296, 2092, 1990, 2747, 3527, 1806, 3380, 2166, 3126, 799, 1213, 1036, 232, 583, 1830, 389, 3204, 2079, 739, 2149, 899, 2393, 3946, 3421, 3712, 3521, 2913, 3786, 3984, 3466, 3796, 2062, 4042, 3546, 3764, 3100, 2552, 1227, 1195, 3563, 3920, 8, 1875, 379, 2925, 2678, 1784, 2457, 2641, 3925, 2571, 47, 2534, 1262, 690, 234, 1035, 4037, 1629, 1803, 1915, 3651, 614, 3928, 2061, 985, 2504, 981, 3561, 542, 3369, 2611, 996, 4082, 192, 3792, 1110, 3669, 154, 3132, 3013, 2694, 796, 3236, 3040, 2043, 3420, 1047, 3137, 1623, 890, 2744, 3702, 4069, 1301, 787, 2668, 3865, 2229, 2601, 3105, 1538, 1930, 1557, 3167, 648, 3198, 63, 3408, 1024, 4064, 928, 3820, 2223, 2817, 2220, 1494, 1481, 2976, 571, 1805, 3350, 1048, 169, 935, 361, 763, 3097, 3409],[3676, 3497, 2926, 3702, 1493, 2916, 3442, 703, 487, 4035, 1639, 949, 55, 810, 3230, 245, 2787, 155, 694, 2403, 1256, 2936, 3811, 2487, 3002, 3328, 1177, 3338, 1616, 3887, 660, 3336, 1342, 3758, 3971, 3053, 434, 1871, 3029, 2873, 2241, 3232, 3841, 3940, 2428, 2651, 3605, 1, 2530, 1833, 729, 2655, 1621, 687, 2389, 3287, 4086, 257, 395, 215, 3135, 3393, 739, 3933, 2482, 3902, 2789, 2074, 1492, 418, 1708, 3083, 4017, 2879, 1747, 158, 2839, 159, 2911, 3951, 2160, 3568, 920, 273, 933, 3982, 506, 3130, 3144, 1439, 1351, 2267, 2517, 1956, 3852, 3983, 190, 92, 502, 2384, 688, 1175, 2534, 2199, 1021, 1694, 164, 3782, 512, 3044, 2281, 3998, 261, 1120, 1003, 3322, 1122, 3847, 2788, 669, 3311, 2473, 2523, 1176, 373, 1049, 1445, 1335, 3943, 1431, 3809, 99, 1960, 1059, 376, 1955, 2895, 693, 2216, 1497, 3786, 905, 2482, 1492, 1256, 414, 1603, 2532, 1662, 529, 1475, 3992, 242, 3390, 761, 680, 2170, 3612, 2156, 1199, 3735, 88, 3340, 3356, 3607, 3776, 730, 811, 120, 2995, 2033, 928, 381, 3385, 2114, 1881, 2129, 803, 1041, 2509, 1701, 2165, 2920, 2832, 1964, 720, 3389, 546, 2343, 173, 3035, 1862, 2104, 464, 54, 3786, 1682, 3921, 376, 1396],[2134, 851, 3433, 1763, 1918, 3569, 1905, 3731, 1310, 3693, 2571, 1717, 1149, 2792, 2856, 3116, 3678, 3931, 2670, 1067, 2546, 2766, 3829, 2568, 2647, 704, 1250, 1253, 2915, 470, 3709, 3080, 3861, 1000, 846, 1836, 1042, 430, 3204, 3605, 3428, 210, 962, 2207, 3891, 1195, 1973, 3162, 87, 3518, 1117, 3808, 2353, 2101, 2159, 5, 147, 2063, 909, 3660, 893, 3800, 1561, 1518, 1218, 926, 2617, 2676, 1242, 222, 3984, 1261, 3248, 3444, 3506, 738, 3467, 2767, 2278, 1963, 1512, 3476, 2197, 510, 3806, 3801, 1480, 1999, 1266, 2719, 2625, 2910, 1620, 1403, 3219, 1721, 20, 324, 1337, 2489, 3265, 2977, 3838, 48, 150, 2159, 3424, 3688, 2083, 2355, 2847, 1908, 444, 57, 3542, 1603, 3417, 1467, 1303, 540, 2673, 2336, 618, 2109, 3470, 2141, 2323, 3950, 3085, 1870, 2363, 1522, 1638, 1529, 1909, 2617, 1748, 2858, 4090, 1642, 4011, 461, 717, 2887, 1118, 1627, 547, 2267, 2824, 3328, 2848, 157, 47, 3195, 1291, 277, 3190, 1940, 678, 1697, 352, 2426, 4011, 437, 1858, 1578, 841, 1855, 3037, 553, 811, 2508, 3674, 2750, 1919, 638, 454, 2706, 982, 763, 2866, 3910, 3511, 399, 433, 1873, 59, 800, 2601, 1307, 2879, 441, 3881, 1205, 3927, 572, 3272, 3116, 548, 151],[3381, 3905, 1186, 4021, 1250, 3445, 550, 479, 3630, 3050, 3088, 2338, 3317, 3648, 261, 1981, 2997, 3035, 2213, 40, 4043, 2777, 640, 68, 3127, 236, 238, 1606, 763, 2178, 2255, 1495, 4093, 2100, 2479, 2629, 3610, 33, 2052, 3335, 3876, 4006, 4090, 3655, 2729, 165, 3280, 2011, 753, 2628, 6, 1385, 259, 268, 1156, 3789, 2704, 67, 2297, 2701, 170, 3265, 3275, 557, 2729, 813, 2598, 1665, 1100, 2082, 1994, 258, 2671, 1842, 1584, 419, 3293, 3327, 3901, 3766, 3292, 4091, 3036, 3255, 3446, 741, 128, 791, 1214, 3017, 2366, 329, 1049, 1620, 3917, 4029, 1917, 3344, 1117, 4057, 3496, 2442, 602, 1989, 3781, 928, 3153, 3410, 3592, 899, 1976, 825, 2196, 2740, 929, 1571, 1600, 169, 3430, 1327, 1772, 666, 3785, 3652, 653, 1786, 3078, 777, 960, 1443, 1743, 1359, 1314, 2583, 2134, 1950, 3842, 3643, 3007, 718, 3760, 1570, 138, 3536, 2655, 3307, 2338, 2341, 2291, 2918, 472, 532, 590, 2948, 1125, 874, 1207, 3872, 2011, 375, 1675, 1085, 2644, 584, 1068, 3518, 969, 3744, 3019, 2335, 1604, 3627, 1604, 1157, 2424, 831, 1142, 430, 2177, 75, 344, 99, 1837, 2245, 2438, 4032, 564, 3423, 3919, 1808, 2910, 3913, 4002, 4009, 172, 1558, 2071, 1019, 3825, 1519],[4025, 3345, 510, 2102, 640, 3678, 3336, 3686, 1906, 39, 1554, 1282, 4060, 1603, 1626, 2655, 2476, 2570, 1726, 3893, 312, 2395, 221, 734, 2246, 1380, 1050, 739, 1271, 482, 854, 73, 848, 955, 1746, 623, 998, 1148, 3142, 4019, 2108, 815, 3812, 3576, 3365, 2064, 2597, 1548, 2778, 1083, 3365, 3300, 2550, 2100, 220, 1134, 496, 623, 3205, 3903, 870, 2430, 3449, 2626, 2902, 2975, 787, 3472, 2574, 2070, 2547, 3955, 1431, 1469, 1224, 2896, 3566, 2582, 3750, 83, 2974, 2214, 3978, 3016, 3551, 1764, 1347, 2438, 1431, 1736, 1248, 79, 2865, 2950, 3592, 2349, 3012, 3797, 2968, 156, 3633, 1104, 2700, 853, 2116, 2584, 2674, 2174, 3877, 1166, 1914, 3528, 2091, 637, 2912, 2577, 1288, 164, 871, 2042, 2273, 981, 1081, 2922, 3139, 3309, 1199, 1285, 769, 10, 3031, 3716, 3040, 210, 3052, 1497, 1199, 1779, 1144, 3053, 3546, 1747, 3849, 1112, 2034, 3760, 3541, 3890, 3802, 2913, 3700, 677, 1528, 1893, 786, 4002, 330, 2322, 2540, 3975, 3570, 2159, 3559, 3784, 1038, 241, 1879, 1168, 209, 3164, 3398, 770, 2827, 3252, 1019, 1033, 1489, 1671, 668, 590, 3902, 2495, 1541, 31, 139, 3206, 1925, 3350, 2931, 1123, 1532, 723, 2950, 2896, 932, 568, 278, 3080, 249, 2865],[3132, 1939, 2678, 3857, 147, 3174, 871, 2089, 286, 3835, 2428, 2873, 10, 549, 2981, 2926, 2755, 1002, 1720, 634, 1539, 69, 2620, 2272, 73, 1269, 285, 2566, 3550, 2009, 1015, 1782, 3823, 3921, 2473, 2093, 3493, 2356, 1653, 826, 2153, 2697, 1113, 35, 1981, 2578, 809, 3043, 1178, 2141, 4, 412, 3211, 443, 1089, 3225, 262, 794, 1560, 3966, 3458, 436, 773, 1045, 2759, 241, 1398, 173, 4095, 899, 3747, 42, 1326, 1922, 3353, 1940, 512, 528, 1347, 2231, 3811, 2926, 2534, 696, 2001, 2222, 2754, 3637, 3323, 1265, 3589, 1259, 2225, 40, 2958, 2661, 2505, 1799, 3422, 871, 4059, 3982, 442, 279, 1198, 1524, 2006, 651, 2625, 538, 678, 2954, 3974, 3238, 3451, 3507, 263, 2189, 466, 3879, 1018, 2961, 3341, 2565, 1258, 2776, 1891, 2008, 1442, 1734, 2012, 3759, 1065, 659, 2594, 562, 41, 2203, 3762, 3813, 3829, 1518, 3260, 890, 1950, 3766, 967, 1781, 1285, 1865, 1498, 1143, 3381, 1873, 3002, 1580, 3376, 237, 1265, 1501, 1433, 2709, 3315, 611, 3008, 3910, 1187, 3479, 223, 134, 3738, 641, 1706, 254, 38, 3049, 3831, 1851, 666, 2724, 3236, 1193, 2059, 1697, 2244, 1727, 3197, 3732, 200, 3690, 289, 2900, 723, 1916, 1535, 3091, 605, 1774, 255, 811],[3138, 2468, 1170, 1123, 3726, 3743, 1666, 3098, 2846, 2357, 1965, 3814, 2049, 431, 2930, 3407, 906, 3165, 1111, 468, 1375, 1251, 214, 3184, 2417, 512, 632, 1584, 1064, 566, 3441, 3633, 3619, 1973, 4015, 1914, 927, 1490, 1134, 2242, 1025, 2127, 3770, 3699, 2479, 948, 1088, 940, 2354, 2809, 1712, 3360, 2786, 2742, 3531, 1104, 3637, 2953, 3747, 548, 3526, 3710, 2303, 3238, 2356, 2648, 2574, 706, 818, 1618, 3671, 769, 1137, 1867, 342, 1739, 1321, 1831, 3262, 2012, 2179, 551, 2984, 3296, 2947, 3592, 3130, 407, 1357, 1928, 3464, 1474, 921, 2463, 2549, 853, 2274, 927, 1808, 1995, 2449, 2264, 947, 3984, 929, 2808, 3795, 739, 2130, 3822, 3940, 2859, 3785, 1793, 3704, 2760, 207, 794, 1157, 3440, 217, 991, 1084, 247, 1761, 1948, 3406, 2282, 2761, 1742, 3184, 3115, 2490, 1497, 1053, 1930, 3213, 3581, 1134, 2206, 2089, 1036, 1382, 408, 3349, 1832, 1569, 1071, 1555, 3136, 3038, 513, 1146, 1707, 3195, 3186, 1600, 1892, 233, 1422, 556, 2056, 2758, 36, 3450, 3402, 470, 1194, 2174, 3337, 1177, 736, 1758, 2684, 2183, 921, 252, 2968, 3395, 1056, 1961, 2037, 2429, 2003, 3536, 3512, 428, 973, 771, 1627, 426, 2676, 2204, 3529, 3467, 964, 3139, 1905, 2781, 2602],[109, 2737, 2798, 1543, 1775, 3046, 2196, 652, 2817, 2213, 3345, 2958, 199, 2063, 2065, 2376, 194, 2968, 1795, 1419, 1768, 1592, 293, 232, 3851, 1627, 484, 1224, 2579, 2158, 2273, 832, 2774, 3986, 1535, 791, 1061, 3387, 3771, 2950, 1179, 2320, 2638, 728, 3945, 2109, 3444, 2922, 185, 1757, 3310, 3332, 707, 1231, 1331, 2799, 2761, 1396, 3058, 1475, 176, 1417, 2096, 2967, 779, 980, 3212, 2873, 2006, 2110, 1993, 224, 2443, 911, 1460, 677, 1709, 1470, 1143, 2179, 100, 2593, 2387, 1662, 3827, 3400, 164, 2633, 594, 375, 2122, 2479, 2596, 3394, 1570, 1104, 1324, 3957, 1806, 2644, 3779, 191, 1192, 3939, 1842, 2034, 2769, 441, 2989, 3770, 2362, 3576, 703, 463, 124, 3566, 2509, 3421, 720, 431, 2980, 3543, 342, 2409, 2793, 142, 2920, 2101, 1027, 2861, 1942, 1593, 2862, 3938, 1651, 407, 1533, 753, 113, 3801, 2991, 2155, 2081, 1614, 3715, 3038, 1265, 1081, 3465, 2168, 1905, 3349, 2598, 1818, 694, 2821, 754, 82, 1799, 419, 663, 1827, 1208, 1929, 2176, 3659, 2245, 1902, 3213, 2552, 671, 448, 591, 1072, 1941, 4036, 2179, 3497, 3425, 1898, 825, 46, 2971, 2545, 1870, 1055, 2313, 3348, 2423, 1366, 2218, 2829, 3158, 538, 873, 3328, 3271, 3183, 2937, 575],[2988, 1053, 1789, 559, 543, 3980, 2715, 3423, 3480, 3375, 2480, 2919, 4052, 35, 3247, 756, 2906, 866, 2357, 2849, 119, 1662, 3684, 394, 1623, 822, 2435, 2113, 55, 4008, 603, 2699, 1701, 2964, 3797, 1153, 1412, 2401, 2961, 454, 2881, 882, 269, 2478, 3192, 2219, 3369, 3860, 2269, 734, 688, 902, 1038, 3632, 1135, 3875, 723, 795, 32, 1371, 78, 2290, 574, 1129, 2894, 2109, 702, 1617, 1990, 1991, 2598, 3740, 1571, 808, 2112, 3379, 751, 1920, 2681, 3793, 3848, 3604, 3865, 2647, 786, 256, 353, 3757, 299, 2929, 3295, 3017, 2601, 1107, 1923, 1143, 1003, 2024, 310, 140, 2556, 60, 1610, 1241, 617, 65, 1436, 2546, 2666, 1101, 3725, 1562, 1380, 2346, 2051, 340, 2566, 2124, 3202, 1030, 3657, 252, 1664, 1712, 944, 332, 2316, 2452, 3395, 1090, 3901, 1835, 797, 3867, 1838, 2649, 2001, 2104, 345, 3484, 127, 2230, 2346, 2231, 2397, 2331, 1522, 1961, 1968, 1905, 524, 3484, 3612, 1138, 2837, 2199, 3523, 1432, 3727, 1712, 154, 756, 544, 2537, 3596, 2151, 721, 3413, 1223, 279, 3410, 1677, 4085, 26, 3892, 2526, 3563, 2764, 3197, 49, 2520, 3324, 1671, 900, 2348, 1359, 2777, 2997, 1378, 1373, 1918, 554, 3154, 2706, 4081, 682, 2191, 1211, 1197, 3242],[898, 121, 973, 3529, 2125, 2165, 2124, 1912, 2248, 1955, 2559, 231, 2712, 1452, 1099, 3017, 2541, 460, 3070, 1281, 440, 2834, 209, 972, 4012, 3472, 3097, 3672, 1667, 3292, 3686, 60, 2417, 15, 1461, 1136, 1581, 202, 4089, 2017, 2931, 3055, 86, 1779, 3073, 516, 1765, 510, 2446, 1946, 2354, 3203, 2584, 2307, 2278, 206, 3267, 1346, 1365, 2373, 1895, 2625, 1491, 450, 1334, 1205, 1143, 1892, 1675, 3203, 1038, 3904, 3411, 3140, 2149, 1810, 3762, 721, 1687, 675, 540, 3307, 3322, 870, 1625, 1459, 1515, 865, 3043, 288, 1306, 2632, 750, 3386, 373, 2532, 3169, 2574, 3049, 1984, 2900, 2790, 408, 3668, 1558, 2589, 1674, 2337, 3683, 476, 1728, 3533, 831, 3345, 1768, 736, 127, 416, 3728, 2000, 2113, 3881, 4036, 2716, 3974, 1627, 69, 98, 3265, 3743, 369, 92, 33, 3358, 1943, 3788, 1734, 646, 3953, 1772, 468, 3665, 2610, 488, 4040, 1314, 1212, 1242, 1362, 3682, 627, 2342, 2310, 1257, 2529, 795, 1925, 2210, 287, 3386, 3431, 2346, 471, 3445, 2251, 2065, 1581, 3594, 346, 1006, 1283, 694, 1308, 701, 2042, 2825, 2720, 3008, 3574, 3462, 1965, 1500, 3857, 1409, 213, 1455, 4095, 1185, 175, 1491, 3639, 3584, 3406, 3467, 265, 2068, 1235, 1374, 699, 3428],[1154, 340, 4033, 781, 1335, 2639, 892, 3868, 3814, 411, 1242, 627, 2868, 1830, 3419, 708, 2128, 3289, 3820, 153, 1963, 3686, 1480, 221, 1072, 2919, 1314, 3074, 741, 924, 1340, 3211, 1846, 1895, 1101, 1960, 3782, 773, 1618, 851, 902, 1150, 339, 2362, 32, 1686, 1509, 622, 1043, 271, 2703, 1358, 3879, 1565, 1559, 2641, 1379, 3651, 3842, 791, 2641, 52, 1476, 84, 1726, 1324, 1393, 2654, 1933, 3441, 693, 2210, 85, 3671, 1507, 1116, 2685, 2850, 3833, 2325, 4086, 2200, 3416, 1184, 726, 3091, 799, 3104, 3370, 3543, 3592, 3728, 1757, 1177, 113, 3910, 1336, 372, 2488, 269, 1398, 3575, 551, 3479, 2500, 3310, 199, 2649, 3982, 80, 2871, 2982, 1764, 1467, 1117, 3266, 445, 477, 1016, 2819, 1183, 3272, 1985, 1747, 2175, 925, 3484, 1816, 1205, 1435, 523, 544, 3400, 1691, 1745, 2883, 1983, 2264, 3791, 786, 1216, 1844, 1361, 1617, 25, 2874, 2146, 3252, 3647, 3554, 1511, 2794, 502, 471, 2687, 2279, 495, 1511, 1386, 3988, 170, 3488, 679, 743, 214, 1478, 4081, 656, 1750, 2726, 352, 83, 2649, 1881, 2531, 1768, 31, 1407, 2544, 2267, 1656, 818, 344, 1735, 2484, 3846, 359, 3439, 3272, 783, 184, 3773, 2821, 2905, 321, 4040, 3604, 1704, 2028, 1071],[2594, 3901, 2403, 700, 1587, 221, 3631, 628, 115, 1403, 3461, 1573, 801, 3508, 1762, 644, 817, 1159, 3488, 360, 3797, 3458, 1737, 3059, 2398, 834, 2391, 737, 2136, 3778, 3073, 3438, 3558, 549, 3162, 3641, 1026, 536, 3420, 2784, 461, 2596, 2834, 880, 4086, 1413, 3360, 2611, 2852, 1906, 3398, 761, 1981, 1279, 3443, 3646, 2166, 2363, 1867, 3393, 443, 2481, 1950, 4081, 4011, 4064, 3695, 3765, 2432, 1364, 1965, 3756, 3889, 2983, 3018, 1289, 2921, 1948, 1459, 2296, 3197, 717, 3428, 2806, 1680, 1973, 3620, 724, 55, 1653, 2472, 174, 3959, 2453, 2766, 3315, 293, 3096, 34, 2820, 310, 1800, 1017, 3714, 3342, 2301, 2114, 15, 3367, 374, 3397, 2177, 3453, 2702, 660, 3972, 3675, 560, 2805, 3717, 1184, 710, 503, 3986, 2706, 3668, 2412, 1513, 1784, 934, 3063, 3675, 782, 1979, 3051, 1036, 2279, 2805, 4086, 792, 2070, 2172, 2480, 886, 3937, 3638, 3256, 1253, 3392, 987, 2698, 2429, 2023, 472, 3502, 535, 647, 545, 643, 3345, 1565, 2617, 3583, 1639, 1543, 2475, 2900, 3017, 2822, 4072, 464, 1827, 3507, 3169, 3932, 2691, 4076, 1742, 3072, 12, 1123, 3038, 910, 3174, 76, 3559, 1849, 463, 3991, 1430, 61, 1914, 1523, 1461, 1403, 1824, 3588, 568, 2823, 3200],[780, 651, 851, 442, 1842, 2406, 3624, 2787, 450, 592, 1678, 1687, 908, 3609, 296, 3939, 704, 2157, 1484, 2340, 3063, 2232, 682, 1194, 3825, 3548, 404, 2062, 1231, 3880, 2713, 3764, 2675, 420, 149, 1850, 2548, 2865, 2462, 783, 2988, 3682, 2341, 795, 603, 3179, 522, 743, 2353, 1989, 2858, 537, 981, 3033, 2279, 2670, 3371, 2282, 4090, 4023, 3019, 3002, 2317, 314, 1480, 4026, 1921, 3965, 2491, 1128, 2851, 1545, 4093, 4045, 1679, 1534, 2459, 1397, 810, 1611, 3194, 9, 3854, 4000, 4062, 1727, 1982, 3188, 304, 1274, 1172, 1202, 497, 3156, 1991, 1499, 762, 3996, 156, 541, 4061, 277, 3629, 2446, 743, 1504, 3645, 1699, 2927, 3834, 2495, 600, 1351, 3724, 2500, 2761, 2599, 279, 3860, 540, 1309, 3878, 648, 1600, 2694, 2636, 2296, 2593, 57, 664, 2825, 868, 1713, 2431, 974, 1487, 904, 3068, 426, 466, 2697, 2026, 2106, 1809, 1851, 3213, 923, 3390, 3487, 91, 1155, 1357, 340, 1624, 1687, 3981, 171, 2919, 2150, 208, 3493, 3614, 20, 1368, 3007, 852, 1939, 561, 2840, 326, 2407, 778, 444, 1099, 3650, 2018, 73, 2791, 1596, 1900, 3546, 1084, 2876, 2705, 1148, 1123, 391, 2811, 1284, 193, 3123, 266, 1034, 3072, 4068, 16, 3601, 437, 1805, 3676],[3582, 3461, 2783, 3814, 3895, 1801, 3518, 2238, 565, 4078, 3587, 1488, 3010, 1949, 1664, 2413, 2333, 3552, 3469, 1264, 463, 3656, 1020, 2803, 2180, 1733, 2435, 1700, 1373, 3258, 3660, 1598, 2111, 2586, 1960, 3153, 245, 4016, 2577, 3519, 1337, 3619, 1933, 2999, 97, 1865, 2953, 1362, 3658, 776, 2897, 473, 1925, 61, 2919, 3452, 1707, 2736, 2650, 855, 912, 1661, 2541, 3145, 3265, 1706, 3080, 157, 3320, 1271, 2771, 714, 3370, 99, 780, 3864, 166, 65, 823, 3997, 1404, 1352, 3044, 2128, 3283, 1094, 1091, 759, 3177, 3578, 3248, 1978, 2564, 749, 1826, 514, 4054, 3158, 1007, 627, 3975, 2929, 807, 2107, 3335, 1207, 3997, 1229, 2205, 2023, 3390, 1158, 3538, 607, 3278, 3080, 2876, 3896, 110, 1993, 2486, 918, 3916, 3697, 2045, 1864, 1171, 3748, 3589, 151, 3583, 2182, 1323, 1785, 1393, 1886, 269, 413, 3489, 3624, 2802, 2860, 3666, 2273, 3262, 3304, 1997, 1104, 171, 494, 3326, 1406, 2788, 3460, 1952, 2173, 4052, 2484, 2695, 3447, 2753, 1372, 951, 2793, 2476, 1851, 2429, 1296, 53, 233, 2836, 170, 3492, 2794, 1850, 120, 139, 3827, 2940, 3253, 808, 2083, 3528, 2256, 2825, 3995, 2484, 1041, 3271, 1493, 2962, 2040, 1823, 3682, 2108, 3930, 1993, 2714, 3261, 2496],[1354, 2187, 1684, 2540, 1294, 2425, 3892, 544, 1473, 3835, 1317, 4011, 648, 718, 2357, 217, 416, 2970, 2508, 1162, 2781, 2450, 930, 719, 514, 1142, 2597, 1218, 3419, 2781, 1608, 3509, 3321, 1809, 3798, 728, 683, 1462, 1644, 1505, 3434, 2007, 2093, 3615, 3864, 257, 3050, 2847, 3726, 3133, 3321, 1836, 3603, 1759, 1830, 1727, 642, 2195, 195, 1338, 2896, 3553, 3913, 3829, 2252, 2072, 3180, 2463, 45, 2721, 1129, 738, 3571, 3781, 261, 2535, 591, 2032, 1123, 4001, 1027, 225, 995, 700, 2662, 1690, 1211, 3528, 2603, 1463, 2424, 2698, 2601, 2430, 2492, 3978, 2938, 576, 1507, 1564, 652, 1371, 3098, 2921, 3978, 1508, 1692, 743, 3029, 2467, 962, 834, 1964, 1020, 2120, 1496, 3634, 251, 1472, 2169, 326, 3653, 1590, 3715, 2297, 2530, 1681, 1895, 1425, 4088, 264, 3339, 3977, 3456, 1248, 791, 4006, 1967, 1104, 485, 3892, 3010, 573, 3884, 3639, 771, 1956, 2134, 612, 849, 3818, 1910, 3169, 1696, 3840, 3583, 2245, 719, 339, 2298, 161, 1349, 2306, 2304, 460, 677, 2314, 1649, 480, 522, 163, 1583, 3527, 1429, 1710, 1093, 1982, 3123, 3529, 2707, 4078, 3583, 1187, 3983, 2706, 3513, 3421, 436, 2268, 968, 2817, 3053, 3282, 3685, 993, 3809, 2051, 2197, 2448, 2513],[3725, 1238, 1668, 1258, 551, 823, 1153, 2467, 4070, 3932, 2010, 288, 1018, 101, 2142, 3388, 1497, 3479, 1212, 3987, 2119, 1829, 3548, 3178, 3224, 4031, 3409, 2294, 1301, 4062, 1752, 1528, 688, 2359, 3496, 3352, 3561, 2420, 3388, 4092, 2589, 2611, 476, 2285, 3570, 256, 1415, 4020, 818, 937, 2811, 1038, 2513, 2423, 1114, 3223, 679, 1401, 1650, 1600, 294, 3736, 1249, 2721, 1819, 3588, 1417, 1636, 419, 18, 4052, 2170, 947, 2438, 3460, 3104, 2239, 2524, 991, 3541, 123, 2593, 2659, 2668, 2553, 2032, 1053, 617, 2807, 748, 2867, 1652, 2079, 3991, 665, 572, 2857, 2662, 3462, 3825, 3377, 1167, 1099, 3715, 3615, 820, 3812, 2581, 2971, 3873, 3072, 3158, 2284, 2811, 2957, 2544, 1221, 1929, 3117, 2708, 3801, 3810, 3921, 761, 3497, 118, 2555, 1877, 2598, 683, 3392, 3304, 2622, 2791, 1787, 3714, 1697, 85, 3642, 1338, 3876, 2313, 2941, 1491, 3016, 2783, 3116, 303, 522, 2277, 3971, 3055, 1863, 1223, 648, 2449, 3473, 3620, 367, 2730, 3227, 3229, 2926, 1051, 1468, 1784, 394, 3732, 3491, 3399, 2390, 2795, 2090, 1363, 2336, 2317, 3717, 2899, 2665, 1052, 2476, 1760, 2848, 3242, 444, 2261, 2909, 2015, 1010, 3689, 639, 2215, 581, 1704, 2001, 3453, 1871, 2194, 2396, 127],[722, 1719, 3398, 2862, 2795, 189, 1232, 697, 4091, 2180, 3447, 1220, 572, 3934, 562, 2652, 2124, 621, 2014, 3047, 2529, 3732, 110, 343, 2274, 3942, 2673, 292, 2376, 3053, 3628, 577, 2814, 577, 5, 1568, 3844, 1618, 342, 1942, 3700, 315, 2541, 3038, 2121, 2065, 682, 1415, 3585, 409, 3646, 3144, 2397, 2812, 3222, 3642, 3364, 2128, 3825, 1371, 3011, 3034, 2371, 860, 2350, 2649, 3713, 2410, 252, 1548, 2258, 2563, 610, 2959, 3322, 3111, 2950, 3465, 864, 4001, 3482, 691, 2705, 2654, 3091, 844, 2534, 3117, 0, 1538, 1734, 3815, 2094, 3210, 588, 4017, 1614, 743, 2595, 3254, 429, 3809, 2699, 2959, 2064, 849, 1313, 1855, 4071, 3958, 2794, 1361, 1687, 1377, 11, 1137, 2117, 729, 2437, 1647, 3654, 1990, 256, 2815, 2064, 2578, 2020, 1262, 3371, 3189, 358, 2920, 2615, 28, 380, 4032, 682, 608, 2844, 3515, 304, 2567, 3058, 3476, 3720, 151, 2939, 2078, 2639, 927, 3739, 1714, 2480, 2737, 2147, 1360, 881, 441, 2407, 2199, 1140, 1782, 3633, 3122, 2587, 4080, 74, 856, 3770, 1408, 3665, 3414, 1691, 2581, 897, 2428, 1480, 1045, 3148, 1288, 3970, 3, 3353, 694, 1558, 1854, 619, 3845, 713, 2290, 2113, 1569, 2989, 2797, 2965, 215, 1203, 1972, 1831, 874],[2461, 2000, 3879, 1755, 3213, 1642, 3665, 3820, 1701, 3537, 1609, 1768, 2154, 512, 1470, 2133, 2837, 2435, 1764, 3654, 2173, 726, 1063, 1471, 362, 558, 1187, 3299, 1735, 2936, 3297, 4035, 1552, 2932, 1937, 3112, 1440, 3964, 2637, 880, 3228, 2879, 698, 1361, 3008, 3272, 3174, 2073, 1184, 2391, 431, 2825, 341, 2805, 1690, 621, 2637, 1560, 2715, 2, 2686, 3544, 2918, 237, 3274, 2192, 1604, 2277, 620, 849, 1796, 3840, 3083, 1803, 881, 1073, 2620, 1216, 2969, 1997, 1269, 2056, 2799, 2845, 2573, 410, 2899, 3690, 3689, 2965, 3808, 938, 1721, 3933, 1016, 2369, 446, 2852, 2877, 591, 2335, 1191, 1291, 1160, 3915, 3520, 1496, 1188, 4017, 600, 3209, 1689, 2613, 3492, 3093, 2945, 1015, 3955, 330, 3616, 2950, 3217, 649, 733, 81, 3157, 3419, 636, 1966, 3688, 1078, 117, 1929, 3970, 1882, 1559, 2158, 3632, 4039, 3339, 2328, 3850, 3658, 3540, 3891, 1259, 1535, 3895, 2901, 788, 1344, 219, 1249, 3667, 2363, 1691, 3213, 1612, 3029, 3310, 278, 3513, 3209, 3368, 2826, 1847, 2054, 2489, 1550, 2398, 2740, 1280, 3096, 1533, 2739, 1094, 2224, 899, 1949, 3661, 1844, 2686, 1897, 20, 1972, 1815, 3559, 524, 2107, 3791, 1425, 1803, 905, 765, 1540, 3221, 2520, 1473, 3716, 4054],[382, 3281, 3865, 1867, 374, 1827, 50, 218, 2462, 3205, 2301, 1033, 2074, 3365, 256, 1944, 1910, 3398, 1350, 2995, 328, 1547, 3435, 1260, 423, 2341, 3838, 2877, 1151, 460, 618, 13, 252, 1220, 809, 1769, 3744, 587, 3507, 2251, 3296, 390, 1145, 36, 2405, 193, 1148, 2132, 864, 649, 701, 1969, 2114, 3236, 8, 2002, 3434, 303, 1003, 4063, 2405, 498, 1745, 2511, 2678, 3922, 1564, 2098, 970, 2234, 1469, 2157, 3989, 159, 1406, 3848, 92, 2335, 69, 447, 2576, 3619, 2576, 3914, 170, 3761, 124, 3717, 3064, 363, 328, 3629, 1104, 3085, 2319, 3100, 1300, 3302, 616, 3601, 121, 1798, 699, 2818, 969, 2498, 2152, 2153, 2685, 3429, 2015, 1510, 3857, 1337, 1707, 190, 1939, 3022, 1625, 2048, 2929, 2214, 907, 715, 811, 120, 1511, 1175, 419, 1101, 1430, 2293, 3994, 1043, 1881, 194, 1199, 738, 482, 2588, 3983, 2278, 2150, 3913, 2848, 1836, 557, 237, 1516, 1709, 3185, 211, 3151, 513, 1254, 2629, 2717, 1071, 3675, 784, 252, 901, 1461, 1963, 719, 3867, 2779, 2593, 2800, 2132, 2424, 1574, 3298, 3061, 3678, 2768, 592, 3198, 108, 1703, 3091, 1866, 1466, 2991, 1910, 3337, 46, 1113, 625, 2446, 3570, 572, 973, 986, 2905, 2300, 1856, 405, 3277, 2259],[310, 592, 327, 1286, 3539, 2435, 2866, 3828, 230, 1409, 2143, 492, 1842, 166, 3877, 3375, 1177, 2545, 1473, 3371, 1643, 2609, 1292, 3250, 730, 722, 478, 3180, 295, 3500, 184, 2626, 3747, 1061, 15, 1548, 232, 1451, 1747, 3447, 3446, 2472, 2362, 226, 2672, 3234, 168, 1075, 1898, 906, 3594, 2182, 4095, 3809, 2096, 3049, 1485, 3341, 2053, 3568, 3016, 1795, 550, 1499, 435, 607, 2201, 2972, 2599, 1105, 2260, 3826, 2947, 1180, 1949, 2489, 3724, 1121, 1034, 1772, 1109, 1310, 2162, 3376, 99, 343, 3079, 3912, 3035, 1433, 2944, 3076, 2008, 1322, 1795, 2718, 3552, 2670, 133, 1367, 3864, 170, 2815, 4070, 3448, 322, 2986, 2892, 2467, 473, 1473, 3275, 449, 450, 3133, 1859, 1260, 632, 840, 2214, 3857, 2930, 3550, 1545, 2722, 48, 1681, 2691, 519, 3108, 2283, 1425, 3700, 737, 2736, 2968, 1417, 3888, 3891, 3977, 1154, 410, 3108, 3418, 1630, 3148, 1844, 1882, 2945, 2969, 1908, 1867, 2199, 3181, 2369, 1174, 3393, 3259, 2472, 2570, 434, 1344, 2274, 769, 3768, 2571, 2219, 1197, 1150, 460, 2704, 3319, 878, 2099, 3410, 433, 1414, 3780, 53, 3168, 3455, 2615, 3309, 2324, 1392, 1742, 2810, 251, 2740, 2808, 2975, 2261, 362, 3684, 1601, 3341, 1401, 2789, 807, 1484],[3147, 3964, 2444, 1731, 1978, 943, 309, 890, 4064, 1376, 180, 2213, 1126, 448, 3063, 3095, 1993, 2549, 2720, 2610, 921, 2250, 196, 1781, 1884, 96, 2073, 1593, 3126, 2772, 26, 3377, 2393, 2468, 889, 2004, 3263, 702, 3223, 1204, 3634, 1576, 63, 1606, 173, 3567, 1296, 1271, 1825, 2837, 1692, 2794, 3586, 3974, 130, 2535, 2450, 850, 3850, 1994, 2450, 2469, 3198, 3877, 1559, 776, 2913, 1685, 780, 912, 3415, 1802, 3311, 3835, 1561, 822, 1398, 816, 54, 1781, 3949, 1960, 248, 3409, 439, 1357, 1233, 3145, 721, 2330, 2044, 1375, 1190, 2106, 1029, 3935, 3555, 357, 477, 524, 3900, 3168, 936, 1917, 1772, 465, 3619, 1445, 732, 3651, 2495, 2905, 2041, 2793, 1535, 2868, 2663, 1603, 2549, 2855, 710, 2371, 3954, 2684, 2904, 791, 1379, 604, 1974, 1669, 4060, 3413, 3845, 3446, 784, 2454, 3289, 2865, 1507, 977, 3291, 1761, 3630, 1325, 3284, 3725, 3078, 1008, 2244, 2738, 4077, 2694, 315, 2415, 1931, 1434, 1651, 913, 3068, 851, 1271, 1973, 3926, 876, 2056, 1869, 1858, 2386, 880, 2348, 1909, 2027, 1340, 2917, 279, 1929, 1466, 3511, 286, 3266, 2215, 2275, 4056, 3388, 1457, 1810, 1562, 1001, 2958, 1501, 2951, 3435, 4054, 2280, 3851, 1797, 498, 3098, 1172, 2574],[4053, 2266, 825, 2331, 2022, 1247, 1982, 604, 2368, 439, 1467, 2345, 3341, 1387, 2169, 3275, 3100, 3821, 2984, 4053, 2163, 3509, 3261, 2008, 2708, 3556, 180, 2325, 747, 3786, 3590, 2002, 263, 1515, 2507, 528, 1555, 2362, 1312, 3942, 773, 1340, 2072, 4034, 3365, 1196, 462, 304, 3814, 658, 1881, 3593, 3093, 2247, 429, 2543, 2051, 1370, 3339, 1701, 3039, 3791, 2158, 2389, 2386, 1057, 973, 3369, 781, 3362, 3406, 3405, 1120, 1916, 1774, 2759, 3391, 4008, 2236, 1481, 1421, 4050, 600, 191, 2286, 2643, 997, 106, 1367, 941, 1484, 3508, 358, 539, 2356, 239, 1329, 2640, 3427, 324, 2226, 3665, 2196, 2200, 3338, 548, 937, 3101, 3255, 2703, 1914, 2646, 2129, 70, 2142, 336, 3828, 488, 1458, 3438, 2421, 453, 876, 3171, 3065, 923, 1734, 2220, 91, 818, 1466, 2932, 3639, 2663, 2982, 2471, 644, 4024, 2495, 1879, 80, 569, 3488, 1403, 422, 977, 4075, 1034, 2588, 2549, 3308, 1669, 3785, 2429, 197, 1514, 2599, 614, 2826, 525, 4061, 904, 3249, 1645, 3160, 2803, 2239, 1801, 2126, 1248, 92, 1498, 930, 3631, 2936, 267, 1550, 3438, 2316, 846, 1952, 3869, 1187, 1128, 934, 35, 1611, 3089, 1438, 2130, 1193, 3287, 2713, 1772, 3852, 3967, 3839, 1779, 3409, 121],[3918, 3479, 3025, 2643, 3863, 2927, 2904, 3532, 929, 1640, 3892, 1089, 3100, 335, 1998, 1321, 2257, 2881, 3957, 1946, 2828, 2167, 1882, 1356, 2655, 3007, 3211, 4060, 175, 1599, 2690, 3302, 1743, 1862, 2769, 2053, 2322, 488, 1999, 296, 1479, 74, 3709, 1225, 2888, 636, 220, 438, 3619, 1883, 658, 1393, 1455, 2333, 885, 3262, 542, 2787, 486, 2536, 2514, 2425, 1099, 2268, 3460, 356, 8, 3859, 3942, 2161, 2387, 2352, 1544, 488, 785, 2239, 2775, 807, 3219, 2251, 45, 3673, 2345, 838, 3925, 752, 1361, 1162, 2597, 2486, 3154, 2940, 899, 1765, 2488, 1190, 1283, 215, 2105, 1320, 20, 1020, 3414, 3329, 2490, 3560, 356, 2893, 4050, 3995, 3299, 1185, 1962, 3638, 3120, 1854, 66, 2583, 3007, 718, 3261, 62, 1202, 13, 851, 1375, 2643, 1456, 2782, 597, 1216, 3729, 1054, 3556, 2278, 2159, 48, 1662, 1631, 3763, 392, 2423, 1727, 532, 2820, 1135, 2386, 1031, 3417, 3462, 3003, 1411, 3843, 315, 903, 484, 606, 2009, 660, 3952, 3177, 3401, 2122, 1709, 1390, 3521, 258, 1419, 4061, 2256, 1532, 3941, 82, 512, 2799, 2534, 1453, 1732, 3475, 424, 1976, 2057, 1124, 2032, 297, 3020, 1011, 3735, 2543, 319, 2918, 2990, 2474, 406, 529, 3178, 1637, 3302, 586, 1232],[693, 988, 562, 3403, 595, 2896, 224, 3199, 3970, 635, 2871, 3486, 870, 2418, 3431, 927, 1603, 2388, 3446, 842, 293, 4065, 216, 411, 2696, 3284, 3795, 4009, 3892, 783, 697, 1296, 3910, 2415, 66, 767, 1356, 1467, 526, 1879, 2572, 3326, 899, 2805, 809, 1681, 2747, 4075, 3746, 2195, 970, 3680, 2917, 26, 1205, 3537, 3865, 383, 2878, 1685, 2488, 106, 2691, 3294, 1078, 206, 68, 3841, 314, 2171, 2483, 3017, 1540, 2522, 2223, 3665, 3086, 2929, 1162, 399, 1126, 120, 3195, 190, 1167, 3389, 2813, 2796, 1355, 362, 3669, 4002, 2922, 361, 1461, 3137, 3285, 3174, 3583, 3760, 2109, 1292, 1788, 19, 1521, 2914, 604, 1261, 537, 1124, 282, 2493, 2483, 3481, 2802, 815, 3852, 1286, 227, 3306, 1354, 2928, 544, 2655, 1615, 2789, 1895, 2006, 3638, 731, 3466, 1046, 2246, 639, 2263, 3747, 2343, 3422, 1033, 2859, 179, 410, 3730, 1056, 793, 1679, 3893, 2642, 3778, 2543, 2263, 1216, 3101, 2067, 572, 699, 861, 3785, 3474, 2382, 1394, 3376, 1639, 2287, 1736, 3810, 4007, 933, 1916, 49, 1335, 187, 2188, 4026, 2770, 3789, 1376, 3552, 3037, 200, 1110, 3523, 2124, 3601, 4080, 4094, 1368, 526, 3717, 1454, 2209, 891, 2231, 3353, 3403, 775, 3246, 2231, 2486, 893],[1069, 994, 421, 1117, 2207, 1951, 1954, 1141, 1124, 1839, 597, 1403, 215, 2759, 607, 989, 857, 422, 2338, 1041, 4069, 3549, 173, 3126, 141, 580, 2249, 904, 3376, 2926, 1961, 2891, 3995, 3211, 1016, 2789, 1360, 3396, 1098, 35, 1071, 769, 948, 2197, 3101, 2191, 1006, 1998, 2213, 2908, 316, 463, 291, 2459, 2626, 2509, 1698, 810, 2998, 3804, 1011, 845, 2177, 3720, 108, 1360, 1103, 446, 808, 2065, 2855, 2863, 2207, 643, 474, 1587, 2791, 2820, 641, 1549, 799, 2169, 3932, 3992, 102, 2498, 2787, 2580, 4038, 135, 3857, 1216, 1548, 2116, 1252, 2804, 837, 2101, 2217, 2257, 1422, 408, 145, 3139, 47, 538, 73, 3809, 3, 3435, 549, 3074, 2929, 148, 993, 1213, 2018, 1336, 3367, 917, 3592, 1675, 3380, 2670, 2017, 1949, 2099, 1758, 4084, 4087, 3677, 1598, 2822, 528, 162, 588, 3098, 2313, 2337, 3125, 3646, 3599, 902, 1044, 292, 789, 516, 3348, 2200, 3753, 3927, 2971, 1592, 2937, 641, 391, 1103, 2053, 1900, 3356, 531, 176, 3911, 3028, 2580, 704, 3563, 1337, 576, 1253, 4013, 2055, 2066, 226, 82, 1272, 2628, 1793, 849, 942, 2218, 3879, 1651, 2334, 160, 1026, 2099, 1892, 2588, 1869, 1181, 2964, 4048, 870, 2534, 3453, 1657, 945, 1935, 1541],[3589, 1144, 2918, 2252, 3470, 1601, 82, 1670, 3285, 851, 2909, 2375, 3949, 449, 3181, 1349, 3746, 1110, 2814, 2848, 850, 2037, 2902, 11, 389, 3412, 2825, 639, 2685, 2843, 3670, 4037, 2262, 1241, 3985, 2705, 3991, 3737, 1772, 3361, 2062, 2068, 1432, 979, 2276, 3173, 2934, 3124, 1940, 2334, 1962, 501, 2606, 1406, 3168, 334, 2179, 1419, 3177, 3455, 2693, 2436, 2693, 930, 125, 574, 2686, 2155, 3910, 1068, 1295, 1588, 2945, 1511, 2118, 3287, 3362, 3853, 2053, 2565, 1694, 3389, 3911, 18, 4059, 2801, 3139, 3985, 181, 135, 1634, 1452, 103, 2976, 2752, 3016, 3822, 1655, 3498, 1625, 1069, 914, 677, 3406, 3480, 2321, 85, 121, 1803, 1971, 512, 3028, 3989, 1557, 2499, 1118, 2241, 735, 3688, 1373, 3835, 2495, 885, 376, 2553, 1135, 3739, 1986, 2937, 259, 412, 3803, 229, 3748, 2900, 267, 3666, 204, 1835, 1046, 1926, 1234, 1381, 1200, 3214, 3368, 1248, 1919, 2660, 438, 762, 3145, 3842, 1918, 1281, 2852, 3861, 2952, 964, 3427, 968, 1030, 2306, 558, 121, 473, 784, 3290, 3659, 1727, 3802, 1441, 807, 111, 2487, 1592, 1962, 3030, 3270, 1118, 2583, 97, 569, 2108, 3, 2064, 1597, 3611, 2530, 2075, 2810, 661, 1596, 1143, 2908, 2192, 3233, 666, 471, 1749],[554, 2291, 1633, 679, 681, 2546, 2919, 519, 2380, 2583, 3495, 2478, 3816, 3571, 3124, 2197, 498, 3040, 3315, 2476, 3689, 2432, 2748, 2906, 3734, 689, 713, 2469, 3205, 783, 1806, 1787, 2681, 483, 3408, 731, 2143, 4027, 2914, 2688, 2425, 2183, 2745, 2555, 4004, 646, 2512, 3448, 2935, 1393, 2978, 261, 413, 3694, 1749, 385, 2339, 1813, 3016, 904, 841, 1102, 3917, 854, 1305, 3559, 2630, 3825, 3266, 1296, 2293, 883, 2281, 1799, 1046, 719, 60, 1598, 2312, 2074, 3794, 3613, 606, 1198, 3311, 295, 1058, 854, 547, 1650, 4041, 4003, 2615, 512, 3972, 3080, 860, 1368, 96, 2604, 1288, 1099, 2419, 723, 1524, 3674, 3334, 3884, 3139, 3194, 976, 867, 768, 479, 70, 1426, 3849, 1439, 2522, 140, 838, 2611, 1280, 696, 1679, 1320, 1083, 1420, 4, 3034, 3827, 1634, 3591, 2403, 1276, 1010, 2261, 837, 3184, 1841, 2325, 818, 1913, 1847, 284, 3212, 3283, 3775, 2017, 3007, 3738, 2031, 3042, 3552, 125, 2679, 3688, 3823, 1584, 1305, 3505, 2878, 4066, 3674, 3637, 3357, 2127, 3590, 2920, 328, 2447, 1652, 3531, 74, 2725, 3435, 888, 277, 3519, 3421, 3325, 3397, 3600, 1742, 1619, 2622, 2991, 168, 2468, 2845, 234, 1443, 952, 3279, 2285, 1049, 1569, 4048, 4005, 3282],[242, 2428, 3294, 3537, 3318, 721, 1198, 1916, 2846, 3296, 782, 2446, 3585, 3121, 2476, 66, 1426, 2017, 2330, 3028, 3599, 2548, 2727, 2365, 1972, 2231, 3553, 2730, 401, 3811, 69, 2490, 694, 3922, 2570, 1730, 2954, 3868, 979, 3210, 2509, 2969, 3466, 1521, 3423, 117, 2340, 3933, 3700, 842, 4058, 1039, 1058, 2097, 2375, 816, 3394, 2513, 1656, 1996, 2016, 3427, 2129, 3270, 488, 2741, 3517, 3159, 2938, 1459, 3769, 3975, 1547, 1981, 2713, 2422, 2504, 3494, 2167, 3920, 2591, 3187, 1346, 3335, 1897, 6, 1448, 376, 1650, 1480, 2451, 191, 167, 3829, 1360, 1473, 2254, 3436, 3532, 3573, 2059, 3672, 2758, 3563, 3327, 3301, 206, 802, 1408, 1603, 1927, 3015, 195, 1210, 682, 1983, 1688, 2753, 3131, 4088, 2547, 649, 3265, 3895, 2924, 668, 289, 3150, 1415, 237, 1037, 1354, 673, 2041, 1731, 3105, 59, 4001, 667, 3221, 3875, 2107, 2043, 1771, 3511, 1132, 3910, 1442, 1075, 2006, 2681, 2118, 1268, 4075, 3735, 1300, 3941, 1000, 1301, 2371, 647, 3363, 2377, 320, 3917, 3363, 1532, 50, 1617, 1511, 1208, 1993, 292, 3102, 1302, 3790, 1636, 1984, 869, 3765, 518, 71, 722, 2164, 1431, 3466, 2515, 1942, 2857, 1641, 3062, 1388, 2237, 2729, 3731, 1741, 3595, 3314, 2011, 3930],[3710, 33, 2650, 2543, 2039, 668, 1185, 1249, 3086, 3438, 1708, 3033, 2182, 1098, 47, 1675, 2526, 1261, 1027, 591, 2297, 2163, 1405, 690, 3041, 2921, 1181, 13, 3295, 2040, 1327, 629, 3100, 3732, 2245, 1559, 517, 2416, 680, 3412, 467, 1217, 395, 1288, 3485, 883, 783, 2599, 1671, 3119, 1878, 263, 1835, 435, 1307, 1006, 3645, 2430, 549, 1797, 2282, 358, 821, 2584, 1979, 3968, 1070, 1886, 1624, 1582, 863, 3335, 1323, 804, 3632, 3930, 2768, 1501, 2460, 2368, 1687, 898, 261, 191, 2229, 2688, 88, 1282, 2391, 2995, 709, 2437, 472, 2285, 2318, 2649, 3963, 3963, 1974, 4030, 114, 3885, 2549, 2674, 1297, 1688, 3746, 3180, 2858, 3003, 3871, 3283, 3113, 1746, 1300, 2697, 691, 568, 3807, 395, 3155, 3105, 1870, 1523, 1644, 3469, 3609, 1808, 72, 3584, 2649, 2365, 1655, 1832, 697, 3384, 2951, 1945, 2832, 766, 1108, 1792, 2848, 3929, 288, 1720, 3780, 2073, 3510, 162, 3715, 2917, 3199, 3150, 619, 3961, 1110, 1542, 3516, 3646, 2498, 819, 3117, 3707, 3729, 2153, 1004, 1385, 1249, 1639, 3710, 2034, 208, 1853, 603, 3587, 632, 453, 3981, 437, 1761, 2672, 3826, 1972, 4058, 3738, 2488, 3166, 2248, 1968, 3097, 3469, 1158, 865, 557, 2591, 3288, 613, 1480, 1887],[2956, 3120, 2474, 2732, 757, 2431, 1329, 1878, 932, 1879, 935, 854, 2370, 2654, 1187, 3355, 2322, 651, 430, 3659, 3895, 1570, 626, 887, 96, 2220, 2720, 486, 2919, 3249, 2256, 996, 726, 690, 2553, 2112, 1624, 3659, 915, 3980, 2328, 8, 249, 1332, 3540, 3484, 3512, 817, 3686, 566, 3220, 1871, 418, 2960, 1113, 311, 3504, 2012, 4040, 506, 1402, 188, 179, 3853, 2839, 3318, 2398, 417, 3636, 3537, 158, 3407, 736, 2928, 574, 952, 425, 1226, 3360, 3974, 4052, 2170, 805, 1358, 597, 3274, 2362, 1839, 1997, 568, 3964, 3448, 2817, 2683, 637, 3151, 3367, 22, 1323, 2963, 3936, 3633, 3978, 321, 1379, 1664, 353, 3835, 3665, 2248, 4007, 4032, 145, 491, 1486, 561, 2108, 3304, 2400, 779, 2898, 1275, 1367, 3209, 3450, 393, 1171, 50, 1445, 3237, 3724, 2672, 267, 3807, 1451, 414, 2081, 3068, 3642, 3568, 887, 2700, 235, 2373, 2689, 3644, 19, 2888, 2700, 1590, 3205, 174, 3344, 2241, 678, 3993, 3767, 2541, 836, 2489, 3936, 1200, 3428, 691, 3028, 1417, 3088, 1547, 2568, 2491, 748, 3699, 2763, 3044, 2623, 3490, 1778, 303, 3875, 477, 2380, 3355, 694, 3828, 27, 1905, 2549, 1996, 2641, 3009, 3872, 637, 1551, 2718, 1857, 516, 1099, 1666, 1954, 2195],[3002, 4074, 3346, 3269, 973, 1723, 3916, 3546, 963, 4004, 1829, 3957, 2640, 2477, 3505, 2321, 1090, 1298, 950, 607, 4068, 731, 2740, 1160, 3629, 3733, 596, 901, 268, 1023, 1187, 3643, 2590, 621, 3653, 1301, 1450, 3277, 3053, 2730, 1310, 2742, 3762, 1489, 107, 1588, 951, 200, 3898, 1321, 3972, 1593, 393, 30, 1071, 276, 2859, 609, 2366, 4092, 248, 327, 1132, 3220, 131, 1211, 2810, 1397, 3447, 2062, 3643, 3149, 3851, 2847, 1596, 2900, 3872, 9, 1951, 371, 3578, 3513, 1337, 3247, 1575, 3882, 2636, 2624, 2521, 2018, 2289, 1426, 3149, 869, 2981, 844, 121, 542, 3186, 168, 1137, 2700, 2286, 1628, 2933, 3349, 3544, 1997, 1456, 267, 1229, 1688, 464, 3886, 1579, 1179, 2357, 1938, 1519, 2691, 470, 673, 2529, 2508, 4069, 1512, 1625, 3320, 3003, 921, 241, 2251, 67, 706, 1657, 3770, 1377, 245, 1628, 2823, 336, 3488, 195, 2776, 2239, 1848, 1377, 1721, 3818, 2066, 2333, 594, 3608, 2022, 2966, 1711, 255, 1425, 644, 2262, 2678, 2369, 659, 464, 3282, 1891, 2474, 3436, 849, 377, 2970, 2722, 2227, 3740, 3334, 2779, 3612, 1430, 122, 1260, 2389, 3651, 2546, 1355, 502, 1869, 3801, 41, 2383, 494, 2120, 170, 1979, 1638, 1883, 2301, 1810, 1973, 948, 1236],[3837, 3668, 3107, 1917, 510, 3011, 3922, 2835, 2057, 1364, 2418, 922, 2561, 727, 3623, 50, 3505, 1490, 3126, 662, 1281, 4062, 1531, 3446, 3168, 259, 2552, 1946, 2119, 683, 1027, 74, 3180, 2256, 1373, 994, 3796, 1325, 2092, 4050, 3622, 1161, 79, 2863, 3133, 2992, 3348, 1527, 998, 3592, 1207, 3621, 1558, 1828, 3918, 581, 1518, 2992, 2641, 1366, 754, 1577, 2329, 2739, 2577, 1650, 1706, 3192, 3194, 2202, 906, 2361, 1472, 2325, 1727, 1526, 1702, 3730, 2226, 1382, 2394, 2282, 3227, 2858, 3958, 3032, 3065, 1125, 3729, 1210, 2691, 3868, 378, 1210, 2644, 1699, 1448, 4017, 3677, 746, 2013, 1194, 3205, 2945, 2107, 347, 1671, 3195, 2641, 3505, 1279, 457, 3420, 3703, 470, 146, 902, 3785, 3125, 993, 3616, 1233, 213, 39, 3363, 2753, 2104, 54, 4001, 2390, 3529, 868, 1275, 1171, 199, 1758, 117, 2025, 972, 1858, 1578, 2191, 3691, 3042, 2814, 948, 2610, 1412, 103, 4031, 1139, 716, 3889, 1313, 1661, 17, 2428, 2369, 2708, 1136, 92, 944, 1373, 1832, 3054, 442, 151, 3053, 2762, 2851, 641, 1401, 3428, 2738, 610, 1930, 4095, 3708, 2730, 2519, 1961, 2677, 2642, 2937, 1263, 492, 2853, 3700, 2271, 3617, 1195, 932, 1545, 2100, 2660, 794, 2071, 1415, 2705, 475],[436, 3306, 3669, 2760, 2000, 3373, 3276, 3297, 2887, 213, 965, 3718, 2248, 90, 1889, 2527, 810, 2267, 2105, 470, 3124, 3424, 1992, 2364, 2849, 3471, 4075, 2250, 2742, 3531, 3577, 1006, 3646, 3295, 2705, 3786, 14, 2387, 3001, 3637, 3911, 3760, 1174, 1188, 2455, 3179, 1847, 2823, 2083, 1844, 1792, 1649, 728, 3974, 1823, 2760, 1768, 549, 128, 2606, 3348, 648, 1022, 2101, 3406, 2899, 979, 3372, 2215, 2884, 376, 340, 714, 3864, 1280, 829, 771, 3381, 2772, 3815, 1831, 1041, 2233, 945, 1851, 372, 485, 1598, 2872, 2249, 356, 701, 1030, 306, 91, 733, 1578, 290, 2190, 2625, 2872, 3229, 121, 1457, 3317, 3259, 3210, 2231, 2663, 2110, 2585, 3740, 1423, 2746, 1699, 3382, 1249, 3432, 2768, 1185, 2893, 2851, 2180, 3896, 2652, 407, 3253, 2269, 1294, 1301, 4023, 3362, 1617, 3142, 2061, 646, 710, 3219, 930, 83, 898, 2416, 1506, 1563, 3967, 3585, 580, 1556, 1466, 1496, 651, 2040, 1552, 3064, 1541, 342, 1167, 2569, 3656, 2117, 3466, 2977, 3768, 1635, 3634, 2788, 4055, 276, 2981, 2937, 2623, 82, 3297, 1448, 1429, 3157, 262, 3282, 2073, 1350, 2590, 3665, 653, 80, 1780, 2507, 1231, 1093, 3927, 1305, 252, 900, 1170, 939, 2331, 1878, 1785, 1550, 2532, 3603],[3047, 3524, 1713, 4039, 868, 704, 3066, 397, 2833, 133, 3486, 58, 635, 662, 340, 3983, 3298, 1262, 2880, 659, 2439, 759, 17, 833, 3122, 955, 31, 1755, 420, 1877, 157, 3062, 4067, 718, 1927, 3404, 383, 1430, 2954, 327, 1053, 873, 2581, 1779, 372, 74, 836, 3932, 1500, 1662, 671, 443, 126, 2779, 2708, 907, 3243, 3129, 3869, 1114, 2889, 1760, 1640, 1424, 3847, 480, 2064, 2995, 3060, 1028, 2272, 963, 3905, 1045, 3866, 3700, 226, 2830, 1608, 2609, 3922, 1706, 3748, 3900, 2212, 530, 2031, 3564, 3503, 1971, 3992, 775, 162, 678, 1385, 3480, 217, 1488, 2615, 1635, 2238, 4034, 1523, 2095, 655, 643, 747, 1526, 74, 4, 1780, 2780, 2928, 3338, 2014, 3535, 874, 1097, 1356, 581, 3579, 1375, 3086, 3374, 1709, 1597, 2377, 828, 665, 3436, 1025, 160, 3628, 2974, 204, 769, 1407, 2205, 3439, 2826, 923, 2794, 2135, 2500, 1456, 4058, 781, 497, 3133, 3574, 2236, 812, 3309, 2061, 1653, 1472, 3465, 10, 1408, 3705, 3887, 223, 636, 561, 3342, 1678, 2909, 3374, 3226, 2641, 1735, 3242, 2356, 4053, 2560, 184, 1212, 3703, 1514, 49, 3521, 2587, 2786, 1998, 1699, 2480, 1, 2901, 1337, 668, 386, 2811, 3603, 2381, 2918, 2067, 531, 3760, 3020, 2936],[3576, 588, 2114, 1281, 816, 2993, 3639, 3457, 3852, 1272, 3192, 3582, 3759, 2767, 3772, 1858, 2616, 647, 3452, 3811, 185, 1678, 469, 3279, 910, 2052, 2447, 93, 380, 2479, 1142, 1993, 3770, 2559, 2980, 1909, 1794, 1436, 1088, 2155, 1907, 3059, 3928, 3006, 1354, 474, 4011, 2928, 1412, 506, 2124, 3806, 1472, 3307, 59, 1282, 994, 3983, 166, 1155, 2907, 1241, 3171, 3247, 2224, 3361, 2886, 1168, 1722, 4061, 829, 2084, 1037, 1081, 316, 3033, 1314, 3855, 195, 1323, 3176, 792, 1268, 1078, 1680, 3160, 50, 3956, 3911, 2575, 2075, 1637, 1024, 2920, 3167, 2957, 117, 1903, 4084, 1062, 2591, 3623, 1498, 3503, 707, 3543, 3703, 585, 3354, 3353, 1871, 644, 2862, 122, 2100, 978, 825, 2008, 2576, 1845, 1377, 2538, 1162, 1833, 3282, 1380, 814, 315, 3014, 2913, 818, 1263, 3466, 1747, 3760, 1079, 2794, 2861, 1299, 3603, 1730, 3767, 3183, 3367, 3859, 670, 2724, 864, 331, 1143, 1468, 2718, 107, 1102, 3900, 2324, 3915, 3953, 265, 2007, 3043, 1636, 616, 1108, 1607, 589, 2238, 3741, 918, 3702, 2462, 3213, 2355, 3513, 2075, 2177, 2270, 2266, 2333, 734, 2534, 3682, 2283, 3166, 3287, 3233, 573, 3109, 2639, 269, 3222, 1771, 86, 1907, 3732, 1019, 916, 1038, 232, 2010],[2054, 1307, 2227, 2513, 2081, 1136, 647, 3728, 1213, 1429, 3466, 643, 3897, 2160, 2111, 2501, 930, 1401, 39, 211, 3398, 1286, 1751, 3354, 2764, 3476, 3973, 160, 1470, 3319, 2604, 2754, 992, 737, 3883, 2121, 3297, 1930, 49, 1775, 1140, 3983, 819, 1216, 2181, 2621, 2459, 3811, 2453, 2183, 3967, 438, 2154, 2575, 3581, 2625, 2217, 3516, 4040, 3984, 2537, 3343, 815, 572, 297, 3495, 3825, 3707, 829, 3990, 153, 4025, 1619, 709, 3776, 1278, 1563, 3603, 156, 2643, 3617, 2563, 180, 2760, 2516, 629, 3176, 2253, 1331, 3560, 3106, 3996, 3441, 1874, 1554, 1693, 2756, 3566, 481, 3373, 2138, 408, 3284, 2107, 965, 1399, 95, 3123, 1322, 4, 1357, 2501, 3783, 3562, 2880, 3143, 124, 409, 184, 2647, 2082, 2401, 3931, 642, 1595, 3077, 1242, 3865, 924, 2893, 3959, 592, 307, 3763, 2334, 879, 2944, 1808, 2045, 2626, 725, 3576, 3912, 1907, 2249, 125, 38, 696, 2179, 549, 1123, 2332, 4046, 3054, 2726, 946, 1202, 1581, 1779, 2564, 2569, 3271, 237, 2804, 1446, 3682, 1514, 445, 1966, 2880, 2550, 1862, 1029, 2011, 2879, 155, 2561, 2969, 839, 451, 3595, 2800, 783, 1759, 2766, 2891, 2144, 1017, 1039, 1974, 1926, 110, 1851, 2587, 2412, 539, 575, 1064, 1666, 690],[1250, 570, 3343, 4025, 3517, 1652, 130, 316, 2722, 2748, 3861, 1238, 2599, 262, 2242, 224, 2887, 1022, 3436, 751, 3943, 1624, 3564, 2636, 3935, 1462, 2715, 481, 3696, 3376, 3421, 1662, 54, 4044, 175, 3759, 1210, 2985, 3705, 2757, 1748, 3153, 3497, 1896, 296, 627, 2387, 1089, 347, 1306, 1222, 1703, 1153, 534, 3123, 2983, 380, 2969, 626, 2614, 2195, 1961, 2513, 3488, 1181, 742, 2069, 1765, 3621, 1790, 2052, 3109, 973, 109, 2673, 1586, 1496, 69, 3350, 2289, 81, 3148, 158, 3459, 2143, 846, 340, 2128, 374, 3537, 1371, 1577, 627, 2023, 2788, 1435, 303, 3274, 1794, 3345, 2140, 3078, 924, 3727, 3802, 1941, 3951, 2153, 9, 3674, 2998, 2074, 909, 1006, 3213, 3110, 2863, 3741, 2315, 1231, 397, 1001, 760, 1052, 270, 2463, 2761, 1257, 1251, 555, 694, 3727, 2147, 2516, 1702, 1996, 396, 795, 2453, 2831, 1797, 21, 1590, 3214, 892, 2489, 909, 2722, 1106, 2129, 3143, 436, 875, 3493, 3457, 1251, 1000, 3815, 3346, 1150, 1228, 3299, 2103, 3282, 3741, 3188, 1416, 3611, 2522, 1357, 597, 2182, 1131, 1972, 1172, 1527, 1812, 3025, 2012, 434, 1758, 1764, 2131, 3413, 1106, 1381, 293, 2311, 2129, 2825, 297, 808, 414, 3047, 1679, 3126, 2489, 3371, 2398, 1850],[1015, 3216, 3285, 164, 1997, 3792, 3658, 3376, 2283, 2764, 2532, 545, 2006, 1723, 2408, 854, 1807, 450, 126, 3278, 2529, 4087, 687, 1756, 3000, 3262, 310, 692, 3007, 892, 3685, 4009, 338, 3042, 2718, 1297, 2304, 1075, 968, 2410, 2291, 319, 3935, 1278, 1985, 1654, 251, 830, 3254, 1714, 3220, 1066, 3037, 1036, 404, 3335, 848, 109, 1196, 3726, 949, 1302, 977, 609, 218, 626, 3293, 1782, 4001, 528, 1064, 3046, 3920, 293, 2424, 1016, 3293, 2338, 2336, 2083, 581, 654, 3936, 3535, 2532, 489, 989, 3888, 768, 2954, 1982, 2700, 26, 3253, 452, 2790, 2149, 2478, 1137, 1402, 2117, 2829, 2143, 3472, 1398, 1110, 2480, 3051, 662, 1307, 2205, 884, 1072, 2474, 2913, 2164, 406, 2596, 2595, 2358, 2227, 401, 1420, 52, 3335, 3824, 1479, 3498, 113, 1114, 2185, 4023, 1918, 462, 75, 2809, 3717, 3407, 2816, 4086, 2745, 2609, 3048, 2746, 1880, 1241, 382, 1878, 1466, 640, 2310, 573, 575, 1698, 1243, 1521, 3081, 2734, 2893, 1036, 1186, 2702, 840, 1240, 1780, 632, 2256, 4035, 4080, 3641, 2839, 2633, 3116, 3698, 2116, 3229, 3466, 2393, 1141, 2218, 3002, 2987, 1662, 230, 1939, 1965, 43, 3889, 356, 1468, 1737, 589, 125, 1316, 1457, 2224, 2639, 3400, 3073, 1496],[2799, 2265, 2652, 1329, 1397, 1190, 2627, 2235, 876, 3328, 2403, 4022, 380, 3998, 1363, 350, 1346, 2744, 2920, 180, 1531, 3396, 3810, 2334, 3843, 2999, 96, 1597, 2797, 1804, 2172, 2935, 914, 1800, 258, 965, 3528, 4092, 490, 2908, 3169, 2915, 719, 1949, 14, 3845, 1476, 3172, 1185, 1548, 3259, 1130, 3830, 3180, 2825, 3324, 3412, 2272, 1752, 2804, 4019, 232, 658, 1746, 4082, 2344, 1635, 770, 1594, 1956, 1324, 2718, 2531, 1766, 2303, 1168, 1425, 2440, 2249, 2826, 624, 3869, 2567, 600, 3489, 260, 1803, 2410, 2011, 2569, 947, 920, 3031, 3388, 2566, 2387, 3777, 3744, 2813, 3192, 225, 3736, 1921, 2467, 895, 3280, 165, 1793, 1637, 1978, 2284, 2223, 3086, 1045, 136, 4054, 2755, 1227, 2421, 694, 765, 1573, 2889, 1609, 1196, 536, 4068, 2730, 1404, 282, 1977, 3571, 3019, 3753, 3845, 1380, 2784, 1897, 1103, 1498, 1189, 2768, 268, 1869, 1717, 3299, 3629, 3524, 232, 717, 1213, 2950, 2862, 1489, 2377, 723, 2077, 3582, 912, 3780, 2706, 3972, 669, 3337, 31, 38, 827, 3361, 377, 2863, 2647, 1083, 1593, 2626, 3543, 2950, 1813, 3146, 2731, 745, 3978, 3607, 1742, 2857, 2703, 2664, 2743, 2016, 1826, 1746, 1885, 313, 409, 732, 233, 1519, 1819, 265, 735, 3968],[1780, 3596, 229, 2540, 3116, 3336, 3911, 459, 2901, 951, 1703, 1589, 379, 3962, 3112, 1990, 1140, 3330, 3565, 1740, 2802, 2894, 4044, 290, 32, 1481, 1652, 2085, 414, 2281, 3115, 3893, 1710, 3729, 2376, 3199, 2820, 2685, 236, 3400, 3371, 2590, 2747, 2310, 589, 2613, 2558, 1362, 3391, 2053, 1147, 3633, 2105, 2527, 1759, 725, 3229, 3219, 2740, 4057, 3560, 3619, 2360, 72, 145, 805, 1425, 1120, 788, 3847, 2704, 634, 339, 1889, 4013, 2103, 2398, 3788, 1993, 1962, 3570, 55, 908, 639, 591, 1918, 2188, 3999, 3983, 631, 742, 1411, 3069, 2013, 4010, 1731, 3581, 1234, 3342, 3828, 937, 471, 894, 1469, 1643, 61, 3491, 2235, 1316, 3938, 4039, 2339, 3564, 141, 2206, 3147, 3727, 1929, 34, 1052, 2618, 3588, 2058, 3365, 1639, 230, 2072, 1769, 2375, 2024, 2823, 1888, 595, 3065, 72, 3115, 2863, 2970, 594, 2354, 2531, 1482, 2156, 1827, 2721, 2262, 2926, 1557, 1675, 951, 605, 567, 3815, 3544, 1141, 1748, 2705, 1080, 2683, 2097, 435, 759, 430, 151, 3442, 1761, 949, 2521, 797, 69, 2956, 650, 289, 2989, 4089, 1244, 3220, 2065, 2078, 1946, 3800, 2365, 429, 3258, 312, 1379, 485, 2396, 52, 853, 2609, 3557, 1850, 1320, 2159, 1768, 3162, 2304, 418, 1244],[1813, 3257, 730, 1953, 3741, 2085, 1995, 733, 289, 1566, 734, 3765, 3730, 2927, 3638, 4042, 4065, 766, 410, 2910, 1854, 1260, 150, 3964, 2423, 4015, 2032, 3969, 297, 396, 295, 285, 1246, 3375, 1241, 2153, 374, 1398, 424, 2374, 2434, 972, 1615, 509, 3764, 122, 1592, 1703, 3818, 3427, 2690, 2098, 1995, 797, 173, 2972, 2886, 1252, 4075, 928, 3660, 2062, 3963, 715, 3957, 1294, 1318, 2141, 2457, 548, 3261, 1203, 820, 367, 3591, 2124, 1515, 2574, 1739, 3334, 3584, 3570, 3583, 2211, 2775, 1284, 3643, 2154, 3317, 2597, 2670, 550, 756, 3775, 3638, 2932, 3744, 781, 1916, 4050, 2792, 2203, 3346, 3226, 2196, 2894, 2883, 2225, 3232, 3312, 3867, 2688, 3125, 166, 3799, 3267, 1983, 3170, 2846, 2614, 1405, 480, 3349, 2400, 2045, 745, 3078, 3261, 2565, 774, 389, 2018, 1648, 2466, 1652, 377, 2991, 1821, 514, 3033, 2362, 113, 3859, 1767, 1752, 684, 2454, 2380, 904, 2886, 3463, 1652, 2142, 645, 2133, 1225, 2622, 1572, 3809, 425, 3831, 2182, 2559, 3890, 2739, 1372, 1815, 43, 1396, 3908, 1645, 1598, 2415, 1658, 1230, 273, 1692, 2991, 2949, 2199, 2744, 3272, 3366, 3591, 3702, 652, 3486, 284, 1883, 3013, 129, 1445, 684, 464, 803, 2754, 3451, 840, 2225, 4092],[3221, 1217, 1185, 1971, 2966, 439, 2892, 1169, 876, 2661, 3727, 1635, 207, 2654, 3300, 1167, 329, 1995, 2702, 2670, 1472, 3598, 591, 1998, 1993, 3557, 2369, 1654, 1191, 2848, 2668, 2110, 3520, 1540, 1724, 1980, 737, 3248, 1273, 3046, 1512, 3093, 2555, 2727, 1898, 72, 2959, 3444, 590, 3363, 2596, 3327, 457, 3856, 2753, 3683, 2409, 1591, 3494, 638, 1387, 1854, 2294, 1143, 934, 2989, 2699, 1555, 1550, 1473, 2870, 1680, 2226, 2008, 2831, 743, 1466, 2711, 491, 3116, 828, 3632, 3694, 3104, 3879, 1500, 1899, 2862, 1158, 1229, 2891, 1637, 1756, 1621, 3408, 2247, 2983, 2896, 3414, 4055, 3233, 3295, 2734, 1963, 2498, 3503, 1658, 1142, 2135, 1147, 3810, 1429, 3456, 1090, 3392, 619, 428, 912, 2879, 964, 2033, 193, 660, 3269, 899, 226, 3506, 3382, 1896, 1612, 2756, 3644, 3334, 990, 2093, 2207, 3013, 3606, 1583, 3553, 1446, 1642, 1, 2043, 3065, 3051, 987, 2661, 2485, 1944, 2750, 3270, 121, 424, 1783, 910, 304, 2116, 2385, 597, 3073, 1031, 1743, 3559, 597, 380, 2087, 3744, 2838, 16, 2070, 3412, 3678, 4032, 1454, 993, 2309, 310, 2748, 2383, 2769, 1494, 4053, 3874, 2446, 3864, 476, 617, 2566, 1644, 4048, 2880, 1292, 1577, 3466, 2729, 1734, 1908, 991, 3723],[3565, 3974, 254, 1793, 1308, 3789, 1735, 1716, 2041, 3963, 1093, 1112, 2351, 3967, 2604, 3987, 2816, 485, 2726, 1420, 2777, 2025, 1321, 2294, 3176, 93, 1890, 3644, 256, 652, 1730, 2504, 517, 3577, 4007, 1950, 3530, 2341, 3, 1255, 1767, 1425, 2559, 1109, 1810, 1297, 1756, 407, 3592, 2979, 1755, 2397, 4052, 4022, 2343, 275, 3043, 946, 1025, 2620, 1745, 417, 265, 1738, 3390, 4043, 1527, 3755, 3434, 3466, 2268, 3034, 3349, 1284, 3958, 1232, 1717, 3458, 3995, 1294, 3780, 3584, 556, 4047, 81, 2340, 3342, 4083, 3423, 4048, 969, 3153, 3962, 2022, 2519, 61, 1366, 2532, 4082, 1336, 97, 997, 3992, 2247, 2834, 1623, 3803, 838, 2446, 2187, 3198, 804, 3174, 1542, 2833, 3221, 2139, 2538, 3466, 3486, 767, 1168, 548, 3395, 3870, 1585, 2941, 1309, 1082, 149, 407, 3223, 672, 2139, 321, 3619, 1726, 3735, 592, 1618, 2491, 3939, 2905, 1425, 436, 1355, 2733, 2968, 772, 1261, 2175, 475, 3045, 572, 623, 4069, 355, 1943, 3756, 672, 3854, 1057, 719, 2005, 2389, 1506, 1843, 3035, 2008, 2264, 1221, 3946, 2770, 3843, 2025, 3298, 2889, 3277, 1615, 195, 287, 2303, 2458, 3288, 232, 4036, 2123, 2311, 1478, 393, 3035, 432, 74, 1892, 2626, 1535, 2181, 1340, 631, 3711],[407, 618, 3862, 2514, 3957, 2712, 1196, 3657, 3510, 1151, 1028, 3303, 1150, 1818, 1869, 2357, 631, 2233, 3049, 426, 480, 2217, 22, 3367, 230, 3748, 378, 3877, 2722, 441, 1827, 4047, 139, 153, 1083, 75, 679, 3932, 3484, 2256, 2654, 4, 152, 2605, 282, 2068, 950, 3168, 1154, 2658, 1108, 22, 4016, 1205, 2907, 1869, 849, 975, 2635, 40, 304, 1412, 724, 93, 1876, 2256, 2737, 2100, 3181, 3707, 373, 703, 284, 2442, 636, 410, 573, 619, 1759, 3020, 2902, 3251, 3308, 3719, 3915, 2345, 3027, 2968, 3977, 3817, 1212, 2176, 726, 3429, 1155, 1288, 3719, 2732, 2708, 1336, 84, 2354, 1467, 1861, 2136, 451, 3000, 2462, 2780, 1663, 2003, 2107, 2205, 412, 3428, 3529, 792, 2498, 3810, 3359, 1969, 1759, 3212, 1282, 3566, 3088, 3030, 2599, 815, 1692, 280, 1407, 557, 266, 1720, 3356, 2985, 1953, 173, 2641, 1257, 4085, 3125, 761, 1468, 1727, 3127, 1086, 3938, 2754, 2100, 519, 225, 2183, 3797, 1635, 2133, 2193, 2186, 2832, 797, 2288, 1337, 2923, 2991, 3430, 1767, 3752, 2771, 2993, 2263, 1929, 1309, 1515, 3247, 1155, 3937, 3139, 4080, 3250, 3746, 472, 3044, 2672, 946, 553, 2845, 985, 1463, 365, 1672, 3320, 3007, 1046, 1932, 949, 3634, 915, 1646, 1031],[2335, 3915, 2104, 1124, 3547, 2805, 2321, 1419, 869, 245, 2655, 1377, 3162, 3856, 747, 2202, 1182, 1313, 1077, 2515, 2423, 3056, 2713, 3508, 350, 2100, 1033, 2280, 593, 3005, 2814, 3984, 3516, 2114, 3168, 1534, 634, 1807, 3903, 3985, 3029, 1678, 3300, 2007, 1332, 4017, 3070, 114, 176, 373, 3061, 352, 3260, 1976, 635, 3150, 2460, 2644, 2702, 984, 2852, 3096, 3620, 1297, 2500, 2533, 250, 1768, 2573, 2910, 2382, 1495, 1567, 2752, 3107, 1326, 3907, 2639, 2858, 559, 3234, 1332, 3521, 993, 519, 3824, 2669, 2040, 1039, 356, 86, 2811, 3142, 698, 522, 48, 3426, 297, 3908, 65, 2564, 3520, 3683, 3577, 3557, 3179, 2618, 1438, 3855, 3455, 3814, 1103, 2014, 2691, 55, 2570, 1743, 3991, 2701, 3996, 1531, 1447, 3698, 3465, 1022, 1125, 2491, 362, 546, 2202, 479, 3728, 1182, 823, 3780, 1904, 1861, 2080, 2089, 399, 1028, 1540, 117, 1862, 490, 1233, 2806, 3913, 4009, 2115, 2304, 1398, 707, 483, 1242, 2738, 74, 2747, 1649, 2999, 3333, 1744, 1333, 1733, 3981, 3719, 964, 3240, 3066, 1853, 1705, 300, 2871, 2780, 2247, 2350, 2072, 2120, 3030, 2475, 2575, 3252, 3631, 1907, 869, 239, 1401, 3394, 1125, 1229, 3046, 1905, 2435, 2354, 1461, 4068, 1865, 1243, 2760, 3364],[1633, 2737, 3790, 1596, 802, 767, 2413, 2509, 2920, 102, 3403, 3030, 3064, 311, 957, 1176, 2374, 3168, 3669, 3542, 1463, 186, 1388, 1620, 1647, 174, 3654, 11, 1614, 3364, 1557, 47, 3506, 2186, 2436, 415, 2887, 2739, 3012, 1298, 3603, 2223, 2570, 296, 588, 1864, 2466, 3858, 1002, 1196, 2770, 1955, 2309, 3038, 1629, 1076, 2937, 2958, 1274, 69, 1, 165, 1953, 3938, 2191, 2759, 1826, 1644, 189, 2125, 1421, 2857, 246, 2259, 3765, 1188, 1478, 1190, 3209, 3834, 1362, 3509, 103, 187, 3017, 1468, 3756, 3971, 2831, 3562, 1476, 744, 2360, 4050, 2991, 3724, 3005, 1959, 2728, 3713, 760, 159, 3035, 2288, 2488, 313, 1077, 1163, 3872, 1508, 653, 839, 715, 2353, 1090, 1915, 3428, 562, 1697, 505, 1828, 2586, 2085, 354, 201, 733, 1354, 3316, 2425, 3077, 2480, 624, 2648, 3828, 1451, 3025, 3422, 750, 654, 1180, 3630, 3284, 640, 4020, 3892, 3481, 472, 501, 262, 2220, 367, 1380, 814, 4044, 3749, 3448, 2084, 657, 1557, 2343, 2957, 3849, 1533, 3223, 1717, 514, 781, 776, 2785, 2373, 2558, 1257, 3496, 309, 527, 2659, 1426, 3120, 2637, 335, 3989, 653, 2289, 105, 3775, 462, 2907, 3164, 2875, 225, 876, 3742, 3710, 1426, 3075, 2387, 2634, 428, 1692, 473],[608, 2109, 1902, 2753, 70, 254, 4020, 2023, 3467, 894, 1562, 3439, 2958, 1932, 862, 1911, 1171, 3120, 2865, 1604, 634, 1870, 4015, 2164, 3946, 1344, 1198, 1506, 3735, 254, 2864, 2485, 130, 1964, 2628, 2436, 1680, 3926, 3065, 3417, 2171, 2986, 3002, 1014, 1977, 569, 1500, 2877, 2397, 263, 475, 3453, 654, 2070, 2783, 2762, 3699, 1633, 1755, 168, 3906, 3759, 4013, 2855, 3625, 2124, 2166, 3474, 1909, 815, 2734, 1511, 3489, 2137, 771, 3985, 3698, 686, 1389, 313, 1206, 2916, 3522, 3532, 3802, 2682, 3305, 1351, 426, 3136, 4066, 3334, 2269, 1226, 1340, 1107, 2307, 2551, 610, 1877, 3607, 362, 1437, 2484, 2434, 3496, 3884, 475, 289, 1675, 2369, 1177, 2449, 3032, 2440, 498, 3910, 448, 891, 2598, 422, 1030, 2407, 3313, 1825, 3391, 3591, 1425, 965, 2472, 1621, 2165, 1965, 3230, 445, 2028, 3915, 374, 2231, 2070, 1896, 2051, 2824, 3303, 4006, 114, 2462, 3532, 544, 3059, 3244, 3272, 2239, 291, 3437, 2200, 3347, 4015, 684, 532, 3848, 3656, 1289, 3500, 2704, 1152, 1545, 377, 3982, 3992, 4042, 283, 1910, 2185, 3176, 1870, 4052, 2551, 3051, 3498, 1095, 3824, 490, 120, 1743, 847, 2194, 3514, 401, 2531, 2575, 2639, 1094, 439, 105, 555, 3776, 3087, 3644, 285],[3641, 4064, 2601, 3747, 3076, 1288, 2901, 2265, 1816, 1470, 2037, 2398, 3851, 1398, 3616, 3855, 1969, 3138, 1596, 743, 3228, 3478, 1735, 3276, 408, 3133, 3845, 2745, 515, 2294, 1618, 2268, 3682, 116, 1241, 2746, 4046, 1088, 81, 3, 738, 4003, 3901, 2937, 1723, 2267, 1706, 3090, 3835, 3434, 2884, 3074, 3393, 289, 103, 3714, 1991, 3132, 2204, 1191, 2689, 478, 3851, 965, 1922, 193, 2410, 3344, 599, 1610, 2277, 1121, 621, 552, 3217, 1561, 2180, 201, 235, 828, 1062, 2039, 2339, 596, 270, 3875, 796, 134, 4068, 2195, 1057, 2217, 3275, 1702, 1608, 2014, 2837, 1887, 1544, 597, 406, 96, 1163, 2819, 470, 1833, 657, 2556, 227, 1709, 4073, 3253, 2422, 3050, 2518, 3854, 3607, 3050, 987, 1514, 2536, 3133, 967, 4075, 1842, 1408, 1435, 2735, 2228, 908, 3500, 4032, 3983, 1547, 885, 3071, 2984, 3024, 1666, 2261, 2425, 273, 3122, 3049, 3528, 3370, 3808, 1365, 3680, 3060, 3574, 203, 3146, 1472, 3659, 2237, 2715, 4073, 2342, 3678, 667, 2079, 3348, 1585, 946, 1700, 436, 2825, 969, 2075, 1610, 4052, 3043, 2220, 1096, 2548, 640, 628, 733, 889, 413, 3822, 1246, 2693, 3236, 2684, 1823, 2811, 2978, 2866, 2723, 3439, 3222, 1354, 3336, 1260, 2476, 3368, 158, 2091],[2282, 871, 36, 3148, 2928, 3572, 2856, 1064, 3153, 403, 1026, 1039, 3821, 852, 3713, 1051, 1414, 4086, 547, 1394, 2737, 3850, 3798, 168, 3406, 629, 2967, 1041, 2923, 897, 2618, 1305, 1447, 1879, 1687, 2010, 2671, 1688, 3441, 2205, 2885, 1391, 2225, 4074, 1922, 2594, 110, 2141, 2902, 1644, 361, 1483, 613, 1320, 621, 3644, 343, 2501, 1777, 1236, 1592, 3841, 671, 1581, 4083, 3677, 2980, 3408, 1031, 3631, 734, 3741, 201, 381, 862, 2856, 2385, 3052, 753, 852, 3737, 3103, 2853, 2397, 2371, 3397, 361, 2707, 928, 1751, 3590, 2593, 3193, 2414, 994, 2547, 726, 2292, 774, 990, 557, 1740, 2490, 2625, 3561, 2642, 1176, 1361, 2572, 934, 262, 944, 1496, 2341, 1705, 495, 3203, 849, 3949, 3778, 3976, 1936, 573, 3440, 709, 255, 1018, 4094, 3032, 3622, 3993, 3306, 3715, 1838, 507, 3565, 3230, 2810, 2587, 3250, 3970, 3026, 3694, 3429, 3545, 3855, 1044, 1486, 2300, 3553, 2016, 3487, 496, 685, 2943, 1796, 2168, 1900, 3279, 1227, 2047, 452, 1596, 1182, 330, 635, 498, 1970, 1888, 1903, 1669, 868, 1740, 823, 1966, 53, 3549, 3118, 1865, 3542, 1299, 2818, 1987, 3856, 3885, 450, 132, 2670, 1128, 1040, 2175, 1965, 1866, 1233, 2497, 1498, 525, 154, 1226, 429],[2993, 2492, 4074, 3581, 1061, 3297, 1263, 3544, 1767, 963, 684, 3808, 1897, 380, 1592, 3038, 3982, 1719, 605, 3867, 3335, 2636, 174, 260, 938, 1259, 3155, 3481, 151, 3084, 2680, 3561, 586, 1214, 2715, 3224, 1579, 358, 1126, 313, 4009, 3237, 2869, 1808, 11, 3210, 2600, 856, 627, 1914, 3247, 2924, 1627, 2410, 815, 623, 2009, 3048, 3339, 1218, 631, 3509, 1524, 1266, 2450, 1195, 2119, 2434, 1755, 3665, 534, 415, 3819, 4055, 2680, 1233, 3384, 281, 1395, 2109, 1290, 558, 1362, 3751, 1295, 3019, 133, 1368, 1442, 2248, 1916, 2806, 370, 84, 3176, 3360, 1485, 1607, 2606, 1904, 3189, 2337, 2704, 3391, 241, 3568, 2948, 4001, 1930, 530, 2105, 3833, 644, 2718, 835, 3765, 3431, 891, 682, 1720, 1471, 3264, 1897, 3682, 2505, 2832, 1132, 2128, 1728, 776, 2000, 3894, 3025, 438, 3684, 738, 2711, 1988, 1312, 483, 128, 2337, 170, 763, 3199, 1978, 1131, 1463, 1009, 2368, 3317, 1001, 905, 2027, 3932, 419, 797, 1705, 2648, 1371, 3479, 1919, 3867, 3942, 481, 2834, 2672, 2430, 1425, 3548, 3485, 2907, 3488, 527, 2842, 191, 915, 171, 13, 1702, 1232, 598, 2592, 1386, 3416, 2209, 62, 645, 3692, 1918, 3038, 2077, 2742, 229, 425, 2109, 3951, 2308, 3723, 1226],[1229, 2781, 1339, 574, 3466, 2839, 980, 3071, 3980, 3810, 1689, 3449, 1376, 2813, 2497, 1218, 871, 2649, 1662, 1649, 1316, 1433, 2439, 2477, 1313, 1016, 3545, 3708, 93, 1043, 589, 3044, 576, 28, 3162, 39, 3690, 3808, 1728, 3357, 2772, 1755, 1623, 20, 749, 1868, 126, 1892, 3853, 2050, 263, 1668, 1409, 2671, 3282, 700, 2691, 1071, 1307, 2899, 3913, 3054, 577, 3615, 2031, 2817, 2878, 2620, 76, 3025, 491, 1570, 2501, 1636, 1665, 3251, 76, 256, 1897, 1940, 2009, 1164, 622, 2125, 1666, 3242, 1311, 3466, 2490, 2296, 459, 2550, 884, 2894, 3390, 1450, 2048, 2318, 805, 3283, 2552, 3706, 1542, 616, 3354, 823, 3612, 2134, 1447, 146, 2988, 3331, 1422, 2648, 1898, 3810, 1718, 1216, 2745, 1053, 2591, 2346, 3214, 2572, 1272, 483, 1034, 449, 2912, 267, 2011, 3091, 103, 1941, 2739, 3720, 2003, 2488, 1581, 2808, 2084, 555, 4038, 770, 868, 2496, 2975, 2388, 3086, 1368, 2959, 2638, 1460, 1324, 711, 792, 2847, 1255, 418, 1736, 3091, 4003, 1936, 1734, 1055, 1481, 2277, 1432, 1772, 896, 1475, 3544, 1922, 1705, 3024, 1918, 1048, 1703, 2942, 299, 741, 1141, 1417, 227, 1762, 314, 3380, 32, 1364, 1437, 3072, 282, 2519, 225, 3473, 1833, 3139, 671, 2317, 3522],[3191, 2657, 121, 1383, 3823, 1168, 2132, 2272, 1245, 809, 228, 699, 3431, 2007, 3790, 1066, 668, 677, 577, 1212, 3764, 2388, 2893, 2217, 2025, 3453, 1495, 1023, 1035, 3410, 2408, 1845, 2356, 3654, 3025, 1774, 39, 275, 1423, 1731, 3991, 3870, 2386, 1394, 2489, 1431, 3664, 2836, 2912, 1190, 3175, 350, 1898, 2972, 2007, 3143, 3738, 317, 3107, 1673, 1387, 3755, 3584, 4041, 3879, 1227, 4039, 1132, 554, 3193, 719, 3000, 2485, 1798, 2165, 930, 2448, 280, 2093, 2514, 748, 890, 2094, 301, 3473, 3962, 3169, 250, 125, 728, 898, 3008, 3445, 3443, 447, 3591, 1567, 3713, 296, 300, 3219, 2931, 3492, 3438, 0, 1356, 314, 2204, 536, 2086, 2541, 1920, 1130, 1629, 649, 315, 1343, 2104, 1512, 3984, 1448, 826, 1455, 2635, 2617, 328, 3066, 753, 757, 2626, 746, 2906, 3911, 660, 3162, 137, 1015, 3, 3608, 527, 618, 259, 2118, 1171, 85, 3812, 782, 468, 1344, 2689, 1210, 3277, 976, 1650, 3008, 3401, 897, 3524, 2131, 348, 2485, 1541, 2141, 3053, 1063, 3064, 1428, 1826, 3970, 1222, 1055, 3222, 3959, 1014, 2113, 2704, 2862, 3243, 1914, 6, 3823, 910, 3067, 361, 2772, 2108, 3354, 2762, 2729, 2837, 735, 1296, 1951, 3535, 3597, 2436, 1442, 1181, 1503, 254],[556, 3762, 2168, 2489, 2551, 2878, 3720, 249, 158, 3497, 1573, 2794, 2459, 517, 171, 2059, 3867, 1557, 36, 2021, 1573, 1200, 354, 3346, 2067, 352, 2474, 3519, 1556, 446, 2782, 4001, 802, 1493, 2702, 2866, 3385, 1108, 3079, 2738, 1699, 156, 2394, 1908, 528, 2680, 2568, 2894, 522, 2662, 1848, 735, 1628, 3639, 2368, 2104, 2720, 3354, 4043, 1731, 3965, 2853, 656, 3715, 13, 1477, 2325, 611, 3715, 2608, 2818, 1135, 1543, 244, 1342, 2022, 1241, 694, 3132, 1983, 2666, 3584, 3278, 1140, 2895, 1489, 646, 3906, 2049, 1439, 1877, 3538, 2125, 2964, 126, 523, 1570, 633, 229, 234, 971, 2427, 646, 1988, 1852, 1214, 1577, 2406, 746, 2623, 1814, 1301, 2234, 2277, 4043, 3970, 2936, 1488, 1250, 2775, 3211, 3956, 2217, 475, 3186, 4062, 2087, 425, 1647, 2108, 2913, 1706, 3124, 712, 3504, 3292, 12, 2858, 2478, 1570, 1025, 359, 1062, 1012, 170, 2768, 30, 78, 1715, 2345, 1695, 81, 2479, 1362, 381, 3896, 259, 540, 204, 764, 3093, 2840, 2213, 3419, 3132, 3157, 2623, 2063, 1, 146, 933, 1308, 3301, 4018, 8, 1152, 2624, 1354, 3335, 2120, 2547, 2194, 2531, 3560, 1016, 2937, 666, 774, 1707, 1095, 1663, 2733, 2740, 2216, 979, 497, 3206, 2324, 2112, 3052],[767, 3946, 3013, 3849, 694, 3759, 3801, 2892, 137, 3366, 1104, 899, 3634, 2308, 3259, 1971, 2896, 3134, 3985, 3015, 209, 2781, 3703, 3843, 1610, 2949, 4058, 733, 1070, 2453, 3948, 2605, 2252, 1457, 988, 2945, 3139, 1412, 2906, 4055, 3453, 2016, 453, 4050, 2850, 1854, 2445, 3884, 2491, 1475, 2182, 1018, 3905, 3495, 3925, 2301, 440, 2007, 3819, 1729, 2797, 1958, 3843, 250, 530, 1065, 2011, 1733, 741, 3181, 2997, 1829, 2942, 3077, 2578, 892, 707, 3772, 302, 1218, 2999, 2946, 1151, 3986, 3034, 2345, 3694, 2787, 2155, 2445, 3908, 3823, 3706, 3809, 3166, 2201, 234, 3524, 1949, 2618, 3835, 1438, 3474, 2916, 3489, 2151, 3800, 2314, 2813, 2449, 17, 3710, 2780, 2757, 705, 3187, 878, 3552, 3409, 3630, 2828, 3059, 1887, 856, 2899, 3074, 778, 1111, 683, 3231, 1852, 641, 3275, 1937, 1510, 363, 1914, 2847, 3627, 1603, 3878, 4093, 1830, 3301, 6, 1561, 2424, 1592, 4081, 3583, 3971, 1640, 357, 3194, 2229, 516, 3286, 2018, 2542, 1372, 4075, 2329, 2239, 2033, 2224, 603, 2920, 1230, 1083, 693, 1117, 1666, 495, 1747, 1408, 678, 3515, 1959, 1819, 2118, 367, 866, 4067, 1750, 830, 1989, 1193, 3521, 3840, 2818, 3467, 1251, 1602, 308, 617, 522, 3488, 1836, 1076, 3699],[1949, 2209, 3989, 1548, 1039, 3050, 1978, 4006, 2505, 755, 2701, 1982, 427, 159, 1046, 3477, 40, 1204, 3133, 1379, 1705, 1878, 2773, 674, 2156, 2441, 1695, 2323, 2765, 2670, 3314, 1804, 3319, 238, 838, 1094, 3249, 1707, 3429, 135, 3327, 1338, 1858, 1689, 2523, 3076, 176, 1312, 1309, 3495, 4091, 3255, 2332, 1460, 1125, 3245, 826, 1057, 3353, 945, 2827, 924, 1688, 1097, 1484, 991, 3817, 3918, 3865, 1511, 2455, 3226, 1339, 356, 2205, 875, 2751, 2431, 2813, 2964, 1913, 762, 3063, 3783, 776, 3378, 873, 3036, 81, 2048, 1087, 3149, 3504, 3993, 2579, 2600, 3675, 3797, 1699, 3062, 2342, 1396, 3468, 2284, 323, 473, 2759, 2872, 2231, 4021, 2688, 3805, 28, 102, 2219, 1606, 3854, 1874, 2473, 3761, 2844, 3375, 4057, 4047, 2253, 2428, 2989, 327, 3463, 1531, 3087, 2738, 3451, 1312, 1893, 2754, 1959, 333, 3427, 3597, 799, 1769, 2616, 987, 3612, 2833, 3984, 2070, 1588, 360, 2698, 445, 1581, 1116, 2963, 3094, 3033, 2514, 2580, 2647, 1010, 1425, 592, 1182, 1486, 989, 1054, 2061, 169, 1433, 1640, 522, 2359, 3476, 2360, 4015, 831, 158, 2619, 3515, 483, 1716, 544, 3076, 2228, 2637, 2427, 1497, 1686, 3136, 1779, 1816, 3864, 876, 1840, 4070, 3474, 3596, 2490, 3561],[2329, 520, 3206, 207, 2481, 1501, 1427, 2110, 1026, 897, 505, 683, 502, 1794, 3389, 1421, 890, 775, 862, 3998, 1166, 2336, 739, 4090, 143, 2362, 3316, 1181, 1754, 3575, 4085, 3397, 407, 3155, 3703, 3333, 1705, 1585, 1243, 2303, 3011, 3696, 1984, 124, 442, 361, 437, 4062, 665, 1102, 3365, 2402, 293, 483, 529, 1767, 1615, 3359, 1769, 1341, 3961, 2938, 2660, 2132, 3123, 3177, 1126, 507, 3379, 3658, 1521, 1523, 1300, 3018, 249, 1980, 2487, 1242, 2104, 1134, 3443, 2686, 1981, 2095, 1792, 2603, 2470, 3244, 291, 1972, 358, 1991, 239, 711, 2528, 2925, 3607, 1282, 1622, 2780, 1030, 2543, 434, 3781, 99, 3635, 1781, 1411, 1315, 3764, 850, 3454, 2314, 1165, 1910, 3460, 363, 2062, 348, 4028, 2801, 743, 916, 3815, 625, 1484, 1948, 436, 1853, 2840, 1196, 2008, 662, 274, 3255, 974, 3001, 3692, 3866, 1680, 2303, 1320, 2162, 2430, 126, 3442, 3927, 1586, 1909, 2174, 972, 189, 3291, 2021, 2548, 3560, 1967, 173, 3927, 2891, 27, 2046, 937, 4091, 3418, 3822, 3341, 4000, 3811, 857, 3691, 3664, 2576, 3177, 3702, 1916, 2431, 656, 3223, 520, 1335, 1471, 974, 1467, 1465, 421, 646, 88, 3672, 73, 271, 21, 1773, 2348, 3971, 767, 1173, 3851, 1689, 1557],[1606, 1766, 1974, 2591, 370, 2865, 3610, 3122, 4056, 3531, 3552, 1593, 3037, 3722, 2782, 2936, 1756, 944, 3089, 1005, 1712, 1008, 489, 753, 367, 2848, 2399, 453, 1185, 3686, 1411, 2517, 473, 607, 822, 1777, 2918, 3947, 3829, 1745, 218, 4067, 2025, 3914, 2260, 131, 2825, 3933, 3411, 3518, 1257, 579, 3615, 670, 1278, 1662, 3009, 772, 3053, 2296, 123, 3482, 3238, 3210, 36, 334, 737, 799, 3878, 3330, 389, 3506, 2543, 576, 1085, 858, 3321, 1581, 2026, 3061, 220, 1264, 3265, 3976, 985, 88, 2118, 2150, 3895, 3513, 202, 2439, 2737, 1492, 3129, 27, 666, 3633, 2179, 1778, 3318, 1836, 1512, 1811, 2521, 3560, 3440, 2052, 1409, 1617, 1019, 2421, 9, 1428, 1873, 2134, 1669, 1898, 322, 2497, 377, 3875, 3741, 3196, 1213, 2971, 231, 3193, 1020, 1468, 2625, 1809, 1162, 2408, 417, 1390, 301, 3915, 1697, 2968, 3363, 1707, 19, 1658, 3900, 1868, 3647, 1066, 3547, 1504, 569, 245, 2832, 2838, 3499, 466, 3465, 2130, 2747, 1834, 2119, 3137, 1462, 180, 1358, 3900, 257, 189, 3185, 932, 907, 421, 3095, 3688, 2099, 1131, 2922, 1106, 2083, 3021, 3451, 2724, 758, 3040, 1055, 3557, 1328, 2043, 576, 2332, 2484, 3407, 854, 631, 2870, 652, 1908, 2113, 2523, 3942],[3199, 1877, 21, 1904, 940, 3529, 3789, 1524, 1710, 2853, 1338, 1974, 2494, 152, 3023, 2989, 3741, 2001, 1855, 841, 3594, 3779, 951, 2794, 3565, 130, 33, 2792, 1530, 2613, 4007, 2560, 3655, 234, 1971, 1205, 90, 200, 281, 689, 2683, 638, 3947, 1075, 1014, 2467, 1183, 2847, 2583, 2173, 3183, 369, 944, 2415, 3640, 3374, 2134, 2426, 419, 3171, 1196, 3548, 2291, 3832, 2021, 3495, 444, 1226, 3357, 2992, 2751, 2785, 2710, 2175, 3687, 294, 3273, 3624, 1315, 1492, 2965, 1493, 1214, 792, 403, 3772, 2445, 736, 1775, 690, 950, 2478, 1413, 1254, 4031, 1718, 2975, 2044, 959, 498, 3962, 2308, 1852, 747, 752, 1343, 3502, 766, 1677, 3174, 3031, 2556, 3094, 756, 2387, 1771, 1650, 536, 927, 3805, 716, 2884, 3561, 725, 2775, 587, 3391, 3920, 769, 3401, 2656, 1176, 2316, 3890, 4027, 3281, 1785, 3151, 1655, 2778, 3105, 860, 2668, 3903, 3434, 3839, 216, 2044, 2249, 2185, 1872, 1176, 4043, 2440, 1103, 2079, 1372, 1139, 3326, 2090, 74, 2146, 2276, 3721, 1946, 3415, 350, 2295, 2940, 2798, 1171, 3703, 3719, 3677, 2896, 1107, 2171, 2354, 1679, 1992, 1604, 3846, 216, 3577, 3716, 3514, 1199, 2836, 281, 3632, 1047, 2512, 1491, 3007, 3946, 1333, 1831, 1848, 4061, 2760],[283, 3690, 784, 2732, 3778, 245, 2952, 814, 2312, 1188, 51, 1808, 2421, 1901, 1310, 4012, 2137, 1772, 3485, 2472, 794, 2851, 155, 222, 3254, 90, 1162, 3145, 1324, 1408, 3330, 179, 3133, 2886, 825, 1921, 3772, 3564, 931, 3481, 2983, 989, 102, 3028, 4094, 1179, 806, 3047, 3061, 3137, 377, 868, 3616, 2088, 2334, 675, 908, 3786, 2514, 73, 1887, 3525, 1304, 11, 531, 1885, 2162, 2046, 905, 404, 3850, 3761, 691, 97, 411, 1594, 207, 2476, 2438, 1251, 285, 3667, 2440, 3129, 1144, 1257, 0, 1456, 3564, 462, 2672, 1567, 1609, 3428, 1146, 1940, 847, 3911, 3429, 3077, 3378, 604, 1712, 62, 1968, 3258, 1512, 172, 1111, 2669, 576, 2206, 3883, 2163, 3517, 1214, 3906, 1634, 2041, 390, 2904, 341, 1870, 1132, 2650, 2467, 796, 992, 1711, 843, 2136, 1605, 519, 178, 3505, 1901, 2815, 2567, 442, 268, 492, 3492, 1985, 2959, 1663, 886, 3895, 2213, 2503, 2586, 1662, 3577, 2137, 783, 1350, 1875, 1698, 1641, 199, 817, 436, 3738, 397, 3423, 1159, 2160, 2604, 1048, 2287, 2663, 1473, 139, 2363, 1715, 3397, 2238, 731, 1393, 1013, 3632, 1194, 1076, 2729, 2406, 2764, 2933, 1428, 815, 2486, 3122, 3024, 3013, 1826, 3570, 525, 591, 1127, 2256, 2826, 12],[2715, 2494, 137, 1557, 157, 1101, 1841, 883, 2931, 967, 3765, 228, 1827, 4038, 713, 3316, 2132, 397, 1898, 2962, 2243, 3479, 3568, 583, 2206, 3500, 3514, 543, 400, 661, 3271, 1292, 1142, 3827, 606, 791, 3518, 1221, 3938, 1873, 1880, 3471, 2288, 2787, 1253, 111, 166, 3433, 1998, 815, 3139, 3227, 1110, 662, 3819, 3363, 879, 2860, 658, 1090, 3424, 85, 1845, 2323, 1427, 3379, 2114, 1787, 726, 736, 636, 1734, 875, 1012, 2625, 1748, 2441, 3988, 524, 888, 2788, 3316, 3620, 1868, 1217, 450, 614, 922, 4030, 4002, 18, 1809, 3573, 524, 959, 3551, 173, 559, 1538, 2916, 1007, 3492, 3042, 1285, 929, 3240, 2412, 3020, 3440, 3510, 2436, 2027, 1705, 531, 2138, 1531, 3013, 700, 1165, 4072, 677, 1123, 1058, 2870, 2291, 2937, 2832, 863, 1238, 3383, 2222, 3453, 3736, 3558, 3092, 382, 86, 86, 2911, 272, 1563, 3780, 1620, 2499, 677, 3878, 2178, 197, 2116, 3845, 115, 3212, 2029, 805, 3289, 3306, 2409, 3671, 2309, 1068, 2219, 2471, 662, 1399, 2366, 2721, 10, 1184, 1590, 2336, 305, 1184, 3733, 3565, 1815, 1125, 441, 2991, 3747, 3256, 2236, 3001, 1660, 2169, 3614, 1485, 3608, 1748, 3488, 304, 1186, 3358, 1981, 2885, 2925, 1923, 3529, 1223, 921, 1972],[1429, 2922, 1785, 2101, 1150, 3632, 2917, 2222, 2105, 1154, 483, 2858, 926, 1222, 2201, 16, 2691, 3908, 2621, 2330, 2380, 1922, 421, 3156, 2143, 1159, 225, 2606, 2614, 1711, 3478, 4029, 3416, 3928, 768, 672, 2298, 1366, 3304, 3288, 3675, 2124, 3880, 3087, 3985, 1302, 2440, 13, 1237, 3237, 3196, 134, 3413, 2803, 800, 1620, 1656, 3749, 3534, 3717, 3063, 1428, 734, 1281, 3836, 3115, 2413, 3617, 3711, 3588, 3349, 680, 2677, 338, 2566, 1560, 3249, 1533, 1898, 800, 2724, 2715, 1407, 3562, 3538, 1351, 898, 331, 1955, 1977, 765, 3072, 775, 3728, 3429, 2015, 688, 1976, 2536, 3320, 419, 1461, 1524, 2395, 2842, 549, 1230, 854, 2035, 3172, 1075, 3199, 1392, 2140, 2400, 2316, 3158, 2268, 3816, 458, 1792, 801, 3908, 342, 3171, 154, 1300, 3313, 1194, 48, 4091, 673, 1655, 53, 2957, 712, 1089, 2226, 2271, 1342, 1716, 670, 1315, 1215, 993, 1114, 2702, 870, 608, 921, 2434, 4076, 2874, 3825, 3327, 1483, 3988, 1042, 1342, 3352, 2396, 3872, 675, 1321, 3415, 2750, 987, 1845, 3342, 3123, 3679, 1703, 1154, 2466, 3924, 3905, 473, 2560, 1700, 892, 847, 769, 606, 1119, 3514, 3702, 3631, 2403, 1591, 2083, 2283, 1735, 2256, 1632, 3398, 1964, 2672, 418, 2091, 779],[2347, 3224, 594, 3546, 993, 708, 3530, 3816, 3703, 568, 1458, 479, 3277, 1126, 937, 2418, 2943, 2864, 1891, 735, 2651, 426, 517, 3257, 3571, 2442, 37, 3839, 2531, 1654, 797, 2520, 1856, 515, 1242, 3217, 3302, 2417, 1993, 193, 844, 3901, 3042, 3102, 1667, 2411, 102, 3130, 2253, 2486, 2717, 793, 766, 933, 2917, 2140, 1925, 3218, 970, 75, 2379, 544, 2088, 1636, 2695, 3502, 1425, 556, 2189, 3885, 1472, 2886, 1697, 463, 618, 986, 1728, 3841, 1111, 174, 970, 1301, 3802, 3004, 757, 3278, 2293, 2228, 3870, 321, 3052, 2918, 3570, 3383, 2123, 811, 2849, 2248, 3921, 3150, 2810, 3659, 3266, 765, 2456, 2449, 1373, 3767, 4083, 1248, 4033, 3472, 1918, 1644, 2404, 271, 306, 2969, 146, 2819, 616, 1829, 3694, 1492, 532, 1493, 3370, 1754, 2379, 3019, 2111, 2686, 4023, 314, 1791, 2971, 1943, 1905, 1034, 3436, 3248, 2542, 1788, 4070, 3689, 3698, 1260, 3829, 3156, 2393, 1883, 321, 1827, 3813, 3377, 3974, 935, 260, 3774, 1005, 705, 604, 3338, 870, 229, 3113, 2391, 646, 1478, 977, 3506, 3734, 986, 970, 2605, 740, 163, 3224, 1846, 3674, 3363, 2302, 159, 1024, 2429, 2188, 1449, 948, 3024, 2073, 1589, 1091, 2501, 2496, 3574, 389, 2798, 3681, 3893, 3581],[3140, 2340, 1652, 2456, 4090, 3607, 3595, 2973, 2964, 950, 2586, 822, 1282, 1746, 3404, 1053, 200, 2175, 996, 2984, 1961, 116, 1022, 3004, 2442, 2960, 3766, 3598, 3129, 2936, 3730, 3640, 3097, 1779, 1424, 2057, 560, 1587, 718, 3782, 2772, 1307, 2587, 2376, 2600, 3732, 2877, 3815, 3930, 1956, 1568, 2118, 3076, 2711, 2956, 3074, 786, 31, 1263, 2459, 891, 2269, 2236, 163, 1282, 3174, 1, 1974, 3950, 2690, 2180, 2856, 1979, 3144, 1874, 641, 2208, 1947, 933, 1872, 1515, 633, 2961, 648, 3405, 550, 3220, 1364, 2815, 811, 271, 4090, 79, 642, 2759, 28, 3655, 1129, 2484, 2447, 3948, 345, 562, 1702, 1825, 3326, 183, 2366, 3596, 2236, 3961, 3941, 2677, 734, 936, 1131, 419, 317, 931, 882, 1686, 1016, 256, 1326, 657, 1674, 2826, 563, 2867, 1210, 1461, 1289, 3200, 1989, 2016, 1675, 290, 2846, 3244, 86, 1045, 1039, 570, 3915, 1097, 1729, 965, 2195, 2718, 55, 2796, 2272, 506, 85, 164, 2543, 918, 3723, 3441, 2702, 1384, 546, 3639, 21, 3839, 2693, 3122, 119, 259, 1052, 1625, 755, 1293, 1535, 90, 1767, 1809, 78, 1685, 357, 1724, 2429, 4043, 749, 443, 3333, 111, 2817, 1471, 2320, 4037, 38, 525, 2906, 1912, 3191, 156, 1029, 690, 782],[674, 4051, 3202, 2883, 19, 3901, 1098, 3019, 1513, 3682, 2735, 2719, 3871, 821, 2872, 1950, 3389, 2510, 3253, 4068, 3709, 317, 2320, 845, 259, 3883, 2633, 2102, 1871, 3708, 507, 2832, 179, 1158, 3953, 2455, 3097, 3390, 3100, 4052, 1212, 3782, 4009, 2248, 3054, 3919, 1634, 3794, 2299, 4060, 2514, 3121, 1595, 2560, 3993, 1177, 232, 1444, 2505, 3602, 2907, 1304, 980, 4017, 3621, 2093, 2204, 1902, 1124, 2329, 517, 1332, 3368, 350, 2908, 3027, 2843, 290, 3171, 1296, 2064, 1738, 2684, 757, 265, 3036, 3081, 2076, 3834, 2517, 2709, 1207, 3251, 2046, 1513, 3377, 2061, 2964, 2625, 1907, 2091, 2438, 2897, 223, 3594, 3340, 1187, 615, 1372, 3579, 3592, 2621, 1055, 3910, 4076, 3621, 968, 558, 1256, 2351, 2996, 3080, 3587, 3334, 2729, 2035, 1914, 1669, 619, 3174, 578, 2374, 31, 2021, 25, 1128, 695, 326, 3236, 1495, 3718, 2630, 129, 785, 3426, 1769, 1603, 539, 2684, 1574, 1915, 3751, 2438, 3346, 1227, 825, 8, 1405, 4079, 3926, 2638, 2365, 62, 2090, 741, 1557, 3245, 328, 2830, 3427, 4011, 526, 395, 1980, 2670, 4028, 1999, 3790, 2152, 2980, 2076, 2463, 2012, 166, 3481, 1570, 1600, 2325, 2618, 1065, 1234, 125, 3561, 3200, 1683, 3973, 309, 2690, 2779, 511],[2471, 3030, 2047, 3585, 3843, 435, 3163, 3003, 625, 2663, 2729, 2300, 1691, 3904, 2817, 629, 3212, 42, 1134, 2417, 3306, 784, 971, 3151, 1325, 459, 3289, 2258, 3882, 3874, 1097, 2366, 2884, 2542, 1648, 3344, 3179, 2248, 515, 3302, 1380, 1273, 1241, 1593, 2084, 2452, 3177, 3335, 1856, 1365, 3456, 4065, 1138, 4030, 2158, 1916, 120, 3049, 1818, 1647, 397, 2656, 1420, 1392, 165, 1077, 3251, 614, 580, 3093, 1637, 756, 3232, 2932, 2479, 1084, 3529, 479, 1946, 2181, 4068, 2451, 500, 2522, 328, 2215, 3295, 2383, 3227, 2755, 2858, 2799, 2238, 673, 3798, 1890, 3217, 2400, 3263, 472, 3450, 3377, 2830, 824, 2542, 309, 3364, 203, 2332, 2885, 2970, 2079, 680, 230, 997, 2397, 2669, 2171, 3044, 1148, 2263, 3028, 3655, 3792, 1586, 2166, 395, 1481, 2424, 3291, 3770, 2656, 1862, 2258, 25, 3319, 2545, 2778, 2225, 168, 3832, 3345, 1069, 2644, 3790, 1522, 3545, 1531, 965, 3242, 3973, 3845, 3653, 2685, 1817, 1558, 3148, 309, 804, 2446, 3780, 344, 604, 3318, 1835, 3761, 3073, 3338, 3391, 163, 1007, 2567, 3469, 1484, 1600, 2803, 3413, 1063, 2762, 3843, 209, 2359, 2994, 3047, 2115, 1334, 1720, 307, 1366, 2107, 1025, 3167, 1588, 648, 3665, 1320, 1374, 1119, 3952, 982],[1952, 258, 4089, 3785, 567, 3882, 3333, 2316, 629, 2739, 3848, 1088, 482, 2107, 3283, 1087, 3415, 3646, 672, 3486, 1926, 2878, 21, 2298, 3372, 3400, 1339, 1365, 979, 2662, 1552, 3320, 1034, 2614, 3273, 3120, 3318, 1045, 1871, 3972, 3582, 3955, 2860, 1252, 3454, 2926, 1945, 1598, 3680, 2379, 228, 975, 2980, 235, 809, 595, 2702, 672, 282, 705, 3436, 3126, 3810, 2737, 3626, 1454, 3158, 1308, 3734, 3363, 3414, 81, 729, 3749, 2396, 2771, 493, 847, 3796, 261, 2629, 2746, 1911, 2061, 2564, 3411, 4040, 2826, 1287, 2320, 481, 1729, 538, 3360, 770, 511, 2558, 2038, 1669, 625, 1837, 3825, 680, 51, 2352, 2010, 3151, 3446, 415, 1834, 3435, 1535, 1810, 1411, 2409, 1984, 2005, 3124, 1911, 821, 2329, 3903, 915, 3761, 1609, 282, 1689, 1383, 4074, 1470, 3360, 1682, 521, 837, 523, 2558, 887, 1548, 3545, 1676, 1157, 2723, 3340, 2529, 3395, 3377, 3733, 3209, 625, 501, 2423, 3647, 1630, 2379, 3117, 511, 2829, 1178, 1980, 3717, 1175, 3602, 2252, 4023, 2132, 3615, 1163, 1620, 1690, 2977, 2501, 756, 304, 1950, 4017, 2104, 2012, 3657, 1739, 1897, 325, 2061, 2273, 557, 3660, 2729, 151, 4055, 1789, 872, 2332, 2694, 1535, 2228, 2452, 3364, 3430, 1659, 1756, 3757],[2689, 3483, 632, 3272, 2281, 1889, 2202, 1988, 407, 163, 1311, 437, 3946, 3807, 4049, 2781, 3404, 3025, 3275, 404, 2070, 4019, 2259, 3985, 505, 1302, 3923, 3270, 1969, 4060, 3209, 691, 3665, 48, 1913, 3850, 408, 3985, 2824, 3519, 2093, 3565, 3235, 1357, 3868, 4015, 669, 427, 3087, 604, 1277, 2115, 2580, 1516, 3684, 3427, 1148, 1850, 43, 3744, 3965, 1247, 1973, 668, 1362, 1507, 3506, 3421, 1867, 1783, 3434, 1736, 1789, 1619, 2306, 932, 841, 1606, 1495, 1464, 2224, 1987, 2291, 2585, 2856, 1636, 2699, 2551, 1713, 2383, 840, 1450, 3748, 494, 2047, 977, 2561, 764, 2903, 2742, 69, 1002, 4007, 1494, 2243, 3836, 3707, 3331, 974, 595, 1372, 2846, 1546, 2023, 2124, 3473, 1018, 820, 2417, 2304, 2202, 572, 75, 543, 3997, 2342, 1831, 2310, 2981, 1042, 3026, 1505, 715, 741, 3675, 2954, 1457, 1531, 3705, 738, 2253, 2130, 1996, 2123, 3611, 2548, 1367, 368, 714, 1054, 3393, 2916, 357, 1491, 2880, 3746, 969, 2624, 988, 1595, 3415, 1976, 111, 855, 1003, 3261, 268, 3216, 284, 3261, 165, 3989, 2580, 1253, 65, 339, 3382, 3447, 2545, 2691, 2347, 1595, 3746, 3816, 1598, 206, 1681, 2923, 1527, 2162, 3754, 3446, 775, 2536, 506, 332, 2729, 2580, 1964, 3539],[1851, 414, 2145, 611, 3981, 3279, 839, 1602, 542, 2213, 2245, 644, 2343, 16, 444, 2780, 1541, 557, 1377, 2121, 170, 1260, 414, 986, 909, 3360, 1399, 1278, 828, 1131, 1811, 2378, 3950, 2380, 3938, 490, 1828, 1086, 2732, 165, 1968, 643, 3153, 1807, 2402, 167, 305, 1727, 2343, 2288, 368, 3062, 3475, 132, 2186, 3818, 3357, 2346, 1377, 2049, 1831, 2293, 1410, 3455, 3303, 3552, 4025, 329, 2659, 4087, 1982, 1382, 18, 2492, 107, 2731, 884, 2581, 3271, 3679, 296, 1043, 3182, 998, 62, 2302, 236, 2162, 1417, 2853, 388, 2465, 2091, 1028, 991, 4094, 2460, 2632, 3405, 172, 323, 3253, 2981, 2481, 3721, 3818, 3491, 159, 326, 3754, 1161, 1025, 807, 1878, 3774, 3108, 3372, 3139, 2886, 28, 1876, 3948, 220, 1301, 3110, 1918, 2002, 3606, 1823, 1227, 2565, 1027, 596, 2605, 1451, 407, 3458, 843, 1492, 3291, 3984, 503, 3294, 1060, 3408, 840, 2472, 2924, 2379, 3944, 1337, 2996, 3611, 1350, 3826, 1732, 3809, 1403, 3201, 1850, 1166, 3944, 3119, 1708, 134, 3564, 3149, 2610, 262, 2081, 57, 183, 405, 1632, 1797, 2665, 2306, 647, 2491, 2612, 2388, 2044, 911, 1459, 3284, 1472, 3327, 677, 3774, 2719, 510, 3258, 3632, 3694, 4062, 1359, 3718, 2864, 1409, 1532],[2099, 3845, 1289, 986, 114, 2771, 3835, 1136, 3636, 3839, 1600, 2958, 3983, 1632, 53, 423, 1267, 786, 2840, 1890, 3477, 676, 2429, 1079, 3193, 8, 3115, 3315, 3273, 1534, 2648, 2036, 2365, 1348, 871, 78, 1967, 1781, 2152, 1931, 212, 1427, 530, 2048, 3804, 731, 3043, 1427, 2735, 1823, 2127, 1820, 2311, 448, 805, 451, 873, 1320, 2053, 1058, 1218, 480, 3976, 2243, 1127, 1744, 1122, 60, 40, 727, 519, 3485, 3098, 2740, 828, 2726, 2095, 2731, 1975, 301, 822, 2768, 830, 1182, 2474, 4031, 2857, 2586, 2882, 2185, 955, 2482, 1882, 3247, 2511, 1343, 3797, 1681, 3069, 2933, 3855, 3059, 339, 1444, 3193, 99, 3745, 1418, 2643, 2863, 3366, 3590, 4087, 3058, 3849, 385, 3246, 1420, 2558, 3572, 1809, 2281, 2389, 3270, 1867, 1279, 2251, 1769, 3304, 28, 750, 2108, 3505, 1822, 4082, 3474, 483, 3342, 1163, 1974, 3178, 2542, 1279, 1321, 2706, 3461, 399, 792, 1108, 1590, 2646, 1836, 3959, 2004, 1153, 531, 1921, 2472, 3938, 3104, 2276, 3133, 240, 851, 2720, 3452, 1860, 1959, 793, 2128, 3239, 3954, 1189, 181, 617, 38, 3857, 539, 1740, 3676, 1021, 3509, 2476, 3716, 3683, 653, 1421, 4074, 3491, 30, 2947, 3357, 2072, 1, 1226, 2758, 1539, 1807, 1253, 3324],[1264, 1677, 2383, 4079, 42, 260, 133, 3063, 109, 213, 2265, 2584, 1299, 3367, 2250, 2890, 2928, 4034, 2219, 3216, 1351, 1026, 2305, 3524, 1657, 2845, 1780, 267, 3547, 1124, 2485, 249, 787, 510, 3224, 3393, 565, 3200, 3145, 194, 2686, 4000, 3159, 2649, 971, 3296, 118, 4093, 2638, 627, 19, 2131, 634, 1647, 9, 3175, 1294, 1279, 1468, 3957, 4012, 405, 2666, 3509, 313, 465, 1522, 2484, 1447, 3976, 2973, 1433, 3635, 3667, 3847, 579, 3704, 2651, 3738, 3106, 992, 1643, 1089, 415, 660, 2219, 3908, 2236, 3242, 3514, 2831, 2104, 241, 3828, 744, 2478, 3259, 1723, 3066, 2274, 3168, 3443, 3350, 1043, 3557, 2499, 1989, 814, 3027, 1706, 1813, 1183, 2586, 195, 155, 2810, 1147, 3780, 2918, 1880, 2412, 559, 21, 1251, 3423, 1009, 1480, 1019, 3889, 642, 2385, 3991, 427, 1048, 3952, 864, 1948, 416, 3578, 3697, 2122, 867, 702, 4087, 3968, 3141, 3672, 2040, 2865, 3139, 1107, 42, 3805, 3196, 2765, 237, 3793, 2024, 15, 1903, 2001, 681, 246, 2518, 687, 2194, 75, 2467, 728, 3655, 3341, 519, 4019, 836, 1737, 2733, 2347, 1527, 102, 1505, 3619, 2099, 2575, 282, 1696, 56, 2431, 4028, 929, 3827, 1535, 3245, 2702, 543, 2187, 2397, 2157, 971, 2202, 512],[3809, 3821, 2057, 2697, 3449, 2744, 3626, 3995, 1994, 3431, 1824, 564, 1824, 1789, 1275, 3721, 2447, 1577, 2851, 652, 2364, 3445, 1341, 3227, 568, 2732, 2251, 621, 3516, 805, 2919, 1159, 1052, 63, 243, 270, 414, 3539, 3753, 2334, 2554, 2184, 329, 3905, 2554, 1988, 2472, 3779, 1377, 173, 3204, 1420, 3796, 334, 1274, 2477, 1465, 1947, 1820, 1546, 1785, 1479, 3411, 2055, 3203, 878, 2993, 2075, 1316, 2971, 3131, 3505, 1333, 3684, 2706, 750, 3899, 2383, 1118, 233, 1683, 4047, 2100, 2446, 3727, 115, 247, 1367, 2153, 2972, 11, 31, 233, 1286, 699, 685, 25, 1875, 233, 19, 3506, 3416, 3355, 1612, 2837, 1965, 1283, 241, 1769, 1205, 766, 1890, 1869, 546, 3385, 630, 1445, 2045, 14, 303, 2127, 1594, 614, 514, 1313, 3172, 1793, 1944, 3156, 3150, 2736, 873, 331, 282, 2031, 3871, 3599, 172, 2504, 1342, 418, 3586, 3556, 3959, 846, 3278, 736, 1615, 3482, 4073, 3849, 336, 1609, 2571, 968, 3443, 1679, 2703, 3843, 500, 2020, 345, 1390, 677, 2893, 3884, 3916, 1206, 1952, 983, 3562, 2760, 4066, 3748, 1408, 3191, 1404, 2342, 2603, 250, 3591, 4046, 2266, 1021, 3710, 650, 1180, 1672, 3832, 1190, 3795, 2360, 1314, 2627, 2663, 2573, 1489, 1095, 2089, 579],[1684, 1180, 3637, 2661, 4033, 2993, 3864, 1058, 3093, 3729, 4045, 1223, 3859, 3511, 1768, 1248, 3320, 2003, 2325, 701, 2734, 1712, 1262, 3246, 3153, 2714, 3411, 2339, 1893, 1244, 2621, 1449, 170, 371, 1031, 3704, 1323, 986, 2333, 3216, 2309, 1465, 1197, 3976, 3065, 3115, 3340, 2044, 4046, 3984, 1929, 1347, 549, 2456, 3053, 2653, 2366, 3001, 731, 460, 3809, 1806, 1988, 4075, 2993, 1070, 3712, 2861, 1913, 1381, 818, 3502, 3596, 3244, 408, 1321, 562, 2552, 1862, 3361, 2628, 1720, 3551, 3897, 696, 1011, 113, 1114, 2446, 1716, 3198, 3200, 4086, 3478, 2242, 1934, 1490, 4025, 3140, 3425, 1279, 2324, 3554, 746, 298, 61, 2608, 2432, 2905, 3668, 1235, 1905, 2232, 406, 188, 1853, 2679, 3594, 2459, 109, 1453, 2377, 1104, 1644, 413, 2070, 2493, 2127, 1978, 1818, 415, 2603, 96, 1966, 965, 112, 1529, 895, 2693, 1589, 1351, 2274, 2219, 480, 3438, 3237, 2585, 99, 2487, 3249, 1223, 683, 3588, 274, 4035, 2457, 1395, 2178, 1460, 3299, 113, 3136, 3276, 130, 3211, 2294, 2853, 2644, 1699, 502, 2363, 3278, 1609, 1360, 3654, 441, 3290, 3022, 3762, 3598, 4034, 1152, 3733, 3065, 1331, 2102, 3920, 3031, 2328, 998, 1959, 2789, 666, 3900, 2752, 3916, 1438, 1063, 3543, 1211],[231, 1195, 217, 2608, 3719, 3592, 3460, 3563, 314, 933, 1982, 2231, 2884, 79, 457, 4045, 1005, 2835, 579, 2032, 1065, 1424, 2027, 2298, 2924, 1653, 1743, 3011, 3705, 3519, 3642, 882, 3451, 692, 789, 1667, 3332, 821, 3945, 3042, 113, 382, 3680, 2961, 1702, 209, 2480, 4018, 3042, 1165, 1590, 967, 1679, 1216, 3100, 3696, 3894, 666, 340, 764, 2575, 1568, 3997, 1434, 3002, 263, 3756, 3892, 2413, 1557, 2325, 4018, 2483, 611, 70, 2365, 236, 1134, 1067, 1745, 742, 2246, 1479, 3812, 1000, 2047, 3398, 998, 3161, 1591, 831, 1630, 1364, 1617, 306, 1272, 820, 3812, 2241, 1204, 1266, 1151, 638, 375, 2527, 2359, 4068, 1391, 765, 1740, 1136, 179, 2636, 3023, 3993, 3049, 415, 542, 1900, 1145, 1141, 2353, 3462, 750, 2627, 2739, 3088, 648, 778, 17, 3306, 1647, 3241, 1748, 3040, 2601, 1612, 2574, 732, 1487, 1246, 1509, 231, 1743, 1486, 2492, 1991, 3761, 3717, 1498, 1512, 3100, 1789, 952, 3378, 867, 2306, 3625, 2553, 2952, 1151, 2028, 3837, 3992, 2725, 158, 3626, 3849, 479, 893, 3481, 116, 125, 1960, 3399, 1720, 2224, 849, 1966, 1027, 264, 250, 3051, 1683, 4069, 2681, 501, 885, 2445, 3359, 775, 2956, 1022, 1759, 2924, 807, 908, 2311, 31, 3736],[1899, 2776, 1584, 2724, 2102, 3154, 3632, 638, 3492, 2413, 419, 781, 3873, 633, 1823, 3690, 2327, 915, 2272, 926, 3878, 3361, 1872, 1619, 877, 762, 636, 3791, 2135, 687, 3365, 916, 240, 3718, 3848, 3661, 698, 3884, 3773, 1884, 2204, 1913, 2710, 2688, 443, 938, 2251, 3954, 894, 4063, 2695, 1233, 101, 2742, 3938, 2087, 1295, 2518, 93, 2283, 2325, 3720, 3280, 3021, 1982, 121, 2175, 3304, 1564, 2495, 2507, 2692, 2469, 3932, 3956, 828, 2832, 229, 2856, 2431, 2628, 251, 1829, 1235, 3806, 1863, 4036, 1920, 3721, 3814, 951, 920, 167, 175, 3500, 2959, 3606, 498, 1228, 434, 1159, 1032, 3391, 2769, 3608, 3779, 1134, 2856, 1674, 8, 3375, 282, 0, 865, 1826, 654, 888, 140, 1315, 848, 581, 1880, 3432, 894, 1626, 522, 3768, 509, 703, 3163, 2723, 1695, 2241, 2593, 3836, 2844, 3946, 2627, 1773, 1761, 132, 3738, 1399, 1893, 1700, 2668, 559, 4094, 486, 376, 319, 1102, 2233, 640, 3320, 785, 922, 2077, 3169, 685, 845, 3192, 924, 2204, 3486, 595, 1040, 1948, 3335, 3452, 1811, 1409, 3355, 3421, 3236, 2453, 333, 3314, 3493, 3519, 1815, 3874, 3686, 279, 1183, 2935, 3324, 198, 1123, 4032, 1758, 3555, 2514, 2318, 2319, 340, 646, 2982, 3042, 2647],[3808, 3289, 71, 1491, 3554, 891, 1023, 302, 2256, 247, 1020, 2505, 743, 3933, 456, 2735, 3146, 3421, 542, 2658, 1953, 2641, 1810, 1549, 2305, 3099, 279, 2137, 37, 1262, 1380, 86, 1892, 2526, 3889, 3360, 2671, 2376, 2260, 431, 2584, 1629, 1382, 2683, 2265, 1539, 1731, 2081, 153, 4040, 4042, 540, 2314, 2330, 3958, 2300, 921, 2821, 3765, 357, 2373, 1162, 1326, 351, 2444, 3255, 595, 248, 2916, 2320, 1909, 2598, 2578, 2674, 2763, 2346, 2136, 1872, 1620, 2492, 3211, 2713, 1752, 463, 1252, 3769, 2161, 695, 1450, 108, 3626, 585, 742, 405, 1830, 323, 1927, 3187, 2292, 880, 2834, 3895, 3968, 3544, 2370, 2607, 1614, 317, 2980, 792, 2204, 1810, 1963, 3424, 2477, 3421, 1522, 800, 1675, 1121, 2181, 2025, 83, 915, 3572, 3262, 3498, 3235, 2878, 2640, 1951, 1648, 3290, 918, 1761, 2514, 2934, 898, 2718, 2581, 2706, 3738, 2852, 414, 3186, 1762, 2085, 569, 466, 912, 3503, 1799, 21, 2477, 3498, 1377, 503, 2695, 109, 342, 3863, 2620, 3731, 2227, 1270, 1032, 704, 347, 2648, 3874, 247, 871, 130, 2458, 708, 1070, 1672, 2685, 902, 1797, 3982, 882, 1973, 1435, 1893, 4044, 3834, 605, 2611, 3732, 2698, 2989, 1382, 1357, 2214, 2179, 917, 3419, 2441, 442],[3638, 357, 3054, 960, 188, 3127, 1603, 3334, 1316, 2855, 2601, 4076, 406, 273, 3443, 1398, 2064, 2252, 4051, 3976, 2717, 2193, 1505, 2936, 1424, 2430, 1623, 1538, 2658, 1363, 1246, 1396, 2474, 3483, 985, 4020, 2023, 3570, 3208, 965, 2296, 106, 2206, 194, 3560, 603, 3060, 3786, 446, 2816, 949, 2736, 624, 3747, 2447, 1135, 227, 2266, 282, 660, 1452, 3921, 26, 413, 3115, 1929, 1488, 2953, 1245, 2447, 1394, 785, 3722, 3823, 1264, 3503, 4042, 603, 4064, 2615, 2101, 1933, 1309, 1312, 1948, 324, 1291, 689, 1094, 1439, 2408, 97, 1387, 3683, 542, 1705, 2976, 413, 352, 2889, 1497, 3119, 3168, 46, 1338, 2761, 1323, 306, 1429, 3647, 2206, 11, 1459, 1528, 3108, 1957, 2267, 575, 732, 1403, 1503, 3255, 3202, 1435, 3186, 2643, 3634, 3682, 3721, 1341, 1672, 2816, 661, 3262, 2644, 1817, 1084, 217, 1822, 4032, 4034, 2668, 2041, 604, 1212, 1300, 571, 979, 141, 1806, 3198, 1958, 1172, 3998, 3213, 2714, 339, 730, 1799, 3285, 582, 1369, 3007, 3800, 17, 2035, 3426, 1915, 651, 3610, 1775, 1585, 1382, 2067, 3755, 507, 2178, 2713, 294, 269, 1477, 940, 684, 2839, 719, 2463, 2969, 12, 934, 2218, 4047, 2887, 579, 2808, 2204, 2897, 1483, 2815, 780, 1983],[1003, 3224, 888, 2773, 3509, 2098, 2474, 1415, 1059, 1902, 2413, 331, 2881, 1040, 1686, 872, 601, 1836, 2878, 2004, 1465, 198, 994, 2813, 3074, 2872, 2371, 2285, 387, 3646, 64, 3653, 3767, 243, 3293, 2726, 3322, 128, 3218, 2488, 1857, 2128, 3754, 1941, 993, 1503, 898, 2556, 1296, 2062, 551, 729, 2031, 2857, 4081, 2212, 1563, 3945, 1564, 1255, 1828, 616, 1592, 2452, 1490, 3121, 9, 717, 2904, 3935, 1343, 3619, 3349, 2133, 3228, 3933, 1047, 2010, 1100, 2014, 1809, 2487, 1803, 958, 518, 778, 3715, 671, 3328, 4043, 922, 1123, 517, 3129, 555, 2518, 2374, 764, 295, 652, 1932, 3831, 690, 3780, 171, 4046, 2054, 3063, 115, 2421, 407, 3178, 3058, 1948, 428, 3768, 3637, 384, 1190, 1614, 1489, 967, 3441, 347, 1397, 3967, 2918, 2641, 1343, 3892, 1742, 845, 1487, 2164, 991, 273, 560, 2409, 1796, 871, 1857, 295, 1606, 489, 711, 27, 2661, 3015, 1602, 2901, 214, 1062, 3645, 410, 851, 2557, 3013, 1070, 3611, 965, 3342, 445, 3220, 2617, 3111, 3791, 3125, 1816, 2915, 2824, 1646, 57, 719, 2432, 1077, 1023, 1282, 2707, 3371, 3939, 172, 3075, 1289, 3925, 1177, 3508, 1339, 1832, 2590, 2574, 698, 3011, 1853, 1525, 2230, 3026, 3690, 3083, 2413, 2365],[1628, 4000, 2149, 2429, 2247, 2874, 2976, 796, 3573, 3836, 546, 705, 3852, 995, 1588, 229, 3727, 333, 3479, 2870, 3015, 1999, 4020, 246, 205, 3686, 1212, 3113, 3988, 3919, 2951, 1630, 3134, 1845, 1097, 2500, 3595, 3953, 3874, 510, 728, 4035, 302, 2774, 2998, 3908, 1898, 3760, 3683, 1286, 2030, 2897, 1841, 2914, 143, 2039, 723, 512, 3972, 735, 3400, 3039, 846, 1840, 1249, 3300, 1378, 2107, 2233, 3326, 1304, 3817, 1458, 1001, 2965, 1882, 1698, 1439, 2215, 3571, 571, 4072, 1997, 3404, 3103, 2836, 453, 3037, 4086, 1175, 1871, 1650, 2188, 3539, 677, 2807, 74, 536, 3647, 2772, 2452, 2866, 2446, 2590, 3134, 1450, 763, 872, 2085, 1820, 568, 2692, 1503, 2310, 3749, 1075, 907, 3512, 428, 2555, 3086, 3324, 1407, 1591, 3775, 2976, 1612, 704, 2109, 1194, 1906, 1338, 1008, 1878, 1811, 1754, 3450, 14, 1, 1548, 3700, 122, 1107, 3839, 2494, 857, 1051, 2848, 1536, 3573, 261, 536, 733, 954, 1013, 610, 12, 1165, 2902, 3248, 2151, 514, 1319, 1330, 4057, 3985, 2474, 533, 1992, 3977, 2523, 664, 3740, 3630, 3289, 3011, 1508, 147, 360, 1707, 2750, 3128, 3812, 1620, 3050, 1177, 2879, 1816, 3240, 181, 3385, 3353, 2622, 1790, 542, 4013, 3020, 2114, 2259, 3705],[2045, 2973, 3798, 3033, 3861, 2391, 1199, 1876, 1411, 1084, 3492, 23, 150, 2774, 3002, 4071, 2972, 3876, 1167, 2409, 3699, 568, 51, 336, 1896, 3766, 3987, 1685, 3912, 4014, 1525, 3579, 3368, 1978, 3843, 3865, 1704, 2039, 3842, 1989, 3427, 153, 3022, 572, 569, 2807, 289, 1748, 3435, 1399, 2428, 1126, 606, 3235, 389, 1157, 2174, 899, 1509, 3327, 3306, 2687, 2360, 3212, 1966, 1390, 1199, 71, 749, 1139, 761, 365, 409, 2751, 1426, 998, 3547, 3040, 1217, 1880, 328, 2920, 3190, 2808, 601, 1971, 3236, 1439, 3120, 2789, 4010, 3501, 4084, 1672, 1326, 460, 3591, 1066, 1896, 2580, 731, 2438, 1052, 1754, 1976, 3356, 2452, 2003, 3582, 2522, 1534, 2129, 697, 927, 2751, 1977, 1959, 1099, 1024, 1024, 1154, 2897, 589, 3046, 3308, 1196, 2505, 2057, 701, 1173, 2975, 1515, 2294, 3278, 1307, 865, 3948, 703, 424, 2042, 368, 3068, 3523, 2990, 2358, 2380, 2899, 2442, 1378, 2817, 1400, 424, 3283, 2744, 1152, 1801, 934, 3372, 1717, 1815, 1003, 153, 1257, 1892, 3592, 3758, 36, 2043, 3480, 1018, 2328, 1350, 2169, 2527, 1564, 3409, 1238, 3617, 2415, 921, 3011, 1062, 144, 3253, 24, 150, 1765, 3446, 627, 659, 1699, 2936, 673, 449, 915, 1888, 3045, 3110, 511, 3923],[1058, 866, 154, 2511, 1447, 3572, 2863, 604, 1115, 3852, 4019, 1174, 3674, 4053, 3454, 2556, 352, 666, 2543, 1946, 775, 3673, 2130, 2489, 1765, 781, 2801, 2679, 917, 387, 1460, 2428, 2219, 3904, 3372, 2373, 13, 221, 1885, 4024, 1986, 3557, 3238, 96, 673, 158, 2945, 1215, 1104, 1957, 3132, 1658, 2894, 3310, 3548, 1081, 2491, 3061, 605, 749, 3803, 3853, 3526, 1126, 3851, 5, 3445, 3885, 1113, 2866, 1704, 3853, 1147, 3206, 2136, 1121, 3724, 431, 2127, 325, 2968, 1611, 1369, 2795, 1712, 3894, 908, 1334, 1259, 3415, 406, 2951, 1948, 109, 563, 1024, 787, 3505, 2523, 3572, 1731, 612, 3935, 2388, 851, 1037, 1320, 2449, 3733, 3571, 1949, 2766, 2994, 2317, 2327, 2206, 2133, 3974, 1737, 3240, 1989, 412, 3644, 4063, 1946, 774, 2770, 3840, 504, 2659, 3229, 2514, 963, 1677, 665, 3847, 2506, 720, 2703, 3027, 1188, 2244, 2159, 3605, 337, 2318, 1201, 2323, 1376, 2950, 3476, 2858, 1792, 852, 1422, 3596, 2892, 2300, 737, 1975, 1508, 1116, 1709, 649, 2000, 2086, 2228, 105, 3812, 2838, 1856, 2827, 424, 859, 548, 3468, 1511, 931, 982, 2191, 1270, 3878, 2225, 3804, 1836, 624, 3909, 2246, 422, 3058, 68, 1906, 3319, 2, 3540, 2354, 847, 2894, 171, 2093],[3859, 3580, 890, 1733, 3002, 1256, 1968, 271, 3162, 786, 2679, 1666, 2962, 2311, 1745, 3016, 1419, 3736, 2242, 2899, 1354, 777, 1400, 3109, 896, 1678, 3089, 1903, 2574, 4089, 3956, 2998, 1559, 2852, 3677, 2324, 1306, 3694, 3619, 2010, 2245, 1937, 74, 3036, 3739, 3558, 125, 1696, 1227, 2244, 2689, 2829, 181, 1277, 3919, 2627, 847, 4094, 1560, 1556, 3312, 3808, 1737, 2935, 251, 2559, 2124, 1861, 864, 3461, 3641, 1751, 3132, 3226, 756, 253, 2619, 459, 190, 1633, 488, 3241, 649, 1264, 427, 2793, 3808, 94, 2651, 2513, 711, 2200, 50, 2646, 2182, 605, 1039, 2335, 985, 4054, 1285, 1034, 2429, 2299, 2932, 2597, 2979, 3992, 3747, 609, 1443, 3299, 1430, 404, 976, 1484, 495, 653, 487, 3234, 2396, 3062, 1100, 1455, 991, 2396, 4081, 2931, 3690, 3420, 1158, 319, 901, 2366, 2078, 420, 1993, 1913, 1187, 862, 953, 526, 1614, 3742, 1147, 2121, 1054, 205, 2645, 1075, 328, 485, 304, 1025, 1926, 2371, 2792, 3557, 1096, 3482, 1047, 2694, 181, 3018, 1793, 1831, 654, 1323, 944, 1259, 3603, 865, 1697, 1556, 667, 1249, 1680, 3993, 3053, 404, 2251, 1953, 3007, 139, 2153, 1156, 485, 3671, 3970, 59, 1682, 3977, 484, 2483, 1625, 1801, 1, 3564, 3782, 2276],[804, 406, 3385, 3476, 712, 236, 1387, 3276, 1593, 2341, 2610, 3437, 4029, 903, 2437, 2468, 1165, 3518, 3780, 3913, 3597, 2103, 3464, 890, 2560, 79, 3049, 3677, 545, 640, 128, 960, 2216, 3666, 2844, 2151, 151, 2412, 3385, 535, 333, 1204, 2705, 281, 973, 1849, 3253, 1949, 2068, 1560, 3401, 2857, 3891, 1542, 2909, 2860, 3980, 3351, 4043, 1994, 3813, 1829, 3284, 1691, 2699, 373, 1530, 948, 407, 3090, 2985, 2013, 3851, 3714, 1488, 3804, 1789, 1972, 1729, 1259, 3676, 62, 647, 2122, 1226, 2212, 1269, 839, 2546, 290, 3060, 1497, 3270, 3039, 2280, 2110, 1022, 816, 1689, 3476, 1662, 2775, 600, 1088, 2157, 3624, 69, 2400, 2376, 3803, 1181, 633, 3375, 1408, 569, 495, 1807, 1174, 2040, 1827, 206, 3968, 1071, 725, 3607, 2296, 1068, 1170, 3163, 1543, 1237, 3322, 2846, 700, 1978, 1107, 784, 438, 2993, 619, 1617, 3685, 3485, 862, 589, 1988, 1942, 1258, 3033, 932, 157, 2122, 167, 2411, 341, 1844, 3908, 1879, 2985, 1224, 2214, 2411, 348, 1119, 2005, 139, 3139, 2645, 3433, 290, 402, 3818, 436, 3733, 1210, 2606, 2257, 2353, 1072, 2464, 2054, 2486, 706, 3893, 3850, 639, 3923, 2561, 3816, 2068, 2394, 1401, 3415, 3441, 1476, 3478, 2195, 3409, 415, 1553],[379, 3256, 127, 707, 479, 2221, 1, 839, 4058, 430, 2350, 2974, 453, 2003, 3615, 3494, 3438, 2694, 2807, 633, 3916, 761, 633, 702, 1731, 3875, 2968, 2112, 3565, 594, 3736, 1549, 280, 975, 332, 914, 373, 2105, 1035, 2739, 2974, 521, 2748, 1531, 578, 153, 1033, 1523, 26, 2139, 1611, 826, 2648, 2445, 3218, 3873, 3814, 1947, 153, 3013, 2878, 1315, 3252, 3583, 3030, 3300, 2419, 814, 512, 4052, 1464, 2823, 913, 1581, 3235, 513, 2908, 2975, 4018, 1292, 2482, 840, 1342, 3518, 829, 494, 283, 3259, 722, 781, 1696, 3509, 3739, 19, 96, 3792, 1036, 3493, 1598, 1840, 2397, 2952, 2075, 3884, 3985, 2051, 2124, 305, 1933, 445, 1048, 904, 2736, 558, 1638, 1981, 3355, 300, 1371, 3100, 1686, 1676, 1169, 1473, 1005, 3897, 2475, 4068, 2486, 3700, 1180, 1234, 6, 2115, 3401, 3516, 438, 1446, 177, 2662, 2280, 1835, 1906, 3147, 3095, 566, 3502, 3480, 88, 3012, 3650, 3925, 2301, 2085, 572, 2343, 978, 3763, 1822, 521, 2166, 3283, 2494, 1455, 1385, 1427, 3691, 2749, 3698, 1864, 2125, 269, 757, 213, 1165, 2056, 3601, 3183, 380, 2470, 1919, 2266, 2489, 3313, 3437, 3493, 1583, 148, 3498, 746, 3770, 1359, 742, 2387, 880, 889, 3231, 878, 1551, 2295],[1193, 2145, 3335, 3272, 2680, 3653, 1001, 3133, 934, 2525, 915, 1949, 82, 3180, 2477, 2262, 3296, 3236, 3412, 1551, 1515, 215, 546, 1119, 915, 394, 3610, 4069, 507, 4093, 3441, 3021, 3765, 566, 3103, 2072, 3871, 1977, 734, 186, 898, 3775, 1394, 2624, 4079, 2181, 2200, 4059, 2716, 2597, 4072, 2220, 2533, 212, 2743, 3177, 30, 77, 2781, 34, 2318, 1883, 3585, 102, 2112, 1522, 1927, 550, 1774, 1446, 3726, 277, 961, 3967, 342, 232, 1514, 1916, 2364, 3516, 2417, 196, 2392, 1355, 3152, 943, 13, 2530, 1338, 2223, 4037, 154, 2739, 2914, 549, 1634, 3292, 1807, 500, 3798, 1984, 2661, 3289, 467, 1031, 570, 3266, 1803, 2366, 3166, 4077, 3856, 1065, 553, 1807, 389, 532, 348, 1104, 2528, 3172, 3992, 2072, 3411, 2405, 756, 2657, 1713, 1893, 3971, 323, 3664, 1589, 4067, 859, 356, 772, 1934, 2613, 2492, 1524, 965, 1696, 1303, 2425, 2406, 125, 4049, 3008, 1643, 1335, 979, 630, 1963, 996, 1223, 3239, 2800, 2125, 2078, 1246, 849, 560, 415, 2868, 3747, 1408, 383, 1245, 4069, 448, 3528, 648, 1324, 2991, 2306, 2497, 2701, 698, 3618, 4023, 3374, 3068, 2706, 1923, 2288, 1173, 3006, 1390, 3603, 1356, 2606, 3723, 1880, 317, 1533, 3347, 3171, 3632, 3878],[1583, 1244, 3697, 3886, 2872, 621, 1209, 3933, 2601, 931, 3244, 1631, 2800, 3142, 3556, 2601, 1345, 2592, 3857, 2233, 2185, 1997, 3899, 365, 1590, 155, 2223, 115, 1791, 28, 1654, 631, 3219, 1265, 722, 1668, 4059, 3500, 1827, 3394, 2330, 2963, 854, 3016, 1781, 3244, 824, 2230, 3698, 3428, 207, 863, 154, 1348, 514, 706, 3737, 869, 1411, 2213, 900, 786, 3384, 1809, 490, 3783, 1660, 476, 3521, 2397, 3491, 3995, 3301, 1408, 2899, 1000, 3179, 1396, 3596, 1499, 1702, 1031, 2709, 4087, 1775, 2724, 192, 2163, 3581, 3853, 1120, 310, 2050, 2682, 1082, 3041, 3514, 3558, 659, 2530, 496, 1149, 3734, 3519, 2457, 1330, 3051, 686, 1446, 2628, 37, 2521, 2552, 1144, 958, 3827, 2805, 2293, 3922, 2840, 3637, 3445, 2761, 2270, 1967, 955, 779, 3191, 621, 2240, 1820, 36, 1071, 1995, 2554, 2076, 543, 3914, 1730, 2869, 2572, 2085, 2632, 2981, 129, 3565, 956, 2802, 1539, 3396, 227, 1804, 1920, 2520, 3094, 1917, 2886, 532, 1161, 1266, 776, 3261, 347, 763, 3528, 2730, 902, 2693, 1657, 204, 1235, 1386, 2939, 3133, 551, 2503, 627, 2568, 2602, 1476, 94, 1351, 1940, 2843, 1707, 2380, 1968, 4006, 168, 3923, 3804, 1727, 809, 152, 949, 1444, 1880, 2589, 1454, 280],[2250, 2047, 3842, 1068, 1330, 3176, 4080, 1794, 2144, 1221, 2088, 1277, 3554, 1146, 3481, 3185, 2425, 29, 3567, 1947, 2411, 2052, 3620, 2406, 2498, 836, 2315, 2900, 1828, 455, 2275, 2087, 147, 3861, 3575, 545, 1935, 920, 3722, 3773, 2635, 3621, 83, 1423, 4016, 283, 66, 2722, 125, 3987, 1145, 1196, 1942, 3522, 2027, 3428, 3226, 2232, 1373, 1176, 1323, 2240, 954, 2884, 3146, 189, 3656, 1299, 2393, 2063, 1240, 900, 1499, 1810, 374, 664, 696, 1362, 1761, 3008, 3091, 3394, 1240, 3250, 1525, 1979, 3634, 1598, 1305, 220, 3613, 12, 821, 2950, 2250, 3653, 1923, 2654, 3531, 1003, 1172, 1817, 1611, 321, 4088, 454, 793, 251, 3416, 1648, 2836, 1821, 1768, 1051, 3566, 2761, 3685, 400, 1857, 3048, 899, 765, 384, 2598, 1153, 328, 44, 1735, 1098, 2697, 4066, 3635, 1145, 1719, 763, 1916, 1169, 1656, 1419, 447, 2898, 3009, 2846, 2849, 1224, 2021, 3483, 614, 2229, 1967, 1260, 2575, 1795, 258, 737, 1783, 360, 3486, 951, 3310, 1927, 3652, 313, 2154, 3605, 953, 303, 3265, 3618, 2857, 3593, 2681, 2965, 2836, 1671, 3126, 953, 2246, 4063, 1312, 265, 935, 843, 2772, 3249, 3826, 2304, 3028, 9, 296, 2408, 879, 1464, 1985, 2773, 953, 554, 2418, 483, 1788],[124, 2916, 2368, 1660, 1689, 30, 814, 245, 1817, 2602, 3872, 3275, 2227, 1078, 3025, 2051, 1188, 3322, 2187, 3788, 1310, 2011, 1937, 2036, 13, 1707, 3041, 2980, 1579, 3862, 283, 1392, 1178, 3455, 3313, 1348, 2038, 3285, 3831, 3074, 2320, 3450, 1041, 1612, 649, 1494, 375, 2909, 3034, 1914, 2098, 476, 343, 3671, 389, 245, 318, 387, 3560, 284, 1068, 3880, 3764, 2547, 3020, 357, 3906, 808, 2327, 2331, 232, 3268, 2193, 3936, 2227, 2662, 1373, 3107, 752, 1502, 2572, 1639, 437, 3991, 728, 3964, 2991, 786, 1181, 1495, 2327, 343, 2673, 566, 2374, 1923, 3748, 2017, 2113, 3266, 3096, 368, 3130, 3902, 1814, 2632, 2073, 3490, 3983, 3940, 2301, 55, 2539, 2304, 244, 1127, 832, 4001, 3577, 2853, 1784, 2172, 304, 2136, 1169, 1892, 3412, 1093, 3399, 670, 2205, 3625, 245, 1702, 2486, 2022, 3599, 718, 2503, 3438, 4074, 1675, 260, 2069, 1273, 3267, 1787, 2968, 899, 3424, 1649, 3543, 2669, 725, 1356, 2365, 3042, 2193, 3964, 107, 88, 3443, 3689, 1345, 1134, 1192, 2966, 3477, 470, 787, 2842, 4056, 936, 3059, 3804, 1943, 1892, 1848, 88, 1538, 266, 2064, 71, 3739, 1731, 2313, 380, 1139, 3243, 1982, 1595, 3662, 3610, 975, 2054, 22, 840, 2550, 2171, 1977],[1101, 1192, 3647, 1003, 3049, 2640, 998, 2835, 958, 1786, 1322, 1744, 1181, 2810, 733, 1965, 1074, 3418, 438, 3160, 3099, 377, 3254, 1207, 3803, 3256, 2805, 33, 1241, 3544, 3982, 977, 2360, 1248, 2971, 1442, 2022, 2872, 4081, 3445, 1283, 472, 2750, 3951, 208, 3640, 2966, 117, 304, 957, 291, 3059, 1250, 2348, 2150, 3928, 1515, 3101, 3085, 2191, 1, 1215, 1604, 2917, 1881, 1593, 405, 2857, 506, 3896, 1208, 3647, 559, 2234, 614, 3887, 3411, 2874, 1596, 1673, 47, 3355, 3036, 3114, 1286, 3222, 3266, 1784, 1566, 2760, 1342, 1827, 3949, 1108, 3932, 2559, 3359, 1977, 1543, 677, 3556, 1539, 3398, 3465, 1142, 286, 2489, 2439, 544, 1058, 1248, 2429, 1070, 2521, 2318, 1298, 3718, 2772, 3891, 3054, 3547, 3211, 1621, 3307, 533, 1804, 4020, 665, 1566, 1125, 1188, 3079, 2486, 3224, 3775, 2405, 2542, 3336, 3800, 1548, 606, 3108, 831, 3162, 1140, 3214, 1926, 3097, 1808, 3440, 3416, 654, 4053, 380, 3460, 1738, 1278, 527, 1550, 3162, 3664, 499, 1204, 3002, 1351, 3416, 236, 143, 2262, 2248, 2796, 3847, 3509, 799, 1233, 1175, 2927, 2349, 2175, 555, 2681, 2282, 437, 3890, 983, 3377, 1306, 1108, 305, 2557, 1763, 1015, 1991, 4090, 1736, 1784, 1896, 3945, 1402, 2614]] mod 4096"}