There is no linear OA(2¹⁵⁷, 97174, F₂, 22) (dual of [97174, 97017, 23]-code), because the Johnson bound shows that N ≤ 1064 267928 342622 813628 068473 207734 776720 347835 777065 501279 172779 628329 462551 687814 215500 695241 042055 620850 887778 419314 802449 709464 548331 515317 947289 295967 696118 040231 062717 207255 433960 307634 173187 573164 781910 259647 735805 890097 269215 356399 478307 194519 741949 986303 596826 409869 475121 588465 607915 056635 229723 529665 546401 492628 407765 986381 936752 314083 716410 229093 650678 314321 671183 518043 074029 108598 576307 126929 857943 508409 801371 643268 500308 881385 778966 992857 664659 075279 308431 809857 197772 134716 717294 670809 063566 054738 558264 666486 305830 199791 544504 778066 848229 355951 040586 869712 888309 373484 357673 535283 271895 014880 859762 700791 475540 317392 878454 184124 854606 384413 635781 353777 405228 483772 815598 834085 513568 279111 160517 468403 970431 106493 516758 615803 005965 947722 608537 047319 051652 711927 675950 229599 355242 937077 123999 180488 716404 090500 688809 187227 379829 341644 659316 729669 887416 637903 257740 365047 862737 293601 744069 061992 985148 468998 493771 449324 781897 813036 561067 220485 100724 267577 501359 126823 688189 952547 082976 138516 603146 535104 780733 432526 678169 278789 161136 264889 049353 404879 647042 000897 908420 140819 722805 845103 051826 817387 780126 902700 295449 056518 511139 076568 935523 386533 091707 722514 175655 026048 639405 432036 517000 855644 291312 647922 733575 504636 988100 334489 920186 807814 077077 290577 829036 654747 197315 050093 578024 024544 838374 200236 352942 073550 080969 545491 932351 785503 162471 324794 877194 350786 169332 141255 019198 749941 105804 682310 966211 639274 966459 483417 596366 597406 550597 688935 928754 799097 217707 951383 568956 266578 264784 533097 589495 619246 413882 585290 672113 124815 257952 162654 501856 797433 606379 605021 489126 098173 363410 951366 583300 074246 349091 513155 352738 452601 878670 779221 649982 072993 650199 175303 598350 205637 492655 892466 068738 635264 239165 526371 564257 033133 386335 117530 650072 743116 531628 276963 522013 875910 579777 822143 353792 838547 777217 448533 767341 072214 650330 507515 714725 720836 243168 365418 756674 077763 471583 681152 187573 579550 912538 069381 699686 933386 386757 583309 997510 052306 506184 538326 742555 155888 282299 372480 931097 476013 739074 902582 529482 788248 663838 083235 654530 769103 940340 585985 976760 425060 457919 424178 974439 833969 640261 466768 750760 313757 898787 689517 247551 988419 222128 689980 058652 564721 938001 376406 585495 384509 784873 991631 106254 843198 957463 160403 669163 889865 572621 065149 106597 478079 469955 650926 571034 428414 181329 184035 061881 812565 268493 880474 662929 403244 892103 709177 668556 069149 068158 002052 253640 536369 300977 443208 968512 449028 262425 458623 178792 758365 577815 048083 134886 935440 310601 557722 240076 151583 481564 588801 008845 040282 207017 003435 919805 887619 004263 033483 961366 237500 393395 308354 308163 583351 484241 704090 881289 765283 026042 727582 963893 342630 810688 852958 444317 757762 309012 733963 779957 206090 620387 808708 880856 500258 423818 651671 570032 942007 622134 105899 402065 674443 511537 649557 775779 569599 731403 968963 716242 282153 098876 248990 238658 646616 671142 984989 357537 688622 201802 273534 291224 380069 285837 303810 905164 683755 818489 509525 692713 182292 417769 183711 196825 730452 398537 044192 515010 095558 665221 632367 911444 548356 111999 531275 816313 915520 927773 730975 202394 299552 745614 970641 909438 470819 626933 121333 443931 840793 242632 653959 554361 789778 149890 845274 108093 643210 243181 920453 704183 489898 183371 018076 503453 254458 626703 839175 570678 479497 151945 072630 135215 906894 683359 471413 266110 443596 570943 955600 031879 429808 350000 822902 059267 658699 490438 218695 894299 256399 683977 607420 421804 888751 824739 941648 970745 411780 719364 707051 016398 323474 951482 290866 377288 490472 770995 010420 606808 927670 166391 269028 062785 617482 672444 775777 096164 905197 293807 352568 123331 763134 011406 438732 218054 488921 265220 264115 847898 072656 527969 328214 725558 552059 106740 055308 439687 035008 718473 465955 964475 335875 034007 836283 253248 696725 389048 046010 925661 511506 388067 248138 977440 028391 536392 952118 685781 708314 970269 442802 190016 281188 181986 135634 675457 163660 769470 078123 035409 073360 625247 340676 833800 138792 883763 497002 064425 641027 859814 397032 330163 159670 465147 832660 063005 169453 646012 218700 799338 829134 503467 929780 101656 880119 359643 094717 778230 791290 342655 246512 586282 250742 546726 628280 266748 798649 601285 750689 710271 362350 888408 550279 221391 492379 646664 261620 238180 822403 887501 729933 155008 236747 164674 009210 276652 287932 433434 766329 269464 185963 949301 758794 796780 133775 142422 199754 162723 190796 291315 978680 599192 280196 667687 980510 236068 941394 996938 471196 231364 960923 456939 905490 328952 193758 181001 369032 854901 644419 458899 722656 840649 944798 236732 140756 416265 904980 844635 469916 275835 241349 886051 080382 079982 982822 176365 591605 930230 038598 623025 026798 006543 177647 980599 687344 459224 474519 228707 159858 686939 179318 118530 878654 812619 047229 926900 151020 339827 171916 857695 264943 615285 774911 190202 626007 094207 984604 186288 806789 737647 955687 664714 482562 092982 017404 015838 841333 807216 666091 982491 657364 255603 993348 862058 325762 361216 562807 559082 002037 389673 772140 200878 062894 973629 217206 072168 765803 175092 702713 483966 594566 823775 143385 146873 453322 385426 837015 358891 164245 316395 413782 578429 562316 776665 025923 199989 118321 712062 523649 276226 245818 338935 687948 221304 953384 097437 261600 448201 863380 847809 648531 216345 476440 066663 412121 646953 072667 483969 256549 784374 633525 957594 271403 015391 912809 994307 247510 133426 030974 835123 239182 058029 751247 862439 775938 261204 725586 112845 613572 192178 172605 290353 348850 220020 278535 521944 612508 045978 271056 059518 606213 735485 640682 913026 589331 753931 649788 127375 774568 176619 503643 774916 740786 751742 900523 230034 426988 888881 700986 922076 539978 143468 406540 058479 794275 746029 303627 096720 237616 811434 927409 239898 510024 010783 623081 015787 791928 138933 016562 291766 108116 169474 993636 560236 478877 912281 691602 434366 904841 898932 622556 101196 335407 466686 676445 220756 763374 705061 175675 081415 195338 240822 969382 914708 736663 643871 561228 163572 334089 559239 184938 310720 664891 420105 439725 715301 006361 764737 621676 379210 570940 459584 145733 774312 348171 087934 904349 706861 124105 471797 546442 951085 714567 831203 940487 135165 255634 677514 272991 558968 130390 580048 309858 059428 541673 219181 144943 941960 549647 771124 797449 261102 868153 564731 384428 530233 019452 957235 366079 668148 931627 285338 394400 713028 223132 473410 479267 048871 661669 250080 133647 247749 971446 659585 181094 184698 010231 217790 844787 162716 289114 365597 696157 130685 279278 191973 935573 466068 269393 979102 468011 903314 030607 908122 739396 648990 832484 361411 019806 511634 111448 621199 682018 052439 702873 211842 322183 734501 109627 308558 728310 126538 197700 183423 939556 758389 862291 192040 555874 717933 763839 982405 007371 748696 944238 196202 366379 007803 711591 899622 410117 840313 014785 027170 471194 560111 236754 532882 456185 015690 038687 042191 963301 172404 762000 085773 684055 249672 705500 221152 949539 839040 915311 876566 821747 760059 178875 588183 605838 135314 545324 914254 168936 274241 706956 936549 052753 572608 889042 431312 332755 108703 996312 945928 717094 719854 955915 944782 409644 681522 353610 642130 123542 892793 432307 802547 969683 364305 405639 020204 011318 829224 244638 883678 087843 637941 410722 205216 757308 260792 825070 167254 378946 393571 744493 526562 491256 837981 206397 432794 062585 775869 602528 906057 065147 837207 646673 229552 326141 960708 789720 878135 873538 236675 076818 669136 306525 718210 402448 603784 437647 248777 309070 959087 701295 268398 298755 082206 257333 566543 747753 181688 917649 057808 261915 311973 984079 511162 350584 905780 673606 947795 271204 310539 139012 574286 959003 769235 254608 550386 134429 132311 543173 928030 345405 787080 324501 850237 487320 212241 390306 789463 959299 063846 421965 362981 993990 865208 576174 279287 268424 822997 848506 328680 609523 565936 969323 789927 528607 008529 701333 827943 853718 333352 010965 347254 324375 438420 598067 658714 543179 766479 248998 065205 694869 006876 960526 146572 638488 387451 771183 591092 510356 284620 670549 080556 259110 063918 740218 445533 731548 510441 254947 313181 754317 480127 349283 964511 398642 841658 349039 974613 407423 505271 964053 324081 722689 140809 575999 789546 605929 953796 042531 849941 481938 177355 496173 801589 616750 691205 764383 405813 534463 607570 749302 970322 382897 410065 392607 324345 672988 774134 131273 439889 729164 206320 154041 839410 667313 279221 533018 325713 618075 043145 908928 766711 178540 899702 945184 369306 936167 035067 529233 254849 380878 303853 304859 130555 801002 366033 089477 686908 511350 600097 532747 873877 081592 928053 544273 015941 670053 371452 318875 792191 895030 205328 611324 458850 249496 933634 539281 133493 298039 129039 449148 874369 104128 054229 816768 656635 978861 705758 222122 246391 882733 933933 483354 267716 367885 054779 415673 537903 101707 827530 217622 698412 979206 829014 010179 021004 804894 723055 366462 093942 680202 995197 136638 390155 910256 231776 432969 413066 339360 132962 679168 817525 071768 233866 059004 937574 275097 773588 579943 677570 903955 222901 813837 771791 115327 620923 229465 101385 814981 697542 582410 057068 828166 323435 170442 877570 356608 897154 152431 655145 211798 554778 230810 025354 297945 693314 054217 972098 497527 943065 137264 012588 970332 056470 537038 199563 149725 333402 673603 894068 863518 534334 845360 938939 632015 556397 157423 556452 353238 195263 965234 279988 577494 447431 887170 592867 491724 057884 834059 104726 665168 353295 087881 896080 976518 745302 236211 996207 338195 731007 533859 200115 099578 039617 702826 056694 851854 362808 598256 944239 269757 822163 212637 311847 496126 379554 483198 305593 676110 354854 958114 314351 672295 283641 207436 124328 060156 705434 740129 767209 760034 954747 107193 225220 883171 257472 661642 536590 870331 880550 568249 092539 059622 894747 711208 163883 293224 780543 753841 313966 973718 241092 898142 973783 645878 080859 516484 518704 526863 209438 390019 524257 228121 408094 631626 807115 166953 308669 237279 926378 760738 419248 026892 466377 252670 157406 805491 123970 333558 151837 149912 198154 971212 216593 053838 513481 184379 888695 390700 372132 747810 512789 944482 342075 568662 253982 461425 802073 588285 508863 012075 669389 588906 192115 272592 853350 499473 214409 920371 005522 668065 706502 223439 843777 237090 704675 223838 338060 133449 862908 811204 521229 658977 101333 637027 142892 750749 660796 708834 780084 472736 297085 472248 074881 515966 496191 307914 052294 231389 884542 844446 901112 738971 607510 789810 666754 688315 247166 200163 520364 583723 518945 540548 469605 265179 070112 866458 559932 405647 746584 304337 938938 080679 004230 518197 030500 149988 656455 488711 017205 233224 361280 944899 226862 880403 722338 837555 072376 138902 057956 938480 639538 745531 553544 286688 441853 299282 901512 409363 980780 058495 940844 341691 699271 417417 744823 454283 591003 864531 285314 825047 103088 074229 849368 000511 194874 020349 637972 287358 314166 076310 570461 832200 827405 423457 651263 902273 573982 453045 487060 192594 816065 560890 079466 686099 613415 339784 004730 543801 187589 135705 442787 342840 403678 966923 015839 784972 417936 990014 724727 356961 136660 705709 087930 349317 593657 850058 656328 767566 558616 183515 144463 002699 392769 801129 090509 647140 387321 536455 990192 298655 246928 967332 052238 751500 032019 508582 058583 129520 501477 727295 241454 848386 082287 746482 207181 534140 834900 903929 637528 398184 275759 360969 813308 716515 360608 186004 789999 729898 307076 473828 758040 706011 264365 191161 482287 600341 704781 815755 382379 623133 312377 557784 968794 608210 429156 493082 891495 838060 878597 029927 820595 461101 967621 395049 336887 383082 341182 463696 181225 516076 700247 700641 667031 554270 823307 038386 305176 443509 200090 184906 229857 204851 842314 700813 308507 716856 121314 807675 900692 098221 417173 500371 947406 907844 592900 645969 860259 305079 018810 661950 550685 442402 556369 491328 648751 634420 362070 924478 809802 126602 147547 643743 222731 475332 073657 626067 029632 263192 764273 661816 068529 991832 884526 861222 316966 570955 588387 038246 116725 949240 536660 480313 282936 136593 153026 712503 629504 236685 794210 305078 678123 583433 315924 823435 616238 747810 375008 022989 083271 421996 412880 864397 227633 856814 334211 468822 955097 007757 998254 749738 953761 846981 374864 487197 466558 267858 432211 079652 086083 047271 354405 845783 743336 259377 934253 184735 104813 565036 770002 877872 692905 071171 275194 732324 785195 784736 517559 882447 339661 207670 596989 079983 141233 567236 646597 328174 363914 307650 023174 680411 395588 795527 796527 563855 989188 162317 795068 273538 342442 964335 558417 475815 342137 560971 155618 524489 471910 059308 900437 256781 546070 715349 216171 646995 659860 184533 021680 073793 960489 506328 371196 913682 680012 928841 584086 049461 788620 995783 698481 708527 606347 284178 860253 086792 813338 459833 787993 681163 059061 499722 858697 849523 101118 724968 124037 179089 584921 382794 956540 890221 612420 349326 829079 037039 805664 155502 539857 525649 353443 362326 996112 617347 897272 313992 884255 820567 656467 477102 831142 777844 890387 771328 205480 316582 705144 161736 809072 845788 083884 255100 318349 661109 337209 311506 124823 543735 386620 921711 585252 612474 608685 157471 725247 076867 188821 745028 971041 072718 703929 858701 093001 664700 281064 977873 724621 047110 971809 760377 708443 659926 034318 013600 562836 689778 349364 396569 838505 762992 570731 104053 954056 240594 666666 547323 535576 485300 615293 820423 297940 224109 363355 779661 881888 023644 826698 234900 947252 710706 404966 167229 743892 559451 392221 302276 245545 961190 037345 550028 926180 364488 238887 858640 493151 398242 550686 277988 348272 583409 857728 085263 310138 553083 072744 676776 855463 917608 704655 197321 081315 133688 010010 679457 570456 432610 313298 183641 246327 307073 640592 878778 935859 742694 332341 560020 105577 341579 422288 676215 655147 395814 845018 249712 557006 582039 297937 802144 723878 459102 874331 815817 573798 340916 859823 332462 553543 707690 467223 705801 978817 317171 251694 814627 639666 647204 976710 703082 391087 501603 740529 046265 798947 891712 515810 149842 110537 859010 896589 409029 201698 972096 219269 784331 319801 874898 423225 311661 819479 607831 507232 531083 821231 391751 213837 238030 182475 276234 451461 206252 371469 703959 166046 851356 713873 736776 195750 260082 610465 073336 000531 057757 520856 468192 035525 314967 824654 319961 023157 357808 850396 959101 263914 501661 259919 225244 965290 560383 945611 610417 948015 139865 119426 889247 688074 657516 649378 708868 189394 194574 818435 646725 561280 969227 009054 894215 782171 006060 937148 334628 133159 635839 931061 724342 306718 438611 523756 555146 119132 980622 392863 686006 299206 956857 640707 089299 743313 328725 931613 155917 083355 911328 940138 810062 379419 835977 533687 776999 060772 127807 411281 521297 162633 664382 578002 075080 115010 269077 129321 898987 650566 050452 509039 227382 150460 574866 196529 757688 035507 907581 967940 935237 246318 846094 210923 844046 310325 624245 779629 131578 251205 044458 549172 332358 952575 909625 173032 322688 304345 402398 617485 248879 199507 147299 830320 396817 391012 222095 219035 350036 721268 216271 857516 270118 357864 576655 724520 860063 618775 956864 182677 314024 129502 792551 975722 664195 870503 235710 958567 165249 144058 956806 214338 787529 133006 401681 552882 614441 766808 513520 533903 564290 267090 637624 946770 016220 868956 851108 450145 686094 126428 087608 286200 019485 012413 412681 594525 075384 663558 696241 147733 943393 325769 332712 329617 203372 832197 740072 935028 181165 640705 079384 836524 417867 514989 966200 826289 901698 441760 423475 828471 326887 557731 352106 182686 507693 181378 944861 450066 940572 102874 863179 659263 109703 606497 982916 009457 994787 207729 613867 711788 516606 875652 532924 729669 766438 074800 300336 604825 694304 704894 280115 473651 455461 296051 057103 998955 253036 447091 280885 978915 126806 651704 452786 681716 015544 232609 504601 296687 601905 587691 226389 465040 618639 011942 576789 120300 317029 292836 418373 246760 546340 583106 636756 940939 228242 766751 722268 646796 218092 853986 605452 331980 220070 025710 026961 910051 146235 407954 523147 161797 809326 592465 771081 366459 973713 911071 442351 527306 981744 852796 425986 762892 834123 770817 375830 630192 494443 645870 899571 057400 596430 465889 719441 958260 632253 132095 159826 922651 374123 523032 163437 894146 226509 922612 717679 820951 880486 498916 308141 629901 765275 377491 704164 415693 436737 375460 263887 174422 215339 246425 967634 894966 408419 676600 789214 189629 492636 330054 706654 590826 552210 491294 470177 447274 886122 848145 151099 387107 273060 513185 478508 124440 159143 259641 890848 787684 588692 795603 277812 861779 891358 667576 157183 294481 052968 032452 258661 121427 985572 616847 385724 033994 018089 347642 139772 842155 548196 286683 163067 061413 657164 642494 941255 626891 812876 564249 464096 819828 465927 539816 134750 103556 440792 318210 263804 259647 316906 158002 726153 502198 720120 185051 757659 352125 773671 056648 945507 573785 900716 450958 963850 422145 412263 167080 534697 654767 797591 779017 695487 791496 191258 073377 190843 690978 118686 370155 339149 951346 631650 565653 932749 256777 194845 832784 085377 609021 789825 464692 465358 081121 671544 520238 748557 265230 854065 640539 405090 870667 509382 375572 516767 561267 637057 856599 119834 068641 240110 887365 702483 047981 435046 430380 581395 352920 243131 475685 923002 877001 274599 490208 406219 122920 920248 655080 581679 570850 023104 330088 727321 982234 142849 903679 518349 498412 425122 582253 665090 564873 006958 447650 264604 395231 090275 602702 156886 319345 814494 108467 487504 833288 725425 564607 693227 230434 399492 074809 905264 068112 244688 768457 627446 550440 274966 216687 553348 752412 514823 427886 703715 886194 844843 390918 934462 856486 396909 589420 906054 330869 793290 803272 875046 919785 562840 733341 359021 466448 754410 705177 142274 160090 390503 312841 942519 308479 568382 266076 810611 207885 607992 227802 585307 469051 577940 413078 885566 296327 942357 335620 831701 632985 517142 432773 486449 526595 658531 690227 678218 044279 619747 251557 097330 418797 416428 360368 886588 275611 637163 102413 598726 426782 366648 340991 022835 340945 727539 582854 690080 416155 122072 615037 413546 305334 305934 007738 253077 890130 238864 675216 417676 602453 569305 168350 994459 153391 877369 283766 192401 064054 471404 392831 400509 575266 033764 000856 019687 968826 811956 509137 677019 498347 115235 041101 884407 065530 025572 670824 596526 775100 201881 739543 774199 469072 109987 600863 415555 992278 608516 904455 594181 981840 429351 930668 380673 089841 972518 220502 566045 805314 217146 967069 051823 734694 343567 276281 049214 931941 789700 356436 529704 731782 700412 227865 793288 087871 899873 323578 548901 596530 696337 433692 139045 610782 293143 038775 467763 040960 679243 247366 491047 036827 094650 935592 269753 439101 095883 392009 649990 844609 579497 095868 931995 471485 175277 744405 677191 874298 744413 799055 068744 449725 307087 631093 491867 238675 052023 370434 374759 911902 994990 975318 635605 089017 278448 798996 565749 160708 213622 948188 073002 335015 300613 316341 712281 721242 505666 139575 271510 484800 509900 453575 681714 549107 781206 496379 666492 009449 487817 870549 847852 348517 224062 503274 000594 063823 612421 475621 460142 419528 794830 816804 688258 955912 933096 124539 973186 147768 402874 178905 779507 867402 562263 433958 578562 957249 589820 433600 040084 690365 413661 535232 081224 993449 952536 926632 707447 651589 619269 678249 103415 309273 600245 814232 395326 997269 772645 318877 959618 994188 019721 734439 439865 039547 679055 160930 677276 146381 196926 374410 289135 390035 920562 012739 504725 674674 150058 941386 657578 137446 999827 661683 641535 227700 351240 785490 919185 485487 146825 394252 700484 333540 279129 099115 728648 922329 004796 399772 531139 674745 746556 977194 868289 006579 590235 748076 263457 344253 812385 244832 638207 235852 003401 507413 009404 555790 512053 273878 185449 669792 386275 547042 019033 661128 642641 989600 671643 561287 419823 450631 596542 687707 842992 846253 865079 764853 756710 467524 872496 647489 733920 096795 083813 182625 508549 856054 549299 793092 572548 781445 644079 987727 629627 959632 202731 818444 356134 891453 126511 459233 124964 551214 605821 514980 750368 116232 530584 845649 461135 290880 185508 706586 264846 957386 396886 574927 232009 525971 590062 884551 108476 336236 481954 218906 598402 749462 895374 873071 359610 652082 836184 688549 936506 915571 093065 289025 929630 466184 165036 454386 218310 303947 821174 222412 997642 400284 452530 188049 302162 726528 662072 768286 244365 198041 720871 516301 005461 050487 967695 745111 008236 893286 358283 991898 698454 427985 933540 878533 421747 979477 183625 647933 493555 395694 784838 016581 139336 756364 922558 051826 172485 822162 154050 025672 514082 421264 216414 519702 945548 168279 669776 847281 453839 790545 820830 541638 948717 919573 253982 905504 106797 896768 729547 073132 325448 833554 673584 180640 098709 709464 120913 153061 073445 586438 471873 378071 012136 677426 760622 920929 116108 856429 217224 814369 819650 782384 323477 387485 741742 766804 008470 541117 791934 896537 245548 526592 919500 665173 471148 495963 073169 883603 216958 081818 396207 928470 893801 750854 570239 375635 532748 339759 165890 896471 744443 866290 164491 986113 218238 677651 974959 236257 155454 937296 758637 251758 768645 853466 882826 264647 792738 075881 972200 231976 307952 324723 293494 250368 942359 529448 280818 068488 148316 113827 561455 406250 408653 682498 814530 095572 940067 452267 994652 362885 913436 598262 944232 949211 809877 050693 939132 650145 937946 176116 470385 066347 744317 858841 600102 198518 140695 945604 946404 599811 522350 949317 233952 651476 097235 795776 330561 717569 576110 437723 473333 472465 714291 433614 006778 729025 766303 966937 534767 225659 490644 006974 602760 549809 596197 346258 616933 752841 519926 319561 561255 727549 703201 439879 785175 870987 441874 742342 489773 486137 809995 209475 941904 755701 432801 472305 591396 810940 516686 692569 820255 115217 447547 632313 008853 380329 232897 216303 919558 754369 179423 631837 042896 100324 198351 161056 556591 556358 776445 153224 468066 057229 813693 994480 585284 755628 320898 211682 468960 283532 327550 051375 215603 523121 095581 344514 478283 417687 824869 799795 530331 911926 140675 110808 391697 911615 108275 235310 378443 148295 461179 268240 340228 764899 152548 194424 617704 517628 218335 790877 640312 984485 372497 274942 909338 463126 681573 527712 951018 367832 869095 913518 297053 078803 431215 930443 582869 397177 021618 490644 484428 886543 589763 898530 042908 998919 791913 282305 272641 014733 143718 625251 077920 564329 121289 378359 012821 377909 574557 402104 549970 146549 165747 787875 472601 478022 578441 936200 125443 797438 462987 903092 800080 579502 432212 616059 748907 298974 023703 674384 413279 017965 888138 244754 537911 055603 895914 454730 226529 844710 773184 715241 268352 820359 497287 392073 966481 470556 160983 028058 849622 734014 546232 244930 220363 417624 585374 734025 430524 546776 557702 299948 246455 337380 046133 590873 060670 164289 711621 738502 111830 394683 389140 512372 179031 565117 210579 485801 778311 798907 696747 939678 212031 678267 518404 691114 050620 528615 010035 725004 516245 297031 405864 661971 021485 763633 593809 516867 345736 385363 425991 144704 213695 906881 622004 202405 434295 856176 006205 310763 710055 754139 661122 425984 465265 479845 516414 203491 520195 873643 709990 559799 781346 508635 648718 185260 274385 670466 962197 730159 435777 887065 730179 978638 123365 639205 450316 400056 417603 479131 591442 493059 572141 528678 814211 339467 077841 550735 413741 306479 766966 092427 656567 402264 694119 039452 704411 218812 882281 640528 379978 644206 137798 474826 446530 335055 252493 640191 026866 044378 580698 904737 304040 566097 842497 873749 828093 814491 283777 358702 599803 379409 741124 541297 235242 774696 205796 763965 107831 913699 204631 055575 280622 599400 536470 108492 788241 406142 716659 721237 472117 394560 021937 434435 327980 350325 325481 731161 254946 620279 814707 200413 361523 684912 126255 352009 402623 926586 834564 474586 892520 027169 918238 977425 318349 808225 249600 107085 124865 701924 079921 934368 882220 821539 548657 859725 729856 345833 463671 556671 008574 246607 812983 244410 131767 255405 475642 010783 889049 304351 565940 053907 024832 223196 719464 772711 344308 657037 012661 487109 661543 509685 380400 894154 853948 546690 990876 535174 018602 437636 206612 560976 393883 623463 205853 116575 660066 395198 527381 658551 751237 871633 123432 131252 223482 023662 366067 556370 429192 856862 652443 239617 353229 685888 074883 855170 462926 599069 707785 469474 295473 467363 382289 641452 774742 015001 133999 187092 491048 288638 853406 920364 875222 046759 831257 890373 983024 763666 357774 340023 147045 135854 690072 833503 424752 479132 218830 036812 170893 931416 080346 525993 870321 947508 124283 832741 816694 465926 725195 205167 489525 328556 658442 263217 733695 760811 379352 712144 340141 576351 599361 169650 903046 453435 785491 253474 647288 583904 851017 013180 877380 125484 543340 401526 515543 616967 676303 714978 484613 033472 886140 011068 882274 670964 432703 286518 440737 840429 082382 837741 653644 102278 685059 433265 226305 646806 283485 684460 574288 999811 800527 099580 586296 358508 445964 131950 195069 088740 176354 878094 258223 443268 918376 779742 414208 360566 990245 276524 248909 572714 881129 856801 526520 773096 684255 191053 101717 212964 572633 940952 464458 122683 767421 591714 351878 564803 852211 436101 440174 902362 565134 396355 531667 377537 318924 125737 112188 496942 928029 822243 249617 810785 577124 262551 177305 222383 895472 875176 023038 377254 171923 747579 080877 692429 982651 525143 809611 842343 588094 295352 600898 829343 283254 728697 572646 270652 380402 227383 999604 850915 698768 923751 241001 231712 399425 892383 383126 247258 596607 574680 361014 026664 878209 847826 297871 759300 216101 336710 652478 836243 626652 271674 901508 800821 797637 718814 418465 257704 252114 589976 699215 753969 744088 950721 526366 658342 414162 185014 473497 723832 361045 200744 217296 833522 795043 829789 739023 253845 190121 051169 994062 950887 523945 464678 913478 678434 091972 680200 686417 215816 108128 104845 098112 140598 706400 286994 472495 967836 599465 561280 466004 909379 840433 850987 447905 785786 370347 328538 934695 598811 874883 992134 323056 565013 521090 929470 496688 709558 124839 401257 831782 331408 998766 977684 563693 182866 048680 830377 137757 182537 525912 761489 580560 782964 553962 232682 038250 307791 668412 430410 091530 974092 322308 465829 008956 287048 725849 623987 111800 527575 047833 633717 724501 107204 522380 242235 617103 430706 742664 622097 913567 823270 110624 841081 456193 893470 101552 580205 388742 369650 711146 838732 831349 372502 742579 500803 927383 380600 618529 014054 503242 495018 437552 521059 020860 988475 463762 904896 651436 577434 165694 637033 067375 081656 756551 741418 632476 943153 089646 870364 911293 869007 702464 924871 936160 891630 354546 451891 468941 026095 210241 752214 985738 267513 250262 372086 172138 576614 596465 221955 273404 073655 850900 695941 049271 566638 214780 871934 595163 209362 219252 826178 881366 660780 701900 400486 710284 442050 474828 638567 588158 339801 487776 742393 200572 108706 693705 095217 922299 091264 153095 268516 099353 160041 612302 492335 706401 265889 903374 981835 385695 388635 546255 128942 009525 800243 116867 261403 577950 085446 285940 378470 087416 528030 560271 547040 766908 253454 632836 516725 205199 942477 813016 183436 400369 121041 170098 114732 147026 628560 572536 919237 508896 354227 918126 321556 072147 310651 584230 602178 772941 332482 021521 231172 012604 165879 502460 701884 712602 673302 618895 247381 129220 938979 579865 356919 180069 256449 657443 584022 489818 925550 062614 529778 119731 671240 446560 246494 776828 961298 617302 919133 857490 062190 802821 055243 742341 234553 456410 203470 441916 767456 858560 344099 892922 262649 116094 237673 162831 576064 324007 231546 997130 947759 032310 371196 701575 434433 038687 549238 441441 943917 909310 207126 084879 184198 785244 872297 556459 581221 108201 971397 445187 681188 995301 233579 364838 199442 198283 042680 110213 815015 541589 499723 397717 193852 858993 903578 201243 226997 955168 864915 164350 676710 224168 621478 182040 855782 665592 939235 407604 074168 985374 560195 236938 735554 405345 207984 040205 119621 602754 533562 201191 017989 324075 038899 496655 001384 174239 524977 831918 543027 254578 527166 938417 063336 441359 701226 498836 352295 669153 582245 964218 912089 918016 845998 718956 672243 205381 446505 409384 588359 859743 907577 311214 146482 148811 343534 738221 056688 585690 090873 656403 704388 756422 826791 137051 197709 531349 894726 937284 949514 821379 020698 523276 202895 018711 379428 018164 178784 233951 368932 031758 487162 860195 896655 439164 508910 457800 041680 953260 069095 230065 713993 903169 161677 035106 831759 122228 326607 106592 904020 900203 917765 949023 592470 614839 514995 193245 465282 352246 732095 110310 002235 095461 681633 185118 593960 766409 856594 341011 218495 588298 918286 364391 008793 483648 541975 721151 332315 429152 230857 381791 211572 407689 576956 448801 224085 447491 689133 173078 974222 095779 469245 911788 473560 788390 234258 189389 551871 912966 244263 684129 545624 518045 660150 111423 184601 425754 633524 272065 557397 185609 066447 578702 944992 031396 777750 683256 310433 924243 546965 453058 360332 905619 536760 676077 933424 779922 079313 690015 907804 797660 749075 920969 612008 570260 645240 091071 851418 967608 038338 316947 968925 393919 281925 079912 178454 097546 284228 280629 459334 001706 353083 046201 034532 233956 798595 007090 971261 224465 018589 691582 125169 051439 207614 211698 775794 687865 967284 617587 461598 400639 855839 388821 062213 962202 251071 314018 354862 277094 300065 317298 114770 235803 703667 674336 235585 880846 314481 931236 443204 915030 784386 569358 370264 849641 367439 261813 276953 065761 009827 018636 956286 790498 942305 348327 347428 171100 817441 611611 939927 017452 656478 815797 156800 644728 138524 384455 068123 864110 509219 923853 437433 280371 793475 864032 148261 329447 464894 080866 976963 352173 002725 830368 572561 629778 917595 930209 960887 255529 640193 352283 908353 041224 854672 675888 983877 834930 553979 254330 408368 660722 987969 639742 615592 770623 344553 119762 610485 397287 606211 631710 440261 815874 854917 476720 232066 666456 607565 607393 586942 499696 681844 821736 518385 089302 122143 391826 316110 510858 423919 763786 688106 900021 631179 644249 256440 603808 450364 161596 042592 810442 522455 689280 813194 181475 912470 975574 120585 660236 794150 775390 249756 244619 847516 015203 974907 503322 859132 467188 258680 188307 078269 506921 269581 588359 136820 664817 468454 451356 299077 736391 687235 401275 386508 641314 825826 908648 506622 648402 618004 746033 551791 159976 388972 606557 356130 239815 017827 763784 954807 260927 498344 023606 090844 571662 424178 868045 960666 937028 233663 612472 265375 119827 813547 711675 964085 356716 342268 822841 151255 670721 636535 406790 263049 132680 456513 168546 973917 555240 041184 254444 657373 878466 303314 631025 714732 006712 094852 944316 635834 854621 643608 452338 423715 054083 001649 933046 631206 947305 306636 362462 177289 177708 582724 966072 871913 966088 735531 087263 214235 030262 874282 160208 571268 836103 876244 838316 270797 748904 202761 225064 494092 803297 497898 571664 545834 865688 390948 663831 892034 590999 983794 606151 133368 166630 436947 891672 109567 293897 967799 521889 145605 987885 157056 179479 650369 808098 009770 142241 535858 533261 924060 369190 763164 808533 484362 308686 268265 961757 124401 136349 253822 756214 358934 480878 832127 705709 181526 017754 857013 473202 184768 865392 610426 011482 592609 237714 807227 942048 257450 080357 081124 671803 912819 410990 920957 317608 232383 794095 257602 562031 734787 507217 225255 147627 718425 777750 374132 771371 592264 303050 612260 403966 481761 629813 099686 449626 282573 326337 226258 721162 732964 016823 896658 468962 724760 876545 694097 731119 787129 284987 310117 420561 825373 983669 785830 945792 427063 925156 936861 645906 890755 387163 390565 954253 533207 902220 872899 234988 980011 523637 584942 451952 282921 273256 855418 192966 389273 652316 030608 183609 754945 864547 937199 256092 445521 715262 767445 958511 491109 658043 496159 968209 585927 379235 137755 940979 113320 429603 752340 762592 016468 682055 242399 171333 820069 917037 < 2⁹⁷⁰¹⁷