MinT - Information on Result #1872723

Information on Result #1872723

There is no (77, m, 6323)-net in base 81 with unbounded m, because logical equivalence would yield (77, m, 6323)-net in base 81 for arbitrarily large m, but

m-reduction [i] would yield (77, 12643, 6323)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(81¹²⁶⁴³, 6323, S₈₁, 2, 12566), but
  - the (dual) Plotkin bound for OOAs shows that MÂ â‰¥ 4 267503 815434 728054 093097 223763 139889 026966 368482 359042 011350 620699 366640 656462 733049 127729 119984 528283 774010 945523 653341 753955 647502 104873 698511 841587 024323 031360 391590 315469 443331 725862 458682 239496 355776 365242 907469 012488 256291 950650 039696 207431 076721 628999 247231 781851 871418 749767 442281 093169 060675 900978 043015 254304 859729 611824 012828 313093 420555 335880 522928 683773 224660 931574 676147 756335 627826 184720 124776 603141 630533 857531 690580 495948 086351 412949 166017 842309 606050 766469 443501 582386 385308 114476 539286 799107 789417 985262 171163 903991 194017 400954 457722 778616 009731 139837 257575 946785 820616 254487 966844 989879 300773 507411 379008 507476 473678 862995 620792 098212 525262 146665 472921 962072 215564 637546 743404 175347 261405 011657 128477 178795 183168 510653 871273 398694 971201 682572 998255 963433 435366 359018 133536 884433 605694 871562 516437 305104 326111 884789 119247 534628 274441 625441 235190 145949 091248 102291 816547 330798 640603 746033 886207 674801 630586 731310 022044 969586 566014 378479 250080 289125 591204 169811 951425 522092 699721 622799 316251 013919 522157 296890 721254 090485 974663 048187 795394 268808 948653 703807 355844 742133 446772 307187 256169 493599 504865 953248 961415 083005 958306 956601 072151 487108 139452 887142 980454 853410 104382 348998 340635 536051 047810 486557 590369 172698 672599 384068 697276 122722 769429 398492 056803 696270 204313 733113 951651 375510 622425 075645 029620 514663 502722 179437 892092 775337 693004 221591 976359 151383 521263 441650 787928 942900 108957 211422 762997 257254 934483 495547 571770 293824 587643 198736 329097 368469 489525 819798 567893 641436 692815 161046 420124 251333 400623 520184 534479 990715 898875 418388 863198 532206 761006 808662 162740 434374 845519 408284 580008 949291 646769 296319 035346 331791 522645 826020 776757 043602 603739 813996 560695 892626 457644 874379 347588 276828 728487 444723 431724 594507 536285 314621 092998 129939 948542 567316 623285 771443 994270 352692 333149 918400 450053 983928 681940 914809 082754 140667 796532 173441 629233 999017 114219 642445 035333 022918 946892 264354 734972 720801 552810 114703 818568 532688 113094 972503 694403 870806 479079 707848 612587 035480 350214 173308 356136 895975 015029 590580 723351 711548 953758 327889 591293 098698 192142 287566 722042 621447 670387 675701 078371 940972 289641 197045 024422 207615 542116 876931 800621 247094 774697 034892 262765 143894 888952 363142 722854 263822 336421 294395 978927 393903 658397 684508 478118 103309 093478 144208 612536 819908 332878 656941 407783 728633 294786 316660 150589 412990 899014 921235 515727 145235 364614 185869 907870 141864 323697 204231 555677 620534 646424 334361 863281 176623 681831 711464 312800 683421 034199 932348 868100 487291 674244 283356 158036 309079 229845 877744 721658 232726 528266 070577 715453 080354 880993 012309 662933 886493 472387 418173 788353 689654 785145 986610 050868 487271 095093 902195 990012 136793 342842 399923 805117 624624 882323 353267 469863 011103 154441 741709 299321 522571 607787 824104 394988 907879 156607 650337 159925 258772 085421 474710 158299 997717 250050 578327 601280 003672 206338 370283 680516 844668 287287 484512 423411 988668 294877 628485 422975 778569 231415 026003 418591 808055 689893 417326 485009 384674 780664 383679 018602 429374 794371 377628 602990 364348 644207 065453 260059 649561 874174 573069 538050 617849 909249 423171 948517 725381 632967 782134 193219 257168 986786 531484 777405 036657 134894 829438 588745 100907 571117 341177 732303 828633 201642 052711 325330 793382 726291 057920 521181 330406 389167 226262 828485 514382 566491 269173 045543 850553 119320 444432 332878 517121 632119 642260 957252 888243 735907 722773 806581 760153 035245 200925 049353 188855 125228 569842 553331 586672 659150 765433 087931 556900 516715 149489 710926 599623 738516 650670 879220 869355 569782 149215 077660 710956 393481 663291 961028 304268 895692 151959 732845 931172 899672 031839 842027 703635 314182 083339 548461 971564 196887 585297 225520 742019 911847 513761 425378 857840 506852 765791 985044 688672 646825 812653 434043 771251 253990 531565 973913 361438 559147 522231 739310 333378 857765 258420 336362 370567 139770 735107 499851 531072 367347 779052 873400 796065 128225 812276 380029 386490 084634 890731 833185 907804 197688 195007 696840 353241 832340 089016 072132 334250 501636 737070 646139 780857 737880 862368 569573 156165 793508 965649 878609 576684 329840 514959 569184 146395 333803 659049 961751 533237 415989 325391 934810 368687 248098 367744 574371 643100 726724 968498 754226 457135 700344 462959 702196 385542 126441 740411 057717 855450 110194 583032 606470 621713 101758 735976 833971 212315 829139 181411 771616 782162 414511 554738 698326 394270 771300 991731 583721 512587 594783 542632 175313 019663 151308 919343 705698 983525 439097 880379 067745 843981 160703 931404 708424 607928 611826 764942 285966 004113 228268 703858 273406 357195 420707 270044 938533 907242 509944 760722 102603 544888 340435 275652 568303 272479 470164 054474 153492 820609 545083 771115 339618 734173 248567 923248 126817 632820 980892 225498 100689 056274 675607 635272 521332 269969 166611 011318 435355 230332 932773 002675 367099 932639 619528 542374 748139 961182 073376 217903 208154 738708 209933 120818 775455 739616 398139 240326 747346 467133 385755 665165 009036 614815 132963 755768 574619 763301 647457 535451 692162 734195 816963 070159 911181 829585 578945 810028 045801 856334 113407 538389 244598 820073 049158 485450 781128 570473 582789 653414 360840 005049 749612 276644 707330 761728 956935 653938 506814 038474 296423 286066 052744 252535 983704 584992 172204 107096 990252 269584 538389 303885 444560 321803 329725 016014 047411 806404 535327 208232 889550 192998 371550 409948 241500 761334 255707 853652 652300 573222 468173 775926 557029 923663 654890 921823 030490 255222 989662 357881 130561 647332 009646 811369 586446 560386 593171 938408 377803 007344 207407 595272 174673 108676 922974 313184 838291 718284 637867 130478 265782 894273 155688 207342 648841 687166 261411 599584 130633 391060 943114 911193 933533 530711 339827 636828 369881 119481 169785 280018 279113 447979 336735 798623 671536 200585 366751 613616 004831 377545 554406 485790 950846 823080 786006 995584 414069 175880 651343 333392 092563 019220 748578 700607 451470 831537 308903 859023 023198 809809 911564 603030 393484 852772 287693 180437 873951 048613 970698 381646 148837 353167 195577 379453 730140 492281 976377 374271 190692 035750 177284 119090 706450 205587 441649 888097 902800 484008 408923 489393 801459 180929 691249 290350 410774 117659 782789 123685 090508 996756 428590 219953 686815 432161 415663 056547 067496 553428 893947 785711 499006 215742 244284 518644 560379 848344 076092 134656 772236 502565 008934 861761 523940 447679 737193 431402 929774 107722 462187 504042 729577 593608 564643 933086 897055 113821 353543 723413 661400 123038 112824 709436 546314 105109 874701 521087 749232 336121 520970 962559 395509 032639 178866 401493 019229 681891 087268 072040 766439 139916 301007 851686 348171 382826 358188 839925 773577 634298 211336 436122 005524 723688 961518 297626 633448 013406 504427 396601 562752 848658 149976 108999 705891 949527 236677 292754 520126 716568 419462 799911 404645 054713 369314 643857 306486 636044 734040 657755 717696 616967 568103 138945 869994 453746 418420 782167 106794 160733 602380 839135 667111 571586 380821 008782 887861 535198 322849 645761 113560 085468 693175 986966 153398 344673 876139 718798 523613 845426 526105 898592 915799 201183 253685 235553 315147 517953 074529 075404 200293 635156 436165 140074 591961 005938 065808 690431 708546 818043 001427 141173 689641 061495 824974 912471 766215 630551 352761 222161 872491 195402 535185 031079 073260 999415 941690 374592 870491 947182 779339 298636 209187 488330 944429 417102 089985 393215 567825 113729 802825 183825 500915 938427 622525 792929 366995 159887 603146 216373 655015 103429 739913 795524 241273 546667 726152 847975 531830 764898 096823 528131 200400 197060 174728 988647 496797 570250 049156 727166 265849 671183 277960 854327 278485 885740 119045 369676 804922 727140 147518 773386 063700 158450 197471 575682 107403 194588 826038 142788 879804 764938 674070 690622 022679 943735 113569 977761 990935 310807 383549 944977 241509 682820 898490 070027 500344 475728 649823 587709 080985 741609 044362 697002 643179 850443 988415 242700 320078 926238 574909 850697 492295 192627 891991 116026 856784 704901 859307 242059 325641 458285 331819 562993 505881 143852 796553 931057 743211 651905 100301 289747 360925 821598 367376 156752 878239 066600 505500 766002 762186 238363 954905 082322 193446 127176 748576 954898 805580 248039 473729 113673 050752 297692 628419 989114 436936 305466 541365 406282 901111 284416 931810 745463 452454 859584 813857 991877 292375 788873 383855 706268 327255 435817 023318 172769 476346 173482 482719 243023 820921 764401 356185 125271 038743 809764 043633 491730 437920 647222 739192 940912 189945 893522 177191 244747 214130 630876 179799 236299 709191 528739 962147 463090 883734 656407 965811 261406 846463 771122 979823 308746 827895 266783 141771 780700 828747 428480 204152 352742 996168 216325 396315 593977 434001 473910 343284 228551 359360 105649 731075 983627 173612 402183 760246 438423 282406 235527 988669 537545 151970 588069 120243 034114 908605 595700 924417 075052 163917 273433 005029 363308 121476 042546 909148 695265 776843 623603 341980 776077 344814 914233 243365 977858 085763 596335 345246 311581 810746 329654 272328 163513 027868 999029 650496 619200 744147 512292 888366 802889 697930 030853 595784 616946 330715 921858 141589 642711 990591 427514 213456 222191 676775 504534 944345 366815 269066 761820 831107 430449 791352 230434 329759 633815 505475 528724 854564 480385 808569 457824 922777 990629 881865 852440 328181 006529 987294 318874 732799 049527 158761 764169 544973 276891 237660 867092 349437 262650 543454 351397 119829 231571 761833 614650 260816 869341 534291 206951 697338 908312 149387 493533 683799 260103 225957 682027 896527 772690 018296 754985 146394 350838 127611 225520 517196 722919 748343 750283 789719 740195 713146 996332 067591 429228 061255 772972 777883 494245 126337 294179 706282 977233 934910 424680 546218 781461 274197 093355 462299 043391 382481 234671 789706 170767 128138 505697 316745 007308 132898 824496 970497 667472 912876 732111 835564 163856 493763 114869 538109 997554 269162 105245 057284 156892 699878 595510 034276 903641 059289 340897 011437 052996 376479 883303 803305 067456 746520 871737 298863 946683 432804 419513 399090 508879 529232 478828 124503 425951 786371 573693 395382 523435 002315 468047 995180 349539 396043 467981 668112 552484 184345 585371 200667 485666 213716 751727 020371 893366 221421 311517 593239 014571 770208 527638 124620 936388 294471 579887 494818 794840 086325 808565 415156 379030 017197 914191 997677 887292 857825 316488 252459 679043 368317 794138 539253 638756 880582 243139 079723 015122 910391 482781 076591 716399 115567 396128 284291 284443 316635 233403 051824 433607 178000 476680 829920 405378 861342 969317 367415 673468 238339 509916 706070 346008 968572 939670 164337 192196 908629 022985 220700 351532 202076 787382 036685 567343 691576 072609 774121 961480 725017 234964 180154 416798 186609 378186 260983 341535 286527 320513 457849 678815 466363 064430 714724 105151 051393 005490 667203 524245 609720 788651 326477 303536 205211 472080 157438 190734 358391 005773 530575 538759 842440 311183 433824 019218 437528 885820 853214 956057 582862 269547 066255 734544 153644 253852 463971 325780 638982 559887 872895 049416 957864 053724 293604 197926 697260 690661 422534 659874 759287 665532 043824 496208 100349 683623 662167 056494 275486 914959 831283 602556 990292 632709 779777 318288 285478 996820 576859 025227 987544 501962 886136 406660 811004 524773 768811 527719 804813 640097 307555 207796 633354 746860 826666 679641 797656 989718 503077 701504 192243 272070 946027 726774 678698 757705 386179 228777 440174 099738 229649 483490 669048 470335 885607 187463 956390 154953 754439 172341 395533 941311 858451 517945 485142 439590 313877 859517 309681 891595 598202 808026 277297 651691 905039 323952 697434 235433 356427 135767 030428 789637 769347 238353 912315 819401 841489 656446 734949 204753 443989 951586 446766 790096 098419 713603 115560 141214 203171 570750 437053 555801 734445 498514 861923 173895 754512 604701 815549 883434 777231 900056 730145 229253 637107 332164 704088 980716 819915 155542 312774 862059 620986 681466 599093 411166 144163 682080 847182 446859 035162 671689 508482 304695 951463 336541 591478 846835 821917 116588 898811 764035 010123 871176 636469 360449 856801 473602 163888 420435 456198 959764 829876 112570 437100 156413 941732 767232 200681 399249 905051 275410 067270 869494 151137 636811 579292 254547 153466 317806 152592 956182 157390 006958 719776 991557 386456 358553 199375 876713 584616 155778 213579 854668 686419 768946 127597 118931 801446 226763 714313 493728 640143 188649 325862 192951 488104 983068 943323 316677 581161 767044 656026 359362 671317 004501 582799 404819 240767 938621 050354 378028 531760 896710 223265 942672 663956 605752 847054 794445 314615 373859 641298 863565 795521 103725 625470 615433 891110 907511 217997 970083 215416 254814 259541 550719 256220 877640 197408 017044 949151 856965 611254 682542 108847 568864 147062 480983 850715 996102 077892 135338 772474 043449 221717 679613 514335 874819 833143 218622 718248 007762 323204 369306 116697 428311 558264 046006 968497 317666 641422 639434 524003 046600 447584 302738 535544 123603 799179 983134 978991 409023 106718 598932 589235 100045 065079 638305 875730 702653 592608 768243 287718 739647 717965 771428 989349 787780 658692 838929 359726 830851 483520 945072 919134 055570 907782 707968 244172 976965 623559 351069 275163 069410 572205 648376 831628 443313 925979 986850 342849 050886 018210 608606 560808 887887 486261 084984 849682 619399 898295 457223 033897 563680 511396 239843 962972 137409 804048 398394 446977 535510 705061 130472 104339 046570 339871 975548 158882 459368 410637 941297 357065 048804 921215 403433 153909 404887 745396 807597 872942 144015 806688 594511 532744 155024 854493 875293 247278 224426 504783 998885 744785 282400 268877 395472 537244 454791 606463 018907 687812 441208 179168 508393 531086 607765 584578 602892 652494 849497 438313 288774 084703 596046 649461 866316 752833 146491 877732 178079 517012 860936 312876 257245 204168 813450 326417 267218 817272 790034 002300 744337 152933 902891 235681 410960 340653 933155 629930 862669 942963 508913 534197 960779 777901 914945 178099 265416 046487 253219 701119 348691 194338 556281 351614 569788 556685 996025 830175 222207 391022 761698 972351 569499 750717 035731 397473 329363 225429 684085 659460 740444 645371 779547 676162 213275 922749 150738 786645 603106 963998 407025 920010 066619 790418 643554 924932 761240 330286 473343 268758 852014 458342 057576 912558 878804 978998 926390 973245 772042 990302 939550 916374 832431 895639 836104 410446 218182 970188 936636 633864 064209 348373 983465 792492 983186 003892 985588 458209 760117 581812 597985 061484 838907 246019 201520 589937 055212 356286 200256 613700 067506 285917 631535 040631 258185 525908 828294 011592 602017 713963 106159 884811 591622 484206 128172 566952 660376 383104 357358 189085 419334 716338 887310 689618 625070 445588 681659 321099 079051 924222 357162 567248 046362 772856 530342 906371 414908 028633 981488 056090 434294 570288 797357 098814 492929 086824 147672 027731 528047 363414 565586 197344 845232 153998 007362 214586 183473 746461 192552 308073 697866 162128 727147 918253 083706 012426 317960 450302 297175 667173 748491 460809 180906 554892 181986 375953 511614 418972 639049 127051 270514 488141 712241 835416 870812 973449 163168 064312 098993 769452 955680 548882 737667 366803 224802 902346 486260 790498 481993 200856 052285 410566 318819 346707 122695 063380 370843 392169 454196 626766 560008 480916 559031 055002 310998 552944 124588 778571 783810 227508 961112 340892 250603 496764 060430 189764 644621 370683 321881 907957 103319 621048 298274 360722 038953 902652 047175 759374 048385 133676 208278 534119 311268 162167 315648 683263 232183 406728 814806 672333 453724 234714 156700 951135 298889 340135 858190 511640 973034 377949 014350 327769 381512 576229 743577 092818 094889 519123 503118 648237 234842 838166 298127 828527 377473 655454 995305 287173 717319 375827 502993 622574 216260 461157 802000 265133 486555 626923 875641 696407 025146 321983 902488 433305 624386 014342 029526 628476 449105 702915 566849 305741 668804 087733 818208 091502 812373 765638 352263 293432 163931 129945 886968 295776 356217 986049 658058 525587 237296 192545 290373 282867 076843 008999 642233 295277 510888 977127 420536 564772 174674 236121 298709 491871 986581 053662 271871 831447 290497 865541 063439 142381 236007 437891 308960 166820 892828 293674 031023 354338 555997 214664 949467 714383 345035 735032 340814 993077 732237 392589 154842 106875 588551 424243 028234 534087 378843 480614 471969 418518 204050 085439 915184 264748 686037 743202 261207 827089 109589 853524 229609 684065 367715 450693 896450 132794 397267 469674 562058 005853 937567 710395 367710 265872 812360 908323 968664 004015 912312 822013 279811 825829 854358 786946 566891 219776 525300 794513 409407 229702 211098 974646 575233 585317 173497 555199 854513 852200 135793 401002 119600 520440 936287 502847 454867 571173 602400 187563 154018 091946 270716 390431 697308 224877 493527 506877 908824 872665 231642 517551 502925 199119 730423 433952 645796 208477 679726 261896 849839 461107 036609 299370 806525 417831 041271 388488 306121 143176 437505 968669 500165 354642 758616 914502 822505 525088 000061 031846 388373 961748 960521 849495 741481 962876 572372 227876 091066 677728 832538 497819 917360 464147 349270 175524 173510 402281 673542 312391 528170 127232 785664 443074 789054 265686 430828 736271 748928 265475 407598 636796 639456 426736 016831 275336 803388 047417 859394 607486 368623 097934 977629 957602 037649 286728 478483 418566 925102 674392 082484 318516 043645 214813 109101 487456 756335 745201 369679 895414 062972 666237 272031 562002 225853 312297 984958 105888 954918 235696 114739 364817 086998 695319 475045 778243 322279 428820 107540 288626 944525 433207 274140 319877 427599 179317 625091 224726 272106 943114 859215 820399 672259 441213 613269 252293 474260 608186 422123 225738 636616 270729 170701 664341 081610 710259 411326 293849 546112 162664 700057 246168 537703 742465 103693 838979 128416 687096 972707 108857 398865 179228 575754 899487 542918 962505 343855 408384 508406 786131 964620 658777 969671 907977 324983 876554 708093 065503 586823 753177 105193 753276 498736 408977 463019 048521 143126 556766 036956 632475 999565 355781 256190 489993 500979 681675 898473 381620 389404 706435 201377 844144 388758 566729 565876 637243 620735 961135 299772 323555 919223 883362 197374 388508 082453 894813 987420 038033 499099 108923 038341 516963 798278 235735 103102 576018 104185 173835 809343 728750 927039 024547 546875 049180 117707 548023 239368 645143 904142 284306 826062 025235 131725 149483 741010 000044 277132 343734 593145 732373 626841 658148 988857 312209 923898 052240 927203 831341 521337 801165 704586 263694 962269 141948 607098 137602 749429 417287 776285 255798 979681 594770 621750 762549 569620 724060 863604 742321 758271 665734 240940 295037 199890 304587 029662 274382 963315 257637 398125 041989 567107 185955 268998 976851 469313 892389 719812 551856 253095 551039 054825 785607 307762 144810 736729 420818 190773 886015 561626 192052 798103 383143 249544 949061 193248 204522 488808 772524 360033 236073 146085 858574 419186 101232 717737 608537 767112 859172 094730 420322 538747 305015 448708 465218 472259 276732 882972 800627 559296 992065 313982 111732 927985 635839 742515 846577 038615 554163 478389 927465 531158 923814 309290 407786 800963 075673 344998 791525 196637 656770 358833 370349 712465 920600 291783 674222 668365 193984 097505 890434 306495 968832 363600 549521 283104 183241 196122 345262 200916 253800 139106 879941 301620 587527 362386 282099 728839 113862 634207 349856 825793 899828 657125 185149 373549 943805 555225 237783 285048 517333 571401 518909 049971 436081 265640 944107 708598 963250 635207 497246 556371 234098 131368 318883 216446 995247 935544 327593 868065 202372 680385 896172 386483 812051 760916 763729 360798 916612 342933 793879 336376 578265 282814 734706 834790 600899 950407 316627 569069 851836 603415 119801 735896 555551 394502 704909 368372 701279 952625 289079 550150 159773 425360 260397 846412 873092 065502 708599 919945 305406 540511 306629 550531 509712 839462 910452 498989 302590 775820 300983 241805 559399 377491 539210 414443 951505 300386 362419 987706 457802 429842 106547 675361 407709 361796 718887 975922 810632 678860 707737 477549 809861 015387 905068 748250 160212 613562 638182 318391 030100 604878 227609 060255 508006 697766 979592 551435 667561 886595 330880 532090 713754 614533 457886 341391 843213 383183 099121 754391 914664 827094 554526 498735 854528 750659 795812 916673 313491 381352 996056 391961 732979 744163 790361 284951 324062 636431 316370 499532 928302 212981 716618 392117 939828 906979 242586 631982 876592 142318 085594 539140 146205 556759 349235 015582 692370 446106 371550 102768 196879 895501 507978 364049 483718 368908 825625 286056 137685 889817 473602 579177 527501 412088 942099 704335 687984 595200 161053 997125 487854 682681 520491 853457 400237 218020 119567 944032 469943 171714 787071 527195 943107 868538 145794 194892 149257 422360 552025 582654 873667 615174 871591 631841 699076 933081 054051 394226 925279 046905 402041 498082 927191 827357 747235 605844 696518 249326 939986 468576 331118 229608 437701 154927 260345 146624 759923 029888 121295 318430 953579 704474 926038 133294 060953 624331 773680 868620 148552 899246 850626 239705 060538 345698 963445 201425 178507 387293 515983 064562 727392 790716 241749 263452 176753 349473 196513 153775 528551 917021 439881 262983 339861 779489 449195 861182 476147 994213 798291 767387 660348 274961 767261 937318 149806 923287 489084 420727 330162 850054 295579 296216 791757 511591 859101 774162 000119 883286 135536 888416 456902 960101 505732 348614 440722 905528 156392 711020 923111 218240 275996 919595 832433 450314 512272 666278 703040 623415 726402 708003 060637 591353 357134 816782 967048 955825 644863 519713 127996 002549 513596 688870 280705 623893 076016 956476 340577 512517 635652 018857 336990 408155 897836 207438 659816 148524 198990 708822 020356 533997 540282 775713 229754 694953 339030 912671 142493 757299 839945 038419 349989 869027 294297 286189 014806 771202 107568 317743 487115 832131 376658 949267 900064 684520 009449 077598 995548 444930 032389 041152 271536 224892 630384 193164 881082 539074 936334 482260 434849 160984 119349 652155 745335 015615 465387 371292 903741 717404 051197 247901 649215 592280 051464 819814 360286 839011 731889 841722 027253 554717 908367 340218 668028 761083 221087 771394 428045 098915 492298 200151 500705 039586 940449 607354 513687 338573 210983 224738 869703 411994 069905 789601 249125 203482 307763 288278 878190 225194 400582 032540 713678 643015 018171 034189 920670 628635 645320 018970 739605 160719 429819 354383 649185 174320 048734 677660 610335 866057 602340 343049 347118 930375 351686 021638 011272 932990 894971 742529 165685 371488 395981 109110 547849 627407 803409 841589 147953 398064 462007 037074 717084 741427 148859 253876 893185 421822 728914 560438 863879 965328 998426 016956 042364 660519 815171 034498 059860 426394 012366 164522 387337 388202 926325 825507 283716 638112 193238 623224 430192 241758 202263 540557 447852 205007 402275 753319 473041 957109 220171 447311 539533 955979 714633 982302 042241 061975 623628 752269 957062 954530 933168 038838 616961 096916 705940 293427 911049 454387 318433 445186 304367 787259 534730 745263 534529 485205 559743 757452 222660 104472 848989 047767 160777 405409 084417 009438 283362 512227 468654 720882 292753 022276 386588 989754 464863 640423 084457 908593 845152 346972 059224 103445 946823 989905 787947 531806 625647 390247 691617 265549 387185 077956 139504 117818 829790 320706 518178 564997 495936 183712 329200 899751 831364 320574 036533 302153 942080 751775 992147 638525 656669 756305 509417 328541 022014 334535 718796 525402 092270 854649 471983 772608 365353 753095 389297 086527 047957 524584 097084 882602 706485 027073 935202 484604 934796 695809 655169 020355 553529 922676 469079 110956 934174 996166 683978 061340 949970 517053 339721 532848 747070 063931 485620 592236 445299 825866 829733 236440 083639 610147 467789 541932 977661 504178 770035 847179 354056 008102 677773 427225 854308 108332 351980 182433 811364 506475 135883 913066 610894 732421 176092 084166 660568 059113 008589 034882 766716 282721 469801 778099 024574 459340 931380 734736 434589 200976 110071 018835 399590 375718 405798 750624 406465 351095 058906 817171 643044 355523 868916 912085 658995 443488 105681 531219 216530 946722 846819 996239 936610 247178 464260 242141 759069 910735 374690 237928 190710 133957 724027 771123 141944 756496 640173 789913 113647 424897 209645 269716 425259 782602 472887 224389 886546 737599 538359 072645 704507 238578 090493 509137 975184 702651 554868 610799 575255 990763 730432 739580 350808 711060 788173 034207 907122 662762 366298 881342 814811 727179 724102 730722 863310 733786 456951 865128 758809 801998 025125 921230 847835 902185 229825 962167 058200 415425 345209 970183 679108 557182 975710 642682 830352 516640 739665 500312 011169 514277 683336 727472 791330 971074 438014 097757 146322 678029 757706 112843 997385 896016 831416 304152 659172 324590 697070 143695 323771 736826 405946 816190 445013 059945 122567 396459 703825 197009 692035 941433 925831 711946 357124 603118 996689 425385 507948 166110 358983 029542 511581 584937 070083 353136 307317 982347 026279 874147 347264 313045 511517 895934 314072 991885 305867 273985 235854 399051 664363 861159 608997 757053 755340 341443 827240 397017 986678 009250 115938 031543 922633 630642 373736 996021 421326 037205 258977 910292 047271 037115 691733 761355 859402 445478 888741 133017 398660 917852 421710 173965 132733 521460 862291 544275 347399 176534 523205 585253 637993 559638 750458 866625 930329 607211 263108 441312 778190 313161 048113 067233 511576 127427 169593 739010 483099 681628 432526 849591 505417 814574 273869 707775 697262 914759 134196 183227 099506 314760 385532 521719 356030 188944 998920 432299 186557 461991 532379 047226 341232 467576 818424 584740 582510 201161 553148 776656 113803 803392 809529 222777 893771 791646 789073 047566 417958 693175 031347 127388 373013 663463 840039 983645 835275 508703 037448 393933 610927 018458 245665 681015 037089 346334 543760 687597 101466 005490 731473 566588 610509 731035 966631 384570 478724 970092 065353 630786 572839 450181 026773 479265 510613 642146 232881 527364 237042 195922 723660 646400 273643 967603 042601 856277 073371 516888 149841 335564 839336 485045 269858 662057 575516 489681 832976 667751 302359 374465 791288 344115 626124 496319 350200 635040 966088 924962 869858 819290 437491 893544 231984 660282 888692 187898 412845 950677 479214 988383 930162 212218 251447 663651 755280 924145 673250 377130 064519 982690 168911 949788 283717 505840 326460 735514 059284 362972 295738 881184 236363 745851 367954 199903 066418 759699 223132 387779 702753 195138 818832 926191 333492 269185 786802 602850 417292 744083 549842 105009 154148 556502 399156 357124 356123 302944 768962 234001 225387 899529 934177 691534 858218 617021 865405 926320 362141 133737 052541 017301 342863 268183 826362 818896 369743 212314 678737 408832 449604 671815 928269 / 4189 > 81¹²⁶⁴³ [i]

Mode: Bound.

Optimality

Show details for fixed t and s.

Other Results with Identical Parameters

None.

Depending Results

None.