MinT - Information on Result #1872975

Information on Result #1872975

There is no (41, m, 10795)-net in base 256 with unbounded m, because logical equivalence would yield (41, m, 10795)-net in base 256 for arbitrarily large m, but

m-reduction [i] would yield (41, 10793, 10795)-net in base 256, but
- extracting embedded OOA [i] would yield OA(256¹⁰⁷⁹³, 10795, S₂₅₆, 10752), but
  - the (dual) Plotkin bound for OOAs shows that MÂ â‰¥ 14984 906300 657454 914947 152513 239852 415094 935681 064723 714834 376415 442354 449915 024660 035878 110022 602316 944734 008030 806036 993419 294596 952551 175235 967251 036095 701453 513786 402409 703299 109514 686674 734767 489709 274944 303651 871927 468768 997282 570988 558159 310648 946994 336295 229069 066184 738358 050408 477572 235114 038503 084116 969270 200010 805636 973722 786601 528162 715846 359557 512967 036329 890155 777359 979214 931363 219507 847121 998150 162945 035384 669913 339661 184556 294654 999358 144300 672116 323673 076764 681670 664190 059234 141360 343200 897933 913930 284693 311855 403905 924142 969304 198927 155420 737524 111539 573606 528141 327306 128341 911093 293043 415037 919653 059936 536939 067699 747053 211533 329104 591774 924375 392835 615268 423064 217137 524501 715082 393169 222112 670413 029955 597678 785440 511778 527643 063855 586752 436861 532433 249792 374164 925283 276178 062556 453722 008313 122756 442845 697173 288450 600869 532746 980705 121771 076254 403683 547038 134126 939090 926961 182399 797252 936289 481236 436105 834329 981176 790887 524273 359532 070183 970106 461187 369288 345430 791928 880980 399330 086186 536601 640191 575114 525323 868833 619346 369450 811645 481149 718698 568675 751236 362187 107274 221765 768577 664088 632109 603421 343448 021033 435995 346497 044988 960456 839062 861012 870179 741412 059973 477570 197132 695150 547815 502864 095684 109026 745670 597457 059135 821581 165985 370564 290914 801043 637792 500157 188598 405451 459844 225324 136223 045111 050493 383255 601984 257847 628461 313272 539262 270879 935414 363411 459919 293080 155048 306380 131108 060378 856196 383591 809509 498298 860087 075699 605380 554126 838459 972368 551113 023311 547786 829165 199981 106944 447666 201374 899181 511770 773759 075216 227640 916561 219894 948859 531304 683643 729040 837269 522139 929249 549465 364797 817148 467228 073162 648119 511240 348779 398696 835912 846516 587355 994626 059758 952399 726767 094358 854325 985144 745341 122436 749263 195181 303093 453283 469081 371444 323880 240339 771623 141296 229933 911765 356270 471630 335158 767876 240616 371637 721218 789782 196516 184361 573627 403609 236349 444645 895332 760713 099606 290173 310187 769597 281384 487744 526354 716736 281473 201747 956077 465803 129038 116895 672536 098115 322613 457011 911853 204810 485824 640977 463622 381569 078153 886597 899223 506463 593255 128645 216896 030445 594193 050376 283912 368684 254923 314547 835628 857247 925335 379098 093612 859117 353525 356627 929840 971041 820280 905323 098215 451984 843911 027669 591566 519939 000470 670789 483784 964879 680722 793486 643213 004415 258475 738773 218826 037494 839241 189363 584275 628337 019644 279663 652148 512425 156125 892536 451182 001573 034494 007812 176777 367064 770981 666360 244766 634124 583535 605862 308639 414670 641505 887993 296560 845307 937020 300967 978887 066048 316517 294901 744922 375929 860171 153735 865588 642210 406878 088305 312794 419912 760708 654588 823247 222060 091198 342426 957520 775587 521295 508220 186802 262949 743889 153946 749112 492837 695174 513027 120227 265002 229781 016088 883142 833671 270656 932162 116948 468673 150685 651554 649975 350085 695625 567856 489658 325892 046122 615217 293160 073553 939167 109449 376027 499612 456687 737925 892542 671834 606774 812569 028009 510267 879197 686927 499310 765073 400943 588074 966858 449292 293516 897016 955289 989251 713675 516408 932503 226191 460793 656458 054997 072276 327995 488623 389248 688869 651685 575393 532743 962031 894053 882543 972380 477115 197584 186028 130404 080023 855829 627066 880405 201525 104925 977411 701217 764358 190787 603395 336313 619541 799079 622834 407072 798644 857615 511579 837649 070038 335387 394559 957225 306363 725323 020072 330990 605426 198494 449509 121750 282652 649170 772722 924776 515105 362373 701649 380410 366851 560573 013303 040624 144603 315316 442915 338447 691460 423178 269566 421144 017975 490026 266248 190410 360299 740919 094255 035519 472216 247336 934877 853541 555392 718205 957079 052811 853041 240541 543959 415775 580828 109214 161564 008075 297433 847330 196293 097950 083835 064634 097101 442520 611544 340824 355487 924799 084212 174235 923276 877125 001502 144549 141459 474604 989925 419487 828595 993356 416896 867676 664867 971803 453242 558817 032670 680583 604165 693266 474072 231788 089186 534908 390487 368742 397842 738439 721953 916680 577354 621685 733751 034502 141247 237480 259421 053952 219237 629061 335016 803045 855243 736413 867188 611160 237786 225836 485259 283247 737541 547023 712858 700721 717060 237604 992777 481783 220529 195857 559704 136956 150052 421135 338370 860492 341575 917120 858054 401140 987661 686715 373337 633147 022493 611936 500012 195612 673512 512692 935746 816892 705097 389486 830675 136956 303831 907159 158516 466189 720717 521487 947385 173848 738736 287578 204050 107477 170101 894928 286401 566782 152358 003406 151280 065065 490799 034818 762075 771135 065851 731862 433141 468827 004961 062068 987515 112015 418361 836950 809334 967143 559595 119749 475347 478647 600350 083708 312400 480792 526951 540257 366762 991691 484742 470491 588826 172844 269946 969019 160265 850721 167761 440147 513022 373256 051617 992975 148819 187888 556838 867505 081629 144667 442053 410000 919357 246354 753326 940759 199936 200732 890475 022674 706292 474030 752229 841870 309616 374472 259945 596912 209983 298210 020770 519027 422900 956821 945868 952642 485913 499851 302601 038815 454070 691888 909755 160856 830210 724429 143394 017342 056522 476313 323549 673277 063499 429568 815091 506150 179264 343716 111519 682007 025541 422936 150301 363889 544187 534912 854449 485495 377393 013569 743399 478988 038232 541910 242942 846928 959913 115182 917304 105173 254511 818643 826290 530749 416913 929570 162072 086685 398610 101316 109663 192659 819182 180253 311163 528047 860847 373457 646720 363475 816817 763545 028522 348734 036229 764092 047368 222801 819500 337099 074507 048010 965953 956826 340089 356872 022981 260798 697012 637791 448514 011857 935142 441199 456148 120652 063117 470077 809398 233563 527355 947229 637611 613111 131201 162539 972720 518324 239366 824503 394213 719073 625643 591166 218866 386602 807265 380678 335571 004584 657955 249672 087797 446099 078634 343864 354900 597732 920377 133773 398439 792730 560191 400414 570102 073149 630191 924622 874966 470067 686099 115183 305340 249257 386289 815015 276858 019440 636748 744521 164780 385335 205037 443744 700563 350766 675124 125969 296929 785971 743590 839105 231371 617803 067244 461248 023899 546056 134465 938657 441413 674919 654340 914245 852755 460051 613544 137840 539709 214790 942028 439827 809024 795369 519255 668458 135667 220187 552793 329145 838851 384636 502711 384397 309495 814285 847288 362713 889404 586188 763553 924429 592099 998422 365917 164630 706676 004832 397210 809427 112575 263901 214751 926191 191976 028491 637743 769384 647375 913611 516195 659555 370482 783057 946321 396988 616311 580844 672836 402279 239798 946106 291303 234818 818167 597013 875072 983062 940705 527670 742202 666244 535032 827146 948840 096963 208035 574335 951668 682756 162016 554957 840990 357388 710772 226504 394979 237300 876340 938293 393007 474267 156490 288587 484464 969370 449976 898413 278646 801098 892078 996088 869151 453562 684738 569348 048868 362346 991219 286782 317212 861393 240679 916313 609538 089742 568525 850138 772154 692686 332814 522711 215332 580443 953148 009611 683578 695417 174616 248202 794462 522156 963863 436710 952854 696128 294969 619931 477422 701356 167830 476293 924857 894924 403204 730568 841713 699401 727126 910015 531088 605190 281196 274939 491281 516981 334633 048652 595653 124593 116095 240424 167587 611914 417906 260986 091793 862811 377674 804964 286248 391732 898763 852929 418158 513378 703556 887821 925118 493308 943184 449305 209361 003801 045450 125036 423945 424534 118412 150013 403260 746479 590536 212675 953362 289438 911765 094412 519470 372734 612284 059731 423521 596137 693856 329251 328183 248339 582289 372967 640227 171376 911893 389516 047455 954537 552419 238754 282233 696655 222624 155237 790339 876209 755482 260408 563116 898287 037728 399342 275228 287297 909705 071137 888826 916232 042728 088259 204915 352711 986078 700467 289042 819447 069550 827314 913442 966126 016739 274787 858914 264025 437140 046915 388156 196745 203890 802912 396109 120103 433784 782302 225030 923151 782320 345977 207175 702355 893876 421538 041520 488514 375290 026735 623420 741276 362655 552372 815241 572638 089086 978167 370111 224932 238807 386537 305441 050232 104494 122090 316317 267674 720613 172407 188876 083821 078161 891290 336023 546977 647236 958318 664601 593436 131480 393828 378154 886534 848281 153870 998907 513072 733782 313625 079899 700292 301696 046025 848965 325157 740292 245348 850741 988521 720960 065707 585980 463406 690772 642160 272546 184807 301498 142649 879037 531984 820546 997933 982084 516374 925378 042263 619596 261198 320990 938803 309564 027798 543557 517026 508095 053054 874790 534765 888703 192988 037573 853373 099286 412663 863316 892855 248979 203313 643570 165012 913477 051791 049666 860634 333605 606092 350124 059050 966731 903229 530571 942734 867094 129240 830936 028002 787713 896699 241809 832463 901771 480064 306558 342293 147565 818304 162972 937697 218461 359348 061284 455514 901754 009370 014582 498531 241881 688388 305400 436784 462159 346273 951821 409457 553621 904557 477168 841658 560373 380250 745813 034468 093185 322353 980143 376983 360906 174002 237486 753583 726967 866775 103236 083966 481860 101612 677421 663482 069999 979565 571625 172260 181270 562472 945711 162657 996772 408664 581291 466016 649807 794577 849752 156875 279651 326859 098310 982122 041062 349050 669853 330162 714108 474607 806769 984914 303170 264898 959669 006295 334135 204564 991071 415035 535148 112487 877359 404254 169500 176876 131563 428357 846873 726256 769316 674751 376495 985533 300040 508395 749649 949677 573563 656205 867682 892038 168576 840797 461733 885583 123624 533560 185564 225898 118310 840183 598472 848639 775979 397318 286089 548411 808344 610547 928165 162616 026238 888566 920108 165168 885457 481686 014176 882216 518344 830254 921832 241819 881597 161850 712577 507336 024892 411098 332540 984003 486749 853033 598431 199063 152448 830732 848531 507989 434819 129025 716073 640608 283376 634175 283227 632582 692050 211390 067477 325287 192887 041620 918700 084784 015152 469217 568474 081495 362576 375231 924342 631814 051050 160133 977779 555817 383882 012712 904041 598441 091088 958873 720982 475418 838929 620141 786398 381954 886382 582407 619194 537292 269950 686342 668288 098428 859036 557172 494342 583767 327190 401813 969339 303025 229630 398592 385195 604871 640170 379209 035725 614581 840862 407353 204534 551575 770865 682032 390156 149982 268759 414277 986173 093883 675318 201448 159391 747508 722877 379426 583839 804488 485348 595073 967648 730962 404321 593099 504517 897619 929230 569050 817074 571668 526908 934544 256272 738692 495137 483181 497936 305658 182066 647396 925909 891478 606558 375350 571693 491973 490111 517579 061558 455763 163978 863725 063537 215635 537775 346867 648382 479500 348692 137433 620115 874405 877358 855959 584221 250004 063667 070047 867822 076078 226347 876684 180832 587047 773763 084687 992022 146404 756741 373602 691913 410829 711348 146347 443448 358521 853083 659276 356344 415732 436554 217973 743439 423419 558190 307921 206947 686365 829429 839193 324060 807983 768213 535517 541907 305078 745369 632294 062129 440967 127009 481260 318805 812985 113386 190036 538121 529394 015191 002603 757298 775394 583068 129785 830228 682854 460089 016228 749794 497603 657253 972028 433816 636946 517570 745529 262605 930797 971009 827182 619517 217054 133175 042873 755868 678088 623937 284642 846610 486202 681396 252109 480306 861349 722647 390880 201543 564274 465851 997670 692242 177739 943000 354898 656910 732282 636656 265390 410757 730721 382550 486776 237083 249873 311263 214086 634160 291072 234259 532905 466096 682111 438718 703999 372065 227605 755482 467796 275021 256912 896708 343217 658832 220604 795757 587314 378119 395263 953213 672748 925494 176465 780155 517465 952810 261046 740984 279595 398354 585744 481396 422954 167516 132160 723453 549561 755611 310154 510396 085556 370432 865358 911197 706367 205892 273746 938970 639103 836083 000638 158972 110090 056615 564385 380402 529039 622812 892453 113843 745353 221964 716217 770321 065337 852180 931200 739266 621974 106254 000063 080083 732612 858375 863016 606234 894498 167635 381977 111162 736960 828692 221390 386515 621992 594137 212643 719271 246673 445145 388632 828667 050272 283874 351543 855133 936332 946073 118441 648197 557487 845679 018235 217373 563159 146685 364923 605105 114678 830960 605037 032310 499445 737268 728380 442906 617126 349656 314368 247257 456842 317157 263140 679752 847593 574894 230933 740550 082040 046440 855740 019800 122976 916469 362393 798339 853694 756571 662884 712916 863338 518343 703846 660954 348987 114012 945501 564021 923980 459250 223631 704462 730429 430426 110700 800279 979778 219007 953426 457165 145438 967277 226066 297953 284709 032539 783401 625568 471150 394992 898090 520325 451247 208640 249119 372759 454677 293564 817306 894991 966965 141761 979315 695694 160755 061661 137641 767233 073317 685050 762361 169181 614932 631080 154350 842211 354328 389198 971837 170413 710987 280573 013756 176563 995387 567011 708190 121415 592320 346061 689535 438963 527950 454990 591923 961016 515903 720182 621428 295855 001028 792770 946800 634996 346740 501827 341611 915726 518309 498730 008431 010815 348701 926183 898481 259334 994166 991158 353342 461408 538798 077711 516697 538658 715988 312171 838369 593745 310815 284038 930915 166017 929109 668644 884513 647743 766518 907623 441763 147172 950670 106736 618571 059414 044145 661883 756073 002687 238568 403761 162842 813140 382695 832382 239528 434450 961416 158813 362053 538600 740918 646469 202739 954885 123542 426422 708078 532425 059835 924281 232234 880308 807914 745543 631984 294732 064634 957975 859466 686288 114915 360121 006284 513223 548087 834259 286069 161253 604664 949884 824717 041646 824206 775567 358701 209620 323378 151521 637048 381592 103665 570823 214431 130044 508127 748083 006051 452941 635735 893332 485897 577734 755422 998997 480809 617742 565458 749505 382877 619327 432595 500162 060127 763767 627574 988087 391655 824180 233384 909535 461428 407737 595911 260695 833853 240739 902108 507323 203991 210270 455669 551070 718840 999625 008945 278799 342061 592284 777667 268712 674924 214171 936236 313683 401186 932219 685099 697794 811467 294420 584549 315572 742616 281957 691940 427521 629851 972695 808111 130160 721638 105725 119292 361747 270803 175019 632403 628742 986634 006392 170399 718615 314340 556600 638999 245395 944218 493479 385476 942704 651679 756045 072333 773390 146295 131429 631289 564395 454415 541585 831506 560593 719943 581106 060258 554554 485441 973023 530548 734331 298193 141745 144042 473366 811677 125017 246464 738758 768170 066924 972193 545375 577845 432378 958967 962905 573128 123159 157977 739102 932942 240017 275273 163543 541632 019355 734731 327169 126964 997822 210562 275901 236014 109366 066209 601332 399864 300655 309187 595748 137902 655303 310050 279849 127350 873429 562141 247648 284814 898023 368032 419730 509864 573261 047381 911549 141251 873358 866265 386427 383630 810873 827263 353888 598336 621027 718692 571798 530501 167535 553442 202145 344337 031288 048742 862804 976310 447085 278027 418040 384246 810478 441584 258493 449318 328966 073819 758746 968474 418114 060832 794415 090617 138705 214401 179631 385803 868587 751917 320241 209010 451346 451289 271653 731873 727272 212777 185765 306997 145549 833280 786466 863257 867120 270785 986744 284174 788789 030942 465214 194548 578389 060843 326811 172434 832668 567663 482138 846593 651110 640569 983201 935657 948523 789066 922678 219265 404489 282344 461673 471901 700302 518700 004498 619986 341644 152698 986278 598641 154094 816597 748940 455549 735252 862915 519741 531637 593812 656432 395642 563756 241727 854173 996825 668337 419146 944656 179014 411882 191472 570683 833134 750639 200940 750157 793364 634460 568101 729408 001945 152199 269157 672209 070658 989209 672999 432727 762833 778590 832529 735332 830537 779362 297913 417778 699753 352987 252538 593834 252455 399572 255553 632964 976189 572531 207592 373227 776594 582760 776383 313993 076743 765124 731137 452292 719538 639305 455040 744648 185128 251031 650385 596577 261773 081071 757753 409967 101216 352468 997189 473946 004951 834777 932840 445421 702264 373700 183807 253675 972265 396933 674389 862912 276983 885167 999971 893072 470710 944630 057480 840031 376977 050752 420797 687514 134479 250561 139524 563487 363965 163529 381308 280946 326472 332391 666864 247032 898441 826387 242828 791914 453672 597317 715254 746764 976475 603557 232314 936026 376962 203050 644169 675815 987905 118671 139316 015681 557961 493898 582810 452846 132807 890780 323905 154275 725323 070349 956246 421825 683540 767670 276230 950513 333170 119149 066821 723028 506282 726900 423463 910668 635872 153338 190187 685514 705805 525796 168072 332433 749315 853556 486530 846308 051274 863605 341534 035092 140603 431878 770666 763333 587338 186671 722283 917508 257869 758952 365941 345631 414089 005008 889122 250627 503895 629434 912196 225269 808948 750409 363963 119253 641215 035278 918416 974508 973018 916482 702014 443651 381272 860806 340610 732241 764999 973223 151144 147286 727536 536968 311335 478151 267398 929320 483938 621228 824792 120459 009410 184894 872653 957301 080082 661745 259608 679525 372244 170506 435390 923615 681266 959887 282439 496337 036847 740836 468238 736620 568539 109790 668702 142827 546144 443898 209404 179493 603593 172781 966769 995762 948136 066222 631333 445366 430978 763411 555186 813486 320644 803459 579150 576872 855704 667993 978377 218692 799405 573212 452251 709093 919096 248522 706416 518997 229524 676884 950848 595373 210606 614388 333338 378240 797209 693224 115627 388011 106301 627196 005984 084626 271475 921427 260976 606405 229977 918570 342439 727203 003787 458953 426545 045088 379035 560095 408734 899647 923959 387445 641120 958435 148686 974300 293695 698124 715792 173534 516971 744574 526418 244562 788548 537666 828413 709451 847451 602900 963425 711438 940036 151698 610950 391922 741855 948301 212226 510260 038324 257670 941764 486464 099058 179994 634178 328028 022498 473951 678115 147717 059807 129063 631714 821373 177089 330331 907168 341853 101612 432733 461481 171909 390572 924245 468464 659657 626250 854403 069211 415829 307326 333206 552836 199750 328784 254731 330285 952507 200822 779529 170619 467528 228042 812374 424601 390792 010237 049780 871332 842459 945345 404176 025344 376549 551376 134509 106218 422503 437270 956310 557351 422188 496784 794714 553743 018775 627063 303626 080203 056177 721143 365417 114360 820082 878694 053318 860930 438881 789563 889898 449732 280509 422381 343298 039890 211439 721915 789090 504402 774946 113630 260523 722407 530572 963200 725889 283352 844736 670168 408404 255374 302026 298415 972470 882772 616084 033026 154648 251302 200577 603307 183867 428003 762564 743635 069966 529793 310856 473842 885559 770906 499722 627687 861096 607778 832124 318877 241913 349143 729064 313812 988356 671827 006363 785119 788747 998800 023582 704283 603087 822259 063357 116691 170863 265250 341146 985836 170737 928026 442327 693697 073583 539499 527698 354260 011168 015947 676628 551892 972288 486070 972700 642266 747285 805432 139760 068017 928026 307133 639010 388037 535698 668360 568262 496163 984511 361947 494061 751186 208739 631341 220686 223264 756340 957022 212439 150010 769462 131687 546972 615052 822869 864226 693909 774283 791511 875906 523873 709432 211600 034162 041269 547019 961142 157516 593221 705182 645183 009154 719656 060183 703404 346082 241549 078332 897913 661694 885066 337632 640110 836070 747409 612849 212268 515482 198541 630234 710535 707309 878581 006000 179921 553120 952861 019951 216857 865049 223618 647430 269475 062392 568776 070594 073308 412528 192024 078986 248235 000998 025413 600249 175869 894592 096049 785160 944728 268383 807964 627536 196223 946139 262737 520724 900940 580569 392292 935497 810595 355817 739593 057698 857713 082076 412088 591563 178157 194110 611210 751039 685355 344383 487750 240341 898257 981204 989219 914593 587068 154909 244550 618691 719386 506864 867488 411100 491761 215390 351620 044036 573686 941422 189765 840265 135957 391571 192755 859410 201122 738607 812014 487500 949972 404266 414289 103897 990749 271086 740159 570447 187382 860179 317148 891610 314420 262030 582993 009918 368401 299622 068512 851941 687558 298965 692773 695076 984408 370189 236015 179333 126365 523803 269046 931308 590605 811817 136629 901936 389667 832298 726427 407719 132197 812056 243416 160610 931832 288217 588842 958824 009984 766106 499379 747789 241669 298670 957000 741925 433132 351432 806460 566859 147118 281612 895642 211615 495946 551304 705867 230379 196474 373859 260591 680026 320920 586501 577235 760951 931415 004096 375739 032932 087052 055687 482831 326726 152701 923082 119663 021630 685403 354028 076693 761152 642683 920789 423957 656129 344596 983681 340164 628768 149951 752069 863191 891245 397281 432811 505667 000504 990967 847956 528076 807478 243528 673545 759648 417367 528238 323611 876713 053405 642000 268147 928625 944163 335886 481634 885504 412947 167304 678507 347427 740526 124604 497301 130364 214833 114762 648622 194072 429921 645145 209708 920323 600778 597969 681909 208527 231645 221784 994199 605016 970897 961539 046008 085010 972289 224580 501130 984947 358325 800469 397152 157170 707732 163211 322764 776456 822723 026947 140437 839239 532723 831007 027321 630067 510903 441387 380631 659453 910330 150750 800381 924056 957888 218058 563026 387301 775223 359899 987766 197926 551040 073539 813724 952879 892552 865106 407402 688793 780860 796339 364328 444953 271361 422919 571626 177551 715639 821163 607645 072075 805194 915613 104337 098258 841179 734398 745344 950500 934460 785121 243211 326943 124237 675587 519041 139611 364440 621176 664965 283852 422961 014525 640291 351828 084205 831967 447084 784540 769653 271831 178817 992806 059705 285093 010246 800050 401572 684644 859535 686982 097810 271716 002810 173979 455071 547283 732633 554230 696111 819238 527671 619753 308512 130625 107828 376512 336413 830162 206687 095901 943671 533428 966689 932035 258269 777038 496156 674602 860060 444114 338271 668160 851108 876557 796936 792123 409073 780087 437322 550766 754670 170569 020123 001322 526263 043277 977601 827916 404776 472222 403536 887163 782399 262476 383274 054923 585878 630811 220559 609277 073274 490015 707155 622961 773571 869215 719413 061650 348422 299460 688024 560031 471928 316260 861493 012257 730714 155477 186723 928523 849668 753761 743606 132026 440768 333947 555944 695870 355345 670190 697890 618122 234338 955632 492609 425800 745284 472457 291228 034674 443905 006676 639738 426292 863356 754438 755216 689415 133482 839991 052661 052299 341187 055458 646769 113399 462867 528871 064021 543606 993758 988841 790717 762285 100651 712669 837717 064836 776385 720250 985096 713028 409798 165189 902562 838445 808417 888630 158085 671079 167594 839403 266222 208266 225866 017189 537037 840850 099755 727283 167751 824759 516013 513237 177981 103256 021981 478496 001214 029541 453871 581290 779740 628449 107942 469001 812689 396330 927708 608056 818033 768379 807722 345772 955305 282842 565178 683964 499534 968019 933522 484194 667192 752362 082157 789637 583913 915665 722171 814310 867049 911100 324701 925022 358473 673773 881132 167350 467261 974901 899435 576315 997025 550268 557976 568752 486306 699857 667801 811161 837836 496457 998900 698914 975415 216816 351880 554982 672912 471085 104276 516122 315367 560485 525183 788069 361525 677305 004413 265549 779298 448176 942735 546929 725239 376363 098757 308103 268785 273281 298513 685950 204438 668086 263779 311962 357148 173912 943149 822020 737758 685783 606684 622108 503497 306924 542212 768090 164012 132490 384435 108040 818621 334301 865546 089559 754960 675392 796710 848891 854085 755435 570151 152207 832448 709840 005794 106899 890285 745117 719502 231872 054189 404664 210701 077573 816994 215593 024332 763686 085918 073575 980140 412377 209638 780180 820530 665882 208291 772877 269774 283610 742641 898255 439868 745433 430786 354710 348903 060403 832421 763723 119744 800475 859625 777323 465044 802642 552352 504075 294672 265721 480824 387416 264711 698119 860120 559613 454605 956796 747743 309058 514714 228771 401305 321431 885793 544904 001897 539504 142677 000491 060944 369901 310468 538862 507556 019458 121266 600521 727933 890529 313928 528674 461568 536183 305491 409238 468431 379777 328332 450719 726522 933293 289966 660338 583914 546801 293713 889063 654148 146046 621312 756011 159226 989866 363995 290292 194822 875464 464585 881423 653126 760781 502137 957592 264259 429336 007626 551810 227599 785240 453769 250899 775200 935797 253268 678637 797176 993860 607576 087028 537846 761693 544790 994988 372764 290420 969191 903181 424174 411066 770036 816177 331996 227819 588048 336238 982413 698236 352328 017727 338933 719697 891842 160114 039479 919312 634873 345462 033485 843385 322794 982064 416761 962487 411350 610938 883779 570592 570965 691363 448865 776974 353054 662642 180100 363674 251465 522776 738376 615035 457875 726635 438404 703760 857056 578437 356917 742202 408863 553226 200733 137389 090241 633325 480141 044418 503065 522803 226311 839200 700159 229083 347622 201574 908966 580001 269772 522337 086438 436470 872828 084299 265214 232462 791029 089853 255863 862968 119710 233566 208708 131345 802999 105699 802604 187592 005418 517791 754857 450780 440229 465732 710853 139756 278076 031290 787550 996883 607733 898325 530661 986521 008952 222193 815897 082694 592520 163698 634564 415013 388486 324726 341457 688128 563725 961839 734618 709376 906974 878045 603894 778848 276477 206818 913334 574665 768783 638272 486629 796067 635803 548852 371576 821452 402913 592126 577142 537035 512089 912642 119351 853017 082750 232386 079938 152808 261186 525987 983073 906771 292693 576599 296605 312639 275784 464236 375640 774244 627508 604019 313671 759155 004773 293788 944281 187885 477588 155975 321393 911746 324734 536339 666044 545599 666835 244924 134145 080041 308956 858928 989301 857637 494254 157756 757875 970466 766082 863989 051639 487312 618541 311299 681066 343341 907211 679724 342420 967387 604634 626559 283106 047242 995011 887049 028430 186295 106938 331146 879983 110959 243707 097903 519473 113895 910839 813541 201603 990998 012256 697794 009070 540419 367606 620001 867797 316059 895050 134615 674034 665215 478114 757580 114295 413039 687740 713519 914639 504999 789199 738724 232897 710423 102005 016814 761253 776430 080685 951987 577327 581881 269599 010538 580719 267693 354846 804852 534823 401328 187530 460144 489684 131102 393899 519092 669320 801165 019589 437975 817526 432098 586041 851012 895464 133077 999108 039992 958700 552867 559307 632220 666112 519426 230033 601055 860771 207023 305709 775515 559525 736752 744586 771733 860663 962989 250222 378334 529932 319159 235230 392476 150174 139630 481659 969985 215762 332927 422213 046098 286745 873883 795090 419049 909540 872943 806087 894407 083591 293054 462862 283498 963254 701740 544705 887770 338211 083508 609653 470456 309557 669830 679482 036611 950900 837972 494516 344146 701000 481082 936931 553760 057310 912259 158707 366510 669393 005130 542208 485626 310549 255665 562418 551667 914879 382323 981024 301172 121509 849687 236098 210009 092008 638340 606989 931125 135750 531878 236748 095589 583829 890794 964533 929668 132362 014152 006745 308256 869338 087986 428983 021925 763692 428457 922937 970073 681075 867437 639665 117457 992223 716730 453906 557348 535819 320226 329135 921745 250706 430617 973240 412420 877740 801631 844646 804492 357867 596941 773755 003344 964705 569876 167857 803725 142921 118221 208052 335425 999500 232195 731079 414723 774274 150633 860588 005584 053795 452042 849205 184798 331556 556743 042107 656703 597017 494480 180081 185453 158528 539656 685394 148798 987105 573392 568233 684424 324221 842122 218135 558236 346012 116244 168547 641134 810493 785498 041522 439108 372147 629304 272564 297523 378239 185356 411076 313922 544213 508126 380403 980204 690603 728230 352134 751996 015772 624267 207402 539101 291549 144747 284800 451218 799060 950676 719835 161104 248539 419317 561757 877667 859897 963015 940401 893651 675377 848931 395906 348910 940444 574420 248677 513463 221356 967437 412607 007337 281074 258081 082148 715598 304743 517956 158401 668211 537064 638600 597171 867185 257000 581184 887647 510994 652710 148480 055056 266176 307364 220412 171977 094452 559632 556010 404375 510472 798738 316981 738193 531788 198076 438537 189061 158269 362222 535829 055095 576670 609115 397039 399999 162036 044751 628866 832654 714051 226204 531571 055603 537256 071371 796036 306129 714738 325860 104851 720624 918113 205068 581593 664655 835420 272006 531863 842952 879965 316224 236094 361603 882017 042039 487979 511757 052533 367617 711291 842526 602021 365437 352367 364753 548675 506857 911128 005936 681403 703033 764343 147350 315421 606956 172237 346069 812878 074082 459874 354243 071893 580829 396314 893172 963678 835721 577008 614697 032256 734429 183220 266893 998903 961830 769919 047718 263451 092507 878231 707157 037271 218456 957277 444846 414808 076776 493430 612829 405260 511405 525182 520132 165864 831108 513787 799277 119581 630392 255227 995479 938956 003965 209892 191482 375864 535348 398493 717539 482753 619587 578185 143906 170351 570703 508773 827768 881507 112150 184070 193350 443049 537147 014870 962881 340201 672254 356667 279763 074702 358638 385431 895754 690680 357407 620749 473366 507406 590855 273997 050045 199752 531012 316355 627191 564307 532467 204450 829683 559265 927407 075328 / 10753 > 256¹⁰⁷⁹³ [i]

Mode: Bound.

Optimality

Show details for fixed t and s.

Other Results with Identical Parameters

None.

Depending Results

None.