Information on Result #1882262
There is no digital (81, 81+k, 6644)-net over F81 for arbitrarily large k, because logical equivalence would yield (81, m, 6644)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (81, 13285, 6644)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8113285, 6644, S81, 2, 13204), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 66 398291 060445 550457 799551 460154 583076 984896 345049 594106 804131 043256 580141 541220 437543 793992 285391 142639 909872 082385 055195 984598 468841 530635 922303 842195 905730 304592 899877 769020 407108 879707 436243 913019 302415 187010 159365 462859 599432 969151 609937 251390 149567 094520 636180 827684 496657 830743 102768 836558 034056 141109 177153 383113 316040 730361 768803 877828 730794 507616 357398 896623 610622 713624 122484 482446 668080 256809 038043 426131 158372 301666 925860 669325 365635 583632 731914 089452 182156 385633 756115 049984 501726 564997 617236 638737 120232 600056 765043 909576 461324 321446 185086 738450 770252 730671 717354 873100 984825 102774 739261 073139 962775 025086 341863 949742 677326 815987 373886 408930 160671 207177 682623 351473 624515 123098 759390 608681 446275 729304 622882 997168 969306 157104 477909 595000 626784 917405 899397 665995 246094 483231 918984 206730 574590 239290 950776 170245 872703 868913 372400 637695 727641 553781 033267 556836 708384 108287 441251 543833 744738 150742 957713 531140 512988 031890 360667 224921 698822 813433 324999 645075 191783 390448 206117 740959 045433 470459 502076 132460 754869 799547 782570 487572 154891 521983 862199 293138 684198 652569 220102 476671 421155 728948 638612 050560 895676 403634 902357 889879 149598 103162 167962 412274 661460 293550 625502 458517 479285 205578 951664 451117 550154 576127 203431 109879 353295 366695 312013 939392 502467 070980 885449 236856 779943 274724 504583 795695 116209 089063 765382 070326 629091 747418 688199 555120 100859 595617 889445 904841 064234 780022 062868 672660 758734 499032 485435 882653 899292 063828 123236 120431 445196 530023 927745 091344 497885 202969 984073 028549 715708 373550 128755 790032 448049 057702 046602 024158 806363 187851 069108 723911 977968 704642 087093 802045 584546 469124 652658 655054 961007 379543 283516 591362 965790 254017 837554 696266 345424 290738 575795 951021 964402 578659 738209 923102 838969 463917 909002 833729 523300 937030 845353 236735 076560 812362 774405 440701 731548 036021 600778 316559 940644 374471 111075 602088 298050 346938 991208 491101 169100 281293 352034 993562 453426 218494 680037 667459 388920 558993 951989 566643 764220 170617 001984 109559 497767 207174 534217 670349 820171 209727 029011 869321 563366 539149 080194 010207 099318 545527 865195 485512 146402 088690 628728 055601 963358 237120 766220 302642 018757 205755 359371 339415 792616 597467 906681 553945 090157 895484 469453 392786 269789 109287 622248 262000 415621 697146 050923 254175 374374 291715 878052 742539 216935 028345 727125 727764 954245 052830 891268 364874 300711 609209 795751 566134 508486 878327 215064 819347 662429 520411 782132 429114 784912 521827 845087 512200 036378 296432 098019 657228 564983 151674 921145 270645 269163 285040 202510 916396 530052 313188 042035 472513 541573 352240 986401 213651 095954 212379 055879 085283 813931 169798 508013 945481 991996 181319 711874 587474 023821 570990 690781 281396 864729 521464 640952 931082 807233 344644 776063 434746 619575 286730 350996 092792 330479 182571 958820 554255 942632 840182 509644 478443 340201 236300 821469 468608 805702 412023 325059 303366 868504 795826 035167 531203 486491 077001 826559 888952 986108 293463 966115 314356 476207 797568 453606 584555 901211 943746 691770 952375 822489 238732 415347 592824 610982 064854 640199 079595 711631 831371 095568 567830 735995 192214 724877 142459 056297 151458 888990 054101 764499 756238 709505 810908 451792 985863 321226 270423 421023 360424 107803 369910 674521 812494 987770 719029 137820 610907 811726 368732 727558 490711 678820 512636 725027 123458 603305 880959 296286 947067 983447 723773 444355 794723 368007 637505 807022 680875 498616 441772 470228 805948 496928 279762 224623 563287 627713 339861 510454 948226 729063 018452 015444 289467 047593 907833 496667 386425 348408 989072 088555 582762 803877 455788 681660 568488 524416 647077 286334 580137 435609 751803 595476 389065 747755 621097 542036 907168 868443 089492 702375 014626 722996 727726 298008 211112 069705 379778 313398 981414 525477 792275 251658 569983 521041 689242 885762 348898 009452 131032 112892 084712 456686 965533 893169 749362 274418 526669 709675 991628 644952 407850 732819 811084 291662 619065 883429 657962 315462 184392 071859 110419 375556 558954 082473 645962 556775 223037 385784 779323 825565 321755 661995 551758 926983 159544 124332 574641 666660 486124 188347 170645 438965 305155 002827 449406 962784 384985 655415 004315 708524 608530 238363 018318 582803 372134 704720 364136 112077 157710 238713 674206 433848 084743 113095 204967 749663 525649 370437 970508 290867 114838 471174 534547 099338 819056 058887 722085 034589 802103 597671 445743 167057 156539 971295 531373 998359 955179 550447 924406 690024 981143 723695 223030 783188 057180 682178 923336 911893 022130 479038 034409 993365 976913 359646 763540 300298 316996 244819 615186 190143 077538 451834 619751 453297 348307 258929 344044 253007 393329 134071 266573 539987 461072 890625 816023 200372 977728 132702 636123 172390 660725 251897 719121 933743 011059 329040 210249 070789 859674 603974 282001 029442 097529 084603 187843 864813 557076 964686 463837 220030 184541 934278 879863 935244 675556 519631 177285 644133 171055 756183 803721 440560 850210 691098 661713 381160 476466 923466 700653 161533 330988 879134 433232 918464 421510 221221 691500 715436 274781 208856 202560 321573 472194 219800 703101 281332 754372 407866 557802 617880 925995 859111 956249 073254 823991 797109 573143 890726 914358 397131 455308 466710 673148 494559 367119 796353 803532 807723 326024 270834 260850 411881 927508 779508 415855 035101 216615 062603 627352 293592 943265 460836 924829 445330 374777 538429 397932 177180 504307 912712 157524 267430 205345 530365 789633 976777 420633 555630 410711 871654 209917 205933 031952 547964 654956 647096 423470 182507 196808 342881 253789 015333 239362 698961 384658 033157 945298 682562 397933 750067 239385 444037 393332 158232 307249 677786 064273 052057 163044 711866 983520 484903 103257 495846 468851 824430 475505 128058 855171 592473 430698 629589 328380 393770 368827 298830 505294 440202 462581 259773 726313 738738 788945 031741 189283 367957 035395 355299 970826 146617 947206 308340 386804 923788 516593 022687 143260 365889 427873 044859 819135 563649 174536 053678 395310 153252 870564 880509 568998 842443 539221 426786 436801 138845 210419 449374 152982 975807 295739 283226 624852 847909 277935 851701 902570 174827 271084 930779 714574 417577 766482 722963 519677 384047 671954 254526 498362 920245 390996 575711 056047 935825 360319 208136 385715 455958 135382 759561 823899 369562 622599 848717 433310 924246 771295 357113 069611 129368 121569 862052 518614 343271 751110 174057 996504 146429 416564 766049 511131 191041 593761 472158 690138 999717 340247 886350 893612 251286 447892 460433 291912 324218 925698 991915 434074 553107 914215 832986 854165 256943 255192 615998 537521 026867 119955 312011 527708 264502 394560 209935 224490 072776 244666 103309 075440 589316 813417 929984 657069 823294 329333 879866 982832 704194 009367 186526 066423 794391 501903 677469 778810 014034 914586 925424 449810 841393 011511 958975 436463 175138 603975 251419 977353 035219 738025 441357 506747 647638 556874 164522 867807 817902 364312 247908 585085 203112 597560 942515 027690 595705 302032 247957 425803 268310 749390 213039 036183 177944 611171 045881 688173 732530 624418 070651 597908 004354 323391 517108 327007 535500 962337 107057 255360 058790 932491 520950 587987 414545 247249 539940 453797 612597 626831 546111 818234 331838 908092 677683 517648 138056 572934 837214 891831 647753 714796 854513 087100 470602 502327 111965 299158 968555 199460 932297 358805 732378 796840 362785 225640 932587 551478 182501 908386 092837 571285 674772 459561 967922 163770 689202 605421 806870 979681 382138 581151 620119 934513 036873 299147 169911 236738 998067 690265 642948 802219 610842 454709 724848 512381 483330 531285 690667 791685 491987 253484 665319 061747 089682 106366 986319 226655 299495 718402 163447 469050 759149 298559 465762 802820 066674 810366 946928 671965 225298 625526 830617 602096 006834 282672 707743 431304 159511 284073 660665 924013 955573 629194 493681 221152 788816 906341 533164 002932 008571 320606 286563 901898 006066 337638 961508 060733 705913 439822 844938 157048 172160 329174 047198 224755 922595 054447 359086 995767 860848 542232 383815 135833 929266 241499 589609 667051 047288 147231 937288 038613 254686 803681 107711 968552 696183 707578 700292 493648 262182 193303 118345 883164 306903 675197 877630 673623 673353 268763 156907 057256 661510 296661 551876 816161 626541 528254 153344 709980 965949 066556 769353 249099 878004 717808 413519 784292 242628 797982 720883 852812 873726 974254 999681 299444 023978 393904 734391 141249 227847 291722 844778 203557 517018 570239 385287 033436 994224 628436 619154 531931 376276 295123 195874 373333 940444 277176 545243 331904 037491 842635 866120 658217 322455 352274 660574 584230 673549 599802 104171 945396 218635 642060 818577 104400 894874 435000 862735 097405 197749 164151 990536 549156 104107 053154 585810 468204 217225 620719 934218 584019 061859 323556 366822 535075 939090 065284 903450 417861 910017 843328 961695 387936 774917 983125 857504 718402 411001 016476 994448 465309 340613 748390 426037 484618 953089 101495 810572 017816 609377 619951 135544 140999 925210 215384 918944 817504 159794 745857 352727 688664 529825 002435 754666 802765 931916 081179 575362 240569 994185 080016 544312 191478 339041 496959 614779 522299 587998 864931 534348 139445 899583 967035 004430 986041 020054 040052 165750 960721 873498 534674 861370 098499 391433 413556 056649 419348 732858 825205 568445 971723 408233 724894 877867 673484 206424 404050 661513 853668 100371 233137 489059 914770 873701 521354 006166 571801 571012 508767 166188 090946 450855 743884 337554 960743 638449 001196 902150 738300 311756 638467 375430 226884 324820 846788 596303 149010 926975 991850 435053 695451 972926 817988 952953 899388 418189 462414 131493 559424 016973 274140 145180 479212 468574 783739 632909 054041 349833 163937 057742 864120 927415 685403 901106 849897 200768 024712 429366 468011 562117 047866 140299 031645 811557 724618 237691 102535 967352 547275 917264 246713 305876 054163 443369 732684 243315 021176 447782 568134 519002 864975 982114 369567 002501 612825 211159 292427 382974 880918 188418 539051 405897 646120 145097 301110 093815 129990 509013 052763 658954 429862 745504 674055 636254 725132 410236 972081 732149 306763 481281 251682 613274 323047 957190 152597 620158 708482 891149 238050 303277 470531 181094 934385 359850 935562 323218 291848 548402 981793 396257 923897 874643 248477 253615 234150 241538 131352 422775 229370 003819 195104 848117 522118 564101 845514 803165 147156 205540 342836 148782 745204 210174 908760 391916 731818 736560 755367 956933 798753 538254 018409 627308 192872 894516 061469 239515 454630 418466 823327 861053 217414 011735 771427 150244 679954 866440 984012 213811 561512 718316 582672 098882 077850 063155 519772 543729 950480 980313 024941 427116 869037 114189 501909 117667 516472 922851 762196 266328 582524 405436 741983 705583 375050 987567 829697 494949 994980 059663 661428 791365 201496 247134 059781 801621 420662 185223 882949 918475 203785 183132 076367 411079 867630 227014 736097 534371 768364 494553 721293 623364 385796 896654 540464 803282 168336 000983 028165 600470 916879 245545 308131 831484 659931 792900 712776 246314 836126 081167 779286 833545 653238 705842 810379 720726 925029 026658 412875 054600 067737 584821 754407 460530 968598 292318 055760 979631 631409 415353 372397 767389 540699 872714 204901 893740 861634 912980 733710 714330 078119 329752 223348 763260 682504 982136 659646 789498 032481 610547 053205 210552 905507 265578 306276 578352 743217 643493 798912 388448 598379 529593 987401 599849 141366 439965 681199 995085 684641 235832 566719 954627 474125 670147 375975 421212 643763 192837 641431 575655 621590 534626 144063 350078 500221 626784 595173 714612 113479 452364 988156 634615 226930 430362 675315 651100 687155 960449 919322 500078 601518 165119 605376 484675 846426 999484 341735 531972 117113 722614 114612 574074 065107 015167 754368 095403 909607 125621 217750 755645 788300 029675 267585 417898 314237 370705 823436 710716 285671 646366 146046 263753 380439 370310 048344 530088 159007 457425 745273 068824 814291 400363 945075 251412 331423 214612 838036 784365 161653 798148 285693 309702 511738 284077 484301 888891 251979 526745 786281 446338 940387 190609 600069 596742 519929 008552 328963 688036 543103 064640 743225 743855 078528 676502 365712 436019 398413 688125 570683 510863 758776 174729 318338 304848 714862 939097 460568 818338 204819 881531 615398 091642 968271 982230 016038 872135 443089 518973 667942 244744 858839 650952 345519 063596 453503 602513 775222 416759 143692 132807 431649 748325 668637 047994 311389 808179 893936 725416 308117 883636 814705 502628 353467 879773 407128 859254 830487 122934 547445 516045 205787 504184 439615 303378 352355 040355 293174 744977 485501 465172 876535 283213 655063 804310 415539 845319 665240 177602 068667 551880 491250 846166 806569 990000 081402 724641 186007 865887 000842 073873 033535 729673 969217 814480 362372 363469 437809 857402 002021 300758 628969 034318 152343 431126 315939 682465 725371 406567 889011 121256 165569 265161 855808 454585 949648 142698 295150 266114 413617 826176 408041 139111 949805 206932 386325 987394 695547 791836 743063 486834 945314 873468 694487 554160 534663 308871 979782 092839 838987 183902 510996 475510 793052 605904 680051 495966 905774 636821 877599 890370 850902 717948 302600 746888 123758 151996 613260 975833 560860 218482 584353 938618 340221 649306 526278 963529 617103 284062 144126 234754 636810 252462 910616 484938 165499 237098 505838 270116 786237 710140 671391 339785 684379 592076 393441 886184 666096 105734 743089 009508 202165 590823 261360 789758 144525 287414 796352 846797 508046 679621 473615 432001 045782 657784 987657 237164 253920 737938 933341 665596 180979 150517 978302 751608 648329 278337 495663 102015 360990 114892 738799 611925 538133 593457 907019 021837 733781 018957 273002 582805 206192 949519 352432 621598 804227 590722 549859 878459 060291 886582 783768 964049 558241 149663 133495 560726 650795 620889 587219 405944 215040 944075 149141 349098 722649 021420 562572 527617 035815 150784 844524 931347 571459 853290 099996 785083 852912 292981 750456 714027 443806 067191 733117 282722 509131 137999 339524 847566 374188 897984 174820 897029 233411 830553 574540 649840 940012 620829 243155 588548 949015 879089 486655 258754 633541 627967 906102 750822 519540 734309 314968 821211 546724 458856 406215 278168 269937 862646 490526 307832 461036 935445 376382 109951 746825 312579 165146 711671 079734 975926 781870 667232 615168 917923 976012 566594 303961 267928 020136 061532 585567 297820 304777 690382 090160 558090 399759 344240 030981 526818 922398 325976 354377 601402 683386 185398 110858 987644 792729 188668 407490 061727 481795 115462 047307 039094 001887 773542 321781 198995 207010 252457 986845 267019 294742 656352 486707 020951 172128 854728 288895 002571 781131 215393 230584 388507 570677 349746 106749 879816 581027 685905 596982 974557 935966 915084 424788 709459 419611 646272 008237 919247 031771 168868 998650 427958 366767 489292 537244 717241 791657 962051 701327 441611 603796 077512 335292 725046 412590 028600 219510 116139 512665 737402 036014 675177 680260 070914 923404 021555 612489 313345 881006 456669 187427 492353 152721 852299 041221 916255 155408 704789 652670 376976 413483 784750 137487 819343 582607 180055 741490 709376 156972 237973 163671 311838 055639 111744 822646 699155 253609 695873 838900 944867 441234 810789 287160 989236 351754 283377 666132 497591 423211 970136 483412 513355 290359 251084 840896 770461 173366 967257 509893 172956 370064 133196 526721 079331 189463 184441 064454 421339 084210 576709 290183 308338 193279 543061 806925 354730 259182 229683 917730 793605 203252 226262 472709 282022 793008 220413 926871 837439 726174 909194 707613 732051 257808 300196 254710 813502 265897 798770 220538 883936 819511 521741 064580 608216 903876 896581 397373 714003 690910 569634 142828 955382 098755 782487 636158 822533 683869 782415 860179 016131 212728 240262 759713 902111 495950 028900 912132 075933 702551 095035 933724 538423 314613 093572 763169 200594 629982 290560 403199 735062 046172 318938 231269 050139 470374 591540 772023 123853 931046 439988 334861 724038 042479 130810 408512 719556 351434 348658 166813 005537 291227 556869 025683 886922 573813 531277 277903 235746 020169 747182 901852 796632 187664 548854 887803 632511 762452 495003 798990 044333 607002 870865 910652 761913 477088 117967 600905 017722 631965 199659 417815 996703 888571 030873 425478 424353 473813 958247 134139 115103 778177 135245 005331 254036 747496 697502 401646 321238 793426 391252 658589 717318 449100 556522 196889 831471 313638 621249 229081 574072 907898 156444 552705 573595 495701 145306 207380 467882 274230 575217 096883 947875 526873 145402 775091 977217 335652 239668 558194 298700 041843 689863 669347 870855 565256 575781 426873 413725 315778 423339 038542 106775 956406 506495 615082 635540 982193 186683 892141 586111 309023 522256 542027 566493 469818 639796 310662 685088 189190 703539 737250 781174 652981 535662 133502 670292 278054 928158 870044 684977 001437 400384 046441 203200 502614 044519 662280 007826 452004 244655 221918 950286 182721 232845 373157 152228 011159 916792 452341 217162 560632 152937 478826 308466 627180 582886 141316 526842 776316 152549 132590 839867 970759 170761 761843 182535 535899 349912 100899 425414 254519 717995 499176 548940 633354 951017 843761 303283 659298 472999 234915 478727 023843 208938 209198 736359 808060 648418 705459 248822 822738 794894 795329 157524 953041 106084 184397 027839 646215 133876 807962 844514 360967 866864 780451 301110 702151 188407 122762 194791 184973 454083 267461 273419 294622 478595 761061 573151 705098 547490 470271 853878 634865 905012 363224 327304 336222 895136 929415 092973 845385 454565 053992 837307 960922 754154 120241 756894 572012 642317 951857 703694 028163 648467 228700 839921 551464 635914 304175 750933 028359 847515 157402 940930 594486 217275 774429 010631 909389 715900 187845 608732 563677 093005 750088 696935 750466 543124 558737 755500 713317 787412 673493 376198 143923 248999 626952 814995 967473 347557 199270 011087 248838 943579 478864 662944 640258 051812 247180 053334 863753 059175 633689 082950 810324 362454 774387 729840 214638 963966 716896 912439 991925 084933 795510 114784 044989 738202 547268 162664 106998 613832 660437 441455 472795 759161 360406 262604 811201 465199 743100 857013 558729 120421 040177 682609 454694 769968 116134 598765 066176 730289 460536 048546 060699 080089 890754 799744 708142 513037 419125 271735 237983 651101 672639 897802 254363 817985 241042 608114 080900 503719 501438 505320 470095 025984 689572 906399 818927 469028 601856 867641 587577 220227 463639 477906 537023 622070 269571 646559 235553 732802 457605 389653 847804 008670 031368 643597 865640 701046 406093 333065 983379 127642 532977 786651 033366 510015 027661 611116 180566 681948 793019 361364 498468 247158 473034 805737 959013 807546 757733 035625 389822 762130 434208 856375 478219 147457 429912 501130 279868 122400 787778 973721 786350 134241 082679 951067 598140 780526 703789 466389 047484 656279 448642 433834 759028 999718 457299 218310 012724 708081 491168 309688 413539 123862 559497 548841 173905 264811 805801 410723 137583 906977 531616 905052 766479 687630 602854 671938 240726 470646 864408 303886 922315 960971 166307 263734 710041 999811 074145 978737 476061 936011 035695 843088 109382 707803 033827 615364 420416 461210 713511 485794 500955 868574 378882 485130 204043 207526 113423 743989 982878 903322 008025 843184 202572 046257 239310 337961 053890 354132 289196 033160 149681 994417 517082 589761 542873 901453 100270 566988 374423 320199 355449 016723 734974 052405 067806 699209 820484 391557 965696 671036 397447 578293 128630 658184 208462 231557 862318 686611 227106 536153 641945 131450 820587 178211 768633 669815 474015 677497 326871 280910 728932 152363 410119 474605 191758 163705 639027 821270 605527 655709 205254 822492 434519 776188 904578 030354 083206 468025 744352 872782 669880 333147 687653 706161 529963 085489 592868 539321 217285 610710 630530 418468 220319 296045 472483 176935 520915 181461 977296 139494 094185 532713 444629 519147 501225 551182 870641 974005 441027 590706 003475 316327 953796 671023 797438 446522 397938 719807 822673 171357 391380 491007 884014 789390 005137 794542 056049 458166 958177 708746 394959 913563 439249 257401 275114 745365 052987 588631 100241 697056 433440 033071 132674 361282 891799 695379 524185 904949 276056 643567 784507 486566 310104 179757 767971 725852 847205 417262 258063 752071 449200 995350 376276 187661 201281 846315 889591 109814 198216 558118 922803 527063 361053 143982 425371 674591 063142 367892 449947 024512 326594 502096 846863 062786 077867 985598 948825 834659 130400 936567 883121 629484 256511 847777 041524 602589 472697 741259 878928 583935 243872 513410 524274 166758 575180 032103 501144 112193 891966 126755 622031 109783 074711 773318 239724 596179 026934 379098 103646 508100 327850 824805 109596 594512 398032 830486 706964 704504 670865 661770 373848 783959 964352 964083 257358 481691 420611 546593 647907 871580 394642 107433 218030 019221 835731 373656 201861 487865 642935 451507 271251 616370 988816 471340 194493 768178 216040 537159 214745 260649 836538 698913 744859 193221 673402 283406 930195 177381 283818 098616 361183 132643 154329 034750 889270 915551 079328 738554 575866 322856 495014 697151 655507 416084 905214 620937 908765 856690 011132 766706 531070 385031 029059 951821 534244 616687 360932 915519 501434 460342 656862 642630 996450 566896 629606 817375 162374 954180 019450 416122 710659 217787 908620 247616 863763 935332 785198 029053 459646 147825 332520 214464 530399 658105 953142 141212 735505 626230 340350 045564 788664 857546 862143 169223 112989 601315 191570 158697 312293 428700 629465 106459 240108 067324 752822 883852 813591 903020 489357 409450 185812 083533 056774 151297 992215 830987 193414 083569 743142 368865 738444 574759 185733 282547 812153 242149 413588 253548 311253 005724 666804 202057 648413 400818 115689 257335 559881 133896 352368 940448 046721 279594 135539 952512 043403 766384 945122 966703 783583 957413 730723 323789 206680 335202 636129 203108 074093 820652 134902 977004 092000 430268 462792 021253 123587 893350 133367 143317 676698 246992 825566 058488 547697 114342 730634 997436 610439 878808 729496 224635 693077 886026 866905 945314 867674 902122 195720 060373 914105 586976 093585 455551 808018 985722 092765 682967 826167 545827 500106 977307 640371 424422 681616 150289 931433 250053 358016 341069 578887 282218 047716 415264 661779 999116 558960 056491 244241 969114 793302 483475 483465 826681 436231 478938 376221 203350 621854 517829 162581 983714 982573 272224 488413 433283 188103 056073 257095 663942 330029 237494 028023 484184 181940 351541 354284 649017 944756 091557 388041 079796 673247 334856 553622 850271 871653 189398 837552 114314 613110 680417 129982 753577 144455 116352 076972 864849 094217 626831 049819 811100 256573 867888 099896 972946 870916 679886 533227 354442 998651 404316 596980 263755 065032 787211 984007 995264 551332 533854 817540 606780 622820 108499 270872 717495 555183 699362 289153 655741 313425 091436 578149 751099 119835 835160 436825 650070 303471 168992 591402 198504 678634 440454 638596 398499 677818 515664 718707 850262 818366 276271 544504 974375 127270 672615 521927 045630 302074 582127 130383 942822 159611 591871 334152 314441 421830 109683 031358 272577 324520 278227 410841 703704 169093 780180 931309 906531 975448 860647 495451 671995 466838 547484 160736 928364 580197 887653 742748 532390 621696 288339 554984 086945 722105 614886 776346 962056 397630 685698 314571 844595 280307 921095 181135 113582 597785 145783 322988 433315 752271 425346 398598 065066 549045 862823 026889 759034 701401 299965 518251 807250 437805 971176 933610 111229 652972 860278 542066 980063 453907 370015 831909 837676 224774 779058 775634 112785 742836 927344 560318 831590 696969 930182 075842 982098 595496 312522 553678 891605 008517 359619 591681 650339 416570 193821 028484 805745 305286 955218 616536 090228 169148 049174 688079 433947 389441 993154 083103 665950 838674 037383 596971 433678 244258 593163 819911 316549 980608 706083 410414 655621 662094 301649 640368 339534 296349 715249 725788 003753 575433 446829 801643 307240 785443 817901 785159 355519 724112 670853 203687 326863 737350 223711 932785 942982 551753 215878 958152 588442 770483 788006 047898 623498 576000 362573 127003 206639 904804 663998 221264 855624 554204 718158 737980 511996 555220 598259 754169 187685 854688 552196 075052 234889 741221 135609 108603 263849 903463 551053 238094 563182 088358 732782 302249 101608 738309 568457 992294 306969 035849 528805 806977 640812 417688 479572 492479 454449 320094 804636 002890 219962 705413 142632 617584 049591 014753 233523 176064 321404 168846 993391 000441 785473 512675 705870 687616 461378 362006 975600 258910 235595 424523 200379 021550 930559 530744 373274 058446 009808 813873 766502 110872 211063 458739 631866 428850 056483 695241 791348 364585 289097 830609 039356 217037 484765 200386 577276 607400 483154 758981 666266 072351 795261 521358 404420 943652 798780 777035 724598 534143 458212 779889 617696 291501 096811 650786 492043 357109 456704 741792 999151 245999 932581 120784 703666 306973 795807 869839 587630 020764 333242 156115 839015 641640 728482 250721 046362 107523 740039 382289 473906 466590 292670 452971 209837 159662 909388 289705 964003 969859 574920 025513 387008 039899 770638 521002 591447 074629 181484 177930 752198 084847 048454 500510 250850 973768 342005 509665 962028 094760 984452 382479 849990 241682 657864 231685 358703 122587 127434 871157 223487 675042 974127 401166 244867 960210 599713 782942 825665 768080 077375 600295 452918 102518 933056 884766 925565 244036 973963 632077 462744 571898 210443 271973 625091 174086 016600 971858 807443 176978 945504 891416 741581 496605 481986 296676 369086 441984 444352 510093 545752 881412 848243 553929 877595 928363 081964 976558 305688 520974 680034 942161 119019 922015 888217 122346 120887 546407 183160 357897 606830 030547 331648 149786 597750 960230 608598 589499 453423 691176 446118 518634 734461 822258 164717 514388 845691 314717 749592 352120 912084 672246 275739 179561 588689 524454 454217 574391 253779 534442 582951 767325 005418 331039 436100 987799 682362 685994 134391 518615 048992 945214 160054 085755 679653 270530 220199 382460 982025 760974 363942 038649 355197 671488 045235 100174 907698 762430 739270 513202 205910 975049 383211 434003 015666 050165 347191 001558 128453 943330 163541 849480 915850 237893 390092 418217 211121 653784 255791 257102 701653 730141 868431 731327 829594 794930 713364 147700 686185 202306 008593 787943 289569 578637 264528 229022 861135 357324 559244 020522 065555 243280 286979 271904 227141 269551 793919 539799 658547 390818 610898 523529 441863 955015 781829 039699 142969 061060 511579 266973 945098 994883 862722 239572 070349 957501 505573 868601 472850 581566 412336 499793 433522 398780 016962 061114 207132 427096 067577 443002 408820 058546 128279 666434 592721 788444 054855 791796 904113 577561 607182 808037 261604 284467 358600 167130 395019 731751 836725 073966 616983 444895 854451 949565 595343 219797 456162 867937 759521 866835 261937 432040 667992 636615 938857 490091 052572 852139 529163 990068 276759 513249 028522 058858 020137 976225 114799 116705 078215 509011 842033 985474 876211 096705 434982 360126 509589 710488 530504 422228 025463 841740 812640 957546 796067 564187 897432 528974 475085 688357 956906 201504 366361 150146 697521 251332 412929 977668 297252 091372 293092 529506 000788 225962 290476 137720 232367 961800 316414 588102 373634 753389 633811 293387 829746 520501 251011 831533 526464 037324 771974 661454 886340 795492 466162 271498 487398 214231 182776 955707 771129 091308 825629 639682 712619 670439 825331 554592 079772 241266 607026 388848 974162 832587 304733 408377 318194 660441 003998 449393 495968 319314 707838 226735 374886 080669 109108 088513 286661 017580 984456 826228 268234 456116 675510 552788 160416 264805 119531 974362 958593 307134 377679 292362 815302 217958 174785 799357 174798 533651 255106 884052 049466 821300 679830 283853 964364 101829 356437 051531 213678 958100 809422 046482 686513 659235 724037 842247 910846 272110 097851 958926 824433 876739 724729 505433 195785 985549 854228 776690 456440 393002 616293 401866 798469 920370 453882 525613 604753 123044 235962 673234 022131 865731 384664 722110 454022 041417 672969 624714 885029 753854 215618 892016 311641 435199 435317 885719 959091 159142 102654 186142 442717 620191 008925 263307 036081 807168 572378 446987 383883 236660 623917 456613 393242 909023 890397 010254 274298 327136 134643 039361 355934 801306 113461 113911 913206 237718 911313 356787 655099 022841 085586 873195 382037 500733 576040 930862 895259 417120 840833 547370 077163 356809 169169 / 2641 > 8113285 [i]
- extracting embedded OOA [i] would yield OOA(8113285, 6644, S81, 2, 13204), 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.