(3, (2147483648, 3829467888, 3676754854, 24870199, 1346674160, 567558217, 3410961088, 2434889924, 3127056311, 4118401987, 3916754098, 1492524604, 1468009995, 2059643909, 2464475507, 3104866062, 2531679537, 366668551, 3706269935, 204411761, 1901878544, 1984556431, 2815077266, 3305671768, 4255537279, 354083937, 1801732331, 1024159996, 3411736457, 1625653847, 3259085055, 2272728106, 1706533576, 2652331554, 3950665235, 3602145940, 3813912778, 3454705921, 4011079334, 142924258, 3200858830, 2149652371, 3065760612, 231964372, 4151290199, 1453815816, 3781630178, 603027974, 598800362, 460819020, 235748915, 1354864379, 1711443402, 3773429019, 2802934821, 1795590476, 1770887573, 3642383628, 1965191112, 1370276969, 3985950363, 691782984, 3118854733, 3194793989, 2527971434, 142355689, 1419978383, 1137092794, 3638707522, 2858590487, 1175365047, 3652216622, 516616987, 2653257087, 2404912225, 2646864769, 1165085587, 1416057362, 1239584593, 2833391886, 3914306507, 2934953830, 1287066404, 414811371, 3790224477, 974379316, 3903958345, 4121824141, 2151331594, 3850541013, 488193679, 3636770058, 2080202643, 3662678581, 2971908737, 4045689488, 2891193223, 2514616499, 559698017, 3423982172, 290024462, 2684690146, 609823495, 1109766715, 2743945352, 2436308600, 820537038, 2588615923, 1733982210, 1815713921, 2679743824, 1048581558, 518283717, 3232747957, 546031871, 815882753, 1646977247, 4142431586, 442087642, 3986433526, 837507358, 3458833680, 3087525802, 3347140582, 3006041991, 1885772981, 3631941564, 674705492, 119029466, 3481252380, 3950284712, 1339202984, 3761933457, 461400570, 1002714923, 3762861732, 1096969458, 2256870238, 3358798954, 2684286355, 3625425418, 694672416, 1789559559, 4236390138, 374325240, 2053526160, 742118814, 1141526309, 3446331888, 4283527312, 1656060104, 3240414542, 2947365213, 2767967438, 3371223221, 2932470988, 1337389677, 1091595501, 3690193055, 189057453, 3235038809, 1765542177, 2910581437, 3490985147, 4235525242, 3431705002, 708335342, 241877619, 2539622443, 3268071397, 1926707109, 421410059, 3345900145, 3711143999, 1103578434, 582580987, 3785739535, 2353691553, 2253710817, 291599638, 1745017165, 1717805345, 2644172229, 3288827086, 4058245129, 46923332, 341722838, 3257074832, 1614323289, 1965824887, 842462223, 1071981401, 1006321268, 4064477688, 2996665071, 1965117213, 2287939463, 596188625, 1763137742, 3036282158, 3387738696, 1595932988, 3197832217, 3971072991, 1898632786, 3102705913, 4273188591, 1481512958, 1764197154, 2922075650, 2287878632, 4001015545, 1014007722, 2020562386, 458501169, 4164520507, 967295069, 2920388373, 837931631, 3602234141, 3485616620, 1933479756, 3373323783, 743372491, 3537643736, 4101567548, 887307032, 333559492, 244933126, 3468323097, 3005303529, 4219247448, 3036361093, 3469313588, 280351561, 2864226248, 3786754565, 3169208292, 1149360002, 1260959653, 2896580937, 4013786334, 467025498, 2480940368, 1553091472, 1204503738, 693556013, 2649076110, 422533, 1599465788, 3830561320, 1756756155, 3983165956, 4075955865, 2515433197, 906061824, 2978037438, 1480946453, 632028833, 3928994177, 3766285678, 2737319745, 2844288063, 4204924959, 1805315050, 2413632502, 3539573151, 107393553, 1156556526, 952917012, 2057169690, 2305639645, 3275224170, 2967218819, 3564487286, 1337817585, 3802894855, 793110208, 244748903, 3436887997, 434995064, 1962860091, 4137211428, 3021231021, 2793049111, 4094763931, 2425979549, 1613119604, 2540996063, 904810403, 2537643811, 624063049, 3901120940, 3251309520, 3623795848, 4194088117, 1933808921, 3973411532, 1108119602, 3402152180, 588210098, 1477915462, 886648704, 2545099349, 639714581, 1599245883, 3327859619, 1893564195, 4182520132, 977500716, 2952236931, 3796306993, 2021813126, 3024005551, 3637036805, 3626102556, 950856499, 2502546359, 2860940399, 3405693945, 1427314785, 505808072, 4062202843, 4027638807, 4135578039, 2103867522, 3868679279, 563256052, 4265889164, 25200256, 1778968769, 1578976273, 1640248592, 3833093588, 1887039067, 2833908638, 3670847285, 450113314, 1079471246, 3421764958, 1166409264, 2004078895, 782456230, 2258309764, 2239664753, 1748279876, 2937012514, 3817194705, 16371268, 1474694210, 3541336087, 1990137555, 1565928284, 929514142, 4135250532, 2350203742, 3032817728, 2369152732, 620595006, 2101757847, 3617693125, 2091431736, 1882560558, 3656313604, 317170205, 1411705453, 1463922956, 2959354826, 2528082011, 586927347, 3839245042, 2849253898, 2127131139, 1434036174, 1001488610, 1493770809, 1312858917, 594569477, 2741525630, 64575547, 1218469241, 2460944128, 1898672295, 540872063, 2550604853, 3076680306, 2876874770, 2092192752, 104298241, 1581534651, 619882707, 4118314098, 1741814840, 2036346815, 1233935752, 3294281316, 1807104882, 1726395768, 1564014678, 427602045, 3457480978, 3680880955, 3064078117, 2014379925, 2558298179, 3388330437, 2761270521, 1667758706, 4249185172, 4279195103, 1966813380, 3695249844, 99281229, 1153661774, 4015065986, 3390025046, 2928299445, 2545161508, 7140881, 3966873044, 2423717805, 2159860441, 1792968334, 2864830521, 4244912033, 3663322068, 224314661, 735777705, 4174199506, 1262491196, 2157940975, 2887388242, 2961251662, 2365406762, 2973487045, 80060137, 3164273039, 2442480148, 3232313239, 2324701879, 2617837939, 1913564918, 4293876544, 2652532852, 382008516, 3767346010, 2979640500, 378903449, 1547060352, 582808045, 2952340440, 3621164300, 1738482083, 866338951, 890039939, 2969588434, 2885436285, 4038643498, 3811031889, 926756047, 2816733344, 2843207174, 1269334384, 1111267076, 2049737171, 3675688216, 3172960715, 3514949, 758864673, 1255788220, 2242701683, 871058988, 815104574, 1021357869, 2341049578, 847892610, 213326579, 3208582200, 3209640650, 179810660, 808644044, 2589912122, 3261123046, 2627756730, 3910563090, 2348276329, 3909822007, 1720029481, 2414569253, 2138156980, 3061480655, 1906082462, 4075978421, 2753956842, 332230290, 4057105496, 3101367962, 1979145652, 1383674620, 1196149918, 4103561233, 4073396829, 80282020, 2160558760, 2587237114, 2183693868, 2443162310, 3501474147, 3801262389, 3620211433, 825451474, 1581169756, 1728779259, 2928494272, 2181958047, 4219931940, 2699432165, 2450796771, 3009055854, 3775289634, 236947466, 3544782286, 1958020991, 1510608723, 2573927090, 1841080304, 399918924, 2299360991, 3547329682, 191205143, 3449779044, 3654489244, 256829979, 653396728, 3978674478, 4005550826, 3286651302, 735935732, 3155612407, 2010395462, 1464461085, 1998709689, 2925155447, 3351240307, 3620191777, 4004967744, 1796489167, 3099371349, 88421723, 4207110387, 30012174, 3002288999, 3506111702, 3064632135, 3039711842, 1623654029, 2498150602, 4002235084, 2606852431, 3277536292, 3826679236, 2044571200, 2544732034, 10472097, 3601421203, 2023359507, 3186841770, 1523098484, 1148163304, 2822280128, 4261648709, 3631902437, 261140827, 3456447505, 2704244125, 3283181214, 768377831, 1569527627, 1294013499, 2549243291, 2398421138, 270287911, 3585345839, 2230559792, 912711338, 3624706315, 271645097, 4218421488, 2975525156, 2311306907, 2500467345, 3438394603, 2127261321, 1742219662, 822480207, 2570588892, 709798324, 2130182150, 382217331, 1119806527, 21289731, 2777083656, 3004290656, 1851858207, 3898347337, 4274112964, 2590754011, 1899384109, 2985443883, 1054267512, 1704504135, 2566547308, 3842801572, 332698583, 3483320609, 1949662152, 2387194021, 2239333311, 126739551, 2358570198, 1262790415, 2328557385, 935941540, 1946857565, 624), None)