There is no linear OA(2¹⁹³, 85388, F₂, 28) (dual of [85388, 85195, 29]-code), because the Johnson bound shows that N ≤ 178 019753 292881 806032 109535 218342 544768 998653 492442 454567 926139 151783 712563 547509 017657 262931 820988 470996 615719 836619 400478 356323 620643 702050 520997 484315 661841 999744 103407 668509 302336 830649 299466 883027 695127 194979 618176 098699 042653 979292 186339 674210 195248 710864 828083 148695 898909 579022 458131 523692 884931 891263 513926 387819 176498 991619 215404 518912 136526 558436 589251 238144 196105 525616 693317 348590 296761 614752 615854 619142 509377 634826 034414 852966 121831 291728 212235 214829 503255 367197 702288 999020 786660 397659 797961 050724 369341 701732 741126 100716 843114 250535 198548 336347 700445 738982 304234 957679 284007 558546 741722 060664 482197 327005 711605 265554 209065 869128 897170 748149 671096 905111 559005 322182 487644 240706 329724 510638 532356 171075 933954 626762 478189 620725 433465 601229 628591 688998 732536 754717 843924 862562 716952 855761 786677 601139 042251 709353 022295 217538 881150 623257 386318 863696 732863 390020 876578 337836 192357 353549 352339 514305 092102 914892 086810 380405 254654 483787 697335 400032 355105 519093 870960 841682 131284 777096 960187 490761 705364 559387 651505 015764 746571 369317 517149 558365 800348 221901 323896 703625 018451 070839 944177 771819 717737 362260 542483 659875 030071 582313 305267 279822 357128 035732 426291 962207 329306 323563 318746 287996 691571 321341 003285 647548 604840 964819 710163 310399 189726 710502 498755 621000 588266 139773 392921 390113 216802 526636 666716 574424 228511 257490 231139 814141 664355 078577 367995 386921 086739 784547 708495 481626 595376 500598 113332 095591 571259 634993 461974 832467 642649 132867 066924 170724 767242 157313 965841 170024 040786 823841 197736 095979 035406 050318 664325 997153 313183 851633 964584 250530 487405 229958 145823 074718 800513 098326 395605 476798 282949 208559 301829 987359 548793 479616 280254 435541 925743 606616 035169 030698 062978 263527 629993 684208 230003 621144 063060 416992 119668 707363 306354 814921 376806 243132 351532 311049 187724 980335 688684 462518 671127 783541 500417 862042 264847 660646 666480 960007 807849 399229 986478 845593 856349 740152 391792 353988 177859 466282 984557 072165 056766 741606 417101 282933 814939 608943 761958 872933 066425 310341 487711 107106 475557 086737 981398 441569 633005 202117 087167 705329 802872 483620 292833 769277 332678 465081 626103 864205 441281 544366 163248 319332 901069 829424 241848 026724 020413 435590 906606 162354 786174 742374 611378 209762 638845 500651 644392 508603 667014 391611 660512 153727 143669 534363 508259 982911 153308 501757 101374 701245 352225 235023 023535 430286 768529 823151 432868 015671 063655 874934 003315 163261 474398 703944 175172 719874 614257 927387 871939 444035 241751 288905 798566 515775 776796 438501 759323 218346 335534 569581 951057 590378 876781 559016 501520 634665 673977 863525 012201 504871 305502 205315 835241 315323 433143 293566 336948 306925 712352 740910 927407 273500 835644 100557 845468 537190 872432 155846 808415 558357 488010 597278 178302 811433 557618 677583 806804 771757 693631 528689 192626 036725 672675 085458 646018 417475 848873 696704 736574 218569 355944 113612 224184 604440 262874 099560 703005 979520 379641 020179 186103 224670 484872 651081 686193 851048 392311 385272 106471 099233 388252 207991 588446 275489 234757 611204 740586 922723 724098 967085 193681 756658 194897 768487 162212 875585 949215 805948 265705 535823 638543 871071 985885 630295 662692 567779 821105 028152 318969 771577 362499 396916 451084 649183 700407 737926 875755 172347 223938 604213 420999 156839 725816 179853 983360 035586 398991 890904 450946 892320 024478 955163 748126 297868 608510 101192 199516 561172 289083 920507 884597 789339 619598 935082 163573 298723 579655 794153 210251 664333 086199 932593 817371 392321 954407 370495 347777 840519 665087 799342 427850 536271 915780 836851 750795 491539 330482 496997 553102 776329 314445 055416 448861 523458 882082 353296 828502 523215 597515 251181 522197 901315 897187 855953 892734 246305 620924 586762 467693 478968 709004 255563 109073 261442 042589 545736 689791 271919 372735 552142 447524 566942 484703 962677 301246 194582 019176 127417 740343 543505 581463 936731 780389 692206 052743 045266 215231 667251 549556 531186 507467 989444 211270 761633 561310 048814 250971 898488 468211 549690 635692 263818 857888 149186 688406 926131 157266 727249 918571 025913 506776 701635 816957 181336 309297 691985 019448 574565 116013 021102 210160 277565 762407 933422 218027 851196 663585 363117 408924 353310 187174 259376 641037 613739 869671 367099 450767 553882 547349 718536 005463 998322 421498 661499 324115 980933 821709 149914 474661 907050 478404 803282 963067 446697 059334 978311 720246 961664 434665 428812 640598 272186 445362 143645 123631 855922 809879 312837 715786 740654 248799 926593 201059 059907 118510 961653 057180 176715 063684 265241 607147 533653 921797 865806 275637 727483 001534 234438 264415 919706 125051 974325 715511 223399 373922 072446 156869 622423 042617 395181 826347 884083 977512 860793 542224 745509 406892 462600 550442 964501 806082 412898 190145 960228 321099 030729 639669 296744 585442 819118 278480 692636 003325 829935 637475 027957 870074 271720 474647 290628 382781 878349 660510 412023 630937 119054 420251 845224 511961 027978 699768 204128 143521 398866 023404 285264 410435 605981 280730 297192 317765 748645 639853 156328 223911 459267 511885 351450 703351 578356 546079 561609 671498 196103 199984 733115 872885 496994 273938 242811 955292 920629 338914 449677 564260 219727 320110 514465 677956 202570 109021 771528 046659 680018 820126 522760 815515 809054 023510 094925 754338 715939 951266 817938 362051 170647 320059 482045 409290 032653 548872 273151 225014 391595 027693 024633 535744 916344 272247 719470 077174 946110 439750 897943 948403 581847 487869 462194 534556 277514 968451 733612 218976 051578 948532 664169 120538 819496 362390 664899 494513 418538 498350 313260 875317 057909 283334 335328 731354 288882 956932 211656 424090 727626 351289 943950 811773 486121 950206 073152 642804 630399 027433 865612 783288 944896 368540 219023 590709 132974 399799 789222 713554 797756 139051 656005 226463 879438 516094 531778 436874 460963 503621 733430 448710 139367 883104 161462 583761 431827 665386 872578 096627 428866 768287 464395 125687 568897 261353 386736 342726 731114 971089 364498 227083 884660 064450 736759 062571 054443 057625 278129 967520 951695 093432 583423 815301 928884 713677 014794 641968 050779 427594 247795 954094 774321 532039 157896 001781 314528 618201 417553 236036 075788 135662 053635 746172 934014 071461 447687 984632 024067 134493 911933 227913 276762 120265 870737 468086 631158 061819 492604 185465 942063 914966 385672 020590 239413 593693 754067 119983 312636 068800 879988 901337 053178 173400 516395 958417 625567 556309 264702 868622 844078 748193 678980 632307 711843 832148 591669 725353 385226 763592 443969 914867 103030 379300 642878 528399 334856 239097 867419 565196 940960 098428 019881 175885 926736 816248 001806 477226 791301 055371 140775 003915 492295 893853 252797 437105 953243 381447 346304 807285 495528 300363 344780 372333 507136 188865 887730 509303 290324 359901 787233 699562 916230 619753 183979 021228 187693 393575 227043 275251 380934 058611 551395 106363 334382 815206 259343 177393 853683 073157 916227 307737 961226 411547 245280 503789 955787 019064 466275 024590 381420 255437 936578 473021 235068 496880 725643 480124 148333 906042 326261 215249 286722 033779 351643 628889 576846 024248 124866 970153 922704 134453 904046 418748 394321 082767 528774 528097 880870 646045 263539 081373 118478 697689 749067 979515 237743 394993 036366 844012 857557 793044 321976 927438 968644 494240 928269 256585 018021 294121 129965 860401 288560 719148 302863 252894 372217 868288 984297 245945 419142 947375 196710 840461 762202 538286 633685 237912 325631 856015 983777 207139 234148 016114 442022 629233 939039 915174 804257 200194 793382 033826 216163 155100 560278 167815 944375 779802 142334 246092 007404 330514 736165 347879 432590 488977 490030 191047 884431 029898 381424 745076 376549 413791 692816 469166 442076 383963 332716 609278 962464 530453 121512 812750 014168 082889 955101 368984 716529 515026 850628 635308 729300 904414 479179 584357 716204 008741 075623 857496 374743 576376 610167 779210 299494 863362 899243 401378 397209 062639 145409 954927 868180 420678 113930 123646 817573 189498 432450 579341 952435 008896 822304 308112 931435 599946 654115 762699 908264 500451 099884 282190 706891 869372 665055 238455 489578 913274 593880 819915 462831 654042 606602 624461 554117 518634 752476 792504 963394 638162 760791 599024 488298 774568 734673 638217 837532 957454 593441 334246 510938 661043 575230 246071 160806 735438 651850 785239 415481 696309 539524 708514 335386 253511 870129 590161 392030 580947 622103 673302 729467 081306 618877 597209 557176 287867 210824 247550 560534 405243 237256 417778 738334 798879 708574 199140 305289 123615 979408 606230 129706 892355 153596 932988 600721 794087 687953 950686 642576 153065 255081 589648 435612 555059 004743 523765 967467 232556 080086 479020 903146 622349 214886 094796 537956 185688 964957 461576 649694 659927 650681 555199 325786 116510 719017 252371 445494 988066 454452 964568 764256 292424 230466 942557 076841 297156 374516 933831 667691 817264 750735 748950 879582 992559 844938 511916 480579 799868 106458 389088 848960 966885 250086 279306 683843 434747 992536 985964 912135 522648 448375 172270 561262 550960 415835 584798 766305 343755 716645 603724 967025 589756 118752 063393 219247 212095 958495 185038 261963 619844 032183 176818 616373 096490 711752 772723 620587 824774 209666 003715 220102 990011 602634 033562 406270 056675 067643 980116 067492 076775 569995 864351 001407 306511 142026 931995 200317 533968 233909 325166 034250 857877 074252 848364 619921 063086 256261 480667 501990 030973 775059 348751 999956 701738 421782 783685 187838 531612 789988 324736 699518 049009 057686 082582 116813 385477 063419 952575 377743 014608 862950 576377 444506 039405 037258 320136 987461 459892 482148 806779 548186 465053 203492 503947 050803 994611 295318 822846 719826 746226 241072 836267 293400 310685 136506 886028 414152 104508 538457 694822 401727 679746 988040 712789 258946 128472 433471 645801 742224 715988 865947 456378 984429 890323 653212 901251 922375 411669 546019 372067 601077 038818 748581 355985 197910 811353 615986 136759 342081 730797 669943 690859 836690 539873 257961 110821 546294 853682 132026 085272 573198 345960 690895 573783 057201 549306 646706 724184 397494 496634 245915 965328 308177 852961 981392 444267 464632 585960 555886 503636 839752 213444 209475 483022 232166 946614 703447 366025 992362 853386 813687 427645 417832 726891 770394 415772 719978 556919 154775 860554 992692 059863 001084 279899 917716 316835 475401 202256 277691 980954 645401 416479 678906 827760 251833 653008 687047 716613 535631 455305 840737 415429 900166 396755 379734 885729 829185 359542 644159 239316 214887 243597 972732 854796 631012 797194 079577 576452 834563 978536 184402 419654 590675 689018 223242 293419 247205 880075 997717 269622 595104 029998 500493 332199 400684 881820 750607 545314 953328 685207 069316 086034 519390 333712 284552 658643 649177 722065 658060 757349 561492 443995 965792 027019 281508 701008 738159 011688 543415 023461 702284 910912 423530 978119 883872 953369 911897 071219 405202 923584 885334 413956 372136 403217 193184 821255 755868 746923 585742 358320 474762 491875 825820 985634 953503 444655 934743 932885 402039 847963 317687 192257 788309 113173 213632 123668 632968 300077 899792 518309 025053 241559 478294 665990 466574 924539 974613 810655 241759 214302 610020 192071 771205 324722 137196 786565 018398 711027 765220 500865 789176 668056 821760 826968 845490 234971 260234 251225 449621 230008 949469 646600 319768 690762 198922 258978 847399 020596 602880 231055 882495 104100 805047 548208 244741 701621 156023 164812 483548 670629 026153 462410 721668 733661 713920 596547 230756 869248 281777 702132 401360 660476 686401 847678 141597 780276 749443 015226 303552 042360 783339 875735 802599 064036 317141 497321 048062 173029 537305 711871 778606 645607 428663 509996 227981 791285 983764 768810 968048 396639 636559 078209 170866 121428 708493 389644 357772 210303 175574 899108 600736 607255 022769 352235 259568 336919 078990 026091 935005 690158 888171 976453 596912 022685 260218 051640 830322 623130 825036 221106 757646 990722 679431 136519 529861 125476 764199 664299 833804 944435 983014 703341 206068 375798 706876 709703 647596 112436 359851 171766 426908 200298 722063 705281 182474 939904 695426 032402 337587 022969 236996 080616 824669 895451 684474 391044 588103 553619 345291 008263 591923 764768 910211 957563 377195 074619 939921 842200 856741 983260 714940 099726 702673 173888 930372 744576 404309 186054 508744 290989 244093 953813 027329 489442 178476 091964 433565 967670 913547 479251 177443 781023 244759 387519 143812 426822 575993 683157 412870 759279 306475 724957 422971 874475 709857 319755 462329 693103 218834 620753 519110 822863 504801 273757 141459 236954 344600 440145 493131 925317 507234 022810 668633 176457 758323 378408 966639 160722 940312 077063 628163 677460 317573 271100 638527 066015 599955 195363 658070 819674 191169 782526 273671 095351 531959 802481 495195 638225 707811 260229 302267 473520 580022 261535 737184 847366 845563 495007 781656 869520 306067 688765 391025 766140 114196 285370 683781 968405 631208 291770 910296 703435 133962 227630 701086 072968 466787 042328 077459 634901 461507 913565 855691 352480 242398 460870 960592 430944 779216 062765 888252 041804 250861 681852 241956 143396 774093 237570 010583 502584 975536 576915 700095 888874 087984 774110 281684 457769 690703 807795 745357 120722 229490 095353 300006 316303 814243 045998 919768 402098 439117 457784 016177 652256 516876 240865 064163 861907 786422 593075 309137 571826 388371 530401 399736 363770 187947 408005 920681 293428 235487 430361 763281 484348 465964 223658 137060 140470 616019 815007 615691 729074 231489 391626 905105 016511 780545 503863 412162 439910 115033 874674 303113 112399 521680 168165 947827 507068 247672 852355 938456 495502 016264 952082 231146 441006 245799 625167 284589 072371 382089 106269 818895 977887 000644 212990 821074 330635 860366 990925 946683 167826 104092 942010 676601 792711 720575 123182 760261 990893 167540 034673 630190 175212 627832 521680 874613 595232 901909 041870 413072 462672 467325 292390 761609 514252 276392 488053 087213 678309 286725 601795 137933 364336 628292 097712 644567 752634 994641 871766 355820 934793 232160 801093 270154 721007 735561 699901 975733 320205 504067 610157 966856 955487 940171 466609 116117 951126 486438 684946 733607 638895 231568 500551 564306 054436 359063 890701 134000 955346 506482 326283 930960 336268 026753 480218 326501 573472 302926 986910 949603 087806 667791 119295 054359 631598 735704 868633 918383 245198 347688 568407 893379 782891 823664 885159 235083 175469 366221 131913 760718 780717 446515 573796 012523 057309 037187 620336 581691 837584 284251 750809 452313 310978 057830 847085 276477 326478 430073 203237 984178 817769 902651 652448 336549 986096 810617 684323 785373 419294 586557 379540 251891 679178 730197 848891 100859 897462 789172 833729 897773 559312 200981 680064 957619 229886 446035 635771 484519 930215 653017 903194 354100 848674 910008 158634 372149 479325 663101 933151 232278 770693 597532 669914 882960 795243 957858 997271 812010 605333 896209 921523 109465 404173 805432 489645 152589 833849 668834 724958 617687 822567 981321 214339 187055 579045 288982 339733 137395 580347 687603 035119 489041 631372 897799 382320 296166 847558 294087 738467 137716 786576 575730 139317 408117 255747 216202 757091 314041 189105 265881 604153 018846 963204 210409 467892 270586 307663 957154 209572 428108 093663 016231 627537 130783 112323 136756 276450 542756 878563 299598 707126 012259 902488 567922 349344 501587 736422 429391 209245 559899 918072 384332 101597 965586 453567 010077 786470 410190 990110 033333 432468 712182 218472 206426 146299 984269 387943 680411 003054 978326 031320 293560 002009 653522 927116 873759 511383 371701 031043 569869 385694 729923 951005 827920 161377 122953 409264 301642 581297 107320 296223 885911 372416 716596 113611 902951 910984 436552 726996 997582 863467 087238 847285 608224 345858 883326 758825 544496 494738 411289 670226 419762 094058 243416 348319 305265 117212 974967 225906 304848 537999 911831 943299 159911 445258 082805 523170 532308 712814 304873 185179 937234 013511 449436 594069 422706 056207 142439 309599 912492 605527 472144 490669 619070 743108 195054 307670 886473 372650 420909 504064 412464 180636 471315 384444 894173 843025 961891 324696 149739 977427 424279 955728 129147 570824 784076 505526 618366 812079 447896 800467 914363 612587 339174 523070 522810 431789 815098 623013 926418 370433 061573 434482 518060 126556 918098 315564 642048 338851 313424 993106 600808 183561 246352 415462 851640 530517 076991 397196 364908 091705 193134 914405 664443 621497 887849 958776 282453 133642 230214 494474 808539 575123 554040 404342 196412 355611 943825 280601 794281 946647 691247 091249 028922 737407 648875 559476 932389 818783 598385 792419 128579 240188 772043 772762 898991 726493 649510 631301 115682 883770 691624 959033 332538 084330 900433 905194 374384 163644 948411 344361 508165 838181 257265 404342 373416 869051 289611 777074 100862 690995 103844 944033 699459 663348 887756 994132 806709 794596 923694 020183 967752 765263 868230 173156 808348 617144 961797 580860 089573 877710 679066 665462 727187 075044 951938 877645 898754 366483 621440 006276 174084 860756 042684 869800 612872 756340 005934 657152 040410 120464 664708 354297 985218 964294 332840 987655 905908 303154 764411 199786 918959 466505 070504 263206 767136 932797 402186 741463 204922 314558 572119 855515 269842 629822 655334 899462 075136 755162 565542 358536 738124 422263 253589 294792 144358 557803 991937 576621 775007 474917 373244 475923 047837 262303 213528 478716 960986 926683 226709 008304 074704 822872 818022 196729 682628 051357 825752 514879 327914 091595 503484 353269 892006 820654 225988 591215 827943 031408 850831 640129 705816 211888 481099 490185 430341 258150 302591 122280 633979 730059 212979 810129 200240 542249 387341 459980 774855 377744 345907 392615 122933 543106 810976 376354 107446 949211 142705 760536 434049 329022 273583 652592 263491 447804 364228 759332 395466 498336 816637 591967 320929 395499 946266 708487 064774 918454 458843 385803 117290 755427 503781 814089 315249 933693 629311 665861 066218 935419 540712 556537 998126 581618 334544 962097 114870 608835 479729 360162 408433 362057 842628 663469 322302 208074 276872 598079 834147 672436 891505 099049 374129 000793 979512 883821 868597 815531 057127 152732 116628 720549 527760 551768 625278 642833 592103 111253 983486 995642 524476 122245 234536 404722 120806 980969 648923 775858 172195 961889 844449 044057 790590 068596 205542 792979 448550 572867 535617 841559 438337 837990 073543 383630 482918 712948 223042 557704 721920 372310 820007 207983 396729 487768 021293 475504 957142 615472 031295 009790 795033 205132 494340 940735 357044 796763 376344 177382 750525 450758 508567 180183 877535 233958 449175 001601 361167 913680 326958 692351 607070 451638 525534 231141 727054 977180 477785 368113 211758 060798 487743 617474 048545 925830 541079 210356 770167 135216 154714 477415 985077 536369 521767 283886 341009 657064 950997 799764 899334 972380 798144 950694 859179 663302 675381 119561 050836 335199 151902 456081 066789 033570 813625 991623 396191 937198 621784 144120 855674 680646 952571 929166 509801 432968 499727 224697 093665 072501 500588 916993 826297 367417 848121 992477 234796 063941 965131 199782 512050 370182 630144 683672 133567 121069 584331 145486 627523 801801 590560 837643 627662 376161 360803 056346 447519 105519 151555 017633 427480 952068 197626 665144 267826 567602 396185 623405 506043 179823 138270 926539 907654 558344 250505 472630 748296 832515 701169 143644 451757 500194 826936 248398 143381 572330 957362 533348 867971 845261 184962 947249 810778 636541 191423 298029 046996 531702 610709 816724 881522 228416 495068 321190 805076 197103 053521 365770 989959 917744 167463 892607 925068 953078 052610 096954 125459 612813 076325 177892 925695 936007 743168 341411 978164 964420 651720 052235 042977 191472 195833 248097 271588 476946 104114 297477 270194 826740 895370 588868 627762 115721 023579 124256 274490 868183 082742 018191 929625 377126 892931 072048 271782 356165 012341 691723 379412 289515 833457 318020 790760 179333 534030 027876 401903 392473 738296 811937 552534 493463 117471 432651 224446 440879 679390 045412 706963 852525 308706 631537 777989 267655 578116 430749 836498 025738 918218 004941 080997 031141 880413 072643 164155 014873 557040 578363 111180 318970 412010 347591 528962 647255 940673 087404 452371 790773 487033 863680 537895 687836 252606 032040 214283 951154 009194 167099 750676 185965 306079 066055 158078 553499 840428 461111 689568 567172 058369 279101 845529 851124 964571 778223 896075 366976 021458 075437 541995 932619 950165 689668 448920 617252 515979 824618 698923 158745 712487 977735 402290 954994 914321 100976 352841 983183 370742 499319 827834 130006 923374 889395 469563 617023 264622 212698 773881 246397 353740 435317 401894 728590 922684 183448 686630 925119 170550 284575 674962 575683 492633 149786 987027 443881 823572 987073 885489 398635 338609 728230 737840 370423 890400 533758 592714 279894 676041 362479 412423 062299 292036 642555 147235 031337 491946 593507 506913 827793 007195 270959 033424 799646 117683 165358 869968 634929 926265 921660 670540 571250 649284 967445 346485 107208 239156 617183 371568 470340 262610 118796 234730 626734 043094 530112 600241 696925 808489 922365 928129 799147 586917 000340 793233 975647 644201 799064 811558 440839 227226 268250 801513 770841 068535 813830 925392 252707 626228 269436 836087 065565 942489 302946 770898 084578 704035 710634 203502 879179 954201 169053 814597 685205 567637 018872 448944 727028 113694 290456 890137 841104 207206 055251 939665 564181 743977 167005 135023 243662 675683 181245 416682 044022 306750 810495 941386 390985 573889 323871 029685 660508 120431 520361 103443 106482 972856 580173 575278 670815 577531 418054 020455 559544 919304 259240 190939 261854 639734 518463 555441 510641 105110 307703 874014 165542 660209 904297 966295 998178 518433 513850 462041 461254 503083 775079 708371 963354 614288 147544 099054 444481 769409 430406 313759 242960 888612 698143 040992 001212 337153 710987 614420 230205 761034 898380 754354 517577 694136 828787 604933 996956 127016 904186 878473 967557 074780 307616 687177 718578 176373 476289 457912 635833 518374 791196 008028 196723 387642 715404 820294 168342 290769 881237 202435 238600 930868 822273 362505 867210 074909 567565 652967 328973 081097 177033 132874 571542 202306 116396 344576 917553 692978 003413 867240 087802 828813 599620 002747 793461 315881 012463 868728 962794 978288 304195 066550 507152 724295 551168 065516 782115 939204 927660 957244 914612 732499 968652 675890 961413 337441 906704 694586 189168 592688 256843 801225 397216 396706 938934 692035 051979 476026 586445 403841 890475 880614 694801 012293 247392 351236 450632 661880 721010 526299 478592 135451 274888 045920 464499 788298 671379 449351 395790 723071 051339 708907 731405 031352 709273 572128 510965 542986 217392 276517 553552 812089 189362 974702 914945 697281 846587 058914 649447 616102 950019 776964 896810 529985 692397 032879 155653 926684 285789 947960 813705 488517 184079 451785 136542 773208 855328 508127 420535 298412 393423 146904 338165 904463 845115 825054 191676 474861 219170 747856 120413 410998 225567 533912 867428 049076 857822 991955 481376 604699 124382 877193 353222 339788 622441 195040 408270 398414 391501 870950 553075 785742 971786 626335 993242 691070 000664 559350 182736 033898 139392 828311 686117 991232 111371 227882 762053 061639 414409 318289 391870 182563 891226 881474 697766 424055 153826 823553 598039 293458 044302 441103 331792 302226 711970 909017 799083 478849 535225 106852 073799 017627 330797 746635 811625 415941 760247 800648 071571 299449 986250 608272 645907 861241 127697 865804 303847 609355 955639 829853 492120 917976 307264 594389 785133 362120 472753 989211 513900 257996 672579 826182 111150 660639 364186 194597 973044 392769 986873 793448 376354 207129 895991 274659 088998 828106 676107 041565 290951 710638 847398 360544 308459 344465 516337 791893 646756 299939 042218 313362 534049 923731 343097 984348 501981 765215 991069 837191 048524 660926 417744 986724 744576 385766 834796 411392 961623 713472 915380 875689 212707 033113 384572 606697 160521 128707 286867 554474 486996 469879 007730 347785 500361 999819 953975 813121 465272 824903 168797 644151 626374 365178 984828 142621 555002 830142 344380 582961 087362 019326 274526 348247 834659 390450 713124 268634 939091 498236 211430 290208 813042 118345 215993 495155 499013 837029 263559 140048 464575 878591 386893 380200 533241 341270 431398 625334 518902 730921 942177 029482 453528 125374 256116 464697 330463 778661 645346 638313 608364 716602 943714 472341 035329 395441 927613 092130 979001 016261 868979 812810 353365 830525 636325 208865 342800 620955 270818 858751 063439 982452 629113 950111 506478 833571 828350 578673 269360 650487 755241 022154 883454 496712 873234 057628 874436 154359 834034 859827 931267 411426 948734 309041 118809 224911 617609 176144 212040 290011 808587 693838 248217 086963 166270 743979 325606 655088 931824 050290 039684 956510 522162 343198 483290 994254 439109 422510 627925 356452 581630 757417 457378 922276 922132 748962 388781 011716 618267 429248 824139 678331 098845 777707 341239 795880 780744 095230 587110 034300 287083 306801 679366 687562 293664 168473 626874 257429 585123 285321 973188 601860 693156 543927 980413 863558 848764 251684 962543 534400 511602 607511 344670 808871 785533 695784 323382 672449 060023 556594 661086 341449 982273 663439 058334 489123 681338 525799 134813 666924 306964 763841 253894 356245 029143 934200 824432 183895 537115 380694 791276 835257 851122 095454 696034 505587 759634 218281 982242 157481 438880 979573 547387 990478 113785 893124 875706 815839 249316 448019 785739 721902 341664 464681 009912 185921 594717 204409 094480 495474 387517 108462 508189 636845 387214 081844 171379 888473 972122 863621 051498 660759 037052 097955 345146 411048 764412 229952 992416 150432 833077 875052 312589 455361 801827 718176 460654 653835 707456 419824 937531 476496 556881 098498 845549 787614 473256 475748 148343 337321 348897 044037 646811 214780 705765 491678 252154 068244 632363 705055 822670 454378 213752 718452 891562 912789 285468 549026 325058 261457 988622 139126 642722 831963 811107 736642 554348 170616 361239 814694 031645 166771 336639 674693 173336 307051 901131 737819 702374 983445 001885 502701 330680 335841 251408 801232 495956 285482 227926 848948 438310 445340 141981 083316 741255 115291 486196 707069 890364 140947 921641 267009 347907 976024 713258 099671 048608 635775 885721 189697 101988 840495 121733 501901 505533 824711 905622 444565 654540 134392 005169 909649 700756 103491 603228 458226 314297 953332 278547 592955 457177 706192 326328 091879 966867 116087 974119 887318 763105 796953 790401 941897 779279 744046 703251 200483 153060 661945 292661 414928 129677 746035 668676 944189 165163 597732 688052 220250 334209 569907 606180 639085 062655 068586 458285 889516 934950 036304 824854 883132 498918 087516 854629 432349 825869 083013 456792 867744 964533 299248 253332 907572 253422 130535 203851 834110 839683 415474 651947 838331 629396 012612 971462 897634 912631 401426 457040 331724 248924 299696 380983 666379 178339 824957 819336 394270 307819 740626 677114 603110 630155 749787 781184 340573 456325 896449 062127 784474 200018 945726 122315 939829 604163 890369 878578 633069 784525 792339 701022 612146 435878 974945 489176 667443 223205 776186 705079 755367 128541 061777 145063 628095 659161 227095 982927 138464 680035 741322 425356 967948 241195 450793 142735 698692 053252 478138 460935 965542 453844 631165 420475 400792 522652 207826 493116 667384 670177 620282 365351 895568 891315 984050 906270 526070 933834 553379 030060 739933 871820 982148 732807 302548 781990 894924 403872 446737 019581 194404 691379 514507 345371 338576 308238 979190 429581 755393 988626 711687 943421 944285 165068 063526 359930 959023 633717 792865 543438 260462 555938 823232 974074 040074 268602 098950 355748 015378 672031 076526 045316 975368 788224 726087 920495 317760 531500 639119 846292 987671 306873 080425 283321 629490 663323 448554 529543 976335 639596 065793 693233 222136 838519 633504 679089 951992 567616 694213 445015 898732 792584 575760 369248 906362 346645 864785 351396 798020 956282 289832 244513 231585 166665 308998 686257 155697 101114 322802 034794 436578 990247 931423 414475 426092 465320 696652 819008 442738 772019 066202 942282 172520 965222 117822 590505 469335 371732 515924 044364 436267 286674 759969 377409 052034 752481 751360 749038 833706 454645 752398 913753 632442 386534 973972 161749 823695 001875 494446 173314 579557 190245 519009 640240 850102 351003 105528 124351 463385 228903 923208 169156 587426 307959 629618 455391 975939 982075 010629 069236 976728 144378 804513 855559 762811 659763 643030 986174 630203 585105 312112 803233 520346 118514 016322 526528 780044 812903 236420 064536 682297 723626 675624 971941 190345 999730 619471 623284 893630 755983 161551 488777 262577 826288 925423 004631 257833 429443 < 2⁸⁵¹⁹⁵