(3, (2147483648, 362718034, 1841497158, 202070564, 1358117505, 1338061524, 2860898177, 3774052072, 791185191, 405467897, 1485434663, 874846537, 2270305224, 2679942263, 249199394, 3988921028, 844705959, 4050582831, 3459604034, 940736985, 1405582263, 3988955370, 2253000454, 754664886, 96025247, 4033853196, 1705505540, 520615917, 3879463766, 1596790193, 3139247753, 2382784947, 1876726662, 1005571423, 1617596616, 3813992011, 3864606791, 4077270513, 1036510510, 1469422602, 3245977448, 3173706727, 2994809815, 2673232923, 2801722973, 2732233694, 1590662400, 1010557897, 1172768036, 3202384823, 3465471401, 2439189867, 3540582845, 511338761, 3495474717, 2659983139, 600781511, 3144418729, 527969549, 242465825, 1472083929, 2453140284, 1808160424, 159866793, 2660674332, 2403084289, 3180285677, 321449211, 2900852600, 1349264551, 3723283370, 3895798724, 3262737843, 463174795, 750617511, 910409125, 2279859945, 1585879268, 2307779450, 1424044093, 2028145883, 4020108348, 2624350601, 3075470890, 4041835283, 385730242, 4205989935, 3622992955, 61441627, 266961293, 3201139516, 3535392534, 2839432646, 3685120496, 3637964661, 160753717, 1980510674, 3467435795, 2354902838, 149950669, 3157264646, 4246616404, 2123030459, 944465083, 3647485247, 272808915, 1932512144, 3726718794, 2341714495, 2473521507, 3597300050, 29990948, 3522210770, 731685063, 1488343462, 475713429, 1637705410, 2378655857, 2509636500, 397596740, 963298834, 2933542943, 3657865590, 2773255399, 1505021312, 2324622436, 3820975224, 763148083, 81939748, 1163606898, 4025922192, 2923794582, 459718767, 2444492535, 2314516211, 488893784, 947830312, 2713911714, 1654731394, 3686770305, 3394469664, 743280887, 966537983, 3898703618, 1907195100, 3901522971, 2805912990, 2316780236, 1973239881, 321970493, 1283450811, 4081887551, 3238452400, 3379518820, 2671082927, 2973691074, 3490847166, 188231976, 1085919940, 2574969950, 3786700820, 2135415414, 2870423744, 2123811576, 2585234801, 2257998700, 4287671644, 1152305604, 651770104, 3712547538, 1624723212, 634752317, 3771254517, 682614067, 3496084657, 1679538937, 3545390471, 2519910498, 1320543401, 191025119, 3605869809, 1240889347, 2198166630, 702953444, 2818461712, 2340003246, 2926353047, 4012912913, 2184495785, 3267518240, 4204625542, 2982762453, 1523041567, 2618231571, 3300282980, 1640080287, 2813818863, 1760885626, 3070190535, 1660823199, 3844717764, 1869387686, 2335618839, 3652629799, 1579558321, 2428016643, 878872195, 4197778999, 278190414, 3242339209, 2361385532, 1974648310, 2600904785, 1595322512, 2485476397, 979048392, 514620789, 2186123355, 3664408617, 835163012, 137035537, 62080749, 1922002054, 1557988660, 848043797, 425826011, 349238464, 3555491986, 840163090, 2916591864, 1913034287, 4227831698, 1252681538, 2089949198, 3123983363, 1233749736, 4040018860, 461439519, 3871621199, 4028755997, 648560573, 1923600340, 2511846250, 3895697983, 2556715967, 2441949074, 577837434, 1983016484, 2751836222, 3400452975, 2277024753, 2542805917, 2059976647, 810272762, 3753337789, 1844731034, 2632395625, 2560055739, 3850201707, 11762780, 2781745019, 2895031247, 1853966620, 1051299103, 2783926075, 2748819411, 2004911902, 3148017659, 3509366594, 2860296527, 2283810816, 3197360997, 1193436306, 2840968109, 2290807086, 2808973722, 3367300618, 2833162167, 1145975378, 3262864991, 3580234841, 2033519169, 3740514163, 288541543, 421450778, 698148951, 1958665423, 2019396875, 1345886206, 432529415, 2334249809, 2780604712, 2498336116, 169985158, 2966519525, 4260957054, 2334643246, 2427982734, 3582403905, 3563330155, 1732760945, 273299456, 1409896963, 3055653003, 946910264, 268268687, 3892522032, 3228805672, 4127507215, 3859148984, 2205308091, 2024674880, 1229326658, 4074554704, 3628388877, 523468990, 1227523220, 152569038, 1376712394, 1833951476, 4232125156, 1559198112, 988266588, 325977998, 3485614379, 1370084359, 3754692393, 3725589201, 2565595837, 3591424375, 2363209329, 3550774674, 3371056508, 1884941887, 3123183950, 2658665026, 3207639279, 3909827163, 434141884, 3864173114, 3828224282, 3853196566, 3169636075, 85627067, 605674689, 3648913503, 2328190113, 3372576327, 2340642080, 3122388039, 3721870604, 587526313, 1863501896, 3587138143, 2082085321, 1035505349, 804727071, 2344414100, 3273506674, 3625206234, 2184610448, 440567998, 3139475740, 4284927728, 3602630527, 1772259490, 4204511067, 1991026436, 2077463537, 2777684420, 1353725827, 1307857072, 3923320179, 217710481, 1422548092, 1662039547, 3315376890, 3319075203, 456577557, 3112955460, 1523732894, 1868140364, 2311103472, 806079007, 3926468787, 921371850, 1908177653, 4228370457, 3847352614, 3236754869, 3627591781, 1352183905, 3488638651, 2040042733, 3056109815, 2934146557, 3450732656, 2858755873, 4099027160, 3588856967, 3276823528, 3461982207, 3016085346, 4020375842, 3042203061, 1820092049, 1992312690, 3611668978, 361748945, 4126477558, 112001501, 18686160, 3484041825, 2847866289, 546444879, 2605102335, 2146554907, 487179960, 1694108742, 2432539536, 2426023596, 2066064180, 2611630182, 168779464, 2986009161, 1757589455, 1078341268, 2917348036, 3269803586, 387636210, 3292672721, 2314897898, 1166854823, 3091802012, 3629715248, 2908014630, 2091783618, 171834972, 2587156874, 1650153873, 1701129446, 2635451425, 1531813887, 1670976568, 2116850735, 21358763, 2639105752, 3466692818, 3241712815, 627984241, 418938245, 1976372842, 2867102679, 2835996727, 255641257, 1145312144, 1321688172, 4039342634, 3840189535, 2451073599, 2617009954, 4021718069, 2919112522, 3800181172, 1356522433, 2395538548, 893369898, 3274996548, 3385107509, 3039765330, 3786389138, 1053846826, 2085880001, 1196581516, 2758258431, 3388388966, 4197014216, 3105391898, 386702123, 1445068896, 2445813531, 3556218616, 2262748412, 910458850, 2720567944, 1771987273, 3074217017, 3179444153, 1613180826, 714719473, 1029729305, 3173488623, 2475062529, 2532581964, 517787219, 1989559599, 3071120116, 2834352092, 1036773322, 1991452023, 2485322218, 2685930695, 1176688206, 884797328, 3161780888, 3969640718, 2056072656, 3095942115, 1856330488, 1969178320, 1250819581, 1212288538, 323281038, 1588834256, 479222083, 678627363, 2180540026, 1241765132, 1591661854, 686407311, 2414837278, 1642864402, 358210537, 189520021, 3710368333, 3221279530, 4197391975, 3888421708, 3521856531, 2583447692, 1233033815, 371947610, 4273869066, 4077215629, 2495128000, 1630250863, 2790888478, 3111287195, 278524253, 143564371, 3194410595, 270483419, 3176939521, 2695074323, 1095667426, 1003003391, 3887818161, 2680060385, 2340143159, 1470794051, 2142313615, 1592307294, 3358474915, 2103311162, 156488433, 77690496, 2918662581, 2331919677, 3812499065, 3866482119, 4037938833, 549968403, 636557480, 3465951699, 2521871748, 3466530219, 4028458194, 3655050416, 1648136855, 582043500, 109886173, 1891259669, 569614844, 3346596275, 987241098, 1154840773, 3954742768, 319678794, 2135108757, 713589140, 2295302448, 1431996199, 633719519, 3326242634, 1082554405, 2056290826, 586068667, 2190312293, 2986297786, 3871229932, 1157935657, 4223786351, 2316979872, 3836203276, 560108528, 3141626713, 1052596589, 3190786265, 3194307435, 3653110580, 106421814, 2303325689, 1354057391, 1685733976, 632766694, 1507264964, 588923250, 1943266380, 1816219835, 3049980709, 96636847, 369559539, 3989089260, 1960079377, 1110009991, 115338494, 1031539623, 3626740889, 775240079, 2342961974, 1270159984, 1121992598, 1300436423, 2423286818, 624), None)