0 0
1 0
2 1
3 2
4 4
5 6
6 10
7 14
8 21
9 29
10 41
11 55
12 76
13 100
14 134
15 175
16 230
17 296
18 384
19 489
20 626
21 791
22 1001
23 1254
24 1574
25 1957
26 2435
27 3009
28 3717
29 4564
30 5603
31 6841
32 8348
33 10142
34 12309
35 14882
36 17976
37 21636
38 26014
39 31184
40 37337
41 44582
42 53173
43 63260
44 75174
45 89133
46 105557
47 124753
48 147272
49 173524
50 204225
51 239942
52 281588
53 329930
54 386154
55 451275
56 526822
57 614153
58 715219
59 831819
60 966466
61 1121504
62 1300155
63 1505498
64 1741629
65 2012557
66 2323519
67 2679688
68 3087734
69 3554344
70 4087967
71 4697204
72 5392782
73 6185688
74 7089499
75 8118263
76 9289090
77 10619862
78 12132163
79 13848649
80 15796475
81 18004326
82 20506254
83 23338468
84 26543659
85 30167356
86 34262961
87 38887672
88 44108108
89 49995924
90 56634172
91 64112358
92 72533806
93 82010176
94 92669719
95 104651418
96 118114303
97 133230929
98 150198135
99 169229874
100 190569291
101 214481125
102 241265378
103 271248949
104 304801364
105 342325708
106 384276335
107 431149388
108 483502843
109 541946239
110 607163745
111 679903202
112 761002155
113 851376627
114 952050664
115 1064144450
116 1188908247
117 1327710075
118 1482074142
119 1653668664
120 1844349559
121 2056148050
122 2291320911
123 2552338240
124 2841940499
125 3163127351
126 3519222691
127 3913864294
128 4351078599
129 4835271869
130 5371315399
131 5964539503
132 6620830888
133 7346629511
134 8149040694
135 9035836075
136 10015581679
137 11097645015
138 12292341830
139 13610949894
140 15065878134
141 16670689207
142 18440293319
143 20390982756
144 22540654444
145 24908858008
146 27517052598
147 30388671977
148 33549419496
149 37027355199
150 40853235312
151 45060624581
152 49686288420
153 54770336323
154 60356673279
155 66493182096
156 73232243758
157 80630964768
158 88751778801
159 97662728554
160 107438159465
161 118159068426
162 129913904636
163 142798995929
164 156919475294
165 172389800254
166 189334822578
167 207890420101
168 228204732750
169 250438925114
170 274768617129
171 301384802047
172 330495499612
173 362326859894
174 397125074749
175 435157697829
176 476715857289
177 522115831194
178 571701605654
179 625846753119
180 684957390935
181 749474411780
182 819876908322
183 896684817526
184 980462880429
185 1071823774336
186 1171432692372
187 1280011042267
188 1398341745570
189 1527273599624
190 1667727404092
191 1820701100651
192 1987276856362
193 2168627105468
194 2366022741844
195 2580840212972
196 2814570987590
197 3068829878529
198 3345365983697
199 3646072432124
200 3972999029387
201 4328363658646
202 4714566886082
203 5134205287972
204 5590088317494
205 6085253859259
206 6622987708039
207 7206841706489
208 7840656226136
209 8528581302374
210 9275102575354
211 10085065885766
212 10963707205258
213 11916681236277
214 12950095925894
215 14070545699286
216 15285151248480
217 16601598107913
218 18028182516670
219 19573856161144
220 21248279009366
221 23061871173848
222 25025873760110
223 27152408925614
224 29454549941749
225 31946390696156
226 34643126322518
227 37561133582569
228 40718063627361
229 44132934884254
230 47826239745919
231 51820051838711
232 56138148670946
233 60806135438328
234 65851585970274
235 71304185514918
236 77195892663511
237 83561103925870
238 90436839668816
239 97862933703584
240 105882246722732
241 114540884553037
242 123888443077258
243 133978259344887
244 144867692496444
245 156618412527945
246 169296722391553
247 182973889854025
248 197726516681671
249 213636919820624
250 230793554364680
251 249291451168558
252 269232701252578
253 290726957916111
254 313891991306664
255 338854264248679
256 365749566870781
257 394723676655356
258 425933084409355
259 459545750448674
260 495741934760845
261 534715062908608
262 576672674947167
263 621837416509614
264 670448123060169
265 722760953690371
266 779050629562166
267 839611730366813
268 904760108316359
269 974834369944624
270 1050197489931116
271 1131238503938605
272 1218374349844332
273 1312051800816214
274 1412749565173449
275 1520980492851174
276 1637293969337170
277 1762278433057268
278 1896564103591583
279 2040825852575074
280 2195786311682515
281 2362219145337710
282 2540952590045697
283 2732873183547534
284 2938929793929554
285 3160137867148996
286 3397584011986772
287 3652430836071052
288 3925922161489421
289 4219388528587094
290 4534253126900885
291 4872038056472083
292 5234371069753671
293 5622992691950604
294 6039763882095514
295 6486674127079087
296 6965850144195830
297 7479565078510583
298 8030248384943039
299 8620496275465024
300 9253082936723601
301 9930972392403500
302 10657331232548838
303 11435542077822103
304 12269218019229464
305 13162217895057703
306 14118662665280004
307 15142952738857193
308 16239786535829662
309 17414180133147294
310 18671488299600363
311 20017426762576944
312 21458096037352890
313 23000006655487336
314 24650106150830489
315 26415807633566325
316 28305020340996002
317 30326181989842963
318 32488293351466653
319 34800954869440829
320 37274405776748076
321 39919565526999990
322 42748078035954695
323 45772358543578027
324 49005643635237874
325 52462044228828640
326 56156602112874288
327 60105349839666543
328 64325374609114549
329 68834885946073849
330 73653287861850338
331 78801255302666614
332 84300815636225118
333 90175434980549622
334 96450110192202759
335 103151466321735324
336 110307860425292771
337 117949491546113971
338 126108517833796354
339 134819180623301519
340 144117936527873831
341 154043597379576029
342 164637479165761043
343 175943559810422752
344 188008647052292979
345 200882556287683158
346 214618299743286298
347 229272286871217149
348 244904537455382405
349 261578907351144124
350 279363328483702151
351 298330063062758075
352 318555973788329083
353 340122810048577427
354 363117512048110004
355 387632532919029222
356 413766180933342361
357 441622981929358436
358 471314064268398779
359 502957566506000019
360 536679070310691120
361 572612058898037558
362 610898403751884100
363 651688879997206958
364 695143713458946039
365 741433159884081683
366 790738119649411318
367 843250788562528426
368 899175348396088348
369 958728697912338044
370 1022141228367345361
371 1089657644424399781
372 1161537834849962849
373 1238057794119125084
374 1319510599727473499
375 1406207446561484053
376 1498478743590581080
377 1596675274490756790
378 1701169427975813524
379 1812356499739472949
380 1930656072350465811
381 2056513475336633804
382 2190401332423765130
383 2332821198543892335
384 2484305294265418179
385 2645418340688763700
386 2816759503217942791
387 2998964447736452193
388 3192707518433532825
389 3398704041358160274
390 3617712763867604422
391 3850538434667429185
392 4098034535626594790
393 4361106170762284113
394 4640713124699623514
395 4937873096788191654
396 5253665124416975162
397 5589233202595404487
398 5945790114707874596
399 6324621482504294324
400 6727090051741041925
401 7154640222653942320
402 7608802843339879268
403 8091200276484465580
404 8603551759348655059
405 9147679068859117601
406 9725512513742021728
407 10339097267123947240
408 10990600063775926993
409 11682316277192317779
410 12416677403151190381
411 13196258966925435701
412 14023788883518847343
413 14902156290309948967
414 15834420884488187769
415 16823822787139235543
416 17873792969689876003
417 18987964267331664556
418 20170183018805933658
419 21424521360255636319
420 22755290216580025258
421 24167053021441363960
422 25664640213837714845
423 27253164546230421738
424 28938037257084798149
425 30724985147095051098
426 32620068617410232188
427 34629700713903575933
428 36760667241831527308
429 39020148000237259664
430 41415739207102358377
431 43955477170518116533
432 46647863284229267990
433 49501890409405150714
434 52527070729108240604
435 55733465144636286655
436 59131714309169618644
437 62733071376043079214
438 66549436566966297366
439 70593393646562135509
440 74878248419470886232
441 79418069346443402239
442 84227730407729499780
443 89322956321353645666
444 94720370257893471819
445 100437544171752847603
446 106493051905239118580
447 112906525199196103353
448 119698712782720205953
449 126891542690981417999
450 134508188001572923839
451 142573136155347404228
452 151112262071917313677
453 160152905244553715584
454 169723951046458040964
455 179855916453958267597
456 190581040442651931033
457 201933379285114688628
458 213948907032733069131
459 226665621435831345564
460 240123655613925192080
461 254365395758574199974
462 269435605212954994470
463 285381555241961986286
464 302253162872576636604
465 320103136152993290543
466 338987127249525432548
467 358963893768162876612
468 380095468763120598476
469 402447339861711475159
470 426088638015652413416
471 451092336355096099863
472 477535459708164115592
473 505499305314204629557
474 535069675351607262124
475 566337121865805599674
476 599397204782301852925
477 634350763653787028582
478 671304203896731807231
479 710369798236628238004
480 751666004194993125590
481 795317798414758232179
482 841457028742823649454
483 890222784951928088293
484 941761789114997698054
485 996228806608573411011
486 1053787078862455346512
487 1114608778936426484247
488 1178875491155735802645
489 1246778716001272919664
490 1318520401612270233222
491 1394313503224447816938
492 1474382572040363953131
493 1558964374994977806172
494 1648308547066172438759
495 1742678277747760981186
496 1842351033503159891465
497 1947619317987658064006
498 2058791472042884901562
499 2176192515439287461624
500 2300165032574323995026
501 2431070104309287327875
502 2569288288377098289280
503 2715220650772245313219
504 2869289850802400662044
505 3031941282464413132741
506 3203644275096202070011
507 3384893356244349844340
508 3576209579998154653670
509 3778141924035171537109
510 3991268758958164118299
511 4216199393504640098481
512 4453575699570940947377
513 4704073821002175842061
514 4968405970488126319774
515 5247322318923878793975
516 5541612982013113936132
517 5852110108921301661039
518 6179690078238084807999
519 6525275806549652788114
520 6889839175409542385647
521 7274403582551733377345
522 7680046623716094332552
523 8107902911527474124145
524 8559167038437716736149
525 9035096690829005915200
526 9537015921990240021537
527 10066318591787500106585
528 10624471981512075020730
529 11213020592521695111579
530 11833590138006300416409
531 12487891737367521803651
532 13177726323474524612307
533 13904989273245567335011
534 14671675272840783232474
535 15479883428970761068958
536 16331822638729701493802
537 17229817230617210720598
538 18176312890390861435033
539 19173882885687454484109
540 20225234604409151266220
541 21333216422211708570597
542 22500824915577356165492
543 23731212437346370138354
544 25027695072821279146419
545 26393760995005382968153
546 27833079238879849385686
547 29349508915133986374840
548 30947108885217475101875
549 32630147920163234060899
550 34403115367205050943159
551 36270732348871285128751
552 38237963520943177237553
553 40310029416409244587121
554 42492419404397720872599
555 44790905293907018009130
556 47211555614160398040337
557 49760750604354432757375
558 52445197947746313627406
559 55271949286085137715954
560 58248417552751868050006
561 61382395164161775318495
562 64682073111542943380453
563 68156060996536236172173
564 71813408056839596203569
565 75663625229609055443636
566 79716708303343130521598
567 83983162210640880002320
568 88474026517495817981252
569 93200902166643654187579
570 98175979536033971312387
571 103412067875563710992445
572 108922626189067392956036
573 114721795630860408658490
574 120824433490320564237124
575 127246148840551966562300
576 134003339931725153597472
577 141113233412529912746557
578 148593925468119890197614
579 156464424966082817448059
580 164744698707340387584239
581 173455718882380096095247
582 182619512839056823919886
583 192259215272078129526276
584 202399122950629095580174
585 213064752104884207160128
586 224282898599046831034630
587 236081701023305130945920
588 248490706844586261413857
589 261540941761240642265709
590 275264982414934173206641
591 289697032618827122974971
592 304873003269975366031782
593 320830596120295386610806
594 337609391590065169560934
595 355250940815002702558186
596 373798862128436852709429
597 393298942187883251157043
598 413799241966727832978026
599 435350207840317348269999
600 458004788008144308553621
601 481818554503286362923738
602 506849831053734861481871
603 533159827070679866278986
604 560812778053476538349419
605 589876092712502332463863
606 620420507127059714307351
607 652520246268116112057163
608 686253193233019826880476
609 721701066553229757379479
610 758949605954969709105720
611 798088766967999186006766
612 839212924798226411060794
613 882421087896683264554174
614 927817121679723721849794
615 975509982873756796925503
616 1025613964982134990453293
617 1078248955392080004474788
618 1133540704665979618906661
619 1191621108583631746910144
620 1252628503530795506440908
621 1316707975853817969920560
622 1384011685831426958558878
623 1454699206941558115141675
624 1528937881135168275063374
625 1606903190858354689128370
626 1688779148601189609516728
627 1774758704783877366657988
628 1865044174831202682776535
629 1959847686321528964669494
630 2059391647140527228529478
631 2163909235608484556362423
632 2273644913597837330081135
633 2388854963699932382735981
634 2509808051552031608082534
635 2636785814481962651219074
636 2770083477684418110395120
637 2910010499193691843303013
638 3056891244979232231862473
639 3211065695545980277248739
640 3372890185488482409685018
641 3542738177508596708707873
642 3721001072479541451508396
643 3908089057205582486668933
644 4104431991606013700457109
645 4310480337124871462076947
646 4526706128254173781044297
647 4753603989138067267826944
648 4991692197319220372390543
649 5241513796775816319683699
650 5503637762499727151307094
651 5778660218961559003723579
652 6067205714919484306343540
653 6369928557132709817142928
654 6687514205661440172553649
655 7020680733548749464953876
656 7370180353811425547662138
657 7736801016790889035132283
658 8121368081058512888507056
659 8524746061205131302394949
660 8947840456000332817673696
661 9391599660555044587641516
662 9857016966290401433259591
663 10345132652677367520056675
664 10857036174895938656583294
665 11393868451739000294452938
666 11956824258286445517629484
667 12547154728067493595502054
668 13166169969647255482980382
669 13815241802783448943206159
670 14495806619536377005379417
671 15209368375944215483241987
672 15957501720133631304230772
673 16741855262985451980947170
674 17564154997755650263621499
675 18426207875324210441995135
676 19329905542049511423199335
677 20277228247502764885900783
678 21270248929688765106878024
679 22311137485682880566295779
680 23402165235974892374954301
681 24545709591163085124246500
682 25744258930034131533263391
683 27000417698448800353553864
684 28316911738879831363625419
685 29696593860867277871605320
686 31142449663120060247020394
687 32657603618448918933404657
688 34245325433219728719773419
689 35909036693513349075724694
690 37652317810725762600765182
691 39478915279883795756623330
692 41392749264546866860893415
693 43397921522754943172592794
694 45498723689129703063649449
695 47699645928878027716139268
696 50005385980149860746062162
697 52420858601901549459658529
698 54951205445179608281719071
699 57601805366500810491218999
700 60378285202834474611028658
701 63286531028521032840985509
702 66332699915362724119980693
703 69523232218023552371152319
704 72864864407855341219969824
705 76364642479247406973532353
706 80029935953661656574123573
707 83868452507581852374822597
708 87888253251761884175130182
709 92097768690318501305952844
710 96505815389469697877049933
711 101121613386982294887579669
712 105954804374756131323439196
713 111015470688345108146850289
714 116314155138696524440183804
715 121861881722882938654960141
716 127670177252209281782740520
717 133751093937700984130081284
718 140117232974725477106760251
719 146781769170263852819573504
720 153758476658245881594406592
721 161061755750279477635534761
722 168706660971164630122439116
723 176708930330666271859881566
724 185085015885255746880625874
725 193852115645795752984189380
726 203028206889569986197651314
727 212632080937520072186590491
728 222683379460186024851577400
729 233202632378520643600875144
730 244211297428606706709925516
731 255731801462210865865001524
732 267787583558210323920375876
733 280403140023083872114273883
734 293604071362025285843562669
735 307417131305664218954016426
736 321870277981032622582593572
737 336992727319136467572139094
738 352815008795455957133215651
739 369369023603738655757458074
740 386688105367749941220651374
741 404807083500032850651734058
742 423762349321394151918928480
743 443591925059596733749014861
744 464335535850798483634138279
745 486034684872448271784326295
746 508732731741838107613602754
747 532474974320122372524707630
748 557308734067567635805394637
749 583283445101886813536239874
750 610450747117966916191771808
751 638864582333908382360557375
752 668581296635294279311393899
753 699659745096778286894322786
754 732161402067670820574405229
755 766150476015982127183457372
756 801694029333610862568750950
757 838862103313805798709299372
758 877727848520950325159242657
759 918367660781873199488134934
760 960861323037560814483873079
761 1005292153304074193879898919
762 1051747159001957690209588886
763 1100317197924192833923669752
764 1151097146124113726578727359
765 1204186073016375022219516991
766 1259687423996378387111229149
767 1317709210896221493178043551
768 1378364210608578997366598384
769 1441770172223648126550509164
770 1508050033038752490738311725
771 1577332143815074048889599021
772 1649750503671651735806603893
773 1725445005022910006140645611
774 1804561688982956164492944649
775 1887253011677361609828822379
776 1973678121921532286407949999
777 2064003150743712843868729635
778 2158401513250589964731360492
779 2257054223353982965849642004
780 2360150221898687182164777965
781 2467886718753771981901721669
782 2580469549453004933593920861
783 2698113546994164480174756372
784 2821042929432312216467202069
785 2949491703928193388274450291
786 3083704087940340693022764502
787 3223934948277725160271634797
788 3370450258759473520427114108
789 3523527577258789108163787099
790 3683456542940343404363084599
791 3850539394533563994343413786
792 4025091510519029370421431032
793 4207441972141088280734057869
794 4397934150197476827913759849
795 4596926316595586652827474185
796 4804792281705797515062559742
797 5021922058584382849328869241
798 5248722555182613689484387821
799 5485618295704258477069984049
800 5733052172321422504456911978
801 5991486228508002426815719536
802 6261402475301701333080509486
803 6543303741858946450905285537
804 6837714561722963378455094384
805 7145182096283051986707103604
806 7466277096963606051213804495
807 7801594907743960700949000442
808 8151756509675604512522473566
809 8517409609130970421571757564
810 8899229771588828461969917961
811 9297921602834531195851268717
812 9714219979529959777862768264
813 10148891331187245215547993863
814 10602734975663191221223594154
815 11076584510377034355391142063
816 11571309261543787320061392678
817 12087815793808125625662163706
818 12627049482760689878061744700
819 13189996152918959195978870029
820 13777683783859651786576215681
821 14391184287298069419105856948
822 15031615358023124634594092723
823 15700142401714084441377203062
824 16397980542787591098996821749
825 17126396715550358417594267020
826 17886711842065410771034749978
827 18680303100276877491522988119
828 19508606286081561360311437673
829 20373118273183778133458320224
830 21275399574724765449983360002
831 22217077010838260632179411312
832 23199846486451169343993151121
833 24225475883821531494697782921
834 25295808074486832813101046424
835 26412764055483014097178757688
836 27578346214889968804237171485
837 28794641731961759722351371982
838 30063826117310982372086476079
839 31388166898835484452139885749
840 32770027459303858556350798599
841 34211871031752548278772284452
842 35716264859093977687647313414
843 37285884524590579748861394569
844 38923518460115987806848673269
845 40632072639400673752129300323
846 42414575463747094337180792098
847 44274182847997609942310578597
848 46214183514849300594196193731
849 48238004505931946889525420999
850 50349216918401212177548479674
851 52551541876147039010384562986
852 54848856745079917639394818822
853 57245201602333536237114022804
854 59744785969613964515539259104
855 62351995821331449988466091711
856 65071400878573831543609957266
857 67907762200418949875852866530
858 70866040084540107092698343095
859 73951402289532005957331751319
860 77169232591877674590168543276
861 80525139690988018278755885204
862 84024966476277979232856334448
863 87674799670795146675673859586
864 91480979866491345649258758094
865 95450111966823518214883921609
866 99589076052990565170686659416
867 103905038690755971019484297575
868 108405464695475636367939373594
869 113098129373644577851404473534
870 117991131259998859170817958838
871 123092905369958432777075796051
872 128412236987976529870072690274
873 133958276013169939669531019315
874 139740551884446204479331410999
875 145768989108216487062234772850
876 152053923412691097170490155922
877 158606118553696417431847045995
878 165436783797931931934295220336
879 172557592110602218633091543839
880 179980699075416049556058362839
881 187718762576041099642814429719
882 195784963269243383580949581160
883 204193025881123335512830178820
884 212957241359090878236182734444
885 222092489913497780851227603385
886 231614264984172822820073009256
887 241538698168481624527315178360
888 251882585148964518765460484673
889 262663412660090356154504995094
890 273899386535208029575034561336
891 285609460876378579895067651922
892 297813368391435715163322531330
893 310531651944349233813920512828
894 323785697366761254448562966674
895 337597767580427105501057917305
896 351991038082228660789452118409
897 366989633845435601723754690834
898 382618667692977386826261193198
899 398904280200653395819254517899
900 415873681190459054784114365429
901 433555192876539531087229255476
902 451978294728708525214023001724
903 471173670120985588372050797998
904 491173254835220446432862090799
905 512010287492584845146484412307
906 533719361988531136324395159454
907 556336482009740068071399064007
908 579899117714618242279047917299
909 604446264662056374189988834754
910 630018505076433611630379753806
911 656658071540248718776792346784
912 684408913209287275550344075012
913 713316764648893234122621625750
914 743429217393715213042975617564
915 774795794337240928934816284898
916 807468027061529837515792402674
917 841499536221802614337232047467
918 876946115104959930393838357570
919 913865816485680423486405066749
920 952319042908502961911588247807
921 992368640529229737341624411923
922 1034079996654109332431762911841
923 1077521141120571341397403386531
924 1122762851668802145076610697774
925 1169878763459173895733432737527
926 1218945482896482311379736998402
927 1270042705928112564209840426895
928 1323253340989653981276400185805
929 1378663636778122744608506419569
930 1436363315039845896899358328032
931 1496445708567209282036578487802
932 1559007904605896258842021462473
933 1624150893881942976244820893254
934 1691979725465930503404211099659
935 1762603667699924360130192603236
936 1836136375421380008668856717531
937 1912696063727159213943851080854
938 1992405688530070149968413761595
939 2075393134169954709485716047154
940 2161791408351324312330912522446
941 2251738844689892053427982289843
942 2345379313161090374436414551557
943 2442862438754801545567295092896
944 2544343828652090726779455860434
945 2649985308251720770267133439310
946 2759955166386673475403099789408
947 2874428410083806869907819978391
948 2993587029233173241168779714731
949 3117620271547411926979127053249
950 3246724928206047105940972859505
951 3381105630594468612010288127862
952 3520975158562887897616477410545
953 3666554760646647127956344306189
954 3818074486705953843294627812034
955 3975773533460423034845675035418
956 4139900603411771887815710365914
957 4310714277666637214536144927328
958 4488483403190813123215639907301
959 4673487495046245204241629451109
960 4866017154182911354694265206412
961 5066374501379277964399166419562
962 5274873627947390097986152243704
963 5491841063841846500452896053581
964 5717616263835974099255567733749
965 5952552112453464578853008309793
966 6197015448369619941842104648893
967 6451387609023188709970129910796
968 6716064996207615136996693074301
969 6991459663439386169435859778909
970 7277999925931103886207676505428
971 7576130994027952290703815097176
972 7886315630998429231248733036418
973 8209034836103596418058528755337
974 8544788553903729460741526714749
975 8894096410797147287955714755081
976 9257498479823236816318777820415
977 9635556074800288403768986034252
978 10028852574908795418824727341745
979 10437994280872373856676062879734
980 10863611303931504965592652844877
981 11306358488849924787366667765406
982 11766916372239763961801564990015
983 12245992177539511607834487453051
984 12744320848028628464246059627689
985 13262666119314202551196742822007
986 13801821632778520931079437719551
987 14362612091531863067120268402227
988 14945894460472306341153073892016
989 15552559212113915719970799358899
990 16183531619906475296861224625026
991 16839773100833956878604913215476
992 17522282609145324707635966077021
993 18232098083140097717852712346114
994 18970297947002453464660671155989
995 19738002669751617842096992232435
996 20536376383452971700767593594020
997 21366628562913781584556907794728
998 22230015769169865076825741905554
999 23127843459154899464880444632249
1000 24061467864032622473692149727990