Information on Result #1882260
There is no digital (80, 80+k, 6563)-net over F81 for arbitrarily large k, because logical equivalence would yield (80, m, 6563)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (80, 13123, 6563)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8113123, 6563, S81, 2, 13043), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 12389 402588 665837 347160 976725 549180 266466 363329 675051 253305 554579 616726 350823 799277 794118 658390 610250 509981 044878 427416 235698 908385 808492 803430 687943 050554 142982 979643 655011 183841 713065 248542 284505 067105 138413 079541 995516 070138 481845 940503 946673 144899 526441 114260 191910 407336 173285 158654 539388 569423 583562 909295 921243 708077 459509 399444 089858 411267 791494 834745 414955 642955 557651 933535 332022 242760 891638 591308 514367 795623 935306 557503 747949 525561 907443 541899 082438 286070 427670 237501 407329 938693 125029 216006 640756 345390 548531 236640 631755 976523 517908 992022 239150 101635 557483 561573 728904 806183 029511 019454 355848 140869 370843 957961 301644 102549 878599 002731 113489 738658 387032 210264 749794 726064 298120 124133 434372 775109 405987 224716 061680 007425 062472 423469 149456 044909 242072 351148 786387 309717 753778 648496 785057 157553 957835 180820 458472 379285 186846 459111 915034 727049 838809 460866 511426 026663 904461 687171 069079 577117 082657 851801 332032 921678 560556 205814 297661 110725 316150 650773 412563 795410 609923 658486 175663 569367 144981 459641 487206 473633 003049 175913 664485 882723 275758 566348 602457 246829 305391 171203 390434 790308 153057 789903 472141 366228 168847 642405 839198 164932 960499 699977 383246 498164 675562 264810 798407 129174 307351 562363 054244 431509 143536 059664 890014 262848 997940 390877 393837 986184 177034 297602 899471 153780 836353 747041 548196 043237 340238 258383 270109 114927 855785 405166 431031 584411 422295 059010 033684 217729 224848 907480 844135 313592 332255 474611 481378 435616 018147 618855 896899 326154 137452 836896 321949 574023 874080 479081 806952 408424 135031 490703 333993 617848 957832 852595 240011 591145 918079 344050 391351 642005 593316 337871 684132 033120 077322 110332 964395 076638 482564 786680 774278 448166 205199 165733 532636 916819 134525 835037 797816 404715 114297 765444 951517 516748 767346 181744 040577 132820 303901 679958 361929 261110 159758 150872 238503 531246 838504 599373 024308 656447 152097 687569 432685 326133 001310 282137 515556 686362 677250 296200 963204 378342 809633 206476 582418 867804 461037 726815 208486 868955 193874 984961 352334 870480 206810 630846 605192 902260 752717 268864 558203 994167 577491 355942 428337 445447 466008 598720 656333 919421 134464 201034 192698 960038 375803 896274 184251 369877 615877 850632 969057 715589 716909 802088 991677 760079 640359 604614 759994 919227 218439 733972 255954 860668 406954 348742 960150 567212 198594 550598 256790 632862 581725 344218 301577 860129 372536 345527 717743 827934 499413 211882 477445 806654 212222 233133 087305 393993 706034 157089 797783 093488 644231 038362 111382 307668 598927 376698 980540 446761 614898 692889 158478 132260 558389 673533 145782 176142 224308 001806 840723 013696 628664 074835 947575 003819 126320 585345 856006 171354 875544 862636 369187 391991 931613 398223 420222 959924 711273 380002 297239 951394 336782 544452 719593 609654 286227 707515 844896 287641 619873 369073 993769 237177 638410 464257 847155 384092 067494 950467 384492 417207 407891 692325 049308 960803 598416 978142 473182 450646 008438 180759 714004 608755 552247 964867 203874 746137 893095 638102 827388 815920 761878 815373 392460 889083 215209 209757 278714 265767 819328 007896 199358 009954 858181 691702 277879 348572 722496 923671 394378 065365 952982 532388 111950 931667 867128 561897 159101 682777 216377 649260 232850 035528 137223 628844 353321 273055 479316 594677 008103 310457 113346 340360 435734 284424 597169 562064 357158 098501 900412 697056 405311 901819 497875 891062 514623 585564 430075 297060 879818 098367 097137 071960 895983 740398 780600 754693 875910 636165 906734 428486 386678 576735 423058 229022 830419 785871 475572 254329 012448 437083 559272 410244 076784 313280 991220 458656 220492 431731 724233 639929 518341 080644 132062 771638 775742 259003 918749 089634 166377 137571 353421 628872 497766 695196 840348 142502 837885 736855 772338 719333 446356 915600 685800 257329 625473 053567 651679 458565 143826 787910 303348 973035 672439 248437 816678 966327 950547 776446 338982 128620 866878 875999 592821 550357 726664 731283 973040 808387 958073 312434 071801 019119 965764 557345 998490 668122 388471 052737 077030 024456 565113 100562 019800 544910 031804 790555 765494 225665 577067 578130 372634 703449 510741 903807 222915 587433 688830 198138 813904 624407 885128 595620 467476 507804 936678 795050 093141 321807 268803 199547 189414 458146 922466 538155 684964 187856 408455 761496 338413 509478 241513 686385 799433 667764 597936 446141 544917 627960 765392 038155 037526 789616 849415 908645 401821 726166 146247 181428 738835 174812 682234 118299 858728 580275 400478 146940 509136 479366 980247 133749 324792 586488 256160 183236 528392 541130 474319 330490 262030 384700 644272 347710 054947 507834 361286 823266 226202 071073 559859 809917 233388 269858 095800 638999 541137 479187 035209 353026 904380 321332 489143 254951 260994 526173 838322 588812 056694 164745 622678 268400 240847 223673 393791 272695 518172 370017 815873 790153 076365 286619 509079 641361 950032 373835 460299 087599 033141 733522 221547 879334 124962 643342 916660 455995 190901 545918 825044 296686 663283 636484 752361 087806 146518 836722 628157 559048 177717 479920 752138 968560 960981 520465 889751 741912 978881 603778 352308 794145 255721 843108 772625 632379 770071 327854 383076 190663 377708 441419 085148 860636 207547 670927 196905 226629 350077 533479 822030 972753 476162 441312 944086 400738 807888 277443 772298 381862 015160 225116 373133 381676 492579 137274 177251 411940 369472 732805 883398 468938 377814 823486 219524 018874 608340 331526 911350 494299 233068 231524 443206 331546 349841 422444 121137 002784 620584 538235 017502 909936 987664 653093 404266 346791 470185 027420 934640 465584 673303 308168 811298 879680 923172 575580 164666 861611 830311 010655 129802 292852 514114 853241 295500 428381 290527 352367 813584 488267 825686 118087 677830 606730 929357 885241 365808 702821 891835 533272 882554 863013 005591 384470 212411 479841 548419 395995 473150 703215 811169 894243 859001 467556 403465 546822 296168 887170 580716 881625 792186 218077 251052 938527 032053 117571 056464 207975 519017 524819 800321 995637 094066 004501 270891 862454 764318 153285 475576 653399 932442 415829 129068 193775 274314 280455 326791 819903 157164 757267 457133 056756 310325 081007 382133 188121 339810 393875 032809 602632 368304 469831 098800 531998 009955 321864 215529 966002 975071 298907 589420 882294 343372 624318 699890 824515 783043 146624 871398 678561 524246 600529 453739 418706 206715 185827 631104 217313 158563 930215 594658 177899 705679 800649 388617 331787 184999 635261 414206 245682 358972 948081 174618 668564 502546 106145 644002 284360 935262 584711 283073 744906 824262 355763 155770 121125 852001 584611 234198 348847 256117 722101 980534 766160 322684 511243 453084 883213 325128 284947 782136 966710 967646 732462 484926 149451 099098 654071 958295 586025 731107 673440 490525 620456 160332 018974 329397 357732 839590 537524 809576 593934 695012 153049 400367 882205 179711 479983 912762 165547 126392 431156 775258 653008 202306 698710 905781 161840 294467 023141 217876 582381 030645 993609 943736 985875 992189 089221 029266 245658 102898 883381 363023 370416 481079 577362 767524 178553 029645 682394 011372 437311 630823 245463 624126 492629 131326 557484 650215 086815 102958 215961 298628 376787 308272 482441 644728 910699 340495 347463 564978 182579 202297 973235 490428 819550 799116 346475 357520 310367 546524 535977 215473 699187 011891 673898 968419 236811 994528 656551 295866 511130 417616 772744 066129 512761 639958 191853 860951 794664 721167 652987 069441 377181 913347 804172 500153 123832 969077 527547 996322 867801 953657 823694 393186 982946 212173 211640 746788 075721 879484 822987 646965 984317 855868 296040 525232 580874 273910 147903 650382 301116 684986 061632 020905 410172 732634 191303 733186 962563 253935 268253 917654 067575 714348 809404 033474 530899 276920 624348 301443 110512 801581 365726 335328 174565 002635 955425 981837 370196 689160 562447 689808 641674 498971 538586 757866 031380 694300 735565 028859 670952 297883 704569 714159 993322 970956 732656 618032 543535 982127 638945 643551 595089 201197 928253 920820 045943 575233 498864 701788 580504 463869 118999 413236 568113 593448 540667 704399 486165 489106 399249 540357 363041 418712 077741 378140 887760 014353 722350 089893 877035 278759 342267 391903 575290 795616 915628 140526 513887 711397 319862 179205 938776 137032 762059 786537 556585 943291 265743 816731 899202 432004 402799 264177 073501 468738 893457 283138 938027 808895 656171 425547 299797 299201 456354 227316 686401 227056 728820 550772 664228 629955 494501 832559 659759 713259 635313 414156 868371 824469 691371 605607 020877 958556 827788 479472 900656 949805 941083 440436 068961 479625 056405 978891 295304 543643 328152 155485 365619 438828 961235 155404 853958 397273 637559 630933 816759 645029 592294 479433 267768 651357 130223 026201 995325 785428 974157 624714 663443 428642 112966 358283 931690 507971 669895 341269 413640 761932 391271 181936 187571 803355 914998 197131 607892 804612 753447 610828 630671 846704 899039 454967 757252 628838 984126 433838 270791 788037 657533 252840 069316 076687 697670 291506 890806 221703 252000 700621 683674 062857 119994 013101 245246 403989 858877 867374 660242 449934 318080 457734 604358 813040 746127 318922 741445 927289 432449 963163 781287 662816 514063 323332 868564 478742 929837 258660 357520 224805 544259 015770 114780 813168 876568 383430 292792 964664 762766 032575 799622 208653 829468 352510 225995 254602 514908 987342 259206 807656 721480 403374 849225 071910 465769 027203 332385 005380 129471 704204 563099 165051 673666 710961 867740 010626 667672 992272 232229 983001 108029 880602 474027 618064 040463 850862 047101 336977 411605 373893 674186 391846 556033 126097 192143 907742 272269 884108 501684 981521 125492 392498 796026 227052 875374 899574 121419 450786 324909 565797 838498 866198 585010 737789 251926 816998 854015 346864 607850 401683 389737 760470 348856 024241 834889 178111 491335 623385 301186 826735 159739 948476 543891 470947 257597 930924 488965 369959 311408 561777 056180 197798 178640 343718 147845 214748 202067 829418 660299 577324 148706 466152 978836 212169 190564 724696 017327 063707 401694 750653 548521 867459 641498 244929 590443 798925 233842 693295 034173 234209 777045 669146 844405 941657 986646 384766 560589 343564 596828 028156 977358 836581 731156 281094 545505 790881 162285 873838 460054 380096 487603 627080 629988 259035 201960 570830 255271 870823 400902 406890 363937 511683 718522 243814 935241 615638 656980 466277 915509 478507 031058 201290 349128 825031 039390 218112 106363 609636 117781 638680 115979 508542 798553 457202 762230 853083 221394 752846 562026 872246 705153 819462 867012 505737 266665 586830 410728 842194 495784 873618 789392 316256 071850 211211 460226 111103 677203 628012 130905 611436 570844 831225 207226 966828 321513 023100 860000 570049 134622 050150 844070 039950 808293 077435 496849 320569 404096 846395 299960 446168 960787 916416 156216 996241 277085 216505 385392 363207 518947 849504 356005 036416 047103 605770 913138 447713 712308 004594 479040 381136 815874 610087 747740 458699 182643 315826 379510 975762 841372 967674 643449 361122 034122 950037 448367 742759 702911 427520 961405 116143 729511 836896 502439 023033 287022 012700 147283 275801 629885 739886 884702 043539 332296 601421 795987 398806 221201 211980 385330 929569 849278 131926 508995 789835 643578 846406 908782 966359 029244 439610 194382 848971 704350 647206 229041 091341 112797 353138 269475 471514 094517 973851 363976 035511 665211 961165 327261 314541 224795 483370 776168 698547 107047 980403 815657 207119 432744 643576 889341 188930 942746 633188 754166 807878 214540 264537 985274 200450 065777 088943 756114 644002 999840 384716 206014 390213 997999 095724 143832 188357 874565 882494 368651 559750 340770 169142 465814 160257 553533 979658 968786 844528 008209 437400 225036 813305 266079 720036 308063 708028 354910 448998 889243 747103 583794 391597 785393 343718 851281 463642 026639 001469 408727 978587 719904 847848 131943 814058 026414 520153 613004 471116 282446 295144 199873 151909 126933 823689 185177 856106 153625 104559 636421 686246 485935 347494 744224 217276 080513 600424 958212 915020 795844 606595 995561 792463 647988 605140 539843 881971 313340 173985 258145 833432 612478 309926 659205 723102 209357 179812 917912 446105 906614 678556 174443 048356 499184 624055 722372 743334 888081 682722 366687 917833 938490 357440 583901 349440 487233 082789 955584 811584 125426 307149 735080 442123 321883 705861 657078 087874 514985 760615 855829 824797 538394 943283 252049 694933 888175 051193 064416 923429 540151 941459 928576 328657 395969 748366 063802 759048 131394 716820 132915 457643 265626 575821 141996 501243 908528 186475 076623 598390 419802 637712 263551 943938 167026 521665 163948 700004 710557 299254 069011 972645 223331 247914 579605 305460 783704 174114 023080 366402 964635 920524 551356 280001 596059 436958 139850 315649 128575 555205 691934 695238 800916 770711 652467 039978 422512 706041 466924 871173 160347 180375 805215 605917 283896 651515 848780 306848 853109 743149 428111 492423 168617 325708 215223 342929 162497 728779 812777 263731 043769 993382 752475 906337 515628 416805 294807 225321 326883 643963 864709 939549 768328 240769 100061 619764 002415 702358 407221 006301 628511 513146 580792 272707 347917 342374 306743 380270 793847 971178 809029 447108 128637 130788 861506 149378 684588 090122 008485 159630 664589 328511 460091 309567 506159 049202 140139 542014 144275 403277 313517 246354 895659 582800 887170 687406 533682 264783 829115 739172 807714 553033 608038 077865 375072 257929 286998 936832 157998 000149 616631 962309 730827 354280 600972 883893 927993 696376 700300 694076 755959 947271 808702 689434 398578 918559 114030 899567 135906 608424 969149 822944 758042 878020 773765 983612 858431 100088 996469 053033 555119 012080 936177 604013 093189 812175 722879 331823 674814 164350 779242 774897 147345 285365 579100 652217 020915 987809 797570 456901 564386 723504 778921 603272 387066 596714 716699 499861 800862 359463 151803 945201 321974 363293 473475 686918 413935 094569 723065 139439 074659 902820 283072 602918 107215 946254 302385 837085 232501 414811 696179 156385 809460 230696 529885 368259 000992 902077 687883 092491 041154 759797 992401 034432 473529 859011 522415 233408 528940 918499 773963 492871 969995 172027 030727 744646 501645 737588 833637 941851 812358 151260 222362 714246 295464 537291 756316 061787 689333 566455 524375 170535 807011 143196 549287 784721 199974 212261 880251 885425 041857 111363 644964 799064 535651 646116 391388 929792 806400 665521 962052 563078 780510 688841 981309 902007 991461 855686 001161 391804 507786 287690 905389 845928 577783 052060 224111 716610 694486 287268 801593 588147 869025 637612 424969 866374 153815 968582 874467 534956 422294 236693 790836 449210 190534 246328 830408 535632 655853 399017 695845 368045 867492 881598 268094 947702 101542 265893 360973 159365 310882 462746 910210 490616 112058 975731 610657 181543 912489 793281 563781 258325 086790 772572 009598 413995 620811 372497 320133 034720 000351 452652 233406 214539 866121 804102 473569 480739 772299 382696 461752 274795 626056 551605 264264 352271 682220 068781 855174 855741 623637 507798 715042 554164 323523 399656 720284 615355 431260 771577 845062 106866 774881 860331 281115 506988 137653 119679 191772 661970 800803 124775 703312 281892 785907 068712 688208 576113 994191 540153 399568 701931 513703 077700 362786 232795 174310 061761 163694 691817 283156 501158 142732 012608 550215 039871 448712 564149 974281 930473 754302 150429 223998 199338 633829 770043 229630 353801 217609 581201 012177 647792 559934 078322 362353 983752 112248 457682 639132 936975 708781 985158 770514 237623 331417 423051 804773 826023 017805 043016 132402 475145 636406 831747 003712 086160 612955 678313 625423 574296 491087 984644 985335 378619 174930 161878 871026 785041 476253 663409 476767 657854 431809 954614 004837 271449 084141 835107 293662 353663 942190 070463 345567 151791 459751 731103 851992 750710 796641 517166 464738 312357 991251 384951 340254 808296 020138 063992 321377 697787 989231 142305 168308 636091 845845 097227 568106 805800 664604 256954 211823 704035 649171 653945 984786 889009 023924 982710 840631 314062 001983 764295 909642 858773 776264 377313 547811 620161 445403 920150 324459 940509 740833 077361 128792 222409 412118 766529 524997 699968 487280 048808 887699 024306 403014 990700 573293 578220 208728 736896 600224 421016 392445 133183 351231 994852 310786 258794 235212 659088 151632 854476 213990 496885 319950 480957 961553 252366 095081 455011 922800 815336 346584 098273 563364 840582 999644 135455 546952 362558 790707 015382 536924 938650 741489 928331 519083 804715 061674 241961 851374 733712 199238 033212 438397 107143 804722 291422 471678 277969 691371 625223 765215 643140 929312 789306 426704 811445 816792 812960 327485 006725 931282 902636 070393 037370 014327 122873 884762 011350 650756 838758 500820 536483 752790 725203 856617 839743 243680 394692 476090 752928 595327 603421 108459 799163 750525 695552 912612 422935 372062 853883 259048 267596 304054 153516 093887 391928 835842 680575 989450 260045 098792 788952 941369 389283 753800 632472 335216 748226 752005 461662 954140 926018 629899 480646 853446 074732 866776 353297 609729 193098 760804 663174 408340 494966 292440 835823 110228 696625 947860 816997 810593 267940 913154 491604 700679 821131 710221 504826 688215 459184 180566 489344 097230 698051 294777 526901 277960 832582 328481 192477 384780 392140 170976 415459 800846 530284 638447 180025 322797 838291 126137 225533 861087 913543 763112 408804 367875 573583 501139 954657 389887 820374 745468 719832 586568 488565 115091 448109 593558 748426 975394 090116 844376 721341 333024 775657 743869 725107 715873 252968 249092 642582 336552 238335 061403 127162 144088 519307 699384 829524 349847 732560 722994 811145 384930 686421 325214 104560 267331 202055 772112 547262 745326 067278 878998 711857 834507 745888 999656 805104 913973 744159 079600 368265 584371 888967 079545 383076 376218 319035 200956 108584 464878 399741 577370 610917 177269 514289 115675 327102 825267 021254 527726 179922 017625 920534 920777 895919 338973 467376 571932 344557 861003 541106 354831 644155 987093 817641 757068 507778 365264 195102 315595 824745 716809 066847 335468 126530 173010 713777 328987 613895 512637 946410 565557 965798 147694 794367 477441 937254 317832 085176 633062 522250 953138 931526 880931 227558 319650 131166 402846 111027 804010 155567 312715 042879 218351 000144 024335 822608 005886 566403 306402 017121 043883 687779 625803 824063 400273 211507 611485 555665 644225 365116 272228 842244 156555 034856 993168 316131 993933 323914 389221 040205 441876 668283 408961 350858 283693 522974 703871 123605 853575 619240 548279 305888 932871 015933 091401 268444 794969 001257 082104 239319 840836 513371 854620 620282 725763 510958 709763 805855 776828 938260 793172 046264 139930 006424 947929 511676 302628 257210 092374 752097 215205 347586 846609 574003 826773 461773 097904 076964 644496 551888 104855 170108 001397 281484 710070 573085 708314 808347 323351 712155 460822 516414 196364 947022 633045 633699 179611 385838 663849 239882 255276 741161 837748 655239 334682 186413 398814 561301 319132 031100 704279 847400 721812 443395 091520 438474 587968 150857 056564 520284 858288 054745 626948 768290 535158 869226 646743 290225 259564 398824 400970 402930 838569 831615 963171 872581 536073 623307 634796 150367 606140 993306 447083 990871 222816 128361 000961 172997 611680 482695 101045 474260 455008 623388 498883 253637 081546 249476 814819 884107 160082 131575 533993 877779 577740 764894 172677 781924 242195 182204 151943 428629 460257 088819 444676 688240 706371 682832 082305 675428 079968 026193 104453 618289 958077 327793 974514 147561 632574 429240 752165 520582 928155 354750 892375 368495 478535 964016 503087 419869 434574 538040 014823 694549 730583 226683 039985 933141 441945 046477 033661 646362 022628 888861 975649 475621 347491 830330 174978 648264 703757 050755 994780 934233 363649 638450 644199 219125 248849 383046 303962 763128 828303 295028 782658 546432 123149 051722 610297 778211 688996 974762 937119 167205 142540 379716 296594 153596 391312 238481 480241 806498 500579 166700 919767 480639 237898 311236 088019 200786 086235 634803 919549 694820 588417 077725 102861 687469 939651 362884 201532 231058 017526 287182 734735 950864 943312 251867 918251 992061 810325 147084 418298 436996 696793 088846 947598 232524 392211 464794 384687 187306 540843 989554 441919 128797 207221 237497 979103 683068 798941 062047 144078 333741 645231 880273 977501 001052 524652 430907 734341 587052 823767 584155 484465 707426 007069 051764 887432 144316 319002 310497 221767 746659 695882 553745 363408 680183 019811 483369 030622 545005 440167 290812 467101 115595 988071 878213 562007 667181 083247 870424 587420 843689 187480 969312 778034 193356 136485 792871 224926 780444 838724 876458 784383 265890 109651 288752 358674 581717 049681 786201 172251 461131 185591 276814 581557 264826 252207 298954 911810 446526 283807 129938 041495 439368 850112 922675 913142 067802 007569 301299 151802 490886 763810 699277 661746 945555 868962 005677 499965 823373 735398 299924 615498 861301 904362 250591 429392 569489 027150 530340 184554 213646 633719 151248 310437 032278 390978 436777 742821 192984 359651 505967 953068 648405 395830 610791 774199 867350 377227 201258 188321 109903 406812 325485 393510 803987 893624 413249 385463 351076 057754 663579 669000 386651 368080 017095 941574 470948 809250 670014 155224 092451 020094 181073 550261 843487 654886 293609 102915 575511 157031 294216 706432 175646 022379 474217 073200 254381 935283 639247 028678 930703 787598 804563 616963 639318 821966 704701 909814 095365 365267 583978 408737 298826 308813 425280 891200 290212 577100 746471 006947 509078 629442 376101 365353 729470 325744 118358 346909 972661 332680 746671 670827 294281 853310 835125 174423 159622 577027 680873 865188 656914 540082 672241 880010 804270 215892 390434 099664 985893 061254 087566 896888 744151 789662 766705 367120 364002 795139 264115 486933 468650 079495 204374 468057 404167 189988 092205 745238 453830 121814 854849 081753 386167 357888 037695 163782 005956 381337 264180 250117 248604 459961 702719 882148 422088 265992 919127 099049 962555 644775 347916 213465 953705 791376 957105 788090 775145 750665 513023 182774 234504 366487 463920 361967 929139 138324 454446 324016 725750 786260 860963 355552 883691 965045 070654 785011 526061 231102 861680 361761 489878 123209 580754 087053 904846 396932 204773 775201 641034 750601 295604 822492 270688 202872 477165 701305 261785 204222 906359 565701 786557 412222 200870 400016 462494 928169 378210 116869 649727 718032 788030 213544 104722 329948 964792 006064 661476 485955 247632 372929 374430 929431 552386 188572 532174 246983 630709 479995 588033 783478 603632 860568 803890 757608 501463 276020 377461 012292 947581 426116 169282 047942 280572 379103 409858 636301 052655 432328 966556 100324 111442 617637 839790 500069 939074 135011 087272 571991 471362 829092 319636 403111 055157 894131 862930 639047 959193 538896 055205 998644 930469 468339 243651 032454 665908 113791 610245 118220 804730 928614 761137 545711 992825 863428 837025 767556 265028 085143 247792 964359 268004 977897 436916 412670 771069 154728 013571 196777 388842 783001 462881 703646 609565 405135 939962 563566 784309 147145 121929 031448 204568 974826 124216 395224 697857 801695 405487 702984 435343 693745 429186 685752 360736 777520 772502 862323 339558 337400 582715 487964 272329 463799 962227 141859 928713 797156 672326 852065 471611 506615 733001 071433 830322 922023 904455 472814 272966 687505 725529 838247 046548 605807 847466 756623 599446 399586 770020 559806 964651 907454 478704 153894 256925 260061 687644 753236 868571 670018 301219 888976 130692 011575 326105 156647 315613 279004 759588 131258 498565 793566 048826 617657 447112 280563 397167 391330 485746 462924 926249 195531 876842 328411 130540 704525 636324 036141 658853 237032 950506 981755 716050 431875 461827 167999 576482 089559 529024 200858 536649 490044 527268 926622 752102 866010 016461 152258 427633 816672 888290 273818 405028 814751 582863 852898 737909 855275 309210 368452 520358 997246 887491 472866 347482 264569 085513 527825 189011 154120 288271 443797 417584 128118 288447 112603 488693 159132 684122 427890 202557 802504 034423 898097 137572 765775 146823 480145 227995 751635 264061 744291 898593 250464 278102 194278 567845 383610 463267 599191 328209 533477 079361 193313 493226 154209 685899 057863 788751 044778 828145 422093 025039 277857 006107 964161 063456 833569 841008 691167 642240 072348 531252 592497 354501 335970 318289 404450 097420 726926 820776 669862 962124 799567 664166 111917 323586 378781 014728 981012 055185 319337 360043 837331 411328 161360 200316 518051 951654 672719 902989 095341 677888 343602 763091 500503 375066 816144 996731 551333 097546 966525 261406 519813 968930 932092 049137 039036 558322 915467 958017 202774 178081 872489 472081 059826 336966 332590 787297 638167 295002 166864 719208 742407 070504 263727 096752 392122 154297 449440 570717 012663 686316 117048 218957 604447 457995 462883 611585 010450 683537 809730 937727 606335 517926 556536 796301 085919 524946 165918 620632 780549 117685 878994 076268 924478 420371 429704 730129 440463 417324 147030 025575 497883 664890 116383 084786 152660 689986 913803 963772 714727 858465 113961 899444 684045 916317 646832 625123 548022 539121 479223 393233 242373 139306 529613 615553 724437 914545 752826 482985 916464 002800 279580 895115 180569 157300 850854 611291 234148 928115 890250 144667 576548 816031 907318 201264 447847 710516 097326 860849 690218 938319 811274 374822 666110 762170 184867 479959 353819 954479 727644 491211 360688 576066 166831 404746 174647 575697 365433 682751 957061 752281 064478 466951 465989 679867 817430 925656 332226 824732 534258 304081 588492 341596 587814 885239 284563 330345 326445 586606 501462 521092 142784 862037 231953 992564 613040 806204 175364 875507 818260 331630 844681 537006 434266 987449 519430 009690 863173 359174 949213 931129 202331 237012 814324 464346 143888 119206 060076 712129 769651 133785 121092 890595 418601 885614 917766 368420 496333 620751 532022 152071 726079 348006 657368 469538 983368 007581 752442 646017 332545 132116 024014 512877 810882 986406 796449 752194 664869 884941 512826 202044 131235 027805 056297 011271 847345 318061 509252 628989 338415 980483 756423 091153 996255 551290 355811 048615 442362 304007 451211 420317 989239 242558 180268 495342 358955 872083 095897 634024 790553 352520 697358 901920 731902 294532 531924 307994 067529 678844 634177 122504 900944 606283 944135 613790 594809 255399 880998 032756 785171 173100 778755 805906 904314 032592 608263 229299 411543 169095 550314 614515 976923 832879 972214 378786 717219 191159 805399 897450 796926 098565 756416 352638 529202 599234 179439 266512 993643 403754 544632 300767 340840 762378 633409 390563 976317 357520 227709 613444 068548 633544 297413 349699 631771 226696 952886 377341 247838 788970 639204 332576 212013 698537 248118 920328 454745 857587 796801 747117 833697 303813 332567 550009 941861 474529 869601 687642 551561 417595 800910 568673 471124 450863 159443 921798 733330 559822 411940 450799 424607 104540 570763 471144 979282 207606 793846 423212 764919 611754 121756 937387 622419 829113 431969 071871 045811 568385 149881 463509 481318 016940 722631 831343 311416 365413 150149 123937 849726 278554 916553 143234 812803 807760 538323 501452 332338 212337 157646 808263 580089 331224 639886 307374 639771 320276 547819 222762 047460 130995 218965 238268 610391 330393 788036 078414 129721 997882 035838 276466 837201 965949 258803 940273 018918 479043 099466 823164 817856 927531 258421 603535 913721 616692 563395 866180 711484 524936 604297 935583 055646 526662 063348 495643 529858 248158 145353 866633 003976 898410 683181 791094 269841 249936 177792 782531 153696 697883 042155 261128 971763 645894 650983 746481 277951 858725 752637 016255 881239 454939 375345 658827 012604 803747 935661 660199 250833 390937 674041 512846 567528 009588 483410 314284 632161 994770 004129 141938 136248 930688 131858 690267 500920 286715 426145 300574 717057 770311 691687 358186 225770 936474 415924 329214 309118 404974 531740 041930 562487 140805 079620 372503 566122 026794 899249 869257 248405 556820 962534 170384 446999 917486 837879 070049 230639 252628 896221 654117 510484 903545 931544 323471 400247 405561 245514 579008 674463 472352 830346 713160 417886 246947 152706 333267 019780 292387 / 1087 > 8113123 [i]
- extracting embedded OOA [i] would yield OOA(8113123, 6563, S81, 2, 13043), but
Mode: Bound (linear).
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.