There is no linear OA(2¹⁵⁶, 91240, F₂, 22) (dual of [91240, 91084, 23]-code), because the Johnson bound shows that N ≤ 103778 571964 561557 096610 725664 414329 581041 801475 121545 660532 503698 405461 812857 507926 774370 473056 336186 433948 114451 586124 630581 831127 273646 325462 126351 817880 416280 114235 652082 467907 863058 780753 003037 030237 857833 539002 817495 538274 296559 846519 505736 644257 594063 126737 037542 592549 949410 325267 660117 003257 936823 768912 327838 654463 642093 237193 322936 137345 013493 584554 742154 681863 453474 737866 430268 005718 641263 988437 767501 852071 854068 428423 168443 251214 738668 431310 846441 749741 258484 061386 879543 285875 441813 225327 747116 200814 341514 400839 410567 872509 963873 171354 655480 521053 769983 291581 129959 977921 724259 979728 996131 612024 867816 890820 285732 670155 120136 860505 691265 834828 920513 631627 182811 991172 923208 470659 317253 824523 363150 104602 330100 921559 032487 082142 439551 441960 552085 865366 745755 778029 165722 182227 592766 081521 846308 136230 533797 633211 162334 359857 502875 296028 411030 506639 994706 710991 190073 048007 519914 070970 777262 670858 103682 156679 898615 308611 914106 739812 625971 235979 002897 277616 759016 431199 182051 728026 960120 906722 245696 541054 166000 270879 074892 552628 162909 787356 944042 847355 846929 977962 946689 979244 351586 768534 935191 344435 569558 372975 169547 461080 791941 625650 986270 144315 517277 947022 369534 659857 117387 758267 674760 408811 518501 598287 654083 346834 382740 093537 733658 644124 141575 941865 534468 271499 214474 940089 490454 623001 778305 074797 184003 471231 303596 102515 001102 937625 353658 957250 921613 528716 296449 029195 392260 265753 334591 526807 747716 716060 371124 783961 950660 640734 266243 449270 767989 812673 890741 807724 695430 955220 184266 638973 139736 912797 182035 063969 021696 716058 616290 316190 404626 104326 699494 209830 603408 025401 692035 441736 722833 247950 835783 077844 096806 893735 205822 243757 235107 171189 719859 250003 656809 698339 401116 361759 727033 187680 470692 251750 324758 733259 432222 165567 726903 720767 111708 921029 028663 609711 748176 970298 045090 025013 831886 442179 042208 703544 586961 277978 659358 191334 795624 671857 023577 781194 249248 672950 630800 830834 268108 857307 051899 123656 112768 353237 034827 379449 178260 685210 321740 674237 188964 162024 531456 709273 156390 268055 113099 925451 604295 441218 260172 621298 989202 071661 321556 413301 899927 716817 573534 845469 933936 298833 226040 488147 327146 653756 144884 105912 817856 333516 131807 302406 602347 752729 451673 593950 125760 342153 893694 263569 454050 346900 072676 604056 267246 640768 192827 135892 237756 350415 526739 104456 626480 862706 063371 354365 899760 064054 361254 628999 112704 435008 807478 652474 169606 236806 704242 330024 386494 784487 185629 552714 413537 930362 057099 766482 417859 118850 436084 558095 275364 103945 805603 611609 282068 313077 503464 429974 405648 498166 605249 120004 543597 173675 831572 860777 302866 418276 069960 505919 503963 108253 058727 171436 196549 674949 011210 589353 988681 531632 089414 005138 154680 936651 218502 285024 286555 743380 678312 826077 163911 662582 952589 346138 735701 242994 851718 569827 268222 763891 049568 598108 270474 005118 036708 709659 523859 157968 845014 404486 616045 682581 263798 018303 539950 279141 464364 015695 222382 430638 281659 417205 848801 251495 931410 746405 503029 324491 255075 493615 577634 889720 073660 566385 135260 850114 157915 910257 141747 419843 100849 885034 662654 562689 732341 179313 590180 104037 404858 711672 675207 603105 925575 985953 210429 953321 810244 596414 626680 683272 440145 187587 824260 685937 929545 219878 756933 906291 117399 781384 331371 068510 982915 608493 245185 532422 437539 854895 755627 674705 140232 232266 845499 118870 195976 879829 596732 430798 216471 557235 842163 439428 051059 251217 934959 519763 783740 298254 248918 135825 157235 417340 712974 461866 232711 424659 685241 887356 935981 883712 972537 652787 805177 400446 415595 156704 757933 857245 552198 855477 715390 353771 883906 180559 549881 609418 539966 187941 211439 481311 086231 770778 185425 614967 444516 621652 963581 527717 175073 904131 864792 793198 976910 313085 966594 296059 188055 043298 842457 867301 439472 976491 055897 789528 578976 927455 123316 828167 144942 462359 857640 176644 831067 024028 156542 361781 094723 659386 296126 113097 539250 784793 751139 455423 914762 342867 515089 174895 665114 495591 013161 390189 886503 875173 262693 439524 495783 530667 575794 930173 248854 849202 115873 187732 009460 354623 688150 742403 261797 158553 930478 278397 468826 818857 366193 434315 707457 459218 669227 983409 155262 092340 853429 392395 392228 205474 119587 633252 535285 004992 079809 624794 386789 345776 909838 969141 216001 229034 591242 546376 851777 590460 261029 775685 375866 223881 698988 284807 034371 622998 861077 988844 133526 498416 832019 694720 236186 024654 779411 949177 474048 118224 969347 250395 227411 249033 947862 848672 764906 126359 301635 348716 234014 505806 645239 309513 476465 318826 734018 550206 704421 872600 506078 773910 527949 794117 179150 547504 350457 340346 969693 238334 297184 234458 390638 463015 441321 471908 666121 599437 299740 672783 106743 075606 337844 331308 459409 388925 454821 868592 945314 617362 793633 973068 851074 318028 668105 769799 346115 806842 420696 593629 484786 322358 723614 577342 912165 447371 640984 294277 802686 415638 230460 402569 562400 139601 864323 147207 169909 944038 416916 619325 864684 181678 894945 357963 306011 888656 619732 130276 618133 465035 053429 067786 651927 650462 177743 992063 772505 982814 391652 169602 088458 761665 326518 223755 792395 781248 771748 244739 512049 548557 006265 090163 513823 298158 231039 875009 600400 710154 773090 124209 507912 828911 723143 458203 599435 083362 823318 346795 110052 401887 695297 356156 702264 310164 225649 133863 924620 216754 264627 175997 766738 734639 805111 941704 472500 996925 639195 304973 287581 772279 578688 257959 688242 843179 900963 261309 172292 685022 007091 431287 549097 743451 001963 261570 726190 932517 909238 042016 442607 331233 952384 022476 856452 581380 774853 438858 446871 493947 338813 831124 331635 375670 663952 104275 353501 343664 362120 360444 426462 381567 712807 016053 034273 676624 946676 713491 946360 538447 527457 504453 103177 658860 014536 115409 715892 279379 438344 300446 008945 502820 374989 651824 216107 035380 727274 206481 809110 126004 768466 713902 833038 824844 387769 297406 231330 732412 531286 792034 921598 902789 292395 279754 676400 192047 342104 484607 163258 429916 432738 211368 569445 874496 182342 873416 023570 940527 910752 745094 084781 696568 378747 312162 991746 562634 373144 750628 191969 791450 983515 892150 901571 697374 784557 850202 051923 984067 595256 541723 392009 091824 342933 643957 402708 200919 062759 947722 668790 667077 697795 448101 073285 103277 085482 875803 233100 668195 406816 806390 561241 791160 072199 921633 336787 523241 331428 337912 970955 161106 727603 418044 318668 145241 078350 977667 445829 968965 771777 754270 608074 583796 384321 511913 992072 584931 296024 200035 122805 542446 721883 433668 029823 574410 121908 281724 204442 651498 387878 419349 437230 022014 726183 663892 305813 308525 118461 578347 873717 387725 676228 039145 274038 366501 194766 366788 718669 508659 030889 897713 560264 147210 231006 435262 193285 609694 602755 209394 080273 727895 942294 408927 337144 930570 716612 138280 497460 658389 460536 761152 303103 931976 779108 483107 634527 005195 639984 125228 753611 859972 764611 358307 791750 293170 103146 355424 325740 666960 117165 919396 538149 174828 844939 384579 254396 009914 292717 238755 455773 199106 166789 215078 747296 898420 767546 572264 111469 844011 284839 138631 202184 289881 976948 504033 482961 656495 834474 061645 625852 979454 660963 158201 710871 250173 406220 311649 463757 347271 119950 060235 556906 603248 582508 888696 232732 993879 743860 687707 360117 472757 043209 216683 771886 338884 804889 000116 930876 114984 542013 611583 102475 087285 575422 206497 653595 402246 226973 867852 930680 940998 694985 601649 405661 684515 929019 602611 298169 767397 013975 989867 745072 076430 493717 876780 862705 938418 537115 220561 720126 918406 385008 107613 112220 942546 805737 037879 351242 982028 447438 664843 925487 333242 385153 513403 050280 130028 731327 662736 717147 366587 756597 623112 009386 182437 661017 250050 748272 763502 971175 596681 906224 289491 194249 249408 512942 731330 896907 340838 464132 127803 268199 747740 667520 210063 989130 903008 522613 803234 281747 093840 282207 574316 550305 666591 845747 039857 728506 766477 067724 513110 134341 230751 776190 699043 442357 534233 951704 228234 022220 646451 230841 801888 955903 767028 413551 918375 000232 363971 398061 613906 405007 942644 301407 646945 402818 785193 372449 972152 574069 662632 293329 020875 030333 723497 005268 100694 631399 551511 988679 222257 028423 850288 038326 773364 157456 164567 657851 445957 793618 353235 970779 144831 390692 774275 956771 837946 171811 616555 937913 011321 366928 717656 266003 161863 916712 626644 512312 514188 472701 943606 761096 039910 281967 093839 705187 568465 703938 758580 699152 935851 392673 007638 403395 802101 514924 003547 823505 331182 971522 099995 494993 143914 111536 426848 299694 323463 033923 397060 895428 162776 591716 836468 233456 462953 832625 731373 301446 357641 454014 820457 441561 870468 500550 287862 775717 321822 461586 268796 304929 559162 914756 624724 509385 104255 483565 004069 917521 542989 943390 638311 979672 369143 939557 103051 180092 875148 399994 640508 888693 347328 726658 702057 435910 289545 854559 412059 916171 741373 914695 167006 900216 883211 177264 162086 351612 957542 159048 424907 460669 189638 595187 506301 260655 944450 017994 112427 520716 110629 413484 017867 938265 867702 493582 572144 452379 949948 843902 995551 855433 139851 642479 074672 444417 440122 217816 860405 197456 828553 318272 666863 967481 184595 366407 366908 884593 262802 685364 420994 159159 896728 969597 788566 488919 482432 017707 127423 690288 677430 064493 044832 838458 813081 416698 891148 472184 975179 352052 651094 689420 195159 752828 030035 433098 251474 322671 014189 602019 068403 474718 508771 753336 166504 324595 819771 174732 376017 186554 703388 098997 574186 016208 712050 253412 189994 542915 783649 279042 571459 561373 297299 576666 912913 429282 259676 091960 335460 312963 895219 605181 940361 143765 774134 588184 476695 131023 223888 170911 980838 423966 245328 538192 241419 620129 531370 104337 739527 578998 713607 179619 523987 473380 023672 581363 563185 245198 977609 334672 862719 409257 335094 699652 843861 493184 957826 308870 244823 832493 568091 651796 729964 159731 146843 272478 839206 006645 616899 204455 694085 058798 294612 171130 918767 869938 174056 404926 629488 479109 069607 603113 513351 122349 264196 748383 602902 776416 224169 608486 350897 717954 823795 554330 758128 500362 533463 277729 360972 345245 425849 557754 210210 970068 294979 230146 209551 040062 688554 503078 573612 285594 086259 689773 136309 129017 305585 253485 761490 643622 584799 048718 726973 994231 872005 061356 947591 680154 953278 381436 066505 906724 677321 687175 556419 612542 351087 303201 500787 936727 724618 749692 952696 407112 228328 160659 385157 544434 625896 198423 607378 944016 426169 716380 359494 066573 611429 368196 244298 486885 050646 818488 198665 627370 145569 320927 136496 341214 772785 188590 363643 331943 940722 017726 248074 072421 224590 688677 992470 149303 304954 867016 439654 030914 369235 323095 321514 678054 849862 583053 175686 835973 811578 196370 008037 905619 320880 093935 315281 738203 725384 414441 715530 196269 490528 123073 661147 178667 161306 333025 418036 962455 005228 084754 895265 287410 644627 039150 875737 762779 357827 244894 542957 672098 863926 391105 864435 815104 444354 010744 056567 780868 797223 928210 008859 859591 647522 703341 674389 505831 957343 633371 559064 449078 487392 093352 449745 770683 235274 165932 225200 897320 899967 416518 324548 249039 775607 281880 784089 319513 878745 826269 957323 824371 682693 058669 759349 129216 965676 147411 057193 463339 139863 311998 379694 383648 298242 392799 616656 870151 534349 915757 625113 789349 465429 790116 862659 897758 662833 021431 998431 767079 359169 670586 099829 156523 512296 893045 506725 037374 657301 250271 540978 203900 463340 281970 189910 166074 415039 521774 444187 796222 489145 914055 553430 465778 170563 685070 677245 597200 065491 713805 535140 168673 826027 297558 973758 233592 880119 814462 097374 460619 242406 806290 189464 202819 317333 013036 912664 656596 179719 600466 708321 930270 357280 619072 225507 371907 176848 932563 825807 813406 840246 413235 050871 345554 152703 320469 674054 682182 811634 549605 203657 707476 889228 906113 256506 716470 582700 573332 779300 866898 126751 328734 116627 355286 139353 634106 426679 639063 332000 616505 463055 556080 038203 846961 778430 926286 115175 023281 295944 450072 791286 128792 606954 764248 257010 173820 093675 265853 090761 281774 656893 769807 004716 271242 107399 912219 041514 642411 352224 797922 557548 333519 444053 275471 793632 456413 145440 012764 358367 156014 653957 214095 151851 165367 474996 623227 420950 023039 350425 248929 830704 359665 525526 810395 971207 831743 769529 159349 970863 544179 791710 255489 965079 816946 432519 882144 081429 151066 086625 765152 501717 316533 150045 732832 313289 648590 728297 610778 583053 805000 478227 084824 009410 394374 491402 068105 503972 538450 519267 036003 519438 043860 132291 329522 071757 942281 645595 699098 036865 996065 473273 978310 493661 643586 899287 458247 078763 429734 053279 695791 312571 924439 630856 884840 163216 202180 073201 119099 327820 641474 317851 869904 121952 273318 239815 248514 476666 199540 043455 031831 938391 517314 823671 472373 147691 037413 307839 435817 155261 231871 399009 562558 868034 745416 082661 055548 012084 374336 226178 401956 845930 199474 634711 212524 314007 657591 928620 748950 634348 426617 368378 105390 948959 703700 494533 028016 606234 130484 899631 130285 456107 001012 433283 758643 789253 416851 042183 284936 719706 128555 961424 208101 729942 799059 083590 028044 412021 375288 674820 625347 214658 172399 209527 745104 861733 786672 745092 871697 585060 218354 682645 271876 673639 657571 485078 987928 708608 580318 306123 931258 940903 727994 938661 008907 763462 758540 709855 026449 324722 239477 408630 453309 170896 488877 602712 113690 838195 925154 445415 278020 599333 053424 739711 317802 914060 965509 633605 189537 434156 846443 963062 550670 751134 677846 237368 806403 980026 231139 527119 571948 052493 891560 416045 917617 157938 905134 405200 632492 820099 412351 102622 341685 762171 262306 732040 295870 246119 484410 561181 210298 972433 503893 368065 563612 448424 624469 537205 796320 340538 013663 962697 336099 744789 865562 483984 118501 549910 816319 378361 928214 349190 755713 639282 486290 389233 743401 263103 456477 064408 411293 472511 439157 957829 583326 485880 374835 678591 041427 744208 191064 461999 857540 916595 329347 764186 231810 214239 320402 356562 661546 746583 599894 154665 194540 373944 956742 651976 914851 628571 322310 788613 136742 746917 867509 219575 482206 135073 713397 511005 995918 679577 793971 192949 667318 091511 090000 745847 074409 823787 493597 545408 168120 580476 128475 484467 547888 252147 065283 528833 329178 311509 208235 802736 567511 291141 057023 322611 989908 616237 567226 995444 859029 802175 772721 043879 515744 922844 801849 258299 010432 932060 285041 667712 696463 545376 606386 194757 551131 429377 185294 428272 357032 022101 899023 465519 823450 831736 562595 998901 266779 796746 027084 655813 983018 774851 264018 724125 032849 201389 690358 618324 076952 448527 624685 306321 450891 028691 062483 201127 837192 120383 975155 189013 300215 683254 096266 084011 180444 506464 096372 853189 349069 140391 117954 903011 933400 969333 418697 281560 921808 108185 965919 762012 967229 569048 871289 906131 589259 736462 423489 477994 468807 138974 133868 742146 700726 081583 580676 734946 208030 982820 167762 711155 095518 877828 166366 712090 523133 943874 293363 639244 191561 117039 186663 415401 595787 684439 359118 896521 933368 800918 755946 602614 131471 551145 496303 764550 533345 427066 085910 510601 000372 298030 635307 811980 002528 433469 300174 945221 455684 624025 094811 099049 590077 094447 893005 694071 311982 683967 315133 307927 972856 238496 316443 403003 175139 139633 119243 586987 727971 312809 481233 345707 567607 777304 455154 407107 778314 143188 588959 067362 066582 687633 804470 546148 738930 304092 627993 198935 735273 221320 069507 890293 986399 113020 593679 938507 158899 136425 460399 836656 441886 760382 936010 750825 480912 326617 922444 272850 187762 556425 479931 740139 050828 679443 501779 543313 461325 044113 533028 311326 279777 828607 781840 367417 717357 665583 391223 665968 605252 295421 137423 962898 343456 309658 408734 693923 658783 283868 201704 667977 217787 962284 434735 655334 040669 327067 174843 282528 922807 973425 341205 133601 484608 392298 610906 989741 771293 974267 679210 727817 582341 367306 577199 248472 793471 632880 215329 028759 010539 260317 053478 543980 371993 362681 929512 643202 193293 222566 380174 941471 090787 669908 501876 400829 963781 539638 460436 544363 494505 468610 315807 632068 115695 527136 554998 063220 241310 473591 404925 355305 763893 813002 531187 509539 050649 025343 574869 641396 656954 632830 399902 973111 712184 205991 263090 007141 914308 472523 960540 001278 073752 611109 105001 822177 647423 613744 666087 850404 321131 224225 637738 491903 500400 517672 460524 289600 927415 092342 904275 674344 133047 544589 330398 759225 618204 478713 737197 921220 135468 436014 448070 208929 946528 608208 879345 629411 787943 244415 735334 815445 892264 526324 555059 674523 995471 672715 127530 151688 911546 376965 751557 515896 224181 551558 314991 288268 279192 994035 014509 878608 332291 587811 112462 568045 282554 321600 865521 720577 708862 843799 165167 615552 152050 177425 525189 493040 106843 422293 245110 186374 987421 556355 931602 199852 361608 188838 946839 057362 919132 198965 203193 663459 308520 097002 902201 098517 850212 155911 925092 955190 931218 123210 397510 248333 440843 105813 587877 115431 962942 929262 083085 150976 498828 114466 205915 572385 300689 284696 850394 869164 142698 449596 017431 040884 466092 769232 769745 967241 088631 365021 649046 106009 196784 169157 489383 573095 735039 651827 685064 371109 335341 420933 137289 268005 979591 841069 562879 539818 280144 582461 570774 966238 263456 947061 538410 141375 509737 007943 456558 040440 619144 806220 736887 931778 211020 548060 884622 195380 099037 680652 864580 624383 514198 531817 610698 582209 244821 806623 903416 154447 188048 180254 757069 381098 502175 650810 284744 715686 895035 354942 320786 198351 540439 057175 143733 662426 099063 614306 261585 811191 737832 366711 642529 711373 731208 278057 208302 179349 677629 103565 392909 393526 394620 629946 572309 281262 159266 894592 827725 255428 351475 043192 253413 975271 260698 795653 079184 756814 543251 800120 289307 273563 835144 260894 852507 746928 711821 177182 779414 312907 136499 071029 684387 827238 823947 602881 101604 134304 104069 118950 987653 473734 578697 318613 228860 623358 573921 026185 389225 400980 089882 470947 240071 209380 724198 350620 353486 403596 119950 551046 129820 368778 772490 397897 241685 565897 349421 232123 453610 901934 697696 922017 113315 958475 561503 315171 612723 866734 921525 860003 236082 638222 872193 328844 504868 376856 115540 373654 250606 032047 272934 855013 060733 316230 323606 211763 016365 836605 645415 908109 499414 076322 785024 571364 268034 028174 240013 596601 255084 047524 348355 376742 328290 420762 606051 750821 794091 544825 149281 967647 748596 064393 993422 319268 120124 292713 073895 873484 143653 492340 705244 737225 688217 301697 783391 570051 592626 425519 184020 303725 321026 695443 461960 484339 097607 845399 716427 968013 769781 678133 163678 064377 296017 175905 030777 286964 074741 940447 406341 156985 227195 891213 439938 425317 432497 775504 613145 985971 873517 774820 991170 312994 755995 458678 899395 441077 697875 874491 695344 362479 375215 189600 307448 991380 830628 268030 035286 646095 267493 784066 253290 559460 247765 087393 998470 299122 837250 960016 766159 523948 309132 709704 449105 762799 449332 150899 821329 038270 845716 691609 408151 060444 709487 450793 639784 449384 195245 885045 662277 718658 761705 370840 440708 818885 055977 290355 702598 398841 622364 638470 684335 347745 134257 025350 947554 321800 838196 331603 936079 995389 210916 559546 538190 801829 229373 864055 085986 203162 616707 282035 488686 849887 294707 842338 163019 321725 383373 675821 232964 578679 110842 246381 707423 892982 450516 581781 865792 318081 683861 142116 004007 203983 862510 955837 869860 673847 292020 807535 509643 776449 830851 178699 234409 288933 160794 769690 484175 292941 041118 830303 939368 849618 430362 315437 723542 527102 102482 126389 726437 804086 500779 581287 656027 203714 103327 075069 769620 963118 144406 211946 691941 742374 102057 392943 422901 536063 399342 107860 100852 676192 529673 439545 041920 619276 176018 282053 860584 808471 692849 578592 234054 473533 530375 546844 052964 834552 134213 923032 469427 708973 602789 428758 628932 211999 606462 806041 575519 421943 621234 627659 829631 040576 244396 116383 946911 308963 287333 066182 251248 069815 129847 862878 956991 669607 249835 181239 335637 310846 897909 148984 918993 406563 817742 932572 525675 132453 055202 581245 105790 214775 543957 755725 931104 775763 999000 613017 725704 031581 723802 974135 027609 516084 751351 547356 090275 131846 680010 318879 093098 268641 669884 561893 321518 076846 854325 204942 642621 811706 344762 483038 463833 700143 686995 312582 269749 641428 032297 722660 035220 467544 839985 949533 874173 336175 758332 349924 359418 764517 114038 191100 058478 886779 827874 133829 595711 940501 182077 686910 753358 105716 636393 374893 120915 139999 306592 819296 926125 594842 364564 594401 287335 958899 920950 941306 505372 221479 916733 397642 297857 031430 692408 518108 450644 137181 455687 333726 294966 377994 644687 255394 213222 499631 790269 888776 966425 434469 195581 673744 479078 533279 191673 490513 284231 972400 296921 702579 991076 804641 705403 932413 323354 433263 652242 303177 653487 719897 993497 688550 108358 612545 518772 294044 614081 891002 799009 530320 421954 716335 688065 543767 226739 984687 395114 130595 336611 531035 738132 063807 749554 731833 239864 345876 195192 344658 425360 644809 717408 360879 899946 275952 639312 941484 464272 862337 107044 717763 342744 105357 866245 865478 780046 079113 013681 306822 934956 226054 238916 425262 902459 663017 934030 790390 283498 755375 320496 578605 581366 601216 004974 531221 960273 001981 335232 841522 881116 959495 274737 321694 573965 078044 553479 337013 728429 836258 152896 385955 999287 329954 843321 027876 502814 836866 323884 277401 248743 536570 026734 147404 534648 427261 379000 154594 286698 904446 087861 261311 478365 366031 419821 056628 457397 439266 751370 247981 494563 836565 422997 548835 607354 105905 024107 596950 825295 730505 959221 559525 034104 385736 777992 476481 480860 360734 643862 657753 786193 183533 706521 938837 734229 780561 731205 186183 191487 171695 433541 750541 675206 052096 456833 943645 751520 893191 269806 290598 603680 836593 670902 498424 760227 243013 837964 439733 949594 975969 447352 495095 273179 222147 638546 630722 922490 331060 736579 737564 034612 527826 139955 923508 091778 621298 758886 468200 851479 660920 546139 461836 058441 821165 139989 640268 654037 418380 166773 092977 748156 191832 884223 604759 383821 052210 316450 904306 758256 732407 001616 824040 199799 192456 055388 358584 465184 136398 127307 944044 522624 622249 458898 233633 484894 977901 618919 943544 120901 574652 597653 987012 090665 128839 746404 545193 897056 715736 750706 826726 035867 272978 968258 715698 645707 145367 462490 446456 406097 568354 191229 092606 407520 481742 796464 557152 815590 189202 123068 741964 527535 623780 014386 941276 404322 897615 617775 842293 516113 395873 305460 983502 639601 961862 654292 125987 404796 964131 403638 509783 019284 180179 011055 208845 084083 222276 775854 645641 078033 265867 417804 854850 306900 733695 906589 826711 472549 560668 887750 612014 772610 446345 817668 309194 567043 094968 663025 165160 859609 697786 953596 512195 979261 831684 324880 190249 108804 584918 519861 517980 694810 824485 794662 956649 054083 055988 539007 906210 050081 863027 489430 467617 457958 659806 411750 088163 681978 997428 312293 044192 119067 488794 125407 735250 322534 350180 217103 178343 307877 219747 094282 734758 954193 808328 491230 954284 139006 732946 958547 160647 468472 656740 990814 299420 942556 946485 748397 729713 403172 416165 511875 818714 865189 746419 499861 430952 912930 760289 906978 347971 495647 249765 762131 146883 974419 907272 549642 057641 949289 308114 771362 561228 205101 519083 919534 647664 664237 431807 682340 075104 082571 666992 730051 160408 594203 007853 472261 211457 398833 739299 924644 873012 923347 760046 785911 761949 639648 255837 708059 721592 059300 154805 624260 065063 390903 500572 391570 383066 960026 538148 475591 818336 341909 002052 823774 559720 405376 297419 586438 069395 793828 264663 147088 399938 239267 575030 193674 889792 919918 242239 500139 070309 612633 177381 817660 714540 433059 516304 007286 316365 534054 222574 948027 054084 598521 380774 586466 796874 535611 654771 447872 561427 333952 925884 284558 067905 442650 712293 036151 476719 262240 086780 374927 473219 757248 855841 960408 472947 636664 996282 933296 167262 311139 252531 236704 314023 643496 317313 359270 800042 796413 257400 273300 503868 136901 445597 692423 520657 164465 772130 493918 637306 695373 144811 400459 794879 302515 545681 138285 515481 988865 653609 300752 189740 858841 315230 448415 666999 378413 946472 667762 083199 835029 380894 260717 645037 472814 884191 890296 778905 582495 256065 752545 578485 970901 063076 115402 634007 264503 976446 772380 530185 302162 772732 904497 059615 923545 956683 322040 442025 043127 349431 155026 106873 059207 784144 848356 505729 035739 093609 083345 489399 637880 256674 585189 254608 248913 688459 203082 181988 575116 227437 345690 009200 094878 123232 028420 912503 731341 259760 150196 737082 264809 296419 912857 102679 236409 011851 456747 957817 450379 855827 518126 999706 482427 951316 021085 017437 123693 061916 324199 451379 052932 434645 414540 304978 722586 851397 857859 572273 579549 675860 377045 299046 148845 850106 787812 391099 038804 909670 535214 420031 106289 039675 120932 475789 506465 225240 895715 318700 641039 989862 990943 697079 236989 034579 994993 525037 931791 577671 617969 223934 113373 078878 115781 845513 827165 137127 931900 783891 375281 666240 960703 017808 160989 689551 023980 377832 477979 833594 554223 574816 906028 532975 424289 979601 030125 035008 233682 267770 908894 071868 002668 111972 973708 674965 460404 813327 928999 659184 980786 870851 932102 770669 634966 692641 432539 218073 894822 177557 235637 261417 176900 959528 303082 412365 554742 997561 628484 326366 232888 546665 385375 442253 695556 341494 631842 366071 517438 995164 835996 948579 270761 697785 291077 204911 149921 314610 359697 584138 082945 258650 952803 842407 240210 163333 039687 540857 503792 368658 383509 512399 962729 316691 917714 611925 717756 004746 589777 995018 903328 858620 362605 857359 324590 865388 614481 493879 060770 079544 007893 471188 878495 618327 269163 595001 051683 380223 297972 276969 512793 555780 868474 833804 303096 299626 036424 306712 325990 278719 780845 567076 524103 867319 606264 278931 028865 439015 623714 439893 475663 564255 089832 627093 923768 044518 959538 745762 692180 777366 825181 151081 982669 976791 755693 991650 323462 114263 355536 884364 715695 401046 899639 626371 746897 397126 886805 829477 957799 301708 200199 561818 221351 684517 175761 666885 564917 734484 838094 389605 531218 837515 662688 215088 548159 257206 325357 165806 926466 767413 568623 369941 556790 298224 371439 762616 627709 800992 887907 293680 837359 499492 284486 686030 565695 773378 013943 246577 221352 762991 322201 553844 131092 753120 098073 070876 651586 081893 796805 978921 299890 321757 714691 604742 529341 686267 544922 009857 464832 106467 034123 547012 257555 931808 030388 230097 196778 702156 985898 189310 539442 672770 798352 182232 050072 096428 337723 259238 191186 245034 444784 132865 764841 639542 934844 628033 557275 834855 600451 571108 906350 269418 955204 261415 646138 535267 072385 441934 481868 284784 574757 386792 227820 836641 233640 006765 172165 073201 605401 935446 538675 531251 739852 526438 375927 863896 171387 501746 427762 567273 666203 006616 692152 527467 780505 013110 277619 927803 221361 814559 142327 397347 325461 929880 646395 446126 577954 847666 593787 910413 540992 979895 707852 424629 513016 962488 955755 000121 668490 816844 314673 019978 393331 744903 651921 870361 055387 672578 815149 904691 032382 007809 499859 232908 225953 035842 644695 738872 874218 831290 414390 657156 799655 956389 107377 981284 436906 466596 128203 124503 500077 727219 131056 800988 436113 245808 807517 386725 185369 184075 751504 488801 265311 626675 173912 045715 442000 116206 268838 660831 669896 358347 780017 628470 092347 587936 852714 520113 651675 314481 992523 223069 414270 866999 040464 509414 490636 629103 738045 590828 510739 441345 942067 279159 476772 121367 953480 958203 066490 506670 573738 909522 868364 960409 458749 892013 027306 363742 684599 608506 765782 491151 124149 886700 196065 807365 149275 050946 949603 782591 315766 733211 968318 072147 281585 783179 645406 095216 776408 105628 444951 536199 330163 353818 207371 766603 466744 316692 635948 048417 462553 662272 002885 480488 285618 288561 450399 368867 818419 970714 277241 749099 808014 000183 626924 681579 464575 996381 080387 910300 297460 301582 456506 244300 973164 621172 668047 741981 208784 037859 423395 074404 753331 000731 332433 972724 313225 185526 750097 884393 826614 249872 633367 735502 780768 543747 983127 696113 464328 070003 101907 092452 381059 931992 392200 965159 361855 676831 911657 101399 609809 731075 191886 783663 388800 106759 866748 685095 369848 384200 617032 983334 078918 265747 692547 533633 440958 354433 971595 080971 999357 930706 835366 470282 364541 776858 020791 777533 917082 375189 756017 767897 730693 776292 151116 531689 620215 761992 562374 250406 376591 028980 858350 491360 318603 338030 544657 179889 962959 113903 662420 870941 368406 014543 395296 353148 834867 483282 759969 347696 194218 491733 204724 854309 425065 731240 867189 434935 161883 902065 471520 046299 259913 610866 113433 889469 371869 889966 438915 569287 343961 048244 937908 859125 682755 536078 663740 336980 432247 965391 257089 903755 818546 396336 030181 038143 862410 086802 922404 399823 148988 928062 598121 415357 632802 887249 712206 898323 311524 456890 314927 866688 118550 131067 929125 072625 181524 987299 475646 194027 314448 746894 620908 796416 575826 600667 015653 784094 236990 828246 255604 636742 776097 630069 657348 265377 879956 990187 654454 839011 666030 914540 498353 326963 344772 386926 601177 180038 075687 751322 572197 983712 030433 446744 033993 340628 113201 055212 399200 090794 971608 767271 860400 906461 295808 633612 469879 347276 749767 363374 153401 249435 769617 039367 718448 819327 947488 365064 752851 909819 176628 460511 299918 857290 434473 743427 < 2⁹¹⁰⁸⁴