There is no linear OA(2¹⁴¹, 79527, F₂, 20) (dual of [79527, 79386, 21]-code), because the Johnson bound shows that N ≤ 369168 123341 277614 839644 492635 894375 017839 495319 019110 113042 811036 720474 678738 528223 073477 641346 576153 701215 046173 504133 420514 497547 650951 960491 551265 792974 905317 220646 624709 350581 816202 533315 946086 831286 897086 328843 969244 997028 057019 681103 291249 402651 250315 323758 581482 989517 908900 916354 080415 209248 428531 770122 289063 789315 611106 788855 771185 350753 393321 874303 324740 308162 505776 549994 728465 790405 723022 344268 543984 331399 639713 228255 837117 312692 793985 350657 741649 937979 405411 697077 291141 760113 255405 801814 056183 982713 806837 011537 405477 965289 827592 758275 412431 501198 398036 588222 213182 863859 257104 303615 888057 196287 188015 309518 671070 353184 648176 026210 430862 151712 819705 535323 546198 992126 048117 731109 530136 194390 991115 919486 056834 578156 654101 453342 697123 145074 935916 418409 771581 988299 425001 695613 752358 694651 774236 393122 812491 233198 029463 538607 612221 405655 100799 986479 313248 426909 548886 441398 972899 388698 854970 038815 646914 137899 471374 288558 138474 431450 569190 169785 070996 123166 256057 720699 904179 532255 740242 578796 398392 065016 201742 664912 316671 057655 597402 922267 616155 877008 870552 962273 373560 551245 718960 492343 781941 435901 623413 944393 384327 076901 212852 496017 246967 185315 996833 403487 817341 732902 483866 222633 740772 567925 181454 555115 334491 858304 988792 934497 100168 362963 065611 494277 456905 963127 845638 703613 482717 296020 770319 489586 518480 196476 895534 537379 481717 042164 068747 595552 607141 327123 609736 747477 216751 448371 037729 064496 528512 735363 715742 419944 580177 744296 224114 905821 309980 373937 409518 169910 978723 282622 608432 094876 919114 344035 135022 765434 500201 938612 959078 718459 118172 825637 948651 784861 057773 925488 749608 352545 144879 252137 742234 605714 375335 778438 573028 658133 680313 326738 294857 840891 034142 369260 034208 841918 850421 367863 221569 394289 277103 375373 266664 099871 190554 788562 792108 538057 346581 929402 035633 938199 879087 963032 562830 056192 851666 912410 638087 656731 121633 382714 151163 792190 308669 696922 924570 385232 902236 054352 111849 827990 327875 864882 197503 925417 061844 178161 404926 393382 495777 886182 873890 964093 521777 580042 108619 590521 218366 343144 947704 914872 208126 781745 117066 213977 171658 128589 159339 376988 012513 204880 562017 007736 046176 125905 840774 251949 819934 830630 010828 633554 327385 975901 110979 673669 952750 532840 919278 840269 585247 198553 778848 516123 585027 125740 980900 336594 821451 846116 448385 170322 467383 262731 274111 234966 376408 759599 938249 920917 090160 929010 727239 791321 350728 610870 620730 752211 234050 126249 034291 906578 274075 718810 456682 116432 974394 309280 583520 329509 845213 893869 053784 169192 516622 482246 583339 121413 655032 568282 581159 871022 648735 568508 422451 836604 137874 583569 410458 091453 023068 848471 534292 571054 249163 962027 797339 785180 689973 190583 139888 242993 265419 482020 941532 446502 413910 573232 399534 097820 296581 846177 142068 135099 557574 672580 912011 644464 320151 933144 760433 366562 738398 418224 742147 740021 931702 411890 568042 526507 786036 492864 654607 200181 142613 369544 066516 914123 344796 456895 335372 109643 287673 685610 521115 278404 884592 857097 217769 832626 499658 959581 342696 138298 346959 372761 691972 334082 518469 817228 841060 544248 343176 545961 194683 280307 519508 867732 161313 347149 994971 143612 661384 809411 906274 461524 990524 174502 808521 087819 467704 775299 725327 588610 587912 184534 530469 567860 233229 133740 462394 516455 393243 009186 142548 433876 497083 720267 593866 589913 180640 685204 410558 530711 975057 752004 021556 041420 129477 452048 823011 974365 778228 879841 785233 659351 355952 445881 916111 757884 267296 828669 861516 942328 123133 107046 469416 386176 510103 475949 885849 365882 591750 673808 887236 643981 526140 644663 442140 956864 626452 701082 853593 669567 027090 623952 687725 735060 788743 020680 404664 591277 238835 620997 506883 631129 670965 502543 492979 585813 289940 244083 519354 546414 867238 844116 097836 678607 771891 671640 943221 002166 003684 090410 492086 886330 612617 391019 329256 275956 899590 356163 847443 351676 626601 970779 236385 562295 218551 330665 998906 585703 075317 572852 898199 364534 720273 664284 230342 885827 352900 868532 503271 109805 491355 569516 266393 817473 576887 592225 996795 732380 839743 655829 785336 042199 415821 096582 052380 685044 880924 209723 142994 641760 317742 220963 670838 141462 058739 596967 592618 654798 759494 641949 002220 495289 737692 209011 940492 895646 566891 727013 039996 897690 441073 810022 570075 801043 005861 754632 943366 580468 830765 814335 283078 439337 176067 193578 584547 033485 222597 159900 108947 668916 043260 272587 956717 162350 688164 933775 922783 349202 046996 824502 045688 969950 910208 756878 422963 375869 558056 374288 330136 911733 963798 393016 856135 265068 067626 464526 642527 175441 266535 380751 973375 937216 985295 112339 265344 285526 606568 110466 079630 609638 590146 396061 955133 569342 979606 877488 823523 055577 356710 022417 524705 553513 459243 667255 959280 359685 959978 064543 113396 837256 511495 883073 818919 267206 051656 560637 607190 068099 576742 209347 103943 336345 548246 996253 141259 402749 083364 426684 003031 532016 484630 148494 105542 124093 637922 169183 924873 912706 934597 851943 541836 891788 773070 328790 869315 153295 307267 571108 837366 498752 062311 018909 530165 270136 189519 590693 444283 838586 796884 826985 569537 307244 537909 572386 309776 576889 392510 155464 987332 037621 027855 645953 168498 197966 121219 675361 353523 598000 252586 293064 688567 522802 878378 613530 523114 153139 565861 980083 765910 104200 911676 219876 397615 003161 760325 944664 207492 902702 441900 022026 095165 083184 097854 887184 694353 021102 395343 028686 443016 498054 267649 682323 122640 644296 372941 099936 605595 658864 203485 093466 918248 458987 101325 296580 276286 423627 603777 133457 915057 017441 277239 373657 395908 736868 189966 871668 423768 928639 822141 126119 349350 614133 208276 060286 826186 525225 311953 005268 444267 653403 985390 083330 226241 931793 849965 408672 362898 581270 565017 090260 965636 124737 624597 901267 073173 893781 101432 300616 948211 666877 599199 272215 895254 583975 703181 447279 964218 970709 292567 992416 976700 593180 962659 273045 749503 521011 737229 063384 679712 666519 038150 911317 736573 372078 742674 331671 814020 101313 610222 361238 889410 562714 698387 459993 389108 881490 173353 057014 198235 165789 507289 014915 115533 561506 378347 335744 557233 656556 858135 318810 697431 495141 891685 674707 925011 900108 578388 353273 984252 497414 768466 027686 202190 885585 024235 185590 418575 903540 053220 608480 952132 404732 345011 525387 128590 383308 583044 712691 777407 285764 301730 788933 248037 260727 517223 829860 545096 877695 261925 490804 858141 775319 361686 049993 550456 823658 185635 522614 102396 934956 955955 694692 186067 686263 607307 476203 804812 985235 464369 419029 611689 994115 392612 365330 329396 632465 580076 361000 730092 264342 941598 089295 874717 323051 214589 065195 751800 658379 161002 379669 140019 793733 322031 709535 692408 496948 558525 283466 055570 416723 326261 100892 459823 930866 824291 740544 153700 519934 710383 445945 063808 303504 454220 077488 931389 309444 039818 981602 291460 346105 751680 565713 447107 007252 073350 593006 337317 774564 854350 447642 329989 414206 286899 921598 886284 213761 434765 138319 182664 605972 167935 094677 506588 419197 542630 404098 775497 542031 420201 816309 785966 716106 551831 927701 540975 079870 571264 623109 436944 687328 898124 177318 146445 376486 941539 476621 134882 427884 860997 116844 520474 539474 249625 218236 154780 582768 370334 992629 276465 167589 461849 161667 015090 100587 674770 279839 238419 835617 499150 409111 364325 552398 701221 102134 527222 848735 405493 533981 367920 874211 071472 050778 656290 245697 163379 844274 845161 356000 756487 941526 360988 084648 634586 905155 426461 226766 551965 878830 231044 619764 779530 694966 045434 299052 522218 151579 866275 297347 386504 710810 419623 498123 243771 072243 980957 890464 794245 391693 992494 954296 786958 186256 767373 471081 213268 629153 874065 932261 554935 879510 616794 812037 682588 032626 601436 982328 738493 725817 763032 049191 517700 601028 258007 398605 171935 695458 877732 261923 257032 418449 006118 283527 272981 857375 501174 290322 175013 537506 337976 090626 896202 696018 139027 978068 060528 748827 626509 181162 223650 620905 049671 741889 042935 024630 243103 272488 696883 934058 678660 376004 836431 942290 848295 965730 167124 296015 373695 400281 353110 715223 373620 819568 367290 635477 812304 173359 367104 284288 103872 311642 236231 450424 497991 201689 203233 487092 214145 925639 005058 353934 043272 793962 187285 223929 624482 820405 758642 036035 078505 751205 808443 818617 206834 575650 445379 187642 595806 992429 489309 025943 878649 827648 579837 224473 944138 571645 348519 833695 970603 342500 396525 116991 684752 716300 036932 642257 662567 618772 578411 455858 467942 116290 153030 469366 840646 364222 651146 942428 418429 882411 381794 164836 794445 958756 882860 128688 670043 480534 993513 756995 699093 333712 308179 123480 366717 835761 605061 394138 653347 690020 552506 765784 196644 022920 510237 212069 162141 165027 605441 784408 647533 219168 944886 779618 500222 858699 833734 695988 732089 728207 147142 310143 315284 380093 920587 174879 202926 376809 839692 391517 118832 749622 871893 743536 587508 357179 778595 819649 217130 882845 186412 909358 790130 122971 367946 094232 961067 305640 359021 656383 004364 749433 531121 287742 109925 470820 708499 049594 232504 177195 576581 624380 848887 793268 685601 907660 947581 638392 242023 506292 279483 372581 380024 049493 794918 231593 202285 439607 198240 266808 720073 149835 829526 551938 146332 856970 999284 407652 846166 325859 367519 626717 559452 018290 011672 946067 992208 736870 178713 317676 308381 127541 347990 634570 168621 435309 623691 362978 880654 376578 132973 276350 972307 327425 914392 105790 535870 071987 516899 141545 974137 449829 359977 133462 542300 312505 420963 697141 838768 899375 919472 595274 755759 962048 301832 928324 783271 912791 052072 944620 006275 762055 956282 071724 287365 586300 812770 330766 294397 544083 210455 549870 407892 549920 754082 467629 971664 842585 824214 244567 866206 039165 691304 384006 887756 926587 665495 621309 963458 242840 608454 309481 756363 518395 929721 500224 926584 207096 348095 916629 047810 017850 219991 170936 035924 016149 161682 197299 354126 889186 978809 931236 772259 262878 286824 977596 600386 841561 320943 483871 942123 301070 880042 211688 889076 317948 398033 981093 716171 607511 639035 739128 313125 605111 499949 450215 745219 694220 327196 690320 067672 636297 708536 586383 564800 700069 992103 734303 003846 429079 403181 640765 985457 136751 763066 320126 205378 717742 101981 521301 331137 369181 189597 124618 661478 473514 427017 807481 118860 164946 851791 116880 895212 397281 336445 502422 646379 244982 271405 746781 056921 960147 771839 095967 614488 852506 735722 297937 328836 759054 343578 700635 675537 790541 353620 435743 303351 453798 716218 327828 526727 852507 011188 825323 686286 329326 269955 904305 385489 329129 608657 152086 617703 395805 577971 109377 378015 039563 031452 817071 202449 444466 331073 734331 372133 839306 955250 573437 789021 838115 331883 165517 660148 237283 039116 118294 815938 439982 439631 922469 376765 244968 864451 276649 756632 656385 187723 799116 590506 482969 973190 069640 682616 152086 438180 631487 798458 994184 471172 153125 224493 311234 107229 634307 935009 558663 340513 688275 676085 276145 427151 302438 309027 724451 120152 991712 405819 383148 630973 534579 909249 812698 779430 370717 832348 263567 507273 382834 462627 121648 840843 103038 039613 668827 750949 514423 728722 041263 282769 148951 345819 710272 767165 480738 165773 621622 051098 041957 134392 592395 614260 612555 679638 639462 851803 628769 992210 900102 340629 868445 293347 660185 658677 961416 358527 867641 081310 731633 891584 092029 654273 959493 078830 337565 527394 371749 838052 136916 430570 449401 979957 260027 438344 207947 656744 707309 573401 972962 682850 822243 545195 483232 879668 194215 569412 740641 283317 841456 954726 036077 978238 501863 673759 928493 412126 331416 219771 827403 991290 359289 437322 221102 182375 793230 343208 622802 598512 262462 763870 012652 839051 753970 087027 365510 141546 983088 944767 067525 343586 634491 080872 774394 802861 611637 327068 765671 803199 207875 072890 238421 040011 835990 780242 785534 561228 602681 445994 066599 592226 573117 096264 385974 199912 387137 617738 544736 574698 060077 530680 551127 797100 979509 220131 205246 183956 870480 451953 811630 671080 259202 006807 885650 959135 938367 506734 315833 473806 771919 309477 803536 220693 246772 971760 822168 291634 899075 112533 386191 439913 740299 666534 202255 911314 377215 005033 834634 377632 316759 564008 957476 779120 608170 399636 054856 850205 768006 882854 986313 020873 284936 926628 746576 229334 680571 286061 271421 876440 148979 257498 120072 368476 711713 114574 892884 613520 709133 926729 412158 142970 249709 473334 227167 711450 681654 656645 954517 497979 046794 902966 577315 891897 749518 181703 424818 005032 304102 760725 372699 590693 110679 033608 857129 262916 303104 655282 004926 971996 586094 093874 379841 329920 778235 677700 165576 757591 849676 504439 235514 693813 730981 759316 740071 909689 181538 765667 754664 603803 026182 411039 744885 345147 982856 241495 024241 716488 402973 474994 585338 716996 545379 486257 759674 470216 272119 232690 832993 323607 185597 321002 345823 479675 770254 200452 338082 750251 013782 190542 588960 145290 664408 701717 232941 996486 140072 851416 474615 060992 505916 334607 107971 347411 317573 173374 230829 667819 207781 588986 498214 805174 849858 560750 686456 572449 932276 308329 401176 893038 033685 004211 086904 457177 827429 040150 616667 634654 576056 811341 040421 214662 563400 128301 744152 829654 899475 441145 342607 785235 967395 566967 618914 663000 762800 629126 892045 307068 592149 740736 838415 186209 235638 147534 639831 429651 592687 480669 565140 872936 892017 666761 415969 191009 357303 928677 500775 470879 698853 770183 864099 251341 355588 698648 785587 715772 746661 855113 054049 775123 675535 848054 215336 405711 817020 656919 300898 720615 478562 487769 770868 533253 549926 961320 957880 198213 956782 251321 741569 227999 651185 641666 264084 533489 819606 523343 956635 366945 724035 348900 249712 698471 526570 769187 911431 554703 118174 870857 354307 560503 459515 886073 069440 070138 599420 793053 444887 386621 499068 431375 224936 815511 832348 335969 812382 780323 683022 590808 996753 163959 264429 725452 101401 721936 708532 003435 695085 268614 259380 725136 460357 988477 025803 911720 946226 027268 395003 194018 152380 220630 048844 737967 951735 992122 471713 834105 401036 433438 400997 776609 931462 374324 687778 898127 722473 013411 745253 656493 448933 690990 028948 208816 068475 308800 343674 076223 776503 578615 406636 240940 162125 585722 027896 266974 577596 844100 222613 208488 561528 217856 743028 329169 350754 514306 815912 384344 387579 614538 534341 289017 568411 527347 755506 328670 856134 974100 820261 134654 992826 247275 189400 269868 355323 067431 872808 998697 969365 413251 341208 143192 714897 154471 293399 767688 168734 363937 809780 318190 332609 300957 666242 962503 489226 090315 510877 840970 773648 404959 298768 251678 540535 700555 345545 297888 412888 603768 380222 709131 604639 716989 178251 750466 974134 112222 139125 623168 258818 930628 879420 654073 287567 663503 748441 134830 853810 857472 074967 648702 935271 850981 065725 794431 631254 831854 529016 228472 903231 745571 941595 346407 245321 992211 152210 811531 527010 651774 350907 731049 550107 301889 926883 433753 085293 964032 418313 097732 676709 544165 848187 816441 334342 684347 521164 141627 681407 015146 705322 196379 446696 836446 861943 004656 508893 142252 524288 114933 175212 023523 772590 292114 759255 273451 475991 166811 978163 429318 279162 178655 033882 027576 326433 642296 986693 026990 896748 187259 813768 893485 302331 913856 033015 386079 465760 622126 445458 812334 412470 891153 935747 873446 485375 171869 932958 573788 020018 945873 773746 281813 523573 873297 461760 935567 800317 749054 258992 983774 287360 485983 798698 667430 817342 372084 170176 629251 834041 051541 986219 852069 396146 433778 710560 684412 600584 825871 039764 832775 668038 919179 271791 329096 662510 906084 241475 929015 517136 382540 668666 801735 176529 331868 091957 614308 758354 898394 878309 627727 971267 292358 772438 700326 275511 246467 587129 197655 731598 944484 843423 348055 705525 488363 363746 543969 424099 881172 436483 356005 574569 821346 110386 652744 777757 755149 350194 575752 395432 237847 367594 456257 193889 562671 021705 950866 790716 757117 533455 068883 308250 994412 190868 417720 992162 749902 466524 110455 776910 198986 626260 030967 516625 680369 812154 563379 665308 376317 112146 329850 468157 559305 530263 417819 645010 912937 456526 173409 003883 976145 883664 114160 834753 989935 151745 643403 210205 436683 784810 874218 140124 679228 965170 901065 965424 503999 849232 887547 553051 059863 207787 855337 682433 941833 948285 834585 591153 163766 495009 080683 216391 138407 442047 699738 932185 038993 047317 167261 085973 464381 547819 712106 624382 143380 983581 921599 818657 466209 215610 771837 969965 117464 301394 519771 583934 729028 508409 670992 330438 756197 983835 282527 212033 836203 110401 855822 609466 048281 005642 837190 844818 493427 856922 144417 598747 848807 038064 604339 053513 886484 883308 975050 382570 257084 486436 641951 427121 168872 351961 781747 131000 334031 862497 366779 564079 558230 746508 900171 558790 383373 507308 157830 460208 195174 944509 492587 253245 283810 969943 397376 601411 912581 285986 647842 602201 113633 810677 792981 455861 164075 011357 856201 571463 634048 523837 443465 782524 690695 568187 779142 376277 269683 700223 634565 225481 395381 552057 734798 410294 382423 123401 870309 181644 948491 637987 798146 598275 404605 961968 011686 999666 580230 967233 557388 798304 713451 362853 157185 242737 226861 641230 032100 614604 555466 365265 192314 237268 917767 398909 326387 106597 263247 745663 996198 351588 661519 721167 820836 061363 056265 196105 061214 548176 202649 833208 437778 859559 384914 145307 345151 125091 335886 511580 661738 592483 113372 456628 778731 236380 949687 842462 880577 301240 028345 180839 317677 792217 438841 112020 078712 879343 840784 983456 590450 283516 683913 961693 586861 614983 122516 534548 379595 102042 395571 968380 451352 774408 098633 867071 941577 167847 851796 434798 517201 297608 519566 853781 427928 159137 348257 375108 836027 097831 102536 834758 438055 018850 652989 951628 195722 485191 369227 555257 483660 152365 390558 031004 002175 686829 891375 167116 992211 009569 965460 890410 281732 915360 433762 412978 048043 961123 202600 473908 754481 548393 532186 335883 470196 581351 115892 576100 728354 453712 466170 390986 392806 550039 746117 312940 677236 221111 135925 639000 594170 890289 836339 827083 731705 736872 615236 548923 267706 653470 928328 604243 736461 875968 354955 333537 094205 131432 989282 736659 956990 953412 161079 275208 470839 621601 873574 102812 306182 456331 332693 216294 522628 553287 200430 220151 512889 352207 390642 771510 074158 573558 972378 072222 094926 543172 263738 755158 982275 235832 660219 183812 664750 298999 553044 791943 937238 935288 844818 412644 824938 805292 908224 753183 720737 731853 918906 477666 351774 375855 927697 596919 277369 937777 928873 960593 078322 091168 027214 497250 032111 811510 063966 898950 355243 720555 331719 513099 214223 858481 657883 000337 015841 017050 276016 447886 341004 115481 371381 096246 967751 586475 503140 597091 582150 582417 969197 044668 091087 495089 461388 239886 255834 950631 631564 671998 390156 930426 645655 349455 333814 853401 989675 373172 305700 874256 663397 160422 830754 928114 387490 659347 598699 516830 703875 230845 455093 547971 450978 635230 691040 232731 800426 811062 250000 789713 411145 242823 265676 357260 999957 508277 712718 566512 131110 024385 981300 518424 992523 391956 891544 655801 775584 607709 851936 240275 094671 196810 487230 008616 560834 327810 470548 128009 650120 418813 662152 743795 579779 058359 245031 414957 381093 471163 031708 728500 916045 073910 736837 842442 166025 113371 613167 240169 823201 512361 178779 988125 459752 562041 126545 352851 284128 074398 040595 514345 652174 487646 282625 113385 753041 232549 541744 534393 671326 458543 713566 068023 847021 459155 300028 075968 470980 905940 598808 759656 924402 909518 997689 555916 867139 084765 628536 860932 915527 259379 308702 786698 426219 092444 875919 600830 746953 977708 266240 697039 553053 081839 991802 781609 796870 076787 945327 445669 538601 806021 991619 707760 918287 586527 492333 424944 798307 530055 323649 040478 047151 610138 508835 665610 428546 308688 422731 100187 624147 865898 010413 592126 056979 003223 387611 227381 368705 987790 860261 195421 829225 335747 830925 200399 980924 483091 344316 267797 700706 634845 430083 916324 237414 826406 678906 317095 380546 781978 118231 231694 966646 344278 631032 801905 677976 169314 992771 053833 860570 563063 445503 469245 194830 074649 858989 755744 865949 054730 929333 427521 617939 244368 346251 755435 977830 776389 800014 491324 886640 641230 022989 390089 334597 568509 248372 308069 998069 108711 551177 150795 528808 698237 463506 355004 285513 082690 086312 574561 415851 095892 594910 444581 108825 526241 849747 922470 524235 941316 113947 817330 552651 274046 337905 876408 469810 586816 475466 461888 688063 692253 421214 963847 762335 637470 943003 951870 126392 261472 301661 683712 954277 283758 932038 036138 514420 321084 541192 216570 549873 349481 763812 216327 561868 037235 154086 688871 889585 756921 851799 900784 958449 672986 825201 301507 045388 759608 184327 638480 169572 713125 898507 118185 283747 153981 850651 768826 280820 229523 704087 219030 363378 121322 975475 422443 266111 181537 988499 127129 024799 368126 590890 518373 194003 888417 802950 094757 316227 453111 414901 936557 415860 992693 670936 825752 064328 043623 552324 685325 949948 212582 193347 169965 865432 751112 804802 195469 738690 817702 838852 053735 477935 654216 939463 107208 593367 246543 482283 418026 845220 899216 349692 875402 866971 849538 050655 899373 779428 143557 939749 045665 298243 905291 957952 359811 744134 149540 256839 554722 520564 146269 320361 096910 464759 543320 482292 614539 968431 780998 947409 774513 411304 700378 249303 521216 402190 671955 813020 286921 726469 697851 283670 653089 888185 095607 414667 192319 074221 770462 416334 201959 969515 974838 834031 104245 757631 552134 811659 246861 636925 053130 554438 793316 434842 265168 520931 868446 325949 144906 343452 198528 148457 375145 951938 793364 819674 117227 316172 142181 894826 891060 650436 598040 574684 481761 496002 299919 749037 958972 543290 122524 922272 851796 558374 523487 011941 878940 789325 238480 910295 598934 167998 323266 544681 349208 922843 738337 169263 778792 998744 638039 456665 310790 060040 574748 164591 453580 933684 604818 041065 582002 881293 959220 139417 380803 285299 983154 233000 744618 258540 691249 317159 229979 607814 229748 185053 746741 305799 330514 453923 232147 401992 902825 876456 769522 121989 808684 673045 483856 524882 337057 822022 788665 979293 663034 110472 378612 440082 949784 736310 079439 390376 224655 646820 527927 286406 413385 276712 256402 958983 334445 485263 853708 458342 264640 698586 057756 333952 197341 097088 210974 995379 536065 683790 173780 925995 537507 447771 004237 827016 280996 458376 795743 153628 696914 934252 695589 492204 445137 732682 300894 401583 322814 490971 853594 380646 798166 903930 081669 953792 869404 239467 885504 277358 390144 220207 119361 203637 417270 468720 091003 271758 596895 720240 735678 016575 074860 574148 113738 788457 128708 474965 139616 835406 952920 177557 396068 864929 865150 574249 153771 093860 509891 108114 227551 504177 809960 214497 835400 835417 403611 456185 437412 621590 987086 789273 750535 340371 711785 467390 287888 536525 462643 171438 770330 154572 946413 406111 726023 707149 537568 413091 318281 430904 982589 938734 516743 774163 938789 513952 668047 930160 960812 789198 771337 557414 414779 570570 223882 006916 694429 921753 998324 538693 092278 485633 998974 618287 616571 319474 368755 214340 331030 523302 024441 773091 314595 152884 991829 469014 470057 129630 225585 020505 718345 090138 181325 183081 340212 222729 466820 398879 448001 474371 749412 247817 790621 488409 191772 098562 208723 737968 358120 941249 099480 417996 677247 301937 610797 564318 516505 184609 763889 419939 214956 162902 159456 399176 583595 622224 880084 114431 677613 580330 364119 104217 026693 637526 345075 075344 476194 209826 230487 873707 796548 844015 989191 937653 147666 906331 061178 113636 732554 123283 045636 251256 821751 614706 819624 984633 842251 577301 411231 613791 301648 095493 907199 269785 179837 534090 768700 533991 823854 339150 331545 406450 599889 822266 337380 424046 076927 462317 363503 652578 293055 198281 425986 350573 815754 030428 554345 433846 830855 315823 812132 979724 499178 233925 286731 029627 260691 249227 645972 931054 772359 846662 176982 655520 119739 797915 860729 981658 193913 104504 123329 363897 021329 601384 833204 173678 108730 643195 525128 473121 799648 189350 050689 555755 622547 993458 571117 770631 370197 486888 175021 319950 369243 830656 625275 254520 872622 501935 232793 420118 579758 361082 307562 238249 692217 410588 204043 039293 782859 443415 735208 861340 296195 915207 736666 488136 723008 581493 900776 722745 448526 887488 976963 133656 478248 634480 624557 211435 171463 519474 703457 002508 764637 259528 607844 659868 887088 802531 784983 317786 624041 366704 874000 393195 754942 056685 743323 500959 432692 086320 044241 428964 195340 569658 629830 154482 837195 948346 280834 444901 805935 937645 473305 480587 009698 792400 633365 698719 950285 642290 382137 598898 507888 150981 530811 522652 629909 989819 042776 893339 253012 971697 637797 509413 857904 625449 915959 679341 505007 294299 225348 644983 452280 876431 338764 738528 153733 523207 689395 936647 018163 332375 159732 189028 667777 333224 663716 580848 804221 454960 134186 663532 758227 091148 535650 651209 670341 336425 700350 309672 172955 952709 017009 590389 054476 606952 280891 345656 324104 794048 322458 012299 147635 125989 590514 113924 617498 561354 115079 775954 365395 942663 840475 013026 732484 293643 581227 956525 004316 228687 107626 382526 065996 174594 189997 333581 897099 321008 888896 830078 116582 500371 250019 067366 411531 501186 795232 433623 305175 956115 379642 057430 403727 916877 121480 913460 744134 102029 028182 223955 803090 792677 877570 117692 624442 379622 496835 697795 011278 367102 502576 643054 812744 345572 323105 518574 743736 401440 486643 002489 724009 957319 223697 308165 636506 601705 242142 275077 177200 120381 783110 689860 226278 038099 134046 324453 820957 176721 906075 151863 627135 333285 327019 423196 876830 348139 292235 824627 422867 061195 970609 475688 058929 583800 797477 035689 634778 798500 495391 180958 058468 527828 388713 622530 540845 701161 < 2⁷⁹³⁸⁶