Information on Result #1882246
There is no digital (73, 73+k, 6003)-net over F81 for arbitrarily large k, because logical equivalence would yield (73, m, 6003)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (73, 12003, 6003)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8112003, 6003, S81, 2, 11930), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 1621 964987 100214 518559 326299 646640 009269 365259 526612 011787 279753 380577 237362 195864 887937 704521 632180 262187 995480 781201 881512 660840 390221 109295 085290 271550 716030 917744 284660 344592 140645 203088 668699 772403 552079 982451 391098 673939 349086 532904 842622 199591 375925 807183 527028 089696 073048 317963 417720 545675 459813 757862 595774 312378 771581 459884 337477 676751 575714 604637 423887 905837 588235 176131 644414 882039 281013 758251 662707 609782 889792 811393 200404 206801 799286 161599 645536 442432 501840 855060 728994 363180 788345 134635 576968 059260 619060 823812 464619 036586 640754 895086 470055 828765 238429 238333 020651 963030 819837 299052 004975 618667 247950 196109 587099 618176 109316 865525 140415 280856 976526 723696 291759 755822 652946 747702 378783 832295 233847 178524 758509 191184 282535 993928 225779 244802 066644 042545 326524 878115 841582 710006 841127 007153 233481 285058 787171 358208 384430 943393 962604 679722 297468 292804 826729 654965 945852 481350 193695 521731 743201 510485 700988 375638 687221 782058 801324 923368 990806 222029 848900 290803 998233 968542 066966 226907 197512 047051 098156 536129 247329 825966 278637 306578 030020 861182 905027 366119 927714 763429 266151 035182 167268 720572 072974 238864 147548 740782 661330 162811 397822 310355 138508 116977 872935 464767 768401 345409 241138 174414 959516 116103 585112 109854 859824 738781 946384 082352 709245 434304 598262 994395 235166 249687 428204 973063 870168 257104 077778 189245 664657 538330 981665 897091 077204 578957 504042 530691 905648 537657 818538 535095 911773 704062 161239 349177 195195 426346 272507 140502 094977 082855 608302 352441 259190 684614 376180 814420 040171 915910 751688 145741 203943 559410 720044 804758 551328 365307 383257 409585 347716 777813 071346 204928 145942 309043 878457 935492 935810 472611 809560 682159 717318 010445 828940 906014 310417 985265 262503 104477 304239 265874 942421 445944 345037 546659 201188 847921 737452 098274 650946 928006 894013 927173 608339 841601 899020 508550 571952 472899 307199 112313 149520 437482 626545 363658 915226 530815 620655 574450 992307 946174 000337 318238 441741 894309 216658 702093 113820 869296 178967 303786 705661 295067 381293 923024 082716 563652 230923 977323 648792 530050 485716 734121 838088 206241 161987 499540 466841 251256 700153 779369 134967 566852 184712 356554 542361 027489 388204 661473 192458 594335 378170 692982 177434 737768 151507 507096 175229 306266 638799 472804 225767 955913 768907 392852 709628 875150 049932 567650 388747 178728 877487 297527 572172 515204 838996 520693 965361 199747 980198 311416 387235 982787 185330 757032 180069 899213 661479 188220 253639 078108 582355 554934 734736 314347 838638 438928 510412 676975 275663 047249 428462 239594 490101 393847 027050 061851 636921 497017 673512 212944 819712 942807 830849 132289 366770 261573 819243 627903 201610 537674 685242 678939 848485 727060 532998 173407 221662 724183 089673 892580 598943 686204 877561 357477 645380 252121 359402 461916 282216 656817 942428 666894 803998 216835 285444 902154 967050 875722 898126 444927 082240 143897 146172 049419 980867 393524 541428 377393 853268 684195 931300 898951 457374 164521 855177 164264 699375 684919 963858 445532 441843 505321 478468 522979 231270 400108 242617 957334 750818 266425 066261 102469 214680 740540 735260 408428 602271 285820 824996 016327 887987 572119 704772 045723 560966 756344 380580 993235 882130 098531 187864 587130 774149 651367 276075 170394 669085 850837 062106 915125 287852 636513 379422 588795 328079 867032 439555 640439 611686 351271 007350 849497 615159 975540 745118 744370 954007 284884 003114 613246 474451 237951 506661 827667 581827 890095 654040 840724 685090 598931 716880 904101 976902 486608 521461 276276 384973 393950 184135 278799 332124 651323 464671 954192 675487 782703 930766 887370 175502 462310 457920 034404 087741 522922 037358 102078 569429 565748 824951 302401 282838 334796 871125 199352 118110 932843 380620 757322 011157 518138 698195 162785 542367 203435 517250 207873 052480 560274 992188 889775 368271 110772 157211 071113 120181 446785 141348 672600 524263 387880 755510 646111 095495 940988 828849 139956 001148 390520 577788 644070 201516 901516 155497 061864 800839 553448 810529 798236 637739 807341 680241 091757 089293 842249 077195 581324 152487 305802 899435 975688 023123 727611 899854 722510 787663 835504 156078 806995 209383 594922 795364 069847 295217 479566 429343 734069 977634 940086 702043 621477 528496 251953 579943 662110 644626 466921 905708 878825 185364 032094 457313 371685 665823 914614 339720 364096 320165 555026 155566 555054 607446 980200 480771 652710 909844 017872 671671 938465 899015 141467 282767 662687 147913 703274 887360 295837 664540 274719 632654 497485 442390 106621 302618 841463 555283 364344 850055 987752 462601 312303 375968 615754 771670 474269 838557 518965 747754 591266 869516 461099 276695 384796 385831 152633 001529 124961 788836 507134 709410 863386 951133 276052 688582 099937 513699 860335 975567 766136 222520 346616 765918 681612 555886 934234 198615 547348 639681 739434 303665 300562 543065 992849 288914 452294 781617 064254 463723 489481 237423 027099 410060 865446 597994 903195 559051 370147 582165 569371 982183 137810 606160 361149 900150 575388 715169 097826 051609 215248 141194 027321 129512 286330 469478 403700 014334 059085 281265 735857 727170 513371 182546 850643 219568 186145 472935 388296 689152 404537 968720 456646 527426 491875 157400 990333 416710 446870 257380 371588 189468 867936 126680 159983 383349 834481 723232 426034 025419 936223 657833 850930 892584 771872 711491 335072 649120 777199 065593 097875 246535 885961 339824 209318 867452 497963 856175 128965 694738 826354 104402 087679 746857 223036 535331 356052 710124 806431 627529 746784 750589 889455 958743 191025 800778 202280 460227 926095 124273 924500 502289 215708 443396 147916 914515 480609 692733 684748 713115 888580 539729 507757 743567 870889 584760 160592 002598 148447 386650 293102 298997 731216 192252 588223 206668 940992 860912 740544 492833 723669 456636 893385 024645 576808 689192 349657 904112 150671 441648 913271 854611 762650 495221 062033 017957 333929 577377 816885 094124 361952 442066 335559 050961 854584 109968 526986 280574 690250 443670 756507 566328 983222 796430 768487 025906 557208 416310 581071 953982 269259 946519 100095 694433 381701 040906 592468 454312 904224 250819 351551 772651 794959 889359 104494 566007 337719 136842 998570 619515 654969 170949 351754 762754 572826 382991 915308 958889 074830 643998 550698 572639 719060 534476 815183 599709 663702 070997 133197 431953 875627 626904 775525 113820 441071 462310 851509 596831 762113 675158 226875 233315 621989 787498 452816 630207 634980 147261 702096 376428 248457 460631 998161 564254 467060 402836 018250 459004 588934 762640 888868 934929 246753 342823 843166 917827 202113 439871 545047 800891 697494 571037 598334 666788 087304 851249 636467 869142 715859 102438 302782 521973 647032 771855 395152 118950 141237 773973 479214 850244 753974 285385 723449 084098 587039 579324 153040 193771 726026 008615 299115 499470 645733 846413 517935 634163 919164 857187 060040 888524 860567 867988 679907 202263 144281 709766 815902 544857 328121 715803 915566 817026 088975 833140 981069 185986 055279 160999 210465 304201 663816 944310 312260 043101 457286 409042 209579 125884 604872 630847 606657 854095 486018 192671 898128 203837 024590 622090 168334 777898 370700 119490 261984 794115 492936 345256 321279 688404 877524 727446 567654 076936 482661 604414 548580 329959 934412 116482 194251 385959 990984 981214 364804 024099 881776 907392 704173 563952 330431 316064 403015 177325 223872 773862 507344 132772 532270 349719 759937 598130 636031 673498 067479 882151 380627 946472 618451 315603 619654 718272 850174 020338 398359 258807 621915 780295 209176 679175 445963 931943 875106 000475 787973 010458 202727 819024 829171 259481 078442 852569 068940 830338 268510 109546 203124 680637 752386 748546 231403 251289 097657 447240 346364 981462 003406 484621 658920 742781 579962 204225 276697 226158 135700 394026 390882 291928 060771 378736 325572 425452 640699 152155 578608 668654 129484 628351 412025 587775 397773 517050 616637 022199 280829 757718 893898 032958 791525 582453 195924 530655 872814 424236 157819 346812 777210 567726 004260 342373 273689 614719 911226 673432 323351 191974 878910 604426 722356 960469 118118 041426 194327 453538 972595 476213 128856 871944 461645 585535 269657 597506 656945 430259 707537 053823 529044 198295 755522 489149 341807 847241 259633 963859 554042 409120 826693 748620 578213 332862 861493 324829 199618 771125 913783 039168 916623 519033 331459 431975 670103 377813 619536 301156 406940 818904 055820 157379 316771 670983 526193 095985 827618 120370 587806 870400 801462 549038 558040 966073 109628 744835 163768 936104 950305 232920 507142 085066 574866 018282 277735 217964 593495 434564 903769 006358 683389 109859 224324 017758 205109 705993 896724 997480 547567 504065 118137 139465 782422 830738 328928 390865 232514 035793 130967 253089 818948 659552 632053 919968 836044 808207 697192 838379 167628 675685 252892 337035 017978 992888 892843 269527 885528 856914 878975 297467 618828 065229 412935 391911 515518 421528 809196 363880 554468 991289 044850 679735 733250 081979 312572 536705 190844 231865 900425 878384 713077 478084 637666 847188 117395 902468 556669 352681 263132 996830 384887 112609 921581 512977 318420 367352 063463 291381 017600 464911 071535 157458 951242 869209 554643 685719 541900 610957 298501 335186 178709 057746 715055 727323 385425 038792 288366 893269 231343 940772 401121 180654 732430 796317 145867 779783 822634 863986 968614 958795 728695 746895 705968 190314 014898 107310 214834 997104 744679 914730 128199 095260 040334 122466 396109 424866 724426 991023 662673 926475 383106 135300 060206 788920 619546 451319 637552 009939 179203 615689 127643 439833 584133 034493 808897 343978 563418 688187 583257 260171 689912 481868 837321 748750 792568 554815 271263 966778 107543 990844 509743 230200 116246 763324 734321 352822 419650 802604 859638 837817 121026 582083 495406 353026 002502 415998 130515 647261 344049 804319 485726 531059 964141 168183 239180 343566 245548 707984 387933 838008 390016 507679 025278 577678 296163 737543 422019 417404 964465 543941 335532 631026 149403 537154 355682 589628 638838 303837 612014 379809 462783 307157 769423 328513 731295 705930 893401 575049 397208 775824 280242 110784 745209 975566 562204 591920 433923 206490 043887 284692 283710 655557 985851 695970 585675 740521 154319 318198 126992 510206 226719 799911 154178 126868 738522 064007 158360 877671 715688 069206 751531 844898 220437 744950 052939 494631 949774 997973 697556 570501 862676 787187 872762 059166 699386 354070 679619 827932 284869 147576 774489 011694 767337 808018 639681 434147 799897 576222 006138 005155 132308 435471 359868 670422 432993 756370 666652 646655 252641 841663 851559 745743 418120 341871 026122 799381 029462 230958 167220 206732 771569 718578 172485 472081 799389 134402 379839 897906 153506 864197 102656 507461 802973 243261 383870 073654 011869 111917 014858 764485 107973 399352 309324 716602 972535 571324 174422 406462 270132 253097 482068 269159 908699 001580 475257 558724 729471 905516 148205 291524 559536 968496 262142 679527 056673 040764 198870 993601 128094 438936 256948 599366 401626 623435 967840 163655 409009 594027 952098 123749 340617 441743 232674 131330 137727 303241 454054 994404 622060 156216 936213 102499 234575 946268 910727 755593 547145 589488 844020 186570 048483 996336 087662 025065 624873 620530 112008 885476 257892 096088 048360 223023 454287 612298 644547 913700 538122 388492 825996 253641 889472 426649 926070 488611 712135 670909 345343 177252 984276 616611 137025 402421 824803 158468 591955 646415 250959 609519 066100 262404 877243 186144 099312 610612 100301 178485 690303 854935 222113 147166 439422 597020 787247 172345 312898 244911 990678 069357 968131 207210 710575 882961 422793 332380 770533 228163 874375 874039 937042 205232 257482 917211 514814 410851 527439 383235 268284 959560 962512 519725 267741 285724 905992 190833 485641 079112 876401 842247 279570 785284 089208 853464 311843 650063 746208 442401 129924 061517 212760 713137 925515 436433 175699 802690 894394 692929 065115 386023 736765 944829 841072 438538 070127 956772 347944 081101 268578 397337 852298 338498 308826 648669 493955 000968 765028 879202 308904 789449 264254 906925 086758 688155 435640 078173 238195 682039 965995 273779 895314 054251 054497 682164 574738 067684 640656 253412 520458 042470 573221 870650 985318 986934 994834 054798 942924 283403 017268 918411 729868 111281 045634 978559 935999 493017 135813 417324 438108 668154 769820 139601 842905 433084 814812 059266 335606 701283 171462 369688 643028 540461 389139 052471 465245 936049 627106 363012 441163 765885 317827 121031 950684 295077 851571 642073 039758 755545 844014 644341 231875 391224 833306 084637 983852 717532 383366 950371 808332 142269 748488 505411 672529 639167 705335 829147 370477 960865 961113 635465 479264 868648 802287 572934 523840 636806 888437 857695 289565 847340 380900 922493 202265 629519 553473 039145 583029 488568 787928 126554 210589 605713 679008 322143 479511 831606 079392 962956 718219 775431 830885 647505 222825 386687 602944 965721 604423 930908 603487 864217 519519 498151 955619 208046 203890 719518 243992 220975 380197 357450 340192 541085 741145 055832 051257 872916 110557 717129 936941 863429 348481 940832 039406 874172 516469 003738 567060 805948 258904 126988 476063 405120 866928 392958 293790 983885 592825 285025 213278 901778 447583 313309 523281 086688 166945 536701 227951 061137 261800 684731 902767 455641 288235 669245 167291 457343 221418 787842 871533 865395 779946 628285 373575 104294 139751 751014 918244 383379 253851 425017 187778 212426 005957 921322 173398 901063 818974 888220 434948 494230 722144 516941 899993 620618 296788 169736 748897 469224 108862 628161 797851 316176 113282 232623 126349 470778 497188 864344 037055 093500 764472 896057 858763 475387 144422 470767 624983 210832 121751 320835 715864 353452 880368 803853 562335 624683 955784 739119 066024 709394 540592 135041 967641 697966 013774 046378 724277 866207 844054 033612 938773 339812 512629 178590 103528 737620 480374 633683 753953 646489 699227 720509 564595 466876 600132 717805 209044 161929 034742 787695 360321 761381 488945 701670 641857 824201 034210 483423 415715 353046 839761 763140 510411 029686 336198 521395 503121 056703 954545 354830 084410 233162 237190 230403 756292 795786 187469 126830 848430 408245 574587 725054 304746 760281 612676 497613 824978 043076 397014 616982 361072 377703 680224 335163 531668 257841 248769 696708 538988 148869 608338 852418 222094 334909 105788 976654 138818 549766 912448 064505 571559 476817 412702 466289 646648 130160 314749 962858 599112 625985 857821 122767 939504 145450 474549 403250 776073 809539 563266 174380 338292 917001 545196 979329 424014 542928 382092 635774 853460 449002 746825 705508 271400 483890 829848 453276 654798 624342 649285 445532 923440 816830 475535 553433 066700 149091 637987 467756 585763 738255 332002 037925 730253 894373 578412 052947 134461 021966 567799 583829 022358 278912 886030 069080 864315 015127 196873 004347 991716 622609 276380 976216 442466 740053 730043 424260 155083 579477 422463 671422 644149 123561 548449 220765 542126 817049 087012 527976 147664 377291 385055 352341 136620 473754 248876 866542 970592 348245 224262 989065 308799 458818 244732 542075 338021 514080 521678 557382 260991 278545 698425 478263 199127 511796 427158 285761 258270 785240 280993 578107 752704 111812 810009 128879 043344 991964 263367 260084 193427 658943 228846 917218 452908 553767 700153 894687 096334 363774 278806 710961 520346 873381 224540 442808 194137 517070 376681 515604 367103 534773 218250 018190 815532 651969 717108 356885 562204 391916 450615 362190 591845 372833 352278 930928 003527 304990 734330 866586 145423 603432 304227 465995 302259 303687 599950 425922 753470 751658 119428 813749 512437 391522 188922 214428 646950 748642 978648 819385 290899 466555 550748 070646 443091 799006 200006 370388 773187 642608 989765 674141 972321 143923 467372 622286 047055 925782 177878 975074 021268 362938 540203 147069 930696 487684 759657 452944 358991 404200 736674 886827 109470 608643 625058 242152 233651 725854 171644 019503 829391 351447 971868 321120 781316 059390 519100 607456 918196 890799 189241 434218 627634 878007 377549 272567 528210 028158 246511 295406 191687 069481 216188 088744 557547 181472 733910 888452 853147 991193 332807 915953 130760 105551 709705 843763 746947 481543 281724 904942 939222 054325 960253 067119 468650 923924 507152 116251 778459 392231 841024 346752 198230 076541 018213 338691 499598 210871 110423 588305 164169 202293 962922 844176 844304 639867 701500 516047 917466 617458 413483 565060 377019 959860 793157 937915 583480 239421 222432 578137 273153 203050 867815 361224 419817 217257 549373 425352 444487 337397 264798 081880 997072 054242 504499 703224 830954 217166 160372 016673 271397 481184 925515 004602 780455 954015 556938 934583 306940 335371 579636 251672 435478 985807 239141 849050 808245 740831 190054 556582 941392 928166 365693 787651 591401 093562 367705 769379 656981 112541 266571 223351 662944 245705 896297 023854 479370 563253 818819 529708 667932 386641 776890 642642 828302 680881 938575 055128 809053 993667 984566 077736 588452 832451 714686 405866 389861 105453 026002 517947 176565 676719 871616 963277 538886 349857 130654 540612 551319 534222 873664 758472 572874 637779 946389 985870 614074 845179 086967 027254 390708 979277 335496 463750 256944 539626 621648 540893 900330 215999 822300 658710 345457 243594 543321 426902 859223 494145 038985 740725 449919 245158 250583 072884 262369 586308 782870 339030 115188 547603 710825 416356 437029 241058 543936 421321 112398 033363 346908 155398 844453 572892 260281 724099 075695 032361 163462 605834 430797 065684 877297 146618 500988 038132 063715 962852 413370 203770 988284 736193 660437 480570 904045 006343 490818 601860 404303 809639 723340 464623 607914 979244 906104 954157 164465 729132 532661 293079 381010 700025 178672 866007 558599 602640 737040 948455 207491 219877 390556 159670 778077 456634 193409 305821 267256 852667 090560 672971 499018 694198 849485 996394 444634 120223 388329 408914 974273 009332 763055 308708 430652 488530 825500 042985 756218 976357 612678 205546 396831 392593 893556 968896 797054 192637 693697 821849 433530 014583 729940 740695 691547 028858 804854 926986 968859 415209 945977 119090 941853 133289 758029 463946 297960 242254 203609 489469 721766 947915 533914 415633 393318 051175 205217 812239 757751 182608 515569 477610 022609 826694 129670 585968 355818 193118 456434 580562 890360 069598 376188 609471 193473 785790 626768 021527 136613 277377 199551 362076 849905 206634 621724 281540 080918 890044 052287 513144 697428 300676 290027 705960 858266 882956 357547 892923 450462 151067 176701 261924 853519 580442 713124 450906 124976 622009 369096 845899 184593 862192 011309 586122 723004 004619 718109 492987 265038 781345 235436 048257 869717 070939 687008 674503 742837 991891 967421 738741 293578 399836 809553 598915 182795 964583 900194 725171 982540 378503 443353 593248 942878 878643 397823 019340 547273 296080 875212 441173 031349 557432 242069 439173 858268 638432 187988 480282 115037 728322 866933 531650 485315 403285 124123 025998 194714 821354 046747 697967 996073 401943 880646 833441 250120 505440 172215 199622 894964 181627 896300 731352 078298 400990 312367 679985 963992 160624 459640 466183 301787 515099 241461 303665 453615 475314 760077 588251 796194 580464 463460 261129 141779 792370 799215 554187 754364 376795 366397 059395 313972 489748 406490 135157 466712 787743 946295 019181 767450 915409 103116 934942 465974 138004 274030 774940 322579 789773 470455 091005 193956 151907 579828 324187 720830 879724 971851 260701 892784 777937 688205 428458 639245 882667 343664 238690 798330 703545 910163 249168 918824 176912 571614 713599 981174 803973 238716 427022 368847 522937 140050 204863 198728 269149 210673 073605 855380 307339 214671 101805 114210 984412 364512 879358 202997 495439 427620 854943 229680 673616 044251 063009 687067 068662 157236 313185 809776 275144 087140 478863 337776 326885 702442 570536 071089 086501 797859 222829 626840 367861 157429 997120 991877 253850 159007 953779 104989 611604 344002 239605 407798 000631 330558 420111 300596 723637 672054 640675 881419 628604 625801 198354 311418 822587 156414 982353 714833 251726 852507 914237 806187 756393 073191 933406 059558 530934 096541 510134 754482 029987 396727 101428 775436 836315 135125 085966 259512 716945 097403 391250 217669 882726 461173 245708 325997 968581 680594 610563 793542 593664 569167 441012 052264 996041 271416 338936 186732 220731 148799 637712 527055 671901 424949 240574 505299 977642 456802 812882 037699 071871 960894 827731 267220 205353 758501 469645 172216 129268 235704 931362 014204 006772 239505 806794 752834 789250 902132 242129 360323 841920 333890 858605 535181 443417 437142 880760 380464 814264 736878 233517 652348 114873 144301 405908 986411 573124 701027 498462 798073 854222 565862 648993 793650 478206 323520 271437 378962 023605 145917 693497 165083 555654 587946 158216 411097 328931 256328 000472 756425 761056 084800 044541 866895 584960 800713 152594 181077 921834 406063 614766 893138 023389 008535 083090 556939 315372 581572 345924 983932 451575 307502 968368 101137 974223 068148 533119 622511 250946 588494 704419 038786 399369 665835 928959 652692 062867 369662 419691 677577 983632 220075 370630 961159 079526 803264 855467 533121 187255 852603 742880 470484 601414 965351 415832 725073 352159 978701 707635 785281 306243 479817 090514 696915 421110 773346 456710 161463 611237 334437 340402 747193 933957 580353 173286 737967 559691 948913 713959 109295 657952 193343 786666 478099 930690 433136 408530 585212 895490 094952 368702 236575 865569 007165 473383 375727 561343 704091 818750 699750 849171 397736 709682 006768 728876 478579 420675 025513 153096 003718 651137 053226 997434 597140 118962 402144 469180 958574 883374 409337 382140 483181 764013 908941 003540 831298 185562 673137 461941 025652 035546 541651 247526 099005 051630 062008 046661 006243 592609 715463 343687 825685 505379 605372 602478 167681 136352 364911 712849 439256 653547 791845 639573 855526 350405 546725 058872 917402 484045 890309 356132 828549 793528 706285 099925 182359 439896 628003 262636 699323 118625 159817 523998 075577 822435 610356 721513 212019 788020 815760 219422 382487 060702 066335 627887 357615 198143 665778 774223 864986 129018 519450 273915 105096 022812 712071 183624 084816 526449 395603 241338 690297 136276 299525 545266 368486 532322 541261 690496 403066 892810 711683 274478 696291 177284 149560 240069 298314 501440 551801 204195 228859 634313 071862 173528 439274 780195 644581 159161 266265 408516 793794 107557 300378 856441 143810 144126 340726 999299 322692 978156 553506 127910 418695 147817 184554 172105 228814 392118 637785 286804 524595 536613 057997 293738 294471 920167 653272 475440 348550 582555 713237 136518 019622 648826 825611 419803 205516 609300 657031 442680 574186 488020 404117 134491 317166 517237 807205 529026 351512 312987 017522 699043 535715 678684 670131 631333 302164 732255 417880 086528 025859 703950 622652 901034 088256 338303 401555 647651 528573 127242 889817 545164 102465 902198 340461 242910 500337 418443 707556 261761 496042 136166 845927 717763 003335 642400 627740 376811 014034 941762 679290 970987 321314 485143 450754 378155 390322 326869 966011 659331 077709 007389 014776 575286 009729 186004 954402 595225 458941 067941 549891 652764 986288 843390 838218 801620 718694 098696 588103 947563 718760 878400 716073 144732 012892 583930 066805 599471 668845 295118 711610 051633 030090 704576 781181 657206 495070 397319 953470 540374 971303 549911 993807 530472 815953 930281 940665 162178 673255 467405 684714 493477 351214 194971 122916 681641 008090 534932 041909 523735 107723 980967 345617 230365 270212 544503 949328 901082 917942 640659 113680 599595 448797 962243 668494 587949 192116 086027 499173 449018 377089 391582 758724 622662 593272 070716 919865 358027 636296 910242 734032 354491 113933 698999 131297 816154 876575 281705 160155 886588 369062 907878 208215 445801 545696 283165 718473 652490 415801 263072 736402 043550 132456 623047 530164 240083 157965 413832 258469 864885 887511 761685 858053 393944 346630 298701 366487 379416 373406 051682 822047 075286 207407 245855 008711 503899 198957 609069 393684 857024 787550 900999 259449 996839 967582 872472 858888 127819 880950 203899 389034 772404 176518 731798 662809 954005 785673 869414 863376 803284 833132 288323 024369 974415 090171 578405 218918 136411 141107 089132 346028 283412 442843 808782 762850 834675 743275 244104 520735 940069 210527 342020 888985 843005 936918 735540 355865 769426 125387 242832 712038 605430 747711 099353 387019 179721 824808 607203 000216 425219 364620 677832 311895 389013 187703 083135 859381 251327 102613 299736 244264 460972 864414 894698 646477 497088 953279 562144 768754 582838 218146 350840 033178 578128 292161 503499 323655 537897 397406 090087 686622 036335 710294 919032 780559 331989 156963 900456 022379 949973 051145 137479 926326 588107 915355 913179 271894 100295 176647 678018 310048 125347 364232 535738 517899 013319 041506 163902 298906 458435 895780 962980 355876 430515 164677 272671 339318 844656 119133 797983 928006 393360 390046 742937 119562 938715 708401 528885 022741 737577 642661 193460 399534 488698 702190 491031 064077 404845 047215 924409 861887 862745 540732 340698 197244 174410 637557 293031 144917 851438 329090 246273 578337 601265 912474 262667 947043 618561 476506 316613 043776 465369 598668 352108 574166 554619 797146 922927 394099 641941 260712 860533 345608 252435 963123 846087 377055 893502 018709 328371 630497 100241 013217 720738 399881 858715 676419 180592 426234 802123 493137 327264 823442 130834 885272 483475 401924 357787 485702 307576 191614 599756 610639 529735 411273 998769 110408 855836 746507 315374 545392 006103 942997 616181 080262 760400 830029 442913 586866 604598 925735 816816 948492 765578 737495 168981 575996 563277 050472 744148 565641 244508 554588 867804 972460 678661 260659 783159 756348 303041 267833 274414 872126 467461 020531 082013 707230 054015 122840 166348 025235 014968 432037 983097 / 3977 > 8112003 [i]
- extracting embedded OOA [i] would yield OOA(8112003, 6003, S81, 2, 11930), 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.