There is no linear OA(2¹⁹⁴, 89722, F₂, 28) (dual of [89722, 89528, 29]-code), because the Johnson bound shows that N ≤ 41060 862397 825587 975325 278237 540224 343078 165433 794078 354987 888129 750198 461242 485839 790238 729229 589453 248239 683270 887326 802066 665563 579443 041494 055543 150285 631925 032449 799400 897210 650540 651638 740635 969738 436695 578688 421395 758666 321709 789635 399491 777892 112394 826527 744470 888135 071864 100393 434383 648802 857530 106878 767153 154807 102737 302417 905195 908078 208512 894627 182674 991642 646163 725082 465746 444133 402459 426801 178135 448560 957096 830136 257680 061529 626667 640285 452165 294398 151528 512277 298826 269383 666208 187114 678905 978561 057720 097828 376994 243648 574488 831906 952600 098902 585090 821254 240578 714084 637810 159558 546050 645885 187235 525603 391396 758304 605065 259583 838691 776957 495445 887635 454204 136267 278874 840517 786634 097187 905509 841881 256697 734450 174346 364315 579253 277120 341600 958914 177606 626419 893622 050034 068493 589921 468157 957555 808252 868633 537584 761154 533643 302178 743595 726964 052903 179089 422051 390583 512532 287556 368811 992137 185154 361858 152233 429866 826880 216813 243133 850869 488366 196338 612977 940460 995194 458249 993955 643646 382660 871024 794567 564886 132186 834840 955711 730290 587720 562399 952855 591101 782908 849053 895111 259427 838910 893848 992966 913173 113706 098435 864385 456430 845720 072879 323627 849726 861186 566506 991333 895883 964772 142048 451204 750501 868096 756241 604705 741353 605215 054521 520798 865443 445120 799149 628643 139010 021238 654442 694028 732576 620232 923967 296602 320289 728136 254220 793519 410089 336283 305956 880536 938239 208463 806108 508734 440125 498066 020730 679747 569489 666885 285509 786084 959621 650767 285336 170265 929651 217243 390086 158205 290389 832741 718521 715209 816262 857829 160581 894401 988673 574571 147024 979823 669092 335618 714158 605235 552663 812387 463887 006574 381506 819386 054470 459642 412237 630323 092444 093594 332077 952840 377824 202150 253624 246369 279044 234000 019436 766818 043351 279102 564008 834598 398968 781454 080008 864516 052750 725713 360897 586353 940318 169276 721953 378509 155858 760700 298754 801389 738593 998264 357373 719882 098829 963646 619882 900151 095120 521020 745632 550746 075706 060961 852233 177457 067467 056010 085466 718137 191790 403531 094151 757562 294844 642737 779594 927446 222149 471352 463647 040331 369335 168830 285727 228489 904662 394705 203717 227313 141560 768236 996341 156982 695565 772534 760262 257666 512450 712728 318298 033910 540161 536168 802362 405164 524808 366613 899922 464775 211566 789429 451771 983390 190381 076773 647975 732563 174855 747734 383639 624804 970318 670593 907785 143934 425246 768522 444799 753574 549802 874333 371449 749267 581043 761403 607050 286291 529514 793834 126075 646141 371789 609736 705979 000461 107360 427675 918043 124555 041649 949675 853956 505318 329274 179152 982356 852385 502546 107022 384311 821963 803325 395969 307677 318528 507328 193776 563116 570563 657692 592037 870548 370133 234768 608946 376042 478069 353136 066661 659133 531949 244225 467757 222849 966304 454383 260352 774102 714352 965789 710915 688990 126861 209540 745607 260149 431806 613772 265108 776597 672382 396470 359592 662055 792480 670025 776770 151950 196416 223485 727885 930049 433076 625178 266277 811620 616820 395325 341534 227960 141939 430257 815435 721688 956443 819502 741502 302154 343852 928404 818065 870966 148001 941890 994081 231866 880955 502263 174056 829290 975853 881119 197913 190375 069354 138063 854055 977059 738736 706011 261593 674362 924648 384164 346529 913082 968872 971363 664349 148930 992228 332768 821800 459835 838413 667979 945973 637779 789479 526327 511635 467161 620885 281855 332857 140297 663778 605672 477757 582811 026093 142955 284161 839195 716426 546972 879641 464190 125026 837943 487419 482425 509769 233622 647567 519913 869281 946784 720250 279632 711795 252551 525015 616532 088084 610674 907272 139627 524577 366481 212655 473037 961506 159115 256883 513442 973068 254092 734630 942215 238297 454963 533523 987064 994538 241870 623547 712666 486190 687854 649829 749332 542769 563646 606103 108467 195196 270406 263297 432890 079231 061561 263466 852249 701714 532757 398547 757921 510490 087443 014052 719490 163380 015045 619716 873736 793761 941223 362238 869359 323506 630430 941139 781473 310363 095511 278041 174643 360926 081712 615234 081461 730399 298242 861230 401527 464088 660157 134199 295724 776934 788276 591496 617463 264021 583236 633046 881803 379352 923592 790921 085443 253660 771959 281983 579933 222157 597098 931972 105737 655136 655600 246644 287352 109935 724092 865525 305498 583786 238686 677010 923128 897553 332085 204956 286544 330161 988104 742591 035648 485733 219091 936410 840948 232711 298060 535698 438222 771308 547788 591972 181131 440019 700028 319212 114875 441662 555540 878052 885234 980212 508337 534388 203758 745524 036130 475479 336661 819723 912782 429064 125267 657787 428976 590887 522996 837655 231319 098784 988472 385140 587572 338651 734646 351108 695794 277579 152808 747895 379262 212413 153669 490016 078104 401445 804092 744402 036467 548224 759050 330109 588028 463119 306232 805186 416946 229624 606545 727419 972844 819735 716611 564957 827339 337956 873165 682441 097211 872828 996584 845276 182187 942681 727946 155035 815923 889999 985909 555314 911698 675516 726244 482454 841977 829183 199821 129061 133637 933142 075884 175892 349199 330459 391203 442627 560043 431102 063103 976966 672508 921039 335813 045784 968176 379499 969272 062157 575690 712160 162102 612161 966019 502634 351523 444205 842895 444800 366779 898663 799455 189905 305217 294283 171834 815848 550078 577935 757158 015936 198333 484824 947847 818565 890156 840524 865066 002017 980936 820516 332222 619361 334296 883078 689216 524647 427659 657203 506114 613121 907650 304421 565162 584282 348061 767471 252952 245297 868539 855243 022537 920208 471301 243955 552722 756318 990036 121618 230719 391337 983112 325268 679790 310228 074705 243011 910402 507565 029930 203264 615650 346268 649540 327176 781834 426280 395130 063267 817080 267198 112343 520433 403783 751452 209646 326500 454740 685503 948403 702590 904666 022715 852172 392836 580946 311534 883286 107135 398041 595702 442547 696905 376995 426440 304907 573928 746232 526080 948554 572062 893976 344649 108005 806678 574626 160738 323097 283581 695509 051631 378098 362129 640633 236516 044551 443189 497599 609986 030981 516601 675378 918308 381369 391867 861267 675527 900628 058125 102558 939968 070845 801519 415806 549577 395796 241087 703788 540380 394671 630251 366252 200063 211640 909865 007577 899963 211136 311152 679315 062794 571756 465619 634645 036366 911871 876996 656736 792530 573642 573115 572704 972444 833218 368692 802742 804459 106719 163267 371768 874130 862444 755725 605060 113016 288857 261339 786416 267093 577970 165487 889386 152432 778793 140044 879385 511601 823454 512421 532014 211362 518399 833376 377692 788227 556803 415745 826595 962575 858000 526065 016636 575554 791665 415107 140038 297359 795522 726998 962838 249913 681562 886787 146839 642700 113477 235133 595506 910990 582247 111760 719602 637235 575512 983128 493746 765304 007984 846125 547286 877163 932427 145022 589480 002436 222115 989388 118159 593891 271893 870955 791177 541888 359782 145431 907314 221640 359083 464607 839485 156734 804874 342927 396327 161679 150274 755797 359553 494447 536942 764110 945318 125945 751087 532387 923998 919254 510365 475050 572019 255138 522363 107530 656239 631288 263050 729695 966523 368438 549437 910189 887571 504480 155639 429403 108112 138169 620197 787885 727970 790203 502479 012688 276788 446890 827704 630552 597297 819317 161192 674621 614599 642703 767093 557247 153724 282640 487172 494165 755755 980151 460333 340828 328822 450512 630446 622312 958098 955088 067555 365719 650852 077040 338046 368974 981949 805674 138295 861120 258211 589537 976843 730531 119334 691717 920422 845462 109952 169182 208267 516841 231453 517771 802919 222022 357388 337152 367239 789281 244363 998085 405411 420947 998117 824412 398636 095488 253604 330043 577124 648368 266069 121799 979544 031812 560107 945702 135578 867799 655933 758317 107887 547157 136488 652934 833614 382359 992433 705348 918727 325318 593109 438624 051294 424641 117506 408197 417760 895809 038248 793661 302073 590371 149494 745610 186145 424037 302396 812913 398304 349283 949401 822929 216528 705625 000930 680590 175947 960353 112607 339652 178209 678764 942116 433788 793279 125021 987260 558780 643621 443165 966114 008910 556204 716872 352651 626198 623890 227704 683799 060789 163226 862033 755840 114810 270803 764826 812483 920356 073566 780001 475616 728909 528132 075354 339247 087632 217416 153293 331433 906534 106639 961167 878287 688087 098187 147531 556506 670697 709856 139247 037517 567610 094667 155940 906453 120184 671120 939435 806995 901165 180252 362413 560144 614257 214639 154805 725879 450304 888558 539108 003195 346810 515504 277127 526773 511084 604418 755812 926283 076046 942655 937484 711751 281168 458526 121076 615849 276206 972294 185906 450294 832758 694159 032422 548295 880292 586929 317327 921855 638664 043902 312545 652073 391863 675385 911353 352227 459558 098963 022116 967851 776287 586986 554494 191375 943402 960572 711833 796495 839473 895746 234617 743911 438840 729174 605178 185554 158803 314400 320216 221017 492136 438744 072121 703447 629697 045636 135580 754475 742362 540497 564671 302524 294299 065440 084307 163989 837139 405546 148162 354436 778358 831633 549553 118322 285477 075691 700184 062823 744120 213576 960319 533460 681384 879788 358832 384141 768069 756382 252104 145575 414682 066592 798643 337401 877943 107272 257164 889490 647692 040163 613669 772235 757723 541168 628281 713680 259598 933848 911157 333784 609466 934870 117176 696465 602675 678072 249864 003109 363689 755194 394996 758420 301425 643431 195070 294223 173060 548116 449168 848787 332104 183718 214255 713425 175419 266484 926820 624836 636279 419864 160230 847942 100413 730013 113625 128166 254813 132961 811649 311991 934639 707557 029892 423960 185545 137330 853246 201462 395547 577985 402270 443873 185633 920513 819287 524178 998435 670517 006825 427393 578018 561668 180170 847452 754208 108097 953769 557503 988511 733090 925397 330741 939221 008118 370263 889091 055780 892606 159235 832685 095009 453508 120118 783987 023720 625664 389303 234670 375682 757028 362210 416580 603218 153216 409778 885272 904556 682581 841715 550139 085307 504878 109921 848928 635027 848558 952297 944749 981456 614579 685554 605345 491419 003242 565395 197745 468703 767184 310290 500174 871444 700126 003738 705475 133976 810473 664369 886681 007212 433233 966464 961324 698106 228742 037903 111201 895493 311942 920000 070850 688662 555826 681578 799655 040367 773781 437326 551844 520336 683955 719538 621526 466440 962356 101047 624230 118390 368856 635977 409601 902106 396645 313959 554255 586884 978775 767774 277675 678514 147766 285335 134443 616916 970147 825775 102716 560965 806571 550723 143370 068541 101928 627848 924490 085950 970967 837258 595929 774351 736012 948803 809268 807854 847807 489371 769608 665536 566283 193535 992892 679992 832398 085690 897542 839365 668765 508722 032268 277585 072223 193526 820207 245342 096008 202780 158326 328261 273831 812815 667290 217605 107137 489431 683564 794241 830139 921537 982209 184599 837864 242231 407559 139141 900768 072077 987914 383353 327122 861406 850642 094536 077721 330340 135454 343287 647549 430341 629068 186713 799980 445502 435426 241065 758520 596827 654709 534702 597950 469572 480398 352961 689120 038377 487251 245527 945312 190354 702036 077079 772554 499647 579707 518739 781994 358498 577374 930669 019557 794014 310612 159537 538907 024661 534780 440250 454367 601938 758609 106161 214747 369991 397098 662822 308787 622567 929247 780757 701767 404327 331761 486244 746366 277541 533685 473459 527385 466994 378305 134569 265994 543206 569996 691796 095349 476041 814722 180422 263362 816561 636275 622846 989876 810825 449361 508927 964422 907187 737456 722657 727191 181990 121047 861024 060324 622661 478645 099524 930800 130227 764299 890928 795093 525041 461532 773914 446419 042024 755063 091104 802393 387820 239566 032271 524332 120832 010866 934310 133229 432139 322863 841222 904435 759734 488835 132701 915107 946084 962783 845290 092033 462007 316010 718885 941357 123116 214138 376993 942083 221318 822656 394801 456886 821760 608242 644636 278155 475516 928502 652951 095744 700617 470258 627577 244523 037063 107468 084255 599127 286560 271754 314913 516861 517104 653271 776419 461029 964968 683023 567964 141235 791929 424777 006650 594020 282829 227797 440881 008507 840716 270273 251409 948190 231920 269681 913470 810247 530420 157538 867706 591454 537563 922460 174584 633612 821429 862006 102070 026844 097063 574832 075175 190029 252912 007557 025027 033527 100974 517761 155774 019578 775318 737810 196000 534006 639465 077953 948509 466369 015918 328605 393723 858654 651194 327483 834038 580210 217628 824878 116001 710910 464608 010301 206309 966345 919864 554487 605936 845377 366073 818037 518138 432628 094370 686961 298640 866588 446717 894896 749825 931046 858550 738892 914615 234253 008369 914173 416962 205658 944086 005854 864417 806637 332606 477955 494642 948025 618198 125878 314357 740185 485645 277859 528369 285754 063919 397216 269425 031454 091001 293342 922259 276328 598061 451380 116768 634449 184320 224504 427142 047689 262863 480715 921975 363846 469037 211518 953798 734936 111962 408101 847015 706589 635999 238198 097462 186949 547663 825250 647310 663389 317680 862132 838435 567372 160091 927481 019293 213444 166041 493238 339156 687395 387411 382079 529626 497108 388758 661269 534247 369579 885403 903230 005262 145784 675347 693875 459112 953189 136143 533156 827139 586739 199585 324070 267660 465765 747665 781426 221350 927956 960237 304587 539655 561234 346265 523129 130411 814569 070196 819282 896168 524013 980037 245058 858425 861747 820898 812211 103502 697052 903456 291110 374247 206591 918670 661133 256522 740986 598664 601160 278782 404103 906304 574538 813600 837066 543107 254470 942705 511621 061283 949914 139898 052858 198062 670567 506402 542523 465022 715916 604869 979651 295938 268307 157031 433607 692959 525283 578765 137854 818071 604540 768238 385157 081745 847142 171364 229939 069205 706253 666635 819871 692416 806903 934112 877152 362736 790259 163670 755206 363462 769923 885246 157290 111005 100780 996878 695804 097907 371718 567890 287352 125508 977642 838278 309126 780887 163360 926984 786493 153875 185528 526438 901892 669758 669038 304249 346877 868457 627724 658279 864779 011483 613766 043001 198464 667427 559508 926721 111457 729163 154397 675820 586727 655951 121785 034543 512972 097714 701498 274491 912746 861833 559392 506555 064104 397950 370472 632903 530042 690117 401207 269362 122337 058507 690135 594672 277503 149760 337256 577360 623183 407275 148071 141182 499190 408932 075189 469572 325494 455580 952508 621157 417504 108432 224070 601933 554451 391023 690577 099561 620038 588946 576046 441536 112345 158832 351155 270105 078523 750005 959466 700349 240161 139048 721046 115716 407464 920840 979028 040193 136819 483659 553066 662253 356503 751574 989911 910052 542224 820586 203678 451174 228463 095534 116444 941114 487700 100060 088915 092382 602126 758620 027339 107127 713208 099142 699657 364361 477101 508995 185227 360806 634136 343299 031794 978641 458367 748745 180871 318160 739746 086821 769023 057187 093396 579886 394474 752237 235009 821932 238296 947313 658664 799768 433456 886424 245922 583874 459244 697338 938136 395114 087885 660389 609003 914713 163939 292875 101187 492405 169075 203065 225888 129463 029594 193031 218510 921346 921756 331105 327690 582079 162794 149317 419152 388104 459665 600847 373088 430937 850623 539104 163248 986641 889907 259097 582576 111859 618657 601229 569495 311319 540068 310930 675136 197099 287670 146560 681620 514348 217020 593236 804761 465484 864927 183784 036907 022983 613334 238279 812779 713871 913231 821840 168632 211510 141263 686080 318138 903112 941696 187111 611697 290762 111499 009800 726707 258165 127116 789064 240390 846310 443142 187270 877416 494750 363076 015884 054835 144582 662393 126606 502780 982183 335601 614805 299136 932099 687767 091142 501808 288606 633095 356349 291523 977904 825580 664830 204150 058199 695460 715813 695210 112966 203499 322837 675390 505675 064690 293231 882766 977489 922298 473693 237865 576580 449987 727696 393355 541277 991965 973115 452040 040012 517425 765425 691616 863539 294597 722486 753670 553770 132297 589529 246642 277716 837478 929291 093568 129796 307091 559098 472952 595946 034481 913406 652385 128220 048222 452690 443957 932237 224539 691729 691241 852016 073422 967133 181792 823052 632420 708881 177711 469398 047323 793209 326681 603065 666200 262145 581363 826944 911854 976492 335534 867554 503460 465752 352346 832199 041475 173441 373420 280471 789537 928046 273391 796102 367997 339119 312398 482366 415151 112830 869652 513265 095781 568577 839250 203920 454559 335967 132571 422549 220365 232950 491942 601497 346225 049057 934040 794592 649903 911660 907252 089395 632413 153707 525571 321725 338158 516098 223785 193780 090028 385150 330315 004000 540912 533034 572006 999540 729138 076267 502610 098873 508814 159445 642577 911842 993792 022022 275034 378187 918620 851644 844149 265940 096989 458241 273731 985178 637486 495599 334402 374372 391649 660375 914500 367613 244608 553906 740436 371353 306903 804954 472659 084342 048680 819816 031297 790645 387031 609935 061784 173639 348195 175092 876691 374056 776588 357900 809555 238464 470221 713015 164813 368583 651121 056484 023280 067160 819326 387270 425622 868218 036542 018264 391799 097985 618417 453397 743281 698956 751856 268129 948107 776603 323363 381659 244514 611219 415626 245552 543796 318408 471530 383899 749870 766868 375873 056314 895611 873450 158159 711443 115749 297228 391260 790533 483437 554484 737999 238628 301999 054539 162958 073002 541645 866529 311969 495094 954005 574835 500614 050405 979536 779667 290858 072497 514835 890103 185481 428418 866358 354624 426318 272732 275331 312249 050923 730528 899230 388489 949150 595365 683622 760835 596996 423359 275539 107339 724441 202401 993288 267853 657709 105992 006687 320015 764359 708263 945040 284349 554285 905109 086851 048719 266905 485772 031609 906575 674877 619238 347069 510027 545498 230799 901295 634991 339196 184047 820668 961998 952344 416741 888048 647233 440123 405061 626153 712085 484263 853457 768538 246691 138611 883989 344126 363170 183023 319394 838588 090691 037699 642513 301935 975751 209244 629912 104882 160094 062662 170458 348569 439298 683176 196076 552331 574549 781649 618234 010193 251248 057084 542725 000130 800203 177554 027824 849882 011128 336525 159082 089594 654204 782274 272114 824120 862222 840129 910731 287389 818954 794033 026385 405606 398425 583978 916912 979210 936578 993887 868551 075398 712090 369162 053660 571373 000006 746916 856938 707231 275799 988039 243698 330208 011596 426922 315667 872730 596315 502973 242472 998623 113710 512436 792100 234391 296048 693035 191294 405934 107066 270117 694530 512656 628306 793609 621329 029598 125199 116382 561035 392452 099311 844035 802363 246123 184951 716089 523799 111697 698290 265201 471849 763801 480199 398049 963269 004170 155872 009928 383126 106324 649638 682905 400496 592231 596703 803548 457797 516773 651422 403031 056033 478918 898285 057452 929538 131282 231721 615608 110875 370350 086947 410159 904436 634827 529959 044968 944181 545412 802417 148463 591433 961814 077248 078500 146561 855207 833310 012184 487739 999373 457409 882326 442665 013249 256515 848611 924210 939730 935484 196344 516245 217150 844690 629370 505080 688040 584142 408085 149311 734155 955054 828322 496297 041202 916205 314202 396625 173126 489693 555510 220740 129040 407740 966720 014655 355091 701958 182642 361268 768593 619859 214600 571554 490097 372112 753532 442789 340029 653057 847895 083181 216711 122219 086198 019440 935401 180753 555205 162584 379714 147688 552482 289811 761116 261789 792803 926294 236610 577600 979370 777779 994941 586313 611601 346355 563706 122685 041411 309186 260503 352842 792755 744597 029753 796272 132726 878989 578870 470735 746820 785297 005630 081239 465250 579479 984763 483207 561134 177563 516379 969019 189953 419586 380476 492944 476097 688826 685256 524705 660996 313248 289433 101420 042766 442445 758219 273368 008126 959888 804225 232558 251088 321330 254843 296240 219731 876506 288496 683490 352937 514386 587989 341722 953311 528153 236728 080108 474653 315805 926103 498697 661784 738302 778109 333549 682699 789330 992145 633578 987033 755284 183877 402693 103933 301311 710165 609845 157180 880924 098783 454535 245844 030019 237088 539400 689304 616706 580790 868552 926206 220396 022888 356135 170325 189179 500154 279750 840873 721523 502911 375264 823240 220514 932734 629536 665071 617584 484219 389512 134122 662008 980154 476019 262295 938716 430337 246539 925078 548733 316168 719685 042844 865189 351116 185973 535855 342767 129620 961723 022617 239011 540000 416581 624061 782624 705914 341690 777234 875907 568260 934861 920282 774108 554809 182141 850293 159249 946454 646284 949615 788017 458178 544667 483679 069399 973268 690565 762347 985809 709179 593088 005955 372725 854289 551795 623658 901082 933890 855541 815704 623432 865091 783787 979991 410630 218136 573506 556143 049883 274225 919469 088987 053670 707394 189609 223978 692974 896225 252771 734669 050485 857247 161168 542139 824711 170643 323624 083143 972427 303259 197290 914573 966973 417887 093182 064248 640308 238342 452983 582363 084847 096632 377595 363324 237044 367776 117509 033535 908788 022482 530097 613872 441986 749712 640146 936928 650866 046027 988327 268557 116049 252645 493189 029391 622529 762809 021789 859993 167803 794589 576745 047657 371314 777737 322045 045980 519939 409902 603740 672145 868972 343822 281769 026441 132838 916901 055087 940181 340694 657002 373692 646747 631630 116042 060131 560136 436847 258857 540625 638335 195377 921716 889490 256977 013033 968335 187534 970151 088914 859214 720938 679398 659615 793324 523212 437413 679278 378445 547733 770988 661591 633596 320215 093710 030846 906815 701226 768555 309198 095421 077084 625247 567968 229312 929431 746341 835926 966749 404321 266027 417300 256361 793495 124607 868979 879563 094279 627664 046565 020795 044875 476626 804168 122156 029823 834137 953257 084357 943248 401562 710805 259597 588050 282344 848845 030565 075817 830153 865194 052166 812157 893373 931567 808170 554666 803486 274290 214965 910858 081081 592328 262001 707410 070858 264295 610000 104682 364456 387965 263001 580530 582814 964245 438592 685691 391106 825105 316391 804745 587326 610807 733613 918244 779204 239877 748841 615380 209103 973373 485603 911797 065534 606188 827663 583797 522742 246081 119696 347143 311680 271763 118827 169015 709858 918865 057350 943843 195336 566225 738736 347424 459074 232308 614018 215391 237671 269461 188849 305231 582862 974862 134033 139832 810835 810305 368776 315125 724510 997169 598169 185028 252593 056353 389527 284452 771570 607496 732244 249454 770454 218376 218378 025215 850638 738924 259260 965089 980280 204004 004246 896140 347012 925989 030936 019371 927590 233225 299641 670234 557952 810501 875240 891269 163650 209677 762184 601344 000199 081507 259140 631535 825363 860962 395921 876513 488590 211605 249681 333711 849388 133336 755933 835579 221878 898122 772707 157116 300208 846648 535968 135639 276517 816916 420009 191945 694119 583806 314970 229813 321510 241450 756708 831991 640350 214563 011921 306502 269553 745495 085079 671165 610733 988500 734667 032386 469191 109559 282627 281831 310327 297994 276227 257949 709782 857155 096019 051643 553142 369243 695718 441286 890066 342259 993197 881664 991192 315594 272623 564346 386173 722158 600003 340243 248360 246170 878684 787692 835375 959958 585155 858955 318196 140245 773361 560649 884895 080135 464886 756749 290002 745394 168338 800569 486209 373355 375472 504517 765262 534346 165980 369901 470892 889232 678447 593455 071767 874313 184607 036778 669690 786820 674009 079364 830442 260724 980585 695247 164627 496290 115652 717727 388691 694953 066730 258568 561795 045160 612879 668200 161533 665164 504003 597684 609683 656478 064316 344033 879365 067760 710400 699889 894978 725136 040705 852010 718360 905700 583726 007242 678400 627527 690455 882285 526180 305679 189853 766515 169499 485623 086691 094491 348117 669617 955089 083471 076844 950644 205505 094327 744615 671935 323841 398199 583166 444835 800021 735266 787401 056850 888727 794626 179262 011607 185129 483070 220234 070133 835498 109784 656462 011259 294989 120358 176536 051793 434606 339375 296393 035080 379687 071865 108257 811825 544453 785994 380384 369460 563738 260977 886355 904420 220492 597167 891488 731111 830128 372608 067824 555846 604609 596836 744894 125330 395758 097187 617515 413557 808118 789773 306706 862076 691673 430297 006410 257376 574563 955209 397383 026918 585493 307267 937363 494123 085085 444648 394473 561293 321641 444688 450334 940170 221634 051150 718585 370074 715630 579828 541110 076994 163085 435438 792575 507066 606973 155158 569349 286729 678073 986820 899032 633441 711483 572234 623751 777023 086937 537878 653447 211704 961326 297478 271544 083853 464747 477844 485964 581186 507923 004570 894441 714332 412365 724778 097585 244737 128102 592607 549430 337732 967084 815683 526398 869168 884239 461089 361124 553265 371572 594487 580196 353986 775430 571555 454363 913040 325854 384982 998171 900735 238970 036866 292000 183517 571399 224137 980601 073464 378445 277975 266417 726557 128065 741717 384583 783770 032300 283861 282298 270794 933544 744414 891781 044662 539225 032967 830031 764616 652090 635331 532772 707366 267427 950692 129803 210796 879368 655718 029260 259725 621215 037565 258332 844886 922837 064635 992621 413546 501598 082133 624534 506127 782367 767490 667793 537581 239127 899741 447877 913803 678609 135861 378181 425584 607612 995895 035152 134357 834286 939289 431243 405530 877838 736597 272721 410297 854572 786645 086093 871436 167153 941140 718197 389479 457889 425716 012993 589046 741869 897796 549359 828304 564482 988524 347804 778548 439153 374614 483929 197392 278631 042007 262336 887712 997674 977453 842839 973077 377119 731875 991644 926984 831017 312201 505338 470267 182164 189405 574531 205407 215823 259495 864737 008107 265442 498441 165683 535029 061705 406673 516353 754426 485469 756824 044909 135332 454890 002400 740741 809661 200908 538962 246418 666247 479297 411704 403789 344063 125358 800411 052608 347978 161621 590998 938263 060246 011773 376565 799763 297380 827340 162352 523678 271229 088747 440998 101682 927905 767711 981360 681172 613146 295941 106517 005203 889502 600195 805205 678599 199849 414962 630640 720085 004021 085561 617822 628191 118787 396678 174895 268544 712382 067332 527652 914907 341474 242456 172666 953188 716394 173148 144054 548083 763954 465633 067664 146285 048777 045766 371182 349493 239247 773880 189907 379751 276163 563697 368883 406012 689779 989615 736027 951787 333930 314928 114448 933599 289943 704130 546329 026077 121834 289253 765172 689543 577918 241368 244916 103678 742694 759018 639575 815830 433778 484132 135121 333665 334610 832994 379355 785024 505077 157324 763505 563559 851845 425164 777144 122403 117493 233777 619869 788067 565867 168111 632180 980034 095775 254205 236173 423215 632794 713737 402692 522292 924101 728666 989007 618423 246017 050421 347857 154086 619832 027600 037998 261169 142399 884884 580670 772672 646270 909268 165925 975606 519193 164618 607472 003075 046663 256748 664083 016133 489451 101300 724516 920121 425096 834393 876513 375610 753712 858308 439226 417586 484852 260673 423928 221886 465985 912285 344484 518535 071541 252894 207574 434672 939266 558447 865916 799212 938532 501081 361642 207109 630244 870300 445882 353347 862924 276542 736999 901942 645788 946329 050401 899496 762453 790388 185690 989086 691250 423970 275160 098738 971948 515377 787166 271557 229602 438298 355112 269632 360829 723385 278713 880700 294642 675266 324283 988411 209943 228433 352519 447942 331183 740699 383923 216718 085757 146980 278225 344591 457940 049043 872829 984901 425862 373253 593792 522796 352404 389103 536897 785062 990930 934795 171402 756622 818593 935215 555533 082365 372567 127108 221858 552427 827041 970487 239163 347914 785907 179895 672359 975244 294905 008954 204704 812121 125075 223783 882977 175915 984603 925337 064304 049259 311318 470361 695594 657836 838049 582382 461854 020921 806744 298133 516567 301956 860432 186785 300379 452711 432838 001097 239791 995946 955043 630354 022064 974870 536498 971190 697539 634409 516462 231011 652994 847426 726047 864644 484389 358739 982337 678318 857910 126898 736277 861378 413040 009361 251430 561931 852115 433153 018293 706997 517918 783788 575932 287616 073355 383185 664372 597947 339835 260435 941284 591832 781339 855873 387497 334346 730802 550687 147235 755950 427911 651753 477188 083245 412224 756062 974852 080419 833140 378415 855568 535585 500449 414971 965513 395701 153134 762209 823379 368243 907900 997479 120026 935857 797096 363981 858752 295100 665906 751466 512140 106139 099707 000080 109573 009604 678802 075514 619111 038086 596224 824636 022785 164168 980083 318322 099963 339378 108097 327174 424590 692890 997966 999799 242540 483723 395770 512889 047927 807401 728746 080526 203696 102005 208978 507258 966815 676344 857309 629507 045453 455176 452831 860956 473501 407805 794615 535704 578275 276923 181774 932643 019848 742278 902030 306664 549915 009266 305137 955758 254671 773639 153886 616211 774113 959283 318558 259116 121054 034171 335131 587277 068659 281207 307280 295007 058668 582307 752628 108814 206145 880136 444508 370184 594621 089936 804006 802338 456386 262234 181121 494062 682672 523807 471648 081812 309938 494383 774419 310695 410826 843535 797612 016344 679074 096472 567318 756508 582672 540142 005620 675721 283748 500968 785785 230740 517499 597419 968362 030552 846607 472605 224006 253743 508849 971232 868474 727689 528450 057146 557434 833572 483916 125658 963371 517520 755949 886546 116549 740687 854834 848110 156365 303086 020750 462635 889436 965860 903987 858286 499745 022377 312245 855473 484477 442800 724590 510999 116181 593064 582717 323912 121689 877234 918089 378578 785685 192638 487890 013971 666363 604907 910902 808386 946042 046225 229598 789677 212940 090508 950987 738717 808295 580181 041206 877579 069915 570603 278168 205746 453714 056970 485281 602759 387702 657552 291872 855846 501796 973041 678515 775370 296864 137229 081653 376894 006399 809471 999836 274343 742990 141375 469869 858257 670522 155626 578506 816163 534652 492115 720833 512254 079974 277205 704464 112640 527030 527071 348382 587048 062530 212794 511714 306085 652739 809429 840467 761920 588500 818167 359451 684439 129688 038563 205832 641453 985534 740249 492888 249500 273895 797373 458739 129791 461275 312264 459933 730193 011746 322408 022374 226475 704127 676711 080819 857972 148155 377212 787549 551766 < 2⁸⁹⁵²⁸