Information on Result #1858286
There is no (94, 2984)-sequence in base 32, because net from sequence would yield (94, m, 2985)-net in base 32 for arbitrarily large m, but
- m-reduction [i] would yield (94, 5967, 2985)-net in base 32, but
- extracting embedded OOA [i] would yield OOA(325967, 2985, S32, 2, 5873), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 182 018453 552182 872725 102648 406813 626308 443640 710542 157726 761308 682659 835670 784907 307104 863043 870681 171384 037648 865375 545774 103932 418111 765840 715609 737302 492671 092576 533954 579912 450678 232032 792491 966717 101220 700974 459684 325623 586548 382415 059234 228965 110264 250254 613093 358152 286531 279020 678017 223410 108303 970451 509891 284312 611244 625476 990334 721681 863790 230532 947352 079687 401868 702033 870025 665582 095952 481494 391757 489189 787835 417843 728538 775561 007934 716471 712162 742763 057908 356457 677626 717091 823463 147286 690517 104524 523332 900689 408174 956472 170450 997991 686084 687461 526906 964445 120000 974058 921610 882030 043639 092789 577838 694644 494425 898165 346450 493926 297169 190934 911001 311692 041961 205147 335812 251807 239578 464974 668951 670696 144345 784040 006872 042159 425531 691046 991153 332146 538170 400932 656563 149038 655227 217412 985466 652924 580841 891824 944585 636645 035974 678464 067938 433493 572249 723179 077285 907595 268271 179495 301132 232724 096320 538655 659935 144451 777411 103269 968318 801423 579150 063543 511885 727057 623092 712294 723077 867830 096623 204968 926502 661598 797064 050069 176572 068377 887864 008937 406364 389380 038015 950223 976997 251407 164756 622877 119335 316920 874911 176093 953727 772792 757542 390424 289723 336930 740477 833920 792572 935230 588464 635491 843464 040319 927080 023847 614653 178479 536388 156728 324848 347093 648623 512242 251585 866069 831164 938434 563517 061838 079354 843643 147365 218798 774361 075692 431091 189644 863543 507230 262880 389740 879469 741773 196105 443550 338083 137138 978882 377013 564909 727409 330304 321148 846373 644276 609447 320349 629137 466090 731026 511333 706598 901132 845662 276471 131079 959191 187331 522270 655464 302356 256326 962926 695101 679943 184552 124224 123607 871446 846990 073915 464858 970157 408100 367652 569672 577105 609155 065973 738706 287757 057412 551653 667219 640279 246732 427485 627623 759084 348966 912044 930011 472598 529463 802117 305953 394095 338825 487248 236802 371202 522390 331859 494894 264065 150257 250503 396433 763188 189498 200107 386033 343033 379061 189704 480949 263086 395257 900243 227416 349037 865249 643684 976979 305155 773624 091660 449149 887543 777616 491633 548226 783301 199324 183027 173343 304525 210191 896672 583113 992249 597401 028377 165154 828151 556958 964095 162032 460913 169653 419890 261508 075967 761511 436574 915505 806115 928687 469985 889174 143755 831868 933904 235261 037528 857557 227160 309134 612059 097169 687357 638210 856182 009208 601719 619991 547204 059969 166719 619272 572494 692060 176499 292254 732392 952859 438264 967881 421248 076945 807898 786583 773940 634951 175486 237145 650251 387258 756956 370138 958811 084388 149085 135308 465620 537124 905722 608758 525600 353394 533038 703586 405148 951933 792505 415229 528637 092445 493001 489754 911646 559448 615713 112966 148425 235812 272725 895661 778339 452468 830322 165500 925076 789364 210032 686952 810681 846962 845546 427390 198105 581037 693641 793159 287876 441658 773983 817393 669882 229975 716681 227781 248252 077547 784901 471084 834101 066423 999954 586727 703591 093385 576256 997763 139793 666409 478025 172184 132442 965370 557826 109522 967661 853639 720784 328218 491404 854163 092167 185510 004067 591785 751251 788340 290927 839425 123677 569960 381096 547645 469701 751259 405005 938021 804068 772813 985708 214946 959886 886839 501500 153341 339423 103938 359224 776443 778060 218093 354301 008113 346040 928731 866661 509247 415055 131189 390703 457779 223083 738474 534522 484709 132384 526606 265337 207503 770064 236753 193448 626414 570405 350935 951384 121569 454809 793045 459516 922304 984232 253521 763235 536816 805803 695030 361379 443513 671502 543560 332696 840516 741403 481748 076786 170606 780374 971884 790859 977911 510355 362336 808278 585812 919848 400420 701744 942997 720072 604284 590538 904726 313346 535201 118756 394014 619263 761763 438455 951761 689348 413270 477973 764127 546634 313254 402744 912966 733067 915094 673944 448537 136670 147367 618644 459113 273419 856239 710472 591096 464985 839512 009450 791329 771964 460508 056513 371181 348486 484277 288768 453730 537168 429508 483913 869815 206245 640669 835367 478604 381677 074827 033140 939528 954597 424413 070722 593640 748278 818417 668275 805717 722390 591600 649960 450617 513031 855003 207003 042978 900279 988981 225453 907600 779693 297682 974305 036799 665399 203475 296289 109822 372726 756826 100224 879242 516359 663462 439875 306855 589558 152896 961587 014084 445506 545990 563717 253300 713598 611501 477352 920604 179582 801043 638816 061401 011945 021224 827778 273216 100219 690425 549509 528860 156573 155553 235355 553040 056022 746994 696135 853902 784511 545742 990033 340795 184784 893969 869297 343555 965142 157662 079319 303084 090120 128882 234612 378942 235182 687032 738556 071469 681408 820761 182076 080017 792687 780518 326907 451613 400421 055098 678848 151915 249919 863925 757454 190114 956103 482021 999099 547941 268435 685121 919967 348670 272352 259114 908046 963343 935353 243850 357029 350638 997457 884391 438220 650441 300587 240410 865572 542156 861129 742835 100594 492807 612128 526981 653963 271095 276012 841991 265658 555259 572060 537566 136726 056213 890652 073802 352390 354690 628061 882215 020536 085844 104363 351378 527664 132293 086757 377564 969809 283632 107895 482497 425742 512729 367473 555465 217447 963071 959361 619015 879985 686612 453294 188490 360624 612832 370461 118781 690096 139044 796717 139945 155451 354540 741652 892606 762587 490156 442229 562735 230151 878105 368306 998024 890429 091633 824095 590331 700563 232017 529266 066556 923223 942749 497824 465154 835601 457408 740048 354565 019048 564626 577218 002939 769419 220512 299302 839415 776697 925310 913243 328603 827696 150228 020167 177229 157762 215231 512986 098941 234091 895577 575456 863595 268002 667840 746363 115190 995535 576719 051920 602098 799084 302576 003937 592563 568222 483813 620267 429436 504492 393743 260483 807848 001235 574029 927302 836185 428038 757008 019979 285126 018466 376728 535914 581265 498932 769423 688715 870573 783909 168946 860366 789897 556357 410598 176993 331230 872629 588323 731429 712033 128672 404524 707283 012525 918330 639764 657574 882168 041810 798725 871161 991070 506455 487714 362110 938622 490347 864454 412701 957569 319192 737796 453897 672277 095028 158684 273934 890235 853442 679715 995484 501827 207987 125012 839552 135984 793387 877796 699572 866699 620778 526442 591419 107415 159777 192791 063087 034863 398323 584151 484344 572822 473003 759262 486572 146728 629828 242217 512128 396342 408920 541940 892556 010169 184209 766343 061617 445154 344503 549847 274642 022085 559161 529797 528511 770965 312532 237622 606561 244404 112812 768920 198014 982178 097378 840681 252708 653959 561460 349105 819781 562788 798404 954129 858474 553852 594695 419468 306118 827314 180289 813064 145766 459051 841479 066349 997499 533569 892347 750673 204586 100404 103868 962697 791462 338388 549694 913513 798181 432853 121992 936733 224850 802543 713653 369373 241550 525689 511631 182546 136325 523136 472368 392898 683920 350317 077464 028728 339156 150947 304956 589744 031634 409408 103355 721971 636223 745635 783896 372745 237447 772895 808556 601285 869763 944617 911062 213785 486026 378581 998718 073866 553995 071013 479785 556273 699418 991032 334940 700081 117540 399611 109706 537202 340678 660455 528936 658199 266638 724346 059802 301769 402107 154740 919591 001828 335460 837897 052446 338373 506960 937760 383403 893050 981893 997650 987094 691762 244056 809232 709140 455506 550559 890735 759704 047026 321792 380800 739367 832118 568355 489804 182901 610234 826932 320287 911154 006787 183089 756734 926987 072838 185100 397358 553628 812695 773107 368676 999010 976461 230237 282390 846546 741484 967172 462098 137316 689593 827833 764878 935686 878396 524241 544170 087256 527623 365321 482786 086912 142379 850874 232575 077072 768579 320505 145712 648330 709820 916824 354893 512942 894746 390070 322487 554846 188716 544110 983729 354886 075753 074164 069795 479526 438276 386037 341206 994643 570757 785173 178443 329112 748257 226634 783081 978239 383202 891078 330935 698331 245724 197796 051621 453660 599933 469055 714240 847704 875088 177539 571302 101878 316726 732512 446656 793534 220817 701136 508189 851052 221308 840506 900061 907862 497835 804355 586554 463913 281447 496855 749282 218994 152242 210460 163743 068452 058043 669623 742269 026767 526259 169561 012685 172449 478051 024751 011577 824817 863232 953862 336208 480092 136256 063048 245564 643469 074473 690707 028103 684662 591904 614303 220201 375320 665559 642877 848968 034958 218525 990427 942703 181275 393592 011516 621671 766640 274454 065889 351641 177144 996442 656790 563571 030423 594325 435626 771357 455627 199761 777141 719601 789807 733311 809288 670940 211201 869493 792892 209557 106334 216287 522079 272602 567186 238117 683681 195552 379773 743037 738730 517029 691063 809134 696614 717742 187123 694655 034780 643055 628340 941543 534181 813746 564323 177996 539442 914868 787648 042022 089073 810125 294692 320538 392105 703270 017065 431588 417278 979983 612290 330208 895151 359325 461947 478488 441649 074728 555197 766189 788137 247194 705534 783835 133457 363734 759601 123470 442322 936187 717514 999394 996599 301546 299840 004366 680575 771886 717198 637682 107357 684795 521278 753941 597523 868254 223832 399564 747361 674348 144683 996434 110514 345903 832843 206559 954929 407893 136945 394469 017036 097718 117019 819714 394825 307652 616243 999903 304089 318641 040480 177866 738968 781508 699417 791726 712928 957525 557507 398659 352378 210461 430837 772692 654687 031728 475841 781466 488687 377913 997751 713501 793248 620541 500844 089580 250326 282967 962591 908211 705500 420471 356369 175298 462633 299487 641060 173984 486166 658182 990230 224656 907629 193823 705392 323111 000542 250343 149411 983617 317483 418174 717671 665578 222650 132566 926607 440386 651397 094598 261003 011426 812262 212851 537322 435549 627729 620265 702023 240942 836419 542507 805414 847147 289542 619421 873183 209618 105270 038881 990158 326823 896385 318627 629614 780721 834373 486478 780878 626217 756527 317759 880734 772029 892195 991636 090110 583148 362386 269539 223833 058579 975299 499605 098496 / 979 > 325967 [i]
- extracting embedded OOA [i] would yield OOA(325967, 2985, S32, 2, 5873), but
Mode: Bound.
Optimality
Show details for fixed m and s, m and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
The following results depend on this result:
| Result | This result only | Method | ||
|---|---|---|---|---|
| 1 | No (94, 2984)-sequence in base 32 (for arbitrarily large k) | [i] | Logical Equivalence (for Sequences) | |
| 2 | No (94, m, 2984)-net in base 32 with m > ∞ | [i] | ||
| 3 | No digital (94, 2984)-sequence over F32 (for arbitrarily large k) | [i] | ||
| 4 | No digital (94, m, 2984)-net over F32 with m > ∞ | [i] | ||