# Computed by Robert Israel, March 22 2021
# using Maple 2021.0, X86 64 WINDOWS, Jan 24 2021, Build ID 1515702
1 3
2 6
3 18
4 42
5 82
6 271
7 284
8 369
9 445
10 682
11 1069
12 1193
13 1900
14 2241
15 3894
16 6137
17 7108
18 8164
19 9658
20 10126
21 12645
22 14842
23 14936
24 17913
25 18420
26 19480
27 23893
28 24605
29 28959
30 32913
31 36279
32 40847
33 43936
34 44559
35 45500
36 46932
37 48740
38 51892
39 53747
40 55481
41 56360
42 73200
43 81083
44 83142
45 86345
46 87410
47 90908
48 111359
49 115274
50 123932
51 126484
52 135554
53 141987
54 171871
55 183521
56 188098
57 189974
58 199331
59 200921
60 205745
61 207027
62 218363
63 231789
64 233495
65 240651
66 243779
67 252447
68 254549
69 261696
70 263164
71 264964
72 265348
73 275882
74 281427
75 316143
76 325586
77 337577
78 339613
79 354404
80 383435
81 396783
82 418828
83 420626
84 427340
85 429607
86 436898
87 464628
88 466981
89 468897
90 502916
91 519585
92 537020
93 545047
94 552145
95 559811
96 564940
97 591490
98 599397
99 602042
100 614781
101 630906
102 689473
103 711733
104 715142
105 726697
106 735378
107 746476
108 758207
109 758797
110 779641
111 818423
112 821457
113 825126
114 906127
115 906754
116 944991
117 955479
118 958781
119 968644
120 988614
121 1008768
122 1029126
123 1035238
124 1049657
125 1094151
126 1097668
127 1098374
128 1108144
129 1161710
130 1187817
131 1223749
132 1231887
133 1261744
134 1272295
135 1283566
136 1284319
137 1368728
138 1383636
139 1466992
140 1471799
141 1483927
142 1495239
143 1524674
144 1565095
145 1602537
146 1624486
147 1727376
148 1743960
149 1766696
150 1774642
151 1787861
152 1828641
153 1855596
154 1863778
155 1895501
156 1977944
157 2005890
158 2015258
159 2025514
160 2082208
161 2100111
162 2128679
163 2177899
164 2319574
165 2340730
166 2349777
167 2376022
168 2431974
169 2446288
170 2483411
171 2487442
172 2518500
173 2540319
174 2587432
175 2628537
176 2681734
177 2746463
178 2789894
179 2795327
180 2796427
181 2828200
182 2845734
183 2884333
184 2917568
185 3040159
186 3057201
187 3080027
188 3086842
189 3155795
190 3184778
191 3306338
192 3341867
193 3349123
194 3414829
195 3431602
196 3523410
197 3558783
198 3695670
199 3738038
200 3751860
201 3775796
202 3794692
203 3915337
204 3935885
205 3980903
206 4044294
207 4083256
208 4110819
209 4117301
210 4201578
211 4208240
212 4236030
213 4276021
214 4301355
215 4308021
216 4336205
217 4388612
218 4417085
219 4430624
220 4504068
221 4512293
222 4551975
223 4593217
224 4761685
225 4781385
226 5095087
227 5160612
228 5255652
229 5388686
230 5493447
231 5500932
232 5532496
233 5592920
234 5652259
235 5691809
236 5774459
237 5843788
238 5969655
239 5975908
240 6030820
241 6054392
242 6079535
243 6260492
244 6332556
245 6350204
246 6463165
247 6487584
248 6511846
249 6657390
250 6708349
251 6815877
252 7048796
253 7186448
254 7349346
255 7390621
256 7583461
257 7722162
258 7874461
259 7908405
260 8035500
261 8134859
262 8189076
263 8296547
264 8417263
265 8535120
266 8562745
267 8618445
268 8711597
269 8767779
270 8938928
271 9005244
272 9041433
273 9062229
274 9069792
275 9320779
276 9369043
277 9396157
278 9444606
279 9466013
280 9600695
281 9777313
282 9789292
283 9807037
284 9916070
285 9967742
286 10065521
287 10087518
288 10107477
289 10268260
290 10367454
291 10438591
292 10489448
293 10563090
294 10603924
295 10622327
296 10747761
297 10776692
298 10820259
299 10828509
300 10963083
301 10994302
302 11100954
303 11321921
304 11457663
305 11714138
306 11802280
307 12071131
308 12082059
309 12127757
310 12579599
311 12699957
312 12724551
313 12733512
314 12800554
315 12982586
316 13163994
317 13184497
318 13309595
319 13460825
320 13561867
321 13688898
322 13841955
323 13979652
324 14049741
325 14098938
326 14155295
327 14275560
328 14381896
329 14512570
330 14832441
331 15073981
332 15429547
333 15524898
334 15549467
335 15638132
336 15749179
337 15786256
338 15823395
339 16044723
340 16082272
341 16097195
342 16159751
343 16219756
344 16257527
345 16348029
346 16423581
347 16522008
348 16865383
349 16931996
350 17108927
351 17173265
352 17227177
353 17340877
354 17418511
355 17668449
356 17694644
357 17770481
358 17851503
359 18046301
360 18085828
361 18128044
362 18167677
363 18231157
364 18247198
365 18420092
366 18470640
367 18861985
368 18983356
369 19129577
370 19172932
371 19295181
372 19333061
373 19431461
374 19664510
375 19689230
376 19867948
377 19895608
378 19912206
379 20159212
380 20287526
381 20301464
382 20497384
383 20511376
384 20581388
385 20662680
386 20959213
387 21004390
388 21231754
389 21644036
390 21715922
391 21816640
392 21877359
393 21975676
394 22164472
395 22181950
396 22295470
397 22382902
398 22456044
399 22561508
400 22737882
401 22826268
402 23225857
403 23464508
404 23491496
405 23536401
406 23581280
407 23674132
408 23836466
409 23896614
410 23990098
411 24335604
412 24533628
413 24564137
414 24625275
415 24701825
416 24812201
417 25196862
418 25410891
419 25504033
420 25662829
421 25675248
422 25881451
423 25972342
424 26227070
425 26523454
426 26713678
427 26968170
428 27000051
429 27256220
430 27355876
431 27642363
432 27937160
433 28161730
434 28197620
435 28246577
436 28472078
437 28475297
438 28619408
439 28688321
440 28816865
441 28866479
442 29048375
443 29147484
444 29432922
445 29596242
446 29696382
447 29766610
448 29816816
449 29917199
450 30018034
451 30744108
452 30860018
453 31307583
454 31493107
455 31682409
456 31875600
457 31910048
458 32031348
459 32135316
460 32166563
461 32239232
462 32448021
463 32482888
464 32671505
465 32934349
466 33268598
467 33342822
468 33356902
469 33515719
470 34034637
471 34123786
472 34388727
473 34693807
474 34895395
475 34964201
476 34985776
477 35036335
478 35057987
479 35090452
480 35343954
481 35365759
482 35602347
483 35744624
484 35803224
485 35836226
486 36426708
487 36551924
488 36570362
489 36758835
490 36925438
491 37107038
492 37707465
493 37763546
494 37819812
495 37857199
496 38138984
497 38512527
498 38553993
499 38667438
500 38701604
501 38876032
502 38932891
503 38951884
504 39443692
505 39596717
506 39677516
507 40483324
508 40797624
509 40953172
510 41124774
511 41476865
512 41598395
513 41987812
514 42188815
515 42540882
516 42600276
517 42663752
518 42723302
519 43041889
520 43381496
521 43521642
522 43681942
523 43883111
524 44160707
525 44201145
526 44221317
527 44342774
528 44427649
529 44464162
530 44748001
531 45501820
532 45563248
533 45813365
534 45936575
535 45973481
536 46060026
537 46080638
538 46142141
539 46158616
540 46307279
541 46390030
542 46452028
543 46593087
544 46841981
545 46866863
546 46991589
547 47299635
548 47805169
549 48056719
550 48435716
551 48583313
552 48710170
553 48790660
554 49282859
555 49389407
556 49427834
557 49576799
558 49640747
559 49832657
560 50132518
561 50261361
562 50476128
563 50695876
564 51036739
565 51188202
566 51318234
567 51387627
568 51583158
569 51709407
570 51800671
571 52079757
572 52167030
573 52236891
574 52298198
575 52521440
576 53246902
577 53529557
578 53861605
579 53954866
580 54150708
581 54262039
582 54422458
583 54529268
584 54730245
585 54864639
586 55317700
587 55655330
588 55695764
589 56242725
590 56487297
591 56509844
592 56741796
593 56759885
594 56919007
595 57855046
596 58043534
597 58366122
598 58781670
599 58804933
600 59194123
601 59268449
602 59291580
603 59896279
604 60059611
605 60171888
606 60804600
607 61091607
608 61256640
609 61440902
610 61610973
611 61728905
612 62055883
613 62155490
614 62369380
615 62822194
616 63085216
617 63128084
618 63540036
619 63588147
620 63900916
621 64455354
622 64740712
623 64818410
624 64862155
625 64987910
626 65176956
627 65225398
628 65424894
629 65571056
630 65663928
631 66671248
632 66941913
633 67454736
634 67528891
635 67558646
636 67632591
637 67830712
638 67905208
639 68172994
640 68500896
641 69143568
642 69423419
643 69473351
644 69844707
645 69849665
646 69950198
647 70801259
648 70907626
649 71160607
650 71312612
651 71586767
652 72120821
653 72274015
654 72304754
655 72432252
656 72611149
657 72739134
658 72764745
659 72969656
660 73200466
661 73426372
662 73787038
663 73941611
664 74127744
665 74282818
666 74484971
667 74593715
668 74795835
669 75107501
670 75445265
671 75450466
672 75476557
673 75601606
674 76233988
675 76312434
676 76653047
677 76700285
678 76968403
679 77806086
680 78049533
681 78574607
682 79005269
683 79212869
684 79271689
685 79351671
686 80577608
687 80927444
688 80981314
689 81256699
690 81283551
691 81499622
692 82441643
693 82523101
694 82719003
695 82746277
696 83400562
697 83449835
698 83613978
699 83833045
700 83860461
701 84524405
702 84551899
703 84904139
704 85235499
705 85268451
706 85351163
707 85599753
708 86009327
709 86259031
710 86458823
711 86731578
712 87093646
713 87177370
714 87378504
715 87797741
716 87881720
717 87937959
718 88218267
719 89112904
720 89254010
721 89282303
722 89316234
723 89796229
724 90385519
725 90726502
726 91158978
727 91415531
728 91587075
729 92101411
730 92130140
731 92646323
732 93048816
733 93509827
734 93856449
735 94203240
736 94550716
737 94811658
738 94864062
739 95125860
740 95445823
741 95743176
742 96298540
743 96497404
744 96620487
745 96913700
746 97090037
747 98564364
748 98794998
749 99269588
750 99417953
751 99447757
752 99596039
753 99750791
754 99810359
755 100519607
756 100734858
757 100788712
758 101153295
759 101656986
760 101927390
761 102445087
762 102499211
763 102897460
764 103230114
765 103320915
766 103684684
767 103805851
768 104284860
769 104406229
770 104594472
771 105228805
772 105656228
773 105931755
774 105999176
775 106207572
776 107443247
777 107621816
778 107843667
779 108053886
780 108183863
781 108276249
782 109672802
783 109853460
784 110040693
785 110421347
786 110452736
787 110828154
788 110853257
789 110890918
790 110922258
791 112618357
792 112927802
793 112965713
794 113249448
795 113496143
796 113565611
797 113622442
798 113723804
799 114161305
800 114389692
801 114955538
802 115344135
803 115535459
804 115567474
805 115592868
806 115624843
807 116398617
808 116680259
809 117007349
810 117103681
811 117129270
812 117322075
813 117457044
814 117489292
815 118553020
816 118902338
817 119939191
818 120173350
819 120362293
820 120596894
821 120720591
822 121869720
823 121993946
824 122125367
825 122289256
826 122328555
827 122361330
828 122387634
829 123742984
830 124734501
831 125191686
832 125390838
833 125496929
834 125988856
835 126155073
836 126394609
837 127228431
838 128702248
839 129064961
840 129239964
841 130075902
842 130251863
843 130278874
844 130962462
845 131471102
846 131640757
847 132286160
848 132415438
849 132967312
850 133206227
851 133821575
852 133848989
853 134157410
854 134301426
855 135469553
856 135641818
857 136981585
858 137230723
859 137501000
860 137709225
861 137820318
862 137987152
863 138063415
864 138230390
865 138300064
866 139421543
867 139630749
868 140120492
869 140218333
870 140785647
871 140855821
872 141277039
873 141523000
874 142227089
875 142685011
876 143179439
877 143809290
878 143851883
879 144064769
880 144128515
881 144518203
882 144553709
883 144560826
884 144766627
885 144915783
886 145236115
887 145264557
888 146012753
889 146198287
890 146520007
891 146548678
892 148204808
893 148305376
894 148420437
895 148700902
896 150512428
897 150621023
898 150794914
899 150802059
900 151230011
901 151709440
902 152102265
903 152175107
904 152976495
905 153377877
906 153524070
907 154146259
908 154849617
909 155392858
910 156497609
911 156571381
912 157235698
913 157390854
914 157538942
915 157760799
916 158502291
917 158650536
918 158836058
919 159319757
920 159349667
921 159386781
922 160392439
923 160616588
924 160728397
925 161700802
926 161857956
927 161895343
928 162570897
929 162864068
930 163315087
931 163616429
932 163993705
933 164333108
934 164340658
935 165771207
936 165930512
937 166043921
938 166537607
939 166993644
940 168213848
941 168320682
942 169775059
943 170273728
944 170396619
945 170811664
946 171242568
947 171311959
948 171358119
949 171665915
950 172584096
951 172816445
952 173164858
953 173676390
954 175573485
955 175845726
956 176321743
957 176790239
958 176907427
959 177212836
960 177252149
961 177330541
962 178201182
963 178358363
964 178389744
965 178475940
966 179065277
967 179096746
968 179136261
969 179687225
970 181036820
971 182145471
972 182693242
973 182978829
974 183177352
975 183415856
976 184005251
977 184483669
978 184683401
979 185210436
980 185322244
981 186050771
982 187253863
983 187366198
984 187374293
985 188380714
986 189017530
987 189106324
988 189987173
989 190270365
990 190594105
991 190958994
992 191567537
993 192348004
994 192510967
995 193366495
996 196348035
997 196635759
998 196841587
999 196882730
1000 198869867