Information on Result #1872712
There is no (72, 72+k, 5923)-net in base 81 for arbitrarily large k, because logical equivalence would yield (72, m, 5923)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (72, 11843, 5923)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8111843, 5923, S81, 2, 11771), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 198 915346 278644 762006 924969 110063 991337 782182 238719 196696 250575 739732 451384 198021 387522 535832 113228 796147 307331 305877 429649 949416 179532 097860 187500 876041 160596 053097 974314 033473 716326 996230 134416 619023 117309 856424 565730 738900 837602 941244 787462 934869 986453 992834 212836 733626 018591 270945 177920 630750 200416 413340 683691 213495 125255 116140 159780 330829 007096 876296 021958 956905 137409 230103 578315 039584 430295 993214 571683 248146 696848 492261 885001 848768 962298 801665 954265 999176 542888 076135 264167 309068 864123 645748 150751 364644 025978 189160 596504 382743 825403 425140 737925 209891 919903 504240 849305 842436 852270 621132 463446 025834 991613 466761 826766 553162 900680 803065 406424 208262 372669 216880 988827 075312 001831 612135 386363 492962 202763 239821 533065 758768 923718 023792 411133 813508 395657 237247 937195 488732 814813 472463 177761 065281 248164 815394 602269 986538 970200 501389 386586 643653 612749 559538 740551 924118 075348 624277 195324 388480 995369 753963 780985 082027 460313 767074 053563 312575 552314 209293 955561 652436 142187 595940 229259 860011 670713 485382 744709 465335 923413 619047 258135 706715 354781 229276 967157 545343 139330 075864 467265 627393 947675 231300 144550 257478 061868 635993 018572 069848 642316 636368 227352 213356 415257 450016 906150 237033 997510 895338 899570 775804 686184 221465 126855 516931 048229 452420 918803 999793 042091 140968 491568 155280 155201 998917 098597 373164 793562 222334 896459 113278 969496 632440 854888 477160 058205 960305 470430 724705 608525 765040 934273 065060 765496 588882 893608 552236 817453 204094 233129 739304 743105 498458 140478 201008 763455 397713 847525 807491 248345 497042 870646 227784 352857 222373 453424 100731 425573 357823 117577 511578 604094 021975 342411 925988 199135 992232 443626 541390 740657 368507 533837 060439 267886 125632 137974 420183 173313 182718 302069 245220 849786 925390 261937 175693 869237 953047 793085 984392 008505 167402 137923 997702 052723 302583 178830 930622 911737 417831 191271 135259 621405 796054 584637 485403 280425 081203 539324 772847 754551 170998 071085 761701 335112 278462 337711 676661 939396 235218 309362 914070 504602 819239 898527 421540 028897 217634 090934 443375 274132 275320 573638 678062 966224 587048 943988 466926 586846 384958 505871 789458 700105 379901 896575 398442 920462 369997 406008 457053 776648 415911 068675 116852 631524 732349 886218 786668 296863 838948 892227 139934 385660 607416 908132 925110 857396 382941 972083 755085 022887 356945 836950 287067 097947 341454 418238 770442 826353 165204 600837 523995 441033 613451 133302 162567 131659 488329 457914 367951 447767 943644 032046 787251 994110 970764 349163 009487 968366 611002 426998 954118 475753 090694 361129 887942 001054 624111 174952 385930 900885 903376 628183 876686 713825 805025 497820 246403 793744 731764 596471 678789 745990 096097 591815 170426 433890 669177 671649 954742 806754 084536 335109 073857 642779 493435 119846 156170 977381 379059 285611 514852 414941 033490 088913 928218 538089 286465 084272 431816 721674 542978 759795 472131 442842 652914 430109 479355 660803 307864 680020 838549 116170 036055 571416 809411 765294 415666 321949 039309 442907 745798 482211 456585 754334 372170 573345 058336 708176 884555 379659 613578 059090 889996 672077 332373 404886 270613 115964 943532 121499 076482 573718 593867 302020 563789 657336 479830 407480 995294 296327 071859 324063 268344 136607 210691 527358 654107 770029 399969 405436 160467 915916 354973 155249 828813 247007 638522 008471 878780 144140 480105 565476 916530 770777 484848 107803 499699 806137 308403 617074 306013 703300 214658 340669 555925 040898 748388 826360 317184 834567 985478 470376 693725 794008 128181 040141 675424 792224 134260 191545 637817 609069 809326 635193 368676 409203 159319 372134 104682 936906 885797 545199 683746 430319 014735 852613 553199 283482 125091 373837 154658 517430 450039 155188 730548 793362 624786 138388 882702 897489 260019 480011 145194 981106 158280 999159 388381 366092 120286 965565 930673 821530 686448 798828 509095 911803 060053 041188 757772 790873 485578 873402 695137 587978 576974 605545 304044 026046 549486 608199 244029 499623 901236 761694 590513 850078 551927 865692 141686 890067 575685 561646 201283 578359 452343 502977 590954 745376 970835 435442 411358 897955 666533 892259 865905 693525 209248 236318 116853 724765 245316 118373 312704 324975 566101 925750 831178 408791 996987 680012 461206 904699 845799 865722 153249 563850 441997 368275 135557 520996 719642 824323 482518 200958 453567 234690 037408 636707 596313 013836 071872 930477 584739 537412 654720 285615 286376 233362 950742 354986 294979 892907 763624 912108 115870 653401 514672 229835 442681 602403 016992 795295 314496 465319 114017 518955 345062 393155 946448 525600 113845 414705 297596 247339 169196 355155 826286 661503 488684 505852 286815 916772 446357 168345 811019 264293 380846 966463 378630 420206 403834 480820 467920 689288 654617 674952 877187 019232 046845 080853 964702 391521 481802 872001 183833 732362 019350 031321 832254 636818 202639 834394 344347 372809 194495 088525 819699 538325 711754 772152 927960 656255 068819 115290 865608 303028 257005 425962 353841 200931 178075 871392 453170 015510 535630 054149 942164 456237 056899 343035 127203 812341 450573 417252 097961 581385 439798 944102 994790 496381 733714 982899 908893 325276 155911 812505 379605 880444 082567 290020 926512 128400 534009 920592 345527 634358 116770 986678 345854 221105 512513 157875 975369 741313 198549 603767 441437 690784 122030 742345 425840 500763 175256 744768 849983 662515 115310 027967 572581 592278 748249 441634 894948 386577 372590 860517 088825 473974 996503 839187 084702 002168 669960 893959 330284 228251 328174 186560 269940 645945 582422 638695 726311 865903 871128 701007 857601 156623 072952 911508 969944 707245 788762 327314 608189 062435 225698 819152 570560 583564 186975 235245 126049 994968 433868 886765 506778 614313 743593 994517 322764 626208 382032 502718 967515 343183 653163 580681 381665 234458 849892 579808 684759 810394 407722 311743 741369 059925 622710 027716 636752 621677 114407 379428 483317 386512 075158 315716 707843 839278 429372 821083 769309 158737 327598 120852 048869 457270 017152 915182 742376 620827 015061 469911 271307 521471 200618 568261 355672 710317 116966 631959 687871 349099 979844 851925 081920 733703 984310 763488 028312 184851 660589 537558 075970 098503 194861 904678 578669 856698 861651 724850 646032 900842 262839 728279 965277 423580 616814 001668 790077 567926 797921 085741 650509 124541 436003 862007 983983 738026 788359 514763 772694 814587 262606 145487 462101 317461 239870 236991 244050 910958 797312 428556 743613 494129 685314 472884 850046 604894 873107 528090 080482 681859 256783 324021 227425 897065 102257 992201 915021 665353 778978 556614 369256 190761 337999 488488 804258 931671 250243 419547 435801 900288 653837 760205 997544 416813 332067 171180 565681 346301 508200 666150 202068 171173 914680 631542 505165 106549 866673 629123 079351 185531 217443 079952 125241 378182 993543 618705 150567 192455 379071 164845 039314 940180 234485 193540 859260 353014 140615 492067 263648 306639 188090 934078 557713 474831 259156 992526 556837 600653 534971 900647 691308 366271 148827 463952 537048 920967 333912 554193 309989 381027 866069 399586 640213 538006 301397 995421 440004 061487 774564 956521 832637 074122 983394 867558 095407 635573 235042 064120 188001 065304 255172 493906 707215 993034 870299 406717 605511 811536 059769 018611 386528 772972 508544 876482 022612 901279 365566 724255 620073 404727 885164 904831 234584 313527 739435 984086 339372 554993 922886 282100 484151 165121 906878 615055 039124 438702 359013 381945 395814 259069 948247 109954 570903 993124 930912 558266 167620 805580 834500 484667 384268 927396 700531 646518 719926 226246 092687 370484 732714 627408 202106 260802 888225 021751 330904 937583 211638 483306 727516 705175 254369 679979 846435 832975 953430 810943 332158 608791 757345 092398 867502 609589 306181 069801 174056 365799 079838 497120 558901 469117 916720 814524 202703 826775 092291 579036 339811 821942 577151 136868 923961 588764 459479 860220 708077 551645 707262 174957 422442 441162 406131 366079 496334 518737 213806 766144 616242 487431 818960 379782 188642 222716 135488 230491 710861 888226 960028 021169 261063 205695 227712 864200 575806 185753 684561 748251 051119 511287 578788 990313 805146 044591 699336 470759 714767 798910 355096 244367 960526 811787 462540 246819 205510 387408 472206 606763 649565 429853 882146 855517 606835 359523 571135 355198 298827 976036 736355 449627 944797 520971 381213 435752 123380 484348 033631 484154 119158 054163 892769 129634 715134 986083 687398 533480 133789 362331 018230 690523 866127 361170 332856 110161 809890 320108 276304 521843 088936 924046 715370 657392 678137 558383 860490 759910 719266 682831 086633 400304 025057 495057 516124 083959 281020 453880 758780 559152 760126 047461 835035 521599 901428 059169 274692 562139 690599 047770 411045 331828 445970 530276 400840 963352 821293 180166 408684 318184 702985 871369 319202 201648 651654 291579 113026 759152 898154 661542 176366 440675 351428 589146 381987 689313 767772 879211 807938 682011 280102 134834 057002 781210 196742 589821 901421 392796 008413 657495 176921 325697 010412 233514 871913 535342 368983 478708 354506 137738 665663 052975 205974 874417 785263 909852 608031 015036 739581 299681 285417 226674 471525 282265 031121 516473 596716 343665 463937 590295 823578 152409 283387 761520 568993 054486 181689 117893 092888 801853 684387 392204 991965 043829 495139 683349 396817 090802 129514 135040 899199 034855 704487 468315 589839 753909 710738 833797 851669 123200 606707 361879 550045 409194 878965 239775 937279 723778 979062 755385 676904 317427 505825 932167 503058 830347 279782 217992 005258 440056 781429 537254 024934 681625 483640 122667 211046 304497 646038 745595 783405 896427 602943 922742 380643 095802 235012 310709 692157 471553 117291 788849 248459 381071 488131 870237 269321 699632 416895 421396 679307 891931 787291 983435 585006 659799 076893 521555 583766 207175 244897 078157 540338 031325 966059 783205 965358 676627 808306 827830 288518 365866 874313 917678 090496 787216 569811 572422 359244 067939 911966 115937 289047 092169 280273 297937 593230 935206 365197 022077 085045 657566 393991 012763 103268 006938 980595 719982 155787 703588 123234 909826 483237 349170 092471 980459 192306 899076 646720 701035 420317 784049 481572 764001 437272 066391 006022 820958 186268 985435 684996 215578 751837 798857 018455 727341 343752 059544 023670 509187 495178 429828 658582 926721 076125 596850 111513 531155 997782 944225 007496 379953 973785 742140 779295 773340 220978 508686 633052 945513 221154 350098 485429 179282 928087 768447 666119 121352 550668 439169 638853 243738 582432 075907 416053 099657 280766 908209 811098 679246 261344 394169 825505 158649 100564 696252 542077 659571 608537 267445 516810 494168 528593 314125 001662 359489 829734 949137 481572 139156 361233 864508 710983 507494 860058 622371 177562 055122 718032 663013 840120 546046 951561 263202 684753 172260 735649 790448 490259 178054 463077 797375 749129 699526 287752 967245 697070 267391 745342 067554 816423 170446 892579 414729 137133 543663 384351 063602 955655 797419 504745 327600 629529 104161 426698 961848 921616 567024 052824 792178 309732 601783 991223 587998 208295 692225 109912 119485 160212 506718 218845 450204 164947 502839 766613 077684 781652 049577 510563 278350 353913 965575 797551 930226 962631 184156 840154 331964 403520 314392 340047 667973 140572 637529 888938 808069 429587 633374 898758 514663 058127 677499 575697 158623 260584 773705 715685 225968 237804 680902 654265 949498 046479 460668 035239 570505 642900 650931 508272 393991 197636 831815 542984 396939 787858 658505 102812 282073 177098 980745 208264 927617 019402 947441 382805 179828 632030 443897 084181 203633 149874 839354 415917 056566 729408 428333 871832 897669 472811 689036 250527 075931 466049 576805 106548 252991 406405 305027 916317 482585 868547 204736 524689 486520 559326 940397 489599 258906 205723 099316 820802 031626 684624 955093 156938 675910 618741 218154 837609 015644 893925 374977 609247 253610 243022 087625 057597 891719 942902 682166 259448 332148 006914 752234 636476 203571 315178 517534 999496 644062 638170 847267 238457 511244 974721 112353 109922 921244 237353 761368 914602 835743 494160 571130 912933 355204 430020 370945 081188 850094 194555 916941 086134 216531 657910 960852 362963 530888 187154 197083 038304 729017 603453 304115 414523 865594 271962 746360 400814 078449 710890 452947 997488 764916 731123 572935 971290 919373 401104 582546 074441 304488 981147 005236 528805 221546 058255 715021 897639 234820 294734 400334 200063 953258 160134 216294 602384 055863 161175 413091 034752 660117 922416 924164 412577 491400 522771 460534 558764 376359 313117 723301 872177 314221 908865 129798 174758 924687 469353 111048 977824 897969 139434 741688 649565 142539 975126 952464 025113 140297 676210 389678 813505 223935 836932 900930 902133 832860 731623 002583 539090 316817 604691 154322 846278 535280 613313 833902 635482 910120 914631 684134 339095 191447 115382 320952 707814 255385 571934 294620 417305 852485 506131 837135 331446 334946 725759 539946 904493 217358 822445 851085 790737 428115 597030 793859 562234 666319 059859 351862 407663 421044 865599 001103 308669 070400 278237 286539 660803 074115 857713 295758 099476 506403 389452 399805 029962 227254 578721 491568 048526 031210 550395 443536 770365 113049 652229 117079 958913 473377 609532 901118 112552 353865 903152 632922 467989 957759 458913 555382 989759 410941 742747 726028 771530 321322 269409 868706 547684 863644 010159 232065 175578 624492 030366 631483 833670 250660 578116 333908 128849 264882 913074 914875 296927 661712 052257 700625 247463 977034 965405 010347 989574 726150 572120 039728 226859 387159 458864 879341 278303 467598 612599 433446 970194 650438 234051 952453 229545 799239 491890 036100 910312 366678 625852 198235 181952 160044 005259 949850 395825 097122 850929 689237 544338 127799 938931 643163 620805 054396 275406 461775 264815 010739 148720 250629 727488 484169 395023 083676 797395 156245 887245 051951 612600 266223 633113 168045 700383 705611 586428 289552 917137 041738 093896 100770 647564 115337 137675 256658 529910 300499 561929 946613 566425 022788 778426 565889 297821 679435 346275 509648 113165 665862 072589 553899 852316 212234 186289 897885 485665 697381 286794 364287 200920 972848 788759 876701 108022 953733 171194 085375 915045 262099 099878 133377 987022 617908 942153 568146 650659 446674 706240 671824 435794 456991 448342 107016 619837 880311 115157 168427 961278 066032 292845 324275 698805 719409 676433 854276 695687 879529 750231 671508 854479 648345 139836 646456 081292 626730 969807 261731 750664 545829 323641 768773 649240 376290 320246 969925 639265 035879 783891 311959 776887 969117 665710 343637 903442 531563 646202 562552 920263 862184 424562 475117 791420 832052 451441 725217 109022 523480 679410 451896 047239 991262 177540 060029 002940 018766 895958 113334 908658 004574 190163 751516 244650 123467 873581 228430 044081 885252 258234 920716 926563 424915 704148 686618 413183 908756 372596 314513 358916 990260 563098 149382 478865 750565 057664 393544 739456 806522 007844 567732 310827 033578 759576 113267 215552 395217 759163 281051 668493 183200 400641 501611 268360 464692 975893 758641 262723 524252 309701 724314 407938 735342 468024 403814 910090 620417 848152 122945 877047 599428 344886 393381 590992 653910 296272 341263 637811 894068 081187 981194 323068 969425 263184 427853 865160 291916 483498 506829 607812 021765 954153 360883 884401 290494 382095 086585 749271 778618 509814 113579 270089 100969 080778 980794 026279 507453 866980 430267 547220 659929 966300 457250 520932 997604 776845 718800 535527 194855 315193 757199 582420 680391 467800 466353 233949 393877 641956 650485 058978 941930 337946 581609 964061 483601 951812 524948 870120 394316 363414 790017 726033 920443 990012 284786 752120 002059 649770 432966 707593 920653 114722 148152 887855 776505 231756 334228 350229 067157 750588 698164 672167 209838 722385 160584 512063 127367 013366 290014 192695 030513 800848 543820 247732 586895 233623 671329 589911 174190 772302 370477 899886 687183 941328 408495 971496 598783 015249 582655 776643 146729 831084 640380 710914 777572 108817 802287 096530 574391 486728 095110 264400 453177 507666 108824 448242 070143 895264 621253 224085 899287 721743 727145 540366 621088 577646 442436 661421 259000 944490 834786 544517 309870 995486 089081 680478 163423 010542 105260 227737 673494 646553 847089 440858 631821 697193 745479 303366 836349 609994 068653 567910 572342 837218 286681 296019 344727 732421 498989 337654 292300 986536 900655 277616 470541 226936 499330 292717 787054 514798 038353 335161 204156 733663 012063 927030 209809 202481 108624 657862 410863 411286 416069 106094 185950 431255 879957 943753 173338 589861 088757 648700 433868 589256 479184 703842 262719 162866 219106 391399 741999 026950 274504 465877 417348 830772 075755 650161 863166 197008 540935 376165 827872 890894 587182 618407 537650 082425 796329 456313 903492 775666 124956 227710 704549 524557 720581 319538 307397 588413 049206 516531 448919 600933 849215 927791 472918 433624 122188 360824 985118 063717 536057 740890 130142 720309 878210 000815 563607 487027 835991 783045 919532 469539 804803 759994 696318 170266 269459 630317 765651 556803 336369 085216 486583 292073 919055 761992 075198 127769 576902 416249 125285 991802 841464 365335 914440 707464 357744 146810 874513 717545 738973 950373 284817 410323 024577 279266 656193 801245 233104 414076 861129 233824 188932 669927 167305 429210 698207 649049 608626 715111 002051 791993 411644 903334 632105 745381 153600 806406 204386 041538 370925 052616 869700 170455 986784 005707 886095 371036 257715 014307 948587 233878 953608 181319 730703 515944 260116 307692 608566 593655 561674 170223 523261 757236 162429 397500 197795 675728 103098 042312 460700 138515 253539 293170 285392 535189 839601 996266 325523 046333 056110 655192 669772 696023 390859 062739 620432 411030 918769 309351 765091 039416 430537 506310 759775 217023 867122 187355 250642 622525 484827 546407 526624 444202 550381 916631 857558 708860 548740 864073 006285 779049 978485 504312 492538 680013 796743 705205 629331 896366 413473 314904 259647 062680 779011 195734 839892 610063 069076 249558 161456 183056 750266 311962 209644 482951 720522 344931 624061 344328 000281 411318 614556 706499 114448 066621 202181 656982 999427 728406 292883 978279 418406 942746 928751 022426 670296 629143 841712 844036 135648 677178 538891 818768 196885 252957 872653 368273 503203 332520 268989 043958 540930 985276 565776 257775 065710 157738 957368 812374 723195 561100 889342 425224 287372 077907 157526 995151 324906 980043 102650 121019 375634 464268 015380 332016 348976 501380 103476 448185 135929 730140 403806 646178 416091 304026 026309 954530 713887 798110 427151 077145 319360 621291 273035 668194 335066 075716 569943 267025 850647 421336 996417 395235 414119 573548 269392 403357 235194 723853 693851 895227 220621 813623 615554 102342 149538 482167 950968 827718 371850 332498 497712 615452 541048 585304 992282 135077 063865 487641 507449 436901 500211 500128 517131 304097 633519 437634 086194 230095 454846 650313 663394 296712 055222 270727 271199 172808 801702 692316 183980 266550 014642 262283 566075 313486 399337 779634 739934 563642 184680 642997 445072 475937 963687 421600 559861 466591 968630 149362 562621 529521 820314 127804 189578 948435 763671 497208 886572 980287 361919 566437 981669 661189 342204 270308 191252 697085 249970 312895 594165 527750 822451 387028 171768 891740 317023 490323 963308 985554 809168 586838 101841 072642 147889 060967 928065 294261 973768 864528 758487 706794 192914 758246 494061 920634 483759 688047 655186 234389 509828 770362 363404 760442 282946 517834 514320 531072 145518 790469 943605 083831 565499 429088 096176 800684 673504 450324 696497 298910 571292 838929 617509 724495 150190 083469 489242 098093 437070 537752 222001 863775 297326 528800 921128 754718 729678 902893 894763 401798 231575 551946 306710 085337 444876 016427 787291 904651 454133 153851 602988 113817 005308 102017 094261 353612 512848 689362 128097 172758 969593 933133 827414 051244 624098 238254 869962 559500 671952 594436 439629 004051 728848 344373 186306 058302 803772 968876 707204 646270 977182 252123 561302 414164 093720 329917 195111 079767 727496 353900 010681 145373 080017 117124 146855 307133 391725 115514 157213 291004 545166 080746 624897 813216 694149 003991 603587 469037 283603 438490 054130 936127 334597 454593 520847 971699 578363 827020 982580 778566 283352 249768 964507 392481 271125 491887 419670 465396 870933 949385 171925 699249 914938 224468 693159 323038 341210 562967 173396 175617 875177 265772 081497 272475 285364 776501 412210 210252 577041 722390 444489 387062 015935 101105 562029 963976 436177 323816 823823 665545 210322 174310 416209 255194 507161 536564 338604 047151 592233 194334 708339 841525 660775 668402 483099 038833 155538 589620 132826 895268 432196 484926 160733 919901 594842 309942 290986 136051 049860 781700 586095 528586 411859 532785 862507 257688 831535 634102 928351 329704 616397 984198 596606 135522 241638 756077 824659 089858 620843 387592 510638 026509 598913 024167 817816 969153 070147 193146 936465 482671 457360 044084 384807 815117 051205 554327 485013 899268 907723 381727 795169 233526 609656 104751 852297 178260 855538 318006 602295 736957 996686 220333 508651 487046 740059 579527 871160 386348 930766 361839 304185 752373 419760 758228 207486 996783 752054 665437 056267 389475 550385 024180 063763 707025 292947 267421 362965 353738 658734 608295 075459 712082 876181 457299 597088 535116 890622 218136 710866 896126 755595 276219 278206 815252 968390 701530 115444 645724 627902 889241 989255 562760 694875 376892 543018 431558 687616 759307 237418 772023 867556 305986 063801 204376 687449 300763 540217 089872 248923 898299 417287 335688 057805 940661 746446 688897 957570 855630 486681 660896 796380 367771 717472 593720 350270 032455 054674 981766 329619 242286 432360 136429 193881 550260 211472 134260 022139 310800 152836 682483 741627 523100 346182 702473 107520 621864 280480 274734 329929 400795 306937 596238 719041 568943 416813 960183 725712 425874 952440 502918 444143 964576 732715 444818 035562 845903 457149 548888 148919 505518 826496 107890 252757 579416 619542 235619 036689 255900 241301 795394 046310 322014 382766 648858 984970 564846 454079 449229 937384 690579 554655 375908 397368 436118 356918 078582 106674 391259 148226 422579 252678 283102 906603 591919 143372 148877 071137 054433 985546 219674 723163 241676 497142 178301 720963 592783 833399 319032 935384 179218 161457 582410 519500 113457 247366 346074 458368 992594 490029 829123 840223 586703 537411 996660 143512 039329 679973 365540 674487 871816 984717 708071 762590 477426 684781 702031 760143 776896 025960 368016 749679 149952 516178 255706 187243 809948 756916 081322 581679 715118 651705 366060 902260 694833 266891 829649 502082 924779 204495 579446 321607 093262 686996 527626 436571 478520 675815 544992 377599 749969 418929 422039 314184 162213 090709 068978 486666 354110 044747 512336 142564 288597 732523 173777 158769 813416 162893 786661 087980 352725 691284 659700 345486 678478 414649 676741 092150 686442 819543 638606 489735 484431 566003 866865 634635 373407 359835 223251 526591 656743 300561 070349 706946 546702 012119 336249 713603 551630 790019 406330 109384 295685 181151 576644 950291 537149 687145 791305 588040 706107 456562 971923 180029 450458 540815 995183 293059 776387 140404 662603 666851 274299 521610 877069 958650 994062 066977 886187 388488 392030 286895 443025 251387 898088 211519 025757 700088 030084 976721 699537 696254 003190 642470 176849 041293 629231 084835 108957 571229 557673 250214 856064 243967 477038 644720 803880 243236 066143 893623 782468 704567 711314 834441 231149 422694 735558 295755 884500 963191 916131 123706 117679 003750 276964 568066 055054 689968 598885 227075 040623 396642 396340 016682 631440 076954 894464 725513 985799 822436 385151 867349 063857 663473 866721 116228 598071 554133 257126 598727 566448 987148 745785 806117 009461 759387 255289 167575 421185 043993 431623 424985 931138 039373 106355 846471 122074 607524 377019 019016 466789 649891 765144 533019 144061 908910 306118 300110 258400 615361 019128 940489 487841 015081 188790 200134 322884 290351 326534 356120 385478 830623 278853 670769 411386 635709 974813 002074 183525 331360 520616 605617 241381 942642 789538 645846 765577 594472 615797 010544 402021 886216 750482 510742 991638 081454 682457 320167 155548 122621 906613 961174 655443 710221 844617 945869 398738 172697 004597 994940 103159 198084 677265 681128 261660 750578 372413 388911 611415 953129 016685 787127 149305 104468 966009 985351 242031 009923 415759 281910 357201 209794 278442 847164 606630 063131 356052 191356 492794 227019 495056 877627 052626 447488 979652 613757 835303 780411 234818 159310 567222 640769 051928 376919 553716 667017 068419 063008 797101 036399 359097 010672 447817 446902 940488 338580 993267 003064 174877 501601 592398 229234 726170 861534 947496 440192 849572 304274 156110 017619 675835 053016 272325 365297 141686 375756 221459 126003 615334 015759 340362 054881 244799 391000 842497 050028 641464 093180 892387 860761 475730 254116 955739 495110 212216 893576 540725 905348 655281 919861 292802 152233 623798 346778 148736 402872 590403 509049 703995 217964 323742 243528 218530 051190 967375 892896 578519 331371 980068 654941 237566 915389 087520 141138 506417 112490 795678 983861 336406 031726 008208 906002 733278 344435 687340 261953 107046 622555 849112 362876 435398 039607 367328 717187 379107 168608 278550 768113 324337 932442 015160 297693 576982 941566 989659 555770 336378 597921 297559 380694 388912 453178 186653 317498 828692 192102 574528 840640 910159 872859 280797 748890 904689 / 109 > 8111843 [i]
- extracting embedded OOA [i] would yield OOA(8111843, 5923, S81, 2, 11771), 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.