1 7
2 127
3 1093
4 19531
5 55987
6 5229043
7 8108731
8 25646167
9 321272407
10 917087137
11 3092313043
12 4201025641
13 9684836827
14 31401724537
15 47446779661
16 52379047267
17 83925549247
18 100343116693
19 141276239497
20 153436090543
21 265462278481
22 438668366137
23 502628805631
24 654022685443
25 742912017121
26 2333350772341
27 3324554405047
28 4033516174507
29 4432676798593
30 9752186278927
31 11016462577051
32 14505760086637
33 15656690128843
34 16882733081761
35 18871143464293
36 34202236424581
37 41631195371767
38 50358783873217
39 70326806362093
40 76792124280187
41 81371626928593
42 113897620456621
43 117037014538627
44 169145005496461
45 177961648104787
46 182511549990043
47 251059142817757
48 339837843825481
49 355570385413447
50 483617509390681
51 504704803736407
52 596881533183391
53 647983119867091
54 731438127090301
55 776410601012593
56 1077107785830721
57 1576891223053147
58 1812169199976451
59 1843532861747851
60 1940350890330343
61 2294234491841293
62 3066840805741987
63 3807881699349421
64 4045080769438801
65 4358775585340261
66 4423884679563931
67 5270587821526567
68 5346848976102943
69 6885193782864517
70 7076806754787043
71 7994987760290497
72 8322259535077951
73 9619414659135667
74 10001033289308881
75 10262388792077647
76 11952999387352843
77 20504128695797293
78 22458760195647637
79 24566262075750781
80 27131673555698293
81 30896151154490161
82 39332984291423593
83 39739406344976521
84 42683532496570897
85 46268622795238201
86 51099596305604071
87 52114507355681317
88 58001749409835547
89 72789361753989427
90 73467869634582697
91 79088138128441681
92 80547811962632407
93 82779373308892261
94 99889737231878287
95 115812431626615543
96 117817310443490701
97 128280961331325811
98 136057055340946867
99 156591593929410571
100 192953815174914361
101 200695062219827491
102 218640366309475657
103 258560344690452043
104 262472090112640801
105 266433028832896927
106 272467755276228331
107 308858505502747747
108 356770259856831367
109 393867583036221337
110 413588356833933793
111 434125195486570771
112 458629533754114843
113 528495757630287301
114 576030515936904337
115 579829896819715543
116 631153760340591307
117 635253625511590177
118 651875739309096037
119 690604466658828541
120 695023534042345747
121 699466140425861467
122 722035775587170997
123 778690257526883521
124 908682514605367321
125 989050873178865043
126 1188268292558504011
127 1311008481280757827
128 1356773844212189677
129 1380151006768306081
130 1597188233880526687
131 1623964453243915021
132 1651113709150307137
133 1882241886635541817
134 1923263904229553341
135 1944052625982187267
136 2094883089356020237
137 2151059671447119217
138 2243550971680058041
139 2291024842966697293
140 2451136792524240367
141 2554222553541157591
142 2813613023559938293
143 2827851123818484331
144 2899945552096668391
145 2914546644644582221
146 2943932670417673747
147 3316269501878959627
148 3365452518034408201
149 3448774616620351411
150 3781252193638893793
151 4120457265086734447
152 4339958797615285027
153 4401485171394151681
154 4422154772865050887
155 4484649536643150421
156 4633338027872695597
157 4764033766956309847
158 5034655765237067971
159 5198349465348762997
160 5614444861542694843
161 5767769891813764381
162 6004289857489670293
163 6416436243220526293
164 6444730133155494181
165 6645713525617785277
166 6822116757605457127
167 6972084189732895507
168 7599726447784409527
169 7664998664613277261
170 7830225998024225671
171 8135116293828927943
172 8169595188681959341
173 8343821891897427601
174 8379036091978094551
175 8848210259425572043
176 8885189025331426081
177 9494597240029290481
178 10056028949877054691
179 10516320993556943881
180 10601867372629593607
181 10905860873027249431
182 11127417284141375491
183 11956334971031568937
184 12785833470333972511
185 13192462149083758087
186 13715849349366487597
187 13876197401045029051
188 14092422188166695311
189 14311447468449931843
190 14589211375251623293
191 14701567574519332291
192 14758015501102780747
193 14814643926095565217
194 15100509708419130997
195 15508432751848966861
196 15865351141984472311
197 16537487225041476877
198 17104913931276917131
199 17168950553264249587
200 17297623265039891593
201 17362260351137681071
202 18221030466107196547
203 18560613588423474877
204 18766883003164315531
205 20264951497263447157
206 21549476497326196693
207 21861374387435217097
208 22416247676383540561
209 23064710498179631737
210 24151775927015891701
211 24841713191582596093
212 25016739716870046811
213 25369876912059267631
214 27577099516442017543
215 28739322860831189251
216 29036168689106697343
217 29435933891452741507
218 29942080426002766687
219 30352200678813644947
220 32147832919817717593
221 32912500316606254891
222 33579936720914261077
223 33692264964256790347
224 34258614389625817927
225 34948684279590680593
226 35886762450898673497
227 37702254472338804937
228 38701393046511872881
229 38827822163278651441
230 40634291270716546411
231 40765959421975394881
232 44884726513700228611
233 45315004720463997793
234 46922219313965484301
235 47668317138243995761
236 48729442429315718617
237 49344586578146818141
238 49810179519549590443
239 50122604063493736321
240 51548800487408387311
241 53502862451277166747
242 56376483951677269843
243 59920763925321060343
244 61204296427102720711
245 62135064249177471091
246 63648814984715730043
247 66967777675743366241
248 71897932302115976281
249 75790876840718845807
250 78938768496833129977
251 79167723830607761497
252 85074172785146918647
253 85806981467365412101
254 92381261185861216507
255 92642265981941135377
256 93692438982092641237
257 95822564814158497981
258 99093327675323707657
259 99370038611999812777
260 100483330469984328637
261 101043862065341218843
262 101325103491216895921
263 107679533513917059787
264 109169082914792813767
265 109769690726126723293
266 110373049617474367291
267 111283268269183497943
268 113741150550449446207
269 114986953143485873731
270 119437189071690884941
271 120409242347220973147
272 121715560870570818607
273 123033668296052252131
274 123697169378643716857
275 127741112614067230741
276 128083021700363317771
277 135083101024830948991
278 138335545420735667551
279 145416527565418040443
280 147714379516976603101
281 149263027600679822593
282 150433372192466684287
283 151217842287341803093
284 156400450003590672727
285 172405765606508551321
286 180906332895386622343
287 193102311521619214261
288 195038023785180167593
289 209046077129190306517
290 211113975503764100041
291 216358422075655879951
292 223338108807075669793
293 224975166657132719647
294 232747614796740104881
295 239010370805971280797
296 241903146348643555777
297 258033249350504927293
298 258647451442109904301
299 259262871382726315651
300 259879511103403824907
301 262981074155234889637
302 267375036637237525543
303 275049859580656630051
304 277648566587116832311
305 281584970839890332161
306 285567773076725101747
307 286236114967892466217
308 295730641833267708187
309 297108177464092313593
310 298491056169458693311
311 311180149089444454093
312 315508429337607758071
313 322094844034792077943
314 325058697283786557547
315 331810548242649701737
316 335611799868352450717
317 340221137086716233167
318 340994464241186356693
319 345665254411519319551
320 351181774894271639137
321 375662434194985924267
322 379031372237731457791
323 389289624257406656827
324 400662774554106962941
325 435506910028641702343
326 437408568612153099781
327 439317141890054122507
328 450914918787016928791
329 465769890408758365921
330 469799356169288234293
331 473857829881768875817
332 511717214756555872093
333 524883581102776132441
334 531571880834729815627
335 538331051313650287477
336 548604002128702866067
337 575601808704643753621
338 595028503242497412901
339 617533587551329415443
340 632927507429188654831
341 651289951340926880641
342 659294327743249830451
343 689348736347110956397
344 719093608576460877943
345 736565555914186402531
346 751394423062171947241
347 758901633589316091421
348 778713448718369961343
349 784895386198000019587
350 826083202377721800793
351 830949392730037512247
352 845691523510859333701
353 850653733042129585843
354 880939352302868108377
355 894685116097711280161
356 912118232365349411431
357 913877002896913115341
358 922713305927791625521
359 949650549849516567361
360 960607353175883351947
361 967970253065220074671
362 1001688015592236719293
363 1003589553102326004781
364 1009312223899992366817
365 1024705777790000833801
366 1038335154663713121307
367 1064047769471549264221
368 1066047441011542150477
369 1072065255407708150401
370 1114987825028382379621
371 1144390922844202103071
372 1167944114231845258771
373 1252441940467325035093
374 1280160249405956308321
375 1289512503396017000101
376 1376275162494508171561
377 1391197737345331516147
378 1411304035811867367451
379 1470463365494706140797
380 1473081659424175185043
381 1483593720639003099127
382 1488873147153383633461
383 1537096545477908087947
384 1542534114258752029801
385 1597797168475313873341
386 1617524749919580643807
387 1752279587563406986897
388 1770526180483150267843
389 1773582616950784247161
390 1788930835089183059821
391 1807494644860432642591
392 1951908169479218255761
393 1995372992165299493293
394 2022519236844905898037
395 2056884178872017422747
396 2195594332585308239131
397 2243527663480664502943
398 2288544739725952237531
399 2322799342221073923481
400 2334312046544836034167
401 2338160165143410481693
402 2388668751363973760137
403 2392591388670070175407
404 2420200444161334163281
405 2436095889766819846693
406 2456087449493586604543
407 2464122259831748634301
408 2570584423501434227707
409 2633729202340815933397
410 2693825373637693743631
411 2746241804923362424267
412 2885598824160581571043
413 2894788215202248254401
414 2959799323578238468531
415 2997491610303913712347
416 3016487226466625479807
417 3026022586778671180093
418 3108092118129162524221
419 3112976920905134054227
420 3142420287169700921077
421 3257445778703275201351
422 3308539729796961119461
423 3313685647251000087067
424 3355093615977772151491
425 3439204027739327870611
426 3476550884946235046917
427 3503433612475109668447
428 3585123384920441427337
429 3668394330976590853177
430 3696506892343456544557
431 3764710339773518537641
432 3845603273682145159843
433 3851436327122224514521
434 3969655283988834015661
435 4240413043592889024793
436 4284873999152453181931
437 4329722757277538360587
438 4355525773496416140847
439 4361996510454149314567
440 4407516365487687235351
441 4539759903523777822891
442 4546457908679677421971
443 4654751228295053733667
444 4682157790504910171191
445 4730442846782173040647
446 4828258520658507204817
447 4899153936331031630527
448 4999863235139339388361
449 5007122270616840282217
450 5036246301320981647741
451 5198964061597807825087
452 5213971284301366821781
453 5396892284523594293293
454 5521785875292798460861
455 5617028616930769843897
456 5869428778265660722297
457 6020271155569876110991
458 6028745104761210697447
459 6114032693480150049157
460 6122616467737164148027
461 6165686131233466460407
462 6243847819904978158597
463 6287626572432372813577
464 6340498436700554370427
465 6483304467629811410443
466 6619609572086699029843
467 6795683180210540318977
468 6805057253100629550343
469 6852089412863648977843
470 6975642394794300048277
471 7033289808005254920127
472 7140007992328976210293
473 7317547276375283788387
474 7337498921080077257593
475 7347491730297285656671
476 7357495877798840283511
477 7683677110560272514967
478 7809060612474955982611
479 7819585739316744873481
480 7851232075716660882343
481 7989602374577406140377
482 8162688386749735066537
483 8217414197334614487517
484 8239389960590390546491
485 8294543728253057236501
486 8305611316403645254501
487 8552230530589003753447
488 8689301998389423763171
489 8770102323617863301347
490 9028134083201692478293
491 9087651312054385479193
492 9123518330631167932477
493 9427024252890727239877
494 9575668011231441326593
495 9613132540128184565317
496 9764214533816707203793
497 9981630551735313438241
498 10111396110177760002151
499 10150598775409952701843
500 10203065951356683356407
501 10388484364011875424577
502 10401835263046469100097
503 10428579959387866780351
504 10740285674109582837247
505 10919874809884258209811
506 11017608530881879750867
507 11116070104046916197701
508 11201048330777348904631
509 11272276413073374840961
510 11300873131724544689287
511 11737132990143487888417
512 12005560034676456219511
513 12202589086400539512043
514 12217856103420111345601
515 12402305415334721409517
516 12417780354157562494237
517 12857659172200497094441
518 12969634229599592398897
519 13212319294080824703787
520 13810244309157974128543
521 13827169778301879075301
522 14874837692652466391521
523 14928909747223705937887
524 15110334435747618078397
525 15128577509434784409043
526 15892514002264636193731
527 16102853132164585818151
528 16160619235761353263093
529 16218557924173115192137
530 16471629959301072350341
531 16708147362242402329537
532 17434747731953684248117
533 17455300840965856310443
534 17766028819973445649093
535 18336957195358924209361
536 18747819218079600228511
537 19011241862376118736347
538 19099731826303115057071
539 19524761045474760552331
540 19774412435622235045201
541 20165466549894241851367
542 20281701153791132656147
543 21159315484448413864621
544 21207641259581197796467
545 21622136614534263376843
546 21918767866399602588391
547 22370068384295123038093
548 22829085919319475683707
549 23035598257361624704771
550 23113440632111101493887
551 23191502088995703584941
552 23348284221986465868127
553 23823940035340161162181
554 23930730440621872059193
555 24118573514511028896001
556 24253498061581941981781
557 24607248694046074137943
558 24662051539260588054421
559 24854663153737812893527
560 26180657935114726431151
561 26238365163579485326957
562 27625325990813289007543
563 27685674383978905255501
564 27958603494944896871371
565 28233771074890797200443
566 28822097509952237122087
567 28915918229808171121141
568 29198908778354133080851
569 29420604793087486140037
570 29547916769827209095161
571 29932610594602902174997
572 30094126788542235745327
573 30223862073379814571187
574 31446167267814563352943
575 32467214373673229739793
576 32813641056829121376343
577 32848452483811177815421
578 32883294681056294497261
579 33303809058793511061097
580 33728795228864950889221
581 35067726081574885104127
582 35104518982568702186647
583 35252012446482547892107
584 35734937702168413959181
585 36564752925238081656967
586 36640980196545813380293
587 36908819354399078441671
588 37178288076198082829527
589 37371767813937655731907
590 37644048520518103102531
591 38154099311751817501927
592 38829766901220026410141
593 39312687594780981288937
594 39474769056145924974061
595 39556018373812041214387
596 39596695262848431666043
597 40376205315486312213607
598 40749885619489502411047
599 40958728048767689929777
600 41126443486819268896501
601 41760482628350329476991
602 41888262792749927450443
603 42059143035592870990447
604 42230603795577583473907
605 42402646649347076249431
606 43009403464224555015841
607 43096670647552059388327
608 44558024671476034738111
609 44963663991992753117293
610 45144933318422829689617
611 45876112724952584666593
612 46291719537743448239017
613 47842558384880158119151
614 48033445849969440689011
615 48417125259322241042587
616 49046050171417925483551
617 49534458149435212305661
618 49977484175119062136891
619 51326422947354868871377
620 52345080955537262303797
621 53016199622517847222711
622 53276224072915481966371
623 53904621909868153804927
624 54009952915325137022293
625 54221129530640684296777
626 55019180655026406669817
627 55772836193379447543787
628 56044075015200427697767
629 56098454470121161516237
630 56535075171664821287221
631 57806164785913741047943
632 58085616092655332427793
633 58366192282194730669093
634 58874075687044382550787
635 59499818389411288218793
636 59786073460265598469843
637 59843461964778915549211
638 60304224817313583201187
639 62354978492285758614847
640 62712303182722813442593
641 62891604401321207168287
642 66756827200031272293991
643 67833073896221054841967
644 68024492354259300932731
645 68152354566124927332697
646 69507043950717817279837
647 69832874609325310132567
648 71281692554500814011081
649 71348138456607306824041
650 71614438457000001430141
651 72082456511019164347957
652 72418313296668964098937
653 72958396174616956610881
654 74323306379598064790821
655 76129442323363038947611
656 76340175731095147231543
657 78474381649795446234193
658 78546369151936824285841
659 79341870554957321891581
660 82141821951152431647943
661 82516290167289404349043
662 84333601420244324001547
663 84486537411452492652001
664 84869888844708621591211
665 85023634733412636185737
666 86495832732280817604151
667 86965126529212100123137
668 88385758117883688574351
669 88863577629510284821081
670 89504017131360430005793
671 90148298392945524623977
672 90390898075973584989901
673 91203496678849687363771
674 91857950341318721152867
675 92104377208457867373121
676 92598883908590877413107
677 93012661082710230697837
678 93095601129499713331357
679 93594536769220432942543
680 93844838970052450707547
681 94179442749978205302271
682 96635182361696794054051
683 97408068990491882942593
684 98359697211938894587591
685 100639838726019882047221
686 100994507533913159111401
687 101350217315822220292093
688 101528463335247063152731
689 102154383046377977155387
690 102603434529920996037367
691 102873654113034778406371
692 103325337906700909804351
693 103869538800796162947337
694 106162825017934272528487
695 107185152827641275449917
696 108121648161604194325027
697 109824524244225593941321
698 111068229081599865826843
699 111356898334523518301017
700 112517835624069074834293
701 114869985521867653200397
702 115067833449967886553451
703 115762538973193840040587
704 116260894127500505074567
705 119492891575075233387943
706 120518111083107780673093
707 121033463100982686141343
708 123637854679993363779343
709 124798490047295741293891
710 125435381175703654937701
711 125541792558529389907957
712 125968190680815542805481
713 126181841892372139807207
714 129204812715740506500211
715 129969910949878311193267
716 130518718075643370932047
717 132399129617077734082981
718 135999997956375165227077
719 137141862373677505164787
720 137256486880259871045307
721 138061096039684619586331
722 142734654897040726573411
723 143565924468227246567317
724 144281648549810676677767
725 149375458007432067012421
726 149498541462979504022011
727 151354959845143170297301
728 151978018330835423374831
729 152102886149460067289287
730 152227839451047241808557
731 153482084337589061933467
732 154744929133152870444577
733 156399561725382134546941
734 157168195869459169710127
735 158844373828179193936321
736 159363107698634330636293
737 161714914495108077088987
738 162109679701953454500121
739 162505247639364064325437
740 163564029864856597536421
741 164095572824766180817801
742 165564743669696780646511
743 169080956052296683911517
744 169353991381497288282043
745 169490646766506604528081
746 169764233224308919932247
747 171275545808513532644077
748 172243114991376424834021
749 172937020987440510827881
750 174052115460510713230897
751 175313752357440278101087
752 175454403425677514079607
753 177433413622919118160777
754 178572603778992564282961
755 179574388765105747356217
756 179861471680739423116543
757 180005156498410681486231
758 181013631025974674461927
759 184360403677339064742841
760 185094743796320473874851
761 185683969421763629886343
762 188653598001495327078043
763 189402156424368353808343
764 192269292742098895504147
765 192421190875997986014043
766 193639980012013280975587
767 193945680358472484761593
768 195634230607944252052741
769 198112160481121220011861
770 198423732370133708148187
771 198735712494254126391481
772 199048101281280374296447
773 201561974888854254899407
774 202352964471575588018587
775 203464694272676192628091
776 209099994288060822390361
777 209425899615013878937687
778 213535565255175919318837
779 214199305563508026903961
780 216200851022936059985797
781 217375599487982514904711
782 220080726064958466923671
783 220761372956781903751051
784 223673726206396743282097
785 225228476149660212847801
786 232070208257820500174881
787 232959743771562932189941
788 235285843269181257375607
789 235825374887931579203461
790 242749177899918317323543
791 243487749501512159446027
792 246274093429131281034067
793 246647605348956208929841
794 258268698732034438240381
795 258851795309334675956593
796 262964269802277757901461
797 263753737687743771059593
798 265140059090119944852241
799 267131047733442008721151
800 269335509728969164744117
801 269737945098198072993043
802 271555110933383961234097
803 272163095095151668685551
804 275015374841437730398081
805 276245382600651552785971
806 278926132756970891011093
807 281211359512510062591691
808 284142375618273346084093
809 287310956178992772731293
810 290294810423731141168687
811 297648992564961728648077
812 298524305016562751338801
813 303154968348147761755477
814 308520298111395425584621
815 309647975354220920221351
816 312368422204888030032787
817 312596022243011935470043
818 315108757283251690662751
819 315567421521964022985757
820 319720494166241804842291
821 319952549353059827794171
822 325328689878213569990443
823 328400530968801597410287
824 330064585538327011984543
825 332933597620752144501451
826 333654088439769848699593
827 346598649323140938709987
828 346846850127224003062507
829 352093386473531586283093
830 354614882703403964103043
831 361498200276106130186041
832 366148648199681128662343
833 366928547998079892903667
834 370062005204953847236543
835 379328903645598999982093
836 380936763375040746103231
837 381205291334563029892741
838 381473977016665567874197
839 389061513058676363199841
840 389334805036687548836071
841 398165015333427970408327
842 401519076161066156150131
843 402642314824620845097943
844 404332081789829537614201
845 405179178767635266720727
846 408013524369259327170037
847 410007381207347338609741
848 414307284541071017658871
849 416905216291635801106693
850 417484374114569491900171
851 418935202629223483206151
852 420390230273789898529681
853 420973419264079356080407
854 422141819981762617147867
855 422727032955763418436793
856 424486729827118404585091
857 427728696137764065943081
858 428616440832944044318093
859 429209123213687542051411
860 435173605008114879220231
861 439389706899134279455441
862 445471716145471363710181
863 446083756190866562349547
864 450387688749269741865781
865 456596150714603804759401
866 464773625085639830584807
867 469227190349565557957041
868 470186137465720279272943
869 473716261514191138472611
870 483783833479156138724461
871 485095764147087827371681
872 489710893549725342154843
873 490373174566036206095281
874 492032143281865481975611
875 505133345084092505405101
876 511963857917494346822641
877 512307393764057190412471
878 512651121687462814383727
879 518871167520487150903381
880 521655748683779216322397
881 522004695248621157069043
882 522353836306563231147451
883 531500055561729081009001
884 531854480806517835189007
885 534696979675890252090871
886 539701815280552611849793
887 555686179279795396072717
888 558265144859430625767151
889 562709433233061787338667
890 566435492758876999634377
891 567557311391111422262701
892 572063118813525693309817
893 573949315886327397266797
894 585759790959670088951197
895 588454508080758911976511
896 592709931764187433267891
897 596210687857947879566851
898 611182235649805337874637
899 611978809239466957145131
900 618784684184291646000337
901 620395198860298324685461
902 622009205102420874418681
903 632176227690600771378481
904 634636807879741616035171
905 642481361789042371962031
906 644143099836829508315443
907 649568505578775797531287
908 657143429183340075603901
909 657989612147542701767707
910 658836702919643306804593
911 663938355175493533508941
912 664364974601005638442147
913 668214839877935056556851
914 670361674748983219102381
915 677270211333906837153277
916 683800749021097838004967
917 692148016631271567912931
918 705052194895556551240471
919 707746897078573304867041
920 708647036094038049519967
921 727771537288618188521821
922 740291486238615627798217
923 742629575088203984195197
924 743566532040558883700443
925 771170093786693612460457
926 774073723903993286759707
927 774558546846964842428593
928 778933351983427196402617
929 782350196763820861411201
930 795150896500718662962751
931 796142751409940766042877
932 796639065361739406346093
933 801616401982034276169043
934 812153202948233631723421
935 819749940074830806265351
936 826381589947778468759737
937 828944099770367825932717
938 830484781562155184730721
939 833057887185410867099701
940 847590377508723197486593
941 851781102601720777119817
942 861273400235054020378711
943 880522613819022125302891
944 889192158964759523841787
945 912288796637826325572793
946 936451137329802441956197
947 937587817770657015950443
948 950167376838857357866141
949 955353937394440296302101
950 973986531033404676272437
951 989347596680712783032107
952 993517584567690920793931
953 996505106018747490609991
954 998900509873017898650043
955 1003104012772079324629531
956 1003705714707184041265987
957 1012161174329446499778421
958 1015803069089190276482407
959 1016411111877178818531277
960 1020065741580892122276343
961 1021897158795584596186117
962 1026794338935596169635341
963 1027407859185580017897571
964 1028635816177704018156097
965 1031711060541873787478677
966 1039122919592788690432081
967 1055961968594461107120397
968 1064782457434455187785631
969 1068581416381186240530817
970 1076851255059488504641501
971 1081326290297986105609237
972 1089033832999384306044193
973 1107196303727700565490077
974 1124286791152359804022747
975 1131583261933534196378593
976 1132914123031917852425311
977 1137582413412897715356367
978 1138250618700427237947943
979 1140926711623918625461147
980 1144279198878827976895477
981 1148986469162434429142071
982 1157093617527804687631027
983 1158449431986538851678793
984 1165930099088695150249621
985 1171395831512415841793917
986 1206042688981919420636467
987 1220846826291362849848543
988 1223683758722819182990867
989 1250909706994410126786781
990 1261066706836398390872791
991 1274961055882120110273043
992 1288982743853480880421057
993 1294180913481821364079081
994 1294924933148940321548041
995 1305378693828376324004611
996 1321191137818256056361101
997 1324221053610878580506161
998 1329537339576101490348067
999 1358708541189006579480301
1000 1372711493003986995471067