There is no OA(256¹²⁰⁷⁸, 12080, S₂₅₆, 12032), because the (dual) Plotkin bound for OOAs shows that M ≥ 216 103093 831026 929171 056994 520486 797442 964018 562705 335775 254342 639420 487431 745460 171390 913795 267073 860975 867809 870932 179226 676622 093742 639227 966696 158390 351282 823493 637362 849745 134817 933259 836865 130006 796465 461922 199463 388820 910346 072775 069026 023497 844901 202177 416272 109735 914437 742283 156056 867027 348621 287617 802707 395144 092905 024796 793885 025701 263758 539639 661280 619394 256329 395704 683399 870134 111051 669498 934916 654607 934064 232605 899634 953895 883999 470871 574001 344959 045765 560712 555661 660104 446544 852081 113888 667584 593586 124651 802718 019734 935045 991781 222254 702029 655635 677514 373668 448465 105205 214526 695374 822155 305954 709451 080836 183442 903320 975399 327069 879285 868779 515738 509330 916072 833847 758677 361296 014444 012788 879919 480029 557070 952563 525452 641901 083198 336278 740235 037847 868146 216251 065008 573413 378515 083496 793157 937325 397914 500531 208664 395350 098250 788176 654796 562491 538382 862548 044404 688563 598490 676931 800798 694645 502862 463839 465103 975456 712252 491377 616853 917645 534185 342607 945040 356759 068012 368244 144506 989696 685972 796312 595073 333515 005330 327591 527156 202646 250876 751422 315748 617446 361361 832337 740589 208496 876313 865299 807397 217957 804059 911152 132928 097909 728379 718968 812354 488461 811906 315635 956827 056470 653253 884880 422962 110846 666860 364141 082069 924089 284384 378552 816374 548822 907454 467113 802260 283772 058673 239048 500877 855374 161204 035007 855027 479342 484131 700672 291348 357169 063825 981914 818715 086667 133470 463599 579598 637988 645735 400866 576768 466565 122207 458270 968052 544761 577480 887504 738183 789979 170857 537287 113337 756716 103870 346637 143013 334085 808806 818483 310516 762323 907483 612513 655281 043378 413034 325558 242830 236867 652517 636570 619610 628946 536100 333860 945849 963905 356534 881225 033997 273854 421036 866372 864403 354729 652993 363685 791308 735636 291377 176657 474583 349294 216095 118154 800837 461445 261389 917997 674474 539790 117889 403386 490593 087565 803976 446275 347521 030750 058554 603034 026752 073963 808320 269300 250046 607445 559313 793722 083756 707040 981149 944776 747822 655478 330891 059100 632154 288951 457110 114348 517983 187798 323119 184409 572291 249117 287057 289555 006991 930723 939636 033305 873435 465195 729057 175385 362091 391302 733181 682721 817463 145369 629563 983914 953481 259466 412007 522436 572766 247090 247840 530482 900211 239659 543290 227411 974802 642765 050081 535159 878250 034524 560071 842590 241288 273868 900131 585423 189857 843412 501612 630196 987974 159119 805564 646481 133713 185773 956374 265125 463845 287860 299539 412477 814268 225449 337374 656287 986524 971729 557768 801644 979738 369591 345036 311452 020914 541614 452688 175018 093750 299411 843031 669265 269020 000026 261804 747071 051303 996975 892234 812792 482042 198331 921370 465368 479026 417605 453690 833382 042085 371907 529061 768365 128520 308823 819056 927772 340057 607819 797479 095896 400189 393274 881326 126049 183541 103195 819587 369529 656724 527703 394907 877377 903654 422704 476841 693157 419295 976333 466271 046673 312834 704654 169949 707684 692157 451837 389166 500254 037409 525221 937687 296626 082182 445883 582544 498920 899767 671737 975343 061412 253084 663189 458992 551798 670516 319804 999590 113973 225285 911509 399316 225692 973531 201627 401827 822220 549132 696424 896104 977359 213539 678473 682143 384297 301248 091394 543542 681844 675861 335165 392986 979689 031039 440612 277956 106948 698744 302636 067780 517412 114960 350928 121119 109029 048435 958118 461955 835176 938254 443777 476483 785989 018447 977799 585168 188340 715046 793008 268659 101856 021437 901615 897018 521868 635523 797472 033237 600377 791213 421570 697200 758534 798057 330618 020189 395754 196050 004343 587217 063583 132450 562523 956053 846448 645104 230977 308446 580031 737678 745167 118813 283661 809143 908041 620025 353656 419512 020587 662496 680215 667266 811900 721676 875981 596074 873734 511011 939161 687400 687048 060688 391335 534725 573977 435343 196021 189413 288904 375984 502465 933739 140622 788357 522438 000362 786238 647871 361104 136224 245832 412953 669139 680178 939930 611175 364381 377617 766126 258776 108288 131051 958099 968295 803827 258445 929696 310848 746412 086132 087317 013837 861849 116331 988900 709803 658765 078625 668770 355419 603417 740389 933729 663305 314634 830165 411963 407588 029296 345822 293387 079650 056146 782984 869523 068829 774025 953851 410479 055804 617153 768507 089778 734444 574743 503442 812984 129043 854125 595672 339957 793847 965081 996138 434878 532415 902577 504328 043952 846933 678002 388654 619609 960076 979941 449645 133382 136473 999423 461642 529626 566807 154909 739202 212759 832834 997547 281182 950539 246367 530555 124858 123106 503538 310055 821824 959021 584813 715689 846047 256255 999053 889807 684645 835020 264859 163457 926312 642858 449091 302227 309339 728275 250693 921795 106639 793179 562643 150365 460573 421417 892770 306309 229027 622257 023120 345055 161818 594917 019620 138341 370172 278545 768971 438817 929876 342630 623469 057323 813512 921284 251739 234975 150386 159351 738959 431861 281103 524184 470897 341129 007875 609367 195627 019381 854576 135427 517976 010393 595538 017468 599459 582510 454989 338173 999015 039596 446277 958544 615152 788131 796309 038987 423109 055831 498649 980873 070636 823909 914610 379933 395777 251991 623333 506923 493547 475108 195515 236292 174115 451377 002229 268390 735694 731444 467521 243846 075842 277682 170967 049348 353069 451798 985981 743369 563209 140812 726509 000780 542732 236143 904726 210670 204210 410732 779326 904940 814678 623464 831715 343941 469990 816200 219343 072727 571657 676652 963825 469707 740353 262420 725036 619104 063094 274378 693295 871942 026460 850371 110052 907814 147734 596782 306851 556795 046178 398164 837398 072304 215148 976337 648409 493588 189230 841291 626116 907381 725791 534409 936108 904165 647415 460422 316368 873289 877132 965627 672658 076188 799613 249953 111804 135403 751632 574995 076908 275804 896428 428108 812092 953328 233801 563673 202691 254135 698519 184979 757404 133035 593672 227759 851834 744303 939502 319530 575525 717971 492923 136520 388417 040626 362225 645670 387656 445739 549938 651235 453735 796868 332144 434221 274786 997153 637193 816875 354526 485641 215909 424073 579895 093646 673512 597753 118307 538601 960004 002979 005155 387611 917622 023452 668280 421043 812888 162042 017427 442806 089341 358433 932650 208153 119448 056980 386423 994523 179051 809851 015514 907557 630739 336110 283408 561794 275300 544853 873167 215359 904055 352347 507609 595885 076032 135157 954743 931382 380334 526235 128797 604629 623998 953002 277289 643397 628578 197341 194862 735964 250874 206787 530238 172548 757163 115584 660886 030903 263974 268982 127299 334464 912937 642321 007618 825894 985431 745108 734560 039971 421212 130862 349244 068777 425747 694918 241056 834035 539227 689194 601705 499881 342997 843215 872101 876495 435034 638208 984891 480640 852524 358467 524141 188938 466928 628101 877798 810513 665413 953776 038139 499344 242741 064533 878006 153036 536770 347934 043386 822230 057549 774482 980480 146215 950652 168867 736293 534767 728006 887719 692347 243007 593303 748411 618000 601764 529674 311616 015286 295864 316111 063934 971757 218045 557902 130497 542418 111052 233914 773308 446192 052343 885825 072920 729949 520092 098271 487803 827787 067523 030636 389468 591061 133008 098392 706078 372161 731670 611158 296510 101584 333334 402338 348351 481627 115378 339687 126118 456299 907461 728266 079010 961393 559470 647342 953925 181612 600944 686645 899998 375150 308704 964325 703643 075826 073611 384542 848126 799926 701048 203443 807894 276559 968669 001317 402179 477906 578257 743079 795730 532010 287232 932674 563723 746875 925821 961764 820293 070303 136187 361788 961984 556314 705021 342183 649249 758543 650595 098405 676033 222489 022156 028278 712074 510278 099088 302350 344609 007887 890105 028404 641274 123559 881266 836568 031909 938969 976939 576885 340479 316176 562179 283942 263733 408830 646384 801387 276176 758904 596200 650044 584370 859133 852218 475510 878293 425627 730013 381417 359701 037662 156664 390808 932710 242300 175412 236633 593306 036568 418034 485727 550512 678538 894644 804303 329877 814378 888971 075808 157541 283413 122652 303590 794865 479402 395523 214440 065120 375468 801547 586350 708085 535391 423913 888049 467337 791676 284760 143708 270007 839961 412327 098227 124035 549146 011123 493102 536320 993423 322127 705702 720860 072332 509961 931155 329108 342652 609793 813612 084290 440754 603469 846863 312303 809364 794570 062386 389102 255090 331854 249241 530240 591160 792777 914792 991467 782891 829152 298157 527452 117988 794688 845501 473599 819290 362684 129977 065312 591943 919514 885432 564804 090373 714802 396716 085826 972263 129282 637605 989580 959005 663187 551498 071641 264028 333500 641675 977442 669640 641213 591808 025778 221560 853010 108942 534017 123065 400709 867867 787381 092549 323073 889140 089615 706696 971222 433841 425046 423247 882336 458286 328184 916682 671071 702706 726072 929766 350585 160303 687072 831897 633244 544148 766468 285220 947144 585066 651730 928283 947691 200185 597972 223652 737301 478615 315491 991626 016331 947405 389426 077680 852976 790000 404368 011782 393204 501449 018612 228976 885208 416904 522581 212899 069354 637842 982862 307554 929394 112079 565480 781673 371925 994841 795462 194213 362934 645498 704573 655475 353358 550922 873347 605016 633823 682664 872531 573639 087933 867895 151894 751608 766992 444450 955538 502330 240913 917899 773807 428604 701687 036239 654234 025838 372609 747303 807972 991616 397623 963394 376334 921452 043137 340507 838707 649489 607414 811917 836892 666975 458061 348182 644289 421797 814407 196386 989622 354413 978134 385234 143062 954238 863818 636706 519538 629612 806244 239248 553527 489386 671458 276079 530863 441247 671427 130190 694006 070302 932903 236770 756737 883729 027952 899750 834245 914398 095500 922625 775321 232224 214877 853471 098497 124305 532392 188501 201743 466809 837004 319156 327882 865414 452791 352704 577946 256340 511602 878248 503056 665644 283845 337035 020234 220401 156382 852753 851084 443915 167714 961901 898384 367966 186350 326508 062204 559104 260736 406265 473634 385155 438182 876394 506534 732766 690712 348837 536955 835668 952882 946421 986324 762764 493584 766230 938314 828292 915225 208104 112565 710206 530206 233828 597151 860491 190829 842087 053122 902505 473035 776055 003019 430570 403364 891134 106565 726610 428758 391692 370715 172814 299989 222617 823693 844215 336610 375384 361540 057356 975626 276966 929690 533986 867041 617794 591761 276478 844909 240187 705581 934689 017682 642988 063786 432432 319447 359839 834702 407596 853935 552260 017413 486685 245435 845938 859038 844820 006032 219508 861065 882592 570096 257632 138126 264318 436952 291741 913131 528651 495906 010687 440650 129023 886997 508390 139166 910091 305073 279964 190547 265790 327265 483688 058673 322152 594669 484630 345103 189871 572353 747621 062658 292559 518605 442428 856729 463906 991540 659085 940846 571013 163597 050176 024707 076097 079096 595856 793223 421871 354866 811216 531043 580275 193552 572963 306497 210995 892066 306050 965778 286733 358693 832089 486418 208354 297019 572881 020266 630602 672967 547879 571459 339687 594638 566548 791001 916248 039996 457721 599554 774792 910735 750040 307358 428904 014689 592902 438942 747887 407410 478385 415372 099785 109355 267550 010037 665796 653123 648555 676608 388416 489422 483785 824875 959208 493142 780811 512562 548427 697478 238879 311639 411224 645478 057865 439002 128947 189219 279179 434669 349714 246544 887617 433641 196628 962705 459456 995334 786764 577767 626138 976001 283745 641265 362180 360719 408423 146544 494137 005526 954639 751521 203535 800936 985538 251718 672496 549560 031425 228304 449555 208957 333706 044742 273769 514466 792983 857769 386305 190463 611142 972426 153119 551541 707877 171743 868654 335863 427670 776891 983474 742748 731992 713946 876948 591910 242869 262478 833344 886348 579786 136154 286262 239979 232318 720883 251976 968442 304322 273793 232519 558669 952471 279978 128307 280609 900116 065887 658410 149953 234090 368879 421080 447735 240284 360799 845245 494719 095267 718256 235365 097797 264844 851658 034093 262803 649240 746358 487892 440298 236759 963079 943400 973347 091441 262875 862478 633014 343402 515463 318918 023909 775259 092872 744135 993411 910707 718326 581835 229444 815364 725876 694247 923411 738525 126802 499508 820531 080346 032725 329516 185227 773686 498500 323949 758532 421550 025435 826144 447611 236823 186761 382417 900565 895712 024471 513945 197988 425882 896491 087054 611956 503888 654899 659488 365311 056956 590548 481061 353838 425088 614877 055407 178384 682624 136702 758343 512188 281111 493759 915433 663194 689758 386768 322139 193986 459940 048625 033896 755100 319781 735622 818413 840913 539293 724212 233356 454686 712940 713429 355381 381051 181632 308968 875873 463588 817885 200376 719659 366484 311486 746659 025596 630616 520214 102520 409004 145220 666954 884938 322934 819826 324948 091909 609691 643303 355606 398952 878255 401424 328932 637022 885731 699941 003593 976705 240339 778594 363303 752046 574454 709434 709056 697952 411578 645630 598141 505983 146057 487958 933923 679571 421944 109752 808569 942910 786077 555953 756351 442307 986769 907242 852029 570920 657115 412132 151127 021705 449382 442592 534748 211985 371525 894292 637111 967436 416635 640586 346976 627259 501540 323185 098659 312692 993968 101164 053490 944244 742579 372379 055112 617985 324010 712421 381950 217690 744666 195928 777544 916223 983668 385173 134836 216642 436000 229542 149778 430098 068780 257831 733671 475061 654542 698134 267379 728221 508193 331958 996718 538682 270054 911452 907153 109107 395655 648827 514764 332892 804654 926089 881079 328439 194343 092288 003944 940775 367754 273008 051312 089463 706379 452689 806882 252284 951294 279684 470454 484448 968827 263253 322491 043734 657495 384320 978242 796088 261460 451758 667371 721646 507739 833848 792806 668653 720584 720156 654570 383250 066120 312328 135244 757060 498389 894196 218243 064291 098012 305221 852984 051937 884300 287776 354837 427812 534444 762298 558022 646104 463878 186219 964338 265291 188771 741670 232721 958745 109085 802873 568021 754741 713818 794518 397855 443007 781501 392649 723358 115061 121237 360591 153814 789003 611406 765615 380966 327846 817243 270191 866548 798820 127520 769504 833587 304561 475817 167338 856117 443538 777408 364285 910674 597413 151476 683233 799593 745566 094085 531132 848858 899049 553853 402934 944952 468583 101190 036706 873728 455170 234557 984303 142025 029525 170113 171789 197409 720956 189232 829674 912437 471506 040638 755972 572056 023378 181985 345783 945712 012174 628561 226124 254139 777299 899842 346736 154894 259287 781940 536755 566701 500023 518400 825855 863105 481485 144225 201392 855636 458154 845254 593732 807850 654840 018531 809723 644234 569676 874002 939817 586429 917632 204752 036410 625819 977005 261810 880742 890961 126235 641535 386948 255363 483893 277068 221464 106957 073209 356790 556041 959207 492893 767553 720815 522401 452720 475058 095530 186761 835959 884963 498901 813762 304655 677849 708107 539890 121293 810673 059293 450220 484322 298745 458956 789522 938318 655069 934499 575098 921534 100248 881182 199016 405285 964942 000060 686740 376313 980580 454969 806244 938338 541460 430213 130924 318707 562658 042415 711138 525788 518998 159350 115235 828021 107832 595389 106552 484444 517640 670775 591203 340408 738613 143943 074418 705112 952183 464142 538358 833027 182256 197712 185453 880255 058617 545632 758467 855444 239038 170983 529213 430737 798760 807543 331091 674890 818338 624055 599046 027778 039538 694976 471467 152456 387896 227956 635848 892891 373704 272199 793082 869061 238154 259721 752102 635511 823453 276350 633480 226309 501661 841109 557399 910278 474750 821344 827577 206555 951168 628665 257737 590988 397524 333861 969424 201886 212977 866696 719233 395137 836902 953332 947471 838992 014260 767643 964494 096611 943300 108984 275333 564916 267775 578034 660364 978780 292303 802320 113485 419535 281566 912885 458939 486714 916397 615378 316396 533804 497577 866326 697138 674299 392240 497043 645492 575585 745057 334029 306828 643520 790126 757490 322573 193237 794600 220773 761004 038306 355167 289255 905928 511938 672262 072772 818497 376610 419132 701996 426554 998400 330846 003939 482799 945056 487935 557753 545581 492633 403192 553356 753837 571114 718212 298706 491714 951151 740578 361924 232735 585086 456189 803186 859819 700789 487746 678393 477651 408670 769752 403934 927494 935414 605207 995200 552978 096413 276426 166126 014979 314014 878086 886442 202284 103216 145082 899810 152284 936388 855777 536870 081216 636740 013219 161292 595358 058407 174580 149812 478044 087725 278767 632117 480699 944173 446990 170549 955477 182094 259036 095852 024061 914004 027711 330863 556609 563333 038858 974909 095865 826400 804690 409994 625307 092614 510268 902404 969200 288550 378508 005251 104742 315325 662444 766508 365662 524204 890133 824287 564826 106592 987321 252178 692807 520791 233053 397750 428474 452008 612981 667269 490237 164028 438556 435351 684059 623277 906065 734151 956444 817367 815138 664979 866898 052847 545416 991234 719807 141558 222066 931715 360580 812827 755824 518343 033470 605753 986247 150228 175478 964876 686918 784406 770465 823028 016107 971300 552238 442331 694879 594131 309834 703269 325075 878853 286089 754684 804392 123350 765223 582378 275963 553583 763706 541622 653441 634921 721406 370823 463611 127528 047587 272484 573015 079600 438476 432332 545228 959998 618912 796147 555055 322449 727211 362478 764597 324933 740484 565172 405818 599927 601205 864063 817358 693033 368899 075787 671194 323998 429342 208038 152170 724943 656282 216099 105623 433232 313223 165075 672051 193986 595587 541075 813202 044826 398597 120891 212999 735071 499672 495863 449237 514718 303021 722050 431296 060652 020013 868280 922862 399450 742244 456486 646834 843666 805105 492618 759021 057595 856026 537198 375065 997165 731640 550230 873645 703498 655807 048878 479321 908082 219026 300610 540524 142696 714840 286078 155486 730641 283684 915836 438776 918111 299136 719485 397449 632441 314551 786862 244995 229315 775025 152013 530368 844618 024964 246326 099962 741428 604181 886438 567366 419722 674533 726187 992718 400600 782560 614931 889080 161502 460784 607718 632709 386529 870104 871512 730893 748336 219914 172253 518912 213681 715860 884668 376977 430912 269096 103741 237694 803936 579835 845115 652871 394720 641959 930802 055775 100859 564580 300380 738899 222912 896620 516514 472426 358375 368455 064963 232180 084220 839023 679865 773657 441268 618337 997511 693442 750264 930554 878110 605446 004314 596886 998719 776890 812758 706703 481009 079432 521893 019625 078079 919991 671774 518703 169251 469589 475476 052398 122998 629845 814117 506779 991473 820012 821176 483839 891065 589793 742676 081715 171320 066302 676010 450525 417610 886981 632405 921722 048864 870222 073041 666399 874864 365407 844056 082065 799131 934494 733252 333231 039333 395850 172027 289085 597723 957573 210858 175378 113308 324793 474620 109114 811794 482193 707054 061516 266259 418456 311377 396471 989732 758855 180367 401871 497859 835046 255731 160039 770038 419841 369005 180943 232170 111759 143180 923873 987230 640197 542800 747272 894644 677517 245863 769663 561932 320661 748756 249956 393429 927513 024380 265986 756628 967581 034273 190730 330750 559434 156370 670140 981308 479098 352014 828378 093895 422983 298915 845199 780069 886614 511869 532306 426500 763225 849797 310041 211011 913350 343009 574249 920750 385527 225771 755324 536986 269463 109159 856194 870658 591335 542288 994819 316186 118674 474287 520572 770738 632669 201754 324087 929188 492108 750993 104132 799753 543855 693759 819176 291007 034018 863532 734478 876514 236265 382281 841027 664331 719145 726078 077005 904319 695731 523444 281509 207286 190725 940557 816146 138859 079554 521945 014681 470254 696804 195288 832898 174075 556158 834751 968404 404556 047181 750686 474810 464502 357744 653214 764832 100290 585441 885458 353553 540896 600248 864215 181952 179785 243504 117012 225031 552881 928721 580764 882569 699213 519173 572567 469785 952323 813073 291483 579436 976493 609328 282940 568907 573384 519496 574900 497083 068374 664200 796117 670670 757128 541368 915596 355477 739669 278390 775016 331893 452591 620280 089746 035979 625658 941420 218124 754194 873278 103541 490604 799093 145391 462375 832217 025342 521934 147067 767429 437830 587924 101335 667368 602844 200429 635411 682485 942447 739536 891845 449358 411555 464345 083732 790298 238566 792768 782482 533425 278074 058896 474549 511576 632911 138585 434506 077219 878035 696752 454929 204187 471855 643948 696846 916081 596963 853661 259694 014579 003973 936992 560875 405650 186401 868931 638109 498366 185578 997857 250530 199511 198019 004590 907228 418447 574585 498457 113907 603052 966416 943291 544498 591915 942273 247334 905651 276235 975286 712035 167309 495047 793657 725047 893455 542038 470613 888360 593517 222999 690941 318589 199939 588201 891588 998872 489106 899871 712666 348351 988507 508012 265637 647392 270699 936838 353957 466465 358426 464812 732235 692600 321868 267571 234531 273915 268626 549022 799084 551452 294639 460373 092803 932893 195851 517558 834685 412442 861524 896036 737567 399807 622651 566167 763648 905213 103037 744178 106450 526175 043876 772298 322482 794466 214592 166963 810075 024462 510734 554538 580702 909166 366209 958833 840540 464951 468941 963130 417273 207444 076035 555565 892369 572457 892122 162842 455462 955191 651192 443257 268947 827683 525868 771779 791582 058282 863948 438822 562490 518265 385922 830141 244236 467192 314090 573801 301386 540760 955362 873893 166748 906553 781713 913860 784044 764789 520196 616859 040906 954203 780082 013261 615757 988599 666398 326076 501421 676788 843122 831512 098674 806143 812941 147957 231462 874829 962517 407853 243343 573648 717928 144245 645372 164775 783842 757004 914024 738719 410042 994174 697893 742332 536405 454218 601371 772648 478937 339488 882673 885716 929224 876083 778922 637349 183878 571827 363067 559464 899386 358998 364375 601064 400453 620191 969721 185574 547602 477305 159130 252961 949167 909140 510020 865488 285442 992950 180198 430551 775031 553651 928427 708520 241631 751989 749696 948051 284475 469747 821012 432710 005139 802506 179037 966933 376741 080917 296334 831240 981570 533930 870570 350777 925243 633743 821811 452214 950432 675692 334230 086638 660983 942271 320360 450085 339188 719515 432160 179348 724749 847442 142130 372869 654087 174503 374675 582208 056716 261199 627582 819603 082045 418806 556440 290619 745000 692345 634092 399598 072404 048287 026387 694684 905569 551143 042971 057452 378786 583252 043998 459967 179589 984442 816102 060831 884503 220543 108754 134058 604983 034565 260275 189742 972003 878616 190300 131544 340238 840430 619966 977358 423865 759865 358422 271721 322759 356318 339170 863222 229244 687083 247619 813996 723631 830092 030079 057790 485319 667655 297986 662091 839280 882237 772996 959415 945743 030983 955326 590257 096796 891078 876808 354344 347805 361664 194290 095240 538805 757461 830783 595380 902249 013001 435074 772607 448710 744464 296616 686736 508335 112150 497628 552936 433072 912174 119435 929034 623162 563617 592429 644839 202480 500210 271295 733305 830600 231863 839388 030956 240625 462331 974686 815238 456724 429917 581715 658108 276684 410124 348416 976796 125092 484200 966233 672975 608191 351073 330512 407141 843791 311997 241834 757417 458789 291303 164567 331820 559581 633920 868191 319955 788108 489553 667380 048649 633504 905169 677612 974548 945429 789938 642911 991548 826487 696423 794403 418724 440191 609812 005237 952961 725585 751369 861933 244054 909769 754448 519549 062959 808648 441521 457763 521937 841574 888945 956410 024418 671575 103133 239893 369149 046118 293309 201598 716386 857170 070166 778597 995956 836458 961571 975097 437931 689862 226442 601784 461955 828100 728027 357209 207694 540421 990354 055662 086936 936916 945038 766915 815210 432329 161041 433366 110632 170038 978170 670582 666966 988031 324502 489332 553483 258465 170975 081236 359391 671834 985151 889660 725622 534290 114548 335760 690774 931079 658518 022008 292943 856637 063099 572614 270165 595993 905361 335321 812053 457001 846645 784389 823883 818948 323071 701428 657597 619873 973799 430250 983523 338193 248521 075968 611362 503743 932195 323467 790648 256803 062103 530680 227304 827246 084243 102227 984264 218522 007155 371095 023344 777171 058343 587481 724312 971492 706768 241682 352797 291700 807474 855314 270221 770939 746797 353780 237565 907206 462450 526892 167395 594065 148221 151910 481796 986395 568164 767142 909313 387751 763959 937101 429936 725421 571614 020876 718791 916544 023463 950344 943044 776515 984159 407968 031465 521561 959715 401005 366092 598172 236406 108354 555902 621725 021889 096407 351255 835765 500729 534594 110782 721003 667605 490690 653564 709801 700183 320839 522604 901933 614270 328833 350428 578258 469001 126406 820035 953951 589624 201289 955549 135680 661211 873298 833366 836799 972532 785148 414919 571799 366307 162695 230045 991490 726879 799885 108730 131621 663676 688074 465824 134238 853417 458793 289183 833937 883156 381065 592779 453659 311596 661820 126451 468551 332465 196509 848345 720326 422606 613012 026776 833089 221805 831774 766533 691412 923939 486671 692424 598209 603578 321311 126219 728787 954641 413813 703830 141628 272555 289257 890702 016445 274792 112702 736423 535570 931744 007765 398425 208763 696448 998558 022222 876375 471860 693579 790467 069344 318010 100599 575650 480942 384815 521275 585952 187804 824910 343732 081522 302252 133605 091183 255578 704058 376828 837871 502675 016325 259524 977242 118325 048384 869484 058601 213985 941514 966485 708537 788572 885447 650674 405022 822776 255238 057374 120285 996935 310428 071311 809969 219150 044234 265921 164508 053788 074426 178219 850121 396558 923003 673506 482853 380491 548238 260065 839801 621791 812842 764090 237267 163238 145209 482674 474169 893699 696002 728095 828376 158785 564035 995941 245493 898602 799981 683256 722693 872660 139395 542676 868499 800655 604995 578166 310342 770162 166980 919169 647201 123681 855979 586406 922512 094289 216829 762867 547136 004092 334562 296479 968352 693779 443704 725614 308897 235264 392736 084401 406362 948083 952925 748841 936019 315573 644227 484126 468068 604636 498721 576729 774909 969033 695862 938963 072578 634443 524279 243124 417847 562978 489106 714839 934101 422525 495096 199649 583888 542210 028325 923663 664967 846561 113257 422421 179154 584248 015738 191410 695879 163249 057173 419110 069115 836060 996529 533120 293884 228490 898662 697874 941585 355729 037658 851464 125470 324152 534737 940920 679176 431667 306551 870522 217992 968850 793477 987912 340724 739938 086500 309241 417202 936672 693022 987123 280662 070018 925907 564672 570062 632421 359989 479022 297286 326217 143386 237448 533970 056517 346594 903503 053302 713498 732003 259928 735618 771082 784554 989131 479635 015344 517657 015633 046734 781818 843828 847954 840995 265875 595230 575836 397556 979710 905427 808558 037630 472537 942496 764675 635286 999307 123621 665803 366849 708079 076059 785031 259067 905121 451018 673930 178002 607507 002045 135897 502388 689115 843525 407615 227453 185286 328694 174433 687322 106152 207860 404284 525690 242250 202156 075432 366555 631720 282783 771592 263550 242417 485926 083278 625203 207700 902371 553175 923606 604664 392173 243567 271030 648076 475754 114552 142288 204683 369750 927246 825981 189763 943078 023017 121457 717839 979091 487401 853319 406082 081496 151085 588511 662186 921080 283152 332556 932435 122175 135257 578045 733872 353940 131996 112288 349435 128043 334334 296301 251377 393643 133826 916497 722862 777696 965467 439016 551037 821785 559878 136911 386875 474723 868809 157113 167537 514370 240326 395674 032062 026716 154478 855519 040040 752348 934553 436349 145845 725247 054966 943563 122150 681366 709085 325898 803670 206153 426014 545055 862968 475129 478629 953450 272825 787339 115403 467272 737996 052117 209357 338519 358023 839965 119957 767528 432498 641712 277173 765920 324484 538112 050455 609182 682638 010890 563816 785058 082045 282674 212718 110975 331350 437936 792126 141165 938281 646497 369841 951211 281367 807407 441949 408024 090515 909599 707125 344831 652125 359953 352869 686432 303699 984292 289486 551130 539225 636139 759638 742170 738934 982793 520399 078628 155702 176606 063209 092189 965080 306794 929608 525700 865172 670995 121312 741654 883043 605156 211827 519436 411164 011377 388881 660568 994042 763978 317010 058536 856973 543770 369899 205551 787983 389566 543159 997394 815903 662179 102579 675328 855025 507461 972450 279799 877067 939051 152495 038587 833327 026663 008955 226408 870732 292402 526402 650035 821485 685951 932153 649235 882316 792619 524948 700617 979573 379314 456018 798785 364898 260143 447765 309791 937436 871408 213987 412412 112727 528442 472332 503201 950668 084738 704244 808416 733484 517536 270714 687633 782557 446623 074723 414941 225174 413240 525579 230140 718328 917912 440625 385422 231376 751449 511963 301287 046870 272535 994572 701423 277874 718231 618688 536707 619747 456542 400548 834223 358544 625630 509305 301367 236747 924817 656910 295420 803503 915778 983384 717211 799406 886103 346925 347423 324932 242952 245307 541090 335855 088239 411220 563453 053222 055370 363148 231312 553145 589465 200761 765392 689701 907631 538074 038592 448949 414632 873629 960455 626569 119052 029900 713128 540927 701599 650425 668931 395387 830256 991184 499841 777145 889557 876087 997712 002527 372007 885359 119456 384719 039808 894451 414964 661272 325159 583957 699639 537364 769744 691035 240341 305515 696263 590791 220609 893752 643052 209177 376848 059588 075684 049069 304500 240630 551527 985795 378310 703590 150211 967832 996487 989298 218895 230775 557864 605959 806530 826148 715863 519587 103680 227244 551308 286291 379514 087132 067949 618207 729187 313633 083343 052102 450094 958854 613116 770309 662011 467402 436669 221372 954963 375802 441894 584989 208812 823710 751812 589452 385673 448279 626150 666447 524832 337173 608673 856095 942130 166833 682498 055852 856731 203078 688484 848934 986888 267868 756603 726107 331474 044187 448114 599386 333634 786602 526706 868633 750845 056340 039744 684329 919423 107651 135903 434014 000919 021500 941349 272942 583708 366144 222617 519851 060499 802842 604407 449636 654769 128157 489031 096169 219470 772883 102351 281235 101751 038284 314976 375252 281858 512006 256617 177989 599257 085231 217659 142754 078854 750222 849884 054608 581245 239167 808465 782116 497568 255535 529097 412671 328861 510161 226686 739524 835823 575827 162340 580819 912891 862504 462834 590360 938971 936581 345527 796474 635267 617758 883083 521284 579261 637621 532557 614221 388433 880202 141883 593706 479563 372531 005120 526125 107752 821139 678821 213935 183156 176374 968498 406483 923500 365220 723378 896980 200352 339506 908477 985453 639101 768133 019032 793737 305937 753743 798973 476640 086023 538963 614681 341917 807879 877352 996275 977891 164528 204682 314702 652218 348732 523301 102892 494873 783079 323414 389606 458653 450752 245860 729711 861473 555227 307964 893836 204899 447148 349534 593197 959063 051716 333457 880853 183996 674316 490761 169145 841767 032551 745612 019876 089380 424043 528182 372254 854243 843089 633885 077366 463304 564776 113721 896105 443975 957129 261805 191862 334451 024708 302432 747693 163210 170856 468570 985811 107619 502135 941020 793783 206782 859681 676186 570439 103668 885028 252001 104094 788440 787257 774778 737770 586819 088852 337726 981956 697482 082551 066116 544131 853109 533199 651284 987166 186581 243789 666262 943608 201710 505430 321614 536933 705094 930649 552336 947377 230987 502549 868292 176398 283165 586838 129868 457927 599939 358790 303383 328258 662486 927669 694069 889945 617952 213727 477101 811478 804268 237153 569585 084583 330958 446810 294224 781449 303710 811991 894380 636792 375200 380947 094535 502745 198215 728385 699416 275691 021095 095769 497058 959024 501411 969847 916964 196518 895764 935587 813683 196771 525172 586785 761872 655353 713769 773430 864635 642325 380418 997178 099557 658609 348314 179443 972041 514335 883354 882313 863296 870825 090779 344606 871650 972269 894165 112030 761964 041538 778620 904108 708910 640073 230585 401338 894713 964161 820512 602682 040175 217694 850055 630292 826624 441941 925176 133630 077769 803976 282537 129639 921551 120845 600128 856623 906691 590245 782575 895321 596401 490719 811249 792262 103208 125598 285377 403157 975032 799302 916975 122672 001765 670748 182092 438615 267002 014979 385037 511685 792132 740983 787431 732581 400282 361050 048279 695930 762168 962607 607787 862128 688387 280100 304930 631954 346618 275861 163096 126377 249166 116986 960889 874988 667358 617243 920301 077194 434541 201105 809457 353196 386926 783597 043916 798308 869551 669486 779131 695278 789433 800317 579077 547422 854859 873221 949382 531789 167949 290846 161545 465412 940066 858545 375721 157787 033659 466968 790350 615628 609524 991952 703765 575035 004211 756045 172736 / 4011 > 256¹²⁰⁷⁸