There is no linear OA(2⁸⁹, 87399, F₂, 12) (dual of [87399, 87310, 13]-code), because the Johnson bound shows that N ≤ 848 994014 074810 278420 112010 868220 983082 456315 539206 147913 491787 660533 342303 977353 522334 690936 679845 342474 395656 417446 295096 255929 091845 960491 257142 896758 962584 007450 520609 312018 034283 144950 555436 151736 485815 731204 178572 578666 780789 808107 395030 913016 279176 140925 224920 826774 759904 761103 049737 059590 555845 621117 507139 993970 486894 460113 988068 175135 478351 317525 676688 914000 894603 174512 154792 901037 347680 985090 802455 236849 232544 231491 803475 532106 795014 913756 716231 635839 181643 023750 927657 810462 838361 609560 458912 385993 609603 531153 285029 669337 126532 299255 177021 392550 303358 243048 320142 341634 745168 720455 170841 365396 548767 807054 292700 172533 474616 928276 618613 442600 562353 360632 851624 762945 377989 270963 975406 001743 689402 877812 936255 478598 880804 624650 173428 782307 254792 104315 317604 782239 851764 297297 733104 451940 503896 548475 184414 612495 692699 466903 768998 336153 630794 001308 573131 175719 794401 289220 448563 780599 457863 101148 784606 018906 002703 102943 472090 806436 671671 828910 250628 635744 585813 445989 095599 812440 299454 022907 125116 095812 902169 858896 547834 846669 037706 585685 334588 410481 431434 517621 678012 050508 242526 065186 571948 795626 717910 879699 179580 607535 555245 315971 802305 206682 737290 810082 623946 168667 222598 092709 324133 232966 049317 474418 958167 314029 389514 571251 884922 167573 512037 776213 805056 744299 421203 486049 567310 669312 962574 641573 684528 521725 048730 923404 220085 104167 597016 796329 455464 201018 541144 700964 039487 118634 283777 569558 070385 194014 965524 584762 109805 510060 908986 177595 433811 241162 026739 178473 405786 075100 014176 243974 460303 995069 994594 767393 315298 483348 583915 982048 093424 336945 160416 438832 222382 115527 044576 895984 365133 380699 473067 748900 442598 277777 711646 328547 451901 816067 075177 809309 583653 034160 401758 404400 411993 826390 814940 918026 577553 176837 230720 775409 397446 171666 801491 328678 499320 186103 719987 401680 145532 120361 513450 156461 011299 526583 864789 312997 179887 772438 921944 670377 327802 058570 824510 415149 283474 008181 356636 639997 186448 816065 245117 973779 685612 860560 816708 839168 643093 390802 424411 410886 625103 138875 429151 164417 133164 378447 426253 581997 925804 607205 509166 606063 784873 736205 982351 884019 508694 549538 203811 064462 299938 325069 276876 067868 819208 077235 365924 525813 963263 169092 850915 456815 936083 948237 805730 526038 661922 340066 269968 348351 734309 353489 308630 520017 422479 214217 152471 704494 899475 493375 549264 390693 420811 788954 309372 597327 310638 181480 025035 832544 936647 517735 726950 381908 557055 090699 860534 666094 123560 234234 823167 385259 468258 683904 458028 427036 047672 849394 380194 341082 979305 576426 115696 513760 145831 980046 299452 084511 184161 517120 103558 199791 298550 230723 689128 320546 533187 993091 323965 126250 215989 818334 893505 369897 608880 805973 940770 820592 380076 428530 806439 010077 315038 113015 714011 824088 197716 712491 114301 959413 534751 717771 617465 974169 084509 157148 872560 996839 873218 688858 599012 281955 081952 396654 268359 860146 690490 565352 761957 810133 637465 312798 993576 031347 324565 675057 520036 794227 474972 570704 967215 595129 112309 270759 666703 385311 542070 878876 458448 705265 223093 016957 748059 414451 791276 990261 287049 990856 072914 507890 942549 393913 603131 933277 420961 326791 804085 327903 015527 734091 615520 677878 209104 556909 746312 927714 156154 815114 439299 197374 205424 629910 784058 439477 079277 485824 099227 031940 246459 886577 863463 743204 636236 413113 275864 044741 535225 294727 790090 923735 339968 164808 297740 621020 679740 147462 975079 933944 941595 279156 741843 029557 574194 953122 171271 621434 431227 923891 480269 123023 451556 765619 002011 295833 886245 131317 144695 980740 574723 205703 408527 371867 174890 903392 791809 847228 979955 331546 915142 562295 819192 682459 584645 112599 269643 338426 549253 996404 034601 217314 178548 575834 348043 030048 537692 138757 569596 894415 626554 221143 834323 329277 107313 562346 211550 021426 430334 333614 827140 469671 959412 805636 453008 002836 936279 682756 502326 754489 362026 904214 366728 378381 091118 246968 625992 881736 016980 571243 387776 635103 726128 748063 358912 656923 479672 071097 331308 945617 473662 666576 130685 142891 911833 653598 963052 663841 770421 285179 853932 287490 546693 202945 566670 837494 123356 419790 700023 208176 512594 185655 771802 291231 820362 254579 289420 881200 454186 755811 709106 788293 354172 441687 723681 045856 143995 765398 039703 250629 828658 207939 536478 815189 428204 239182 247126 588021 799436 586913 962496 372824 536538 887977 160779 806050 021219 976576 063996 719896 324089 909845 058916 856256 804792 751340 252788 885521 712022 081581 104522 013775 836238 485012 792842 996420 859509 984947 158238 992493 895763 459969 343939 824937 622535 431143 301987 838905 713401 621186 369378 020673 134676 082992 699840 762567 275238 303574 030014 136904 494660 291692 190932 786423 200897 816139 200841 638398 755838 435461 999604 460213 849174 951342 924572 657683 798435 221009 056232 550489 211637 506761 165127 396966 825269 238546 077810 018517 949398 955191 701885 213298 025682 285482 334297 789908 383813 158280 921995 428389 790441 120563 501000 314874 226363 174924 826542 702482 627670 504589 402674 215556 390311 319785 141344 004204 649495 209843 956892 881500 335807 374562 481601 613463 229972 074147 046104 919125 305949 168128 101084 011230 131827 654483 350196 046104 277740 552811 664408 430520 337428 986941 159016 659334 453048 868362 438754 288778 336984 186520 693783 109069 038840 942080 620897 126938 371191 243513 569210 051693 215178 722571 961588 350271 085598 834863 590851 044930 579893 968927 283490 427853 879670 397644 290148 771640 678187 461957 152662 009071 460957 596084 856094 020180 983177 353457 880450 432276 831850 950558 706962 879131 036423 405451 022232 833982 102283 570300 663645 148226 135250 312699 588265 992882 831507 747207 809278 090812 193394 800573 419711 241833 090784 720663 696745 402872 114101 271230 857846 509511 241347 208109 685984 743781 913029 624206 115041 133670 718434 866204 639395 548815 758919 784036 709886 611294 062968 258394 815516 166750 204689 235657 280353 815118 449185 031559 392513 995616 600238 619701 428288 559127 104236 858490 655458 727638 572390 586217 307935 599652 509351 128228 923960 287363 895949 496453 328451 881528 163487 361945 817098 649475 658852 824323 754669 800910 081223 341143 293687 822993 423715 736864 096035 816514 593991 726654 765380 403574 336139 670223 115225 703704 767442 391562 426872 877246 931974 043691 075358 168597 883088 711097 245320 623609 851375 009105 902068 150723 626473 096336 626087 546374 700979 510267 854139 936580 262560 840387 432299 820659 632267 512811 593185 969589 913574 195994 181133 053640 748373 340233 621412 105678 705579 306674 260495 176637 244056 970716 152913 905419 711810 583668 071924 935940 986262 124928 599688 244683 525965 911334 603892 097618 473010 102826 296091 500045 205010 901707 947075 550283 277574 984708 736873 259910 628609 953941 030793 624176 074970 742820 682618 268955 940457 368005 922999 086553 367375 505132 751973 368787 633951 677602 592910 211199 687001 651308 810858 861452 086456 425545 332288 571624 934936 243564 798619 771605 102423 258513 301292 224326 206582 124212 453583 821418 440810 485435 110367 348403 327519 262554 460705 553803 803151 925507 763637 039893 636120 573862 150197 007216 367865 266300 074825 260779 018311 022442 968886 809239 771662 311506 866588 617398 913576 744531 427458 389729 113729 679896 209865 710706 659359 830332 669695 259159 432617 589674 687720 247225 421630 427160 997223 534463 281199 298081 528443 755804 539481 508887 638096 138200 336269 628056 133414 730980 451880 845193 302196 009982 164023 144017 413982 259905 451297 075785 945058 878248 386903 586939 755007 632172 842604 992443 020738 732433 075308 206481 455968 473843 537771 433076 998979 234662 235103 679232 356767 879573 864594 697896 375819 465588 803755 793605 034887 608897 249531 873761 840092 362854 721984 735687 324047 251260 814487 205809 092083 432175 767134 006339 239205 889306 653964 692428 311891 839250 379642 861292 910488 011899 265331 061241 677743 655513 474163 071448 248884 357319 570416 439197 091387 805722 373353 613903 035141 851987 461936 128974 876281 858332 006684 439609 280344 511989 478778 849638 782294 068051 366292 799005 540958 972799 113524 573141 501141 051783 154110 985799 006400 981553 005872 216340 549875 499395 880171 170673 002141 094612 924045 635309 398024 993140 700623 257775 500323 843495 592315 924883 454724 581810 246481 828624 855405 973250 626888 695249 488959 341399 328067 020935 655820 687716 721231 557332 838188 184115 002097 087373 264962 877844 530942 191862 191946 934090 677241 500030 155950 702264 920016 952631 257231 497738 640323 953645 343710 057528 078780 138423 813744 451028 599290 311268 334556 044115 648564 206881 167813 156975 986232 587252 076751 014883 882272 836370 289241 114026 694540 973264 796979 318010 665491 679987 510543 146044 117399 255571 467274 887828 252388 584042 355812 814729 950131 879879 839261 026810 605989 720188 942301 732778 443015 306255 029790 499417 883201 487444 643066 799082 161042 696222 431726 311427 900389 613076 875377 266391 671172 073031 582723 658736 318228 110482 591895 846972 381312 616183 805419 270300 248445 553125 728604 888091 702009 675779 630053 277595 758415 974723 006730 844428 434500 893001 670294 896948 210681 583857 049969 442863 984324 961947 813125 701414 358340 087492 242195 490162 020881 174129 512163 262651 046219 544300 999236 787165 388946 028386 101198 347976 178402 407144 419267 741778 043971 157883 115534 921478 759325 166815 652629 319562 631801 930391 586113 312646 461671 946278 468450 399671 817963 544915 241948 642559 433316 936730 347835 136228 632493 720452 889989 622047 927827 453396 983463 442442 887611 898272 561396 206915 162305 973327 492802 392699 536439 118892 782587 187162 990638 017305 994786 177760 611028 661156 186190 077276 194378 489114 016162 450669 486458 407465 256294 708113 606896 639975 436762 264894 160983 528134 281224 676350 216871 110645 812345 246778 115821 267458 028653 593040 185580 750848 369391 249240 282583 175769 373638 602167 614128 054214 920308 393078 681714 268380 227175 491224 278974 765445 133415 083569 542153 036358 924578 250440 912666 894976 470684 711339 416030 448591 500367 771417 793532 245808 154649 073325 810561 789076 405602 861690 985728 872007 680553 096028 468195 066469 717235 531649 427708 979237 267596 732484 529609 320370 136941 273666 327586 031254 588136 742872 707769 621575 664788 872438 172022 417211 029282 195929 114425 141722 487219 651430 370776 250130 851319 883646 355124 208459 073930 451388 746286 581790 641549 443478 630244 164601 374893 207340 957077 583917 423005 775481 309466 752515 365565 496340 676921 721670 019749 674703 206953 878312 631409 688449 675006 183349 742752 684754 680635 203612 391705 326343 062466 191487 950317 877281 296403 487585 686574 027921 830394 010309 631891 941667 316858 048450 528537 306956 770039 403190 776526 003010 442495 732085 524954 973600 416567 708299 070449 417189 730070 617753 914598 904397 532014 674212 246050 289252 891762 022127 385658 710928 536379 675838 780388 187018 862245 022089 698199 797451 785500 568966 826912 757296 870413 730474 774115 338283 168531 551644 653184 981478 048250 553503 368234 496944 617741 681158 687979 004676 729345 819175 765598 787180 883676 301558 633976 354591 516524 759336 778860 909682 996007 394699 173944 088770 072814 621093 353623 423921 232796 086037 629495 972764 740226 181931 949910 518881 558065 350652 617800 817672 034627 850501 535599 997133 711033 013538 350356 837838 311124 061536 386148 475048 372994 887076 304801 886056 320478 109067 926735 931303 598562 017674 619479 518842 958582 386737 369528 243856 857376 844329 046183 971841 185416 192786 140379 577662 819141 414677 980729 843396 388018 566257 724451 650071 533882 054451 507830 457827 113077 908032 828310 203579 854268 885323 323934 423598 368906 328320 228573 500132 730968 337014 922248 659913 448676 770415 049816 347829 758690 947052 622488 819517 604458 769151 608948 518866 327311 307989 611566 803061 378298 192409 933449 680776 451199 614946 926916 993791 674576 520581 664332 402265 754205 482032 260958 716692 685728 049306 940124 805739 533878 703333 618097 369542 715722 957789 609055 753683 974628 459562 793783 158959 394631 879533 023850 262008 947268 135662 273264 449021 010536 312509 710658 418158 804571 264783 452585 804258 067231 873239 572993 450067 501538 403591 966868 627152 651451 488071 405891 619550 332341 732243 814059 873584 574829 228787 639996 224583 172969 814946 432549 440699 261685 320647 773610 172017 183729 464447 192170 432508 672631 929925 383794 083672 889973 596704 324490 376439 124434 186941 083751 516310 849971 120609 523602 774952 840161 981248 672463 047329 289720 583811 660016 991516 786035 954986 031903 871780 880088 357252 695352 725649 826696 235230 642872 848666 801804 506689 915636 560633 118715 379965 258237 678723 694672 647630 467774 639157 106967 095412 418109 031735 368964 914803 798957 575872 416904 779495 266958 104164 964210 734791 600076 031152 040657 739297 735356 669248 056791 488054 875862 381452 479037 589782 721935 538279 375444 844951 252322 422692 471138 789696 611782 375980 767529 541146 097593 236525 807690 714465 076808 733747 468615 948837 184140 470624 504346 749941 410885 133029 983079 269045 618907 506267 276242 362581 216045 666633 194234 208260 041959 246545 085034 516769 128888 507683 748864 486868 141904 034960 202053 528839 461068 596471 499721 142789 846715 592828 643530 488978 068697 914087 330947 912341 171024 775174 362061 653235 472005 479330 791063 009545 052180 023709 612951 827650 822090 527424 372736 065266 404164 039722 179297 876592 869413 148756 367676 199653 538351 223033 237492 843834 161794 884039 086227 620368 419449 173848 354518 737847 812056 461550 256150 376801 315461 952523 360203 425955 041823 831126 130292 078391 625209 646715 331233 962852 202633 954820 428950 905794 352693 714499 099949 886643 105401 813882 802114 581166 143542 181882 559351 001776 974628 130307 482534 850392 495249 391650 420681 790914 987665 943381 244258 034100 301155 924859 764329 490994 282174 814748 323153 931416 005678 081562 174952 783437 229153 475726 553400 223630 491715 349012 445632 077258 529143 958230 119566 017542 034039 414381 386913 943335 089107 351323 744633 087552 534428 819981 122928 267425 865426 393523 769221 801273 895181 737112 150357 996122 865098 075763 888932 062135 760977 794973 838772 981830 823860 461528 542346 344186 359084 694261 359896 726596 641688 186344 805174 016207 244385 803188 393938 545765 715991 649081 195561 517718 383722 624549 388435 529789 362728 164826 051796 651676 129315 016342 130650 368108 630896 637181 526383 738574 816439 132974 986186 471349 995266 367010 022209 869515 677722 400474 251438 821286 925245 161269 926287 047136 024201 230755 393469 238339 358567 515256 451495 549334 672093 676578 399249 531067 679273 951468 238511 451097 803588 607050 590872 778711 878562 737261 240556 948836 323129 388285 983166 186884 370022 632145 691533 895778 085529 688875 688083 880537 053605 569943 226111 683562 610568 781289 738727 696182 036734 693099 647920 799832 585274 750523 381120 509328 633509 259399 983313 436563 112088 608042 730215 058287 017308 800412 262997 808861 347901 232245 783055 618108 133082 200070 209232 793520 745004 546241 300187 955396 790202 435200 255721 482509 633153 860327 907064 701462 030173 990226 778681 110996 380804 352747 327596 755824 256569 832580 257271 214585 819110 242228 193178 721012 183179 352364 718460 291668 949884 580682 416187 241222 109114 515445 837595 419946 654913 562329 270363 764941 965916 045077 318442 924151 711324 002152 736265 016347 106008 233269 858866 902266 623980 365534 737309 665863 171402 640015 271976 080800 637360 591931 995073 600663 092164 766111 058504 839106 000660 714355 349997 130527 292054 910080 611244 665512 073183 558674 140402 151590 324583 227521 444578 025217 588976 710796 594277 033625 089670 312034 172340 247095 602305 171474 572939 872496 172446 693744 714018 045729 629877 918340 297321 284914 596129 916861 268758 883308 781157 167575 960502 144005 974175 700018 603288 481515 046695 043578 894962 445247 802142 898978 878456 336769 776484 991408 318555 734897 639540 007842 101949 744752 648896 648783 708930 989577 443044 151418 995018 932449 987397 850888 055958 120286 366737 401202 675108 670224 145916 994112 506315 577207 754695 414404 528490 391400 950960 124912 624695 465839 745373 128347 328237 308422 350937 914165 147950 059104 499766 464296 286554 417771 017299 113442 907695 939272 553724 119401 481152 716303 943292 456287 012231 956518 310795 598213 090430 951901 952132 731197 714779 502272 776564 740706 881246 395334 754550 440334 442219 424467 732216 785392 866697 028442 475438 684748 410763 647113 005277 293250 632187 144957 442607 640247 483737 254255 507574 907971 209822 188134 269217 150773 047273 792810 620754 373523 564760 733517 681816 971911 563658 671534 781929 081116 663012 566928 736938 478744 206829 441167 635237 676804 465588 368818 470743 072618 528293 540611 390914 395753 548395 008616 883214 591693 266879 072318 638008 778486 932262 869667 957946 407453 149589 685424 494282 501006 099120 258505 100369 573432 900821 586241 371254 746879 125407 244604 194883 082019 303479 757841 380303 120872 240578 276522 141442 781928 950374 678636 082373 302989 872284 960432 131174 649104 967834 026667 785731 274361 882171 389176 357955 855101 112393 243808 859121 047374 401486 753335 723374 200975 246132 911023 151352 699826 060128 196839 434786 287934 459343 533767 268148 603233 119813 924545 504963 602311 773151 021468 025677 759919 175882 475514 065231 900020 151664 750394 702899 324018 455424 522905 314628 178960 476066 269985 570485 067884 307502 641122 173957 863965 577611 232233 976239 638253 534288 810696 429331 642994 620575 227711 931693 265905 219598 485259 937223 896645 784430 099725 322635 932610 706989 903919 099771 672026 668424 693710 959385 641257 074769 699333 189506 400136 606625 252487 883254 835552 651446 195735 864455 468394 112431 815104 164799 495999 089281 618546 907346 080406 287771 790771 508127 417264 406073 401606 655421 274699 813558 866271 993352 966772 039308 621570 732201 642132 994461 054238 775653 357108 486484 367181 252082 995752 947502 335828 920968 679607 965364 507705 715703 058946 720395 583536 962308 648704 014436 819576 983395 100865 160276 434207 777883 707728 215886 892780 213174 820242 757365 059204 138351 886865 946766 131893 699897 085053 986545 273056 227265 507031 894430 514054 414342 806843 165611 653614 677123 064424 017124 234186 119758 733220 204995 420358 667054 814560 010070 471501 335543 370321 723157 209655 240508 648301 123488 195916 354433 582082 574776 120593 930457 477526 866634 621015 019230 454777 941026 548858 846379 260590 549713 118329 805599 392911 730047 385703 050884 882021 658239 322151 420011 417378 837632 754612 698355 949996 910724 587037 256480 011095 686338 189346 154317 178849 883339 517643 166119 407034 123696 014997 175230 611708 323990 218150 096373 203453 869341 160087 080557 060594 624008 572113 084328 688493 599097 750703 856399 474337 531828 296466 394815 769145 853936 241112 597173 243994 400394 904444 274211 376207 503730 279610 687067 765071 554255 535476 291156 761439 770605 918359 729269 996448 917836 705751 277732 789424 396550 914864 372196 625453 163772 776749 672283 238463 757918 617614 926085 769527 281778 402743 556021 226914 083951 275731 216095 079121 368325 772481 645246 247268 141871 426503 207254 157231 251031 110333 641872 157303 130566 245137 231878 916485 802520 878141 921338 482415 535346 273285 887567 112946 959627 115365 020054 731888 603975 735790 336097 836324 343374 812874 098384 935262 648184 142572 459193 463556 622400 924371 468547 415161 683541 928234 187789 148767 796718 417889 991348 226118 200695 454488 159714 430171 564347 416049 810070 937091 576595 074858 881989 379918 993003 266225 922174 333339 392601 784340 822086 464563 612955 273655 828344 418465 356766 407130 651683 871592 408328 360249 149046 052036 146041 552827 405071 762246 622007 560723 924471 523694 380877 785920 940211 641330 736764 784469 124688 298344 691183 932157 855833 139528 015179 998692 047682 497766 978434 635886 003056 674878 877000 402689 741964 554435 701246 330647 085082 531080 329497 173605 985151 236731 748266 871323 023565 512985 399298 628076 352578 032777 319358 206331 653094 197321 167372 637750 400685 883256 247680 243521 211475 007182 237032 915980 703535 703922 461117 800202 589628 283397 062427 574875 284171 886091 382863 924103 113584 821298 230630 398539 266476 722178 025615 722876 286068 864450 892852 434720 617375 674518 661769 975653 850131 651590 591977 793837 916624 969922 100431 363947 773279 017493 002121 397798 812828 103244 242849 137780 779119 298099 165934 287562 831389 016804 742615 103635 908968 993928 983397 041301 936751 095119 872050 666985 262077 347379 356420 508561 239861 754383 105732 965503 569451 797437 016704 748192 374890 170771 983586 561525 996948 395112 450153 247874 965772 765712 548462 763521 941578 151431 144417 391587 026470 940710 674350 045263 858041 374898 380484 651212 576700 052744 948764 058989 987798 865605 723526 959409 069385 125722 133924 326450 392009 383313 377668 448573 189041 725685 173791 156465 071912 984885 384565 623921 941644 948167 055934 544063 033546 620979 381411 117402 827173 354824 389876 750551 708164 273902 605306 360651 628031 043347 835671 314450 346859 223280 668370 128918 279246 721500 881270 762375 437073 970924 166599 097460 729911 070248 198173 623167 891475 360320 498451 518508 809216 445019 470662 755507 180540 068060 472100 519485 282742 049314 843042 062976 526343 293878 596890 000270 506130 209218 171875 883021 847848 735936 618783 087730 827111 376765 769212 676477 278189 304362 906151 125960 504392 183397 729964 840646 035842 655863 957228 568960 380419 832953 323137 816390 054247 627692 272684 398281 659504 889452 985452 662686 607875 835731 764669 761736 952818 459175 793145 580344 139596 992257 516240 849786 452686 997832 570686 985186 278502 121598 553282 592748 784026 515678 904466 602989 925402 128046 997299 141253 968965 429340 424537 062781 693885 674457 114956 927824 259818 276491 067660 613197 997382 201759 683557 136616 978457 544490 041962 573047 189347 288295 936133 065182 436554 221435 074762 099337 895801 054080 116495 347311 945370 003023 362612 954012 078475 860478 917120 884676 676387 160335 493102 885783 358812 089332 060908 552088 550800 714938 740112 368193 205387 728459 278635 805736 335521 261282 969497 910109 484623 459223 400774 735613 927606 723562 950474 718242 415314 872201 046075 820644 744563 566804 405892 703102 592279 817906 169052 598833 464151 693346 325590 458087 372749 404428 759105 900832 966572 811844 265922 737063 446674 366598 520150 864647 250434 398146 161020 233345 889166 389279 824278 380666 141251 652713 458347 189126 129533 265219 362695 029879 996339 395305 939347 682521 071761 788613 677528 427039 405109 497337 107427 401858 720843 931911 441780 678435 643283 284242 683524 673273 298231 376386 582004 893104 846204 253643 576077 419175 367085 226230 955703 574306 411947 602939 190597 506481 959193 102768 010780 007486 014137 045727 156177 819939 629859 721817 209264 801760 622814 762070 562427 136223 146903 677609 859306 596024 396698 470817 474896 085918 256746 319252 269346 595300 333963 394164 578122 811082 576692 065937 804475 261331 387062 955936 236826 659463 396499 842204 950401 005764 698437 877185 914788 909536 412779 607529 658813 730934 343817 141103 839126 832290 523542 802260 916338 455738 776310 176673 327370 371971 751635 326086 899272 269976 491472 692105 592054 861594 757068 622902 779913 961044 589106 455867 159765 155997 685684 046989 152426 532531 842131 888420 306002 786570 023355 345002 933460 986017 530441 267890 669885 424046 114116 460969 688433 593696 681314 468156 921697 736018 808261 716774 990829 267325 970834 752562 533601 082799 093231 144916 096458 656819 763325 509774 286053 360422 816377 017565 144934 331060 384778 403063 936493 816706 699177 473327 134852 348506 905103 510867 670069 492345 949574 725091 402620 524753 223370 331231 520898 584198 123032 187114 832620 463457 882395 006183 116384 649314 223665 987465 072024 423392 485733 672266 250532 613311 682076 243178 287362 346392 788631 744935 596762 423858 357332 011579 135425 876215 789809 322235 590836 683931 970516 871438 972711 842429 348443 009754 961346 877733 608123 405724 582374 093761 413822 419477 315879 522009 661552 872895 865798 158660 347656 838962 809944 922235 177720 798419 872011 163153 593591 021955 006803 096442 077747 526933 385196 756365 107499 572244 290035 594115 246254 958590 563468 345629 738228 461079 875325 923387 884223 424030 181469 921043 970312 321284 257230 886455 712007 314225 259021 807592 964099 522045 385280 554547 997536 424548 511286 806031 206508 742341 955224 524347 221846 972069 609041 280429 566317 736364 254744 318160 953602 837218 903173 616934 496829 710611 984195 702478 967957 664005 413706 690345 382571 268895 626127 830423 336612 855044 618091 219910 289334 655567 773390 160536 594284 936414 969767 457470 391549 929914 912422 378154 044861 706374 060758 439951 567206 901429 302976 227960 106321 364113 427017 043587 688848 180011 357231 119945 334644 455520 771354 889828 814782 182917 786056 183655 873998 802240 434728 790859 253347 983029 540476 016376 713873 375156 664062 670312 173307 381064 007475 203404 574125 838653 041642 426349 097947 935216 543621 381128 491868 772475 249676 966313 336510 955510 733802 990640 119932 834791 419666 184381 835197 749152 096244 267935 712826 741408 742722 453803 050596 334459 320555 264721 067125 102568 656693 023485 240461 825250 157508 584346 055075 558901 631589 596368 429384 540427 107790 119538 328515 629722 746795 439808 142960 331476 796590 291460 707790 365120 993549 751518 758070 294109 834841 470540 522134 119020 927774 724951 451222 035453 866610 898165 235364 573288 502920 517804 246897 161339 453850 218216 208944 918622 552237 774729 972514 926456 405972 912992 224215 581069 759801 527274 726622 921853 782801 901221 286571 855677 144642 097039 937662 424117 529590 033259 603542 422083 041077 694919 312027 511481 487803 338872 425479 827401 959287 911474 975607 546224 867080 832537 314945 126721 771617 419479 046394 026221 844028 318553 035732 948476 769132 415743 993940 605056 612020 451848 112201 620046 231097 227009 181510 777470 469840 344451 222185 814468 984011 920685 471349 754939 615919 217732 017743 900335 204330 109404 363473 440135 582917 489758 578297 437038 467057 901590 695068 989246 337221 968364 858386 287075 813115 211183 643922 977819 580191 173080 514034 073915 215455 831338 513982 592113 251733 053085 876032 953088 623666 505594 300898 114352 896641 166039 805072 538192 080531 218083 434233 024042 249173 393449 481665 669018 083592 446950 283942 901124 554284 329347 515954 225918 847868 775846 522306 876287 718518 155649 604199 429294 225737 480389 284634 687310 876583 197773 178294 818510 925968 779274 124181 696674 679192 236464 162761 640441 711202 647267 174933 810490 807901 652329 228499 351500 258387 509409 621984 983515 137562 558283 298891 554031 046920 077418 571388 069871 984499 344170 993352 709457 263968 882586 758343 706673 951960 665602 248701 804823 752079 438909 826226 071309 884480 266149 265055 651367 917898 313820 966337 089466 253180 632415 048548 527033 625081 105872 530771 143743 638241 036237 155336 367832 479120 848799 755935 035264 256320 288214 877206 424817 988859 176921 866419 906039 670869 318772 500187 015212 599885 251762 223307 341122 524304 403756 209984 325008 558945 642752 279366 931477 452708 268255 064994 844829 849413 979072 072979 842758 321947 232685 399397 936932 391826 440093 624011 540577 664412 411878 674490 425898 803820 041885 328971 029449 619070 703064 299365 768225 900710 718080 291973 360835 984709 661398 330032 644069 713038 584266 778263 262979 266697 079092 396943 142741 524402 940974 220283 653732 831615 918477 645731 280909 543934 246631 980821 390983 637824 987757 015737 322719 637433 897429 064464 955782 006831 940733 887700 711297 150988 688259 425972 427418 501710 403670 049979 681519 994989 998321 049329 696936 781839 544759 671857 645191 650853 133952 735884 934058 593616 570711 012251 606676 583704 193827 698629 204106 164578 512313 354902 736863 479259 701453 114199 639669 061976 266332 388158 255154 948794 068686 728597 251657 385474 292609 314492 747477 874856 583904 642199 351768 451125 011760 945417 183464 336975 343534 255515 415795 756255 320461 919721 106094 506125 541535 682876 098199 519643 420876 764307 814193 096378 013276 232069 672628 575642 970413 752669 821062 392217 910285 169896 829186 494078 884456 669676 728837 525353 790987 445380 809915 841433 887623 817565 592893 385562 145645 812183 015611 794745 779922 194878 244965 103698 334491 100992 172462 038943 287373 499070 106334 387939 395709 541783 403630 888355 846227 965286 950476 317758 168826 630385 097487 869708 071343 468345 459191 972964 651915 660046 713953 583537 219211 624900 687049 636003 352871 891628 670509 463447 786545 527573 242829 154774 825705 035851 922772 739197 464904 977112 003080 680447 115742 756095 440681 942877 930915 107227 928985 529076 692726 731475 646242 752003 858910 112203 925116 709515 718521 141587 185267 417325 834426 567694 253040 330549 466907 721693 874476 045910 057011 451876 356232 638094 423068 774093 062149 570214 872694 212123 656064 899556 137400 002838 322863 607825 793254 633634 113549 043915 143800 414262 410800 434211 679443 229346 972367 832518 559930 170378 698827 668646 935196 527107 176617 310150 747122 884336 906593 383257 504723 247979 684255 390202 967402 169620 064817 939772 682002 536763 477028 512145 962991 914046 196528 959965 920782 506809 529463 776094 293858 085185 145504 722194 952329 265706 925321 447265 346096 347611 824428 772270 596022 060212 996007 380558 775768 508933 481753 663291 671361 187054 737510 220677 708367 254277 483715 981897 384746 414797 415002 769310 433285 603758 270475 183159 < 2⁸⁷³¹⁰