(3, (2147483648, 3738188234, 4102630391, 3756326760, 3038135173, 1390311111, 1194123788, 2558464428, 1561813323, 2602536596, 1175798915, 3546082790, 3725960812, 3995743329, 1261316405, 514640810, 1059473036, 1671414427, 1447499619, 3628816758, 31631511, 4217356656, 3922216475, 828334503, 1903265929, 784111522, 2972385596, 152139599, 3472128226, 1503651814, 1352916389, 3270402721, 1477604696, 3817506310, 2256373709, 1599406884, 2901096751, 3682532270, 1489050469, 2125592787, 3469171690, 2099228514, 1646029025, 3875368065, 3030304291, 3162540910, 348631079, 2009579690, 3842309733, 916286233, 2334167595, 3506512534, 1831633883, 4048462137, 1134315658, 1244919508, 1284809654, 2332860230, 3059902263, 130449688, 93202560, 2255853098, 319481069, 1914522111, 2413300694, 734917565, 1979821456, 3946227018, 2057921168, 2470019832, 3958061798, 3374431127, 1194244550, 672390267, 4289376821, 2048779118, 174893804, 2871212678, 1964637697, 1857484002, 1590279503, 2822846979, 2027270044, 1952695081, 1355526386, 1739057072, 509672183, 1642169734, 1298675919, 2483169419, 1614860741, 472639110, 2381838723, 3740383618, 1466818169, 1493296912, 2441124286, 2007291032, 705328491, 1888855401, 2948881221, 3905864116, 2501281876, 858710117, 3853764233, 458041115, 463439463, 2972661375, 684417145, 2170384981, 985357315, 3583614020, 3140809236, 3286245487, 2755797093, 2846249276, 3853120980, 2694350427, 1665943052, 733137138, 2036249208, 1556295751, 2868518183, 716578960, 2557554241, 1357575807, 3311500793, 566479734, 2843681605, 3454847987, 385496947, 3937275054, 1693010326, 404172346, 384502638, 103212681, 2888103258, 2980939911, 2218801102, 4254258853, 2314780575, 2513622016, 1275382129, 1381658659, 424708833, 959949421, 4091378894, 2140442394, 3982617797, 2241728419, 3775849658, 1350139003, 1034894319, 375257881, 2428802809, 2319539448, 2414891787, 270109289, 172586133, 3789325938, 1417743769, 2294756589, 3430764257, 1908556901, 748999629, 850542443, 2123518402, 2694762206, 3735211931, 4089985913, 817367684, 3908156267, 2856880926, 867650572, 3239367003, 3061617342, 1107654619, 427650420, 865391701, 2984694490, 309362084, 28081977, 3022555474, 3152490107, 950135411, 1309743858, 3508829928, 2245976645, 3259222262, 1048926174, 2839488130, 3561527454, 1023200876, 1861593448, 992981367, 4087902498, 3785716400, 1825251077, 1490000603, 3854960063, 2971024304, 1648720366, 3790253892, 3947673883, 3687279184, 1120737359, 3707467487, 623394216, 3158194269, 4027933616, 2638337127, 440611691, 110032486, 3509345930, 4267199252, 1695567164, 279782193, 3757973301, 3245056696, 3446827454, 1576510793, 1990668677, 2021068850, 4128382664, 1289816674, 4174271557, 897609044, 2397309071, 1539542077, 2947677223, 1980782280, 3529774380, 2439573308, 3967677138, 20594629, 3379999012, 4258426998, 1071219502, 3190860032, 1246201409, 3800105424, 4057402318, 3162525494, 3266046311, 531993290, 986092341, 1605158433, 974728684, 2067253487, 1896165319, 1343773231, 1065564750, 60767172, 3374459400, 2751431616, 1344279788, 1885732154, 3503010683, 2055050586, 3631020361, 3003414474, 2714071364, 4251433899, 4281620366, 437126920, 4021403973, 1039662006, 2529722544, 3655622219, 1433427030, 984598218, 159973627, 3808448488, 1366462151, 3735247223, 1092856585, 1270372778, 991606999, 2193554085, 545206677, 1890222660, 1593111918, 777551467, 60044264, 265333927, 4259890867, 4289775649, 986428685, 2344350130, 4015416798, 245178680, 1376470630, 4231092374, 279413445, 1416138513, 3935990112, 2727339756, 1684874147, 3271908074, 2130137679, 1270776366, 2030717953, 4230178207, 881056921, 4236524859, 4294100987, 1695184340, 3146738324, 3157410187, 1886981804, 1569195837, 4119509777, 1714166108, 3558767345, 4011234569, 2571908458, 3681633616, 2087420972, 1563980792, 1539797945, 4040112596, 2929959721, 3676863387, 2427279555, 3563011519, 2787865847, 3334554743, 3150741498, 3407760033, 51394184, 4142464886, 1038246627, 2571158542, 3801263645, 3792350960, 8252572, 3069833694, 2132739239, 3218923799, 2535926041, 903054507, 3390901795, 3761364038, 1213013475, 159794964, 4166332013, 4162278232, 1987985332, 2476043283, 2839885445, 1260774345, 3162364896, 3255148322, 1851331550, 3762169308, 3764494190, 3329712804, 1750885290, 1220448450, 1581198926, 531295371, 107565647, 71440046, 1785751495, 4206040531, 4075730302, 1009977508, 253403397, 4168630592, 896591638, 1478178786, 1287362147, 994006147, 3288693300, 183217062, 816431410, 1979320043, 1246986517, 2051659792, 261786229, 3754610988, 1654288298, 4229165910, 3882801554, 2380906656, 4101103538, 347091376, 176991114, 1186061958, 114816784, 3463124052, 2164112796, 1104228894, 1638183757, 2952228716, 2140905459, 1024194798, 1902523113, 29613598, 773148666, 1051611311, 2152604001, 3434338077, 3158703826, 2352366182, 2880979954, 2746471305, 3260710033, 3676341663, 1085685608, 2603201344, 3175828591, 167841847, 3769238624, 3376979231, 2943742995, 400255080, 1347970169, 3706695319, 313747752, 4063507447, 3769458354, 2974780610, 4002954577, 2237537065, 2924480674, 2576392604, 1032644012, 3407205907, 2369196127, 2976814852, 471085938, 76519924, 1542286676, 608337560, 2382962652, 4205277733, 1072956609, 1515415267, 1627334561, 200188281, 3389739998, 756708908, 2717018552, 340611117, 3563428193, 2526347680, 1291675393, 4136906694, 29455694, 2045342620, 2761483188, 1273222851, 2253026002, 3919420594, 2045085013, 3605579246, 3586082243, 4155218855, 1206867859, 1613801922, 3145080837, 1258181360, 2070630240, 3548170789, 2321665223, 1579658864, 521028889, 3654905803, 1591858513, 3831307808, 1398660735, 2823352580, 1205760858, 561702275, 3534275593, 3313672996, 647419613, 2127068572, 2360147255, 1682238000, 3635594859, 4172067245, 3534380868, 2062336146, 2518730037, 3631081027, 3932209083, 4100715951, 2037338228, 831618593, 3025473525, 4202944829, 366096747, 1547320836, 4207153114, 2691806120, 2844425110, 3922973802, 712549186, 364907188, 4056329081, 2823885696, 3124473595, 1514554778, 187537247, 2616239942, 3615040845, 1941296795, 1283582904, 4043114100, 1592206555, 1486159677, 1603229380, 2885971441, 2914376442, 3022550199, 946498221, 3742050293, 772308176, 284427050, 1294820978, 683694276, 2728899375, 4030042628, 2223004173, 3116287417, 2736203481, 2373311322, 3604969406, 1187238819, 2416144116, 2892901949, 2141210210, 2097130590, 824328642, 3691699547, 306567249, 3770295160, 3503389409, 3093519828, 3494296374, 3833160652, 1713207367, 2937068928, 408117909, 3769062869, 411975447, 2964050467, 4012652938, 601951508, 2061762100, 49566622, 391350748, 1326402423, 143631754, 3471826322, 3688051939, 2116272033, 4174583562, 2185468974, 3222989406, 2968057941, 15494402, 2196639975, 4076972995, 2650917779, 1461027438, 3087975139, 1380779628, 1494815914, 4170689701, 3962615615, 1074429487, 143746734, 430482500, 3566996109, 830076235, 1888293060, 1444365298, 3184706811, 2368342711, 581068586, 193705943, 2097835760, 394899066, 3550982754, 2021713816, 3330961806, 1067259377, 570670296, 2236532759, 862978934, 1035712243, 445083932, 244317000, 401958163, 2248475931, 3314623927, 2588652256, 521337708, 3069928616, 2526446276, 4272541208, 1873425505, 1582894376, 4239611064, 3009239917, 575063487, 4128533195, 940191680, 402156743, 1046659451, 2898216047, 1167566644, 842801466, 3096724002, 4071248047, 1073855045, 75631310, 3006462331, 934954348, 1154727108, 109012754, 624), None)