There is no linear OA(2¹¹⁶, 87224, F₂, 16) (dual of [87224, 87108, 17]-code), because the Johnson bound shows that N ≤ 132 082121 028320 869616 143671 261967 199720 817218 372721 171736 531172 806976 843025 702499 952363 970832 410176 342868 098423 875482 062364 756200 148381 213587 674236 977445 732546 687456 029286 406734 651303 015374 207385 251550 005227 174040 904681 147289 405646 947500 899010 469395 401264 908543 735501 034318 394636 221947 610927 717417 851442 971374 946531 576857 141175 798909 232177 983307 014161 117093 642428 523328 948726 536174 790956 409724 446664 187785 241496 826323 327938 153839 098527 442985 070726 517929 978300 174940 831251 917271 909261 950080 146610 426335 670798 672445 918900 679105 623395 534848 688707 844517 564333 756558 778024 834977 022384 830996 530040 939679 471683 750859 740123 772707 839475 810822 658192 313821 256181 133997 292481 341065 064245 662527 439068 196987 774960 510542 347553 806707 965197 009578 185804 120259 651813 774651 884591 796530 550745 602651 006288 801438 903462 178183 945473 586131 116974 716640 932758 665038 070218 928483 205484 373346 348866 321816 354746 389948 890519 527685 909533 327193 805905 654718 857832 643541 910368 419328 151092 170071 924821 015204 279574 004826 049739 681775 494055 870808 111972 254772 420074 765948 981883 266503 356242 511810 235645 465149 893879 085866 273173 906792 855152 820567 399550 373256 521529 888260 833616 215001 672233 013717 191069 218097 787030 978365 317735 379511 417204 550582 140763 600985 800092 414770 386361 367964 856626 642426 745315 787391 935194 030227 014632 424099 203108 130299 883158 444510 741498 724687 701802 814470 858575 172728 266390 269890 706456 469954 592368 219626 390836 732110 691291 200490 090151 783777 169995 718879 864326 153202 084031 622819 973601 020749 327109 505602 444544 773557 955342 451692 866852 526730 843426 140468 148926 559430 379090 259867 720547 827444 968018 125793 554052 261939 274732 004388 590474 815442 271229 072321 990230 587619 517533 295247 884697 531744 632422 188566 758679 710443 743038 447499 615896 113363 429466 407973 130408 362531 642037 045106 836480 751878 403535 181307 911188 119737 791233 518107 413825 738328 333778 535345 670952 668681 018097 839627 220611 292632 364283 347293 103369 343838 607928 587022 060436 029860 857502 035062 931403 039537 985315 339189 754760 176647 215842 105240 408162 427467 172043 719038 194192 642734 134122 942368 004279 830654 905835 764178 121903 579294 758250 669252 369918 038712 846676 013331 152654 181045 512326 179413 622224 514469 373393 294637 215646 784393 092897 685927 289218 426146 776317 604720 137338 876903 630544 833654 586743 452944 427994 795899 498284 721700 900248 443689 797670 013271 709362 077389 086194 918612 969076 557714 929992 427649 444248 842804 626475 549099 474673 138134 005599 643482 881799 164592 221129 336847 844728 880796 012785 876206 554034 124671 968570 700261 570551 122345 699504 551588 287862 330138 748130 208938 839904 179077 646894 857565 130075 626416 727308 600707 460582 043266 109276 876515 067898 193196 913467 463478 022663 531495 812266 910332 089847 285563 247481 867251 900004 193799 286461 156713 484118 946431 017410 611262 405168 937737 426171 782675 331405 721021 732142 175381 478503 662592 339230 296352 153974 403120 047002 302977 677118 002445 122838 842135 882516 022083 159785 915364 666653 646240 085342 496017 628149 872265 959060 963801 557779 246512 175173 636153 593191 845500 712137 131826 338516 230394 958252 799072 146141 080814 795535 852264 089195 576315 777963 106077 296422 239625 109469 865664 314253 251732 708178 135743 604993 445590 302845 669438 952759 678973 071410 785843 364807 392383 581055 891008 884923 964002 240966 772108 958641 418045 494352 012403 337784 563882 988355 903157 601766 542755 875932 753553 099113 237059 696915 720156 046991 651680 851681 585312 447825 208670 525868 385508 336885 216882 059687 550573 505449 510406 686853 150745 882679 425966 804397 663249 582606 908246 041839 622428 857275 922880 594950 235264 881757 635398 999047 852044 242797 193276 873616 082419 969668 378851 808168 080181 775786 905461 934207 515513 535528 431518 679678 125750 580249 054473 543520 477297 109332 146885 522157 248691 922375 543155 617492 198175 394644 671875 864890 442047 205794 101234 148476 547443 915064 044181 214744 794047 651376 837681 896318 847975 210308 080490 700604 222553 058947 343562 478513 793285 621893 686770 648387 553311 793783 785883 961249 463218 087761 578402 704622 401254 177161 164122 773026 149535 843962 208471 909009 634920 362960 555883 467521 814890 475210 046168 468216 733753 709564 233593 646054 856580 439729 189200 543468 216668 569509 378235 326393 177695 850834 684548 309929 707903 814294 941867 137621 160409 043107 221981 184934 145467 533360 886224 241773 268315 745113 480845 618473 533487 457039 439463 341521 255853 679655 025789 432212 535310 530518 345740 210779 711938 904524 004162 057454 702237 797609 526718 592920 711998 896867 101697 656480 163789 626332 244880 025847 781321 201790 478711 868044 493768 195435 592529 603056 394188 632226 087941 014226 603799 524500 363932 807578 221080 707616 124110 033840 794693 767985 621501 298294 332583 279053 683211 557433 609261 018578 606608 557524 241073 741644 386859 445235 394452 318354 354398 667925 576646 709586 835983 751044 447905 357327 565773 694613 764043 143826 178548 371901 738634 123989 677581 318873 875888 002360 996081 465885 644845 896018 594785 616108 816970 978898 578726 804006 822834 793540 767034 910346 244143 983777 581877 253540 738342 630832 217704 926911 249682 333489 081294 788031 000307 972534 519273 570218 163037 926315 684864 772419 709251 027986 334065 704345 922828 829483 176460 853928 982276 406396 282446 128194 671571 155747 800139 609955 664027 668257 420592 742904 707108 875839 044760 443451 897483 229489 775139 551817 698563 126532 509645 937167 815987 390155 863796 230061 253312 417962 476192 804840 393137 787175 546289 803875 610772 032217 849027 439671 065050 016087 723925 219031 451953 798123 325033 718913 672581 655410 390329 249439 991358 018081 669422 090988 633474 925675 157198 706423 354650 818614 756952 257096 260908 212027 665042 958472 338560 049017 303977 529217 929336 464815 451953 239108 226614 659611 182314 321625 566987 897443 322355 521833 503605 625106 599285 133002 384462 102086 401208 562912 117559 942257 192671 673674 489965 689366 315405 625983 444955 632733 575180 821810 186218 052617 128008 781722 194506 380952 063919 436555 738646 039040 080782 439790 504252 601428 238402 806445 160893 099719 769331 661016 758882 262944 665642 153261 593414 626617 549580 802852 431644 867727 736487 355315 430227 328992 884704 934063 199428 472170 784752 861261 698556 154766 234138 922597 724527 038814 070612 637143 486736 135786 509304 857871 988482 838756 698423 008942 425673 658457 807017 425150 245494 547963 968954 582592 180285 773061 455455 929249 425418 317076 426044 648825 231052 686139 825171 522505 829508 667335 771285 718828 056674 820240 863338 860867 634599 868543 238209 532142 428361 899025 157780 650480 222872 440995 209065 555847 360816 077108 009641 993051 629548 161911 378219 934252 700019 223361 114422 529365 992299 839901 931696 404843 610555 307602 177372 377319 892354 443403 657264 901564 682404 049693 326712 102303 156040 982658 938712 076860 836413 767632 695173 548244 794984 331490 033929 398912 983462 527193 765287 860295 424742 501255 210441 598692 509705 659892 221945 172646 003318 664565 748617 294126 840807 255782 049213 837587 236253 688484 408630 465719 695214 778348 648246 073162 856120 805386 903929 286745 927046 798445 424072 280440 209947 578137 726235 461678 332512 081804 124449 975624 722777 473177 262493 316451 931830 401937 741585 596690 518330 189890 737144 405310 092577 138691 420449 774806 922368 174409 392938 409470 151087 543547 349871 523614 981068 699617 850988 900102 586852 775601 139759 314691 475654 167668 567601 996249 998541 652366 151349 333537 748348 435743 177730 065879 618341 943173 854919 122382 912730 171149 388676 594452 806519 297517 935978 275706 227520 074548 410413 090487 006814 809655 238441 816568 886643 528684 858572 466273 338588 221997 533576 173520 863544 053739 881128 518527 728320 425856 256108 694349 493772 752113 202033 136308 295880 143093 448857 421797 028232 694754 197700 202217 798991 546923 911600 476503 498598 726061 726042 077335 999010 664763 987315 746786 394439 987068 422095 790472 000753 048855 857894 937412 722823 857160 712078 945820 421673 026089 660308 883804 096344 314036 403414 615579 465772 686221 863451 355169 305354 338931 952206 498308 727312 280407 037364 529578 470754 289830 828279 806087 113227 914545 806795 270793 580949 935040 076521 671585 552966 713804 099355 711447 622252 110966 116013 851690 668527 246327 431893 589414 232723 354123 634575 523891 316531 975174 325589 148634 278489 019145 942369 945472 152417 600906 005056 989645 776459 474476 481967 359703 531062 146533 818591 598372 546635 714831 016290 347388 991681 766343 411671 454117 988915 185145 529986 398581 643931 563501 172182 781469 523522 451115 711887 459686 980482 852792 315650 237927 132319 806957 413294 957736 117526 645541 864819 748904 029156 140577 787550 760875 569611 007982 128208 328403 031669 382354 428980 885823 302256 655322 795518 795870 145296 777003 744043 093759 072102 978037 654901 039285 984310 832193 067224 342317 073360 642114 347759 420097 032185 644500 821808 488312 599548 127429 965016 052446 074374 799112 201312 966917 637295 070199 287449 268461 130102 270543 443940 472764 779118 164976 975681 926358 674381 928110 432034 340651 313546 111906 620436 371619 255690 322461 463678 687808 647441 552707 913516 020695 088313 710485 502385 177118 298260 349952 243454 472637 453854 048601 019583 707478 061318 093107 352150 422652 364164 870569 751206 854816 084601 678421 390471 189312 076182 825320 431161 651945 931296 760513 020627 357680 324114 379860 548585 531164 006294 458541 586353 015892 960551 385990 768866 525454 704182 533016 435740 695049 920486 242198 472874 116886 704986 177104 542305 109895 753362 986520 282549 616271 762987 481783 397978 882358 103882 648003 689442 346535 569171 355910 553855 380220 063392 982228 741799 668792 108908 392890 223724 788413 442752 581653 384872 844961 411349 583952 048393 524918 511934 615044 043258 435371 949516 900648 837230 057417 509974 975635 335017 784280 412647 595256 484514 557198 857857 527962 408507 083289 500953 146894 866148 920425 483519 997112 768889 739377 770691 204101 648501 672546 436854 904243 925477 216053 986489 305541 104810 733450 229406 024445 247377 730448 469629 184818 966709 994293 555594 740501 288233 124145 125001 317714 116159 564953 904014 619293 195112 370735 125025 941079 305041 604574 025812 906255 778304 600363 400928 865607 692085 482199 774329 734697 408862 337994 584592 397921 743946 242317 106501 903304 177019 726679 736236 450381 450471 707214 422904 471846 728162 831973 123406 507643 001910 385052 436079 602243 753014 541143 948292 375493 576155 341319 695634 770278 915399 192883 325618 869064 550271 913076 953586 981160 920306 040853 286087 277561 484416 959482 802638 643161 307690 676786 951076 954090 807343 734797 447627 416859 587311 797157 581761 158132 737958 465051 434512 839776 810085 388494 960932 802331 422791 911699 329739 582859 993643 276551 041370 054153 413285 092508 317685 090083 465251 105870 981786 280666 165568 664252 801005 348922 014598 873984 865885 410926 835432 137726 598090 388534 271614 372975 998857 318410 848774 521157 390301 947629 670684 288750 422172 180468 649735 474889 643339 236427 232214 946438 517039 700834 197150 501801 312667 763180 599740 918116 895509 651125 980036 895766 884780 160429 946620 207309 171264 155416 368612 332618 273562 260452 697408 928646 847666 186053 248020 891401 174785 874400 668061 014321 356368 031437 076121 018500 187314 838810 654051 947660 270684 062595 378132 708286 241730 405714 786776 711754 541477 505033 260910 152367 377560 249917 488184 484567 369812 153515 877975 299303 530985 246139 597977 114441 525230 392598 152676 161183 239863 972912 942763 881406 598541 236079 242266 744430 015512 798425 072036 725167 221124 908638 202902 496471 999777 937251 250822 468281 919190 542480 721477 972181 620796 180577 994343 477068 192028 163805 888097 972702 695056 045662 839251 526334 137744 748359 680585 611944 431719 290394 290183 111936 561144 821277 880568 117166 102841 912765 610262 701407 550010 729957 593999 976276 829544 251663 225014 209272 955881 456933 596611 074939 166225 704161 649565 112376 801207 478777 930813 968987 864674 913031 553050 988386 185890 520899 252099 597702 165455 888181 642098 872399 064396 931584 221347 660328 278813 127097 966217 155111 320723 974547 513325 593838 553291 639560 104239 866471 632301 303671 876582 513080 928176 535585 779650 354573 714967 430759 032489 873726 517201 695542 413489 838651 995459 868853 484391 147537 244908 123151 600956 518079 534094 740823 387783 733331 293260 116409 899244 468904 614978 670813 246756 152840 140218 384895 890677 926906 120203 599140 317366 529905 934757 982780 616519 972152 540665 654056 364427 293483 023889 024729 543572 720752 086467 776463 635052 353230 742956 379266 462504 127184 681205 379347 733821 134219 133631 235130 745145 535522 634039 982478 541668 558287 561589 562864 343602 414729 273683 772063 118479 816365 367844 529644 044777 858851 211511 795328 675645 372109 381016 712788 974888 646589 695812 089493 737239 782819 795901 303653 188107 307744 760800 093244 886700 809593 373717 509708 885938 198985 324186 892088 773665 295785 619640 260348 935336 858807 132321 080079 685173 336428 798135 309134 901270 872342 082453 385701 521469 996347 265794 865030 264485 784916 251935 707191 982378 615034 636980 437870 149147 360902 436242 260685 383186 107782 959038 693495 622057 928130 443307 935351 231889 937305 204794 512762 492856 424149 905619 707818 635870 308385 779030 715815 527771 364303 267730 923547 146025 991669 402589 033461 819489 774706 815128 734277 533998 145302 808574 477840 605031 167049 804723 232848 418058 407791 896009 092757 520168 093519 039990 008647 819766 027133 690093 679422 741731 057390 130980 472606 918807 280919 230026 818383 400244 455318 606937 850064 787810 848285 810968 891674 492606 016674 539808 803386 536362 677751 249721 976074 743693 833500 798564 924667 637613 947290 288103 643602 430053 986257 661292 147951 058178 428482 982233 357324 745249 891570 474027 434634 248492 138841 896905 329552 298577 258224 759843 557880 212082 287244 104519 404532 376592 094397 268162 036078 576496 443586 938611 777178 582964 841250 305036 226772 078195 485309 410931 207026 089107 787434 440148 799693 925846 472295 269011 952902 687562 672760 499481 653488 248243 118106 572515 434307 257958 651949 074074 669716 834676 845337 906875 632508 409016 388672 423232 631706 585777 009518 512028 619576 837279 612353 124238 258198 534437 799807 042487 530758 288694 954152 605512 381421 335183 722722 945836 848902 910986 369045 631818 347269 972352 617612 921282 018568 940989 978237 627745 938797 112652 818646 532304 584294 872467 898709 603621 606719 210316 245914 031728 689945 707963 271570 359727 244596 082552 144799 814430 317460 816682 115020 883872 978667 508218 992337 858800 218217 302911 991385 735825 923524 925065 002727 244312 287097 365203 032759 181133 038773 368977 944555 957888 589451 276686 090154 192530 233679 681702 961606 101761 153593 975809 465930 965046 701084 650999 344376 470034 065799 192550 125994 124356 822041 187475 901508 965984 971455 919516 342103 878244 307638 542450 399876 395703 270335 859258 533535 746805 921960 162853 993340 014600 020026 453815 887584 184604 029540 753555 858130 732677 950521 708238 397413 700729 746237 110116 015613 409329 129020 928809 831111 291787 529298 309533 460975 327204 215954 455157 212463 903753 983238 010190 412887 291020 387765 220816 240111 926652 310074 281376 765943 906772 499720 396930 492643 506768 599577 165541 855953 070649 219124 668696 583603 520871 255051 418440 097897 891540 486248 419987 746671 887296 314017 682627 031419 021705 322980 958576 217720 522083 041242 721391 348983 078284 766227 871148 226653 259532 586686 960973 803335 562947 377863 672849 877684 156368 413992 854225 468145 340739 680589 978457 824199 756136 939862 242717 448155 085053 232995 179402 899356 021689 537072 612157 725181 790627 940834 870763 265600 579363 710856 313995 750771 924129 026233 165123 625088 481323 633250 564544 515407 565541 591080 480335 981231 060828 552094 110761 553562 286559 178182 119703 764960 036354 319084 722044 483864 986778 540114 385903 295398 847752 189849 861106 338691 683593 528685 354443 221280 329515 585425 313071 286337 948202 924662 616861 673847 420275 170815 885202 163116 358284 034703 276630 449938 481609 946646 302103 857728 885225 348335 988333 558550 198412 571969 163291 965240 184883 868619 244364 601173 528491 204605 290215 656815 971243 952197 205417 390628 766942 862711 105043 791279 692343 538060 959866 533510 548881 716355 277845 655072 730325 475859 846595 019103 612859 712465 207775 731674 202681 499722 132100 249355 986337 890925 547390 354514 300755 310475 642975 469757 801224 114305 724390 516079 316687 319880 268768 674218 821406 645452 652010 017876 634206 519818 118278 618693 308190 197802 038659 484905 811019 170821 706994 462447 903574 590745 469493 723118 484173 004872 318192 071124 008360 038036 487053 199559 698944 673870 157092 172758 238630 762337 423009 658787 243541 675654 615111 942769 754645 127112 774005 535859 579579 722866 361737 742233 452158 318295 275824 977570 343472 483396 628674 811125 643720 232454 495469 989218 809826 962400 578580 495490 259860 854999 798073 424718 668545 386064 344379 131903 904828 293253 932463 510057 730062 666709 236528 082633 120003 699757 162424 908919 520048 080393 779318 291566 374213 774969 413408 997752 962467 716631 456058 608088 277065 495927 880715 161887 419394 345806 391382 036870 814875 024266 804672 192968 435782 476633 657852 986191 787005 833994 909848 408128 687314 593617 647503 034096 616642 773333 271067 077516 491683 640391 301993 077868 632776 916716 453641 913237 343191 393496 779535 042367 159033 102722 346129 207678 133673 599694 226746 119028 921625 005452 313098 999145 521486 400500 817188 793963 781831 488508 659267 039856 801580 018137 308487 695268 017572 181276 907364 779212 617753 050465 864354 216642 915136 334338 422070 500899 214239 203830 801968 994899 376153 468071 959777 950815 090288 850990 699259 655090 659916 396551 832290 928134 947429 121237 594036 172034 376095 550789 151554 825066 234033 092880 305867 972053 128442 937826 400757 338419 436419 227705 370412 609770 797925 219440 633501 354658 320865 328569 591414 354591 047507 763010 286762 163700 317211 628588 721896 683496 938832 720851 905478 373849 135137 651409 777024 085317 186114 391102 286383 929087 662140 920893 385618 847186 528860 280787 970582 130986 232784 246138 084460 905141 627005 834056 026447 429448 372000 870243 331196 447425 576969 493332 940707 101199 963467 770020 959378 382374 205786 753547 228302 307344 217350 963746 547189 210499 404865 533960 639063 834038 886639 892447 344818 100043 700386 693523 862302 721487 930856 350462 708703 404977 471019 904064 362587 295370 624213 643989 682010 895887 471696 495387 174412 105399 734997 399125 643754 181685 938157 786871 575417 616932 489700 356720 297315 724351 313356 613368 858418 844143 932042 565131 484387 129926 218799 786877 399761 590930 199568 480188 074132 423350 890204 529640 436376 290850 760324 758659 595071 668329 785011 944444 416091 852964 118143 853101 990042 658531 927239 768674 852584 587903 117681 034856 056856 311418 401589 785488 642025 421641 210091 140917 326702 199527 556834 713949 982012 554052 255940 575378 688875 050085 422364 050083 771444 693186 841935 001602 535151 688375 742906 989241 399518 505918 487569 602831 473786 275386 728388 316809 533441 771173 032372 384237 983934 487572 223292 770595 362072 101876 947565 818491 436703 752096 652912 965621 119128 968161 966175 092158 260196 147478 293922 997194 003776 879840 858473 605764 370152 890698 286231 558690 320972 338176 413754 696457 269540 208627 401481 196901 524063 143473 479184 608285 511510 995804 932854 878452 078786 767861 266976 659196 767115 970458 028043 223900 662149 864585 794377 274528 878076 917653 729929 622796 423348 860063 297387 319194 259816 338842 788421 739112 418849 205987 585942 409705 121105 995216 004023 939479 377198 229607 175677 383630 969076 802697 352295 383395 129356 772676 026998 151492 687665 170690 531356 082277 049088 072986 248298 382664 638477 813471 921026 575412 929180 795586 738922 290078 340466 155135 216996 277793 682069 129859 742557 376704 680969 821195 050847 810665 216434 244853 765254 274207 405689 503662 902129 011567 769887 569927 482538 083423 212965 842478 861563 590228 136593 604626 049499 184172 254095 361782 486768 319655 550392 531542 869196 529596 247542 424487 131467 156333 821767 373298 479447 315583 519418 561374 805644 915093 561345 058843 541365 384287 574872 214131 148224 862625 486883 945596 665352 600052 492325 455369 083903 029852 972506 181758 336238 678624 247980 992014 890093 567631 136634 814532 959941 546324 685049 709915 115685 578439 926955 107396 051309 994017 235256 037702 654627 167396 404592 652523 872447 028573 214895 395099 616564 838614 432440 026312 501410 858470 221975 789417 237410 030035 197463 008646 605147 178171 490239 987404 376605 530219 424796 651898 211735 942104 301316 994627 351406 206709 630340 120570 201563 114426 508667 643139 411269 872197 799766 926012 114080 019398 890728 672381 035313 340180 200503 890494 019627 446291 540615 107944 130327 173975 431333 468005 574875 507868 245416 969942 366046 853470 904762 437530 337478 130647 568778 173371 310460 840284 326036 392328 012457 815556 395312 010743 487437 350144 222925 066212 291742 691944 274090 699756 230646 538417 881217 929139 902179 591161 784556 804352 236772 872746 667667 612350 602278 162117 318966 524493 352011 501310 727763 657002 982771 759679 499833 404523 033990 624549 594743 894672 884603 646038 787714 688114 299213 252886 930848 032580 200048 515282 130366 239043 362837 943216 698237 837993 889683 704273 676325 725447 013494 115025 930101 606507 259639 075255 283049 812679 369761 903912 651144 336909 890962 989541 596304 279611 095426 118572 367605 336181 339945 142438 968103 827501 645863 796881 538434 567549 167135 469446 607178 181169 450599 618583 567164 691945 946996 173929 465390 391978 033017 283582 621287 748562 762405 597391 864146 294302 606711 964253 268109 021255 731455 693741 472254 567187 648185 915978 827017 868083 478962 834783 376710 135046 004272 685484 793610 857703 244552 104473 217567 108307 538859 550354 501467 543095 902576 208073 384055 439270 910819 203205 797230 914779 419948 827732 513350 796199 493643 171131 166909 772409 576384 857575 184190 351236 971731 287182 365860 764309 150911 179073 624601 785202 684754 388492 003432 596400 047451 684943 951655 165562 447713 426665 536599 964035 592891 757032 220430 179451 904801 427288 748729 302703 705799 339712 643496 131206 286900 660498 549182 503367 240048 560100 879745 869915 091856 381458 362840 360457 353191 665506 027136 554238 473931 903719 758159 427959 176008 740742 987043 107240 983309 398001 599126 212237 730363 572666 830373 476211 341578 855718 890852 243689 773423 366321 473918 510176 662022 974844 263493 071424 883977 487832 674339 420855 246166 725480 501950 307401 193505 601191 825628 592975 980926 702407 531542 686309 563206 340764 564082 752644 630955 482084 531800 480445 005848 860944 943821 507796 559574 136863 247372 351803 706059 907821 371727 915381 432878 164458 835997 811159 542056 972984 419034 394418 937533 713438 215564 104370 687845 549753 804859 421585 377120 450922 121107 501288 975641 400411 836889 645116 811583 213968 054477 196039 596986 971633 139974 225643 869749 655794 585720 230083 887231 226084 832712 050592 164276 760247 621064 160818 333553 422406 175445 394550 248467 347613 137242 651420 532727 733719 932527 687716 204274 596667 575327 083121 276581 088550 005620 954697 472389 741445 893283 324642 150030 279724 910383 398824 139525 213457 297042 149190 916357 015088 929736 313449 889673 022759 565862 351516 551459 995485 533386 977869 981274 149331 412767 366516 511421 430817 217242 571347 907584 881672 695968 714649 423974 752894 798111 403139 063455 923393 708470 807725 239623 693513 077443 758397 171422 187071 648263 862284 325051 764303 611735 450214 298822 819166 518718 442071 699655 925602 616236 308469 188165 568435 125221 273364 440077 662937 726875 681077 718903 044917 307355 491016 968686 130470 460726 845541 390686 470010 147425 717343 854013 874763 860905 571272 667445 025699 374760 323018 231854 234070 708857 310659 387206 935156 620575 758639 634335 547229 877475 008393 175456 200297 084164 181402 091282 389454 102414 486212 341509 186320 118260 568289 574498 479235 171127 881519 240123 573640 492298 617667 143443 330248 416682 918031 138181 648521 171415 556178 086774 672328 605972 437305 094111 355078 177467 171549 407270 467267 870850 814574 961874 642489 793434 922855 252100 441292 109192 116404 249110 907230 085036 072673 183035 006476 073550 060072 797698 729005 683185 524661 290499 737212 543430 311836 064542 913991 203405 733936 470638 861317 331311 482254 201055 736668 861184 072528 819804 377474 798709 310454 295150 189830 234421 472981 488672 690854 150657 284667 843211 996993 223139 242560 314456 894643 392384 523436 565993 233240 799693 186533 016852 423215 917045 162771 609581 963799 036832 416634 031424 135619 237056 310042 147289 426792 578569 504508 786379 301006 383393 473226 309978 027563 341977 458822 204143 501255 879253 600894 370580 408777 171741 729007 556424 046741 044407 134964 717296 706760 035724 412260 987002 876752 661349 279858 211949 821290 751951 917562 871539 180376 047441 781753 524862 400416 660868 728654 299642 551954 731803 001012 098038 033784 392832 718844 575604 842157 938341 831220 402785 989172 181316 126604 180203 958381 290233 467309 941731 836314 860324 722812 111961 752404 239689 173654 781874 804276 449423 365860 672959 880023 226573 059795 737462 883838 529091 308011 066171 694244 310839 793223 993993 751481 468915 977455 382621 775823 993254 087292 302990 281304 631385 315500 550112 785629 330978 335296 869852 225813 168046 746425 168486 238778 999275 925331 124335 814874 765208 997125 177197 804580 706482 519027 126874 380882 610968 492484 372641 604646 480059 236471 168346 304027 408997 780846 463661 483828 502195 158118 857519 317140 947719 520535 224533 069846 873779 057202 487247 621186 260261 676529 037879 666875 744683 896822 772182 736620 458428 529528 652793 369613 150349 819239 808689 532868 178155 168603 221156 983491 779713 237102 362982 840017 564822 610838 841463 654283 333985 220122 918310 706497 588063 933619 880120 745676 244230 114765 292263 492271 901223 578497 487643 262050 891277 386051 100389 668661 151780 897959 624941 098651 917573 218179 572170 876189 009597 266322 999632 523324 460210 945125 213354 249215 551531 507046 588658 496263 710529 257918 907072 884143 878607 358169 799640 497267 188491 037607 911776 335582 457633 366755 808661 879482 854910 479670 337576 582128 468364 464944 914731 914502 798107 495201 374904 600556 520548 573492 829482 449158 119236 457097 471730 382579 944199 134995 462696 319447 783881 468484 144302 852665 667698 525829 850563 265252 758798 518043 418064 653990 849442 124779 539772 813740 228174 235006 291215 190800 295633 158746 895612 413559 407174 073924 465733 423013 467625 417503 623944 607855 120709 208313 338081 096764 773708 139133 322419 357411 661504 845789 840554 487221 001944 840048 400931 337304 798138 973137 628015 661519 438456 938614 612961 704463 375820 737156 825559 108196 230729 063952 814707 108123 121391 045808 258856 038446 397518 011445 284523 124392 489840 054860 006922 614322 640535 153045 643381 897034 672049 269841 311777 442773 848970 973188 320847 601870 564940 390908 513366 050339 006941 696628 600348 785322 941387 104039 257415 147557 044253 672822 286360 362359 641978 377554 237683 959221 539659 266615 726482 495034 261178 363225 003746 195118 761811 082558 637913 468720 747999 371486 034441 225733 902857 792150 514803 579984 857127 387110 961472 167411 040888 602422 790140 254992 518394 036238 697723 763076 541156 146471 948754 404763 201344 489770 495342 379908 899896 785423 115527 059309 552959 015206 002600 355490 891592 400533 106135 025720 907952 224639 591478 135228 641428 172248 229664 883743 677955 565461 499440 593784 792335 148716 909682 729170 020668 376233 483558 252072 311722 358404 304790 398393 321649 699356 837049 008621 961412 704219 646733 551794 897973 833468 661579 968752 134088 934564 381778 786368 556107 847528 924401 295411 053113 439499 904736 570781 672056 889068 572900 095571 075887 042046 946349 210956 267555 966811 459183 474166 868336 554643 604553 620628 828796 219970 261476 313666 063909 501482 043362 451942 712562 106563 306624 103776 102345 756350 448178 401679 016554 046047 014612 447533 332657 468967 600260 202689 620765 407351 450649 922851 666626 029032 222035 994044 461127 027605 717849 558734 116270 550704 073835 302100 458649 474433 631319 941472 890176 322810 558359 099758 575817 772624 507878 063744 984980 426041 328869 124609 000646 415230 938812 187939 295748 427504 069435 073474 485792 008905 555181 014003 113798 355253 266772 531682 383553 505114 462478 475432 176792 955749 867340 172744 801738 126468 434858 268738 342478 149084 725609 375609 846744 787563 499389 650011 289195 434159 100491 755914 375249 935710 785742 257171 286065 458713 335196 971494 860307 767743 709566 627026 962436 884931 405752 231097 251672 098419 450634 652494 684260 081958 810740 941166 392343 440017 969748 386532 374263 812980 274203 284338 725706 008514 488083 655868 879380 687903 035676 862948 698869 975933 070873 229776 671579 222569 072243 176913 957250 452969 587644 747190 539699 437028 334207 248111 783382 969039 537098 309874 261085 575484 464112 408057 996431 122503 592663 315797 698297 435793 639653 716068 514411 406596 593541 262751 235707 981919 558366 956622 292243 282014 431691 539632 551253 746669 104337 410310 576343 326919 589118 564008 105630 770615 614881 209184 388157 298175 141701 893290 755098 267724 279555 931394 528446 889050 495417 063127 313072 334981 682648 526756 795790 405645 103504 811902 191253 397880 262742 358935 869784 123338 187232 542698 653447 938150 < 2⁸⁷¹⁰⁸