Information on Result #1872716
There is no (74, 74+k, 6083)-net in base 81 for arbitrarily large k, because logical equivalence would yield (74, m, 6083)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (74, 12163, 6083)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8112163, 6083, S81, 2, 12089), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 36 736460 174903 543242 118133 117850 470086 094827 136187 289372 554264 073753 578745 915404 674845 938661 449587 176665 521760 925281 862975 452773 975941 780376 312438 663257 772403 876019 973969 392359 807691 912619 210744 887947 876412 484435 788530 097793 108668 155262 511180 612353 960633 245267 100650 385237 053879 605743 961564 548383 402453 113758 724976 111198 267227 678456 601073 352349 805724 058096 884404 995247 666591 675173 375399 533269 269965 425807 373294 461077 921194 957445 923784 901317 734527 324894 232238 900320 389539 746974 172868 137086 285636 359108 433751 661260 113403 098424 632697 476001 185519 217123 031476 842102 787307 909873 067482 376879 098598 318591 898891 477004 950236 601606 374498 625785 077311 042411 831747 426558 941410 978993 055594 174984 690264 844456 595128 253090 174126 677620 721738 718817 066600 735925 100489 440020 708260 156981 187554 081215 136400 725942 052587 955454 401189 535823 418844 586864 165836 387442 147027 403532 998055 135341 324675 855786 531495 702217 298148 382485 466093 460435 608099 518478 132091 760292 127791 992753 319537 679861 208585 592559 087159 072051 862560 632055 862291 699762 811250 729321 458240 262939 362131 785094 931024 445542 219413 544192 863898 970004 993837 355936 289712 716180 279316 309017 149514 944274 250088 247826 337507 320114 340038 862410 828756 031961 492325 866535 116618 165191 985824 262479 536165 711977 903995 690829 777273 042687 661948 639441 257248 674154 397628 386607 949835 405508 452518 370983 077214 842269 844599 562816 356576 855532 548319 154951 939465 863456 248623 977067 910248 016144 174677 991658 516794 520640 888767 591791 482269 213087 323634 699214 366839 246863 424059 568534 392695 668128 096775 542263 880327 428678 006756 896574 779613 876816 377580 320546 723514 014830 402086 816182 712272 988963 086758 044067 893263 218401 251176 045743 524802 485845 935387 324042 232850 269639 271906 677710 226897 430828 216747 108794 244638 548763 719619 140136 002138 936312 449488 284865 148751 697885 945406 122601 849165 884694 050746 087721 577020 369387 615902 628759 126267 490080 288651 257121 118502 271221 698811 982569 578971 718338 952079 933309 662744 251923 662554 121400 711893 281094 551408 905013 648324 463767 706921 416614 953734 336502 996524 542780 927681 277912 205625 680816 672392 263897 991778 358190 368264 204159 746476 494333 586355 835795 252692 672475 377450 604124 413342 429684 210431 661805 322613 506096 257719 166306 458335 870981 747974 234419 661112 486775 322853 120144 066180 744975 914624 818804 728445 170275 180384 396877 041509 006530 998152 308772 757450 454967 884743 778349 735345 303843 030306 053406 097316 073022 262525 559212 962303 197590 313318 206211 967309 093680 572334 446987 496375 806607 240863 053509 371559 649844 540563 075146 713279 045201 672518 261824 628139 387701 708024 243999 899815 825956 212268 363000 135566 426963 512953 574198 341090 076332 611550 370588 290279 173177 541495 346067 217139 880158 536117 061453 248156 769993 427937 899143 507838 724346 835520 361814 029407 962783 369090 221524 345857 555836 298282 315653 839702 936799 033581 928577 204144 364826 471608 828632 662468 133813 405686 700411 064610 750123 096468 428334 247374 079626 007651 787651 390927 885456 701458 954384 486473 251316 265223 024648 540590 863287 377865 067175 669098 048229 319136 410488 702119 213794 680195 558406 933218 239236 590775 771330 005295 186829 155529 293210 938632 368765 906748 464842 116263 931814 388329 304506 064699 310087 506165 019849 775373 010792 094280 622394 430456 926125 911001 222547 648658 650908 576283 557526 054266 664919 725863 660814 559199 328984 328381 126946 209349 909559 777025 288183 015523 112260 335877 922632 393219 283855 092963 419818 939711 003552 168643 011505 789430 342725 435961 986285 299670 606150 303658 360768 771242 739274 973317 291812 399225 280148 360411 033812 398326 651994 675047 927903 673426 735254 538241 507391 594294 356834 540471 602344 125339 483205 714295 332295 371561 785333 269676 020885 064504 321744 420751 509410 840216 273586 911036 835945 024191 090902 473557 518955 945023 924127 962993 243107 353732 776556 398132 053753 663066 624094 279964 638695 105736 093308 739299 149623 995487 142765 266363 471731 294865 213134 814416 302016 118427 400594 547205 817412 106838 213443 484289 943122 899805 338771 680644 627950 131011 287786 328912 638222 885045 559029 939303 683781 050234 137578 755475 785837 147192 669782 815205 820107 807269 875061 569360 100992 951828 258973 885577 270150 493322 448936 991755 714312 173614 776623 354500 721343 070469 675769 490324 986297 307156 084986 477514 681478 579018 747950 723915 419990 091752 396373 917386 090984 532512 381821 472424 103113 992077 007530 019190 229744 476660 043513 200222 970976 303583 435742 426867 878934 695507 521583 502857 838312 421514 094666 187805 765529 836160 550953 122062 840558 491736 227869 358836 541703 418486 886828 691547 916263 605283 335192 599187 302511 600104 531925 022588 117241 320249 737432 342297 991320 148015 392387 315842 891021 605342 796122 054362 759994 825097 795845 123900 143110 051228 971767 868097 662001 607808 014587 526043 624809 747527 446753 333623 901972 325484 759508 447105 653325 545702 351401 220375 236179 448202 212397 915417 320092 498538 204036 550217 738548 280734 484721 945495 560520 388856 264426 304319 703565 307567 719389 548009 322390 268381 378370 137947 822628 274056 487015 279226 318304 691569 256515 940557 239743 384012 231406 661450 816920 214020 342918 531346 114172 843873 986418 936607 869477 317813 014011 316618 403171 537471 993489 256975 812350 548046 170412 035088 659784 448295 470823 221826 903447 416848 088074 126231 263957 956673 307654 248276 228319 694364 098570 469390 631103 502271 134131 699862 958456 899267 566669 594279 737575 905002 043377 956456 972646 114135 888664 571863 204345 281480 600532 472949 521798 617969 684161 896116 004396 584164 632490 549074 166024 129754 823863 185829 387300 445804 885543 465959 657083 293654 045965 245101 507008 110659 933839 295923 601552 132227 680160 923405 197425 134504 773784 175740 555260 954472 615097 914229 865132 251003 045914 550062 069126 687255 102658 362298 594835 608079 541153 765129 442739 470195 153480 891492 685376 546471 269642 654385 958868 543590 382387 790419 049037 373036 248157 609951 866189 391962 178321 474177 125691 437912 206360 260021 138534 442074 936994 871953 170494 575146 221881 432881 120105 447480 307884 217627 035630 763218 472508 312179 927796 927037 761780 853734 794481 872253 796107 723623 716356 327491 978757 212158 807666 978192 455564 615696 801571 467093 725647 859231 587491 559997 313977 360616 077142 117629 979628 834525 165285 644604 929522 138782 347213 581055 818714 756011 530331 193215 023122 476624 354608 616642 536610 836224 928111 277560 443283 711732 017929 118589 478361 199607 400188 176838 151060 244395 135068 384986 657598 417130 580938 685199 355659 698751 799129 339997 928209 320158 844421 555745 167672 470635 683388 271946 427503 645431 146211 135217 953441 222867 609930 254672 017708 865764 190226 424088 650537 522561 861333 004129 102126 186010 463538 027149 146384 795407 395597 639045 118053 677211 563616 219709 715759 660209 817771 310990 529197 067860 862607 140140 356017 290076 051576 852080 861199 824488 680075 196963 590512 089430 415059 520770 328331 061812 024002 112963 838643 256202 231658 525225 717152 484437 218691 632345 194827 551086 523991 522672 152212 293192 055535 038337 529131 970656 996921 325659 551948 713737 326666 821320 691284 268844 484810 722532 112551 863637 178215 595443 428612 605461 013282 605552 406500 641923 909297 800801 010268 784694 125548 611051 436090 589749 464278 713796 369323 303751 995355 150460 715600 786025 814057 561593 463879 644453 880732 648682 346566 340491 309830 350627 229748 318330 070913 027378 398936 061285 407734 564783 032765 751266 284977 459131 596758 311632 650608 491976 604743 102510 266085 184922 361486 274104 783248 128161 289460 725212 089266 043386 225891 683518 009331 315610 091484 553935 811284 217330 879629 027311 599538 835044 857761 209660 756293 607960 903190 624875 806101 644583 303310 536974 149727 742444 167435 149982 445921 604853 217668 701025 830429 772159 112167 205892 654201 898295 093091 870363 917940 661592 468387 158292 393029 857027 820058 029064 249249 844559 685319 823764 703206 218301 540632 721476 734566 404947 924405 772042 154930 473334 762642 760859 949671 601856 313875 387750 154022 391839 064925 509813 043054 812705 955425 666330 136188 203307 867036 458912 408089 645933 806534 897227 819034 249261 302639 856717 700000 695893 650239 683960 893900 574307 337640 211608 088278 264729 622374 225628 555657 833106 470004 254912 595644 773946 475861 669435 573646 324992 096649 642280 086985 789118 930890 106156 568917 864501 640407 879033 839197 470967 917555 606276 397652 982482 877493 321122 839896 677773 096953 040844 473635 057354 731233 603744 811463 936724 347704 448883 748803 920408 483699 646883 268266 029389 349610 996687 828796 708634 213231 098258 483896 246267 629390 373003 076511 826595 419184 934831 174378 105781 277577 471144 167885 767491 544906 971497 182688 147442 998769 990527 919190 306734 074752 795737 482469 041831 232701 953724 360006 258484 153073 236230 476520 309724 164815 445555 626967 802441 476403 176948 563904 499024 436473 361485 778978 843108 912499 813227 024123 378441 066281 544388 138645 005769 310479 519582 305451 826847 206233 161963 688327 335351 241020 089346 525450 399847 434028 230353 611246 229189 006546 193432 214554 876741 749376 696752 654738 378335 419005 423901 651416 943448 247274 264372 915576 241855 631629 796349 068528 517214 595608 158193 722715 083971 433361 965495 519729 161787 774907 534953 406150 715741 025090 302499 323846 822805 302299 312406 853233 757276 386149 486723 572908 607664 388087 298113 346945 815597 196044 323732 443704 973393 234951 811234 134867 844519 062203 441645 968191 384690 129241 104146 198727 804427 765477 312689 674888 034226 737248 409454 936360 064516 619894 751643 422634 841680 872281 049573 533350 965712 921268 367952 909032 182480 051448 089496 811505 791792 346310 299893 600789 283299 275628 691344 139764 656610 842718 155099 464140 009105 165041 336796 666813 115863 600942 867313 700230 511912 304772 192979 232061 187543 597559 498206 993495 914608 230585 731756 833233 940006 548413 815588 919982 907676 497482 379525 969472 619564 971653 967053 904459 484923 059668 973079 249109 412526 641296 916312 669771 209928 211167 577244 623974 201498 234066 248059 835728 596675 784106 689445 173142 245910 723537 570732 825764 244609 154153 428011 253105 537344 138303 246705 087984 695934 161182 733252 499173 993468 836407 869801 984203 682458 486992 288130 808563 571856 477558 586884 834105 327595 156306 068148 672140 275351 790425 925438 736943 440188 862899 447238 722964 281518 695852 311533 337766 253076 657270 757871 043532 103054 416223 263772 697166 740294 382833 345802 759560 802451 269673 034997 556915 473378 811183 757435 536966 184107 667985 423341 827478 801131 142674 534517 149940 669579 843357 083457 579003 738118 114148 060150 672284 499098 602134 031274 126350 394129 850594 256754 910910 411936 630658 272184 597302 286296 589373 876291 518124 494237 981282 171385 630663 314141 091867 260026 697462 344235 455033 434808 182450 118452 381820 714388 162501 097840 240519 195742 468416 785358 071194 691006 207621 276746 009837 295320 982900 284920 787409 471362 337861 279225 027533 585342 100496 747701 905729 838204 627473 318968 239909 075773 812606 681085 441221 053021 151825 321525 783684 665119 345400 349707 525116 627175 231883 754697 966331 747638 351343 378005 738734 743646 693425 970602 581524 806689 501510 576501 699889 672544 193972 537688 993732 556252 077759 856025 479235 941442 575840 596225 216053 255200 203381 531605 001944 251878 898203 400060 374737 858252 622262 916354 511724 237312 476871 940315 119441 843670 331641 508497 616327 550743 406307 153552 907440 311098 527531 906977 375925 474048 621749 576882 041614 893737 471299 005626 681303 612563 298644 337109 830863 785137 552306 402265 580063 211027 910195 526595 562439 969180 947662 867639 886054 263340 215490 545262 152933 959738 260349 891174 366006 049749 643796 368526 158113 707493 442459 865998 287114 080466 998475 205051 442548 647831 857679 353926 414206 338193 121561 097926 170521 454286 468426 200121 570409 173263 208257 972237 843361 585017 220533 725154 130920 982379 430245 597141 661766 611252 734249 808824 563324 603616 507069 946919 925206 840790 011622 524776 444795 341672 288367 104457 281107 699178 383275 707530 680493 586886 728641 059712 965954 808006 508348 103703 082706 633200 586018 210278 271946 580919 906037 456030 084338 801207 942767 797281 036586 621714 513289 763369 535130 788677 329421 790481 586612 831933 118078 159882 105376 531530 707241 536131 829790 583921 153348 303391 106572 464023 651236 670322 842881 009509 897178 403119 456780 026225 414609 726364 285880 990780 157870 597744 820221 315923 527356 437267 508432 626025 274071 174233 223680 487834 172827 393167 847272 966444 435688 701442 269159 547787 594501 382394 219312 686860 317430 005154 466555 918792 167113 448705 966472 997643 272635 773447 415582 287243 125537 759411 272388 964608 698283 269545 152979 680769 527509 707347 659869 784691 424385 591608 685610 816215 328338 746132 990183 481632 242251 379385 551172 334642 882268 566165 485681 393313 389199 015777 701388 286775 599223 199846 230726 606414 946078 808917 466276 180519 860749 880244 801009 190660 112422 516010 481739 175410 743782 430444 904089 750120 603958 208717 513054 990991 321751 721899 567890 509708 812744 410174 799584 847731 460082 165114 372113 915350 269633 427153 539620 469018 621543 613403 973651 186983 113976 733642 286858 101045 927775 671656 999904 052432 204549 157498 563111 735102 258864 924759 922132 490229 904746 480124 522376 763005 979821 290981 939786 688341 766955 988844 958448 276403 016079 193914 431473 471087 455472 386499 492132 017634 389067 541684 048116 718447 766442 908695 119035 698807 073576 987624 825406 573758 479793 922930 117682 743444 383925 544484 582573 662726 028565 545827 999623 765072 894993 051145 155865 319660 026630 152668 037876 504985 605173 289761 923916 700707 562636 378408 199157 450524 890970 615900 127668 249243 227555 864984 912957 367703 503520 494533 400227 225984 191868 553402 123207 208504 816797 414495 398916 900252 968807 667241 368542 284639 315670 852814 636306 458667 678444 765221 070374 807072 228778 594986 835362 697876 010318 625368 219277 228899 243555 030779 593741 950200 199146 394585 872624 421070 516316 549744 001659 378095 145473 289400 113830 218875 281987 628778 621918 518447 149837 882809 803911 391576 902384 361213 325697 263452 688747 655544 644438 653692 587810 410655 469713 799979 994942 037328 738654 896335 173396 980232 169987 353881 707163 470889 958219 893495 958729 144085 037829 129510 162722 125828 856266 373230 776771 928746 765217 517548 442921 607722 603139 020520 993219 460565 684225 251689 677875 010253 898489 652694 599747 943828 116380 270151 655405 303250 453706 460103 020485 247297 020336 233170 212094 853405 451470 220646 525488 270345 163467 137684 481292 359482 958698 998583 957657 542970 516090 405381 280713 495037 705735 871921 082894 677976 808536 452175 312218 982668 151796 618199 537035 526922 324060 335434 932265 550861 978267 687592 643022 444754 162091 554285 005114 355540 086188 404289 477228 832252 020052 665987 816584 946042 939518 316188 349129 123313 784919 729901 536230 216057 367968 962218 577053 116361 684363 403630 973904 910003 658150 094981 136540 395908 623730 611081 327034 111233 381924 388430 885817 287973 117715 379907 259833 870355 459162 875478 541917 390494 220970 923862 498077 999223 118902 107115 545229 003326 267407 914217 072155 360667 086937 175184 679152 593150 768876 187919 532454 029426 639207 825357 167001 089226 615433 051641 948280 317087 128299 698965 070979 746261 983284 189837 077175 304794 440180 633951 198159 937864 357186 840788 839981 575844 456655 413903 043257 602107 304356 148480 011428 035294 815328 887510 102519 573372 525051 457349 382002 145411 499419 037182 920579 966462 664167 785582 637635 917998 635728 528157 665660 901903 256744 530130 583753 638785 416742 467536 093081 058689 722013 654478 588153 115648 078737 371262 469679 457512 374178 913052 823019 443274 650529 222208 914772 328651 231387 039829 882551 977151 930456 262962 877065 085234 575508 864986 505747 963250 366582 154671 287313 157583 375424 562142 867811 135517 187243 103810 337522 908080 058495 629891 639941 490878 861913 996538 502196 946475 841650 611349 332077 447192 233494 740133 261471 649726 870746 682428 310261 540263 896964 774753 015120 654703 049648 624500 804496 642598 667455 483500 964865 975520 567995 193358 895678 981809 122038 510883 838929 975817 701123 712622 494099 467794 457754 251275 936437 012018 933510 106924 470224 636764 084593 163034 464337 452102 054548 372921 980145 213074 616175 924830 249921 734452 839400 956413 327386 989551 316308 114182 714525 204607 133337 083203 657686 663758 396714 751676 993441 520003 360999 574253 649261 458569 348376 064199 574985 291787 307552 932263 091607 570565 312854 604484 759227 623173 730742 355920 118915 558190 486213 312103 572088 258521 759932 451740 137697 696349 815021 816078 594683 748634 411703 498346 570366 822379 430846 889341 557150 945723 056600 672850 444065 193010 952477 331871 713003 730306 259174 200366 338932 511345 993904 333086 053620 770919 984563 021445 550877 649287 883835 867332 574137 194725 769315 880665 555397 427163 380716 327865 100703 323675 288525 940698 577510 014169 328084 978943 612425 954949 372039 575591 773947 983888 025284 035922 363488 579422 870644 929552 613694 480541 079795 970864 909223 795642 504386 028902 892964 707646 904428 048155 431516 409219 537237 451300 496397 152332 494338 941802 071742 325590 920521 794877 922539 446803 810050 914845 346914 718707 917822 798720 612557 299668 463496 183750 657250 394990 599256 924422 844114 833323 261185 537931 142499 881168 508863 217398 267751 321515 774256 934335 032808 276284 911661 495865 559949 609694 991213 152161 576649 552192 787129 086327 327616 481135 869928 600839 844557 360267 879654 287536 658579 726830 792670 433390 530199 423890 636190 137775 151469 337181 508529 807699 406940 347773 019144 619381 463824 919987 785376 442263 342681 114330 057685 145020 898575 184867 516744 671530 011371 444911 297775 861864 743970 509390 621650 613771 919796 171493 365591 285778 528915 793762 843008 021612 714077 764689 523435 413132 124783 525802 450336 949842 768429 977147 941370 180901 116168 832284 842975 299077 159877 078962 401599 559933 673338 759318 348400 531940 236016 059475 386779 741038 277423 105345 932199 937949 936715 762313 188338 684335 394187 242795 693498 781085 543758 485768 859706 956345 968395 505129 408788 516357 873569 213620 069788 657144 346401 427341 028029 185403 160233 233699 856871 164232 068335 861339 998331 578556 722027 473750 238007 840894 640294 115023 550244 589242 532131 276374 636980 905668 101022 295632 197859 568122 106747 482681 505106 946803 095707 087566 950969 374016 671303 589810 285150 691399 973595 187251 433300 517164 612686 211506 012602 529123 127592 297915 817557 700361 345339 971783 212397 015024 395714 345264 327951 685609 599230 209503 971925 487200 580039 328040 837203 732751 358247 120768 367659 241968 799002 788258 022032 315225 909299 276123 371455 950321 400600 333550 791305 912275 562124 745361 429206 813437 179780 516729 015378 681620 488870 359288 693995 927006 343410 015775 839229 154175 673005 111556 470940 910900 401069 558410 365776 073902 480004 156348 047797 364875 306176 563099 537530 288279 156587 795111 862115 173539 587700 098890 265060 260579 606960 871950 133371 563801 664633 182812 211841 030260 913629 458439 989867 678632 445568 048459 513041 193239 207035 182004 818963 939806 664054 191874 148425 525250 494552 630871 978926 961467 474496 238025 574126 375433 409218 605327 153605 764343 062294 782038 158321 027101 829209 433614 359705 955106 485973 280855 707765 353880 355139 961971 536623 430687 544405 722295 969555 958106 101388 246022 605954 028980 581063 833765 232682 224954 546311 457336 608191 689872 969082 130948 442226 663433 900258 731071 367986 181913 932884 012669 893990 389888 471548 084274 282560 010161 713661 541680 022992 909277 917260 570850 559663 265977 036426 096181 738200 347026 523577 825056 211183 504855 241018 862063 226854 164952 699553 979472 831948 471169 745334 874628 941751 043848 435862 908255 176415 122689 529055 582130 315700 614982 160361 768213 525053 728683 465982 358484 558734 407647 934673 327544 455436 266016 430082 186870 924562 601617 939435 572399 502680 570897 903959 519261 056283 472859 048761 260183 836854 544404 919825 905905 940388 395637 695876 436522 636003 244292 820466 658147 721467 622043 547376 508625 960044 019552 293281 040528 263756 996026 065479 563941 794063 247168 753765 110850 722739 159009 838116 078481 712775 877490 967897 263010 135773 027982 886792 919178 436591 277819 308013 691841 924235 472391 195294 254057 158042 487406 562825 407495 476709 443065 941945 802229 652927 934673 734728 209227 117018 798468 065262 878756 222104 902492 842114 526227 606415 666751 776903 309550 564352 841882 474182 049821 780269 168795 880585 704223 755876 026274 646785 013402 969392 166223 850321 937834 718992 903190 164316 829527 669794 514039 302429 714946 973514 095797 848372 749842 585032 026697 790434 266054 152447 533399 942476 495237 277342 752232 442600 344988 732591 442965 935906 547658 027112 937934 177587 233195 634201 099357 782276 499581 390029 741025 946011 137377 778822 378561 183682 700148 398542 454601 599455 615955 981298 793223 245752 598235 625330 057446 711886 714048 027693 431097 324498 766594 883676 657995 932708 796634 274215 911942 827022 595698 805644 930916 763268 492099 575216 532940 829583 238222 939587 076953 052735 698471 648394 872183 645198 186955 754774 824953 826169 151906 225447 477918 762667 777017 491054 159639 510348 605622 305465 559342 907637 205328 459460 536114 559635 044264 204060 290203 945725 397387 477198 395880 858782 016685 555607 159344 814432 466012 972420 570086 432636 978581 909931 826965 373844 336479 177110 098045 236938 914050 826060 661088 543062 985949 417877 059702 644578 970633 470521 083727 380946 283631 004374 733180 933309 817046 219954 699594 068928 828767 566801 022217 796097 720971 834987 530220 469866 979269 279992 174447 461287 752240 235670 234044 824460 929262 042307 010337 644785 079600 216423 078997 176062 524925 002531 110798 516583 057270 011639 151162 383266 357693 140752 628751 932612 816673 509711 853492 786483 557868 196302 628332 268481 819020 919164 903303 973938 550692 119878 765223 606916 601080 005518 804260 655653 526031 744022 841711 191195 788901 525825 990166 140899 416144 600932 997031 704974 854211 556735 715858 731399 590356 580981 147506 557895 123301 287511 850937 098085 217494 324706 981925 616643 732100 199800 991893 840129 988634 639265 107457 675087 455581 239567 015539 922792 310941 684036 462197 957896 499574 648009 197826 551012 246412 622810 088063 838100 257392 721258 991171 943874 419440 467779 562400 222048 664495 368112 131042 447632 697646 742238 875283 193658 632236 646406 256767 314912 266669 258479 985037 972814 358718 276419 026422 437935 389098 829848 133958 512400 948803 402645 354247 815163 703867 991148 209447 783642 850738 091653 020910 120330 752632 187474 223205 193366 154964 424143 641076 288489 479835 146583 366243 607959 084201 615917 892346 702700 626389 470798 739277 475384 057512 629978 709520 404857 503206 916982 018106 238103 946887 001312 906064 774698 879706 259235 414075 405966 387907 323647 730342 092510 779428 178332 185675 777472 990844 109057 087314 438465 627819 900402 229281 005405 992465 287452 629549 237481 081708 027027 609955 581947 856717 038091 010949 704471 800564 256833 883539 229536 352371 524240 374920 395493 983762 082477 259044 030765 380093 587325 311045 478540 942321 541918 000846 757733 672945 216169 636766 632712 650129 494781 597311 284172 298263 746434 741666 085270 932621 937898 950751 452269 077060 073440 639120 400365 746296 120318 596949 006101 093146 216773 806569 884563 259904 997397 294021 036664 934762 228373 122211 286243 283352 748670 582569 999331 979875 516697 697300 501381 515051 963289 775642 379524 381622 874163 901337 761591 811662 444776 179072 645353 461316 963187 198437 136501 979664 777711 250394 187910 888350 252449 288225 535204 926238 430424 909958 662590 625695 340338 445095 250942 535964 354594 412653 853394 118316 200665 656576 815330 903643 216461 500349 688780 937868 420606 541924 885615 091872 825552 405302 609968 265659 370457 676154 982304 240764 402501 574003 742311 436673 813787 437137 647048 960445 756542 500768 631928 471322 212073 956806 532917 261783 183752 628487 430692 714608 584890 601504 849666 579267 642407 995402 149313 962160 577312 049200 108024 257552 776152 507004 089465 845414 359374 439877 313095 647642 137733 934165 874672 624810 094337 122114 356975 268863 293978 257731 080780 962602 396270 656168 384291 810151 342164 292383 408729 718324 294564 093436 891596 294768 192901 352249 476965 909794 637262 351897 299226 725571 456906 141774 814563 139347 138068 380530 874744 121326 290119 794094 769322 486780 877690 194953 693704 728463 950568 331980 640712 884258 928426 689671 575835 184968 548843 051919 858199 613623 631197 611722 653661 843683 095854 698719 661070 096170 819011 768839 745240 115104 962285 629224 641849 946781 013701 016791 621931 214880 162287 258481 379653 616927 033254 741529 197977 990798 095135 831722 161748 866816 965922 284807 982311 047491 406683 260192 159456 865597 775366 554090 035352 122986 312475 883994 793493 798517 995503 161990 163252 841184 351504 075700 526534 416930 063105 481747 415235 944455 326026 198346 365107 648652 211797 596365 452315 787634 834479 090496 546134 283732 553093 815454 619627 651287 069132 430571 496048 970124 377526 409387 270761 964682 346869 137483 159845 194647 556849 391901 685080 793685 647382 371891 859118 839437 426328 029675 897040 276557 500840 516250 999752 085237 642312 454830 623018 998123 593453 724863 590185 105863 055378 172374 424714 346510 926490 082062 297910 505617 002764 865313 294393 197586 283537 520930 334502 623634 031316 539147 471073 761174 444203 168590 316323 659953 021776 924576 738074 666491 711817 746408 341528 772122 111072 343375 208001 006421 087080 573226 543289 208457 374482 966732 646336 891071 834413 473483 387433 207808 290856 379953 604157 777079 867259 207313 517864 123907 321857 810947 848519 547116 483214 391158 240505 402288 803916 129962 574789 570905 680829 156339 886080 375405 189802 081981 006170 945186 875758 676616 530677 215788 470220 285684 864355 336584 158341 439341 654362 724479 246619 / 403 > 8112163 [i]
- extracting embedded OOA [i] would yield OOA(8112163, 6083, S81, 2, 12089), but
Mode: Bound.
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.