0 3
1 46
2 357
3 1908
4 7969
5 27846
6 84903
7 232336
8 582114
9 1355172
10 2964494
11 6147336
12 12168702
13 23125508
14 42389874
15 75240912
16 129747485
17 217979970
18 357647355
19 574277340
20 904081815
21 1397678490
22 2124871905
23 3180733920
24 4693265460
25 6832968168
26 9824707116
27 13962304272
28 19626367468
29 27305931624
30 37624568436
31 51371708128
32 69540012711
33 93369745014
34 124401192097
35 164536326084
36 216111020541
37 281979286862
38 365611153323
39 471205980144
40 603823187702
41 769532572620
42 975586598490
43 1230617275160
44 1544860483530
45 1930410862380
46 2401510650630
47 2974876173360
48 3670065973665
49 4509894925770
50 5520899018583
51 6733855873836
52 8184366459987
53 9913503882978
54 11968535578629
55 14403725699776
56 17281224985128
57 20672055917136
58 24657201523864
59 29328806755872
60 34791501974424
61 41163858722896
62 48579988620072
63 57191296913088
64 67168402960139
65 78703240679742
66 92011352805405
67 107334393623060
68 124942855744665
69 145139037386070
70 168260267571695
71 194682407683920
72 224823648812490
73 259148625439860
74 298172867123430
75 342467611006248
76 392664999205206
77 449463686391252
78 513634884190938
79 586028870403984
80 667581992448741
81 759324195917778
82 862387110650611
83 978012728311164
84 1107562707095247
85 1252528340889514
86 1414541231959401
87 1595384708060832
88 1797006026750428
89 2021529411612984
90 2271269967134532
91 2548748521025840
92 2856707444946180
93 3198127506792120
94 3576245810002460
95 3994574877689760
96 4456922941842735
97 4967415500353670
98 5530518207212505
99 6151061163875940
100 6834264682567413
101 7585766595093726
102 8411651183678067
103 9318479813308848
104 10313323348190814
105 11403796438060956
106 12598093763398578
107 13905028331918136
108 15334071922186914
109 16895397773758972
110 18599925626863854
111 20459369218435056
112 22486286345111017
113 24694131607792218
114 27097311956393679
115 29711245157594572
116 32552421312657675
117 35638467556772850
118 38988216075872525
119 42621775581475200
120 46560606388837200
121 50827599248535200
122 55447158086564400
123 60445286813121600
124 65849680365450800
125 71689820155463328
126 77997074098306896
127 84804801403650432
128 92148462317176083
129 100065733005628494
130 108596625784766421
131 117783614895695028
132 127671768041330961
133 138308883901168614
134 149745635849077047
135 162035722105564944
136 175236022562807986
137 189406762527741252
138 204611683635680958
139 220918222194257224
140 238397695224914862
141 257125494476874660
142 277181288696245570
143 298649234440940880
144 321618195740181165
145 346181972905665890
146 372439540809966315
147 400495296956337180
148 430459319672965895
149 462447636773678010
150 496582505036298993
151 532992700859237216
152 571813822466403972
153 613188604040325768
154 657267242173234524
155 704207735036045136
156 754176234675449628
157 807347412859875336
158 863904840905773764
159 924041383926629472
160 987959609958207159
161 1055872214424892566
162 1128002460423531537
163 1204584635312934148
164 1285864524109189869
165 1372099900199137902
166 1463561033896756795
167 1560531219379881840
168 1663307320557530310
169 1772200336431215980
170 1887535986526968330
171 2009655316988341080
172 2138915327934502010
173 2275689622701544140
174 2420369079599450070
175 2573362546831679408
176 2735097561239136561
177 2906021091545315562
178 3086600306794712903
179 3277323370692151404
180 3478700262566470851
181 3691263625698117378
182 3915569643766506261
183 4152198946189644864
184 4401757543145386872
185 4664877791080848624
186 4942219389533956296
187 5234470410108811872
188 5542348358464569288
189 5866601270195802864
190 6208008841500931192
191 6567383595554134080
192 6945572085515371035
193 7343456135132580190
194 7761954117909909645
195 8202022275835912020
196 8664656078686020745
197 9150891624934326390
198 9661807085330686335
199 10198524190220534480
200 10762209761706412698
201 11354077291772225556
202 11975388567513527702
203 12627455344639792488
204 13311641070437584134
205 14029362657406867316
206 14782092308806340778
207 15571359397367678736
208 16398752398462908789
209 17265920879033851122
210 18174577543617594339
211 19126500338827391676
212 20123534617674131007
213 21167595365139666378
214 22260669486439801209
215 23404818159441587232
216 24602179252726852140
217 25854969810821496280
218 27165488608138108020
219 28536118773207842160
220 29969330484806289460
221 31467683741607241560
222 33033831207027827820
223 34670521130958472480
224 36380600350101495615
225 38167017368672963238
226 40032825521253584201
227 41981186219606057892
228 44015372285308300773
229 46138771370084425214
230 48354889465748214531
231 50667354505707137328
232 53079920060008675886
233 55596469125944911164
234 58221018016265914722
235 60957720347087549304
236 63810871127614778706
237 66784910953837537692
238 69884430308392617918
239 73114173968821889904
240 76479045526494507897
241 79984112018498537850
242 83634608674845712575
243 87435943783371756300
244 91393703674753937275
245 95513657830107205650
246 99801764113660458525
247 104264174133055148800
248 108907238729849623200
249 113737513602854241600
250 118761765066964498528
251 123986975950202042496
252 129420351631716673632
253 135069326223546099008
254 140941568898974442144
255 147044990370375242496
256 153387749519469946403
257 159978260182978687086
258 166825198096686481989
259 173937508000994845172
260 181324410911076224769
261 188995411554796634886
262 196960305981620361927
263 205229189345759691408
264 213812463866882227074
265 222720846971738563812
266 231965379620123833710
267 241557434818637974920
268 251508726325761480030
269 261831317551815868740
270 272537630657431203090
271 283640455854196626640
272 295152960911224166205
273 307088700871410890370
274 319461627981239977435
275 332286101838017311068
276 345576899758496899191
277 359349227372905704922
278 373618729448436392193
279 388401500946335027424
280 403714098316769946836
281 419573551035727801128
282 435997373388243229836
283 453003576502329701264
284 470610680638040784972
285 488837727736153506984
286 507704294231028477716
287 527230504132265183712
288 547437042379835201223
289 568345168477441127094
290 589976730408914734977
291 612354178842534257220
292 635500581628207769565
293 659439638592537421710
294 684195696636847716555
295 709793765143330199280
296 736259531694526779030
297 763619378111444475660
298 791900396815665666490
299 821130407520889908120
300 851337974259416130858
301 882552422749147453036
302 914803858106775044262
303 948123182912872385328
304 982542115634706932929
305 1018093209412652604426
306 1054809871216163656503
307 1092726381375348446636
308 1131877913494260242739
309 1172300554752101689122
310 1214031326598619750949
311 1257108205850048949696
312 1301570146192042473672
313 1347457100096113305488
314 1394810041156190857464
315 1443670986851982751392
316 1494083021745916325880
317 1546090321120520207760
318 1599738175063192848840
319 1655073013005392310720
320 1712142428723369783595
321 1770995205807658355070
322 1831681343608618407165
323 1894252083665431719060
324 1958759936626027894905
325 2025258709665519125398
326 2093803534410812534031
327 2164450895379163459152
328 2237258658938527986538
329 2312286102797668879284
330 2389593946034065757766
331 2469244379667777967528
332 2551301097789507042486
333 2635829329251205030164
334 2722895869927675200122
335 2812569115557712811664
336 2904919095173435677701
337 3000017505126557233682
338 3097937743720458709203
339 3198754946457021810684
340 3302546021907289061807
341 3409389688215125619690
342 3519366510243163994505
343 3632558937370421653920
344 3749051341951090996860
345 3868930058444111639160
346 3992283423223246372260
347 4119201815077494540720
348 4249777696411789940580
349 4384105655158044674040
350 4522282447406715712188
351 4664407040769187222176
352 4810580658481379013967
353 4960906824259109760198
354 5115491407915862946489
355 5274442671753723824356
356 5437871317738376970453
357 5605890535469176409886
358 5778616050955423643539
359 5956166176210113335472
360 6138661859672531872254
361 6326226737471220507356
362 6518987185538942356242
363 6717072372591421117368
364 6920614313981749066754
365 7129747926442492614972
366 7344611083727655531150
367 7565344673166792834800
368 7792092653143702338825
369 8025002111512255901850
370 8264223324962068620975
371 8509909819346841473100
372 8762218430988351300075
373 9021309368969201536050
374 9287346278427587700525
375 9560496304867473433728
376 9840930159497715738096
377 10128822185613822116832
378 10424350426036167473808
379 10727696691618644964544
380 11039046630841872471696
381 11358589800505225026528
382 11686519737532113316336
383 12023034031903079412864
384 12368334400731433034547
385 12722626763496305022094
386 13086121318448149268661
387 13459032620201880108852
388 13841579658532989141233
389 14233985938392143643174
390 14636479561153928140887
391 15049293307115551327760
392 15472664719261502386770
393 15906836188310303874180
394 16352055039059672668190
395 16808573618046566084040
396 17276649382538757112590
397 17756544990874750858980
398 18248528394169023647970
399 18752872929399736929360
400 19269857413896250066893
401 19799766241243929333666
402 20342889478623924972747
403 20899522965605764019868
404 21469968414410783732199
405 22054533511664608929786
406 22653532021657056340753
407 23267283891128030154336
408 23896115355598155433764
409 24540359047263079830472
410 25200354104470559178684
411 25876446282799629041616
412 26568988067761352134012
413 27278338789140820767048
414 28004864737000284057444
415 28748939279363461619552
416 29510942981601298823895
417 30291263727539613464790
418 31090296842309279839985
419 31908445216959793813380
420 32746119434857261414605
421 33603737899888053933230
422 34481726966489574297435
423 35380521071529782793840
424 36300562868057334893670
425 37242303360944390107308
426 38206202044444358401386
427 39192727041687059786712
428 40202355246133983228378
429 41235572465016543048204
430 42292873564780444491126
431 43374762618559485118128
432 44481753055702335175761
433 45614367813376058083114
434 46773139490270351678247
435 47958610502426711884524
436 49171333241216942999971
437 50411870233495662886722
438 51680794303951676949813
439 52978688739683321952064
440 54306147457023109421592
441 55663775170637228677680
442 57052187564925701336360
443 58472011467749212566240
444 59923885026508879354920
445 61408457886605452623920
446 62926391372304688202520
447 64478358670035861445440
448 66065045014150641663035
449 67687147875169785532830
450 69345377150545353284973
451 71040455357966397708756
452 72773117831236323919977
453 74544112918750367366838
454 76354202184601888742559
455 78204160612346437323216
456 80094776811452788766778
457 82026853226470419601236
458 84001206348943138503414
459 86018666932098854032872
460 88080080208345719744614
461 90186306109605160567476
462 92338219490512549009482
463 94536710354516566144528
464 96782684082908550453909
465 99077061666813407448882
466 101420779942173924594115
467 103814791827760609393980
468 106260066566239443601695
469 108757589968330223372810
470 111308364660088433816985
471 113913410333343886812960
472 116573763999329633148620
473 119290480245534944038680
474 122064631495816442864340
475 124897308273801755579888
476 127789619469620337648276
477 130742692609996426608792
478 133757674131739362452748
479 136835729658666812895264
480 139978044281996737390431
481 143185822844244222351078
482 146460290226659620510761
483 149802691640244729712164
484 153214292920384050630597
485 156696380825128469051454
486 160250263337169016324131
487 163877269969538671519792
488 167578752075080480634318
489 171356083159720581908604
490 175210659199585041993922
491 179143898961999725278200
492 183157244330412738217650
493 187252160633279311995100
494 191430136976949310259550
495 195692686582597874098800
496 200041347127240043766425
497 204477681088870526033850
498 209003276095770107375775
499 213619745280020546530700
500 218328727635270115315803
501 223131888378792293924946
502 228030919317880466308157
503 233027539220621802628608
504 238123494191093859226944
505 243320558049027772000896
506 248620532713982266638528
507 254025248594073058734336
508 259536564979302568476864
509 265156370439535228332672
510 270886583227164017972544
511 276729151684514218599936
512 282686054656030738857027
513 288759301905295726608558
514 294950934536923545146149
515 301263025423380558724212
516 307697679636777540841185
517 314257034885682889324870
518 320943261957005205076455
519 327758565162994166282640
520 334705182793409007027490
521 341785387572904288533540
522 349001487123683032743630
523 356355824433467671629320
524 363850778328839651486910
525 371488763953998919566468
526 379272233254994910681266
527 387203675469481043973072
528 395285617622045134771293
529 403520625025168523489474
530 411911301785867122759611
531 420460291318067985521628
532 429170276860775400570711
533 438043982002080928127514
534 447084171209072196344097
535 456293650363695690300384
536 465675267304629177990516
537 475231912375219833054312
538 484966518977544531584748
539 494882064132649220246544
540 504981569047024675182252
541 515268099685376395769320
542 525744767349746804233140
543 536414729265048351425760
544 547281189171066560756455
545 558347397920992476317430
546 569616654086544417694305
547 581092304569739382795460
548 592777745221374881285565
549 604676421466282424875470
550 616791828935414346811883
551 629127514104826071434736
552 641687074941616405636662
553 654474161556888877476428
554 667492476865797603075354
555 680745777254741621271576
556 694237873255772096330378
557 707972630228277252318636
558 721953969048010368556614
559 736185866803526633869872
560 750672357500095128186849
561 765417532771152673372746
562 780425542597366771066647
563 795700596033375323705388
564 811246961942271315883539
565 827068969737901116723042
566 843171010135045550017605
567 859557535907553367584960
568 876233062654497252513640
569 893202169574422972839120
570 910469500247762802636120
571 928039763427484826578720
572 945917733838050245706840
573 964108252982751306455760
574 982616229959502981963880
575 1001446642285162044282048
576 1020604536728447678374731
577 1040095030151538303738302
578 1059923310360419787074013
579 1080094636964060749752084
580 1100614342242491196798041
581 1121487832023861219832278
582 1142720586570557054808111
583 1164318161474452306531664
584 1186286188561372685818122
585 1208630376804853141752564
586 1231356513249266810889126
587 1254470463942405747349032
588 1277978174877593942675478
589 1301885672945413691980884
590 1326199066895126913389082
591 1350924548305873581041040
592 1376068392567729988007205
593 1401636959872710114341970
594 1427636696215793937235635
595 1454074134406067084776060
596 1480955895088056802235535
597 1508288687773349770057770
598 1536079311882577885844905
599 1564334657797858698644640
600 1593061707925777762722588
601 1622267537771000759784376
602 1651959317020603823295492
603 1682144310639211086144048
604 1712829879975029063412164
605 1744023483876868075475256
606 1775732679822241513044828
607 1807965125056634345119136
608 1840728577744032873117039
609 1874030898128808339753222
610 1907880049709047609477529
611 1942284100421424748557156
612 1977251223837707947137717
613 2012789700372996842887518
614 2048907918505785926118579
615 2085614376009950329597872
616 2122917681198750932622750
617 2160826554180956338345500
618 2199349828129179915803250
619 2238496450560530733651000
620 2278275484629677851217250
621 2318696110434428074213500
622 2359767626333917927240750
623 2401499450279521243158000
624 2443901121158574420419625
625 2486982300151022053660378
626 2530752772099086300118671
627 2575222446890064004950732
628 2620401360852356272110283
629 2666299678164835834260594
630 2712927692279658245158221
631 2760295827358623591110528
632 2808414639723196094472336
633 2857294819318289661720864
634 2906947191189928111442672
635 2957382716976889503591744
636 3008612496416444680644336
637 3060647768864300823793952
638 3113499914828861523109008
639 3167180457519915559626624
640 3221701064411867299688787
641 3277073548821622307452110
642 3333309871501242490429845
643 3390422142245485805164980
644 3448422621514346265696465
645 3507323722070710716377190
646 3567138010633249552842615
647 3627878209544659300523280
648 3689557198455375689053170
649 3752188016022876593259460
650 3815783861626694947137918
651 3880358097099262476332616
652 3945924248472705837159022
653 4012496007741717496146468
654 4080087234642624433439874
655 4148711958448778506201936
656 4218384379782393064406253
657 4289118872442951171119586
658 4360929985252311542548139
659 4433832443916639089778972
660 4507841152905287714293959
661 4582971197346763782980666
662 4659237844941899485522737
663 4736656547894366057732448
664 4815242944858657638600644
665 4895012862905677316594952
666 4975982319506057712046620
667 5058167524531349237340240
668 5141584882273209975069660
669 5226250993480731916358280
670 5312182657416039107173380
671 5399396873928294059702880
672 5487910845546249598719735
673 5577741979589484129344790
674 5668907890298459132744145
675 5761426400983538520072708
676 5855315546193110302412461
677 5950593573900951865562862
678 6047278947712980973332603
679 6145390349093535461467504
680 6244946679611325426539526
681 6345967063205202560027628
682 6448470848469892127453386
683 6552477610961833945803864
684 6658007155525279569592122
685 6765079518638793756782924
686 6873714970782309150458646
687 6983934018824883980529072
688 7095757408433313462009713
689 7209206126501746442417514
690 7324301403602459730671367
691 7441064716457943423548780
692 7559517790434451433250435
693 7679682602057172310972290
694 7801581381547176356591445
695 7925236615380295903648320
696 8050671048868096571764920
697 8177907688761098185488240
698 8306969805874404969300360
699 8437880937735905543203680
700 8570664891257204161882248
701 8705345745427445562969456
702 8841947854030196716429752
703 8980495848383549697498688
704 9121014640103610840032859
705 9263529423891542265510366
706 9408065680344322825304653
707 9554649178789396440241236
708 9703305980143376771849289
709 9854062439794978114149622
710 10006945210512343353288639
711 10161981245374940804845776
712 10319197800730202705221082
713 10478622439175079104161428
714 10640283032562681880219734
715 10804207765034194579773032
716 10970425136076224763163590
717 11138963963603776528584180
718 11309853387069021875515370
719 11483122870596050564850960
720 11658802206141779132328885
721 11836921516683200715530610
722 12017511259431158362533795
723 12200602229070825502312380
724 12386225561029078273186815
725 12574412734768945426046538
726 12765195577111322543708601
727 12958606265584138346652192
728 13154677331799161888490348
729 13353441664856640481919064
730 13554932514777959237531956
731 13759183495966514143817328
732 13966228590696991666875636
733 14176102152633248902920664
734 14388838910374989375468972
735 14604473971033430632291104
736 14823042823836160864706431
737 15044581343761382843663142
738 15269125795201744543267593
739 15496712835657956903024804
740 15727379519462400265036197
741 15961163301532922111783550
742 16198102041157029823921475
743 16438234005806683275716400
744 16681597874983893188419950
745 16928232744097332268960700
746 17178178128370167272892450
747 17431473966779321246561400
748 17688160626026376323960850
749 17948278904540328578742300
750 18211870036512407561358078
751 18478975695963174285334896
752 18749638000842112565232057
753 19023899517159929751934458
754 19301803263153784058581119
755 19583392713485656822646796
756 19868711803474089206489403
757 20157804933359504000061586
758 20450716972603334355472989
759 20747493264221182453692672
760 21048179629150232278910944
761 21352822370651141855948736
762 21661468278744641490622752
763 21974164634683065742158208
764 22290959215457048050600224
765 22611900298337608140722112
766 22937036665453863527176160
767 23266417608406597653592320
768 23600092932917918411014755
769 23938112963517241998487790
770 24280528548263838310773765
771 24627391063506175265117940
772 24978752418678300710682305
773 25334665061133501800763270
774 25695181981015482949200135
775 26060356716167304738484368
776 26430243357078327398006466
777 26804896551869403726639972
778 27184371511316567594473518
779 27568724013913465423974024
780 27958010410972779321209886
781 28352287631766891802994628
782 28751613188708043345941586
783 29156045182568235268461264
784 29565642307739131746697597
785 29980463857532216060300034
786 30400569729519457463777691
787 30826020430914746383992412
788 31256877083996356954132023
789 31693201431570697209275994
790 32135055842477608588435777
791 32582503317137477712733920
792 33035607493140424739192340
793 33494432650877833924443560
794 33959043719216493372571980
795 34429506281215612286248080
796 34905886579886985390349580
797 35388251523998575552382760
798 35876668693921786984237140
799 36371206347522702775140320
800 36871933426097561876139783
801 37378919560352752032037686
802 37892235076429596537455937
803 38411951001974214079625028
804 38938139072252732321584029
805 39470871736312137275763726
806 40010222163187041919413003
807 40556264248152658910033136
808 41109072619024263670918614
809 41668722642503435534079372
810 42235290430571366050250874
811 42808852846929525003398296
812 43389487513487976100102122
813 43977272816901635742487788
814 44572287915154769736944614
815 45174612744194024239782192
816 45784328024610288695208705
817 46401515268369689980598410
818 47026256785594018438957815
819 47658635691390887948815020
820 48298735912733933657457395
821 48946642195393352484542370
822 49602440110917092989617765
823 50266216063663002689024960
824 50938057297882242405033480
825 51618051904854278732882448
826 52306288830073767219696056
827 53002857880489640363009952
828 53707849731796716055906488
829 54421355935780143630522384
830 55143468927713006181975816
831 55874282033807399390574528
832 56613889478719308601525611
833 57362386393107607468284414
834 58119868821247503018167997
835 58886433728698753556930964
836 59662179010028987392671801
837 60447203496592451928719382
838 61241606964364524250055503
839 62045490141832315908373584
840 62858954717941706197069482
841 63682103350101139799321140
842 64515039672242526289953030
843 65357868302939580575012520
844 66210694853583944961921910
845 67073625936619435167725460
846 67946769173834754193338810
847 68830233204715019617842320
848 69724127694852451498753605
849 70628563344416569701881490
850 71543651896684251127817363
851 72469506146629998951374076
852 73406239949576777645350767
853 74353968229907769220897898
854 75312806989839407783494089
855 76282873318256051176138656
856 77264285399606650159824828
857 78257162522863777265702136
858 79261625090545379143576164
859 80277794627799617927543472
860 81305793791553168841632804
861 82345746379723342976334456
862 83397777340494405880861692
863 84462012781658464335915168
864 85538579980021295397627279
865 86627607390873493535262022
866 87729224657527313423151225
867 88843562620919587691273700
868 89970753329281100688843925
869 91110930047872801071285150
870 92264227268789237783032275
871 93430780720829605776756400
872 94610727379436789583839550
873 95804205476704794631268700
874 97011354511454957986576850
875 98232315259381332005049528
876 99467229783265636152151746
877 100716241443262174079027132
878 101979494907253114839991758
879 103257136161274538958204144
880 104549312520013651869154121
881 105856172637377569101290778
882 107177866517134079389017711
883 108514545523624793755436364
884 109866362392551090450629547
885 111233471241833267485961394
886 112616027582543316365841261
887 114014188329911732485671552
888 115428111814408779538287408
889 116857957792900627151113824
890 118303887459880782862527312
891 119766063458777241438528960
892 121244649893335776429827920
893 122739812339079800774813280
894 124251717854847225165672240
895 125780534994404744813107840
896 127326433818139987169734515
897 128889585904831955103298830
898 130470164363500201948400245
899 132068343845333176809387060
900 133684300555696180437590193
901 135318212266219373963046566
902 136970258326966284724369047
903 138640619678683255410455568
904 140329478865130284704310674
905 142037020045493709602392836
906 143763429006881181572614878
907 145508893176899390710427336
908 147273601636314994055320014
909 149057745131799206239599972
910 150861516088756512657459234
911 152685108624237967365147216
912 154528718559939539952525837
913 156392543435285977662424098
914 158276782520600651077038219
915 160181636830361853740157852
916 162107309136546028140253095
917 164054003982058392542445690
918 166021927694251445227125585
919 168011288398531824769475680
920 170022296032056007077447780
921 172055162357515321995806280
922 174110100977010774380737660
923 176187327346018156653228240
924 178287058787443941949954620
925 180409514505772449107825608
926 182554915601304772842576036
927 184723485084489974612956512
928 186915447890349031800103703
929 189131030892992044976628054
930 191370462920229205191834801
931 193633974768276025358314628
932 195921799216553341990917261
933 198234171042582595721869614
934 200571327036976901195534747
935 202933506018528419133043824
936 205320948849392545550785446
937 207733898450369435317520172
938 210172599816283379442717738
939 212637300031460557703605464
940 215128248285305690440383642
941 217645695887978115578122380
942 220189896286167819170019510
943 222761105078971949999985840
944 225359580033872351032947345
945 227985581102814642758828970
946 230639370438389395740926695
947 233321212410115931951298540
948 236031373620829296754926435
949 238770122923170945690734530
950 241537731436183692491110773
951 244334472562011467082382656
952 247160622002704434616760152
953 250016457777130028901594288
954 252902260237990455914423784
955 255818312088947225422210016
956 258764898401853271060407528
957 261742306634093221572098736
958 264750826646032388259352664
959 267790750718575036058263872
960 270862373570832508015804539
961 273965992377901775320695326
962 277101906788754987421984557
963 280270418944240599157935828
964 283471833495196654214176809
965 286706457620676806633872182
966 289974601046289664513966815
967 293276576062652042440316880
968 296612697543956711640802170
969 299983282966655239269307860
970 303388652428256510674793910
971 306829128666241530958550760
972 310305037077095104579186470
973 313816705735454994228918580
974 317364465413379162676369290
975 320948649599731703750300688
976 324569594519688071125593301
977 328227639154360216067281842
978 331923125260542247790632323
979 335656397390577232605090364
980 339427802912345750527467231
981 343237692029376830574973578
982 347086417801081888481676761
983 350974336163112293122661664
984 354901805947841190478632972
985 358869188904970216529924504
986 362876849722261733032894356
987 366925156046397222703498992
988 371014478503962482912470868
989 375145190722560259583988504
990 379317669352050965585040972
991 383532294085922130495866400
992 387789447682787231262902175
993 392089515988014555854638950
994 396432887955486754667637225
995 400819955669491737064760100
996 405251114366745573070414725
997 409726762458548062898293950
998 414247301553071639645784675
999 418813136477784273155876400
1000 423424675302007045722078478