MinT - Information on Result #1872733

Information on Result #1872733

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

m-reduction [i] would yield (82, 13445, 6724)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(81¹³⁴⁴⁵, 6724, S₈₁, 2, 13363), but
  - the (dual) Plotkin bound for OOAs shows that MÂ â‰¥ 18 831879 966470 431978 480794 516379 880799 751135 676572 745619 022084 049947 398274 590501 958894 210513 026146 097028 525958 790426 013759 968422 577905 617972 064815 434438 966327 218994 825035 694961 251288 026419 792129 301588 764511 068022 627787 673903 731792 158186 848973 481433 145878 729099 977050 820264 441546 448749 704505 525593 105098 336399 867563 736158 919989 238112 344311 762411 950005 978103 023230 226834 719457 879741 959648 793052 835056 308718 347375 975955 090672 186114 228467 067769 339940 193428 649543 568705 382514 313286 864890 589336 823279 029360 626726 264207 347755 759093 927570 395937 345239 295324 617248 510366 162399 776499 914022 622365 930581 778561 036987 033585 066998 471846 191415 553080 593121 682185 365015 944303 839846 972194 211304 137064 171317 454555 111035 082089 675253 115775 814590 068802 296571 367764 373394 333819 091922 802726 701015 123436 512056 308981 486507 346690 393774 619935 276745 330300 976104 048004 641585 228591 234897 650909 004591 963985 184533 070575 325527 846987 665794 445215 741866 692699 954295 808712 225922 096896 699892 721676 035276 120206 754897 792371 120552 640765 490005 135431 139397 801332 574639 106983 090914 262622 940244 300443 639980 856824 013056 254237 256685 724267 075132 537774 597046 616994 853965 318800 736799 607684 578603 218143 848077 779909 588578 821865 738808 735207 715085 465494 112730 350107 074391 746318 288670 152913 669278 121505 992004 150779 495791 884830 781333 511111 721652 893239 004541 279356 843198 724367 763689 857453 425499 192219 684020 343693 608065 552371 230097 880013 943519 133279 322941 503818 489043 991778 193424 893505 981176 078184 311389 139159 840160 135254 901115 982296 733271 567973 335469 998889 100926 526731 028958 805554 855443 647410 813129 151593 281556 649476 785037 117894 592687 541422 793185 693505 662824 266193 543100 738038 436849 877345 222733 311177 730967 234311 956756 409787 211181 425410 490303 316244 907434 284112 873885 013439 702748 520171 367759 391716 416613 635398 654068 152824 602592 787415 730508 903886 851384 402880 703006 930520 868039 351396 376316 281946 499959 244319 636418 400382 481678 329083 516526 070741 446158 870509 140562 838238 159855 145056 730088 740496 358821 419923 144967 372520 055772 715662 383787 104405 993254 069489 270640 522743 664864 542857 005961 384549 775187 865361 216741 869346 764087 663354 912903 138379 141031 047808 639387 217061 115360 663702 799842 885775 759887 330619 257906 939765 109579 946094 047576 208715 745850 656823 461196 013669 572935 443298 438125 275170 841047 603836 878745 561652 569048 431164 513086 809734 781521 334329 324941 522442 796451 939784 375342 941884 471649 771917 475643 956190 709348 322243 295149 645100 688610 477577 800017 274619 343990 122162 738258 005790 957191 560682 532601 350921 137656 999992 306563 544189 353256 477172 610688 216557 309965 106045 271954 227739 688604 455761 298899 575805 367832 987893 663113 844946 419927 278830 865915 105916 540449 076695 653467 012295 399396 775955 949617 361768 610109 605341 764882 085669 392096 538982 488831 059781 096482 451716 890878 343281 352098 136650 268184 206615 446954 190940 597463 338538 954925 979371 408004 482408 146018 819462 938046 483532 532749 763241 573838 025940 113795 489808 547398 852989 237875 781539 876843 599942 538382 639147 832763 295698 654071 123237 902864 099568 116774 033845 649654 374825 990444 277146 438046 541631 073502 586543 179881 695892 524901 821314 538943 517254 193388 557776 662871 860082 354582 966966 890222 809776 479503 974940 134753 189833 030692 544561 587897 069810 966752 145164 815508 580174 976161 323898 886184 659596 021397 442602 210834 358952 886165 757114 621730 619506 114886 298839 112539 440203 244295 718140 527633 632367 405045 587531 123659 824410 717718 839546 710231 086994 440444 500076 051755 632421 006360 938833 679291 253000 688471 393509 722941 328953 875474 843115 210477 844655 097241 920992 959877 538140 568506 191595 834599 804271 897031 698671 468066 983565 046090 301284 085638 696604 122424 886633 113668 070688 473928 038943 576262 210775 331051 153820 457704 726091 053142 134376 225194 548906 710941 686423 393255 004953 082438 703866 821342 868626 048938 970232 317889 454200 325079 455232 231578 564311 983447 861351 612557 993534 746901 070949 067937 271991 813276 926860 032686 769265 178793 327290 687074 409514 759524 411511 129437 466876 309034 823655 770111 108883 823644 480877 417315 854197 556170 309833 777890 294250 686926 743368 096574 151364 529226 386581 152508 959982 912564 390707 086884 210751 997570 983253 616760 474966 447421 248890 785153 215883 433018 121192 111536 929059 705885 619396 705484 548739 297394 254058 622665 568099 320388 550454 378879 704709 901699 351200 721329 533626 420178 354533 274983 830038 671550 533438 033641 452618 920579 971890 357092 390947 975780 215247 270811 020452 954545 824099 834745 879975 685923 391694 994965 881726 772049 035541 352698 704897 163079 678482 738140 272262 650014 420900 236792 957758 214545 547402 413258 843656 286107 123227 502420 109831 620149 787680 174877 815526 208118 878806 484424 134570 067274 741442 694435 005972 709927 564569 558855 761999 746134 987959 546927 883794 066200 581143 373322 447930 535463 683817 907255 296129 799929 130431 957507 573435 355282 287017 472527 732349 432223 866089 495261 537686 992803 683252 608642 587870 243416 425204 499229 877451 219528 721893 223404 193786 551407 325508 580033 274304 371874 251865 428322 849709 070930 734525 293003 658740 754701 152027 632075 287890 947506 120017 022707 216393 937220 993424 309103 469474 980638 947309 012384 187675 851886 392602 635704 624677 173875 028946 814450 116500 465227 094204 792936 032213 686889 534061 903523 599312 167071 968069 473520 557473 005141 617980 432227 510984 234993 539828 501127 261270 816465 312361 311124 725177 016575 142693 746539 283484 125928 857940 655255 821424 512165 996857 885952 600195 814383 940812 895905 146270 421248 040389 754646 218326 892775 305447 348657 751063 297303 147076 618887 477597 550632 098379 583285 480827 424830 384917 478644 983882 624833 484049 017089 873458 450926 396829 401761 125283 767239 372369 348709 797859 238304 483845 516796 067073 098837 635432 439188 871159 454040 509681 184655 979301 271322 979847 233197 482587 851106 864693 277734 678399 783066 098545 049780 881093 585745 152061 056433 273341 978812 511885 486461 735284 447896 343243 442374 869916 260419 506719 226536 583684 812226 199790 987327 847318 109761 885017 742341 239194 410351 812306 758010 892046 524691 540634 255582 960985 846791 806399 810215 073163 196727 889763 793940 802412 942783 852101 421216 051086 568972 634878 312809 477354 585391 051058 208527 616424 471412 512563 768140 071306 906684 150522 353490 036932 685616 458379 805978 963458 098356 869957 833425 664165 127459 390524 889253 299905 864898 081820 088197 706986 106949 070713 733506 862644 187304 768974 545346 553442 488871 493735 219303 285443 785038 602366 054519 058629 821523 881108 340197 066420 188282 231644 303660 254119 885586 067796 827158 937924 954153 780744 343369 294995 333030 650008 724293 975414 540144 296112 414610 308061 520395 551764 241755 690638 739765 025438 300496 281528 639972 930756 622120 633778 590851 890350 341594 347949 856039 452568 424437 468572 089283 351540 574278 327020 532950 672787 302170 215204 493933 550883 219952 711775 494543 920362 604134 608970 987889 489905 824417 732812 482142 196524 978660 212353 135478 736525 077710 647135 976102 751922 682013 195633 835220 063082 834023 135262 271457 376843 678079 939656 429537 657675 421560 045054 174270 564385 769921 023347 336645 666736 756923 760378 155214 266980 987351 647256 875811 545069 184419 914596 627439 829796 473999 131307 970544 423306 469542 993170 468271 173427 449671 393667 682585 005161 232972 788643 700283 260102 907957 810002 762430 657898 557193 402474 074683 432289 018359 063418 656143 681288 405382 180206 597304 760495 182086 243586 119659 253610 799164 911686 216572 842249 301411 803615 342654 014471 420072 223641 051811 990910 338909 741715 339631 719386 075517 567682 333208 570354 704594 344420 566981 539055 870992 834877 771182 830767 043245 082156 571784 199920 032536 628607 671377 924654 777296 965150 572313 972078 295813 067269 986886 646471 744150 654524 336039 007674 768962 931653 487364 333982 330690 502645 005625 250392 776860 794978 148165 332463 668373 407184 445250 708691 244522 086708 150357 180229 674155 818858 667372 851031 220300 111425 333369 115767 650105 331551 755808 735350 863555 281952 037881 670437 753470 515538 827117 287815 431655 919878 511463 899186 852699 981675 275351 287177 005464 714798 138979 163540 777175 738102 355627 258977 815963 612317 018409 319569 538393 593415 304726 092690 357203 781421 711177 481273 140961 908895 129079 672505 217443 162285 844383 000379 948176 816201 548107 794717 107187 795188 085442 867700 227961 627231 302605 818062 725057 785725 301264 041002 853155 543162 237320 159474 909861 617812 327732 717149 363781 628053 215655 533600 587487 180827 950616 665067 107907 704275 981363 297885 437602 127909 409374 623980 446309 282643 480914 927955 643150 045009 735990 995168 870226 928053 254885 540214 774655 033786 688277 776050 310148 142503 288924 706823 762332 228327 617109 366885 089220 906516 673468 069521 881893 962001 013103 536526 293475 654139 726596 436551 436635 932999 752781 766930 592612 949891 956858 836352 404564 788870 771729 668769 317528 212084 408408 831212 210776 476416 907166 350970 138837 883927 479655 715956 953029 763516 923727 220692 860150 618374 187260 168048 166148 692068 995036 029789 300203 010219 403808 920439 726534 596578 116383 937637 556961 058231 902478 450853 600051 362636 835922 714653 876044 562408 543443 002626 596666 601603 494928 491147 334871 397343 136655 682554 551529 429825 001524 354092 417440 829297 736396 617426 446150 436815 642387 291546 598806 891610 366329 990669 354473 508787 252374 892366 575663 328991 935262 407385 468613 460219 354300 927620 723062 492750 979963 779565 895255 027352 983898 126305 736074 004129 495547 471531 898143 510488 301017 287480 242888 980239 507551 586153 095799 375744 023619 056898 362377 542678 973359 218093 988563 403157 537616 747595 056681 153744 285422 306137 601192 928473 467536 176223 060520 447218 420471 874740 134744 095619 491257 147809 766519 610009 482224 747177 022611 100023 704486 965435 718703 855161 546106 705964 567645 230148 414877 274650 350193 842817 936846 307536 519215 082379 329372 608267 749903 386137 069184 763079 210657 493269 839213 446896 736087 624682 506864 825728 290453 518558 066971 191500 951353 478333 226299 848565 938312 037022 039053 154608 743523 888302 268408 109026 019627 653051 791569 517958 944706 475258 106781 440554 979645 072936 825670 509676 908901 734411 507523 458181 980870 706477 865527 495663 434372 783590 616709 317772 586641 921301 070939 846815 449465 076936 975738 373495 308127 879863 417460 047857 476559 246878 630956 879526 309263 531171 205873 954317 345405 562424 334737 255139 865759 304763 792658 339900 804967 943348 738514 023837 534436 449536 494485 050610 685141 491655 023558 622405 588205 103380 824662 361037 990970 855065 511325 723729 305680 563232 214571 508750 103447 018957 373274 846217 544877 156711 344752 862240 408051 537541 473951 708824 019896 813842 272716 997733 763454 426984 638716 906649 297621 379474 885790 507997 530699 483315 898322 349812 080783 096223 975631 268287 046635 501834 969742 392055 227180 171071 286546 703764 796985 431055 427511 733355 215178 574731 369898 795604 437768 425357 207663 929878 879930 069830 978719 884387 855384 267274 315220 000525 704751 133705 592711 761267 020440 923636 628833 485183 800270 521595 941629 296905 009355 637345 985151 141672 032761 715068 933702 410852 910261 306101 269772 195506 701732 979546 847389 624227 673971 909735 210617 872309 420446 822986 076333 111958 927857 973930 097713 180930 909759 184301 229550 548320 005659 585150 140121 380217 592928 815890 326759 705576 550459 896228 660604 146878 568273 443703 220915 810464 677138 764381 724230 485887 048359 151958 272671 258219 526301 829202 727546 857297 912442 985931 076582 951334 057267 923350 361893 824496 551474 013744 858540 376258 759707 914430 659009 866767 576320 925209 132734 701038 752798 186229 165632 945234 126200 928955 549945 930698 093874 380572 084745 689071 955189 842648 798866 349479 961093 746351 293776 312434 727873 425353 046633 006973 913721 725673 312273 509292 028946 918739 983595 879945 791959 218043 333067 793984 149422 255840 632777 578604 282486 523837 530956 457422 543503 796486 859357 601579 663647 424869 019715 923954 094338 144800 326027 867215 370545 473546 168716 075854 523595 113101 636462 657370 276719 995341 090467 930186 899908 124742 568417 011507 161680 808218 625599 768835 159953 710640 278539 359532 695289 671381 709406 865807 893905 673457 458218 205068 993601 339816 848306 249665 009633 964400 585122 822683 545888 696924 347032 378096 984574 239127 686665 478410 222383 962462 999090 993448 066993 269081 943894 394529 798723 457197 799232 507258 721336 129298 037567 078361 600421 023444 899424 118394 286958 554789 382045 600398 383996 168285 198117 995105 213311 453700 388357 074499 247627 787572 658278 313532 644134 175550 590614 704681 865063 447171 225939 589524 300109 373684 967974 585324 124949 935361 439940 273840 173912 958802 262580 892121 007125 033976 316729 895750 071199 695823 787397 292180 471992 114124 803447 128420 761392 356853 941981 469978 100295 629445 934010 483937 660750 611680 847589 634288 140742 160383 181133 708440 912857 220689 761941 570114 094485 135513 377477 541830 526174 051390 629820 286312 796390 953729 982667 307126 175376 742221 222171 778531 339255 977899 515831 833951 403499 834137 082069 132373 747204 600072 789966 458220 493832 415722 391745 935998 358918 839696 481507 893751 674585 942886 789303 934459 367464 020585 507893 951648 421120 612097 676256 363843 596669 260461 410939 602535 949739 655225 839132 852961 822607 274281 546502 341354 879741 978373 324831 772268 562030 536313 724536 118759 385765 800627 122852 793225 013353 464075 587328 033212 633997 024822 435386 313553 787019 009612 575996 217456 220324 821758 561949 481029 113356 948178 634718 704168 305597 617271 018992 551163 826385 213629 860812 950301 329496 835522 545656 873703 902478 344882 097272 508929 563400 524138 953416 308568 525454 078385 049557 772880 836567 237049 580860 894423 819885 863204 146031 715928 789709 098386 876394 875137 430380 201778 384407 106785 227061 332474 028193 215817 943070 031331 261009 845573 423632 715046 284793 461250 438695 246349 234704 250589 791495 961946 899125 493944 122255 755926 541994 082693 829683 520556 839363 385997 122094 164034 817795 357031 290278 659407 005756 329745 772822 144995 950060 578352 014779 734598 098117 594083 163512 307467 508181 323958 826622 808179 995583 239354 348931 651072 051604 707350 944735 842417 399162 898905 288731 397439 641199 234379 359524 253245 820848 952515 971523 415994 262450 115249 071895 375558 086838 041982 511684 691373 119670 663424 340188 963240 352424 620144 075315 566926 737834 607084 359009 613121 142611 195031 626872 334853 573030 942507 154553 005468 711387 733620 065458 268321 603780 165520 154279 674519 776393 803809 044645 520733 174590 058201 663964 104981 687935 996413 863786 389089 396537 790501 023491 110842 453509 623283 356901 841504 913490 162550 032927 030513 563284 629605 345774 271424 049337 545903 687550 316492 910195 929703 498921 042397 995123 284026 443481 661727 290299 872775 077033 597177 251436 883531 068357 456022 137872 486991 608934 561505 874967 778531 055223 887676 824716 585514 752667 973647 305332 949913 829382 518096 024213 170694 779077 128912 793009 410058 393970 641224 805445 190973 171322 644469 519165 253121 823640 995665 253896 997012 199056 963978 940024 180254 514169 362382 799905 919032 166054 817992 625921 405060 067175 602940 728541 500086 264859 327481 143447 258427 209884 080669 806330 318496 593503 610475 105069 741559 639039 191654 808368 226712 990527 700004 181762 074005 625048 182264 766179 581755 587282 450188 230713 336545 183539 068582 498252 151069 771809 663552 216706 119445 597429 772013 464285 425242 891346 846406 396783 822587 105988 902432 883658 529405 469222 571779 192772 065288 255532 336359 584098 320980 799546 258307 450399 936251 815152 769046 510981 110574 369676 552622 392090 325928 860749 148896 417716 722402 147379 699892 011998 019119 245673 823532 360295 988745 634916 842420 861613 874842 261730 295386 980744 576925 676445 676533 966491 720416 181391 474951 116872 044500 152594 711767 160396 619784 922309 777459 328752 803186 113332 976425 232727 124105 610117 264276 041199 052840 685224 943244 466252 019725 636537 949623 636405 329983 881353 452376 007938 085616 174835 957228 290656 365540 852907 618236 728814 556231 938427 774395 971984 964725 153760 437810 816380 917671 559644 259590 308339 867832 100876 059000 851469 878503 019988 586721 680118 605828 057432 945697 262343 060628 064209 409515 334327 241140 968111 922173 668988 389011 177664 042063 575991 508874 684815 615205 631782 279887 206083 897855 507907 322690 740983 097482 014312 795895 441040 661311 261532 595125 833599 623080 260042 906502 054387 112748 286993 572568 555216 604198 412091 052590 064601 252211 024340 604377 756179 176407 730763 956333 854357 062185 937147 164675 541905 855477 716380 844767 768270 969463 522595 031207 793635 126165 280724 167982 242692 311857 889539 502158 541863 227337 438322 905262 357320 984825 713115 973975 832027 243220 629565 448767 338356 641339 329411 670199 601047 777713 613769 072687 749645 779169 172261 470348 834155 352457 314258 970975 390733 953552 405237 432216 122808 398678 697308 945895 710752 900091 097568 577797 668124 844371 966798 255181 117385 290393 364814 709253 670083 502186 582004 702890 069396 922829 809186 795830 074451 077637 052028 006465 529063 590293 317770 358087 726892 211855 463320 001946 643511 395108 003919 849734 410863 566740 119703 245384 150212 722934 775604 477596 934995 595460 033828 792590 361824 654492 482479 385831 478154 095869 728062 226455 967043 718558 441694 419698 145971 844073 092870 892543 168855 411031 588302 501822 728014 410141 841182 719380 243885 663339 844882 014056 066402 033561 577746 133239 386097 234979 832432 094222 756633 736459 148295 931053 156846 796214 368859 862512 418205 993121 086438 330282 443686 744062 575489 338022 838464 641379 760592 499201 931926 312090 248559 810983 158678 090941 876721 455110 607287 689561 314694 315503 983821 940724 082755 450854 565079 210377 226083 779019 328646 559851 060688 555108 047494 118693 360783 122281 748351 309878 134793 348273 107725 606115 841756 838798 417993 083160 708635 844209 967939 123569 936627 479908 759547 075349 373483 055425 872221 490541 323844 561880 966852 644874 702360 617945 958735 965685 944508 596787 248789 506365 506428 602451 128635 219810 867239 662245 821430 662917 885369 403464 083981 679727 277196 318509 827620 097346 505914 793991 204523 634918 821524 396201 188639 492442 841239 891144 448853 214947 308143 653634 038639 759180 275798 709266 553923 018697 689858 409454 523156 977394 887673 931234 529464 167259 826993 365777 533045 992622 146140 927849 058365 801412 491259 397450 374215 586160 376296 788654 205319 701590 733763 088941 534677 498593 735715 646969 081122 294548 381321 582794 746446 205227 543151 032077 253872 747784 459201 574360 043037 554308 315067 519341 325495 122173 326177 280396 906780 126438 965230 405887 461106 336337 717905 012955 100677 749434 131999 577667 323803 828629 993415 248391 295185 611447 152269 478995 974984 278922 865783 064910 114239 237745 941349 419700 643533 806724 424209 580413 614813 086576 067645 183721 316737 043292 481900 923526 300292 615149 088561 607498 396055 242779 371791 552480 060644 507996 703200 176392 417746 054507 997749 056956 175177 364307 784912 634848 884441 411095 546610 018984 536080 559440 846856 002825 430876 231697 846864 700535 982884 720913 832464 530050 303385 020222 712587 184358 770675 593445 283919 601355 838375 965745 774708 660861 517649 294053 490781 018014 192640 863132 213280 640634 549167 121315 741621 896648 278045 056225 344228 834907 228399 909316 737344 470473 325469 517983 003102 812823 008011 688555 971533 268147 935681 460355 990708 350470 189976 142200 774654 769534 417104 967841 646159 541152 489208 565081 298350 776093 949942 037707 023254 900464 326162 322534 845572 298447 637438 184489 866048 886601 678849 238396 474591 912330 495983 431916 320270 625440 068528 631282 482651 934663 701211 210831 087867 841669 095022 198146 665093 771460 807534 868078 783896 219992 074522 637852 250255 202130 192492 191362 624595 967374 206626 941903 755669 402640 249032 931717 520496 928104 304152 182644 572165 880645 710515 968864 310749 783237 694463 997719 426677 931324 435516 941801 947825 821674 456439 908467 891720 955422 138799 939270 782333 449414 187813 008800 710144 529604 130004 951484 498238 101931 694254 743381 977065 343981 501894 226477 942987 194507 286020 842781 490648 598694 297233 770317 760172 898244 233898 698563 354619 354802 926562 037546 850352 386734 891587 040111 003249 356581 273046 792422 160281 289655 392466 467109 552590 703118 832819 142054 792578 360350 927646 969870 980224 794521 492081 728306 847278 552193 117414 659194 584837 299813 656794 437702 485356 393360 209669 349652 047310 148796 044252 863705 987824 768319 056974 641262 777968 919972 618173 843998 683207 532593 093193 389221 178930 813667 745391 630558 239531 562352 830230 872698 888256 399359 344955 317893 084594 941303 877704 885401 393732 534920 608896 511537 487611 515448 805313 799140 129310 365474 031451 463369 482161 927665 700494 939920 780077 042366 847119 232591 595785 059389 629716 192123 298470 338173 913812 960366 620993 163075 613726 346504 399549 560927 390078 110231 843360 614912 198792 376333 392750 437737 651206 752844 366200 717164 223823 380064 331606 763777 350691 301484 337137 377059 375650 373678 181689 500319 821207 410784 468927 163738 583015 984603 449482 226699 318102 588459 860448 544816 538956 965929 673182 471453 037707 828778 418609 554218 262428 827657 673744 290280 340519 467183 377870 744415 235656 043732 390047 218512 293046 459655 173209 458577 268672 720217 553600 033218 684754 335822 286452 742176 741499 179805 582663 301481 810008 173050 822310 310284 530046 738299 848033 921234 461817 326670 410010 686903 612853 385863 029017 017265 369829 079229 479295 050487 841633 636984 714313 441623 415639 664392 868397 026746 183596 264143 189916 454939 208552 063821 388239 536096 927481 544017 807920 179874 631540 432066 617043 995552 285565 949476 494822 255150 656335 098840 730040 242104 676103 542480 472329 927780 458337 453312 018881 997608 227638 877731 431600 362474 836930 843297 893072 308570 643348 529980 386193 786845 422508 858200 588235 015804 326889 591784 757659 268116 734124 661212 613339 080418 978935 000541 485777 556633 582742 537714 742437 038499 528045 778981 517620 343694 876800 378132 046986 947151 825378 884662 416965 611653 462926 432222 949476 553234 872484 623306 648748 374903 156835 126566 498334 678374 372682 861881 478128 661468 977318 917674 385967 366308 203947 550947 865603 676355 576088 872358 684574 010584 695827 277790 500612 217357 139135 554931 581930 892205 288577 424821 515904 029781 090498 559230 701884 978609 280642 042040 718821 929166 617048 317461 764035 978585 314531 277570 941620 683102 277964 166087 654490 664572 879878 374407 039210 378603 944740 572026 625691 118566 820606 066556 335597 189687 151620 588025 840639 434710 567901 903268 528330 747236 302930 586825 803305 162613 011952 048191 918182 856968 245313 443693 545163 359146 125628 999101 424851 798893 143004 809793 037762 945782 706336 537396 601761 444038 511540 724507 200506 486398 651273 820997 063741 475121 368965 471295 927315 992794 013139 731740 308157 647000 514975 624974 519045 084227 861319 269565 470123 230340 033171 980190 174995 379920 721643 390750 159306 554847 972546 893540 342928 142737 927948 048863 547222 086707 605998 376783 558392 705861 657337 752319 190740 256311 450214 769082 809402 898270 582964 753245 069712 213582 203619 415443 685980 976696 778108 627843 228061 147374 241259 889502 424061 971797 313856 488206 331248 132061 620171 710756 225000 620876 339573 578171 541249 896894 588495 035153 920900 381043 111681 174097 376978 830689 592010 234714 606769 720556 677445 676404 664999 198466 635778 944398 943705 422153 187742 268620 769299 750154 383504 261346 447918 150786 743825 112341 863282 717661 026539 821287 732232 900711 570066 149183 520231 251524 655244 713087 549230 425313 981701 145436 306581 596202 587613 723719 902903 822484 760296 811728 605482 360483 321610 440907 114234 136585 530546 628396 478559 218803 850177 691113 883218 393180 848665 281922 611389 000460 873879 148299 122576 127643 003007 974244 226101 297163 103935 883038 858202 433933 642553 756884 855285 879761 946970 597700 216266 612778 125150 146932 254274 212861 699943 947168 872185 869085 858712 063793 890748 003950 828206 569190 886415 911182 847225 960992 722373 626972 108357 728128 905065 844652 145000 577225 886141 505606 677532 211885 026868 283647 631484 984483 678090 595786 486298 026820 259903 687400 799506 957401 180457 618103 070244 209153 160119 453665 409716 785910 785997 598599 664866 795724 675870 349819 967009 701995 844788 179852 807981 319689 690565 382620 996774 981223 925496 272247 917959 512052 328369 856093 922063 935596 407714 962414 935666 728760 696466 234706 365261 372373 437921 198861 976126 820517 421777 684907 803124 302711 550670 481508 129794 488515 309982 624660 856790 120235 089093 841839 682410 657256 570258 948821 675502 032085 800094 174112 050691 523138 130329 411435 430132 842685 002710 664279 890611 376345 121423 459661 085230 600242 475551 531358 755670 048455 928936 038543 627088 540535 687077 588260 826268 601140 420656 862087 888617 764040 772915 744221 833825 080387 742989 259670 890554 814286 946962 908691 362470 169391 042457 243270 814548 105360 353779 615267 906512 124211 337476 216139 741472 079926 741337 205759 252580 390905 211949 228406 146259 726994 395936 482651 992350 989972 894976 486263 863687 881936 715913 718251 409824 427974 331094 321228 721448 386586 324985 815868 046358 157796 183657 411331 723079 020960 698954 159126 575851 001201 855805 241884 222421 183652 567567 366339 881091 607469 797486 373744 357579 805548 058202 473570 706018 907096 572813 568545 746490 834206 622953 497690 646212 409343 740487 282576 846746 011645 475370 799488 543598 300257 944470 465614 577573 341373 445470 697197 351598 494924 596446 299334 424307 029123 546910 306769 601019 009477 213817 036658 971261 350685 465760 042650 762311 276339 916204 252526 772989 049656 717795 137916 512394 647095 688950 661727 724164 999134 361258 463088 175511 478651 614840 663958 482009 327191 618047 967497 549075 765723 410882 386194 682160 851268 314288 268805 551715 515407 869887 154793 437909 320021 658544 260524 947705 153770 737099 986569 867335 411183 890436 771401 387576 452106 458979 688313 101466 735310 489143 470656 107765 919055 982076 544885 125870 286926 145883 988754 449308 950019 976270 573515 165534 969248 144945 459796 521395 160225 123408 383545 803156 000483 405752 830964 194953 751112 735998 448906 387916 333451 944612 987208 236456 384620 011950 145673 084271 227900 536922 969219 310220 249536 470788 565123 266931 218387 732455 168597 679744 299487 028470 431690 335739 663679 724510 564158 961317 977268 646031 425249 720109 256107 269061 599657 894586 633907 815489 790040 256062 319588 154098 605012 325286 770590 331463 780014 665893 944955 277466 173159 997743 784427 815623 126617 551416 497415 003694 814275 663874 958154 728397 778964 369116 160868 472371 971145 303729 714605 552726 140139 717324 638567 824504 317246 715139 118291 419082 000242 980278 114451 903946 214751 421170 895782 105156 804459 001402 559106 289421 291397 831889 299146 717438 972846 622438 322752 891753 657677 132676 617838 031128 640726 925817 214448 174123 551738 333613 942404 665574 187998 570552 333448 762779 895454 806466 531333 508898 552974 357753 080295 566986 953000 854848 274432 714431 103213 062824 294670 134396 418627 498430 573940 130908 902501 591705 667267 398571 617172 626546 736142 379520 512706 659025 191928 583296 500241 243715 423047 401817 889963 571961 267764 445752 229713 948602 876406 539374 438996 320247 165562 971754 855501 611017 585199 777632 854093 306163 844902 621562 658198 071019 576817 683990 947975 756427 436902 791672 337738 118784 999563 607361 264632 075290 705132 241954 884326 429144 892217 985471 307552 320955 982633 008165 238248 495467 691197 072725 677687 718085 977353 874357 838105 600466 587516 352815 286210 073640 064256 531592 049275 657231 526138 100362 306475 022921 362775 579957 454005 848300 523349 596852 950247 619478 774767 894694 935234 360874 810612 100781 004980 323802 997771 950808 557125 919412 580052 862378 282519 306661 805991 281107 052704 784571 994052 439947 224376 319135 194787 857895 852574 108745 050825 610235 567268 410679 698123 566510 253245 365962 911761 892621 354247 412535 930150 458295 563377 020248 620211 529390 042675 374465 499376 235864 146567 256642 240336 095226 202444 224070 979814 629283 483943 700482 065045 263966 217262 659909 198134 047624 808950 318917 586678 965241 438196 411423 979468 769296 336865 560199 861387 974518 066453 834552 092608 557290 983116 432480 295345 343235 895154 145149 555944 672883 338477 318898 966791 066191 747569 454826 465785 631508 961528 216240 059439 250866 552285 545289 598109 550144 923913 873889 916622 392585 292530 726456 318466 519450 209093 971990 320541 / 3341 > 81¹³⁴⁴⁵ [i]

Mode: Bound.

Optimality

Show details for fixed t and s.

Other Results with Identical Parameters

None.

Depending Results

None.