Information on Result #2157253
There is no linear OA(2103, 82294, F2, 15) (dual of [82294, 82191, 16]-code), because 1 times truncation would yield linear OA(2102, 82293, F2, 14) (dual of [82293, 82191, 15]-code), but
- the Johnson bound shows that N ≤ 9044 106520 255544 363936 071340 237439 433522 904936 134878 354114 787493 869831 288190 084215 556595 326024 320074 097638 077168 192694 088439 437368 281482 392146 865360 221337 769426 812420 347936 251130 505731 858360 404686 124365 830784 744837 840317 965462 395716 961508 948817 046531 681842 421426 249837 429072 753955 178121 275684 498737 809875 030246 928830 317172 427548 986289 070854 637639 148288 441732 260106 303379 964759 003853 633299 260434 829689 151892 920903 437054 326263 390551 680574 646169 453817 250348 367071 852669 606431 133620 184413 930441 832306 431875 189530 644642 721579 254816 851333 851140 639048 716737 188649 880274 742014 638797 231450 501539 844636 025089 262229 693158 408954 777521 029714 369987 126082 841303 407916 685683 327988 396614 035514 809383 737073 466679 301501 025760 978024 720697 815797 325569 260177 995011 062457 394280 064346 737449 709300 364065 044989 364698 904860 206894 399124 327567 488309 995620 548254 404430 942288 054578 233009 698539 502005 895345 379025 379771 857328 834766 658202 675825 456745 358047 412704 152332 594115 227260 380117 298000 810671 235578 069184 612064 506282 613940 058786 599149 989105 528270 336482 168144 241350 297626 423915 548014 229968 722209 617147 828054 608390 818474 089894 943221 198284 574994 043500 691238 071849 755966 577315 352322 492381 708047 073693 187203 331827 848268 842199 576129 049118 091469 730627 295482 822939 569907 014508 680644 865350 824962 177735 012136 928648 726934 693831 083936 398589 918384 951891 861534 450029 009233 861734 960879 025801 678186 593646 240212 976766 264013 370527 069361 658144 867332 869733 220266 802322 867873 363860 558797 861357 376655 551295 625332 970011 517815 625731 359981 967993 206870 360348 363861 367662 444849 427409 241097 636693 162396 451136 606385 099694 470688 868066 888767 531107 562402 647332 248966 993431 438688 035287 537141 704142 559036 516675 118771 220916 022913 755558 939957 118954 594993 442035 361954 617453 378758 725333 010988 114023 088356 697895 599902 375860 538485 136555 328909 828955 509848 939087 525017 221320 119208 845215 343066 181527 963961 643624 002358 604678 030312 146118 230932 643200 149268 986766 188577 185567 720637 701222 132597 443233 513951 974268 234256 572503 743392 361060 916624 648869 873426 209131 970752 182115 719793 559649 741884 959749 624342 160941 727927 145162 533603 754920 706165 698984 100407 162930 999496 467548 843128 739749 387928 260296 033904 618960 082715 692909 756858 338282 680066 262089 375708 120374 320849 912142 747998 658661 924833 658502 429195 797504 212348 732887 900279 011139 550806 596420 340632 158927 712902 031125 355012 897549 618023 580248 078744 283709 195382 472780 350847 679419 610747 295820 990270 974425 828800 946206 484571 912739 979291 645960 249592 581914 501518 297105 548865 910285 488702 324252 066518 459822 829804 464098 204853 705643 923266 235851 953921 323675 551977 195189 535824 589187 614752 690613 900946 161711 947505 760227 805750 315336 738125 537599 674058 873170 167817 248726 176742 631919 093619 585776 554225 152987 204889 231849 830379 154480 384744 090183 013360 503063 901967 508753 061650 922089 072567 430833 816361 361927 940763 089830 027929 158303 598620 162293 294124 769874 167457 275898 795220 482304 322265 033088 357235 452846 885750 074682 151473 690379 380417 249105 185094 549061 483671 455457 064930 904702 075113 502780 037122 125225 056437 533399 222560 722562 912392 996025 591615 543133 498885 177302 029996 254369 633279 367870 922039 843862 841308 840312 994493 641839 289859 808101 168912 607005 745913 503668 248197 048510 943865 574251 866816 234670 166397 828364 622292 120304 833087 784572 787851 298619 574248 331069 712902 014785 138065 171095 533331 473057 465740 046066 895419 670452 574795 601460 075064 962284 099283 499036 013189 406890 118421 403983 959142 195569 108756 854945 055269 916465 667460 902454 344367 199366 630350 896747 410236 405169 269964 275559 880857 268194 120845 933563 532868 232143 281195 060477 307842 438235 962463 693930 675417 816100 090009 906522 926194 582397 134683 637661 906081 333687 069511 106800 647534 166281 784669 740918 242491 372051 283859 428945 844716 149823 236609 589693 657307 544717 830739 338059 005152 663314 966266 706522 982198 712830 890886 768352 358237 870473 516461 325563 786338 421269 300354 912607 076958 804110 830823 369696 712995 243525 449191 444640 334061 731782 244733 518363 102783 150819 227407 032696 009765 308411 623012 131362 238113 872424 353172 409527 839037 636171 261377 999645 132540 932414 723303 499571 379824 401454 718677 575465 924354 844801 246052 301521 162638 367950 195023 082405 588978 719194 852606 761416 847841 911681 499645 877835 633444 076627 384254 731651 291181 684405 825463 370585 354029 658656 242350 517441 806914 193016 257636 337023 029469 868546 178035 796929 834044 438402 320817 319864 282678 011741 856265 625344 329362 948177 781386 803522 853824 478891 550331 770055 668507 941691 884102 344822 884575 916471 961902 239560 709966 433200 191504 824856 885499 610937 794146 642830 113107 987122 353984 877389 881188 013423 804227 844002 385532 765589 992091 244740 493986 428729 619355 265292 240646 662241 357178 723551 418747 366293 511151 114977 129518 103070 917147 946527 188881 563841 949927 194474 242143 360270 891571 620635 269197 848910 814457 695993 333460 066624 497324 706605 455430 643351 455989 280063 053441 473929 617295 319985 503407 325056 239545 110484 225393 608072 567013 385467 412135 424447 685709 570607 953859 948974 725857 961767 247378 849327 663061 328460 884186 926418 686399 730127 223030 865946 488918 919113 036806 185443 633388 467928 964302 700057 717056 922730 573837 662717 043606 831628 712676 169495 268328 322669 484552 923197 784111 462876 433435 296969 618304 994194 252277 508051 486386 257042 572903 422562 285054 971043 678538 884207 360020 074424 616444 219055 635938 935854 625598 128279 306329 916404 965773 018940 483464 979406 854655 354362 555239 439907 061550 073745 728555 329130 239768 752764 331784 169313 868093 613714 562426 539246 498228 173561 750190 599923 548467 525345 280095 400989 705529 417465 669849 822044 619784 893721 192284 891104 308835 274032 822518 815303 602172 279642 268499 914230 889328 913238 773643 651087 250142 779547 197957 393696 332546 740687 651676 780121 481945 710413 664773 024305 195204 556418 880440 298921 281511 789950 556390 483476 416772 532918 333177 504296 417833 780180 611305 458506 825351 335332 302663 759333 170691 657884 396464 677415 857394 973103 309159 952105 599387 876975 666798 451018 974877 063068 009765 232938 823321 841773 643781 748324 635085 122482 618621 983263 656287 730781 310238 040205 693706 743679 959400 568941 584765 516776 342965 306008 450257 179343 968629 211268 339453 603886 022130 906497 194381 340671 224153 980783 453844 412949 226629 517895 585082 856580 573176 057111 762758 029451 473148 574272 606939 615218 551802 975753 978922 638774 712982 237558 773897 157112 127475 653578 520679 193380 509458 884222 297276 565994 920856 254460 451561 671333 623777 339766 689067 597399 775455 873822 266277 952014 042704 840621 882535 020805 106028 145823 606152 816694 609661 686660 034178 424874 975515 851692 097611 699298 117134 332302 432368 276323 149915 915083 171918 624627 352785 241516 263728 729321 136509 025989 589572 629446 933380 034702 129085 683635 135578 268126 442318 931150 540417 222503 922234 261791 528005 559008 926026 351210 980857 624685 804728 292374 769681 987675 328423 609517 589805 294043 147817 427496 893671 047823 774171 510061 418659 681584 473246 651104 204420 522942 457520 629391 606804 611259 925555 956919 303607 812264 646412 148069 149794 349485 643639 611556 237113 576685 699070 540689 660274 416976 563655 517248 653820 802164 595566 690719 968862 258463 313725 662616 153344 768006 252601 134456 053341 396071 719744 993696 510389 167493 056029 543901 704959 873775 413722 350391 083206 413628 273666 723954 220173 320973 563557 320687 159941 936645 063511 591011 750511 328587 468760 487991 360790 364575 942199 999252 789972 023921 884844 880621 963397 764391 840857 768729 579515 517096 473334 145758 171826 100497 995951 271929 366093 618406 178781 487395 407692 312652 358352 031512 949838 574253 009570 629341 899127 289016 513035 352713 322295 946222 394193 670374 319221 315722 352317 357504 605106 159420 278272 063062 354581 590100 602523 461631 186817 805799 410334 930766 748777 183644 053490 644719 904802 101703 665327 682954 951696 264977 290866 610683 994205 129907 663408 247854 868035 391916 662835 604693 106681 330433 551356 604114 540327 227956 135739 891845 210612 314436 094568 672927 914997 898968 428410 744798 233648 384644 497702 654833 375061 945525 946297 899958 066173 300553 381954 698550 412660 617340 657982 859220 016285 235057 671525 230353 559462 598371 424312 811405 162095 006275 596233 968419 587424 938351 816100 743846 797388 253315 784776 008851 833038 505875 300453 289318 005128 462978 588719 225458 167046 226378 368067 850994 396755 640537 641020 855083 419562 320212 296656 573937 001782 696141 671843 173612 708283 811369 185244 230324 945808 476568 624686 113575 057299 853845 248253 083503 357998 507524 921597 460717 748020 628113 539203 220144 980633 764519 746474 614923 935035 235046 798864 600392 518868 968456 211688 554606 441066 174305 435016 160964 343128 264975 915194 890649 316216 246412 780643 393510 623430 024919 911408 625507 538801 415545 356156 787401 839983 676336 996969 128417 584631 263466 141940 281258 650911 635869 746452 875084 690248 926283 657304 056362 805827 201219 953006 590616 238102 668156 275890 068147 172176 516275 622393 034715 071684 872357 114245 919113 643294 822091 537711 544110 993822 947367 952470 903685 570500 431553 163348 939758 231998 767862 240843 512382 259824 213689 642204 539152 938158 646504 813753 688159 326016 602357 908312 142192 085431 953639 887052 451516 329054 792597 177325 386260 469831 671735 186580 709940 124146 113829 614807 491935 285705 092209 732459 876845 555790 256112 970649 359720 715294 635324 762931 011997 711921 736016 577986 453384 968976 419069 928534 143757 420984 067648 148323 596547 513948 896036 292118 781683 171698 111036 364969 005880 613977 580573 681619 877683 144385 360250 252222 270942 344585 597209 530003 681159 255495 062204 144328 995562 527076 001343 567758 805979 944505 637879 092801 744297 590491 240229 608661 923799 730764 781959 249067 943719 421892 851151 148417 086764 116870 819489 352688 972047 255792 225686 998101 987938 549718 830867 720900 171225 038943 635823 410240 017514 537015 458787 278354 460122 313773 601311 957414 038996 203805 602103 934132 434911 278822 453886 358723 213145 333652 085455 867558 199975 308343 473346 440491 306782 279476 655701 715055 756082 036661 623550 781483 103002 831985 835607 793469 712182 053437 745284 965113 433074 423894 933707 280114 775619 713095 454538 353168 821146 631025 159048 316270 870381 905968 961037 423023 712101 334480 437165 780190 136079 897914 360005 756941 657074 473345 035444 648791 597371 083627 547609 557068 401094 086305 677305 179029 828857 703306 027141 968201 956097 474719 325530 145728 601355 198092 686519 426494 147912 949200 470072 920710 691742 350304 098120 253983 349219 522217 601543 376714 251710 073104 903303 313177 592421 177138 457222 027079 176666 053393 611899 379920 979600 828480 968929 207798 581803 648013 747708 201620 685772 860883 909924 236233 632499 536708 189603 524654 607613 639178 854481 093063 184275 729040 386327 764214 912212 837497 268269 094178 514370 478552 202053 304691 918097 343345 295525 240661 074087 804343 486884 498562 547721 530547 295561 731211 163241 775163 338883 148235 318517 538122 234826 843021 740491 112653 386564 766426 656720 125694 958051 130644 618904 597332 929575 144348 529290 150619 959712 270411 650073 125968 203785 490828 296479 923461 714815 535432 755538 736785 580417 956325 747464 609859 218822 775313 404620 934611 074760 766291 808249 690789 185496 299986 211745 462948 816951 237811 105104 894085 125407 792721 615001 982249 036004 607774 705492 146720 567781 280507 855369 445261 544645 865564 890090 784654 272476 322463 605794 895349 897965 168357 983723 606167 778401 891711 793222 617956 810393 557960 355690 967673 928705 885872 890629 595859 743025 850102 509546 109850 148459 214289 419175 600957 328604 077670 490388 004662 827449 811808 495079 818405 205252 684310 983006 146784 310011 490676 069481 295016 506575 943231 761927 178760 103339 442171 082947 452905 440641 898828 648360 444467 312932 750453 389146 428154 424193 002273 254431 679309 182453 133934 720307 170661 022148 136991 225525 301701 646462 292424 146751 477570 727316 168417 243798 114412 185943 477771 635877 941243 744005 575491 600796 568266 485848 498168 360373 073888 504473 340241 244335 018006 974860 250453 769086 267069 438546 190817 722935 539254 194141 780487 140854 505961 274577 617424 029491 823236 690146 550677 619687 190765 225927 515406 552876 301910 627546 477367 072848 239460 843957 238241 926911 254144 311342 486467 676917 312325 864934 735584 666645 848127 125790 707192 845810 111765 577636 059969 468290 033841 774757 743860 091725 323872 253776 441108 617548 442074 552704 310213 819587 172856 455275 521775 062281 038060 118643 834875 545424 363771 851746 203954 788004 102247 914072 504140 708524 392861 529589 872332 979047 718573 209509 466079 256185 747003 796025 611305 704869 942686 238505 386236 405674 387785 940606 567047 568932 287836 237433 844629 490551 386684 842752 139487 202275 654411 219631 153721 945316 229214 261537 586668 082302 058568 203151 009942 375969 151584 501062 327769 221066 405183 854995 821028 590645 918769 352422 970874 370586 493670 041712 095559 964049 247704 288682 712113 097958 549479 271790 220573 432160 360480 803452 705328 624622 898721 536312 028973 327751 276616 765203 647365 005240 576522 390873 498602 852829 205748 767956 731710 077168 166007 994811 630274 439435 647473 506339 529793 520741 644561 744479 730142 537489 784593 818934 199806 056083 258569 733370 833266 408042 076034 889342 741136 914164 589596 920040 822561 428704 223451 693362 393950 579077 597998 430231 447084 627450 514109 693215 288330 439269 535621 789383 823538 993996 955430 769334 598762 403785 528904 051889 757543 567076 075456 392739 533001 154841 160123 574480 877724 396351 719782 742658 401363 850167 308628 061623 026810 880673 347244 557679 756348 863185 492527 915838 948973 608462 558534 736875 193250 242863 755328 117217 184194 575974 141317 730852 007088 211443 384604 585792 665720 026654 413858 625978 884177 259870 782623 606512 690896 435721 991536 155823 853966 877415 939483 476362 809707 614540 444663 378825 776943 206490 025777 006687 926121 144479 998016 894305 278247 649923 295027 835139 723515 834230 174620 272321 015325 105084 428148 243219 102050 092349 289430 012593 135960 216469 682785 739215 309643 489161 833688 415197 832350 271508 113831 474425 158784 886038 408085 919216 941063 972491 096042 196511 148866 567914 678684 684791 365439 347394 259164 571507 070503 366705 109445 009156 919501 544641 988386 702304 677335 657244 987217 774980 501114 323079 482043 502709 422367 591409 121439 621373 063623 499857 322803 346484 590599 304521 800839 609115 478425 868670 461535 004895 449172 449931 136170 149210 081657 502709 620200 131379 553413 484419 662458 984931 177276 977141 566618 305046 926042 147022 864735 342440 603725 448935 597038 873528 063609 093002 251917 911696 145959 532795 331101 707789 944981 813871 522889 467377 939943 207328 872729 867821 650954 505591 996853 721994 836077 271113 705968 728928 489307 099617 567876 017459 834324 197486 011967 376670 838424 286060 543586 047469 973668 971667 054304 962827 819960 168578 860484 479957 022820 642115 855181 924941 970615 879055 171624 256217 388553 635186 749523 262289 935592 145758 578554 934339 490609 785397 618333 406924 943129 042501 615069 483310 110954 235592 186835 984739 453996 559206 273701 305486 787291 122264 391514 097006 217374 608371 379713 939445 236160 090985 977597 790766 658890 464746 921778 403629 105320 294571 687414 547069 978203 740718 107724 642520 688472 578609 311806 040498 836630 848674 223242 279062 491317 021182 858106 843781 104322 680331 115968 481095 782483 518475 442002 681651 540401 480905 109091 939188 295270 535142 381859 614324 361471 427661 561295 201169 526481 207029 035447 515868 161353 364267 922871 160006 563854 801169 741102 727138 030063 538953 320874 744792 382940 245334 816865 792860 284174 240660 709586 778377 962145 427220 403426 654422 350530 699998 561865 672670 062361 165614 383647 418711 392750 938203 977253 788686 335317 663986 153369 008322 142322 268199 128702 457360 239317 667780 787148 964854 748293 305775 015127 201768 557655 305092 002225 106802 379258 084870 693981 364406 350635 828947 510507 072619 669582 195453 348346 656641 629494 155553 386938 518787 421580 946484 816767 241594 529402 974478 939612 065174 127311 387289 206010 954314 068545 044464 636223 278738 852986 894495 801714 345501 212217 916935 493837 068701 334654 883121 221067 686680 381391 944599 470811 205934 964336 015787 505792 029451 199968 680792 855834 445640 085688 445494 671816 214307 234720 351129 236919 800028 387669 117871 541257 718040 159255 042317 486088 033777 017860 440659 756137 115029 545418 805468 366371 878083 113624 856958 497361 173210 589265 601595 520647 310769 108001 586613 386015 415782 771268 382597 335571 596940 211191 231458 116428 978260 668242 259670 956064 039718 852585 348200 647958 261919 635098 934632 516985 428631 553705 940148 702124 276517 279845 880274 241277 134814 992700 327950 379620 343540 988407 518552 492143 054208 869385 534177 763027 727584 965603 911822 556536 988972 792000 595985 895779 685291 808582 795574 010281 885466 681812 867326 212396 730685 204669 440059 806880 669068 785225 387343 760422 440234 624644 764566 400702 626078 508334 912548 154355 140861 744777 306958 724347 487659 533743 320508 360432 852972 943795 285883 560697 050075 510862 932308 633178 523640 405169 423162 061884 565551 604988 759358 921660 267562 393974 110536 551246 107416 598466 296882 693132 484574 418799 048396 676806 330842 086413 504184 213296 545909 815251 465015 353725 415304 688561 277346 450344 303352 432886 388135 631253 628941 299578 545949 928245 704336 146721 901236 062966 495959 914088 105461 352756 222459 443458 545489 772275 398928 131110 153802 775803 296094 352113 322584 465506 534792 044169 475698 878887 014314 672951 068635 020802 310809 898003 294649 051283 186884 913760 028838 717879 884937 304600 721141 899546 448472 142353 668882 550759 366244 910926 550575 208756 604692 461396 426794 019517 404170 569737 619912 507548 777893 039321 808647 594436 263969 028526 428097 631210 668482 836561 578447 559497 984445 800781 876903 604608 289862 800250 309257 614829 499867 596719 843097 472742 715200 514822 354721 628749 060852 227029 215208 966266 232668 068627 260248 098293 524716 068416 434402 015167 265618 213092 258753 479722 838259 325888 661980 387447 956587 352044 080232 051287 803256 052948 166626 090560 980483 460983 731690 025364 739272 484783 172083 024618 306469 935959 517299 001817 391403 805594 281872 671824 898577 450932 119917 553347 714596 900986 534310 285103 320693 228517 246707 665630 394400 421797 442077 064750 807406 712999 617391 298080 100896 739651 458540 557868 559300 499216 104593 277866 707029 154357 957370 647629 869118 324380 314725 641585 839476 829038 993989 957750 938442 536667 353484 685804 928384 901882 401918 976043 765635 135672 217080 632663 804681 138649 679845 704559 047374 468774 685172 030635 913233 545041 905153 862251 365482 072269 489373 672376 560928 566904 235302 360993 209270 255895 996607 200071 282927 048161 879219 743496 309902 816216 279897 785482 750250 846653 396961 240937 061683 410484 660182 385517 030411 155401 272262 341654 127513 121047 696492 316901 572829 049620 832704 895063 221673 166412 521662 948444 835035 844288 860629 590180 089545 496538 829458 037414 755667 419127 647219 157496 687453 471341 949212 916746 047155 455977 751887 648052 941429 184267 243877 886006 500212 681795 592825 604903 805195 338633 672287 129223 002767 412550 894887 699268 615888 330935 584292 716179 879087 236193 266038 445233 050749 198767 076611 741142 993083 923732 865675 503960 201758 136349 917961 081841 250240 214990 550096 570198 339514 985606 026083 138211 872861 326704 856279 666060 316675 834412 276379 248921 382090 414764 364561 636238 512133 115327 569711 820621 135291 891923 176203 129423 291173 309604 835315 002995 296967 822702 395154 666145 606459 141450 445134 930765 349308 726369 335436 789195 189716 320474 668806 491812 691433 947376 655550 681200 655683 362065 481542 701975 013497 221831 565725 667262 960023 762183 125966 112405 469126 553906 750140 482266 173773 677616 477410 924329 788705 300627 401221 084568 569189 629168 352377 130146 453549 399254 889077 899381 665030 921037 179639 323211 128045 826461 791195 203051 054513 886938 362974 084317 929487 699165 750176 368816 966951 931676 663085 886017 636673 750319 200140 824303 700095 449670 082063 933421 397213 328241 831406 482983 964363 329087 762733 452691 617480 858279 352465 180605 623527 722500 121132 651814 838918 088026 955103 196111 220969 501803 658813 474663 696751 997202 372379 108244 306922 663357 994398 561006 778213 078067 257051 782390 245328 705687 388947 710425 581509 768164 088341 084765 394585 829143 133814 180298 068421 859477 859164 717968 489174 579966 497915 243933 663043 588509 133147 193451 614842 305472 795214 148730 562670 541515 499888 660520 431663 958144 967531 148781 397581 052633 594820 747860 924828 417932 255637 651346 468553 776241 654268 938435 871885 737802 756494 411100 680897 392857 540296 716663 422024 923652 720727 191529 354434 576243 824521 763661 135936 637048 182530 164246 786211 628980 360541 620481 907363 564590 303472 476585 782046 491251 358684 749844 338658 536325 568464 933612 291677 258975 866769 963977 144557 907062 035293 826576 936739 724293 841009 852564 821875 536591 384895 744773 095285 838077 371371 359655 818322 722849 303324 243982 000138 993122 137154 830245 100435 191631 887057 861542 502987 459440 131866 415557 612888 258381 623531 411153 573277 356241 397939 958283 442680 904078 010880 260713 485786 801449 796715 788536 591131 152096 196708 107085 624255 138560 133801 752237 929256 248479 080909 410917 142261 243595 600710 838741 932435 133790 953814 422280 235327 558908 762429 410895 566505 895794 758272 658988 685336 680396 600022 325565 371151 359416 349223 165027 620518 026146 170433 219318 867108 698071 726901 289353 691475 974854 723970 623082 670755 178309 049308 063482 269251 795789 240403 805141 275865 240857 918089 584383 388337 809489 804293 403057 059088 438086 143730 455653 238699 919759 350768 195807 551823 661495 296479 764677 100540 073404 573956 902502 632314 269564 971929 303921 597636 088096 698592 340400 545673 416543 655135 515358 345579 897760 856717 471137 353234 723757 534363 704257 436056 910817 315250 153900 991674 561287 588816 091559 757766 552096 697332 088672 112991 480219 177867 577272 355663 670165 774921 962322 216706 676808 465563 572887 192630 861853 064896 141219 544764 649214 232931 699936 054950 240966 767663 984601 842729 528952 975626 929468 577637 493836 825088 754283 286989 041182 142223 903769 896003 780933 302276 779718 638064 375489 176209 873963 665666 189883 218756 426033 082365 494643 921279 623334 806402 128942 046280 729091 549835 184301 351241 345967 995403 647112 766469 484175 486770 580458 638325 643969 285224 958436 950142 719073 437979 092291 919129 698700 449687 794112 302043 773235 274134 364658 162422 533243 310570 935309 795539 119674 573616 691844 156159 091366 348778 716124 137529 358227 520573 734228 650709 385038 071345 300934 351681 331561 382052 815574 362882 903881 653200 262332 866171 480169 051978 530195 210902 650592 708637 118367 488672 434846 256136 550863 924592 361582 818322 416052 464328 313455 727566 384710 931021 954611 962847 649439 620604 134793 747910 813998 975750 771043 463696 318549 290316 046148 159847 084502 357395 287724 350955 791001 508247 323562 792355 074310 480112 243789 590265 926667 755294 396306 534161 811721 944582 084186 502257 778956 902623 716827 752783 551431 895470 195406 297517 346382 736423 743483 418006 173861 428089 438948 955888 488869 880445 242054 411931 573919 852304 174652 519458 661023 775810 080063 558332 799336 140045 017376 253498 914537 592675 561992 646209 228360 394658 493476 411736 675270 683179 842115 750335 129485 352904 434891 615204 236430 300990 839514 739288 821357 602545 082915 398670 539886 761564 088572 461496 633461 611543 921402 198527 322431 825029 170943 661058 722468 970146 854447 875954 863395 032257 153449 019110 262122 914758 998425 905565 937358 981912 658545 249079 735770 250112 375062 853403 767883 389235 404388 161396 152995 455213 526560 585859 343948 120079 286207 586080 673289 292859 803218 901547 339140 718870 751146 668518 060886 323406 736959 575623 560068 832404 003629 854333 248791 407829 072453 907670 727921 232887 717109 760104 163663 330926 088265 511496 998097 081340 625805 078282 400110 204581 172046 964756 458259 223470 247008 928996 493169 301836 086105 618623 373097 594778 249889 958324 239804 351029 069344 508393 847650 870456 072153 752807 413599 843923 118578 416566 034097 375740 513323 410900 560166 903988 214012 819916 042863 416750 254319 692608 839446 205133 475591 200409 418159 643011 578617 527091 180114 373467 552051 312613 257639 393265 133486 616140 098241 726310 481424 769271 821589 210066 501652 180748 695326 004071 876667 256070 763067 327753 712914 322978 525492 667435 545849 504035 402222 305034 141047 338424 560735 292393 266048 309472 639439 898353 591202 773511 861492 203587 722448 894753 139919 742264 137569 937823 559021 586220 160338 906237 144739 115653 991748 693165 423120 413147 004875 115778 898357 330045 376945 928017 098423 448634 619497 407058 080269 333463 953513 642148 052652 658250 668677 591932 716469 019383 266831 116049 937982 654160 548945 035217 943094 515489 295930 384613 837256 054781 377700 850247 373193 059058 407319 589776 101338 528210 849421 720493 296715 802349 715531 950130 067941 655677 786119 574962 586129 025217 211865 397353 739113 755164 693469 242878 630675 534944 364020 243529 596885 546379 191385 250281 581038 514481 432989 603444 120253 595915 181506 312986 311297 502318 663160 759127 690230 686801 887065 959785 392131 447404 839470 729372 595662 189869 674557 093135 899018 398757 636458 082201 477414 504660 547804 742432 395649 306498 749160 646974 654019 418039 845497 431079 665044 724565 314807 283091 947710 943623 102529 033575 462543 810295 437090 772609 154005 515823 389051 538665 229879 826847 754397 049279 989059 092275 101663 067609 468664 298201 981320 037985 973302 002181 018455 514864 587713 549811 521204 383026 580512 367389 049121 125039 978820 820202 766844 866004 511410 836229 049985 600792 472653 266633 275839 309055 369240 145867 997340 725373 843768 871511 485166 612549 790983 521133 357223 557805 904608 952529 314866 009563 390717 385176 352496 257051 076219 785542 118316 208304 866830 459528 988583 190115 412187 292548 333851 701100 361050 111823 868407 117544 083944 083154 321591 540602 963250 957637 761630 465758 065181 534583 037488 518507 606044 347949 965834 246902 851153 335354 757058 438170 683746 261155 734506 631857 615478 029709 628401 539577 525817 972596 967261 578359 001276 246339 986487 989315 493580 990015 372882 896638 047373 855394 994780 677446 542022 604749 730219 045745 690707 921714 333474 249548 766130 724261 423359 839684 191502 484371 676015 650036 384091 650982 543405 297542 017628 971398 812542 332546 787859 411087 227607 290845 831696 712319 629785 591586 534896 366298 646016 820167 094782 263329 927363 015975 204968 628468 076176 743002 822235 526710 074785 313109 007758 123008 482431 107420 994481 873055 074491 261823 833913 052711 825736 161909 975690 266461 926934 390126 845851 666794 323679 728662 208308 766907 016909 142629 972436 215734 101114 322923 979880 478601 048384 655236 210373 491916 375894 433742 579610 180371 810511 120185 645861 086041 612447 038169 470497 810420 356526 572771 659502 238655 352833 021988 039677 045697 855099 843461 576430 833378 551591 748682 176902 259447 984411 079269 847136 602045 223557 867454 126634 433813 168010 122958 202005 710556 517958 834810 571829 434665 824364 570160 456762 269322 000712 472047 546341 539956 250335 706521 501182 246132 690854 037097 797669 249202 227600 891767 927293 470700 844165 528297 601206 228014 174787 909292 918955 323666 726897 476178 151476 531778 734253 322308 428167 602182 840021 798408 791369 003497 104051 < 282191 [i]
Mode: Bound (linear).
Optimality
Show details for fixed k and m, n and k, k and s, k and t, n and m, m and s, m and t, n and s, n and t.
Other Results with Identical Parameters
None.
Depending Results
None.