0 1
1 12
2 50
3 120
4 230
5 374
6 510
7 716
8 986
9 1230
10 1538
11 1880
12 2238
13 2612
14 3062
15 3504
16 3998
17 4556
18 5058
19 5732
20 6338
21 6942
22 7658
23 8408
24 9102
25 9854
26 10814
27 11556
28 12476
29 13460
30 14316
31 15296
32 16316
33 17400
34 18416
35 19586
36 20706
37 21914
38 23162
39 24252
40 25646
41 26942
42 28176
43 29618
44 31100
45 32436
46 33890
47 35576
48 36906
49 38462
50 40220
51 41730
52 43388
53 45104
54 46890
55 48608
56 50444
57 52224
58 54068
59 56054
60 57738
61 59894
62 61886
63 63774
64 66002
65 68114
66 70074
67 72104
68 74636
69 76572
70 78806
71 81332
72 83472
73 85904
74 88214
75 90696
76 92990
77 95588
78 98046
79 100568
80 103286
81 105588
82 108590
83 111164
84 113664
85 116516
86 119426
87 122028
88 124712
89 128036
90 130566
91 133598
92 136766
93 139542
94 142550
95 145610
96 148806
97 151742
98 155084
99 158220
100 161540
101 164852
102 167730
103 171380
104 174728
105 177870
106 181448
107 185078
108 188322
109 191780
110 195758
111 198888
112 202472
113 206498
114 209904
115 213590
116 217358
117 221268
118 225002
119 228902
120 232686
121 236558
122 240704
123 244200
124 248600
125 252632
126 256416
127 260864
128 265064
129 268932
130 272882
131 277778
132 281502
133 285776
134 290570
135 294618
136 299162
137 303428
138 308034
139 312248
140 317006
141 321480
142 326030
143 330908
144 334998
145 340328
146 344870
147 349278
148 354278
149 359336
150 363834
151 368438
152 374138
153 378480
154 383624
155 388964
156 393636
157 398672
158 403796
159 409116
160 413972
161 419462
162 424602
163 430046
164 435434
165 440112
166 446006
167 451394
168 456444
169 462158
170 467948
171 473100
172 478562
173 484832
174 489750
175 495362
176 501656
177 506970
178 512696
179 518504
180 524526
181 530264
182 536240
183 542052
184 547952
185 554246
186 559530
187 566174
188 572270
189 577962
190 584630
191 590894
192 596658
193 602540
194 609812
195 615336
196 621638
197 628688
198 634644
199 641300
200 647534
201 654264
202 660398
203 667316
204 673794
205 680372
206 687410
207 693300
208 700970
209 707468
210 713772
211 720908
212 728126
213 734544
214 741068
215 749132
216 755262
217 762518
218 770054
219 776634
220 783698
221 790862
222 798294
223 805082
224 812732
225 819888
226 827444
227 834896
228 841374
229 849512
230 856952
231 863910
232 871760
233 879710
234 886758
235 894224
236 902786
237 909504
238 917156
239 925706
240 932916
241 940670
242 948530
243 956688
244 964430
245 972470
246 980286
247 988214
248 996680
249 1003764
250 1012652
251 1020788
252 1028376
253 1037276
254 1045616
255 1053288
256 1061090
257 1070726
258 1078050
259 1086380
260 1095698
261 1103562
262 1112330
263 1120532
264 1129374
265 1137428
266 1146506
267 1155000
268 1163618
269 1172804
270 1180482
271 1190480
272 1198946
273 1207170
274 1216442
275 1225808
276 1234122
277 1242566
278 1253018
279 1260948
280 1270316
281 1280024
282 1288500
283 1297604
284 1306820
285 1316376
286 1325084
287 1334882
288 1344054
289 1353722
290 1363250
291 1371528
292 1381910
293 1391402
294 1400256
295 1410242
296 1420352
297 1429308
298 1438790
299 1449632
300 1458138
301 1467818
302 1478636
303 1487766
304 1497548
305 1507448
306 1517718
307 1527464
308 1537592
309 1547424
310 1557380
311 1567994
312 1576866
313 1588010
314 1598198
315 1607694
316 1618814
317 1629218
318 1638798
319 1648520
320 1660532
321 1669656
322 1680014
323 1691600
324 1701360
325 1712240
326 1722410
327 1733376
328 1743362
329 1754588
330 1765086
331 1775732
332 1787078
333 1796568
334 1808894
335 1819316
336 1829436
337 1840844
338 1852382
339 1862604
340 1872968
341 1885784
342 1895502
343 1906994
344 1918886
345 1929270
346 1940402
347 1951658
348 1963338
349 1973966
350 1985924
351 1997112
352 2008892
353 2020496
354 2030562
355 2043188
356 2054732
357 2065494
358 2077628
359 2089886
360 2100738
361 2112224
362 2125358
363 2135676
364 2147384
365 2160458
366 2171484
367 2183294
368 2195258
369 2207652
370 2219402
371 2231594
372 2243430
373 2255426
374 2268200
375 2278872
376 2292260
377 2304488
378 2315892
379 2329232
380 2341712
381 2353200
382 2364842
383 2379230
384 2390142
385 2402528
386 2416382
387 2428050
388 2441054
389 2453180
390 2466258
391 2478164
392 2491550
393 2504076
394 2516750
395 2530244
396 2541522
397 2556176
398 2568578
399 2580606
400 2594150
401 2607836
402 2619954
403 2632250
404 2647442
405 2658960
406 2672564
407 2686628
408 2698920
409 2712080
410 2725388
411 2739192
412 2751740
413 2765858
414 2779050
415 2792942
416 2806622
417 2818488
418 2833370
419 2846954
420 2859612
421 2873882
422 2888300
423 2901072
424 2914562
425 2929976
426 2942082
427 2955818
428 2971172
429 2984106
430 2997944
431 3011948
432 3026454
433 3040220
434 3054488
435 3068340
436 3082364
437 3097286
438 3109758
439 3125390
440 3139670
441 3152982
442 3168542
443 3183098
444 3196482
445 3210044
446 3226808
447 3239520
448 3253946
449 3270056
450 3283620
451 3298736
452 3312830
453 3328044
454 3341870
455 3357404
456 3371934
457 3386636
458 3402302
459 3415380
460 3432362
461 3446720
462 3460644
463 3476336
464 3492182
465 3506208
466 3520424
467 3537980
468 3551298
469 3567014
470 3583262
471 3597462
472 3612650
473 3628010
474 3643926
475 3658394
476 3674672
477 3689880
478 3705896
479 3721640
480 3735294
481 3752420
482 3768056
483 3782634
484 3799040
485 3815606
486 3830274
487 3845768
488 3863486
489 3877392
490 3893156
491 3910766
492 3925596
493 3941474
494 3957530
495 3974160
496 3989930
497 4006262
498 4022130
499 4038182
500 4055264
501 4069536
502 4087412
503 4103744
504 4118952
505 4136732
506 4153364
507 4168656
508 4184150
509 4203278
510 4217778
511 4234232
512 4252610
513 4268094
514 4285322
515 4301372
516 4318698
517 4334444
518 4352150
519 4368696
520 4385426
521 4403240
522 4418106
523 4437428
524 4453754
525 4469586
526 4487414
527 4505408
528 4521342
529 4537478
530 4557410
531 4572528
532 4590356
533 4608788
534 4624884
535 4642100
536 4659512
537 4677552
538 4693952
539 4712378
540 4729590
541 4747718
542 4765538
543 4781004
544 4800374
545 4818050
546 4834524
547 4853066
548 4871804
549 4888380
550 4905878
551 4925876
552 4941570
553 4959374
554 4979252
555 4995990
556 5013896
557 5031992
558 5050746
559 5068520
560 5086928
561 5104812
562 5122892
563 5142134
564 5158194
565 5178314
566 5196698
567 5213814
568 5233826
569 5252522
570 5269710
571 5287124
572 5308628
573 5324940
574 5343422
575 5364056
576 5381436
577 5400776
578 5418806
579 5438256
580 5455922
581 5475776
582 5494326
583 5513096
584 5533070
585 5549736
586 5571386
587 5589668
588 5607408
589 5627372
590 5647526
591 5665368
592 5683424
593 5705732
594 5722638
595 5742578
596 5763194
597 5781198
598 5800454
599 5819906
600 5840058
601 5858378
602 5878964
603 5898204
604 5918444
605 5938328
606 5955582
607 5977196
608 5996936
609 6015318
610 6035996
611 6056882
612 6075354
613 6094868
614 6117158
615 6134652
616 6154484
617 6176618
618 6195264
619 6215198
620 6235346
621 6256224
622 6276002
623 6296486
624 6316374
625 6336482
626 6357884
627 6375744
628 6398120
629 6418544
630 6437556
631 6459788
632 6480560
633 6499668
634 6519002
635 6542870
636 6560970
637 6581480
638 6604394
639 6623682
640 6645134
641 6665120
642 6686682
643 6706280
644 6728294
645 6748860
646 6769658
647 6791780
648 6810246
649 6834224
650 6854474
651 6874122
652 6896222
653 6918536
654 6938274
655 6958250
656 6982934
657 7001640
658 7023704
659 7046492
660 7066392
661 7087676
662 7109180
663 7131468
664 7151708
665 7174442
666 7195686
667 7218038
668 7240010
669 7259064
670 7282922
671 7304702
672 7324980
673 7347806
674 7370852
675 7391232
676 7412750
677 7437320
678 7456614
679 7478474
680 7502876
681 7523430
682 7545392
683 7567592
684 7590582
685 7612364
686 7634924
687 7656828
688 7678976
689 7702526
690 7722174
691 7746794
692 7769270
693 7790202
694 7814654
695 7837490
696 7858494
697 7879748
698 7906004
699 7925904
700 7948442
701 7973612
702 7994796
703 8018372
704 8040326
705 8064012
706 8085530
707 8109692
708 8132274
709 8155100
710 8179382
711 8199648
712 8225954
713 8248172
714 8269716
715 8293952
716 8318426
717 8340072
718 8361980
719 8389028
720 8409522
721 8433698
722 8458670
723 8480490
724 8503802
725 8527346
726 8551746
727 8573906
728 8598812
729 8622072
730 8646536
731 8670572
732 8691414
733 8717528
734 8741360
735 8763546
736 8788508
737 8813702
738 8835990
739 8859512
740 8886374
741 8907468
742 8931356
743 8958026
744 8980476
745 9004466
746 9028718
747 9053832
748 9077630
749 9102254
750 9126162
751 9150338
752 9176048
753 9197508
754 9224372
755 9248888
756 9271716
757 9298388
758 9323312
759 9346224
760 9369398
761 9398018
762 9419706
763 9444284
764 9471722
765 9494814
766 9520502
767 9544412
768 9570222
769 9593660
770 9619982
771 9644580
772 9669434
773 9695876
774 9717930
775 9746564
776 9770750
777 9794202
778 9820586
779 9847208
780 9870750
781 9894578
782 9924002
783 9946308
784 9972596
785 9999740
786 10023456
787 10048796
788 10074404
789 10100928
790 10125008
791 10152062
792 10177326
793 10203914
794 10230026
795 10252668
796 10281026
797 10306898
798 10330992
799 10358090
800 10385444
801 10409640
802 10435166
803 10464320
804 10487202
805 10513118
806 10542056
807 10566414
808 10592444
809 10618736
810 10645962
811 10671764
812 10698464
813 10724400
814 10750604
815 10778462
816 10801710
817 10830818
818 10857398
819 10882134
820 10911026
821 10938014
822 10962822
823 10987928
824 11018924
825 11042412
826 11069018
827 11098712
828 11123712
829 11151512
830 11177390
831 11205324
832 11230682
833 11259164
834 11285766
835 11312648
836 11341250
837 11365104
838 11396078
839 11422220
840 11447568
841 11476088
842 11504870
843 11530332
844 11556080
845 11587868
846 11611962
847 11640362
848 11669702
849 11695326
850 11722694
851 11750342
852 11778978
853 11804990
854 11834204
855 11861484
856 11890184
857 11918360
858 11942802
859 11973404
860 12001328
861 12027330
862 12056564
863 12086078
864 12112170
865 12139700
866 12171146
867 12195828
868 12223784
869 12254978
870 12281232
871 12309290
872 12337634
873 12366996
874 12394802
875 12423566
876 12451506
877 12479738
878 12509768
879 12534816
880 12566168
881 12594788
882 12621420
883 12652544
884 12681608
885 12708324
886 12735350
887 12768710
888 12793998
889 12822632
890 12854594
891 12881502
892 12911414
893 12939260
894 12969306
895 12996584
896 13027226
897 13055844
898 13084766
899 13115516
900 13141158
901 13174460
902 13202570
903 13229838
904 13260494
905 13291424
906 13318782
907 13346450
908 13380626
909 13406520
910 13437032
911 13468544
912 13496064
913 13525472
914 13555172
915 13585932
916 13613864
917 13645226
918 13674522
919 13705334
920 13735586
921 13761828
922 13794674
923 13824650
924 13852548
925 13883918
926 13915592
927 13943592
928 13973138
929 14006864
930 14033334
931 14063318
932 14096780
933 14124954
934 14155040
935 14185424
936 14216898
937 14246708
938 14277560
939 14307516
940 14337776
941 14369954
942 14396790
943 14430398
944 14461070
945 14489610
946 14522954
947 14554082
948 14582706
949 14611652
950 14647388
951 14674476
952 14705138
953 14739368
954 14768172
955 14800196
956 14830010
957 14862180
958 14891390
959 14924180
960 14954802
961 14985752
962 15018662
963 15046116
964 15081746
965 15111812
966 15140976
967 15173768
968 15206870
969 15236136
970 15265724
971 15302264
972 15329946
973 15362582
974 15396278
975 15425706
976 15457142
977 15488882
978 15521766
979 15551618
980 15585140
981 15616452
982 15649376
983 15681704
984 15709734
985 15744824
986 15776852
987 15806658
988 15840176
989 15873998
990 15903894
991 15935444
992 15971462
993 15999744
994 16031756
995 16067474
996 16097544
997 16129658
998 16162106
999 16195704
1000 16227518