/* -*- gp-script -*- */ \\% Prime factors of Mersenne numbers 2^e-1 for e<=886 \\% and those for e<=1200 where the full factorization of 2^e-1 is known. \\% File is read by mersfact.gpi \\ Author: Joerg Arndt \\ License: GPL version 3 or later \\ online at http://www.jjj.de/pari/ \\ version: 2014-October-16 (18:31) { mersfact_primes=[ 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997, 1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 1063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 1163, 1171, 1181, 1187, 1193, 1201, 1217, 1223, 1231, 1249, 1279, 1289, 1297, 1303, 1319, 1321, 1327, 1361, 1367, 1399, 1409, 1423, 1429, 1433, 1439, 1447, 1459, 1471, 1481, 1487, 1489, 1511, 1543, 1553, 1559, 1567, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1627, 1657, 1663, 1697, 1699, 1709, 1721, 1723, 1753, 1759, 1777, 1783, 1789, 1801, 1811, 1823, 1831, 1847, 1873, 1879, 1889, 1913, 1933, 1951, 1993, 1999, 2003, 2011, 2017, 2081, 2089, 2111, 2113, 2129, 2137, 2143, 2153, 2161, 2179, 2203, 2207, 2239, 2251, 2273, 2281, 2287, 2297, 2311, 2341, 2347, 2351, 2377, 2381, 2383, 2393, 2411, 2441, 2473, 2593, 2657, 2671, 2687, 2689, 2731, 2749, 2767, 2791, 2833, 2857, 2917, 2953, 2969, 2971, 3049, 3061, 3089, 3109, 3121, 3137, 3163, 3181, 3191, 3217, 3221, 3229, 3251, 3257, 3259, 3271, 3301, 3313, 3331, 3343, 3361, 3373, 3389, 3391, 3449, 3457, 3463, 3529, 3541, 3607, 3631, 3673, 3739, 3761, 3821, 3823, 3833, 3881, 3889, 3943, 4001, 4049, 4051, 4057, 4129, 4153, 4177, 4201, 4211, 4217, 4271, 4273, 4289, 4297, 4409, 4421, 4423, 4457, 4481, 4513, 4519, 4523, 4567, 4643, 4657, 4663, 4721, 4729, 4733, 4751, 4759, 4801, 4861, 4871, 4931, 4993, 4999, 5021, 5081, 5113, 5153, 5167, 5209, 5237, 5279, 5297, 5347, 5381, 5419, 5441, 5449, 5471, 5503, 5531, 5569, 5581, 5641, 5669, 5689, 5711, 5737, 5821, 5861, 5867, 5953, 5981, 6007, 6043, 6089, 6151, 6217, 6271, 6337, 6353, 6361, 6449, 6481, 6529, 6553, 6563, 6673, 6679, 6689, 6791, 6857, 6871, 6959, 6961, 6967, 7001, 7057, 7121, 7151, 7309, 7351, 7393, 7487, 7489, 7753, 7867, 7993, 8081, 8101, 8161, 8191, 8317, 8353, 8581, 8609, 8681, 8713, 8761, 8831, 8929, 8969, 9041, 9137, 9281, 9413, 9431, 9511, 9521, 9623, 9649, 9719, 9721, 9781, 9929, 10169, 10177, 10243, 10333, 10453, 10657, 10711, 11113, 11119, 11161, 11287, 11329, 11447, 11471, 11597, 11953, 12007, 12037, 12049, 12101, 12241, 12479, 12503, 12641, 12841, 12893, 13099, 13121, 13367, 13499, 13553, 13669, 13963, 14323, 14327, 14449, 14897, 14951, 15073, 15121, 15193, 15233, 15241, 15289, 15451, 15467, 15583, 15619, 15679, 15809, 16073, 16111, 16183, 16729, 16831, 17029, 17191, 17401, 17467, 17491, 17539, 17987, 18041, 18121, 18199, 18217, 18287, 18451, 18503, 18539, 18593, 18679, 18797, 19211, 19819, 20143, 20231, 20333, 20747, 20857, 20959, 21061, 21169, 21481, 21569, 21601, 21841, 21851, 22051, 22111, 22573, 22777, 23041, 23209, 23279, 23311, 23671, 23761, 23833, 24391, 25301, 25309, 25601, 25609, 25741, 26041, 26227, 26317, 26371, 26417, 26431, 26849, 26881, 27361, 27409, 27551, 27751, 27961, 28001, 28297, 29191, 29581, 29761, 30241, 30269, 30757, 31153, 31249, 31649, 31721, 31817, 32377, 33403, 33569, 34039, 34273, 34511, 35081, 35201, 35897, 37171, 37201, 37321, 37537, 38321, 38351, 38431, 38737, 39551, 39607, 40153, 40841, 41161, 41201, 42373, 42641, 42841, 43441, 43691, 45137, 46351, 46439, 46441, 46957, 47521, 47737, 48731, 48817, 49201, 49297, 49477, 49681, 49999, 50023, 50177, 51001, 51199, 51481, 51941, 52009, 53993, 54001, 54217, 54721, 54919, 55201, 55441, 55609, 55633, 55871, 57457, 58309, 59233, 59393, 59753, 60217, 60427, 61681, 62497, 62827, 63577, 63841, 63901, 64067, 64439, 65521, 65537, 65993, 66161, 66457, 67033, 68449, 69431, 71119, 72251, 72953, 73417, 73471, 75011, 75041, 78233, 79187, 79273, 79903, 80191, 80513, 80929, 82129, 82721, 83791, 84673, 84961, 85009, 86113, 86171, 86561, 87211, 87281, 87421, 90289, 91961, 92051, 92353, 92641, 92737, 93131, 93703, 94447, 94849, 95231, 95419, 96001, 97561, 97687, 98227, 99577, 100801, 101653, 101921, 102241, 103231, 104369, 104729, 106591, 106681, 107251, 109121, 109297, 110183, 110251, 110641, 115201, 116201, 117371, 119191, 119827, 119929, 121271, 121369, 122921, 123931, 124769, 126097, 126127, 127681, 129001, 131041, 131071, 131101, 132661, 132697, 132751, 135433, 135607, 136417, 136453, 139483, 140617, 143617, 144667, 146983, 147727, 148721, 148961, 148997, 150287, 151681, 152041, 153649, 154723, 155377, 156619, 157649, 160969, 163673, 165313, 165799, 166297, 168781, 169373, 169831, 174763, 174877, 174907, 176383, 178481, 179951, 181549, 184081, 185821, 189061, 189997, 192961, 194867, 196271, 196543, 196687, 199921, 200033, 200201, 201961, 202471, 205441, 207481, 207973, 209089, 213641, 213751, 216481, 217001, 219619, 220243, 223211, 224771, 228479, 229153, 232681, 235621, 238451, 244529, 246241, 247381, 247711, 251969, 258721, 262657, 266677, 268501, 270071, 270841, 272959, 273617, 274177, 279073, 286721, 288313, 290137, 290657, 297371, 298817, 304153, 304363, 304609, 309583, 311347, 312709, 314161, 316201, 318781, 321571, 321679, 326023, 328177, 331841, 339307, 340337, 340801, 348031, 348661, 349759, 354689, 354979, 359137, 360511, 370661, 379081, 383521, 384773, 407791, 409891, 414721, 428401, 441187, 446473, 454849, 458897, 459463, 464311, 468781, 476401, 490631, 500177, 501203, 503413, 504337, 514361, 514711, 515737, 524287, 525313, 532801, 537841, 540961, 549257, 550801, 553351, 554129, 557761, 580837, 597361, 598193, 599479, 617401, 622577, 647011, 647219, 649001, 649657, 650833, 664441, 666427, 667441, 677321, 694387, 695701, 704161, 707983, 724153, 730753, 731141, 736961, 748819, 755569, 772207, 796337, 816769, 823481, 824821, 825347, 836191, 843589, 853669, 854257, 855857, 858001, 867577, 870031, 928513, 931921, 936361, 949111, 956801, 958673, 980719, 983431, 989831, 994769, 1007441, 1013533, 1036411, 1074001, 1077971, 1101811, 1121297, 1130641, 1164193, 1170031, 1210483, 1212847, 1238761, 1256303, 1258753, 1396429, 1408349, 1415681, 1433633, 1434929, 1436527, 1437967, 1440847, 1465129, 1466449, 1489153, 1504073, 1505447, 1560007, 1564921, 1578859, 1605151, 1633369, 1681003, 1694689, 1765891, 1768141, 1813313, 1868569, 1912621, 1948129, 1952201, 2020001, 2033839, 2099863, 2184761, 2248759, 2252951, 2298041, 2332951, 2349023, 2350291, 2362153, 2424833, 2582029, 2611841, 2627857, 2638949, 2640397, 2769467, 2771239, 2787601, 2796203, 2806537, 2837017, 2840113, 2916841, 2926783, 2940521, 2983457, 3033169, 3064351, 3108221, 3108961, 3142487, 3188767, 3189281, 3191707, 3198841, 3205651, 3308801, 3344977, 3407681, 3426853, 3456749, 3497161, 3602561, 3616649, 3618757, 3696481, 3740281, 3775501, 3827221, 3853249, 3887047, 4036961, 4163041, 4209809, 4260133, 4273873, 4327489, 4332851, 4506937, 4598533, 4666639, 4744297, 4855681, 4879711, 4940417, 4946401, 5066143, 5080081, 5080711, 5266159, 5304641, 5344847, 5397793, 5521693, 5523481, 5579617, 5675149, 5746001, 5794391, 5828257, 5840251, 5877983, 5979151, 6020351, 6073159, 6324667, 6433561, 6530333, 6542857, 6700417, 6864241, 7060051, 7084271, 7215601, 7322617, 7327657, 7416361, 7480159, 7553921, 7555991, 7593961, 7623851, 7648337, 7663507, 7698961, 7707719, 7807049, 8116681, 8258911, 8369281, 8950393, 9084611, 9106063, 9341359, 9449353, 9461521, 9467173, 9815263, 9878177, 10049443, 10113049, 10341703, 10353001, 10435643, 10474693, 10567201, 10602041, 10960009, 11492353, 12112549, 12417007, 12460603, 12471031, 12619129, 12717361, 12761663, 12853303, 13012913, 13063537, 13264529, 13334701, 13454377, 13664473, 13815649, 13821503, 13822297, 13960201, 14369791, 14608903, 14662639, 15096281, 15152453, 15212471, 15358129, 15571321, 15594629, 15595841, 15790321, 15854617, 16233337, 16824641, 17047297, 17325013, 17414009, 18020551, 18083479, 18144551, 18369973, 18423553, 18754643, 18837001, 20394401, 20492753, 21698431, 21726311, 21737299, 21886549, 21993703, 22000409, 22253377, 22366891, 22396921, 22624001, 23476081, 23650061, 24082141, 24578371, 25212001, 25507121, 25569151, 25781083, 26129303, 26295457, 27281951, 28136651, 28448881, 28564009, 28812503, 29121769, 29246281, 29247661, 30433969, 31675363, 31797547, 31815461, 32788207, 33186913, 33282089, 33385343, 33702457, 33975937, 34110701, 35679139, 36064471, 36085879, 36093121, 36238481, 36667531, 36913223, 36936217, 38226289, 38369587, 39147943, 39291697, 39594977, 40151873, 40932193, 42875177, 43249589, 44207047, 46025761, 47392381, 47886721, 48544121, 48912491, 50070703, 51118297, 51791041, 52597081, 54408841, 54865357, 55470673, 56409643, 56478911, 58352641, 59199467, 59512561, 60488093, 60816001, 61176403, 62020897, 62209711, 62966161, 64863527, 70089067, 72118729, 74967931, 75005713, 76859369, 78341849, 78366377, 78557207, 78903841, 82471201, 83132849, 83207209, 83352127, 85693033, 85724839, 85798519, 86800001, 88039999, 89119361, 89620507, 91259801, 91362251, 91568909, 93507247, 94789873, 94994369, 95110361, 95768689, 95860519, 97685839, 98002601, 104110607, 104124649, 106979941, 107367629, 108749551, 110211473, 112102729, 112901153, 116356769, 119782433, 121606801, 121793911, 126729751, 128818831, 129175771, 131282633, 134000609, 134396921, 140385293, 142891999, 145143857, 148055441, 148587949, 150327409, 150885481, 154565233, 160465489, 164511353, 168410989, 169382737, 172384633, 180201997, 181165951, 183076097, 184481113, 193707721, 194902553, 199381087, 202029703, 204948631, 209160253, 209924353, 212885833, 214473433, 216868921, 218166829, 219980531, 223318747, 223439473, 229668251, 231769777, 242003089, 267457249, 269389009, 269665073, 269896441, 270332801, 270447871, 272010961, 288236359, 289511839, 289837969, 301230847, 308761441, 318194713, 319020217, 326330579, 355011619, 355307401, 359661017, 360197837, 361592639, 364831561, 366994123, 375327457, 387348809, 394783681, 396588707, 400280563, 415365721, 419273207, 420778751, 428417137, 446960641, 448477751, 473589937, 489333371, 499601719, 502502761, 518814559, 520379897, 526769431, 529510939, 533194801, 536903681, 540701761, 551353793, 551978359, 558062249, 561595591, 567471221, 576759899, 581163767, 581874971, 586477649, 596834617, 602633653, 610548481, 616318177, 624456487, 634569679, 636190001, 642811237, 666184021, 694512857, 702595801, 715827883, 723447661, 731516431, 745988807, 748264961, 755667361, 756550961, 765373489, 769643857, 778165529, 795808241, 798037199, 802333429, 823679683, 852133201, 856752889, 861229657, 869467061, 879622391, 894434441, 928574737, 995114641, 1021622741, 1079423677, 1093620377, 1100558881, 1163487911, 1164777409, 1173835097, 1182468601, 1185685411, 1198107457, 1210509821, 1219280833, 1249678499, 1251287137, 1301260549, 1326700741, 1330270433, 1348206751, 1384018681, 1390916281, 1392776941, 1398316729, 1428389887, 1484463163, 1485761479, 1532217641, 1567238401, 1591582393, 1591805393, 1621324657, 1632064897, 1637241673, 1645375231, 1692645313, 1761345169, 1824726041, 1871670769, 1884103651, 1943118631, 2006647231, 2006858753, 2017223347, 2039731321, 2065304407, 2065711807, 2104809991, 2146261699, 2147483647, 2154593281, 2168815801, 2245984577, 2248206137, 2299609001, 2391314881, 2399291551, 2400314671, 2400573761, 2437880491, 2475486361, 2486265371, 2499285769, 2513690593, 2550183799, 2559066073, 2569737193, 2707079449, 2721217151, 2745098189, 2790467761, 2796392419, 2903110321, 2931542417, 2949879781, 2983001129, 3019242689, 3068001817, 3173389601, 3180000071, 3256645177, 3401264941, 3404676001, 3452778071, 3536450843, 3555339061, 3578189431, 3692022713, 3770202641, 3772542223, 3812358161, 3855260977, 3996146881, 4010077111, 4103188409, 4175568751, 4261383649, 4278255361, 4312790327, 4345052821, 4375578271, 4493034001, 4538991421, 4562284561, 4642152737, 4649919401, 4714696801, 4718966201, 4765678679, 4826612561, 4959325597, 4977454861, 4999465853, 5203536083, 5318798633, 5333388961, 5344743097, 5393364481, 5434876633, 5435488351, 5585522857, 5612260289, 5619297841, 5661492593, 5972216269, 6156182033, 6190092443, 6250631311, 6293443049, 6542689297, 6927735019, 6929826139, 7068569257, 7435494593, 7439220181, 7484047069, 7520796641, 7798338113, 7830118297, 7834788541, 7920714887, 7969524463, 8437952161, 8532838289, 8562191377, 8831418697, 8973817381, 9036489073, 9491060093, 9623862953, 9727892263, 10178663167, 10411181203, 10425285443, 11221454641, 11281292593, 11302318217, 11342687617, 11694270587, 11726744977, 12148690313, 12377633813, 12760970401, 12961064789, 13129750729, 13455809771, 13625405957, 13759551679, 13816619111, 14107651849, 14254355329, 14718679249, 14904366017, 15073467791, 15242475217, 15736774913, 16203007441, 16742221609, 16960539007, 16975554121, 17137716527, 17286204937, 17664039857, 18063321433, 18558466369, 18861552481, 18885983617, 19294368341, 19687929049, 19707683773, 19868746561, 20147473081, 20636399209, 22229194879, 22988734297, 23140471537, 23487583303, 23592342593, 23877647873, 23952086159, 25629623713, 25829691707, 26159806891, 26509131221, 26785337149, 26959262851, 27265714183, 27669118297, 27920807689, 27989941729, 29324808311, 30327152671, 31945881241, 33057806959, 33074236421, 33491655209, 35273039401, 35374479827, 35473416481, 35532364099, 37831175201, 38941695937, 39940132241, 40388473189, 40524027877, 41732461753, 41735340671, 43717618369, 43872038849, 45076044553, 46202197673, 46908728641, 47635010587, 48919673417, 51879585551, 52877551231, 54410972897, 54573369937, 57461778571, 57762875981, 58052548129, 58392032593, 58745093521, 60726444167, 62228099977, 62983048367, 63781899287, 65427463921, 65780528969, 68492481833, 68954123297, 70171342151, 71848008781, 72296287361, 73205584889, 74153335873, 75824014993, 77158673929, 77852679293, 78527789689, 78952752017, 80765938529, 81776791273, 84819793631, 84948746297, 87255998201, 88959882481, 91005071977, 95763203297, 96645260801, 98618273953, 99972364781, 104003232119, 104399276341, 105254261561, 105310750819, 106077807287, 111349165273, 113478990853, 114443156761, 114684958103, 115150116391, 115927640417, 117801297041, 118750098349, 119232435043, 120618551047, 121323854647, 121333341977, 121932688511, 127391413339, 128782811543, 131105292137, 131865932411, 135995976143, 137603804161, 141641296831, 143448045841, 145211798447, 145915152433, 146919792181, 147859967407, 152874915601, 152948738791, 153356423089, 155399494141, 156296877661, 158822951431, 164504919713, 165768537521, 168692292721, 168749965921, 175132692529, 175642891399, 179781388993, 180818808679, 180846660913, 196629322303, 197002597249, 199061567251, 201519653761, 209957719973, 219256122131, 220116640729, 229268017217, 229890275929, 244716883381, 247772800801, 254461617383, 269089806001, 275415303169, 278452876033, 304292056417, 311712063697, 312842300671, 319268480441, 326667346721, 328006342451, 347833278451, 368140581013, 371335727233, 391249826881, 394563864677, 408335956841, 415141630193, 415878438361, 417042099631, 443069456129, 443418473521, 448217524891, 467811806281, 470933694191, 472287102421, 487824887233, 492717674609, 494224324441, 502746492223, 512917469041, 514851898711, 540538609159, 562873504411, 579981948313, 611787251461, 628582818817, 660284006953, 667055378149, 679758314119, 694653525743, 698617420601, 698962539799, 704710824913, 710820995447, 726584894969, 744487658617, 761838257287, 775844757937, 790468905817, 796088615657, 810791440841, 856971565399, 906642603313, 1063307289553, 1067583682127, 1073825104511, 1074456464321, 1112388285061, 1113491139767, 1113614148551, 1133836730401, 1134974373913, 1259036730797, 1392971637361, 1401190779823, 1405628248417, 1445406523039, 1467129352609, 1481124532001, 1533745237729, 1533926272849, 1580019259393, 1633401082697, 1654058017289, 1692116131441, 1759217765581, 1779973928671, 1807447391779, 1819762572673, 1971764055031, 1972386557777, 2168435713049, 2232578641663, 2291059412513, 2340389488711, 2368179743873, 2400744384937, 2792688414613, 2879347902817, 2932031007403, 3028917598961, 3203431780337, 3333950193493, 3357909154141, 3630105520141, 3718266498433, 3839331472313, 4209508589941, 4315199443523, 4343215646437, 4363953127297, 4432676798593, 4453762543897, 4480666067023, 4712151755917, 4714692062809, 4744655685883, 4776428166707, 4981857697937, 5046718903451, 5218735279937, 5292250152949, 5415624023749, 5609685181351, 5625767248687, 6115209994009, 6211454306149, 6215074747201, 6440452782193, 6459570124697, 6511616671913, 6596828416459, 6705767506519, 6713103182899, 6740339310641, 6871197486841, 6896727944023, 6909226326451, 7152893721041, 7432339208719, 7606017793609, 7812610577851, 8174912477117, 8463901912489, 8633301049969, 8857714771093, 8932786385279, 8988357880501, 9202419446683, 9361973132609, 9522401530937, 9640632099001, 9718704501529, 9739278030221, 9810958633253, 9853387597819, 9857737155463, 9983923992673, 10030854869257, 10052678938039, 10084875238121, 10360573664851, 11035465708081, 12127627350301, 12239719573537, 12553986510209, 12763660054721, 12836737570021, 13220653410551, 13379250952981, 13572264529177, 13828603741081, 13952598148481, 14493503199673, 14641916303149, 14821647473599, 15012732261073, 15455023589221, 15500487753323, 15686603697451, 15865578195367, 15888898944343, 15975607282273, 16753783618801, 16937389168607, 17160693383233, 17637260034881, 17689153588009, 17866285599391, 18109412991311, 18158209813151, 18360250452977, 18455044087121, 18717738334417, 19488182484739, 20111008087273, 21316654212673, 22763003975641, 22926719175799, 22933014202051, 23528569104401, 24517014940753, 25792643401363, 26129603777437, 26309368807003, 27439122228481, 28059810762433, 28739737348957, 28753302853087, 29237863091999, 30500013280577, 31213331016701, 37239639534523, 37291324871089, 37368615235403, 37452571239931, 38425816980821, 38508212572597, 39483330766889, 39537592800161, 40686928318417, 41851365145831, 42166482463639, 44479210368001, 44596548025921, 46393668925691, 49971617830801, 51731968308257, 52317884766401, 52588634980729, 55009358369431, 56202143607667, 60499150497847, 61213422340181, 62438341552073, 67280421310721, 67535788803713, 68016300334849, 70334392823809, 74323515777853, 76025626689833, 76096559910757, 76119208744309, 76392570609857, 76554648784441, 78138581882953, 80377573236449, 81278478804329, 82595052745831, 84885296460737, 85384915399027, 86710817849281, 89618875387061, 89856878697433, 93747988411543, 94803416684681, 98277023988499, 99463730244517, 105586579766713, 107775231312019, 108140989558681, 108902775905377, 109840721427977, 110097436327057, 111719734852571, 116539854237679, 126848469231149, 127321491658223, 130666175908831, 132305774316967, 133139883512681, 134921168163073, 138561000316919, 138991501037953, 140737471578113, 142500609730433, 145295143558111, 146264881313513, 153633897920257, 153925026222241, 161517058694951, 165041853060421, 165963031279777, 166153042787383, 167859997042321, 168434085820849, 171525190684121, 175908273685537, 178925762979037, 180797717027593, 190507963147393, 192971705688577, 197748738449921, 201777278450257, 207818990653657, 239686663718401, 242099935645987, 260125854015641, 286621334502631, 297205245433279, 301118908380643, 306178659371201, 307116398490301, 332584516519201, 333808138537249, 345767385170491, 353712117583777, 358429848460993, 364565561997841, 385838642647891, 402004106269663, 413150254353901, 418562986357561, 427960745238703, 448747600991881, 452824604065751, 484074637694471, 498039116406053, 513740645819473, 531455155350809, 535006138814359, 536296539263941, 571890896913727, 593914915675537, 600503817460697, 605829388649921, 614002928307599, 615946323850313, 628007894034529, 643966863870017, 649301712182209, 679253585011429, 702948566745151, 737539985835313, 762394321774681, 791343585595817, 833732508401263, 834490119087067, 865118802936559, 903780021613921, 951088215727633, 964094242760707, 1023398150341859, 1041815865690181, 1066818132868207, 1110671633637523, 1117180440577441, 1127316245518063, 1174029487714513, 1238926361552897, 1240718764955671, 1271332666556177, 1369379108017267, 1372226516822701, 1386525709821079, 1401345270171101, 1457772869697961, 1512348937147247, 1538595959564161, 1587855697992791, 1675125010930879, 1790799748670521, 1801439824104653, 1969543281137041, 2009643799642447, 2036829768181123, 2058017388830521, 2087022330866411, 2109936092650831, 2134387368610417, 2237717449946593, 2252127523412251, 2356759188941953, 2546717317681681, 2646507710984041, 2681001528674743, 2742094407638203, 2868251407519807, 3213684984979279, 3237811125343321, 3370159489168519, 3377549010888001, 3830538323149121, 4093204977277417, 4304613491867393, 4501946625921233, 4703954662078801, 4964166554103541, 5153543358319177, 5271393791658529, 5636963037465601, 5941035366826969, 5947603221397891, 6027043735173469, 6203145044672921, 6269989892198401, 6339840806910833, 6376386802464073, 6616963204951529, 6853410184776097, 6994042018866541, 7223591273619001, 7455099975844049, 7570390327211773, 8837728285481551, 8861085190774909, 8925278993793241, 9070197542196643, 9115784422509601, 9516375589637513, 9585228595374769, 9860942209386451, 9951597611230279, 10389476529713761, 10550281065119153, 11096527935003481, 12458723489217613, 13194317913029593, 13861369826299351, 14787970697180273, 15059828108442641, 15524635883992211, 16875081675650881, 17751783757817897, 18228580446571609, 18351945672220987, 18584774046020617, 18735216413769901, 19125556519918081, 20847858316750657, 21792652855138681, 22170214192500421, 22415398357688737, 25330067076999169, 26986333437777017, 27261904199932321, 27306046411338223, 27362254540091201, 27395325377910797, 27653710336343911, 29126056043168521, 29257554834707791, 29261114397558193, 31031320083857011, 32127963626435681, 32983076027612611, 33204917536003441, 34010032331525251, 34747599647361961, 35155077044989397, 35284030283053759, 38257184231365987, 40396092614384641, 43195464658778477, 44599476833089207, 52016435676012089, 59649589127497217, 59833457464970183, 62802266052329939, 64082150767423457, 64110547427930873, 65877330027880703, 68545852036177507, 69186562412120809, 69394460463940481, 69935987114957671, 70084436712553223, 70321958644800017, 74383430474532481, 82777720757144341, 84413238703660609, 92757531554705041, 93715008807883087, 96076791871613611, 96512008100928793, 96758771543686753, 101027360307659633, 101119526079159121, 105498212027592977, 115417966565804897, 115812024214750631, 115846651946400929, 129266711542799251, 131895016205024767, 133116327626495251, 138325941036565103, 145130814068214641, 148067197374074653, 149832750683283097, 164597693569197241, 166242935471754241, 169523514238420211, 170735974773267443, 172720604638150729, 177722253954175633, 197766803208315851, 238495197879143209, 249602191565465311, 276696631250953741, 286121480219517473, 291438334156037699, 311195251370951377, 324965201690131831, 333628015107245479, 339175003117573351, 341117531003194129, 358228856441770927, 365883785511434081, 370244405487013669, 377801626929390823, 390527897582929297, 403906782348344599, 407770693450231393, 461797907949997211, 469775495062434961, 473000157711296729, 491003369344660409, 491981122308467411, 502862692004168161, 522114085011580241, 538939720215834697, 549675408461419937, 556338525912325157, 572404735191016891, 578189648968825099, 581283643249112959, 581546606903256979, 587492521482839879, 598887853030285391, 623293182848475361, 635152101298808699, 646675035253258729, 658812288653553079, 668214452631436913, 671165898617413417, 715668470267111297, 722501809616926841, 758399801407611361, 768614336404564651, 987879984327104437, 1025698740064276331, 1059099980653317121, 1100876018364883721, 1104547173371974879, 1234944495181377943, 1258710725115650761, 1277297679372570001, 1292800939332382943, 1294046302848776287, 1348959352853811313, 1391646221255097953, 1438495818172960049, 1459574594862075553, 1746518852140345553, 1795918038741070627, 1839633098314450447, 1898685496465999273, 1906785849099933631, 2035259884744589189, 2069655374719577273, 2305843009213693951, 2416923620660807201, 2511696210834096991, 2576754528566814601, 2714819157586383751, 2762194134676763431, 2849881972114740679, 2883580030222424891, 3011347479614249131, 3066290411598855013, 3289098531153894127, 3399426377632056001, 3442404051886487041, 3453412901832690553, 3454631579714210387, 3712990163251158343, 3902095192430070721, 4096460559560875111, 4170165570896115649, 4193551379485561391, 4205268574191396793, 4336790831080504259, 4611545283086450689, 4710883168879506001, 4768748142197177447, 4925687525543853241, 4929910764223610387, 4966300248405749059, 5157050159173695487, 5213526568247671787, 5560125493425335999, 5667228215161742851, 5782172113400990737, 6670914925963435577, 6912010464887165201, 6917353530526492681, 6976447052525718623, 7099353734763245383, 7226904352843746841, 7883576248112389199, 8142767081771726171, 8573192048327176271, 8588408897489780521, 9213624084535989031, 9520972806333758431, 10429407431911334611, 10488160032325844521, 11527429277532648241, 11931812674076681849, 12158987054135300783, 12450751815271172041, 13119770765051463547, 13444476836590589479, 14402030644704405877, 14808607715315782481, 15162868758218274451, 15576974348063186977, 17795830908608814443, 18093927039368350337, 18446744069414584321, 18890331057055511701, 19089479845124902223, 19564699409833266851, 19602880710043505617, 20597276734348736647, 20837062885084633147, 22086765417396827057, 23728823512345609279, 24418671951944649151, 24865899693834809641, 25394524415842506913, 25395382141805460457, 26032885845392093851, 26831423036065352611, 29111948248642861801, 31100269092898119731, 31255173993464476009, 31347559232075126851, 31357373417090093431, 32032215596496435569, 32871186029052837857, 33563856450515702761, 36230454570129675721, 38914392714281976571, 39044358788825633753, 40544859693521152369, 44523886942460772001, 47970133603445383501, 51366149455494753931, 51441563151591093599, 52547670996812050561, 53425037363873248657, 60272956433838849161, 66232837958133438967, 67872792749091946529, 68626625145959029951, 73208283304744901303, 79034734517219615663, 80485166514184335373, 85337232196804809313, 86656268566282183151, 86977595801949844993, 87274497124602996457, 94291866932171243501, 95016376135553173181, 96833299198971305921, 99695503427255026561, 104757762864135516671, 117791760059111382841, 122551752733003055543, 125965976976392564317, 131380422697420095809, 138724733805016586033, 139065006256539545729, 142850312799017452169, 143162553165560959297, 150832426800173710177, 157552196128597543991, 171857646012809566969, 178230287214063289511, 179351574736387915177, 181352306852476069537, 185318160171793066961, 194193974563158088483, 204712366597949333831, 210708825063558235331, 227444841245238451591, 237157827243967596481, 255375215316698521591, 258977744356523549983, 260242449712509916159, 308544695409769427309, 313705683072406514521, 315929758125865060721, 359006912765190408181, 362312427317443674457, 373200722470799764577, 381364611866507317969, 382027665134363932751, 416115013830990336221, 441995541378330835457, 487073399939357470433, 496817081109150685921, 518144156602508243009, 531132717139346021081, 619079222361672204943, 635283689603233836449, 644467520107517023949, 692218280897365325531, 705900082312653909721, 709018264240844065111, 725688486718330087751, 727679956595455269121, 918125051602568899753, 1008787906424294727221, 1141629180401976895873, 1186694555374004016103, 1280761337388845898643, 1302216832385373385027, 1330118582061732221401, 1453030298001690873541, 1460915248436556406607, 1469495262398780123809, 1475204679190128571777, 1491477035689218775711, 1562985901350085709953, 1629239097907113911209, 1873030665061080894263, 1953272766780718501831, 2054021544734875175323, 2136958965524920285681, 2203942033439148343973, 2310141222312973778401, 2756788662198217256191, 3061144307110551703729, 3192261504216112476901, 3211586054639813621611, 3274162442129276091367, 3410623284654639440707, 3578620616468306981503, 3976656429941438590393, 4029292065629191839853, 4373689270176379261201, 4410975230650827973711, 4565508951414453792719, 4635260015873357770993, 4727997228805279065233, 4750535347861726648681, 4815314615204347717321, 4889940029309876547089, 5033986097724889062887, 5302306226370307681801, 5439042183600204290159, 5519485418336288303251, 5704689200685129054721, 5770338946481798744593, 6268703933840364033151, 6319957642033539607139, 6329588309789019577199, 6645418768842321985721, 7580827241843270677601, 7675195491326802969559, 8088220746627020943841, 9444732965601851473921, 10155021917057853331411, 10920513604018498900801, 11699557817717358904481, 14143189112952632419639, 15079116213901326178369, 16008527538753578495897, 16404229182321439707977, 16659379034607403556537, 17904041241938148871927, 19301855478655894221313, 19963778429046466946251, 23480412082098913326841, 24295813738965169951447, 24769991104728312891937, 25336594975374725568037, 25342605037666235678081, 25349242986637720573561, 26155966684789722885001, 27037028118448801270021, 27290812893120485231161, 33157029794959983067039, 36441674155824796521521, 40809065233184155116161, 40853155149612675915761, 41523259994275786297957, 42262784685026262370553, 44185520789894155033573, 44894058474254631045721, 49322756803485314471713, 49785726347323441303511, 57193908443040877545241, 57912614113275649087721, 59372021171164475019217, 60560850681938908875991, 61654440233248340616559, 61676882198695257501367, 74906924194076922022321, 76834966209858049526107, 78161016568215708061327, 78961972629651529859281, 79778881726281213651073, 84163674336698854450433, 84462210560148142953097, 88116165754061081804047, 90133566917913517709497, 117070097457656623005977, 118722715461092305629361, 126901141805369975317583, 128014683020611040553769, 130530323901899210670077, 135322045917118601273437, 138732415594618114488007, 142406868765525436670617, 150212580033138336342001, 155285743288572277679887, 157925605323676378629391, 161226249164751695652113, 163875530636702837695009, 167773885276849215533569, 179058312604392742511009, 179293953141823358107657, 182224921317852297530287, 184603056517613273120809, 199957736328435366769577, 201487636602438195784363, 207080154684218888000497, 225117233926884384606401, 239506881856626095535121, 245262248913715001137177, 270097268484167653999069, 270374114136830957955241, 274473195338134592222791, 303303806129303896428103, 320507768196690588004609, 331343920853356078376431, 335203548019575991076297, 337570547050390415041769, 351182936972570824983481, 357319966758824298104849, 365505823711978039310711, 377725045152842556276329, 378428804431424484082633, 414194958733796530899181, 424255915796187428893811, 472897006006202784083089, 480625710015394052365153, 515878737178649880676177, 535347624791488552837151, 565288195624678452623377, 571403921126076957182161, 579017791994999956106149, 585608533119706764820561, 593783678966863030035641, 596242599987116128415063, 604462909806215075725313, 647125715643884876759057, 647923469936355993348337, 720453772427518446437641, 737748363812546584876297, 748093847626791888666559, 759355003952701949854003, 776729668507005203702993, 861926610031728629577011, 870035986098720987332873, 875938090182754292028329, 978146583988637765536217, 1009157848082361225065617, 1137139284834559382500297, 1155685395246619182673033, 1351710731785981752792617, 1369738735713888876695951, 1425343275103126327372769, 1527890378338261467896809, 1530328553290391228929969, 1643464247728189221623609, 1728221461577944661374351, 1734492765338661710171833, 1905911178138824081520901, 1917765426328344646895407, 1937385241416564065603093, 2034439836951867299888617, 2048568835297380486760231, 2065255878519475622261353, 2077756847362348863128179, 2673989784183378728255297, 2741672362528725535068727, 2815747080256641401887817, 2949578944598743237863911, 3042645634792541312037847, 3427007094604641668368081, 3687531861438052950582913, 3728298863422039632638351, 3857194764289141165278097, 3918695179304214327885157, 3970299567472902879791777, 4036962584010807014809213, 4126110275598714647074087, 4247713303224552237738169, 4487533753346305838985313, 4850484222084371979240001, 4868122671322098041565641, 5028667832511715101284999, 5346950541323960232319657, 5519267814834477438497153, 5609122817914313723820539, 5718761969788697451457489, 5791487405427228378717709, 5800422716722833271214743, 5951631966296685834686149, 6044274266901603399200353, 6123566623856435977170641, 6444365376140611199022187, 6834040335349578249140287, 7289088383388253664437433, 7647513170903349335637401, 7718960266212068280249289, 8235109336690846723986161, 8835538898098695059049137, 9280993516297855054039457, 9716134201585679932947173, 10471846336802440580575859, 11053036065049294753459639, 11575709336636595278866333, 11862938913865507127049391, 12070396178249893039969681, 12708237958354187384010097, 13425464222423304875744449, 13842607235828485645766393, 15395951896033322050978817, 15472078121378442801745561, 15929619591127520827829953, 17059410504738323992180849, 18208260781190156536114609, 18292898984156916156396101, 24929060818265360451708193, 25129004796912072003423103, 25925516494438382632167017, 29940168528270618887118001, 30007459254393181618012897, 32206359010364528536290817, 32367218471375835379289471, 32605142983704221670173899, 33715476283025803700130451, 34224064338126003049783351, 40122362455616221971122353, 41435606371227835355919073, 45063180240128066017730357, 47065603823663026660218883, 50294321643757943005617331, 54999142147740840245669969, 57805828745692758010628581, 59151549118532676874448563, 75582488424179347083438319, 80181854738775471107692957, 83212524822005103181053031, 90338901802490793533882683, 94031095460270951212691599, 102072660983478595344638863, 113709467433878120743807151, 120226360536848498024035943, 123794003928545064364330189, 135732250385154376731523201, 139335546032913681584758997, 165609143561652962744166091, 173308343918874810521923841, 175932323679511304414371921, 185382112947811828276076281, 187030532513381403767944747, 206875670104957744917147613, 207617485544258392970753527, 219516331727145697249308031, 235457374510092115086834691, 239932071009857681156251129, 256582225885581001782477601, 275700717951546566946854497, 281941472953710177758647201, 291280009243618888211558641, 297927289744047764444862191, 320021624768405574452943847, 347916608026315949237260151, 385606580062688087218266143, 385888918596723595535405951, 408946876729703992293841657, 503823044204581129045587727, 512512927677384344303149537, 548560489336890960473978059, 573759820507018639639785001, 583117579691967491546961181, 618970019642690137449562111, 637467768535882654780280209, 700553271665826444242790841, 715302895574501987260955609, 747609928190821086986322983, 819048171793389082617855311, 854096275589539341506608949, 857491387188810516016046647, 979593335915791354913977669, 999802854724715300883845411, 1191622782866437328993110351, 1192425792950157874662150001, 1422346738975853644793916289, 1487840558911519281039078769, 1561132657829329085404515097, 1663763381192308635718252801, 1703616691469833244854254847, 1826375940722234754636475033, 1996187656530838599012839257, 2401258891949526685926151441, 2665675660861389884202429169, 2833637724427940664433391497, 2995240087117909078735942093, 3044938125828889184039273431, 3145393391123750039342489201, 3178641606717935496778334833, 3278244690156222434135906137, 3284305317126808646829056321, 3786707123184812723340717607, 4126631533969610752526181761, 4299881834172078350686174001, 4409486883238989864703786561, 4475130366518102084427698737, 4565795412500725128240734773, 4721525455401597740684262559, 5702451577639775545838643151, 5880734007124467829187484937, 6975729612775483517844546731, 7241702191810014332930493433, 7248808599285760001152755641, 7971862004867103303293462593, 7984559573504259856359124657, 8530674250842274717434530683, 11054184582797800455736061107, 11355690325205671380495907537, 11514895455487400649824422273, 12004541501954811085302214141, 12430037668834128259094186647, 12477521332302115738661504201, 14732265321145317331353282383, 15778453094691989880197773477, 16549888083084083065824727273, 16636201944470267267182958207, 18526238646011086732742614043, 19970905118623195851890562673, 27243386602395588437243602121, 29034057164920993379000074993, 29489362305514321744929966859, 32308603398271777835967540631, 33869483802755570065477644041, 34418203155300430111979265857, 35695338233523972669330604417, 36079584237927411511333522577, 37201708625305146303973352041, 37866809061660057264219253397, 38573092257178550307394862497, 41941878936097554082013916913, 42185927552983763147431373719, 43725552532343303477113703251, 50647282035796125885000330641, 57644473457648767005697802783, 59970388037871582350272399931, 64326196787727903551977150861, 76207764956885795275897986139, 77764617112817456421627629713, 78829341974215087229120114369, 78919881726271091143763623681, 82280195167144119832390568177, 83648644144524510111773141111, 84115747449047881488635567801, 84159375948762099254554456081, 84179842077657862011867889681, 86759605608601233853529454601, 89654239955972104838901500177, 96786396648673403672115546439, 100342091647341370469161844713, 106788290443848295284382097033, 109053678968940302364939183451, 122575221550682354302309961053, 123876132205208335762278423601, 134304196845099262572814573351, 170018474935706970530240356699, 176596029450915408652219208387, 182331128681207781784391813611, 182602768015690099110572536951, 202664437974567925010435751833, 203525545766301306933226271929, 215656329382891550920192462661, 220079330589145989807908723201, 227020551154913939039124941009, 245573800535260692993906074551, 245641050541016665188014626987, 251951573867253012259144010843, 258777491057348926546569104663, 292653113147157205779127526827, 301311116540899114446723859201, 334202934764737951438594746151, 349621839326921795694385454593, 378791300027089635677652285973, 449329386292232535250647435097, 456376431053626339473533320957, 492915077885080895226946001921, 573472334735477809996357383167, 661521349351105339668937661297, 728040923721821697586308784409, 756450142211646020278834399577, 814132872808522587940886856743, 845100400152152934331135470251, 864328108984548257763049805767, 883533090360873723903538281367, 921777666286057213147728970951, 1065107717756542892882802586807, 1094270085398478390395590841401, 1234904213576000272542841146073, 1270593144646505233013326197403, 1329628131546931497103420134367, 1398877133990750181532404877513, 1456235596904319041738812533139, 1534086200463688788034864584049, 1607792018780394024095514317003, 1617189999730415801728461273583, 1656489332706171370072190422631, 1786393878363164227858270210279, 1839699736969340949026772071177, 1905976815426273605733466333451, 2056186475270066900583885539731, 2167731870412324810536209829271, 2319326790833455848494271717419, 2647649373910205158468946067671, 2762339998302448893880313142073, 3340762283952395329506327023033, 3548950581098263559084652467359, 3655725065508797181674078959681, 4251553088834471719044481725601, 4362989211422861340320935785851, 5461859373498087771053790065009, 6127581899703807800001946665349, 6424414731245950286450458211761, 6597485910270326519900042655193, 7277473036504760410488618498577, 8099559410464120708848563721343, 8340357737139637289786276330761, 8889432124593512497963252165417, 9970146666059203361408046051199, 11502383762931955619183430785983, 14973866897175265228063698945547, 15704900959651293774270521395753, 17631969887860014158574508770817, 18478609113710122023550126425157, 19177458387940268116349766612211, 20946001591429012199281424246257, 22481127512575175864234185190299, 23352531315412606928823082635851, 24124332437713924084267316537353, 27312390961824038384529619828691, 28435302301212461494420074814087, 28617130498420804403756708531447, 29728307155963706810228435378401, 34720396273212657799920861294559, 36450568206770608791178096385783, 44667711762797798403039426178361, 48050683584092004380805463790111, 49858990580788843054012690078841, 50834050824100779677306460621499, 58381440973934522510444290213069, 70180796165277040349245703851057, 77146448294831869472151022106713, 86245368961389419078481015822433, 86945388997210442828259494992321, 87449423397425857942678833145441, 90794862316027093768853899468313, 94455684953484563055991838558081, 95805951836468022966692945378791, 106014123028829664722111227465753, 109801296198740392094858844294643, 112521450818457950210174975426777, 113910681722635191781067775764311, 153472677405951306470238401460959, 162259276829213363391578010288127, 163537220852725398851434325720959, 167833515549285827885461382441449, 169462032913464877812492288268723, 171742076613580668857212300403179, 177457540153273192963355393450351, 188999403857128746828420806061841, 201955048939840841121786425435009, 205295973898620029528272537868263, 234341789260493933662402728271919, 241459659973825303567826493454039, 246270735864387271375789289856617, 252715814615565962418688965855731, 254697295909573204954870539927521, 304832756195865229284807891468769, 432363203127002885506543172618401, 460233616861852066165180033789571, 498386055746534779273231850742131, 594538100848945223169882301931953, 602999957032279571271592229136193, 626564962613678012662146877852049, 630894905395143528221826310327361, 738686421813192728921171408273447, 778429365397887608540618330873281, 963644196044828188869351734353847, 1165626988664823792549971253972697, 1170711644777651877659556633665719, 1171175995519938934637486085538049, 1245660907214169781926561543788801, 1276130308645500829341614664372811, 1282816117617265060453496956212169, 1335570346574631363954390476479681, 1339272539833668386958920468400193, 1340235308854811506044205739394787, 1998447222711143545931606352264121, 2326974010504075618187561564812777, 2363026390394916673046830675466863, 2430065924693517198550322751963101, 2488196881582734135904733409191377, 2550707823005230793212015514781257, 2646185328486854129693169911139349, 2679895157783862814690027494144991, 2715862005931406599419575483412481, 2842496263188647640089794561760551, 2927455476800301964116805545194017, 2932473701943181625152024650584953, 2957111053582540504996549489605401, 3598194408030741269333601460682311, 4169136946773000713270790657459827, 4760137992283599860814226997712217, 4982397651178256151338302204762057, 5800976318060644948970424014255729, 6033312171721035031651315652130497, 6774027833473375976915021445395839, 7086423574853972147970086088434689, 7237497065445543055003057643920459, 8013930086014783164580302226587271, 8290249522204489310786895351990721, 10038055841545956979111137292020661, 10384593717069655112945804582584321, 11011808951971745915313242336927641, 12243864122465612155106392056552353, 13299213974872825932452460424235657, 13453890779540632945331892129844577, 13775694692898492184744709216599873, 14399141148866077141941966959399761, 14768784307009061644318236958041601, 15174923558680812616818436353130417, 20389292512407050043445124186439967, 20825730982886584878330561061323409, 21023711323746974956423747989180911, 21535805979875847804128272826013997, 22053236096920219270632521586535711, 22310863847225018142861783673497419, 23482447257772948338207752516264041, 25564774360363212740382247547878573, 26302895729179572365768002599674239, 29444549303703754611026537050435001, 35758633131596900685051378954141001, 36706221574691349767448834021945679, 37414057161322375957408148834323969, 42897689055449636582684640379732099, 44250674269198344200898981420091393, 46782247616476922972329742136208001, 48111154791914771769582354405627641, 51480369709170501304394118553664009, 51542639524661795300074174250365699, 73202300395158005845473537146974751, 76401557052661070266405340180269721, 88119307925269041107418404833666787, 91979404475310284038389763276277647, 97535130364653673535422113471207017, 104167755499168696693743867494211841, 107636344217840413139193500838915409, 118420287267066844820208926433723871, 124339521078546949914304521499392241, 167823649475113693461122232089506777, 199439000998738772588908077106387241, 225797717267637708506527464987314161, 332817722770314187794325446534549089, 335631827046798245410603730138717057, 338858733065598401355195539629373089, 365212445341097287826412838353955921, 370906580744492785430299503112990447, 383725126655170964501315730676446647, 392856131525846647191238066992041449, 393345821366273907459718331839045409, 408071156372794293927147176542113833, 442499826945303593556473164314770689, 503836749763922905688176944079261201, 519724488223771351357906674152638351, 526385733768051189441947168504909159, 537267160555901894919756929016169673, 551151871547616119938126402169604817, 552173839617265152659704124779513957, 576694829762330794568961139476826913, 600619547820455607135590639621491727, 714106625397559765944265428336645929, 791926693391795441127294795391450663, 904106555381898703253733254107256591, 921525707911840587390617330886362701, 960954217134424245898328814050043401, 1017228587161022218598932642491638987, 1038213793447841940908293355871461401, 1080528897710038815140945082604626901, 1118498440898880562062959177194663477, 1614501783881444871695814328568586673, 1636198597169607245088331633873083979, 1753477469677913202190537606674204157, 1772303994379887829769795077302561451, 1844138946953172296553312102102187271, 1925631536827398342750945451754630611, 1963672214729590922916323781834466879, 2468805350190760992979935216750635087, 3194753987813988499397428643895659569, 3388098290567587377052016525627948593, 3435950210316335724157758000789490561, 3717542676439779473786876643915388439, 3803909572078746837295094051706948091, 3931002956111648245378728475226109181, 4279318502765963680153103023323603817, 5150313398606574060240971858429891941, 6952744694636960851412179090394909207, 7923871097285295625344647665764672671, 8510131405590136091948615255367876121, 8705752060803157813200086999866476019, 8778523027466598416204656058467252273, 9200725871078697500072796227876997617, 9215285895065526291256518741915902569, 10287968884341772230096159036619433593, 10350794431055162386718619237468234569, 11247702599676505481447137991664348691, 11348055580883272011090856053175361113, 13948432601001273785699253868326270649, 14508653262991734676225669411020750337, 15109165329245515231985834925494692879, 15653990705896313547269237220041169361, 19616702141919323129388715950912065791, 21597468549493958664902504331670645757, 23718232032401560617445166686464799001, 31133636305610209482201109050392404721, 33716583668208510447368101472499412321, 36614110124735294634435619027766763481, 53928095661079461754990292241379839311, 54169520413224311136354324156824071681, 54657255048286677488033160851148008819, 56713727820156410577229101238628035243, 57539008978220065870296061153652147227, 59588714597816906383348767955828416209, 63406006407727721042109834220642811713, 64835086810126708428197417798336316991, 88628235147538969385874281472055436801, 100361196281293745682520861860411315001, 116082946165734700021832375583736205537, 121090008650245240545321284919376582913, 137403482726882442386895575645854007713, 155251136815444024315833387060599471617, 158362232618940822526398920291451047671, 170141183460469231731687303715884105727, 185074846248319535013227469188526344689, 240522700235167893496900256599634325263, 298291609560028759691116319707152042481, 374550598501810936581776630096313181393, 432185728407904618000990086610965513529, 467795120187583723534280000348743236593, 470390038503476855180627941942761032401, 581211581673454706767349073071710126567, 901912542742250747662095103224539896393, 1007715965875748226745472989687556259131, 1251163891299967635860272509229764287909, 1345967414522954303164296915490846371433, 1453023029482044854944519555964740294049, 1673815085186574700322174232069942181681, 1824266557538578174916103390028454586929, 1833085153842665442652283234165143433597, 2281789702931966351864875967159638003063, 2380142106509122200127345885819001687213, 2394594520709878135254356190088519028761, 2728334536034592865339299805712535332071, 2822551529460330847604262086149015242689, 3150916688576664143611069445209929619169, 3299127482423741580907799021277068588977, 3477396520339709531699943780276325113101, 3563269486977651154759062020950904488457, 3593875704495823757388199894268773153439, 4027016481761119763553952463965455549881, 4074891477354886815033308087379995347151, 4897406518564079146139572699835240681611, 5789297444343221862596731102919959957963, 6084777159537635796550536863741698483921, 6113142872404227834840443898241613032969, 6563213024281378912864020513717469284499, 6955979459776540052280934851589652278783, 7348400530773377989289144129092395161857, 7521737478732572053581227840017636545169, 8103467492759792327149800361564410265219, 8241594690167137359552274418432855740327, 9447623200404223747744805461919020208953, 14122560700459482493165563202458351462799, 14139262262808175798602566204793985440361, 14797326616665978116353515926860025681383, 14851642607221752942766012585821135190909, 15164972751718165538717288739219937057169, 15444711420006203351165170879848557117713, 18608722347327079478372693516842174661089, 20844252715379252090938485003447004944677, 24710462787135943791475548268920478656481, 24789994689980013078275217373572023257787, 24841125429051585062538961751269988364169, 26537037220992112785174856161239437662001, 44399394252774652151567131602624448846381, 45470534643405479586527115047619453123209, 88910338973359434076776038119074340716281, 90268296000189649868678102552775904610963, 106646454159157789533685339377679881781493, 110582329556343704552404016904356632250881, 127886114126296744221796660380215073025601, 175739665310505752968877740350313227534889, 178137551056208627463817592059032323866951, 208431792655914668791053468894512489769379, 272007548484389196113813589140615077929661, 275509565477848842604777623828011666349761, 364371848053973128400380293624417256758401, 431458267304950409618673634079545142558161, 433685074806886298028919267117655888254843, 474640860193534882628078580680807822523991, 534955385319592511227419175872576025063351, 648168721774409511378116151410898673195879, 663636889167401354279502795531186216903001, 664728004346558283448724389870269691211809, 762551893101410166019390283047520363896913, 794769178865803830796254438307018567389833, 962744903648208108713898832235090314894033, 1031060347364991963691143703976548814351953, 1032670816743843860998850056278950666491537, 1156776348417160383928286284678419338772193, 1159786009184278940605658153872708441955317, 1378790948509427717673789094900757220589207, 1609806083534335902079374125310994612192903, 1808226257914551209964473260866417929207023, 2004186363732465633272613168051655374493121, 2044333418084691639917563561172180103378559, 2252765682876603539639635308408558411526609, 2408840984250243046611173150925486103064449, 2705981985587527191852752325795076108854553, 3115949925222900514664736941746248477210667, 3306918468362395868346324514646813146301551, 3421249381705368039830334190046211225116161, 3959230115153309849247403143218625469852321, 4000659204579114753312310878847043394855313, 4108316654247271397904922852177568560929751, 4347868190665879373495950562775707707143803, 4507513575406446515845401458366741487526913, 5727480921933726160775149554121427904659393, 6874301617534827509350575768454356245025403, 12687370311710932103729819887748340216531751, 13306086595097866632236752730067629415649399, 14555351154393199486009895146040017633961311, 14767689550320172808742174828062347720350769, 15333541100090824437129533485272856744656791, 15624307475317816130204755452289007981717441, 16248173432447880508878672460681334430321473, 17645665556213400107370602081155737281406841, 17810163630112624579342811733978085990447907, 18774318450142955120650303957350521748903233, 18791937710720575305760721588966789412396307, 20988936657440586486151264256610222593863921, 22734546382983841003979491437223900758487279, 25389571178066054917739150587851435666098491, 28957956380769874950233378106381841334009221, 41283139633378645724930694480520226273492263, 50455592168903227107903715726570129520096917, 59904608378705661377430182608711698924130721, 69982170658265444713117545258712031103399659, 72665575884323021522460727660186327381229881, 73214830052905408299354903681341531907328727, 79638304766856507377778616296087448490695649, 93189126452944019033888022519639331350438619, 101625278121114813541046756104385520302531369, 148296291984475077955727317447564721950969097, 209530011998277670096922500900062393290897233, 213379941663827592701819558102368170760508803, 214272694389796220531917097586652873821573313, 225486428396474227112409054380791819318562873, 265549217634074770386573489863592827112366481, 327061478509556968075523586322717436918466721, 335694389427634954071771421573041823051433281, 365106542520646053873234125869250449257912961, 378321539354637595471013489406983903120592833, 380175443574763153088777745842279962515778711, 496474000537225566899310934393330825097522839, 588850381287433028279084110474400181861465037, 610750585993378533918571366551132613003293697, 688979143570616582830070781662622819187353601, 781335393705318202869110024684359759405179097, 967651113494068011489137268940159136059745761, 992005069953996722026755979686303668059315249, 1067252124073670544578597216793724332593915233, 1131832377932535124189124787988905860893840561, 1167921844796930836978129504180973017018182961, 1271824819271756089692072867669700519167079543, 1372617429248257063179636119999552844862152089, 1616721141393989482351447740066663923511303121, 1973833390189373292099390923614168779294442399, 2023706519999643990585239115064336980154410119, 2099073106303095025303885460879717918033130293, 2494425222574733214339278396950946967011483971, 2854495385411919762116496381035264358442074113, 4439178610498750562265662801306566979739967003, 4478527345975241075738524755872079528958635991, 5118520748107713872196889605626300465168091691, 5473015810417967216563512902910681466781133103, 5878920553871871291270984955318098156844648537, 5972377728166033731379524138706997651075303681, 6733513069125713373469792264487998423347380827, 7616038569790289017964814010721823388947821809, 7993364465170792998716337691033251350895453313, 9114901722266383629807574332217258944092868367, 9171512050413471978823535677986962353938006401, 10559241583796365631935764162530238561452234881, 10909426047235017667998633478885601105094202777, 11238344415062964442147243324272630868644399851, 14407170630221060156595686931380920555127810203, 15992518154179475674328213556857438690614816129, 16876658717031589479860902742568825114336243721, 19573690271784800408214873038427972853220421889, 20336952491372732458100553842885784919705927999, 22798505814116334119485271455401054495620094271, 25806248225716242845491832244899635927231330561, 26693012026551688286164949958620483258358551879, 29919490848598531825060153417921002916701815927, 31777797576236894605233997451651748223054019041, 33983040640336090041816253930273656135559781521, 36997287511549004440599388408744754230660993087, 50620094494730690929551913249948101083228214631, 51903872795463977962670556595700473584389435543, 72386347544037768298632733630815274606848381343, 74511568294243628863306502825698825239868474219, 74716964067758844321661890925503011337830328521, 76477819765444619368130651164956718316971995659, 88544086062101280800732676713543809008487793569, 101249241260240615605217612230376981800142669401, 114193878466223527772144221955949216864968539889, 140508608590164280225934233098866842745808905947, 163771629900828769671363963472861890953631838273, 165881583766270315258032910858563450583741187377, 170617159758027087771086981194610206694353113401, 170886618823141738081830950807292771648313599433, 182687704666362864775461208552445184771578920961, 183441131803022762130427722962952171341869050463, 188089893911024068187126343999359519615500901401, 203369567047358792597230853956871186267775970073, 206372514331790653651181848993175421190047559657, 223192283824457474300157944531480362369858813007, 247054336699552168887961800292921715571154497761, 252359902034571016856214298851708529738525821631, 331192380488114152600457428497953408512758882817, 368807221314046570921624935038049174011736160751, 694579497316894264425661243659806371972188318857, 820793700834095033598534000634605722059739038841, 898904260625884249027566123577814531679366231253, 901584692755427378722839770656354167189649601351, 911066556314339913468351173796888655666135594657, 1035817877926014488587133818491976759389034764353, 1438390199144030563364806863704510189429516419097, 1444211137344578755413561460184550803276100931567, 1460384540571001412284141831845453026637206635511, 1461503031127477825099979369543473122548042956801, 1489459109360039866456940197095433721664951999121, 1609655415875897360904371080437164611501156560743, 1866013803867738316856548085894075729799351216503, 1889440425670100451996180195442651130966948029537, 2125820563389437533390243893834597846757304863651, 2191165825376888084750157716424579062015865776131, 2645097367401796494779071821252585360713370368201, 4667813439458532797392797231517680422795032583489, 4884164093883941177660049098586324302977543600799, 4977047949106985392753791512048265888682003683833, 5055472900700718446998992178766514487953008646383, 6252200505559391265660834611730277041893919359311, 6885357560205319573060633896800918448254904729193, 7110008717824458123105014279253754096863768062879, 7455602825647884208337395736200454918783366342657, 7911922734932819371233930194607936241219971448463, 9041801377211026170562298804509441444474688829821, 9451749810136297910082728291533022318601070087253, 9815639231755686605031317440031161584572466128599, 11692013098647223345629483497433542615764159168513, 13183242101527799620391251382520507315529510625017, 13306320418205909319940605309019024034703545187073, 13854772173181680651901626546855984966582610663321, 14807776819440781028664663654371485765148925580001, 15694604006012505869851221169365594050637743819041, 20155798822017245111102019714324599882897299149847, 20200567342579527631370455849751729349809657695513, 23365041083799063007245010292408927930007906086731, 28474083676894571496726280348891354240661831606009, 30414028470765822165976581508161866432602988327347, 32972619777851117988625390165531124382269394491251, 38608979869428210686559330362638245355335498797441, 39699266645852731908271396177298928124355765422009, 49848448234572624009465371493197779785120970152607, 50061214622509969230528187280149191683596667776057, 60377696324322249075824028749967823864613982859609, 62357403192785191176690552862561408838653121833643, 76490150923395684178472404003401860286655314439889, 91213423835914289025597837774887518459245610297993, 131084304485119425504284495119889529996019181850241, 132798898521004777680398175782876221227618319985219, 153787279330237476887106331233239525756635010497681, 155137816977180947152785562601502526330318743274151, 157751978115225385495647532421006478127229405644601, 178325724886188112393573476458482965256782477560753, 187072209578355573530071639244871112681892570202113, 210516800089955301807292488792588188869650399862249, 219681126844282487641411054552829164292094374447461, 328017025014102923449988663752960080886511412965881, 621109541542884571802304568790331501283098925929529, 631430922992211190033830999202698905758039480236241, 658902026875796428567829503940349573542148080739049, 737572843389436536903316910033561929012829990389769, 750016890283777055704738227247474485366338380663681, 1542338292002409373550628606652924602059467660039183, 1575585587524885013687391114684244158499565933913187, 1696067654151459074824290253436397570222341162468471, 1817023253798585112376955621635919346759818823715057, 2245714052771430777876143006786838979329549117936841, 2343254763791128850444156587107279568075476376903297, 2915547797343721112173446482628529057775979692132113, 3102804258869848876949115800490112967822146918598407, 3320934994356628805321733520790947608989420068445023, 4067055143413119297753219773293999460854231105692799, 4143416085716681490838653625856664863812512904964849, 5402466692901024046835332786846625537686037295987161, 6225705473971244034925408772395577890626984089129137, 7308406721600915975493042444655703398226218153777649, 7992177738205979626491506950867720953545660121688631, 9287804280685549211923407208585104624866061082613851, 9517163827671420782711708823501909006901645658490487, 10276876497295959142374278224747317922211821032760703, 10378785997959707787746618479652152430027101880522681, 11075231221618592513745760466207434363249588723425331, 11091113376655556595890990679482099679181989410614081, 18152902839291497575027462639977160832701118299213751, 19112684214957755703306290219340140859813072336321619, 23917104973173909566916321016011885041962486321502513, 35137888682991172687207804802805853896809097192922393, 47322686948898415351505582462576221839235677646571281, 53625112691923843508117942311516428173021903300344567, 65822575300775658772854198368766558032903129506601623, 66160413724915364725540228212461512514283877255084129, 69586779567906400453376529267198885406422141822768937, 74078343132499989110265409250618045323263715522281571, 100705076277028140414573036353559088974376377685400737, 114108926533277547114950395876303650748750713807456121, 129541188208935646963818844716591986208974410651257601, 140183614482450346632384931984512181340021597814186079, 162383614111595675973306320509614573241829932932497191, 199987538790826996082414586220862745720625115339053303, 246053469753590746981511859818675718355368494592178751, 289032286755051820954283562071395404701830115983581457, 348106277055479556523667298997810176594405634823028961, 454880828193476858296067961247991575807852441367281771, 635600403337332590211116118455562871039610986360032901, 867988564747274927163124868127898657976489313137639569, 979290663259342511569398738931332381010645147626228199, 1161625406204540347970098063703363946902736086742697099, 1201143211548122610156499073546827568174014812959988601, 1213879697009617667840625625239307278583085260903037111, 2049744746263568646584566175908385907415012329005298331, 2365454398418399772605086209214363458552839866247069233, 2591359432094537078074951131139791193021859439188185801, 2896793131110864597734842177399739433374955784567182457, 3862163385805798697201354795194661512726441364448411929, 4735299062751047834629348947476766642710028552319600543, 4743358775443804666040010704534780418840545962266329593, 5639243110659562244485608305023868173986467469856659233, 6920400848110359047653995057624941367485834954585997077, 8067670082858802084066104063317410636310881590473931569, 9702750326896479671727000542228750333832492673090744273, 9833304614455302578430964280893955512223415028355534287, 14488318273595902692706536553684238317387680182551817911, 19755740081951910036006278827509875120092863638283602681, 20493495920905043950407650450918171260318303154708405513, 21234370960880098806027750185552713706866970578963970119, 25302796036126213353739363322307560110912714814142460639, 25651395262318407934919734781737797067431285390452848441, 26828803997912886929710867041891989490486893845712448833, 29724614739876344125010817433703775877960388838436140673, 31055341681190444478126719755965134571151473925765532041, 47565948855249030607648469764544867603199396453249495641, 56567687035285545626766259407689093973050946051397638001, 58661611895317888463459159306494372182834314694165224297, 61641347592475860688686002670152525762503468748858717047, 82723179283707558079607521798312521771184766697594996913, 112177476474470525577861298937835338545723093134076373561, 116868129879077600270344856324766260085066532853492178431, 122899168808744663588141025320026245511852609957212433417, 144780974187086260903935034761413745643636578290924150417, 145980337155634444285232523876979318451464756266456641329, 167560816514084819488737767976263150405095191554732902607, 180883807440027655212532885072379634915469957001205875201, 241777014709302954850239652300043393011478307432536296651, 242930150369581725249341464475421249205592384370695685937, 294803681348959296477194164064643062187559537539328375831, 307289980970606234686867138691001349037525535679593763081, 311532723090035002320027134588551176448471666435989092897, 325985508875527587669607097222667557116221139090131514801, 338153229347093487293402061645864051641494661202651405269, 398410160527221094178749181184472290805236187881699426313, 539043252861508730639718553683237826728217905315243065969, 647463932206559821122945033207524451183068970139360141681, 683481445118041278287416124073722711169070307627777892361, 745280352191786358209397071708329198285057832384965565161, 766506724027386556749116942627320053266817922278079798057, 830994679927118905682507725258166370977410536910503701977, 1008116715344410461444141839610180239223178503751442552629, 1046183622564446793972631570534611069350392574077339085483, 1148984537885906196977362003686090739460725564747973734847, 1337351764099536062382592381405648316666025584913912478511, 1512768222413735255864403005264105839324374778520631853993, 1867935023317328048519811865525337712653538206737478396129, 2139731020464054092520609592459940706818275139793055476751, 4613679391936953610429590532014122532260339739644049093601, 9934018379230425610659608142885693781941091888647157503817, 21305401445202124537563847733843096783112730151372946821753, 21916491244422443646590052166090498744029273781685367166153, 25811221179243952186920238827413131290368483933428434308863, 25827119250999351443374505513011778112393876592372931367907, 68396769572915971687133122358352070840260017483089158059519, 68539098502476500342849178765232476276974878815092900810113, 70006550465690448123526076382585141736355981625408033198241, 83615338235826681881707602454578099792649940383635851698961, 89396693392545895668303801721053258296972567022618106513441, 89915373937922777877614505795576574280561874130802566460033, 100319871877063413185018007465640733935158188658416446422313, 110790754439643451011977643288649104711084253377796092209089, 152796756325290043462779779478758328705905947521327614399129, 205296815265168567756164047567360097447247109142889252157111, 267823007376498379256993682056860433753700498963798805883563, 289306374721106633650693738754461144023818395644402718227527, 608515182984165249341377295189029256213261956947549818345411, 643390760896826272806925563059612685509039265031067456849993, 794848656730261183699896604513541946085000444947963571261039, 847676809695323228372386223737948820266344360100553839813537, 920854434270162822283216457951519800254804780099567201431071, 1113767094422199900605896348724787045161997478687751948513969, 1269639828454588763972435091645259869185718465075550865591017, 1303254116461108697268759335821585860897008415946720083246259, 1657154808755021818820630633083400618861135574408955395309601, 1716319040365034397790860195913303021663915471096474850983729, 2269474963255693085711432948387582114817557263546457947501201, 4148386731260605647525186547488842396461625774241327567978137, 4391115859495019452210297067047180796674861654177048737558611, 4501721456014165137144897707223043167472851489652285029320729, 5669586229480120735856356719714111819572775485914444634179633, 8469440919770574005769693908434732506225873994236085602665729, 9593963676285821579895400611891812054374771943664575363659273, 15148264043785111348665069495360623752616947973471649653354617, 15333417141003794339164342447265426158851946182451963484372297, 16366786575293487168163210961641150954650165468880710178578881, 18555393648630683868229284313709360336855095474246691696225599, 21256743751927370220630952377105576570016395501658460697868351, 22263485343435683412693923533443917032613157943146077977190561, 23830405750609887318420248635858165476368020607396633699141951, 25348330589061322436059499894718930577798031880081867566547223, 44330544153812472562387530302993597418712010163095512613990869, 51833645300329496308097759409726604605029168907048343297938001, 51954390877748655744256192963206220919272895548843817842228913, 58609898712737781434024027899110611446341212502589792599097337, 58961804474844164724814095915114338093146118248375213688557057, 93461639715357977769163558199606896584051237541638188580280321, 167510000247425697384594847173622455701743569339841261429683667, 171124793552074153093621463907993111755630713094272377046079303, 241158858171883059466688969410187157879210229879717221093613507, 270704078857734344240200528055897595961633472511075822112527121, 339212878596211796110770323541353281494127285320354524672773903, 352369374013660139472574531568890678155040563007620742839120913, 396645227028138890415611220710757921643910743103031701971222447, 498905117043694516642621535114344067442559066124504501336606929, 513166304713999751217560795536588367248925043527782042775106649, 888192486543339587170250231534633545752101759653207234833104273, 2307880312514050317434773233753379487634082230810808744501836223, 3025226007788738661409218532413354276443310201954701303389245001, 6148629656539349648850688099941128013039964611990754521512906071, 6327019834650802405813498384839000872342691100400396876643368617, 6502261405915923489627627623244984118579870253401161730049128363, 9609322039095554268277107484843200218262250152281700954275029793, 10396616065733554034660553056477704365402928208212077833242118911, 16086815316499827472365485208334357981931315800699584898530365449, 21505409328405921060057783156144213618485460844911284448661782641, 23548299583428753078153276336578257655370097978102396602253308281, 27104597605222620344658636930905719658537966922119059605669826321, 37363769421172422182780447669037406234152610941283248995871866881, 42420600363330178721105990246386975306561768489516913832364096351, 43738605422458594461749425887615137142500083312917612669874016537, 45388918821243922076531264049185505868800192485507712713181818563, 78908859162754190695012872157796443289838408940766478547763623591, 88001338234326700695315986455482272586355782310144188047003818403, 93020854332955811500795759680918012852376589116335216104721271087, 109378681671075297195692480234213908123642560192251038455204252439, 120561845344829717145833822890964664477289164454661659494292322521, 160619474372352289412737508720216839225805656328990879953332340439, 177900025086275986080877620282066695098333349981977325551662127751, 213732345927036277063342078342573605826938066316475164889831797001, 227640245125324450927745881868402667694620457976381782672549806487, 340463734626779075359487007554818745945247112614613829537926067651, 359687424377961714750891763743933975334959200103759485840227631801, 497532604551403800659718805165333685595913106186792454026995210139, 537872590803388379860688160894788978672873866232217018604023263671, 866140553743041477859225887851118773868045256339779536563782349481, 1515210125679831169683880817991043611648775846999066937875040414107, 1562820942454546438822308723273417441432511888067448106456773691471, 2092087318645654859663614111006024142702357805153449558384836836073, 2537599745025519134156761164267591913521835535529224725592538658153, 2724766004649595434157241343741767729156891206422918570211139111809, 6309875796859222682628258124466792652955476368011894066158361980151, 6493500319937011450007704218333851757321824602859305748523089149897, 6725414756111955781503880188940925566051960039574573675843402666863, 10073811610622418028425741738319757818107396980605471702450570926313, 11691129793881963345866374419578692641974339987635890961623815193719, 13646560594525825890627182668772241639702837721889959372317451952089, 22035224880114643162624476104782366474441464063490284156151885375649, 23877558370585153535255125267231814835993843079185883107034076803873, 64374964789425759023795123420605218308370931223311543823123770088423, 78778047326466742993612420842416198311394008068822475527239136925369, 107190529393336966967769563289730718564973813003358551965641353499711, 160188778313202118610543685368878688932828701136501444932217468039063, 182013944029916253984850599290949064721089587458906809918552581277361, 197107422273014301919781414466039325387889623676342705850752210599969, 280230266918608239805810556544655376723809198780890337110755962385407, 347845646370185161095967265379428963144557189176373959511073050525241, 370549646190282993458807249710605687589893787382049438311221836912017, 431363930838247166144681198345396801161915589485642909842198653394751, 528629005954028696833543472539147136086019937844585987449461707907623, 554346309198841189738200247725749800421156685578702545439230498849139, 745276300734440606226386924312213175677903182797334854064486587296999, 750305988172977439124935900508680523429897046359842693070433217278337, 1396099655816209040897082635430814457429299016552082514363486485025543, 1607818533384485707707842837146335251451162017762519557029955613946641, 1807482391092819529831423005040763105191863029850140579776353298087457, 2549280727345379556480596752292189634269829765250993670402549042422649, 3138280009399679017344631051542622769205877134953845128202334345822857, 3868132159624916546905272573063237265865977199403213448652782202624081, 5058345723951854688505665428846313806490903121677364358901199128608233, 5099684339280531431303325210885366883096347229374376914106957559915561, 8949165452964212284287352856184599901847368613984178988013861910189833, 9121860314802631535729338714627536721870308627534265066967795115502591, 10038903777149910946126741017108754570611942191560591325431728188591011, 10869186607773319558730501484452015470992764113369214593828236615596881, 22532429052605670225026391054393428833168207234802434915090881303620353, 23487972660406446845443784560326651656336761292054169703452672484634641, 23579543011798993222850893929565870383844167873851502677311057483194673, 24051873260037418695405529344378285529524766471837924485276790039393009, 28249136705066576439522697433289867007783495956471223743249440199874751, 37551870149160225933510841998425767070380445542467219009673638189257459, 52899658439525417701948935772779561657007926055578786642264995029713851, 58304599029582814346174509784805811323612591021863318902938306546239131, 91383457962725757106767895106859156848543968186689599951801167598113823, 111629689188078042218312790960657678513543611163160738935325094568020551, 112662327875512312448286206338953839918447853551167124756114011227377881, 198518831522373199705315502297744277392201851028240273132593989508947283, 248927757868131890277330541567820045256364273970773286542188386932989391, 298542624980197463613767215333569428005686468835821253721796682625551919, 442079688503172860176607217752424068059658864615965341384647107224486419, 528171517455534029210127386106091229808271807534977151762112880888333401, 841462035388400254709200130801140475354660321983340709246797058685767257, 883423532389192164791648750371459256584513952652893606156996040365965313, 889699724270954868382634043341555740249741984247578510445178451442481793, 1469858445003146449098764792932819841831626969291017637154102921731006991, 1573646189656401207486767880720222624035301340663285632613380740307779641, 3533694129556768659166595001485837028996511802181406170435598282024550401, 3913112911835820709255943886069525362580351752909309688547154382752707879, 6969336604531667168509871230100794095801832527002849548226132675916172927, 7311824282729722035859309520826138827918372038863677678267962656996811009, 8223125624363292839815514592697905768406610797334099385507174111379292321, 12796850334107700077907936359359599238508434514842147354991928158160215113, 13247640898191993635882333868183025107726815859285731487950046819912806129, 15578566211941397840517234387216637465324132360973879251752384554033387041, 15839701019198785115846577757132209619279562784734684607539770282665784201, 19120725947222519095879164245102731413110415053568518849342625278699572681, 31474859175390153735107856059776876864094488913562623409377402922304455233, 38270370273627701558694122020168438884826027965104715922556374000428385841, 49912538921454325131579030429865305089935512074463061300777106826613804321, 58928204377201809677199199089493820795164867153237185862568685348148757401, 65586217086670450494078662927314573302495970658410743708933357885437868217, 68625988504811774259364670661552948915363901845035416371912463477873783063, 104172271624747746548384503060864377451510556358244794631358260793846207851, 151092646351275754169926860141067686815825706612457363611594727781012756281, 198950585925702911694795949136325395391616590334589163147577781735447402953, 250496677636134194455624482113419891241717626649461375803326671768162580233, 462968972850605487726216422914611666280373111850525667327093865346827818121, 557462996944863661915154471811685102632550568013283044249936559839102852607, 561089862628529469701880307617682175171538701774485416358584106265670728689, 662520472533225766400092611044698417042646671423385275908496091789616072191, 760339005026120346125923699971092043149237657811597446455242865775788365239, 2727318928892040009397199815225412029789790574177544409019502626344207905841, 4294500770439625509689707482842762056791217143467781867769939979855730352201, 4777345536534924905725989065906794483551790056167373849557595739795782900601, 6846308393020964165241534187187578280122560160805821004078877538585253503361, 6891696701907972189990423390011944079746042979076780671011284119842734575263, 7778262174697629363453785911921127017017123583828869656300351035087381155797, 12648384035384787780871703134944437615763117128688347014641503430279486998671, 36623786615448792528228651753874770336757984952740798581899844047499677232721, 41100578385770666334376636934095140722443159255961483460436653394844713097287, 42430753264205191544205509903443731248177379622499698300170116993673305525189, 116244395157193581337282640791798084114394917399572436767868837818708235649281, 218296778680424803757800688187260042629442091157587489529855230993806344506271, 332487941209315679354716083841839125427819013300080110406512328158433464286107, 347915763440394715608132793485938330295552666256070916974339749248185891333591, 401566612311195594802501193435220042560698926924429408065263999053481174119481, 434836499112609694795723958417048861299768144283442662402095922180462812746769, 608833519146176962786346063898868909094632504100539398786357475514441579020823, 1472569697984933610350093844623116623743774608299938377008397129155903438335887, 2420161564200739329410254310444778820196576654139080232429544162649795567983079, 2626317528364475422451291074871442782545497447474562640041779493971236636466847, 5722137022002067824248227975095857749151312827809388406962346253182128916964593, 8622186599991634321861907987522778823799744005651006554580680854177065460635939, 13394595223843413901037846777300844745495137348727969920754613220161097793251799, 13678547238068571937955837583514271783408098794862972195988647588740138073285123, 18449450106982911477871034430148217716695646282266064204205488745738888010789289, 48009215293052652841860443273079338843737271906291675944391068955229998769420319, 55853666619936291260749204658315944968646527018488637648010052346319853288374753, 63146810207339718162566404988206179064461273050603002917638397126970137660970487, 68750119162808671470205692247838042160149735698258312826959903010625527023050151, 72377060785877044934985469148457018582544532839595549884952170483099988790442561, 79700481573792089991933884278502015980406487362166583968208410611454698961420697, 158158499411639789916881458651390096442967992847759443731141877011837994400765121, 249018815918315199700031851161772880156221637084521986234342836024160025575777017, 604917355122297256408243633492781887181892523909681942196638806895777053380473721, 786754396494306877551409790749000906808183097801133060108602658143355250410059953, 2561503388753170490897052206621137620938856555180343258504238260072282185111994663, 4774797453608343803270988984332214098351782527747577456028391624903856636676854631, 6152896135288560374679945371974689688835168151742564408104565373600581564260451457, 14510642956629460126286667764218111732339625499480335264478327629658324054225616417, 15652605325219818652993083172107461429783643502979960839389487552451781198261880337, 20270345302545987116040069442814496729341666112096057885992643120463337596490211193, 23119812387308695110542195466723573149999671437304578090473901521408187760986228863, 30382473782337070766706891765775546594587147791566105506524244468947713551683592001, 33725933170854542422930854135636663761123331227599520852573351371057495391835351809, 38846455826537709934355663465881986298076977394967343397200701472257630261327321107, 45483796440687588262115924373387768147329001606295881165522247483317566319074638433, 96529160172936296910493238203560466707174118419318720105724235309272572481324977401, 628683935022908831926019116410056880219316806841500141982334538232031397827230330241, 1549947124742313956602636352657736025245229660818980496353711669466396289933045071001, 1595588224457046357344143800204398382349005665658548987812122020808607097989052163601, 2971973409500325953167938550558277137022719033111954012803581886623047449962315856161, 3108270227561166513471139050917630250627849827446163307471742778796333223910258298061, 3225949575089611556532995773813585269068981944367719218489696982054779837928902323497, 6043930497790503973481076813462520042997083539133970912065745573049492802026928038019, 8877945148742945001146041439025147034098690503591013177336356694416517527310181938001, 13854484443712514445168803810885340128909905014273691033212675405002546908076327641519, 15541351137805832567355695254588151253139260287603415802670284661840802443732044480513, 50929180793846693291417995382274682032538517912143288980598150164689406520921833577411, 98290646014336142767441265111077381937929560275733866928271124115615704809355542610599, 99088260776220699594448458777855218714320305439238757136382290554456612385774647423937, 108806602929626417274819133540757472113515266666479405303620102624927964940643869698641, 127272156538341585859901060648396014824316131571314972298723685854248631905051286241951, 161555093850212199391812126981496731249345737925214473004217031351732271791913705533403, 637513354919477122829993251437872833785596419635370951047210980866133460334551381672473, 6454295903181807686705031076998087633227206653740016465477084416462036051174980671394921, 8059720126266442627050052102446681278605043839701907629253987599434464819580116421853601, 18016078496304630901695171021337431026910172081072177047327272213360916760459792809305587, 21494973179303913190133458460563964459380529075838941297352657742148160962406273546512257, 21705660634091537009057064062426347801694097690583490415257025927428956675122988820368249, 36034153124236158775665988887328808295354925107894665253667088041792025629199746059239041, 38640785003914161847393041706513240920778826121806619738430718567496016974391844765260849, 63626928336138914713603440277176215194452396338124718954401705399214689850512979539135751, 72751284869088788795301631728906362894695299875729701287430721838248329952225963533888951, 101213745778143742250901040788003424950068418098259161142719688891708905138274462262307761, 156976201468970642065664316120765286713599373793130986508130654226034754720680193933255191, 171417691861249198128317096534322116476165056718630345094896620367860006486977101859504089, 208330322620970625559449619171017280681294575846766796187666540066563147519451746148400079, 728853407707467208421993458966504139019157860437186335406130262344738292438484569798131887, 873880146833642190373525520936770796845382029997855219402285283144955696825577908510162169, 2021373594576291102905239976417130814821967471208793180343069642403609802281629056105150199, 2081217395409749738120637593128893293724998629363299618099253558750779403590435098094313481, 2215770261497265379833107511085365192789406654906026048465503447237245674887475208872166313, 2493280756695375717208989059964303698377463498630920673519781864412678064345644739346399751, 3031775395304168658687668034006122436307098537451179184205695859116954116590723393806112159, 4697382335699080991160439732748977071469258244120906774840307806403019635933401543777637481, 7084851186360580941633572744569751943590093912197024061201633650193388126309578906138706239, 13230062640253102797617214098021428457432997944482098731015579437180502733266998497772363799, 15027407098633642094023724924629416240581289482791222070473057361777251946987551028766864143, 16044334656043409220370385403075081324178895866797563484682008037153971569828297317432126363, 23882525111457526669660263269125438250762730250942712633131193354954889195068879706608493409, 145986471351995281114748849644203678988470587636054170861652120292479900430176816158187653823, 588943501843708599443948572545716455743917429442946085514657968934735722314417529833656361841, 927701611035392243771813127127397103891685719848882103485113848962936182860818392833900833911, 3049265608323207033354525040420863372400727272926604181336315082400000135598108701713853477087, 3629662994008153848429240162600396180519766791204932405950630091372441619019203827105766225151, 4767828205180602862488887736985607398666751166000769605012698283856806259916006281652253453751, 5562466239377370006237035693149875298444543026970449921737087520370363869220418099018130434731, 6164459101748710901128556013786838840078806747851589150894064812504833580853956389332526997199, 6902537314868528928592064072776405259752901898281447036002004855019689272630142411673519100423, 8013068084032653262407517654187282813856393979050146558081797631812307901576375946587821853073, 8342680841093063014359532631803433656669591074421858694040109486076573471951766107416262860801, 9368364192635570536820270641094526818432914571726884941545525447306194544364947298173904481801, 11464158678831419555307566061644085062421769697020398649986313091766942851904723145020010938191, 14318463776157273132646318179504157563387487409638575094260074593259322339364163972504114136247, 15604620003748987137563684369946433749429548952479111489128424163566077973414124705335003435083, 79674352522894354312422878450005263712074523824062110745148651289621350880376099320960953476231, 87341035411411371841151965953966466102952126244970250385834048606070060716959754108184194109897, 89371283318924988713544642472309024678004403189516730060412595564942724011446583991926781827601, 140218822707485169044055428988288042447908215432246815852158858072198555895717462599488300190371, 166600443145782167422869582205773627533809608354200608495919325006516227014769666125340269708249, 357801561527383951750371336247776228772287580084037416747290336593974702826921943012497755232377, 544719662970007779805376120664747628742720078814297043502004257169059582129081332956507664967611, 879740744632732726735603688644723834968599141530812429576685148083081214374014571985038046112889, 2069237502716464794985816105550982396339012259800336045348830659287429006970383760001800897298401, 2751471927250675803997960029212747063792197831435631743363158238779139269787256021849179673077249, 2911655263127443408820648419025953647142046819917504655442619029163492980939432163976096966699987, 2928599996670622068667271681045188567041998240666598148242087562523669795539013858277310234855201, 2987700923630097562980586992334019407474107496457911519874033978814696991281878568281932889979331, 3002073757428777382273857922385512797763792723266417656025021527116989779952950182556537541850817, 3677056484269722937807027706903928978741725810890091763971733429025586784929458123827641259932929, 3881196575913244673719425770871246487895686937951690944453838586764072695131586617955811936945129, 3958859429037736877470306072068655902413162916380964479057367144710444905514865617548944617905483, 4258599338755882853705022267394772292118428065125200532700547515369564538820068351214617555345713, 5006626876280190496416642758625512424067738181047826160968250705189421057250536688879283251582041, 7415450085385968654890137633991211188860215124376489025233430828956636123733427300972746298095433, 11583306121194302925666610180475654822154587629577979400456857120235319057709961541850271218784399, 17606291711815434037934881872331611670777491166445300472749449436575622328171096762265466521858927, 22058216476354148174340292661422016859535838566235695959824441565750734320744258662775535748560023, 32709775817853043375927129449580176700915280951481112121660051681431157746548364566503491912349761, 33770734168253651800370989375796994825389296318018601048482005531172856260013942500368975908606689, 34175792320105064276509600649933535697253970335472049142780400956425111741139140798213387072831489, 34434773651943512669670550217665939883731750144685418951568171079340937855569852799807030738080289, 41788952991139118639110460647465055080950855027758632702923742575763463332284772733328169713812071, 50077084767631215481459045535942286719035243087652929001293138096831344998442654133431262500866849, 78447248939510403238597103326670023020474096781883788452949188981488120758193300064923212988804239, 114062739354387553292910924965889823099187127149057482935407583490192322022502109238664809064671779, 655065662598900362767578455116791254630312910908827632908253411351301525671199788835777321465298977, 703135063886107310322869668180880900631970395041438633085656587740154733922499375339477804972453889, 741640062627530801524787141901937474059940781097519023905821316144415759504705008092818711693940737, 846134609236527432935428641453947808692744612842997575850108349114305165850593069285923876628410633, 3200877854760201765189686240178650665787305384308641898388890911033891323416400473331390370691357659, 4684435266636161232578932847604331726884269415306219621279642876954933236537677535849040755779223719, 7041654513267071393853911873196906476682748308462741872805521948554771590043753855404907061178826433, 7857910537107244650997379051129365156632153489653285061191534178529543993418529855775986967586885057, 12594263620775680997944097572742389790271497163187368770416979751640789800959731481964821194789929847, 19709014643115560219397264671577125505264032974428376489237001990435774189483906244488746953221813209, 35560193412972319062061768261639727517478499914167548496031688280584977077562191671059223282469465959, 63725217520100446091019213316114800470054259870518161822841838235099774015887061706672583915057828311, 331491135967206244657979810427039630258881338881381693422837956185559180298159560378704962315457020551, 613720420796759675451139508622795804166246759541726012528134612386302767091250830851871364817724458103, 698963720154843264243253784220387078257259218502563908013880224534654264461065235983821688087336215521, 1363513392978191135736018344773125784835722102211913963639355051056896705852735103386975412732016027769, 1743071575594477856502376932629849637124418686392212106828611811478474551656421106264966454856075177767, 2451100733567925522527673091670682648370765084219128079350970030540433626374624088043739553614894829529, 6809649408891001685768937590233308625949604176033855796938978177320539702698633946720428389517879894953, 8893122618977158614989714180722964331426004820169213558574794542353622623988934429093001259164784553073, 10751168288022146026259956092344345159681167846281852853736470411971627982051345994439553634116438524169, 17154986671631424401083333566864958769923530277214067752411345828989243831953969896446066369938959754331, 27306093454857278136151466787158724903415193508113091644798914026250805107043994199261467851009282903867, 95562442332919646317117537304253622533190207882011713489066201641121786503686867002917439712921903606443, 253956768073164214501297023118206917309861082669993582450697816383242451115365529071170420452455686291833, 382831718326935861811415368870561185774664678161354690184167928439626823220605569739325421350440972002033, 752440346497356983142327449546457327748644897934114291899411428982990336039662496766303354959577078458241, 893727031418219528215703263500245746111426327976710088873802347504988954469046303695621351442273545673249, 960843850986532976532466235773483492840618819232206145010143480044702708779967241439519037158800917230289, 8634347730786151573123090429372562600645891723927646583482687395339003768803707512734187494061649643499761, 12996623037294014057591212988182028173802393910829199191218499846140826287303581583005154159743906016002531, 26556490111485986163549373090082092741143258155843194017435172895122011451981023707608930775712971770020953, 28981531265700436474908668605764037292283479533071482196860868875487797459833848867410473799526014756969233, 42918312276547739963203233515530679548769012405746813903417913563204180538169978298970944021468625193389497, 201173181523034822195501501485330434629435000176256299969670508589566061752482785323045293153959210827449143, 245646981125691497673324668265536334044341262452177697864695233686173498977525877540362298849614068695233671, 1453877963178138896046426642058339479766721357185952218845250161520480654019427312503941108372323925802584001, 1614622769810339154839085730143482994129189652685754741489629923813868011079685554461875922946830109639857249, 4561215850448666876558177506234165594996206631314802376944819150507239898947101517095511035128364630882630659, 26459340441441866087731114978932791810378456514228699635808330483947834929412856490368283423658331445600601857, 40437156024702109576962112690515640573348784018939257192870865875822732631168387328482154414164150624064713711, 55132269643416861808940702349402264919915041547757633769331818430511033108848146620408728664776308505356579463, 134567887054668214515161203566320679757253483787282009808886842167567907197836768970162992655659228685857074681, 142453214851009124378099897532172312583433956914474541632456432848048989381236579920379218575796308080313112697, 389157047144542786356242878852084206436126657867637000570231660292312173927353250030896497368585866529660886217, 673520317074926116144184536794996194749401401510328820850480400914672334194877878131921588518522416949566289523, 770557961761093801278718793937377574043943382342011514028393021874470913652376022233958616983382625535943227047, 806246686530274231554002548822879844631710799886320977786718630531739958469131883287342678637275814925394111503, 4400394826437109072660230154828562786899807215815105326143790288753956409884398830235540110306174036457083385987, 8819779591697258388298117725624832271141577326602771028307143781815455970700534027206522451123308835472505327249, 25196991873376840666877753354820854690700634889106188923103670773691217227808851569395431001182974969907991345111, 39075504626391841678304934944805852280404731716385642050296152320994438836806257083337312828162589099799400566633, 71211964136863299257428519035724012135945227198802022227182141348386640523337537415373528248136871950971226500881, 110056051539332577167011497137904354133390221897767117778503394649227791353106509944569485273486768482569141949401, 145055723863560550477604381890594293730838060251770191890663583917159164624672619279898755993873860650491112822353, 839804700900123195473468092497901750422530587828620063507554515144683510250490874819119570309824866293030799718783, 3744736435870999956010796884744886554946884079838024011697262620272142353192253445173330785999599327809826959361039, 4120244281266653396296957792500987847361734649718254162380360903520821340784053375183825542777493894566793029100537, 7138857753733304138653757923863143665599755157337724903248921802286130665523137125162231637957328083985803371018521, 17858769391813189478549404315577297646468853412925918136831275019859096428810527270736800933577430978666397275839559, 22515432112225416692730880057224922174331279583123112381686532545779094349645216289214782907481695324873634290036151, 93494255860086990512492657107875993907936741226417407522152230021039368123083029492734398464387952766267944617520881, 123219439267346362049744425289349676468781136823956005602631224069302162695430546376768705960936201429580820215522273, 132000131451539267726138633753205343827589683243629650599609859372129401308611030157603578434763278074238873853103561, 180751361367036342018769695194070185090225685928190920506935609998597222187109654580729885719636966832199192789659801, 468112449895548021548864710726149283478136440239246483382456856901748562723514088747358115401736810547301505840641041, 507909591297683949138862971271266635431758872031092542127980551589004038646657157217329569167343063743426799521984799, 586707256835938183351163074135744551682040291061952064486697351139689683584197041592347032684987014285885660198730427, 863218260980519005763915824855147314295765517543826889081011766885471679775766425863907913320356346097265183520060097, 1872291970855130338581402920066957633405194531207487931491005489894425834163480404545369495166430812046758483848544641, 2480804957198250028708057046134715162580217174841698341177678467976358037638627697229748833079974029669969423384495713, 5448351236315742026827470749290138552538510376598571254569437566703575251869691806410089694456327608528590739813981151, 5950573776337857083075874442067543579480302367010830438026343467540674188668607309648191584891661956885759297060111559, 29293922760297928248078770598052610852712405023442274675016645233570497812348935888398085451640486701886767775742174681, 66060018768078882068514915840314543857274440609237251168154401305136486254148474475678359078435292711536864866655643519, 174687898994276645505939406294688103239668147144656196121612035919719163968649013990717451692888658382291763182243248439, 260078892331205274324088366772886790199621606534384599607578416912079166019131912393708208277038936454393545946152508951, 308937324356797061594697382590145196236665722718202195840743447445817896778913944687997002267023826460611132581755004799, 607173430386779873493260015812289162550729990656369609567935988690218091433498759721726806311209529659896188187130667939, 731164047684537008237596546152812816410120228600334955941962075295587985093631037255284581306429769292240254188593750079, 844128455869220390432964719493514618402640004425573909495498148095803754815792818296643067760548829906291314807571121271, 1180760527724987440933938277330997607446702472478168408717286286262591667681315716737061008644889015639927997281559028479, 2107048624990017888277673772279371580792509894029946695224069650783071896637390038709062589566791754603427516344308169913, 9705965830054591736524329221017810064201521004178349356202268282852670198911141357299732185324536769414538999508070197039, 22918862886543542550497013689794549380986252187467410793440853162884227395126178667668709323949107483968180609969160895841, 40099499726183758517891939428601665707063794593443940689888526556802581529262728143398959743444150539520890742947533452401, 47039571239409928797310998159302809574412713191008090890722063027084417577430235410025198493720736396880345328309484349801, 99335205800663868215396640964567095667094665346141013294320587365443384719802857319737050495099341955640963272958071602273, 420802580523767875237950310262820019135749166881960341067173726664556394738285561675988953259150250436976162677581144923361, 2606183132138030764546859544508036625264200226623778027104271451894363041937476932557423900859378779986059264324844085017443, 3094370432032805355177230433270065636934209000089709476056046201975893944504526523646181882472019182454441940262575164313583, 5210534962515057847841322440891322497979705533451447703876580568998286376287515867946202891679609184135123687873258361626007, 8694045087301330951920827992548062284112111129027602435936948477573651173572655999557979923042550606860504633923810675548859, 67513796971703570854592232797421324116119881147340327278928245456644619398078155616494185719845536064262986241999463764460809, 88625379503308113870163817479116818523025223399242215471800784810025248381387984608067747463864839726134410700901664118330633, 118060225551350870763652733874186880099078420518378697082407356114986221754712225603525595135699916930897666025083343294677939, 217944041130072761434232636086171275808213824080756057911187217466035964889017776335440161826412163135274630074790424908997633, 286907046163163757424486835141888954626079914425458195174373438200921939344176261145611475682317574468979232833614978133229351, 2311564013722765106562693324070664787462722331606243819658098082763568979086228833561077816432762779405410319245179999205262073, 6266909033486349145236251830018206078737744299061051815412019896976704558419841975840406610944103583171294531372305770361260097, 12608952924551863965992360478915656490891827318068815112341761299345519816732865095518014457919111246360424125987663964268856399, 12965164052632980685377838280155437771284008372611046848197240512568336127535625605878549192234835893561392352612671994963945863, 257323192135759555839256711094215328226631894731631722581616062225895353265033689946560613273119450096627691636333654303452465323, 281341394862796238267426842306019494173010194268123066985269960529837739533105304733599763861983626678718725565126556632155166247, 325674558237213843009398640373206811523481318364207856820688899521108980300567959203223587876391251739969658077488747289524075713, 2475539419689929784935319344449409898291165097323714578650943035813830300993611462717419801770460539016610145009605554380104535919, 3700008265010484376181140059002735164665618094577260273009727474953442430219036282100642597609582698411614761090487936159280023273, 8745277609420309773855078786406122699364747867155916103031880047229731442616044267253469374424732953220422926573792104938313248681, 34496745342453444817039264578731011283334300852411336570727768458411133501498552286451832685025097370302306935077006404386019354639, 55032010963083225277133748781276216891770769029556852777446173842960223493066409672741791064238834027799294487913679490115371458761, 56272943145171606416041974272779967237377245135400982739236727888151415549771970573866251017208467153984404288129453336803370700223, 93946591029771824533206167634774407297228901800474680692600398205491737978152291520376960470230165276165539749093064229262216604321, 162395453880679626976948802659318287464839269423776929238860749460670217598671007563737736550442141312167882823739728942052405438289, 648801734928992181954492950048776053904043590857435580244330431351954368045897625283526231577834810740001303595136354980914181128313, 747349970567114000910522427763426786210995215401228005827561179027678089542524515823091997411995681051286345466243119007695904725201, 1041905905232649783101634823221897374730928367991119849424234867743772573476870033157571006380463249971365390655915816314724446310463, 2290082526100134480992198124951512750039139339635155094272008280546850886939008711730865851616722892614369047154769105713048457413017, 2609632444767351818039224561381428070568966964983359447855731078649164681952162319892295956611169166052959992530327506629959995031431, 13832308777821275253693797139501737778822147478083036956843427808440807495351394287484032432976653684838265205956643879584820178416769, 20901355763620228190482364670053255597707542325021185142164434185907573757256676239000397576168708282559117022843568997850263730432051, 24033821640983508088736273403005965446689002356344332130565066643193813901119771090424269412054543072714914742665677774247325292327559, 646778401121199228094766201503567587391877257095639732429903642984700499452064755544318099585551714062125998479034557090110663089536817, 11829883384183803555617397809738285174209809981632088992888009340082737492358515839427961249270718884790207379104927217354645342358390399, 85468029338908497730286448744320952733178896286236348934740505307540100440497651874613300623234192924024135752243773694455722478772486599, 323859454602846465430592983958773961474277685578169412119356868424381403955618825288675324084410296085213990090086547906305592473316302633, 504210588367141337242618878475927423280316140971751701077127890485673968877718991187197029450161772747335442226187851047716605340725373913, 645285101497092125181423448604247314765588768947562129943605279670581559927491603930209942828259785826668347306339412962428369301154937689, 15047207907283785223567857264566942009057638990573141456392568106577256738933540911210280244101118007417805328040232877487303293567630046047, 22206681732300686559830164931393965396408838897922182477635701769356115170703313643368016416398879761353787885396721401460120094241214356289, 40178155219546467805860689115373148252663044401541473320606938794406170369832084325416809768171792935628567346566096749280321487002073689649, 167394614336255622287892974563562062279515450939194955645810372698957070837766887487273372150456980944216508605805295762403884169162369962423, 287282708715244103685014077967167854244103153501447576012208890261261392713614451150289222934411457607080252131792042266424438261450262286271, 689446492881618336328109432708356177701201033295524648341682389467628713061286698944336488056955742457364564837248234865096219153030243215903, 1134356304620636711984590140004872867707637656553477868088332827232327817246599436421849274415449827994213301631107930754576248328791038934659, 4952443062243070276982618235553391899025005974177841614150652967038194584843406813849759422158280687571671371337185220166834929387719842135047, 82033219963138371097689272308258116841679442057301643873942124991182012434598644913857356023840478815121709542915222280972560231358838127531337, 251086738251154096972406810844747949762035524178595675929170915606850110959224676215815898957406470467234237429325630890565682143133147884918697, 6848918993733109926972201377595181866546474511655455846848109061848297408310581943802898952286309038920391487751173995996969370894994082117183047, 41866449065688547732334670918138300495432254381696818748989283844419920572286356810694501570678523880104345359476534651949605873238987445628114071, 64116259840813614699980760575349371355703311586540367835792091469556582147354530544368306616998169034456205930673863455290761864339024209347948361, 92305417851236773758187001276904991441004832226292982967386157974676884358296302489037698908789673402780112396877168012932339190104672007306077769, 176679585609523570738390485300032226574636113551764802696858679290493248637975181698375345266071339451988060044492896355388096556042081983225060241, 3186418650378855816266192655911225553697020947121667130570638415384086800735996607897963726061288515062075095074552286604510989443433986867492469263, 626322472637042112379617556574437460372478130091490111806135154280070248067062629972139895896953692975358576879266688023648639640273675162065398163911, 4321503963921481677500172108448823635181233038594026023927994620145511356639137464894721115529222820231383738196310153837038543004122600981536135508513, 4965395030068548134274243124972075225434447114375481299036593442726326832727934403424309955102162841656341524725641213163998408700663382552888660520657, 21698965559461003965073675349879690425070563888163817782536115817713874113945263812490629925867658076950469188382253139569022738861697946929865939667767, 59609913969069810740791683261328885356693300992238763647073438106544346031660581890774370913059350849716157244157369339819489188855956711349028008084711, 328072276230889358448027953221980436262168120353513572759840688545196891029191248042929160470148166585712396327021195979665016800003665048846477940552001, 543141777124858023141740676056391532628542525445012584947379190693908729917585741940014722012906366626501960858054140073952915747459954380122490897397201, 3736466000478735531744529269910404686590249432806808172410820028453362377924954475050904726442027867925638633713537193401016499086945743085700506306097297, 398578053019900248484894641069552407356642041911015002155444120375550992339839514114783311938330588905649621355978587061168712835401078826700413589317332841, 1079633141772892852450713464662329764119217100464362618290526362027911012565069142996396993157133020422681868025602819574600599624729277860300320636162145551, 2055381304234605333452282646930044372647690196418804788358322592747748588329237404925952936974379578721046603398421721469876123703712660894043225321319960951, 3364863383830652366335210393518491785856011463060033034654745068273488710285685703620428197074067655529662828038323130749953734783229767328135045029575767351, 6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151, 10935039603457223930026068138268212812482601727481911326232229911799266958341862951077343379443162529093392869819337559671165321303898435382582250258622977039, 17371272177127021455555247845152390191983590178753610670754663772470465141883810245027213056978994392185304852326414897720257043458170680407408416583187319449, 282772389478631490595364724399462092186501348562627650967135220434189407857157380221801989783773525998779150124067212406250974718782725601626594238084722774227, 1537526783273536776150319235903170205959819485321159180650397325688028293946582263261957598097436550149727758914860073386697409601201694581574168811926672318471, 5718039518555007627381367067387326475271823586132366619744957152669711690408574488925071259305573647810815919209500241631788149240057412005278225084826899525751, 47033341043524476217057462384524309924269360489058003489046694415687644576407006664519499040938318231607734253389197842880246651163585290369738773389983211923401, 226501461661515447957253726132375309779306360533050618853717811601543656133325212360926837679205198585809829711846557494999101690817439868476655881807480779541873, 711718443060888357455104383759579899185453159253854240850359788937324328008225366876777905349283339583535597500393178373807851032788989008946432082299780350922963303, 1087462356189876289004689354796614348274006078814498030640327092526658434963230524957873956666997547232750552140796842174321721246657755700352130594440092712731927009, 811838362875749000047045370307528756015249707861798385910598024828107320792728313897578386416339056669144506367786420486589665926009785110080921247744211385533548768303, 35918090777384865164798927743336112451646285467169557720736217210179275530954397485985900629666027383621387504970630739382055224048188128596057830980706313234770301455553, 108017532617736915133406584684682016398182243100347598313436462729073911856247557922662614974708675029796424611721425364738654561651249349759454300640753645387500306111631, 330180943467844815199525008542209334406307908016484842019975953548042251864897428955193192919262272255342601623890982717534432034376180217147363365794154372260598971057497, 1516672492077325421310110560845572404712870458388265156698122349970491269907161540049558908192000973880498619666812180990052099333118579058162494443921775737563349034709751, 1724286786401118591802343046933388914018578356675024734214005145128296186675074151953573585657883004113945121299296889086219413058623429266569078368454277398861854249530041, 1884460498967805432001612672369307101507474835976431925948333387748670120353629453261347843140212808570505767386771290423087216156597588216186445958479269565424431335013281, 113142799252453400220392999832423508498728340683265893942884779891405154616489685946541744845361233716750436338418830063524491880812827227290596039580920461575454031931161719113, 8365958808227808384097596499377341030267028705760376399920388012268635634106742784735560368132645527979967389375398886546554802199221304636536176436401174235894274034246448282591, 15255571944415415288648558322393974819898699383244253308807563712097988277253338773528334738776116890765433406659194077876452761306660938631937039831301337084783756630152608542961, 41735283176555919278680707603233077758778721294120812273925098560965147637308826665759360542267472673465371041225775914144586411946589013546519670342144484365718670608490895241681, 459709895269824331735672396802031849801372571568773911795384370599712829134749487439682536072440055724150706746160160935572856540609925426979936788766361822282686954831571255826921, 2257436864072202827294931470522533993043285627898784505166969671947021541106719772338571902055896447365119452059422036426917626910690428254442309879428329624267910530161312222097351, 3142295859237887574517465251257181025776306336297243853834092135426385319513793789633063161707962287850723375352105912423773675652592693020672335146504260707272002403750063859026161, 3637931457649089717051974017482661831024610395390629610955096836989065478498987963966866454094670282809870594976312548149976917222439736562085616362635853024752959363347811766891001, 164336041015871306274851885637048267636130221598209234174348271349489818243665722726199862820124727189076595767685880255976556558347960365095622723696890066089732152135241491681749119, 531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728127, 822976161770972830930301003163428309173701632995322298332566131941218475319456934681317262180441560179196983695741564512962292828041194778466080386250032973003303401916055540200393303, 2627690265061759813051430041970036221147052499684713186298463679461901867902579543156250914440022313989228545019390275432089026197288457466289193863588771122409827598063673576439175761, 18059737533831967628753030600494923685239649421082387578586896639176863286167339571925769429216406074684318389417289697535247751267484581593354711595487217253706145188154757579487195161, 22896492725473729252775049721372386001517616720738640677702244640115992881686954509887884498034915413780013699315805090463370326763073567630359469495994773510181155342534075910698453209, 86532471765209726038736141034817817651258812131449686767322598259940990736831029762802363685954239249289117050777695220400793738484556498848393142002714052869755139135571737382381527767, 474016108063947131387824031448544361211147315919134167277304942987268398863188450121464807139683507494941832155907160286729934443766749188041143133287858172453498341506868246079166754007, 8923613716343045335466356955530999435422162663462596131888032215488375825848018829047564287845002013075724298352985234932029074583858040431943816370013577608497700099852955833804395145047, 9161042559527428336672813673508753568816631259283898156533266819390153893583551939529985707147047355099619554772815721252063093142072915790349592690499063307350238450587648794620091063201, 48333442036609258503727864007974313677260695993650511296767874530946959404195060290472930698433929290851981809033610906444151406024168255400789790820887392114978255633218574503478184221017, 136364260462350955061807337963242197493167687688479364067250955475008708422731598707787831617704017498828261921599586128766571055323409303455188555673114202934877515988195740967406991575319, 717380630460226230305860936849190480084224719404904576848566002303176824107337578481502878716197281526142915571451045986237554671234201774006774449712687051888722024398492314919663183687169, 1244492362113681306812690815620988152630406264476403356085713877179457161577963133875923887670893101277580917199871958864155980238422481890673167662587952242454628660187552849876577210547641, 6383201165041263293438818852856403539005299068589206774444995180584831995934830825789118948375140016863523900789006730324087565235864101955282593969954988634176364740441107028178977211347727, 17483454462269547295545851408482464869612981041965785977139422606994634382399846296875317949359941756441823151569294695272244457247709444396578088721938935123720792960173698342272180693880466591, 318546066432510864421008240940953964550146359805454160170583982749610782139649800826799605008947296776383497027214615205280760850363069110188256133177326304163304017678312995641260076490527951071647, 1258272604747852197232741210941833731855257332095240527500356058501701460863450835930666270197833475895189565478632457967802546928810527714118442244703933699968719579474980372595868500608837526185081, 6892477918060767169857953803990496099874726825695862537945221995878503780332224363268573073183630500367119392420062341262872218580566927371739993650805027469403348034817728695613974591485048735894231, 10400191193003085968030336184107034141247293883438834057871546088645816283797275858780133241175096197941123047906295788655507463029247276191854341083530119476217520574954072069188224343571370824015247, 57794867240135562276514461910198752045630734429190303431708126814589875444272820804695433466312735494619580819683485937816410564354319797528507638590881550264748791583259230266863502467485076893361751, 78972995811637906093178745779924459870712173179818005292972009971283417861446119624814668948934213931984978819766986607321903664700433710451700696380890512015531612647797565422792691035241392682418527, 510220743809683794945526871987297018137321953892784240125078452679188592515535212261018198220942306424734402550338905905543998907950309832989158142146708664266462115666205013234650790948708097066620791, 33097312876985132371753217611188998871075010011520679704538928142607875307248977216656102691648292848874200261157395673551234620733351925069727649028180687670770804781728837920872840041623798459554143879, 36731710627728342866552138021938777226402784059107000502441998452078171980290184568488533379870560708887929721624739276585607332494596314146828057017496779052812081040459672546329591405967012062807529521, 872482012399864156578461259839664325594503308397182711023941230584743993310143908133170085388863933210418933897247064096189769502070443476282930012787424599161169164133198185392656352920700542984573701444126079, 547333986651898072842377675163471837962890985973125246350034203217630398420672284491154994811424015534066398921894452720167394637907845175059131590798247402908851419071784748383565979336687776059475368213516748629831, 24803401197938095344729488923720776958854445910007112605116469737105196073594788673126100817862370896154790341813757123531166177419818716351024954871807993435500119544509526067790850037489065927577128429431630440416831, 929107820689107677831851738128082612095378895913180366797933344470865776181874319516415789476687673031355441622038823117822832456613716236916055210344102795366995878756494555185414684354655848471059121174998695099159673, 1259505554469173787452894624342149232686245990867988670203000078759012131214660790062021041585576819264124527925599648480518632348866182298645606062337914646534394716685834453029151872366594427457950667579861938460736743, 14370134716223093352565463780237216657114064422239932238424924537831642269954418120266357071945305642912444980323485872820308528933828266656132154328785236151528492594378543732462145334002638811903398601540498772868803183, 1504004909926131633188840257128563607541163140104723054723183378190537555932072058265677602337213984792802468007992843498623739068694344880627731976582462714986041644019253711037305513830373917224858668705029882514901678735617, 20758181946442382764570481370359469516293970800739520988120838703792729090324679382343143884144834882534053344769112223028158327696525376091410189105241993899334109711624358962065972167481161749004803659735573409253205425523689, 443863831326542584020317023592602458976184738286563439813696497033662511606494382446876111354608315626382578430394796618282635752589251784923553130431442003423564123278814185982282179829752549591088968545118781515935018648914047, 1023025304700451980181236920774651664692447293619543686762965532443923095578725721183545139325172992750880247586561658944575856922038208568751863156170259622742688732260644808837742951027798155284201885115784580834888338769485743, 1799520676358263836249116773983093776067731788104797976755522863204273973214237799542669775253771301268617374756896653578445267522764696603459866460147715295527356171742430813085374395309929925098792998479072683867643648045147452807, 7162207820300119391374509372634067710236734258998929215118674813251095637497346278805266047690051622379132929111927749971378467853930794623582802081002292557665702501083232619644935926699137376584488398453869832464812937784790717601, 3207558971116072903365482773289081555261184637847391675966599061324164808414797538365991113814720847950470287851134368772742238903030165156280981090432644192000914733944188280204588708065626261881652422787676965514144305178800547718751, 416000380860322291505417438085197601650969965860973967728307545846416890262565076949514683072989335355820641121013103801109157846399226270733534090793156923301008744382063529864695629618145272362004158142827453334762538688587167921839449, 834482397335843881285445792927969361381275057223361826888191434200105052431322393575712471044965653447937741446308603852137930453506871509750656656410424360864718909932497980500343771659079278211696733523141929625393481260173183573986844719, 905020839979840539777038755823303358347200457023183368297232617873981460690890391480791098403685683961045267004703332209037962433602961013386498325012897768236376490305079132631318067892135813427027539261647301903971112364781740963508474289, 2152830659975686830992339732840546772221830147185299957584990626976623475264483978431907034205273681850774164540852300728233405057836985859987169137737353456784817046991632222733053023853584283587054957654936864544191287960435736268610880263, 1505085665149744276431899306875261418395247847425018508944603844839903620683561945617394596336783806618068200735948677456015971075641632899848092080746781765066240876994321280452890787432376678727662142209341550528111283705209796439799595773801, 7993430605360222292860936960123884061988016846627213757686887976005930025638602973712891518592878944687759622084106508783413855778177367022158878920741413700868182301410439178049533828082651513160945607018874830040978453228378816647358334681553, 1153730964706431627139878066780618593463800488418672203482851243225600754322670172662332329330916464959840891314524908812677889948325017248931884446112182684622862176067028527812354130705842344649977490150008156958400977344379438543492053240998831471, 45209839598737454888157799084210075225046975601481681987111521281725588999045535885301058936190365151100735916490287107649823350094433392585022579143155571287365424342339018392987456924688165474686010222313483963161662633082568507647354753106455269543409, 609975771894476528674847741770477550690431975984816508022169315752408668993737964630175742325288277204552613243684812253451253427056346412559151033770967839107719594288877646641877521578455691636766459660797203894013905167748331753651455643293131241572177344321, 1666129760783692984817325888236507423024207084234222860677737769250812892190514029412998699012287089547573502357866294063621605718278017201500894720542793554190909661685942842319461389392060802442573477631078176179880276435405359537669628828377237135636769031529417583, 369266188244278273486887083855064296867073345369988640733366769361356228524595455113320346736281578663828394493376060518432499293320804625243085880752982699457652505447856877050712090840055509854409137034341785035349428439360386913514518408772631624816323215732114411055999563941648850153, 11932791527912288368165782359295294543260720291900293158823108282055224993235415289766832244944034104021483210110347551804046070792790794006437027726248024845169722445797115794683703968858493570555291403991724382957404670842401449554016932782845723453935635939040426114249092291163958974567763376870399223, 10508537584872980049787749414505440238543661684506416445249892188329191267897669657242625405655025902294996965713681247700894953567276596965114308183649957469931262029470372188492494505614207827774171575432114297123003373257035070542940532411186322417809411123684246738342720455933424175399671044286557638075591, 66517557928765134492647166359262125770048540134918600032539772976797724941006649947336554351613625288312893030278881874355220813711550648653256265159781898981118980688381522263839502394276270835812253759309013592355218624237843247884555485319300157747282772571077797101425120542577358619582373240968281790913033]; } addprimes(mersfact_primes); \\ ==== end of file ====