(3, (2147483648, 2485519693, 3332977991, 1659916109, 2224424817, 2960109999, 2681040592, 2277710049, 3486544793, 1874301432, 2489582512, 3585226730, 1155616527, 2177984293, 2107467126, 154805990, 2696949819, 179655089, 2125247040, 2864214573, 2400224918, 2745885472, 991144350, 1039227377, 631886374, 3625419801, 1078861689, 3887654817, 3430762346, 912069227, 236871402, 3543866690, 4079202597, 2729388961, 1046765156, 3150311000, 2723834688, 3811015942, 1036852622, 1180009315, 2321685093, 911515314, 3010222007, 1302964022, 3230272607, 2007470405, 677893035, 2027309624, 3498486682, 796916898, 854552417, 68382889, 3104121939, 3933304291, 2622778793, 1225885708, 546365885, 3144735947, 211602102, 2617685886, 759531283, 344582656, 4916678, 2176547135, 2861357325, 1726721156, 3345677627, 968818647, 2364775706, 3583146724, 2563228976, 3897388912, 844276837, 3703962450, 3873006962, 329240924, 2662635693, 1620953843, 2015039326, 261863690, 2843725535, 3880037734, 748850508, 2329262054, 1786016708, 1149751644, 559438194, 4023543534, 2313096215, 917553460, 1351230484, 3477398943, 1727329850, 701581494, 708050478, 1516139962, 1159032638, 3983278164, 672460176, 3227889513, 301822124, 1663886315, 2472632687, 2500999521, 108890986, 267816391, 2465296945, 4129603747, 1826067154, 1121963664, 871124082, 3380552660, 3376046466, 232086210, 739830480, 3224319643, 1485830250, 703355324, 643142297, 3388348096, 4138048191, 3911136207, 3925860514, 1548369236, 2074310085, 3890825441, 2347539955, 4196415269, 2194369675, 1355883815, 3113672880, 979067188, 3542307255, 1113975790, 4260516388, 1259386212, 1515678968, 4133963453, 1870601309, 3348619523, 3874299334, 3308835969, 2107887979, 3038246239, 2282241975, 4203211328, 1625204722, 4084860207, 3394471649, 1973581731, 3487139582, 3719015501, 688670444, 1864814976, 2114155188, 2743305156, 3614374440, 218655551, 1677584031, 803141290, 2138701503, 1340248992, 2960318188, 3905338114, 4084929304, 1527761440, 3163554462, 71243604, 519419288, 196375626, 1933847139, 2299158355, 285422954, 1059346798, 236749680, 887066487, 3245172207, 2170600970, 2514904605, 3628882075, 2368709448, 2857267871, 2106475967, 3687642298, 2747339778, 4165591230, 2019750893, 2948575254, 3646429622, 2900343580, 4118973131, 4171025247, 369838628, 2157732901, 55757302, 3695490300, 637246312, 4026236911, 1282820622, 41827054, 664653346, 3049093971, 2710761298, 1852970702, 12241047, 2809079301, 1072528131, 772884720, 2891695046, 3031510514, 2506712074, 1849689259, 3454240660, 2184703986, 1142385929, 2008254158, 339960437, 1295913415, 1027190919, 859626927, 527254851, 525130129, 1359014518, 2059597567, 3327810945, 1005071504, 1783852745, 307249633, 1133066288, 2437593510, 2415957987, 2475797384, 1640407352, 3557138003, 2217937031, 1972926401, 686660411, 4164245649, 3691967907, 1481136479, 874088847, 1164380358, 4234857512, 1844153414, 3368297697, 2755887855, 1330290366, 3655756794, 2217617093, 1012882818, 3829647177, 3514499665, 1228731453, 2174117979, 3930413901, 1107872969, 262603178, 2552315346, 2778011770, 2656234751, 3555543985, 2689096099, 1109460055, 3420862350, 2116707524, 454479987, 783817064, 4247195674, 1075534380, 3543653575, 2235125497, 2045284573, 776007418, 3435481493, 3190350629, 304947945, 3927083936, 3320758468, 328321008, 525395456, 1742685294, 501286737, 1088332015, 907842870, 2118849617, 1730784177, 2927946796, 380604367, 2764168800, 234741713, 2641375102, 1843527596, 3485242215, 3231867976, 2817598193, 2240554556, 540506055, 3794230117, 3085386177, 2735734999, 3151659911, 975333433, 2148655899, 1532792444, 850875503, 1893120252, 1326332042, 4257786272, 2394898527, 3785045914, 1602155742, 612923214, 3483387049, 951120177, 2008220348, 1716059749, 3191783719, 3434003340, 4130252849, 3701132021, 2043412632, 3207183187, 2756849247, 1263070842, 441678398, 3177266597, 201050694, 3172241055, 4187649234, 3264217972, 2821166267, 2890151782, 3504307921, 2955787077, 3139394267, 715733855, 319478315, 487002463, 4125947610, 1420564410, 1973059116, 4259089107, 2205068974, 2058163166, 3429519145, 1744807834, 1823412916, 3595855750, 3429516069, 581133149, 1580490205, 1317362509, 1544319340, 282066932, 2567677694, 1734338994, 3333530850, 2891893675, 866606931, 920096937, 1541432903, 393258471, 543511673, 3266709052, 26940232, 1621513018, 1555134317, 3160910296, 3074191859, 2615797736, 3002999327, 3031459211, 4200915294, 3695135687, 1327184101, 2827169350, 4250766694, 1486870619, 2076375565, 33138896, 1499076932, 174328392, 539122309, 433155137, 1842882459, 3887687767, 3189355503, 2251586181, 2756984468, 1801365679, 3834560255, 1282068556, 3654892419, 1854112438, 17686525, 2125311761, 2991284869, 3076506977, 3017551621, 3902625421, 942048896, 2704455557, 2911651430, 3782027279, 2024582462, 1281313799, 3863345466, 3464314520, 2796796362, 302613382, 522974778, 3196518504, 139094368, 2446851383, 3373241617, 3650325686, 163327199, 2006100099, 1101776564, 1599902660, 2159493666, 2286522058, 1390818180, 444431735, 3643700094, 1891665423, 3773293153, 1041163926, 2815607220, 1991744347, 143108247, 1762069270, 3681315999, 1610137365, 217649881, 2362437647, 3201331005, 217841274, 3107179336, 3381350963, 136726442, 1964107899, 1819803154, 15037275, 2660639966, 3960674972, 823382492, 1059180246, 4253580074, 366138535, 3403431638, 3626947626, 2832654063, 2337029092, 1547408427, 676747218, 1579945440, 3118688528, 4132525990, 3038004342, 1011643125, 663479377, 913365997, 3100654258, 1504212430, 518346580, 1611620444, 299847765, 2671707963, 4098247039, 3305491556, 3771651698, 3458767, 3327226430, 3002682608, 696366110, 1313626909, 3886492624, 1387054182, 3823346696, 1244963990, 902060904, 1303376551, 3568496366, 2334868100, 2324115038, 510885364, 996481765, 321515533, 844098959, 3261481471, 3612639275, 3815870361, 2499084889, 3904339872, 3049475283, 3109664321, 3025842424, 1272946886, 789774385, 110160575, 1451044928, 1734900986, 554239563, 1713766381, 1992018000, 1380930146, 2036336363, 909065870, 3250112845, 1043270615, 2122492059, 1790551992, 3125723393, 3910968973, 2836725506, 2653953069, 2300879786, 1367198867, 495926187, 1594182812, 1536945885, 1597327953, 1477365869, 1052128594, 2548371960, 2420294669, 1066181610, 382022395, 638121098, 1093506434, 3717174057, 2871183678, 1791582596, 4198919682, 454703375, 354030984, 3859697677, 3228806796, 1591102355, 4191894138, 82269288, 3089510741, 1143602714, 3655538472, 1039670746, 3506158118, 2462662503, 492314554, 3718846824, 1646689127, 3446754439, 4031332459, 2734142758, 4250671943, 798095895, 1954670337, 1343258761, 447253728, 3038506081, 1852067836, 2696006623, 4123413380, 2409775716, 3831605345, 3703806412, 1978321099, 3478797697, 1376194772, 3146979721, 3605599347, 702123234, 2447416625, 2917464013, 264782909, 1374129534, 2114899974, 1743268445, 2670768626, 2491270682, 802034611, 1164724841, 2166626217, 3062482098, 1841919861, 1898848228, 1742110113, 2733626676, 238843094, 1985742936, 3638521233, 2311581625, 2126054528, 1229503421, 235553993, 3065903664, 2574782886, 2641998150, 1512358621, 631362011, 1540215296, 1076176687, 3304449723, 305377603, 1079844556, 664168643, 2646936121, 2471709507, 335126376, 3159125211, 3036542578, 1505735486, 2220890254, 1184639841, 1899709178, 3567537512, 1349913951, 2162050807, 2541486517, 800353408, 2698931560, 3136119414, 3379940923, 431484467, 624), None)