There is no linear OA(2¹⁴², 85235, F₂, 20) (dual of [85235, 85093, 21]-code), because the Johnson bound shows that N ≤ 35 107618 645878 039126 865676 688868 331054 795531 592713 402051 377429 966641 805076 128413 804935 284514 662359 244064 203384 986398 585811 895676 872537 052863 938746 563755 315099 365897 019174 163073 707043 902889 588071 024082 345355 965931 338908 748604 087088 823981 655814 488759 646442 568130 295817 123628 557991 253302 229237 013174 542231 489428 011584 801736 358215 158033 761629 262932 312978 459400 042895 898477 096428 458024 304992 719906 810072 693182 657835 605706 956453 013382 579321 064884 666557 611459 646021 855411 186481 232329 739782 984703 679277 639896 314856 642026 336359 601749 860966 548119 611907 262469 762632 925251 844849 918003 208467 507183 046083 362385 963792 819842 883998 008363 058096 610750 908008 101448 151305 272569 419436 585219 987105 461209 443615 658639 248510 225331 256061 341518 564563 553343 333189 039734 254418 104860 381288 464219 815273 824560 745447 260261 886021 549994 171113 347090 913366 344630 755577 567543 274263 038994 493309 076317 636901 151721 539346 326763 026332 377742 550582 128528 357746 916456 556295 673874 211968 420449 217986 658686 099674 618821 982539 305342 627981 001593 922095 076988 114684 750052 611064 267464 291245 790602 284723 647982 232156 036929 654526 722944 079990 286136 059296 991135 627734 273587 212064 069947 420796 485503 557833 846488 835914 175870 248620 148316 168793 900375 108807 316474 277145 677200 328615 147657 226470 317311 746807 842016 388554 385334 648715 526751 960817 505076 832804 679422 169848 826542 086481 605929 561736 377070 746333 500200 799346 113365 130163 858148 341913 888807 945042 680378 922847 875722 476504 545420 258308 206157 325779 319634 859238 688716 465333 788088 209171 802049 063922 385452 992564 418317 947736 509043 906526 023796 507920 382739 464425 000675 655594 307447 183154 505511 590999 329372 621522 456865 647897 075149 843177 572833 637726 645485 069420 402633 657262 453777 920991 233931 491622 310607 882182 426332 013483 668347 751490 837707 144238 421669 713189 766236 743611 504532 914124 266510 798957 671943 057825 649897 951904 594358 829074 222333 744165 810927 847567 214984 354101 338717 927559 020287 910952 467536 278560 008149 592663 489837 931373 713741 456967 882027 680910 022185 412011 023668 152753 485091 498174 671611 500252 766961 651832 757299 512187 920029 258326 321041 363770 964255 242523 410442 702893 288906 074335 996226 476472 262467 188181 527760 225145 404038 134035 867577 527029 189639 746212 796170 757087 304983 253258 361343 790856 170667 287745 317427 691592 443805 330751 594679 576698 875178 779431 142957 353888 481279 855814 476046 301093 296884 948516 020336 043626 354086 336677 598755 657014 844017 102903 095198 923831 039972 944177 336492 094631 788159 862492 167166 652186 286994 012846 222960 523759 198413 312110 818151 612281 817572 832522 252256 722725 858026 729329 135094 695122 193827 473926 788886 838325 138298 672675 800999 296646 194324 979774 893348 985573 506393 834376 555011 723796 408581 759941 028925 257698 768278 332839 616633 992066 770808 236775 475749 708262 264906 596269 283262 984194 280459 566095 469644 155010 789551 516997 578486 389995 580596 440829 433136 698072 527547 348958 599403 639350 798505 425597 895941 422387 100705 592608 980910 432044 336639 217184 216065 032560 659241 524410 358301 365007 883773 807412 482332 987784 130052 133149 931941 303947 437827 982532 312793 398847 854108 750297 463856 747050 085803 816698 111186 643314 788087 406215 426331 015835 786778 899230 643370 258120 518831 787517 895251 228132 075973 098048 767508 003984 881322 696615 681431 899912 832693 046957 887498 212933 486361 074740 723670 193860 625425 208505 722939 236927 201929 645004 623890 305038 399333 259293 696572 839008 342282 934219 492558 632068 571917 342022 554870 518699 039357 238956 540065 577929 792160 076079 785250 317248 417932 113163 254669 204207 997565 302172 900734 869554 815763 482671 554038 891641 344325 942006 857499 285262 940726 315183 411104 731373 148199 836932 634529 248648 248957 729882 106338 561319 522115 505768 256868 944695 396888 270407 291222 990116 043333 682038 798752 131170 422372 992596 182872 257068 303448 170194 525974 887946 502088 202825 116114 571717 659409 809798 275783 442815 530839 303433 136484 782254 305612 701704 271720 327382 430771 828980 266733 765375 658291 180211 823073 979260 753134 612248 275955 320345 877430 825013 837241 989622 654523 890251 135506 454442 631456 657694 470260 424396 309813 774636 839995 614931 343285 090675 642583 265831 539687 540773 945015 293597 936722 187773 332699 759313 401224 705402 279726 474356 030046 070467 015417 749818 950099 680624 299370 665594 150344 674024 812120 243159 022574 434961 865797 963416 046557 200627 601219 065307 733806 488171 916663 352531 160047 441633 865734 306542 742263 822144 344476 171594 955366 794123 274726 512125 044353 036273 439251 017805 136828 655992 713709 210602 734930 975907 795632 610113 603153 959573 017997 422599 061057 856457 901528 066159 105520 555259 499974 919478 689711 523582 499187 136991 222808 388644 920125 250647 760835 775082 422047 509440 236930 449636 342844 846028 081797 594450 943038 073075 248177 344055 589276 192250 046095 271702 766465 138858 726100 115091 307060 067773 029770 376228 822510 671471 962615 043932 055700 680041 618400 486757 924511 256762 331130 830046 280426 519897 487156 216791 424331 047752 418046 646033 845878 057974 248696 936921 030384 941325 558286 979357 782645 679158 519201 772228 632719 963487 147600 340857 328941 732981 935356 235939 473067 684771 444644 609328 171977 975483 602186 929572 940591 291751 378685 100310 288212 885999 685087 771061 577770 457713 795667 336678 715635 963754 609892 515403 205875 811797 417739 164780 304864 244298 120378 985422 951774 111970 982076 881313 095639 734063 092242 208445 169789 580458 566572 007834 602369 131208 829771 235618 238447 681645 396055 462812 892963 334675 695434 931521 841869 458282 906849 198138 623340 063850 556135 021716 344370 246775 920624 880518 577597 116980 627859 192559 409551 880461 543709 839070 371535 422596 186172 756834 532846 007200 700611 471317 376261 124701 830380 701044 828202 952374 488510 792292 865698 305513 970440 001448 897025 820366 520183 164580 980379 305702 145677 293980 074897 505066 586352 878662 166130 351887 058395 031427 479195 637561 328368 251409 794745 386437 938287 422851 417626 974855 474034 426431 081610 583896 634644 415510 455611 373203 343385 384963 942767 082056 684124 821277 266368 808471 273863 484741 712328 005327 245140 450752 557647 134016 480922 850163 241408 890058 711540 100539 484713 248847 654193 609904 511649 839039 671508 030242 016269 799146 510035 955785 794432 492560 898998 384003 896726 357757 540457 049846 547683 836294 175358 056385 425586 171125 024222 823835 428476 191321 153501 466675 312375 687867 328256 909431 082327 266558 801006 244902 244385 656798 875921 014265 493211 232930 808280 609168 936606 553575 589444 734090 921493 642434 168145 728251 286727 565307 087848 745911 425347 450585 141638 212033 481863 707187 691506 198425 709526 840813 608006 228704 393677 697413 767899 282920 308915 190311 825768 312928 142098 071096 076454 922892 421091 539076 329606 294525 450636 105986 174686 385142 454671 869961 363179 305603 766065 239360 152404 110482 026184 325313 892330 367891 873116 015056 690570 810327 032095 946853 662826 928675 696195 068507 100200 514542 865064 475404 533705 761845 635904 585036 328205 947047 474238 186198 906992 918936 948974 914517 036029 348788 496405 559890 772196 734522 470388 167794 557717 708641 529022 383380 961229 715629 933938 496896 995638 690085 470143 359954 959353 132063 972108 303314 045388 895367 702798 136717 346020 160988 261289 262802 727208 205601 406794 480383 635284 878436 380183 766604 538198 170454 550631 583748 763666 295221 337023 795396 611237 369088 405746 623775 613551 769708 028419 186814 456187 910569 872042 751204 124224 983827 527439 063502 970368 632832 299482 143444 142314 526540 272378 037563 277740 013145 970716 677230 605878 043922 018498 562529 292047 864004 496297 730792 072661 245751 590926 051678 906604 146231 965857 471311 894477 722185 834372 339612 373812 732566 549514 205791 917348 996604 695529 778213 494937 067329 939518 474557 400728 038922 720346 000713 999127 743334 974259 292015 103662 091208 534366 505524 647137 149486 785217 541814 628589 866090 713104 262968 370321 730545 849511 698099 462859 431326 357774 765839 071329 150786 987924 262868 346306 629791 147236 555852 368841 128353 329781 061452 916034 890893 209628 671785 708653 317030 151075 062382 374654 701615 350642 479643 882568 000331 366133 024156 896052 033421 100349 610259 941461 517930 319021 838067 626841 153567 001395 572952 999520 361249 377679 121709 672181 214594 816359 345894 248382 009444 721320 982465 172835 215651 537361 062672 254500 783459 168783 778995 610186 351023 835331 490839 352785 142912 896316 113605 127837 604674 105257 607347 617107 039778 221384 390324 460498 248386 993559 497629 812542 502285 684369 182418 569278 949256 845679 429431 362087 592837 371416 752671 098273 434781 365810 462523 413122 825871 001251 153670 806726 282004 283452 174750 469718 849982 052507 632692 257197 419478 716555 137079 918203 066445 800069 040084 767360 154110 370957 056904 581948 259467 002095 798969 875555 807093 416531 971668 507402 110480 884989 406918 320483 061106 783694 035026 565727 192676 582918 800131 388389 392643 634238 511200 255823 707906 041162 513875 623554 861224 135531 476846 239229 835231 933478 596878 444026 195268 497609 329998 449965 493200 223929 539164 867376 331207 625391 628196 341401 847988 088851 153515 208386 799834 457938 347575 524031 040287 025557 600206 452101 340497 383530 450380 727743 477795 943683 559965 526028 859395 738128 407627 044242 451408 057377 092001 511092 033410 283734 329806 367162 749403 359830 846268 215872 971450 714453 334488 093123 822744 763820 406260 445120 795761 337576 023062 522869 566154 788491 614259 748286 232908 801908 163751 407933 500772 688888 953489 986823 243697 292882 360362 935754 320426 247805 201140 336696 044174 037679 980633 179834 792526 836954 542028 449848 905424 758271 363477 493289 867484 324545 452935 248235 089290 763417 187246 111046 973575 900392 657681 732773 989703 267469 477389 748961 673951 438326 390567 181441 033344 195560 110474 802165 420392 658973 467157 537856 495343 384984 329518 355230 439653 563421 035121 919698 946123 605144 362937 347146 731848 384938 025770 567751 794017 772174 368677 639382 412433 071940 697359 089848 648314 707605 011585 989076 751951 282062 335277 411645 131458 758975 765741 779266 861792 733681 829363 872303 593207 112660 044905 197651 547952 556908 268900 106530 921595 360696 741112 616738 006114 999521 251561 802255 090548 911792 907365 371128 525325 003830 489268 641209 676122 985288 002664 293042 363787 390826 599744 514567 715692 403634 480681 880105 284739 644235 414747 965874 521043 191814 340526 494080 565828 978121 199140 029772 869241 959543 262960 589963 502344 919813 205091 288343 578044 414776 003038 949809 094935 554687 925146 230004 689155 939893 632110 918527 408356 261119 704827 813867 767580 510787 860637 330570 236652 204630 347451 723980 964274 303930 978895 052738 728672 029540 104618 313704 608334 534754 833063 247710 587107 963141 708374 121402 014468 757449 163726 020372 282648 623887 956477 081475 082527 171071 969035 841836 487607 279224 923947 100469 321681 021726 135517 132852 134698 422312 249248 750373 761074 423441 181411 652470 798655 151174 883731 834479 536364 394507 594014 777715 925065 598349 246028 963138 063338 431820 194480 942149 477055 189677 432625 949960 119306 964861 090185 184397 016086 539656 525009 809006 810506 644467 752246 822031 511316 547422 974829 867283 045099 829654 184223 744980 053470 983977 624121 879769 242680 812514 273428 259104 158360 134973 259343 519753 492012 121302 214022 607740 537805 734860 647200 649077 706701 044998 270665 588167 779046 317874 863743 596091 913138 796252 713749 375509 484168 160612 117012 389904 035987 862209 514466 363882 153876 166028 504797 693601 743278 114843 005626 763350 741068 579620 783337 798406 195198 694780 380612 231678 168444 599622 406543 489196 059886 822285 980250 117967 007619 509293 359264 555309 166709 040640 804290 130635 395815 179623 130280 265719 009356 082077 108719 419775 289061 064799 698656 652801 559799 597763 904653 670669 735404 421831 450142 110718 094065 541220 074874 224256 310314 427808 660988 188741 160496 938352 942349 336894 681018 816465 285690 301662 904241 387299 398979 651830 483350 847640 542831 052418 998433 391627 663327 305227 448829 908554 978322 677696 132557 998418 065235 255971 416799 782696 270300 437970 491217 429393 159096 564087 725567 310221 621262 861758 360254 033617 101295 276690 070408 252115 350688 168542 250371 929697 953648 550699 712197 854796 686159 399215 727966 072575 667527 221674 144761 516940 144813 727395 692275 562608 838847 260867 434555 828006 174047 463496 693753 215051 760608 160911 493609 886528 949116 414263 037334 408993 533340 407687 659468 951473 755836 608874 823202 600582 433393 422436 145778 079295 165144 759390 192157 263544 264919 913242 860291 931503 216454 496014 906858 711971 939492 610427 339902 951327 805484 086436 855541 964116 939181 241272 983310 656200 392994 715656 435779 914098 370540 755719 485192 975698 769216 656897 283981 085237 071669 198530 149377 750716 141748 605892 836592 867809 289978 513859 488880 976782 560585 639163 073243 852297 137242 697218 609525 836543 624502 526236 199736 161788 417078 946508 961023 282938 142652 627485 610420 797770 935400 038923 327481 482299 775082 120984 939566 693881 058339 100691 615143 754587 726993 091877 862983 558492 852131 174493 956884 065650 551793 098066 142740 337313 693181 150992 027084 120888 777397 029446 250624 772973 265004 447294 158728 219023 372870 117352 479163 264767 381846 259306 486641 359498 740580 998834 811434 417456 988510 834631 870038 493954 880423 206268 989680 823567 421055 234124 024357 863546 217762 008558 585378 324110 667745 610177 513024 880439 748451 663427 398080 776578 547478 016873 837113 843964 610716 104830 895403 889864 513173 336060 442004 459964 672161 878057 527072 702109 390613 413021 297347 693906 532799 928166 436980 066770 054850 577851 435565 448076 630214 628526 951516 567998 190961 709034 032891 265583 708319 899333 896180 200167 434727 071697 939291 332797 253720 023807 312506 207697 831833 706107 595815 185796 570986 275086 197644 173702 899408 227619 129476 259253 305263 119876 681128 301477 167900 775413 790363 022351 849941 464025 458961 702566 154463 673153 237770 992851 990891 495933 855700 115985 555604 146043 190283 541246 931775 051740 106506 157463 328993 767123 382577 659067 742551 661133 464132 799961 845212 473982 110318 815521 164718 512419 794519 233476 575747 583141 511737 180326 558401 574428 997408 731839 684693 851456 215499 064567 959551 135954 359158 270141 363558 405062 321666 396448 147636 430683 244451 698319 716955 859475 716131 191247 515325 046492 479451 507979 719375 721398 675705 033630 886877 887629 292640 710976 601388 130213 049126 792270 281496 197440 398776 864944 122203 366244 475846 048225 353620 933329 754119 193965 564733 642191 910898 055289 134221 107700 462257 668279 756381 987236 049674 158836 541567 407368 989702 558043 387910 407520 441082 042307 720630 313267 797538 623791 564003 362347 353230 962397 623847 855521 598125 065685 556241 387297 167645 890482 138668 538159 951961 130579 504672 172952 420171 046741 781969 957219 277315 003367 724479 655441 306847 216415 393909 243934 394330 534438 622020 661228 341512 673994 608750 395741 207117 696559 553299 648812 762312 372333 411809 537551 318251 882947 471893 918004 969002 810588 169532 130888 553613 963323 677351 917816 588801 254636 473697 137098 986910 955279 517238 319449 345221 408524 891077 211895 277518 762192 833553 461091 615424 490259 485906 070034 645966 291788 143966 332958 982040 367982 709411 866824 538917 226791 123032 467134 989943 941381 504558 642554 369821 921675 860204 660803 428803 469584 333135 127519 792964 338129 993227 793337 299386 443229 649029 316874 435560 939493 885714 368868 311842 613396 406535 318005 798019 863332 713578 701211 689084 542007 538319 464831 167506 834224 721517 694396 016644 717544 709879 132187 318200 040937 130877 044765 011599 298044 664533 822959 388514 153970 078674 785580 171816 991901 488951 351040 127130 670105 942883 759356 205513 374449 348246 206648 207235 912186 990469 573357 548666 865529 738060 461830 001263 140061 709227 779442 652117 669019 244425 889081 227930 958921 080502 807939 374137 880683 938365 094883 597627 754678 180178 735898 472285 966112 016199 843216 100703 814453 006724 218957 920916 338195 534903 944394 307674 941061 735412 720604 773579 320138 584955 483359 745595 182179 900437 388851 308770 485469 067929 074286 476283 327937 004862 398320 592437 042770 127913 923357 785959 822393 407410 589038 721522 924260 675125 134282 443296 408588 841159 395221 404382 805358 302032 364616 502067 564488 978702 396795 960622 950066 356362 385683 473024 393489 391686 099017 361123 730612 010594 366690 597755 085688 435039 611559 003988 792772 404762 721293 176739 747811 605650 669874 009120 411348 111129 827922 368577 600201 204507 578745 009524 994680 656731 484794 898769 889949 289770 570659 324436 235942 643406 169788 354938 785896 394113 851749 478724 753170 741373 616229 367561 343969 551451 493711 377656 765345 968414 381098 460253 524245 488651 590408 575057 879704 832164 898416 933781 256705 027231 016560 186704 165473 200207 472607 221397 016647 833209 877633 265086 240060 259813 425354 639467 965643 342849 008240 614175 712776 320402 627911 922164 958531 058660 631995 764224 099288 849984 389222 818902 413005 253239 521229 607126 320537 125858 230535 332044 175757 434219 972503 641757 886829 440358 164650 460622 423726 312728 386817 369763 023150 022590 742453 854745 415407 305419 964277 454940 102887 980662 904840 766339 776376 101736 303779 891763 107701 994495 658654 747871 806160 933922 485884 229739 210121 638050 885082 537661 011034 931592 574669 412277 201626 006365 405543 377159 867613 973277 814481 701121 370616 684911 495518 685393 643685 549741 792049 920007 001711 353320 573987 903572 384293 667000 172073 773999 004919 195704 299193 074844 137573 829451 847126 471562 130388 796092 178258 674684 541697 600146 458114 065113 243736 393357 109336 327360 065375 698910 211281 000332 729386 255957 333332 575425 254027 484400 341568 129755 136629 954838 101145 199633 721892 180685 527537 061612 730887 964575 315517 563588 058234 616439 833555 873810 971347 603035 972136 163239 758073 391407 899185 516333 091400 040904 916003 450322 626690 823181 186260 445970 393116 252417 480828 770535 694697 100035 983554 803010 199355 209796 435061 239143 604280 927191 648060 065792 098747 434928 350779 352408 594323 982610 889635 688490 469755 038321 009170 264625 755592 299978 376529 628710 098549 173062 937824 767132 714149 854794 327349 434872 790780 193060 609303 530425 599823 603228 920390 258984 755135 162044 065841 899756 263919 056758 275596 766760 045629 360612 230624 523408 812616 563046 463124 319431 188525 495272 884650 119167 266826 330817 438976 933043 132611 731208 518873 129015 281623 441328 087177 908253 601925 313840 738540 485132 579919 601200 884940 750202 376631 503877 351644 316353 361164 252095 181086 928986 628793 319952 825370 625602 972532 328859 100378 001754 136641 405561 694711 347199 982291 089813 730983 834700 615263 781883 084328 235812 061363 122665 005983 387878 950798 836276 352197 473610 990663 297812 883180 660227 138854 960297 302916 701005 664828 841954 365653 257983 500066 514201 758238 299055 642119 828330 015493 275583 539924 947168 375443 322894 724495 609577 777497 255254 472252 121325 210721 744837 442164 679761 457789 348115 868050 103690 145980 496599 803938 833231 820880 353500 047412 568116 895896 562674 215255 539696 573192 267612 545956 201614 789678 167612 785785 663861 500714 584784 629981 403387 677942 949478 325002 775571 292286 152008 047799 699685 867171 294684 393750 640136 743875 640149 578717 136741 386285 236635 092432 314608 210121 558235 173864 758680 497018 457931 603572 641559 399511 744094 446376 905874 976094 039051 553478 191575 725619 250044 098741 412932 192932 396104 949532 273190 384902 939513 225876 576826 788313 649241 226240 205235 167263 139525 815915 694160 515454 814144 348312 723991 906987 714133 720801 753183 340182 279475 554279 757593 115748 436668 539930 159722 720872 510423 151100 934131 489180 897791 807678 310434 515909 763639 804487 199252 769272 041863 222399 424974 392194 037432 934713 014077 772607 530086 200363 601394 951320 877244 827710 384182 782821 212461 769953 720420 660126 734031 044003 114905 422828 992649 924389 544251 995297 095606 006119 242995 488217 022547 957324 422434 491271 954246 185604 450792 167208 278681 572341 896573 823620 049747 555408 023739 499296 066189 570946 597404 315782 064859 780759 406574 160889 459855 125223 637751 610893 848424 678887 689478 584135 137771 104619 665955 993531 196192 184151 278119 965188 171881 188244 940464 486137 371080 087534 156098 225083 950197 346589 212631 585659 520511 401998 533857 384564 403756 111861 979378 706915 729521 097121 631912 659644 946746 457530 363656 877307 027661 159281 769386 591322 556832 736060 393863 599622 584152 810389 322246 663758 346303 489631 204715 518489 704766 704149 926843 259321 231320 297995 370148 990079 004439 269409 891081 696395 818551 668766 155142 621931 782048 813881 436901 623272 796289 667094 679483 656932 122759 437722 138352 335570 466043 387837 688793 098449 345472 352509 448096 692974 457465 185741 097463 089855 068097 082830 131402 600345 114504 017427 509127 956334 266379 401618 650370 322444 427511 547782 141662 722648 677916 811708 009816 850324 237155 398247 884754 386201 256382 860204 598735 968996 897426 146526 067695 440235 506412 397484 105119 391472 455458 202892 753551 082576 716784 686542 950462 358923 824832 595744 304105 826120 508119 111851 941967 542368 513764 141623 068641 498413 513560 471598 380783 818748 244067 221417 194630 546223 342114 534414 399414 849914 341711 301601 384340 183912 382445 193384 832604 375662 479128 066070 994886 847948 834963 293882 332324 358962 631296 361010 071762 734951 794887 422598 445686 080636 905961 108730 754280 333793 386257 922516 881600 824225 273721 110761 852584 899429 805097 830288 128826 921655 828021 281036 407184 732380 100836 037275 659028 192003 263687 659989 737279 007646 778014 556526 005668 220306 565330 937116 676490 594319 515960 527668 371724 151266 284020 885108 143545 712490 453643 313319 526272 174544 451827 497917 634259 606081 182454 645664 516876 246424 680161 948613 145571 271347 856454 120836 714500 192992 954076 002895 652423 389637 876548 090738 650424 406522 075380 067198 502304 838463 202004 231027 022178 904354 463994 910639 823531 473492 041265 164040 641566 072800 022991 951018 798692 429524 070329 848329 265395 410200 260842 986951 003213 198427 235011 257034 306005 065854 096941 579769 543759 706670 945694 222257 013386 136437 699196 275680 923752 971083 557089 015566 939426 974441 958226 812988 374450 897143 239019 705829 670191 051118 062269 728129 452650 496494 217982 349696 739178 134922 178670 772725 303434 324324 120569 839818 157353 460000 416281 939012 792881 835925 245586 119856 912531 008540 226869 644410 886076 381747 400830 650477 233262 234818 725280 815873 804226 197701 522069 262606 947062 228768 901640 933934 435334 478935 733674 310438 334733 426650 709354 019038 099269 690801 987679 795817 242799 396908 336049 576826 889722 223089 353057 148673 078364 391856 368875 714652 373400 986408 010006 635037 242948 530743 444953 863135 165214 932658 215993 134223 503144 935842 332926 732903 857464 763534 875053 335202 506138 502716 315961 191482 202146 392480 924792 196676 490182 594740 726220 120263 044943 791571 055682 459604 520960 780906 678005 019769 926927 193173 408068 543037 925980 548361 368471 454593 280453 883752 065122 911496 316584 215382 130981 953241 756595 675149 215567 784432 755480 574696 027001 007836 284805 542403 949383 377001 297893 449365 160763 486471 116863 751371 394474 939638 085638 792975 847912 496912 187906 681712 499193 003257 723238 087792 289981 803886 782467 095301 059338 329213 417846 976977 112790 964649 935673 028033 797469 178431 492460 946826 346577 283661 188036 466367 768384 310319 644639 473132 594203 902934 182460 311782 473024 659558 832408 689331 453530 752017 392923 003501 195685 486331 711271 420395 660811 973231 959134 033090 811373 851907 592879 660519 317670 507395 045375 750876 090679 510464 866616 979920 750471 391173 188084 390759 634788 031090 839107 622083 371755 463754 784885 401903 647610 830311 039601 936746 334538 780246 930604 818679 153476 532151 063800 780086 205519 752930 080847 147622 090434 490565 835758 674367 566843 100397 451534 627216 901954 015631 163183 430289 489561 785198 983198 407042 129273 175028 253217 489737 433663 925478 195125 103970 046533 386667 870087 204563 716249 027347 419410 616361 024674 229208 692844 083700 226677 226986 563132 520831 074979 680266 620753 259895 490084 593824 953402 663634 201144 023246 345101 966791 390956 317695 294613 593721 784106 440760 853944 104448 775652 589057 296547 426182 218379 892209 791953 460767 298678 044880 351900 105426 578418 053737 767618 112172 825459 492014 712953 442769 417758 877498 860647 799614 158845 716401 897754 939878 244440 101721 557666 062713 638676 474213 145176 565784 605036 591235 571994 134282 694381 591069 933297 402255 521520 420112 246887 409075 104436 765027 507419 176427 467416 866967 903035 402668 693085 627450 088657 629939 063053 041590 997773 492771 350230 221301 421746 268789 765668 980923 335432 619274 319411 124010 972626 957586 620268 295575 258359 685033 966204 084306 619475 151377 618639 400201 652835 483439 299593 095718 121079 687920 921925 729887 123347 548050 107492 984012 607503 553810 584368 859636 868805 863523 471776 465969 779252 743028 223822 434939 027335 959442 414289 478516 864135 023094 352487 081069 733750 031722 609654 884804 398637 483668 201181 881445 356029 005221 372925 651384 331168 468619 288458 169869 971691 487985 270297 430910 446518 296446 372796 997804 141868 278937 336675 902539 281932 196436 022949 281867 454091 360838 243906 423096 376396 350284 706701 879771 477582 386633 483032 742276 811868 211089 317924 861553 974830 307197 225058 910673 139612 531147 343038 154433 225768 450442 977295 355781 107408 712186 255535 673755 558082 755999 027048 886655 011277 222916 498504 502676 898609 024748 421896 733814 582341 951122 415351 862463 266553 794224 823213 545651 350915 450370 026094 372452 761092 104786 056312 507452 701961 886944 493532 324230 106552 574680 429167 844282 919783 470791 257768 986359 815699 272323 811060 172608 848599 223548 003517 647185 806700 655174 701807 138065 143731 393850 052505 722801 028300 868821 589756 937495 526690 902716 630257 776267 156668 566408 371553 992400 824785 812408 483967 659712 377977 568904 974518 470899 689414 952181 558103 356945 239014 535585 082538 161835 182900 315107 706130 675111 374859 896605 693763 977014 735455 860664 776197 562926 520324 749506 821896 694249 852457 661434 225055 676562 304447 145703 958930 163250 531992 810659 642368 129265 329785 700194 891041 393402 863954 217531 777839 336125 839609 968994 926423 796253 356336 929536 781747 495223 726641 890879 049602 916695 546809 668177 284961 881273 648260 892312 558516 209604 921193 011638 928537 375617 774753 914236 472898 674797 150094 454147 439571 238047 487504 648731 118824 517885 850755 832493 869610 446984 374649 721448 688624 563230 767707 541805 841790 354341 140917 363598 869053 677013 178811 003920 995001 990200 198680 391822 163430 778708 900021 918971 094792 156541 137873 640572 138377 080396 525520 328574 252676 795693 911713 651737 754318 950579 635652 740777 914717 437788 437937 396359 405273 039343 841954 879079 884162 371130 607018 745035 383679 958422 653476 125624 249737 405789 288815 604004 511905 882319 287465 771293 739343 761447 564854 329402 774808 068958 230124 227242 710978 703882 539553 725400 802131 232386 923299 441979 932927 046408 990046 441475 267186 868357 156789 936587 849746 344210 803859 151612 660105 369252 335645 486952 919305 137743 536276 225563 691248 431263 634945 734060 862150 989548 775149 654793 063390 977162 374388 791085 986599 129061 663989 987233 579829 481668 121119 870564 757687 960703 316297 616381 738107 804951 733581 421488 144670 693424 034484 396963 319476 152583 947776 897714 069605 550506 390704 386764 865583 015660 346875 270042 441582 907942 685691 277274 227624 054719 971491 580612 376372 862024 037141 235695 617965 231812 818972 106726 942436 647809 104327 970394 067034 284641 472112 923309 765437 536518 377517 401755 267902 765157 987590 939381 259455 036775 196390 366081 470430 521564 894179 657408 811460 173484 809258 007348 039993 244197 168579 329768 082199 138788 662469 528444 665165 275836 911587 375010 058037 399643 713951 911851 757571 985982 437850 341048 298916 684904 193547 889048 943184 390600 624494 553641 744539 326109 305114 406278 111859 445832 249334 261419 196737 630347 847879 508879 021157 926793 107109 685338 874415 301482 104326 175084 629944 967947 176012 684085 684100 086558 343469 498586 368084 827329 225268 113066 415845 262588 381612 521412 612325 148208 578676 632382 966548 413478 254340 239867 641467 321058 544408 279801 711528 042581 706542 964329 665119 229342 157549 705967 772354 416356 043243 313761 937639 479221 079142 979487 790211 286968 659341 859271 226299 212726 378759 337110 237558 261768 158080 918045 < 2⁸⁵⁰⁹³