lambda_carmichael_numbers_cached.pl 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910
  1. #!/usr/bin/perl
  2. # An interesting subset of Carmichael numbers, defined by Tomasz Ordowski.
  3. # Numbers n such that:
  4. # LCM_{prime p|n} (p-1) = LCM_{p-1|n-1 p prime} (p-1).
  5. # The sequence starts with:
  6. # 5615659951, 36901698733, 55723044637, 776733036121, 2752403727511
  7. # There are 191 terms below 2^64. (Amiram Eldar)
  8. use 5.020;
  9. use strict;
  10. use warnings;
  11. use Storable;
  12. use ntheory qw(:all);
  13. use Math::Prime::Util::GMP;
  14. use experimental qw(signatures);
  15. my $storable_file = "cache/factors-carmichael.storable";
  16. my $carmichael = retrieve($storable_file);
  17. while (my ($n, $value) = each %$carmichael) {
  18. my $len = length($n);
  19. next if $len > 25;
  20. my @factors = split(' ', $value);
  21. # LCM_{prime p|n} (p-1)
  22. my $lambda = Math::Prime::Util::GMP::lcm(map { Math::Prime::Util::GMP::subint($_, 1) } @factors);
  23. # LCM_{p-1|n-1 p prime} (p-1)
  24. my $nm1_lambda = Math::Prime::Util::GMP::lcm(grep { is_prime(Math::Prime::Util::GMP::addint($_, 1)) }
  25. Math::Prime::Util::GMP::divisors(Math::Prime::Util::GMP::subint($n, 1)));
  26. if ($lambda eq $nm1_lambda) {
  27. say $n;
  28. }
  29. }
  30. __END__
  31. # Some terms > 2^64 (with possible gaps)
  32. 19114558109565017689
  33. 20230630853980919401
  34. 22141625199484567801
  35. 22215120344491755691
  36. 22529663924546241181
  37. 25386119280784743481
  38. 25924989688444386241
  39. 28978454676377746429
  40. 29867088371939187991
  41. 30318386850404810191
  42. 32769125516913288823
  43. 37021823365914760861
  44. 37556988590472702121
  45. 38828539513546918489
  46. 41554576879097551001
  47. 42413470588135422481
  48. 51962220848246948821
  49. 54394551778580574571
  50. 57418587477814985809
  51. 57497895903551319145
  52. 59330861971412406481
  53. 59662076701876801601
  54. 60067364589317116801
  55. 60578083587383438389
  56. 75400966971297147409
  57. 77536456230441680011
  58. 83614655738571164561
  59. 84184085494074532297
  60. 87022263331910146801
  61. 88173732755415387889
  62. 90237180744934029649
  63. 92280763606092325213
  64. 93710188449954875191
  65. 93822813689313686221
  66. 98859949021708246621
  67. 101102355896934458791
  68. 101835144237644778961
  69. 102680034251644994689
  70. 110048368052608365439
  71. 124294096524877689889
  72. 140201436081215626291
  73. 141695017911874541521
  74. 142574842639076416111
  75. 145783156417369160329
  76. 146792000154169233721
  77. 153449636363740310021
  78. 155633914345461092389
  79. 157779922846871952721
  80. 158469297776349010471
  81. 163527052666170975571
  82. 165182244289575678313
  83. 165211948988981005441
  84. 165307852383156082651
  85. 165787644061109524141
  86. 173577126731545530013
  87. 174957119182038132169
  88. 187477497057001979449
  89. 196013805446356947631
  90. 201154594187963653357
  91. 214487207780890812241
  92. 219565936897319453767
  93. 227572902700417949533
  94. 230717561879876065649
  95. 233733769174391833993
  96. 237320457131816425081
  97. 259038202064820034361
  98. 294248512379995452787
  99. 305405826402423635869
  100. 317258004364244519521
  101. 343877950351903537441
  102. 355408131002899184011
  103. 360854498797512771421
  104. 364166313110654741281
  105. 379558022672371804489
  106. 405063351294790406161
  107. 430971193522194567031
  108. 442367366339546395729
  109. 494679069280599402319
  110. 494949986416266994981
  111. 559135404710040474961
  112. 641318239930620561913
  113. 642211741876619976571
  114. 718308457223971179421
  115. 746129072941476519511
  116. 762644575625605975945
  117. 767272748413716200989
  118. 785407501652611738249
  119. 837121735015052277529
  120. 839280215259662067001
  121. 985250619948284436097
  122. 989369930301649944211
  123. 1016949840876026653411
  124. 1059181108364030805091
  125. 1258875850710225528421
  126. 1265957229487070069677
  127. 1302314329666924953841
  128. 1325589924256173751681
  129. 1329435468455356769221
  130. 1529862130905126596929
  131. 1530862167339815632489
  132. 1570171435228532142109
  133. 1576523869719035603041
  134. 1588829243493548989969
  135. 1600000532261708779369
  136. 1633113326229171133969
  137. 1671458997526110349921
  138. 1681811750271684111901
  139. 1696989748070244092581
  140. 1735566564665741858461
  141. 1838626348500129351241
  142. 1899960755503161704581
  143. 1923480124405389716797
  144. 1961994884203588873057
  145. 2183835958938374088421
  146. 2205786287570680941841
  147. 2262472456866637958821
  148. 2293690036807062832649
  149. 2298483391799253377449
  150. 2339397643613273890489
  151. 2371476375092489983471
  152. 2589090455517342749641
  153. 2591668500088979967661
  154. 2808470650354318152457
  155. 3013300917687634467601
  156. 3081844673549576115409
  157. 3148344571430612552041
  158. 3165824058073916222341
  159. 3168983629751877384529
  160. 3342213268155524462671
  161. 3345805871771633533481
  162. 3534911947538298976321
  163. 3555378721845655590511
  164. 3562058425268000396761
  165. 3577387006677427255789
  166. 3686971965170548246465
  167. 3752871022293657498541
  168. 3848978043129362829049
  169. 3984149141379488933911
  170. 3988073652213296857921
  171. 4102304147420376187081
  172. 4299359701758648773221
  173. 4376485735222725927139
  174. 4487467436479450960561
  175. 4587504217357161137671
  176. 4595968333053233266609
  177. 4644240647543842093351
  178. 4819502315462775624913
  179. 4837145878002158207731
  180. 4839227303245740494821
  181. 4906224372666967280281
  182. 4974013854559816732249
  183. 5043976022024820461221
  184. 5105247360431310431681
  185. 5135581881494231999041
  186. 5391425568428573669101
  187. 5425813882721552092561
  188. 5528838911336720160169
  189. 5666737496923856415601
  190. 5839454328187621332049
  191. 6440353562056332348001
  192. 6494793693552626601601
  193. 6747814678856214365569
  194. 6792610830904507077067
  195. 7091388274673938460401
  196. 7428429195920784072589
  197. 7680916106742821358241
  198. 8050800229412885260633
  199. 8362947354878468073889
  200. 8644068231671644772953
  201. 8765381577199070242057
  202. 8945409477317895726031
  203. 9108267615740966886109
  204. 9303969535735893479033
  205. 9431024985758715364351
  206. 9641036869192178077237
  207. 9740384587144023601771
  208. 9887385841850857996009
  209. 9903461500208308164469
  210. 10005033359513665564573
  211. 10714140474878018227393
  212. 10847829291910506376489
  213. 10975865664321153277849
  214. 11394144382121359540471
  215. 11636553501487506509857
  216. 12447609292180710829981
  217. 12511505454821915818369
  218. 12708478036613663876809
  219. 12908169680311942059421
  220. 13280066346899425227841
  221. 13384614743271950543641
  222. 14529230326331980069681
  223. 14583199020932853591841
  224. 14605230716479912545061
  225. 15435013256877071380321
  226. 16809386714941913503249
  227. 16987559528173462908709
  228. 17562513119768713154521
  229. 17624234282428480750297
  230. 17739299244826082150501
  231. 18447646795497420598945
  232. 19915618738580955734341
  233. 19993698573964039926001
  234. 20762987017143874008241
  235. 21277119219250588669711
  236. 21835042977323814225061
  237. 22902673711036927139569
  238. 23232781774850232839101
  239. 23534618448723802347691
  240. 24092528508798275096911
  241. 24111395761527811156321
  242. 24468586754102528078161
  243. 24702495767161308764821
  244. 24914380376839651491421
  245. 25358289831609120354511
  246. 25928468062652374515577
  247. 25929413411331739365181
  248. 25939873672197357573481
  249. 26214931079713940163571
  250. 26466841444869611268031
  251. 28145044904477224414591
  252. 28309426966506730187557
  253. 28358021449787008332889
  254. 30208293325168934122531
  255. 31870674231334668759133
  256. 31929585020858606069971
  257. 32310859772210842640971
  258. 32387604620650641740233
  259. 32797846069839321553531
  260. 32830267796242467075781
  261. 33131934610375046742871
  262. 34082376803078292562411
  263. 34821485853017489393609
  264. 35020347772951775636581
  265. 37031419254531657944717
  266. 37537206168574082685241
  267. 38557310749242585298291
  268. 38662282263810187144711
  269. 38746091536834964168611
  270. 38932082490303731534341
  271. 39767964063998539743529
  272. 40688027970847508087513
  273. 40745119960804146657031
  274. 40913926031980631204653
  275. 41331874786437146725801
  276. 41487048161578760076811
  277. 42060571027345749318631
  278. 42272395592144594125231
  279. 44088964893087828434731
  280. 45195865307817451465969
  281. 46168474161936321738091
  282. 46356346423828682227099
  283. 46505361882195477385201
  284. 49731637513659361567471
  285. 51789098291717687592331
  286. 52494166706624983806211
  287. 53168686298413854996781
  288. 55692571769024008641901
  289. 55754637690686490646021
  290. 55895351114852627423671
  291. 57401173905192900238501
  292. 58253604240547048888741
  293. 59183824434452143224793
  294. 59611080627973821120529
  295. 60776117751939122799991
  296. 61269560576761382627041
  297. 61380585724653747471745
  298. 61380656246291430223261
  299. 63261199394242044642289
  300. 65295380210340153470131
  301. 65408472800420439469081
  302. 67540911190630708046737
  303. 70368428625708224984545
  304. 72551968682678568830821
  305. 73115004327235780275697
  306. 73241587618660343877331
  307. 73798340623379875918171
  308. 77542174236063390479701
  309. 77725063330017930216631
  310. 81454323598552119482341
  311. 86654086426101113304421
  312. 87237649555809177689191
  313. 90219562335886637901209
  314. 90302017841579288819449
  315. 90738498586554993467593
  316. 94025180203331711535991
  317. 94354660620512604056989
  318. 94690005678654603429811
  319. 94971682065929255693329
  320. 95120033126285154914641
  321. 95666431532782944977821
  322. 96249684256810718111449
  323. 99793068033002028503569
  324. 100683488743154826027877
  325. 101586264198509357752741
  326. 101600479022257803913921
  327. 101994314267223824072999
  328. 104212341055526049480601
  329. 109552330773679382734681
  330. 112468162014987836790217
  331. 113638976865636084580081
  332. 114437669374103731477081
  333. 114825651585698387602531
  334. 114882775094266181645689
  335. 115332452895356713672849
  336. 118541871336716175686491
  337. 122182686744211952365861
  338. 122677214843546320665529
  339. 123472084215556462294891
  340. 126462243901248204544237
  341. 126545163122046318293431
  342. 126705236469082747013611
  343. 126869928040128508342831
  344. 128382301575623625991471
  345. 128588990470508035322341
  346. 133186770891069578012689
  347. 137175210114330367001791
  348. 137864597235471737027977
  349. 143314691156678531331631
  350. 149926436997847803732169
  351. 150657977792710200120031
  352. 150960826688323330414297
  353. 151240037948918257805281
  354. 151379556208764346079009
  355. 154358427384054616934971
  356. 154726977098478869431129
  357. 156488903881238840904649
  358. 158716532248340071260319
  359. 163425684807534420857071
  360. 167225246738458556189401
  361. 168230339838547214464129
  362. 168876889493551498341541
  363. 175481813238912745308349
  364. 176003020999237929542249
  365. 176168861272640869542991
  366. 176801386760387380893691
  367. 180043963116689087879971
  368. 182044446250015530941521
  369. 184936038129365814053857
  370. 186477551867295020487511
  371. 189671274703731162844441
  372. 199155273614392328395621
  373. 199349746483453306345861
  374. 216378599195774352821509
  375. 224391890281110182713711
  376. 226729623951196418542969
  377. 227955580061565933705353
  378. 228507507947024557682941
  379. 232729041905292004037221
  380. 238946074369112919221221
  381. 239934487328167509703141
  382. 243634366281140218679731
  383. 244374918656945896283941
  384. 246329305044289842409021
  385. 247995199827732107328421
  386. 251393740843592947297111
  387. 254379568512404699666401
  388. 254507739213355368578521
  389. 255731855966390571793201
  390. 256815772903273658379931
  391. 259111684038639288358041
  392. 259731827964818563815721
  393. 260535290580097305861401
  394. 264270310489018369965641
  395. 264858648294622679807833
  396. 269929481328086648912489
  397. 270589673244355618149433
  398. 272854726789710328203697
  399. 280462399400170791885871
  400. 281280617711224150467457
  401. 286194712297710920096821
  402. 297306077324382129504511
  403. 300563745467157614684341
  404. 303813357701994411892261
  405. 306727915685186718973801
  406. 326422223600764715933041
  407. 326454636194318621086787
  408. 333860754743894436145471
  409. 334204958496410253614821
  410. 334303927022217442564441
  411. 345248027880794086625641
  412. 347086497366864117834649
  413. 351605685031377197451769
  414. 352154210246377231856131
  415. 355651851598544443386601
  416. 357870078768755233413289
  417. 375469781769023069076211
  418. 387886249008278422809571
  419. 389357862029518200996421
  420. 392441819147788758945769
  421. 392918675674591645210129
  422. 398744156342879554962061
  423. 409570963577863899489829
  424. 421994974704850406665621
  425. 421996077683346061012769
  426. 428154417715705888811713
  427. 438972256475240331888631
  428. 473031822435345180777871
  429. 477963810893156284019977
  430. 479451012916231387277401
  431. 486632571576832332229411
  432. 490357518696418042745479
  433. 491435082215350664397481
  434. 493450625156725222490071
  435. 494061624830503737701857
  436. 505158322008781234661689
  437. 508461189246865163393731
  438. 510107778561397912937449
  439. 522539693188505486069521
  440. 530125859524391855310565
  441. 533326270875599782524511
  442. 547073287081199287903951
  443. 549513912628993845600211
  444. 552367133588120038709671
  445. 561679585474003235191471
  446. 565583658370718355234649
  447. 573563235193836890608801
  448. 574108288497140217153661
  449. 590414191031212693981741
  450. 632957776411691380972687
  451. 633025331258098387740247
  452. 648956611793611849416481
  453. 655504011943974264383761
  454. 656443547701998788204281
  455. 657443626312388983057729
  456. 663413204443586569486963
  457. 669976294340059358302769
  458. 682354436741314800112831
  459. 697409854324139420656111
  460. 697422666652130516818969
  461. 706585777387327515924709
  462. 709345493202499863361411
  463. 716189413704003618517741
  464. 716665380967559711731249
  465. 734514232246936724135521
  466. 741422974097555902503121
  467. 753824917096307958138001
  468. 758104076541140192886289
  469. 764324701537704517257211
  470. 795550931978116785376861
  471. 796235199302282885656561
  472. 799814101050042617751745
  473. 800381871691656536035129
  474. 811155234025659520905697
  475. 824699861777286634532233
  476. 834232064244097207926601
  477. 848962255701244704083929
  478. 897871372754806063117153
  479. 904602777314907480467551
  480. 915350416320680262363409
  481. 931476417754025273414101
  482. 934904523074076443474953
  483. 939004880001293525524273
  484. 985592546204140123306237
  485. 999048331633216117136689
  486. 1009138839681919921542961
  487. 1027135486176439800588121
  488. 1034829292678489682489077
  489. 1036110308295380961016753
  490. 1053288418801407415411681
  491. 1063508550299512987409569
  492. 1065932929937153098384019
  493. 1069777930942620115449169
  494. 1071145805102619304350181
  495. 1089975536626047281424721
  496. 1134901444831580042925841
  497. 1143293621164842033231001
  498. 1210223201287863481865929
  499. 1234840586498484856911817
  500. 1243690749179311281501961
  501. 1254586602546506868662731
  502. 1263592537651026212323681
  503. 1284460126852302108313921
  504. 1319392607168691362020561
  505. 1327957170494962798645961
  506. 1329444055050201913243681
  507. 1338403217375534024266201
  508. 1356720276965959265172049
  509. 1371550102403745695689747
  510. 1398609741661600546796881
  511. 1403401910902300214674561
  512. 1437155701685976783095017
  513. 1505420534826688570285201
  514. 1540974743324631930024865
  515. 1546741001053466688084541
  516. 1569640789648218948044273
  517. 1577803641460814035493233
  518. 1581818680704993733274581
  519. 1586985686369119534521329
  520. 1612871134521140272453921
  521. 1673014724491470108100321
  522. 1689220457520826180178539
  523. 1715882319747001640538289
  524. 1740138575611178005632289
  525. 1743774169315131411007801
  526. 1779361853879058925666177
  527. 1838503115024132379851993
  528. 1845822805278697907735449
  529. 1866200764308777750682081
  530. 2014292701327522661369089
  531. 2042930096379363948898141
  532. 2095115628332521584304381
  533. 2102544149661056571397921
  534. 2122420882120667036471569
  535. 2123911167064221978733909
  536. 2132039521916154164236129
  537. 2134973534772693029945801
  538. 2161631471438375891922809
  539. 2253689840194134796481281
  540. 2316709828674359682758809
  541. 2348046728050368107654081
  542. 2351508586951463365760041
  543. 2402171190468103829454991
  544. 2415936923534554514155981
  545. 2460075469947608304066787
  546. 2493227914952508388655029
  547. 2508305211632036318485969
  548. 2579075263555432743219661
  549. 2726578072407715498363921
  550. 2755933932456454847186359
  551. 2792284531141596942331621
  552. 2809614658669167318047731
  553. 2810572255549866091984921
  554. 2865990215866263152588741
  555. 2965293872653947633717881
  556. 3036366475680175953474553
  557. 3133250881765080487168969
  558. 3140537411311805719367461
  559. 3263411311860852289911121
  560. 3277139926169280294656809
  561. 3311866545858114986525753
  562. 3361867042568127025602241
  563. 3394112973927008634816481
  564. 3430682716979855636000065
  565. 3437122869054069960862261
  566. 3463949288392918957618711
  567. 3554329932590694827042251
  568. 3613223351128913697103993
  569. 3627883895834555391019621
  570. 3645739152492847324644061
  571. 3649281344290542261627241
  572. 3791262765887833534742161
  573. 3831628229959335658118881
  574. 3840495833460444309496369
  575. 3867099694937038179964009
  576. 3872124097490020756685941
  577. 3888987119737629545986681
  578. 3924064932471215221829041
  579. 3934158467304333608593849
  580. 3936334987481082386732849
  581. 3942109473011722541494333
  582. 4001128349065156310661361
  583. 4035007089125516137480561
  584. 4045773320100108496441033
  585. 4047995352652897693404529
  586. 4055359692099381592384921
  587. 4094008459783718633752897
  588. 4099042970144194575414241
  589. 4178414826004699886993101
  590. 4194846663285728430923489
  591. 4208259346578982118323489
  592. 4304117015029306459394641
  593. 4330591353040060504402261
  594. 4500666208719755874581041
  595. 4522526765452366690886413
  596. 4547889261312960920801077
  597. 4623936836455660984954891
  598. 4692450444187051706802703
  599. 4710270686346052252888651
  600. 4773876755258613307541761
  601. 4899382703987026708588117
  602. 4909993061122401551352673
  603. 4936939810998721791191641
  604. 4987674862601814947696689
  605. 5007165032963778744596821
  606. 5007221588958357811253221
  607. 5135226058785300560569001
  608. 5135394942045782963521741
  609. 5207508484999841520329401
  610. 5217026346505647607362181
  611. 5270444540510450021561521
  612. 5459050912759911400903561
  613. 5473142199034603403923621
  614. 5565774153249028331555041
  615. 5566599720873617308452169
  616. 5717331977435875777296721
  617. 5784013298897956213132681
  618. 5815241282464604479956133
  619. 5875021332707106567249181
  620. 5877293518909957352041369
  621. 6004025284867857068891131
  622. 6071903437189246693879921
  623. 6137272870567848141704881
  624. 6318474148670862217034257
  625. 6382614053460244728604609
  626. 6407148076704502027343521
  627. 6415965939865461060164761
  628. 6454414256465086452718481
  629. 6491550598273255804049881
  630. 6502583803553584063108289
  631. 6526722695485811351262689
  632. 6532930363738572788845861
  633. 6608341263060359444203177
  634. 6619715619859232916746887
  635. 6777682187373022133410567
  636. 6946444947550966226412601
  637. 7382938045441198588705171
  638. 7436324697211488266508043
  639. 7557939595192614986232449
  640. 7622303570380979366330305
  641. 7651159141258554529543849
  642. 7710766545677365896158833
  643. 7853049224356949179873193
  644. 8026822183032223520438017
  645. 8311936277617490023031857
  646. 8804146571497861705558543
  647. 8876215003117923172460729
  648. 8930900843638250840347093
  649. 8950566403178433577448929
  650. 9062250127820186635104481
  651. 9275312318351995711338121
  652. 9429060090884740612185337
  653. 9505908468633251172847609
  654. 9592665763748581521066889
  655. 9625292819079605387806801
  656. 9777516701620004506074361
  657. 10532918767038566957598889
  658. 10824341437997399279376811
  659. 11851242499988150145582271
  660. 12324938331473999227371961
  661. 12484746410556221814242881
  662. 13536731550856201226032129
  663. 14608404726809335827652291
  664. 14618971309548988189615321
  665. 15226734511171152814286401
  666. 16707707500282357324646161
  667. 17092383869666618383711501
  668. 17832662048844351720057041
  669. 18105356786087012586671773
  670. 19754039101878246506178049
  671. 20582960998218777899955631
  672. 21478341315732565041637801
  673. 21945341523533542085282137
  674. 22074519378342179688465061
  675. 23174626698749801411623201
  676. 24179524376378497716250921
  677. 28680066373137300787251409
  678. 28923666517050582065698121
  679. 29650290226467280439478289
  680. 30932166700212251284583749
  681. 31797680021061094635495841
  682. 32380444626451854725799721
  683. 33131071932568321533225161
  684. 35296264952731504206175561
  685. 35872163897459012514624961
  686. 35995862417138992463642821
  687. 37583523553610285110906027
  688. 40219612854984537564216313
  689. 46726032500452768346975617
  690. 46764300652341154249595761
  691. 49603073759249403170394001
  692. 51487570849113203101865053
  693. 65615989305799434984546961
  694. 69164759372123060189404561
  695. 76835691420219630020565697
  696. 98385450236736866318300617
  697. 131124850594002036656916401
  698. 139427531429225540378870161
  699. 146351055605776213848593401
  700. 160395951458323384458754369
  701. 170403083492686304698956337
  702. 180251735523018502890048217
  703. 187302762755532146079902821
  704. 197762122813515155689406041
  705. 202639838781019827476197441
  706. 214989536967636095217773761
  707. 243491218605916507311429481
  708. 248466129407545932508310449
  709. 403644027821455794253615021
  710. 430220764820292743140741769
  711. 434194666237216729750445821
  712. 440459628466867005534615361
  713. 523336888478947860620825689
  714. 550173394814572330336567411
  715. 551495386051881490077738811
  716. 551605928620978742710323241
  717. 563233520674220606853454921
  718. 599433384166864529074714801
  719. 618965372260105252087804021
  720. 695065118868697738848418981
  721. 779845932567596283989698151
  722. 812681357549913121851514657
  723. 820970913246751535876748493
  724. 887924937510744866559892627
  725. 903936980445688909196502457
  726. 966952276700123040649296481
  727. 1412491570475171138902230823
  728. 1419455462562907988125409041
  729. 1463980793868404716911119359
  730. 1706229743348063574040814521
  731. 1976610212547882426629643097
  732. 1983664707095841152504551201
  733. 2207676524998272986592848633
  734. 2547062557114471523020016761
  735. 2547490750730367760918580401
  736. 2637570901120133798518374649
  737. 2902374946579038530827087081
  738. 3081046866831121121407368721
  739. 3404655104708716628681770321
  740. 3757409331808531538617956019
  741. 3863342771017557045817700053
  742. 4314027889960432020905416201
  743. 4447962376800520263030161911
  744. 5189082616976667637945752631
  745. 5443164683088111562600017113
  746. 6751393408975420481755016161
  747. 8050961121054622732647037801
  748. 8067337543679966971189817311
  749. 9212918408710197184873656865
  750. 10631223461241942007914952561
  751. 11911558013758103537605552921
  752. 12366813903721443931501207801
  753. 12422301880170199207271244241
  754. 16168159917010412758713858049
  755. 16405153793279037495660047041
  756. 16490602539062940022862690641
  757. 17276127863608645057826871649
  758. 23126106420887964122275099093
  759. 25727177935344670827545527921
  760. 28676249535761511456928281841
  761. 32147572936582296563089231639
  762. 35334403028753799003805066723
  763. 38743253674607329348298058193
  764. 47065075327605964703282177761
  765. 47338209805666772001127899781
  766. 48301728217278473610466925489
  767. 55717283163035244683619594169
  768. 55738394993438102407355988445
  769. 68448268025538859062864202129
  770. 71964812984011702196114269001
  771. 83701538468470999341846474349
  772. 83789683378453273588356927433
  773. 115133642119138011370027515031
  774. 115583415885998336331782094289
  775. 127730546655449482468067773969
  776. 137047118388343330101492709801
  777. 138001572885540763262194144801
  778. 147055436540899372259582974129
  779. 149949104461812495638587396649
  780. 162644965752286130794215887521
  781. 167160687778416562854407673289
  782. 220201201729087194638657481361
  783. 251355485281074228712166877289
  784. 305753359281886886067769051621
  785. 340635937342598746015510873351
  786. 407432124845119234661550206401
  787. 490005807250992187540603198933
  788. 578959656271798761602939468581
  789. 641364291495855191181210206761
  790. 672543143281419652719732445201
  791. 816275414671463058956003338921
  792. 824210894943032707862790889201
  793. 829236235460366907211445543291
  794. 906247697507566010955290392201
  795. 921700165922123585194285704961
  796. 960816449665685341517386285873
  797. 1058069376989189030569686172561
  798. 1133541838087696741536175790161
  799. 1197496921261442164690554308341
  800. 1389051488086967879047999162369
  801. 1527175136655598431139056606817
  802. 1574277211991655084237315052321
  803. 1645407564506985009418909557841
  804. 1740701396314106689565364085201
  805. 2060331074473891751938773826921
  806. 2583392109591835967120521539097
  807. 3351388988994008676780143926801
  808. 4621245965720986499480225233621
  809. 5118804177805147901960473762801
  810. 5271222682189523956137705530039
  811. 8178727575128265468650438448481
  812. 10108588951209104805834258119401
  813. 11694153887939230304405333374693
  814. 16045668135621291475164657320641
  815. 18439369804308361267153476345259
  816. 19512695887533338397664607518249
  817. 26079830334105297664728701931121
  818. 31053931794965957145352045666897
  819. 32465508249664947532012632712081
  820. 34684498552665286074214417812301
  821. 41295612050664360934585634055061
  822. 58013182436223835712574300255481
  823. 64427047702049932656839749391761
  824. 90685880691669556429853486801641
  825. 93541891604578241090078814528241
  826. 120855351659858930210705032381321
  827. 122371476172714542628841701074097
  828. 143899044084041899524168303901981
  829. 146884256116396384632103398769489
  830. 150182902816963952782988584232533
  831. 177577543756292334135309483288841
  832. 196205797979646916785459433621021
  833. 215044295430222267580692903234817
  834. 253498162448615085063782619823729
  835. 254133197317737698122235280762241
  836. 355088902271770497663766754532721
  837. 406366208352657383950052526864601
  838. 439824350259228144698001452538661
  839. 469456154866319303553835339623781
  840. 496506602821188308759447427087013
  841. 710949646709753565055009265835121
  842. 795607031856660765045114569150701
  843. 1159148180774015326300451940567505
  844. 1303935372842789620709617366740133
  845. 1825742013502595458124791783679653
  846. 1942956661710850322997864485095813
  847. 4117036519933639464701849147295391
  848. 6741471587264811281287558911072853
  849. 9001835140212206674207683100770241
  850. 11827921114368039415018912268362453
  851. 23296554004171962845069027329658761
  852. 43118712348246138305327503700054161
  853. 104956451401988264667265687368913633
  854. 215986823783275088831204687276368249
  855. 253406011725193431291992727971604529
  856. 357232294680125188232867511969563221
  857. 491066766775836209301209567930433121
  858. 703453309278263370525478981113921493
  859. 953462679486044934853085680263921121
  860. 1148684176303850895336648886795278049
  861. 1552974442056224627002394948422036501
  862. 2824303014713287714672361455723282321
  863. 19669497977732254837569378995837891041
  864. 26988404787484570686994017175717290421
  865. 67749723270243605961208458415643261761
  866. 68093269767015242048885765594065058581
  867. 87588251235332360498915523181796801713
  868. 206291024218666953550710021834437986801
  869. 616481755312170633176653964161244211241
  870. 5229169734778800096154482140435381699821
  871. 6727657243948042354122005070996461582053
  872. 10766347691735976598106160112237867456321
  873. 22769985603288559665252886989467212286281
  874. 26815746055696553502557223767663224844737
  875. 38078580214374399404828283858189287999281
  876. 43734176403021901897017433043077300553041
  877. 302019317198734742854606944588574536569281
  878. 2194361013751071698764012356873512205015601
  879. 2284050194390860946003863024988610235501081
  880. 2800719199391802254033999942753919735361561
  881. 2884136427673355920171205787621529642620841
  882. 53643019761073440298782841824878623240833601
  883. 79011873219448469230306780827574814534318161
  884. 110700446267605619127548211603770469204564451
  885. 855113354405724169684857711304294766006430481
  886. 8453499590833264760103669195707283587678060305
  887. 33617762930294910939154037829795657390769776721
  888. 76194853896462434252328433229045615765351962801
  889. 379733491470755914832842983714378627088372568881
  890. 1528111333073039654482059215397925629889486896721
  891. 2077509358707167449208463919433933715717608307457
  892. 74042551755745134229849948981137066326497479882001