r=1, n=15, 4787 codewords.

C = {2 4 5 7 24 28 30 31 40 41 42 47 49 50 51 52 53 54 74 75 76 77 78 80 81 85 86 87 97 99 102 103 120 123 124 125 129 136 174 385 388 390 391 410 411 413 415 425 426 427 429 432 433 434 438 439 456 457 461 462 463 466 467 468 469 470 480 482 483 484 504 505 507 511 544 560 641 642 646 647 665 666 667 668 669 670 683 684 685 687 688 689 692 695 712 713 715 718 720 722 724 725 738 739 740 741 742 760 761 765 766 767 769 770 771 773 792 793 794 798 799 808 809 812 814 815 818 819 820 821 823 840 842 843 844 845 848 849 851 854 865 869 870 871 890 891 892 894 1121 1147 1163 1164 1165 1166 1168 1169 1173 1174 1175 1184 1187 1190 1191 1208 1210 1211 1212 1213 1218 1219 1220 1221 1223 1240 1241 1244 1247 1256 1257 1258 1262 1263 1265 1266 1268 1269 1288 1290 1293 1294 1298 1299 1300 1301 1302 1312 1314 1315 1316 1336 1337 1339 1342 1343 1344 1345 1348 1350 1351 1370 1371 1372 1373 1375 1385 1386 1387 1388 1389 1392 1393 1394 1399 1544 1545 1547 1550 1551 1552 1554 1556 1557 1569 1570 1571 1572 1573 1574 1593 1594 1597 1598 1599 1600 1602 1606 1607 1625 1628 1629 1643 1644 1645 1647 1648 1649 1652 1654 1655 1747 1928 1930 1931 1936 1937 1939 1942 1943 1952 1953 1957 1958 1959 1978 1979 1980 1981 1982 1985 1986 1987 1988 1989 2008 2010 2014 2015 2024 2025 2028 2030 2031 2035 2036 2037 2039 2050 2057 2123 2184 2185 2186 2189 2190 2194 2195 2196 2197 2198 2208 2210 2211 2212 2213 2222 2232 2233 2235 2239 2240 2244 2246 2247 2267 2269 2271 2281 2283 2285 2288 2289 2290 2294 2295 2302 2304 2314 2316 2317 2318 2320 2321 2325 2326 2327 2336 2339 2342 2343 2360 2362 2363 2364 2365 2370 2371 2372 2373 2375 2392 2393 2396 2408 2409 2410 2414 2415 2417 2419 2420 2421 2422 2469 2474 2476 2492 2568 2572 2573 2576 2577 2579 2582 2583 2593 2597 2598 2599 2618 2619 2620 2622 2625 2626 2627 2628 2629 2648 2649 2650 2654 2655 2664 2665 2668 2670 2671 2674 2675 2676 2677 2679 2699 2730 2848 2866 2911 2952 2955 2958 2959 2960 2962 2963 2964 2965 2979 2980 2981 2982 3000 3001 3005 3006 3007 3008 3009 3010 3015 3020 3031 3033 3034 3035 3036 3037 3050 3051 3053 3055 3056 3057 3060 3063 3072 3073 3076 3079 3086 3098 3099 3100 3101 3103 3113 3114 3115 3117 3121 3122 3126 3127 3144 3149 3150 3151 3154 3155 3156 3157 3158 3168 3170 3172 3173 3192 3193 3195 3198 3199 3210 3390 3458 3459 3460 3463 3465 3480 3481 3484 3486 3487 3498 3500 3502 3503 3505 3506 3507 3509 3530 3531 3532 3534 3536 3537 3541 3542 3552 3553 3555 3558 3559 3576 3578 3580 3581 3713 3714 3716 3717 3718 3736 3737 3738 3742 3743 3752 3753 3756 3759 3762 3763 3764 3765 3767 3784 3787 3788 3789 3792 3793 3795 3798 3808 3809 3813 3814 3815 3834 3835 3836 3837 3838 3841 3842 3846 3847 3863 3865 3866 3867 3868 3882 3883 3885 3887 3888 3889 3892 3895 3912 3913 3915 3916 3918 3920 3922 3923 3924 3927 3938 3939 3940 3941 3942 3960 3961 3965 3967 3981 4022 4196 4210 4222 4229 4235 4238 4239 4240 4242 4243 4257 4259 4261 4262 4280 4281 4285 4286 4287 4288 4290 4294 4295 4313 4314 4315 4316 4317 4330 4331 4332 4333 4335 4336 4337 4340 4343 4360 4363 4365 4368 4369 4371 4374 4375 4385 4386 4388 4389 4390 4411 4412 4413 4414 4417 4418 4419 4421 4440 4441 4442 4446 4447 4456 4457 4460 4462 4463 4466 4468 4469 4471 4494 4501 4504 4508 4608 4610 4618 4619 4620 4621 4622 4626 4629 4630 4631 4640 4643 4646 4647 4664 4666 4667 4668 4669 4675 4677 4679 4696 4697 4700 4703 4712 4713 4714 4719 4721 4722 4724 4725 4773 4822 4875 5000 5001 5005 5006 5010 5011 5012 5013 5014 5024 5026 5027 5028 5048 5049 5051 5054 5055 5056 5057 5060 5062 5063 5082 5084 5085 5087 5097 5098 5099 5100 5101 5104 5106 5110 5111 5120 5121 5122 5126 5127 5145 5146 5148 5149 5162 5163 5164 5165 5167 5169 5172 5174 5175 5192 5193 5195 5199 5200 5203 5204 5205 5218 5219 5220 5222 5240 5241 5245 5246 5343 5362 5391 5418 5505 5506 5507 5508 5528 5529 5530 5533 5535 5536 5544 5545 5548 5550 5555 5556 5557 5559 5576 5578 5579 5580 5581 5584 5585 5587 5590 5591 5601 5605 5606 5607 5626 5627 5628 5629 5630 5715 5722 5733 5762 5763 5764 5765 5767 5784 5788 5790 5791 5800 5801 5802 5806 5807 5809 5810 5811 5835 5836 5837 5838 5840 5841 5845 5846 5857 5859 5862 5863 5880 5882 5883 5884 5885 5888 5892 5894 5895 5914 5915 5916 5917 5919 5929 5930 5932 5933 5936 5937 5938 5942 5943 5960 5961 5965 5966 5967 5971 5972 5973 5974 5984 5986 5987 5988 5989 6008 6009 6011 6014 6015 6068 6145 6146 6148 6150 6168 6170 6174 6175 6184 6185 6187 6188 6191 6194 6195 6196 6199 6216 6218 6220 6221 6224 6225 6227 6228 6230 6231 6240 6241 6245 6247 6266 6267 6269 6270 6293 6294 6360 6413 6529 6530 6535 6540 6553 6555 6570 6571 6575 6576 6577 6580 6581 6586 6587 6601 6603 6604 6606 6607 6608 6610 6611 6612 6626 6627 6628 6629 6630 6648 6653 6654 6655 6720 6781 6784 6785 6787 6788 6791 6811 6812 6813 6815 6825 6826 6828 6829 6830 6832 6833 6834 6838 6839 6857 6858 6861 6863 6867 6868 6869 6870 6880 6882 6883 6884 6904 6905 6907 6910 6911 6912 6916 6917 6919 6936 6937 6940 6942 6943 6953 6954 6958 6959 6961 6963 6964 6965 6986 6987 6989 6990 6992 6993 6994 6997 6998 7008 7009 7011 7014 7015 7032 7034 7035 7036 7037 7048 7077 7175 7220 7304 7306 7308 7309 7312 7313 7315 7316 7318 7329 7333 7334 7335 7354 7355 7357 7358 7361 7362 7364 7365 7384 7385 7386 7391 7400 7401 7404 7406 7407 7410 7411 7413 7415 7432 7435 7438 7440 7442 7444 7445 7447 7458 7459 7460 7461 7462 7480 7481 7485 7487 7488 7489 7490 7494 7495 7513 7514 7515 7518 7531 7532 7533 7535 7536 7537 7540 7542 7543 7559 7593 7688 7689 7693 7695 7699 7700 7701 7702 7712 7714 7715 7716 7736 7737 7739 7742 7743 7744 7745 7748 7750 7751 7770 7771 7772 7773 7775 7785 7786 7787 7788 7792 7793 7794 7798 7883 7939 8037 8074 8075 8076 8077 8078 8080 8081 8085 8087 8096 8099 8102 8103 8120 8122 8124 8125 8130 8131 8132 8133 8135 8152 8153 8156 8158 8159 8168 8169 8170 8174 8177 8178 8179 8180 8181 8208 8331 8332 8333 8335 8336 8337 8340 8342 8343 8352 8354 8358 8359 8377 8378 8379 8380 8386 8387 8388 8389 8390 8408 8409 8413 8414 8415 8424 8425 8427 8431 8432 8434 8435 8436 8437 8457 8460 8462 8463 8466 8467 8469 8471 8481 8482 8483 8484 8485 8504 8505 8506 8510 8511 8512 8513 8517 8518 8519 8538 8539 8540 8541 8542 8552 8554 8556 8557 8560 8561 8563 8566 8567 8585 8684 8712 8713 8714 8718 8719 8721 8722 8723 8724 8725 8739 8741 8743 8760 8761 8764 8766 8768 8769 8771 8774 8775 8792 8794 8795 8796 8797 8810 8811 8812 8813 8814 8817 8821 8822 8823 9012 9097 9098 9099 9100 9101 9104 9105 9106 9110 9111 9120 9121 9124 9127 9146 9147 9148 9149 9151 9152 9154 9155 9156 9157 9176 9177 9179 9182 9183 9192 9193 9197 9198 9199 9203 9204 9205 9206 9218 9219 9220 9221 9222 9240 9241 9245 9246 9247 9256 9257 9259 9262 9263 9264 9266 9267 9269 9290 9291 9292 9295 9296 9297 9300 9303 9312 9314 9318 9319 9337 9338 9339 9340 9341 9600 9601 9605 9606 9607 9626 9627 9628 9629 9630 9640 9642 9644 9645 9648 9649 9651 9654 9655 9672 9676 9678 9679 9683 9684 9685 9687 9697 9698 9699 9700 9701 9720 9721 9722 9726 9727 9856 9857 9859 9862 9863 9880 9882 9883 9884 9898 9899 9900 9901 9902 9904 9905 9909 9910 9911 9928 9929 9930 9934 9935 9937 9938 9939 9940 9941 9954 9955 9957 9959 9977 9980 9982 9983 9984 9986 9987 9988 9989 9991 10008 10009 10011 10014 10024 10025 10029 10030 10034 10036 10037 10038 10057 10059 10060 10061 10064 10065 10066 10070 10071 10080 10081 10084 10086 10087 10098 10106 10107 10108 10109 10111 10241 10245 10246 10247 10266 10267 10269 10270 10280 10282 10284 10285 10288 10289 10291 10294 10295 10312 10313 10316 10318 10319 10322 10323 10324 10325 10327 10337 10338 10339 10340 10341 10360 10361 10362 10367 10494 10627 10628 10629 10630 10648 10653 10654 10655 10664 10665 10667 10668 10671 10672 10674 10675 10676 10677 10696 10698 10699 10703 10705 10708 10710 10711 10720 10721 10722 10725 10727 10745 10746 10747 10749 10750 10795 10848 10880 10882 10883 10884 10885 10904 10905 10907 10911 10920 10921 10925 10927 10930 10931 10932 10933 10934 10953 10954 10956 10957 10958 10960 10961 10962 10966 10967 10976 10980 10982 10983 11002 11003 11005 11007 11009 11011 11014 11015 11032 11034 11035 11036 11037 11050 11051 11052 11053 11054 11056 11057 11061 11062 11080 11081 11082 11086 11087 11089 11090 11091 11092 11093 11107 11109 11111 11122 11128 11129 11132 11134 11135 11162 11400 11401 11404 11406 11407 11408 11412 11413 11415 11425 11426 11427 11428 11429 11444 11449 11450 11454 11455 11456 11457 11461 11462 11463 11482 11483 11484 11485 11486 11496 11498 11499 11500 11501 11505 11507 11510 11511 11530 11531 11532 11533 11535 11537 11539 11540 11542 11543 11552 11553 11554 11558 11559 11564 11577 11578 11579 11580 11581 11586 11587 11588 11590 11608 11609 11613 11614 11615 11624 11625 11627 11631 11632 11635 11636 11637 11731 11757 11785 11786 11787 11789 11792 11793 11794 11799 11808 11809 11812 11814 11834 11835 11836 11837 11839 11840 11842 11843 11844 11845 11864 11867 11870 11871 11881 11882 11885 11886 11887 11891 11892 11893 11894 12168 12169 12170 12175 12177 12178 12180 12181 12182 12194 12195 12196 12197 12199 12216 12217 12220 12222 12223 12224 12225 12227 12230 12231 12248 12250 12251 12252 12266 12267 12268 12270 12272 12273 12277 12278 12279 12288 12289 12291 12294 12312 12314 12315 12317 12330 12331 12332 12333 12334 12336 12337 12341 12342 12343 12360 12361 12362 12366 12367 12369 12370 12371 12373 12385 12387 12388 12389 12391 12408 12412 12414 12415 12474 12643 12667 12672 12674 12676 12677 12697 12699 12703 12712 12713 12717 12718 12719 12722 12723 12724 12725 12726 12745 12746 12747 12749 12750 12752 12753 12754 12758 12759 12768 12772 12774 12775 12795 12796 12797 12799 12930 12931 12932 12934 12952 12957 12958 12959 12961 12968 12969 12971 12974 12975 12976 12978 12979 12980 13002 13003 13004 13005 13007 13008 13009 13012 13015 13024 13025 13026 13030 13031 13049 13051 13052 13053 13056 13057 13061 13062 13063 13082 13083 13084 13085 13086 13096 13098 13099 13100 13104 13105 13107 13110 13111 13128 13129 13132 13135 13138 13140 13141 13143 13153 13154 13155 13156 13157 13176 13178 13182 13183 13272 13332 13448 13449 13450 13454 13455 13457 13458 13459 13460 13461 13474 13475 13476 13477 13479 13496 13497 13500 13502 13504 13505 13507 13510 13511 13528 13530 13531 13532 13533 13536 13546 13548 13549 13550 13552 13553 13557 13559 13567 13575 13577 13578 13579 13580 13581 13584 13585 13586 13600 13601 13604 13606 13607 13626 13627 13628 13631 13632 13634 13636 13637 13656 13657 13659 13662 13663 13672 13677 13678 13679 13682 13683 13684 13685 13686 13834 13835 13836 13837 13839 13840 13841 13844 13846 13847 13856 13857 13858 13862 13863 13876 13881 13883 13884 13885 13890 13891 13892 13893 13894 13912 13913 13917 13918 13919 13928 13929 13931 13934 13935 13936 13938 13939 13940 14127 14216 14217 14220 14222 14223 14226 14227 14229 14231 14241 14242 14243 14244 14245 14264 14265 14266 14270 14271 14273 14277 14278 14279 14298 14299 14300 14301 14302 14312 14315 14316 14317 14319 14320 14321 14323 14326 14327 14473 14474 14475 14477 14482 14486 14487 14492 14496 14497 14500 14502 14503 14522 14523 14524 14525 14527 14528 14530 14531 14533 14555 14556 14558 14559 14568 14569 14573 14574 14575 14578 14579 14580 14581 14582 14600 14601 14602 14606 14607 14609 14610 14612 14613 14626 14627 14629 14631 14648 14652 14654 14655 14656 14657 14659 14660 14680 14682 14683 14684 14685 14698 14699 14700 14701 14702 14704 14705 14709 14710 14711 14723 14801 14856 14857 14860 14862 14863 14866 14867 14868 14869 14871 14881 14882 14883 14884 14885 14904 14905 14906 14910 14911 14912 14913 14917 14918 14919 14938 14939 14941 14942 14952 14954 14955 14956 14957 14961 14963 14966 14967 14993 15096 15140 15243 15244 15245 15247 15248 15249 15252 15255 15264 15266 15270 15271 15282 15289 15292 15293 15298 15299 15300 15302 15321 15325 15326 15327 15336 15337 15339 15341 15342 15344 15346 15347 15348 15360 15362 15363 15365 15384 15385 15387 15388 15390 15391 15400 15401 15405 15406 15407 15410 15411 15413 15414 15433 15434 15435 15436 15437 15440 15441 15442 15446 15447 15456 15460 15462 15463 15482 15483 15484 15485 15487 15744 15745 15747 15750 15751 15768 15770 15771 15772 15773 15786 15787 15788 15790 15792 15793 15797 15798 15799 15816 15817 15818 15823 15825 15826 15828 15829 15842 15843 15844 15845 15847 15864 15865 15868 15870 15871 15911 15960 16000 16005 16006 16007 16025 16026 16027 16028 16029 16030 16040 16042 16043 16044 16045 16048 16051 16054 16055 16072 16073 16076 16078 16079 16082 16083 16084 16085 16087 16097 16098 16099 16100 16101 16120 16121 16122 16126 16130 16132 16133 16134 16153 16157 16158 16159 16168 16169 16171 16174 16176 16178 16179 16181 16202 16203 16204 16205 16207 16209 16212 16214 16215 16224 16225 16226 16230 16249 16250 16251 16252 16253 16283 16319 16514 16515 16516 16517 16518 16536 16537 16541 16543 16553 16555 16559 16560 16563 16564 16565 16586 16587 16589 16591 16592 16593 16596 16598 16599 16608 16609 16610 16614 16620 16633 16634 16635 16636 16637 16640 16641 16645 16646 16647 16666 16668 16669 16670 16680 16682 16683 16684 16685 16688 16689 16691 16694 16695 16713 16716 16718 16719 16722 16723 16724 16725 16727 16737 16739 16740 16741 16760 16761 16762 16766 16767 16830 16896 16899 16902 16903 16920 16922 16923 16924 16925 16938 16939 16940 16942 16949 16950 16951 16968 16969 16970 16974 16975 16977 16978 16979 16981 16994 16995 16996 16997 16999 17016 17017 17020 17022 17023 17057 17082 17280 17282 17283 17284 17285 17304 17305 17307 17311 17320 17325 17326 17327 17331 17332 17333 17334 17353 17354 17356 17357 17360 17361 17362 17366 17367 17376 17377 17380 17382 17383 17402 17403 17404 17405 17407 17418 17419 17420 17421 17423 17425 17428 17430 17431 17440 17441 17442 17446 17447 17465 17468 17469 17474 17475 17478 17496 17497 17501 17502 17503 17509 17512 17515 17518 17520 17522 17523 17524 17525 17594 17633 17664 17743 17801 17804 17806 17807 17810 17811 17812 17813 17815 17825 17826 17827 17828 17829 17848 17849 17850 17854 17855 17856 17857 17861 17862 17882 17883 17884 17885 17886 17896 17898 17899 17901 17904 17905 17907 17910 17911 17989 18056 18057 18058 18062 18063 18065 18066 18067 18068 18069 18082 18083 18084 18085 18087 18104 18105 18108 18111 18112 18115 18118 18119 18136 18138 18139 18140 18141 18154 18155 18156 18157 18158 18160 18165 18166 18167 18185 18186 18187 18188 18189 18193 18194 18198 18199 18208 18209 18212 18214 18234 18235 18236 18237 18239 18240 18242 18243 18244 18245 18264 18265 18267 18270 18271 18280 18281 18285 18286 18287 18290 18291 18292 18294 18441 18444 18446 18447 18448 18450 18452 18453 18455 18465 18467 18468 18469 18488 18490 18491 18494 18495 18496 18501 18502 18503 18504 18522 18524 18525 18526 18536 18537 18540 18541 18544 18545 18547 18550 18551 18604 18627 18786 18824 18826 18827 18828 18831 18832 18833 18835 18836 18839 18846 18848 18850 18854 18855 18873 18875 18877 18881 18884 18885 18886 18899 18904 18905 18909 18910 18921 18923 18926 18927 18928 18930 18931 18932 18933 18973 18978 19079 19081 19082 19083 19084 19085 19089 19090 19094 19095 19104 19105 19108 19110 19111 19130 19131 19132 19133 19135 19136 19140 19141 19160 19161 19163 19166 19167 19171 19176 19181 19182 19186 19187 19188 19190 19204 19208 19209 19210 19214 19215 19217 19218 19219 19222 19235 19236 19237 19239 19256 19257 19260 19262 19263 19265 19267 19270 19271 19288 19290 19291 19292 19295 19306 19307 19308 19309 19310 19312 19313 19317 19318 19368 19386 19584 19585 19589 19610 19611 19612 19613 19614 19624 19627 19628 19629 19632 19633 19635 19638 19639 19650 19656 19657 19660 19663 19666 19667 19668 19669 19671 19681 19682 19683 19684 19695 19704 19705 19706 19710 19711 19714 19715 19716 19717 19718 19736 19737 19741 19742 19743 19752 19753 19755 19756 19758 19759 19760 19762 19763 19764 19765 19786 19787 19789 19791 19792 19796 19798 19799 19808 19809 19810 19815 19833 19834 19835 19836 19837 19958 19968 19970 19971 19973 19980 19993 19995 19999 20008 20009 20013 20014 20015 20019 20020 20021 20022 20041 20042 20043 20044 20045 20048 20049 20050 20052 20054 20055 20064 20065 20068 20070 20071 20090 20091 20092 20095 20341 20352 20353 20355 20358 20359 20376 20380 20381 20383 20394 20395 20397 20398 20400 20401 20405 20407 20424 20425 20426 20430 20431 20433 20434 20435 20436 20437 20450 20451 20452 20453 20455 20472 20476 20478 20479 20488 20489 20490 20494 20495 20497 20499 20500 20501 20502 20515 20516 20517 20519 20536 20537 20540 20542 20543 20544 20545 20547 20551 20568 20570 20571 20572 20573 20586 20587 20588 20589 20590 20593 20597 20599 20658 20680 20832 20873 20874 20875 20876 20880 20881 20882 20887 20896 20897 20900 20902 20903 20923 20924 20925 20927 20928 20930 20931 20932 20933 20953 20955 20958 20959 20969 20973 20974 20975 20978 20979 20980 20981 20982 21130 21131 21132 21133 21135 21136 21137 21140 21142 21152 21154 21158 21159 21174 21177 21178 21179 21181 21185 21187 21188 21189 21190 21203 21208 21209 21213 21214 21215 21224 21225 21227 21230 21231 21232 21235 21236 21237 21256 21257 21260 21262 21264 21267 21268 21269 21271 21277 21281 21282 21283 21284 21285 21305 21306 21310 21311 21312 21313 21314 21317 21318 21319 21338 21339 21340 21341 21342 21352 21354 21355 21356 21357 21360 21361 21363 21366 21367 21601 21632 21633 21635 21638 21639 21656 21658 21659 21661 21662 21674 21675 21676 21677 21678 21680 21681 21685 21686 21687 21705 21706 21710 21711 21713 21714 21715 21716 21717 21730 21732 21735 21752 21753 21756 21758 21760 21763 21764 21765 21784 21785 21787 21788 21790 21801 21805 21806 21807 21810 21811 21812 21813 21814 21816 21833 21834 21835 21837 21838 21840 21841 21842 21846 21847 21856 21857 21860 21862 21863 21882 21883 21885 21887 22002 22017 22018 22020 22021 22022 22040 22041 22045 22046 22047 22056 22057 22059 22062 22063 22064 22066 22067 22068 22069 22088 22090 22092 22095 22097 22100 22102 22103 22112 22114 22118 22137 22138 22139 22140 22141 22400 22405 22406 22407 22426 22427 22428 22430 22440 22442 22443 22444 22445 22448 22449 22451 22455 22472 22473 22476 22478 22479 22482 22483 22484 22485 22487 22497 22498 22499 22500 22501 22520 22521 22522 22526 22527 22656 22658 22659 22660 22680 22681 22683 22687 22696 22697 22701 22703 22706 22707 22708 22710 22729 22732 22733 22734 22737 22738 22742 22743 22752 22753 22756 22758 22759 22762 22778 22779 22780 22781 22783 22785 22787 22790 22791 22808 22810 22811 22813 22818 22826 22827 22828 22829 22830 22832 22833 22837 22838 22839 22857 22858 22862 22863 22865 22866 22867 22868 22869 22884 22885 22887 22904 22905 22908 22910 22911 22941 22942 23016 23040 23041 23045 23046 23047 23066 23067 23068 23070 23080 23083 23084 23085 23088 23089 23091 23094 23095 23113 23115 23116 23118 23119 23122 23123 23125 23127 23137 23138 23139 23140 23141 23160 23161 23162 23165 23189 23242 23360 23426 23427 23428 23429 23430 23448 23449 23450 23453 23465 23467 23468 23470 23471 23472 23474 23475 23476 23496 23499 23501 23503 23504 23505 23508 23510 23511 23520 23522 23526 23527 23545 23547 23548 23549 23561 23562 23563 23564 23565 23568 23569 23570 23574 23584 23585 23588 23591 23610 23611 23612 23613 23615 23616 23618 23619 23620 23621 23640 23641 23643 23646 23647 23656 23661 23662 23663 23666 23667 23668 23669 23670 23686 23884 23944 23945 23946 23950 23951 23953 23954 23955 23957 23958 23971 23972 23973 23975 23992 23993 23996 23998 24001 24003 24006 24007 24024 24026 24027 24028 24029 24032 24042 24043 24044 24045 24046 24049 24053 24055 24131 24200 24201 24204 24206 24207 24210 24211 24213 24215 24225 24226 24227 24228 24229 24248 24249 24250 24254 24255 24256 24261 24262 24263 24272 24282 24284 24285 24286 24296 24298 24299 24300 24301 24304 24305 24307 24310 24311 24331 24333 24335 24336 24337 24340 24343 24352 24353 24354 24358 24359 24377 24378 24379 24380 24381 24382 24387 24389 24390 24392 24408 24409 24413 24414 24415 24424 24425 24427 24430 24431 24432 24434 24435 24436 24470 24586 24587 24588 24589 24590 24593 24597 24599 24608 24611 24614 24615 24632 24634 24635 24636 24637 24642 24643 24644 24645 24647 24664 24665 24668 24670 24671 24680 24681 24682 24686 24687 24689 24690 24691 24692 24693 24722 24736 24746 24970 24973 24974 24975 24980 24981 24982 24984 24992 24994 24995 24996 24997 25016 25017 25019 25023 25024 25025 25028 25030 25031 25043 25051 25052 25053 25055 25065 25066 25067 25069 25072 25073 25074 25078 25079 25120 25224 25225 25227 25230 25231 25232 25234 25235 25236 25237 25251 25253 25254 25272 25273 25277 25278 25279 25280 25281 25282 25287 25305 25306 25307 25308 25322 25323 25324 25325 25327 25328 25329 25332 25334 25335 25352 25354 25355 25356 25357 25360 25361 25363 25366 25367 25376 25377 25381 25382 25383 25402 25403 25405 25406 25409 25410 25412 25413 25432 25433 25434 25438 25449 25452 25454 25455 25458 25459 25461 25463 25731 25732 25733 25735 25753 25756 25758 25759 25769 25770 25774 25775 25777 25778 25779 25780 25781 25802 25803 25804 25805 25806 25808 25809 25813 25814 25815 25824 25825 25827 25830 25831 25848 25850 25852 25853 25856 25860 25862 25863 25882 25883 25884 25885 25887 25897 25898 25899 25901 25904 25905 25906 25909 25910 25928 25929 25933 25934 25935 25938 25939 25940 25942 25952 25954 25955 25956 25959 25976 25977 25979 25982 25992 26112 26113 26114 26119 26137 26139 26140 26141 26154 26155 26156 26157 26159 26160 26161 26164 26166 26167 26184 26185 26187 26191 26192 26194 26195 26196 26197 26210 26212 26213 26214 26232 26233 26237 26238 26239 26497 26498 26499 26500 26520 26521 26522 26526 26527 26536 26537 26540 26542 26543 26546 26547 26548 26549 26551 26568 26570 26571 26572 26573 26576 26579 26582 26583 26592 26593 26597 26599 26618 26619 26621 26622 26661 26752 26753 26756 26758 26759 26778 26779 26780 26781 26783 26793 26794 26795 26798 26800 26802 26806 26807 26824 26825 26829 26831 26834 26836 26837 26838 26842 26848 26850 26851 26852 26853 26872 26873 26875 26879 26880 26882 26883 26884 26887 26889 26904 26905 26908 26910 26911 26916 26920 26921 26922 26926 26929 26930 26931 26932 26954 26955 26956 26957 26958 26960 26961 26965 26966 26967 26977 26979 26982 26983 27000 27002 27003 27004 27005 27137 27138 27139 27141 27160 27161 27162 27166 27167 27170 27176 27180 27182 27183 27188 27189 27191 27208 27210 27211 27212 27213 27216 27217 27219 27222 27233 27237 27238 27239 27258 27259 27260 27261 27262 27488 27497 27520 27521 27522 27526 27527 27545 27547 27548 27549 27560 27562 27563 27565 27567 27568 27569 27572 27574 27575 27595 27596 27598 27599 27600 27602 27603 27604 27605 27618 27620 27621 27622 27640 27641 27645 27646 27647 27656 27657 27661 27662 27663 27666 27667 27668 27669 27670 27680 27682 27683 27704 27705 27707 27710 27711 27712 27713 27716 27718 27726 27738 27739 27740 27741 27743 27747 27753 27754 27755 27756 27757 27760 27761 27762 27766 27767 27969 28043 28044 28045 28046 28048 28053 28054 28055 28064 28065 28067 28070 28071 28088 28090 28091 28092 28093 28098 28099 28100 28103 28120 28121 28124 28126 28127 28136 28137 28138 28142 28143 28145 28146 28147 28148 28149 28167 28174 28296 28298 28299 28301 28304 28305 28307 28310 28311 28320 28321 28325 28326 28346 28348 28349 28350 28353 28354 28355 28356 28357 28376 28377 28378 28382 28383 28392 28393 28396 28398 28399 28402 28403 28404 28405 28407 28421 28424 28427 28430 28431 28432 28434 28435 28436 28437 28450 28451 28453 28454 28467 28472 28473 28477 28478 28480 28482 28486 28487 28505 28507 28508 28509 28522 28523 28524 28525 28527 28528 28529 28532 28534 28621 28786 28788 28800 28801 28802 28806 28807 28823 28825 28827 28828 28829 28830 28842 28843 28844 28845 28847 28848 28849 28852 28855 28873 28875 28878 28879 28880 28883 28884 28885 28898 28899 28900 28901 28902 28920 28921 28922 28925 28926 28929 28930 28931 28932 28933 28953 28954 28958 28959 28968 28969 28972 28974 28975 28978 28979 28981 28983 29000 29002 29003 29004 29005 29008 29009 29011 29014 29015 29024 29029 29030 29052 29053 29054 29176 29186 29187 29188 29189 29191 29208 29209 29212 29214 29215 29224 29225 29226 29231 29233 29234 29235 29236 29237 29259 29260 29261 29262 29264 29265 29269 29270 29271 29280 29281 29283 29286 29287 29304 29306 29307 29308 29309 29551 29563 29568 29569 29572 29574 29575 29594 29595 29596 29599 29609 29611 29612 29613 29617 29618 29622 29623 29628 29640 29641 29642 29645 29650 29651 29652 29653 29654 29664 29666 29667 29669 29689 29691 29694 29695 29704 29705 29707 29711 29712 29714 29715 29716 29717 29730 29731 29732 29733 29734 29752 29753 29757 29758 29759 29760 29761 29762 29766 29767 29772 29785 29786 29787 29802 29803 29804 29805 29807 29808 29812 29814 29815 29919 29931 30088 30091 30092 30093 30096 30097 30099 30102 30103 30113 30117 30118 30119 30138 30139 30140 30141 30142 30145 30146 30147 30148 30149 30168 30169 30170 30174 30175 30184 30185 30188 30190 30194 30195 30197 30199 30346 30347 30348 30349 30350 30352 30353 30357 30358 30359 30369 30371 30374 30375 30392 30394 30395 30396 30397 30402 30403 30404 30407 30424 30425 30428 30440 30441 30442 30446 30447 30449 30450 30451 30452 30453 30467 30472 30477 30478 30479 30482 30484 30485 30486 30496 30498 30500 30501 30521 30523 30526 30527 30528 30529 30532 30534 30535 30554 30555 30556 30557 30559 30569 30570 30571 30572 30576 30577 30578 30581 30582 30583 30617 30725 30728 30730 30731 30736 30737 30739 30742 30752 30753 30757 30758 30759 30778 30779 30780 30781 30782 30785 30786 30787 30788 30789 30808 30809 30810 30814 30815 30824 30825 30828 30830 30831 30836 30837 30839 30862 31112 31115 31118 31119 31120 31121 31122 31124 31125 31137 31138 31139 31140 31142 31160 31161 31162 31165 31166 31167 31168 31170 31173 31174 31175 31193 31195 31196 31197 31201 31210 31211 31212 31215 31216 31220 31222 31223 31252 31368 31369 31373 31374 31378 31379 31380 31381 31382 31392 31394 31395 31396 31397 31417 31419 31422 31423 31424 31425 31428 31430 31431 31434 31451 31452 31453 31455 31465 31468 31469 31472 31473 31474 31478 31479 31499 31500 31501 31502 31504 31509 31510 31511 31520 31523 31526 31527 31544 31546 31547 31548 31549 31554 31555 31556 31557 31559 31576 31577 31580 31582 31583 31593 31594 31599 31601 31602 31603 31604 31605 31624 31706 31724 31873 31874 31875 31876 31877 31896 31897 31898 31902 31904 31912 31913 31916 31918 31919 31922 31923 31924 31925 31927 31944 31946 31947 31948 31949 31952 31953 31955 31958 31969 31973 31974 31975 31996 31997 31998 31999 32000 32001 32002 32006 32023 32025 32026 32027 32028 32029 32040 32042 32043 32045 32047 32049 32052 32054 32055 32072 32073 32075 32078 32079 32080 32082 32083 32084 32085 32098 32099 32100 32101 32102 32121 32125 32126 32127 32256 32257 32260 32263 32282 32283 32284 32285 32287 32297 32298 32299 32300 32301 32304 32305 32306 32310 32311 32320 32333 32334 32335 32338 32339 32341 32342 32352 32354 32356 32357 32376 32377 32379 32382 32383 32513 32520 32642 32644 32645 32647 32664 32668 32670 32671 32681 32682 32686 32687 32689 32690 32691 32692 32693 32713 32714 32715 32718 32720 32721 32725 32726 32727 32736 32737 32739 32742 32743 32760 32762 32763 32764 32765}