Information on Result #2158288
There is no linear OA(2146, 104937, F2, 21) (dual of [104937, 104791, 22]-code), because 1 times truncation would yield linear OA(2145, 104936, F2, 20) (dual of [104936, 104791, 21]-code), but
- the Johnson bound shows that N ≤ 1714 962858 074735 618668 432398 285069 309375 456054 372017 546922 323114 825529 873132 261511 856640 410477 177001 412863 114072 042016 693515 097628 026388 885856 553875 330519 730127 169872 527464 228144 074848 441255 292019 220675 694045 184193 226709 679625 229549 760844 420093 129602 564642 005730 804623 680808 091067 537606 586467 158846 973798 942430 165752 174167 533593 923996 626616 820000 859955 453718 314683 982235 937820 812163 690557 409395 683312 395925 283144 231377 660756 597143 176941 172917 966154 152899 361627 586996 735306 323158 868371 395121 215817 248959 678625 499440 462204 454871 213686 994764 614396 187829 698042 429675 527158 386136 480550 418953 364719 880324 323585 862826 268115 481102 820453 014267 437546 204648 555264 399845 900043 820405 664271 398632 465213 544074 423164 770464 656512 501573 168980 383507 753292 500496 619147 401235 549461 396197 877343 623618 591238 828226 569048 849924 194102 144865 103060 681006 913343 860606 647241 961567 288997 303944 943453 998080 896022 186429 222615 421059 679771 128518 003337 095212 041850 842684 100614 884934 232005 063307 380563 470583 697512 780775 540650 104721 786627 754888 278743 091874 747372 841519 705504 269287 952103 447311 877904 501472 359377 845395 086388 851624 841607 658569 636046 032943 521392 846107 553509 004588 646273 264038 920663 504112 007312 608374 485350 158388 102698 161489 508460 365858 724467 658778 621402 737729 494153 055301 761216 826110 699602 160949 560033 387676 913558 938386 862930 597449 623043 607184 114607 888025 485668 986567 770654 657638 304891 085797 802303 553648 732484 117189 678032 761861 585361 549722 289535 471780 502406 281665 986523 901200 520582 627371 629136 572201 022138 178437 548747 378903 754512 828641 967882 611222 085529 535714 674682 755112 030440 861707 960702 379450 491391 554703 739445 221522 904789 622736 981772 583056 749802 963600 822155 346114 264921 044976 975041 758068 604490 199643 134185 812622 056935 506020 221441 027789 584492 784076 021956 616388 462458 330811 455635 622577 921750 708530 891775 977174 065241 578098 616944 752706 226643 088120 710412 129360 898720 472273 794556 854724 535279 486128 541357 971043 750171 957043 205482 130665 642014 096820 673542 132341 309401 960227 627897 610700 928660 943035 176426 635114 045159 609995 841770 533477 055720 418803 646123 830899 090067 032912 803677 292713 208750 576633 935645 657738 770506 358087 616553 850417 895386 716596 789095 080375 193092 589831 141738 364415 122304 013999 538488 612288 667656 102238 966916 413959 340628 669034 965850 056065 006392 691889 698034 857783 100858 094915 190079 858190 164045 824064 034568 566861 795052 010071 504857 335961 849404 748899 700716 059223 985526 167281 105842 641532 708877 925890 892186 863513 059700 281307 671493 557964 975955 865539 096107 254317 212659 208844 116271 887384 921680 178485 706611 660757 994218 404461 567924 736850 462021 119584 499525 662183 985776 348164 866164 111686 287167 864282 979291 822910 004429 200035 847991 134390 573392 384912 966921 535941 288310 590760 618926 761965 441700 607776 295282 511289 121409 154928 486673 359533 846209 565374 070054 137851 994227 125374 545505 814533 913879 393617 237677 202564 225897 387467 822016 213666 520764 066475 000342 256698 049536 859680 579694 112441 739272 025373 013605 021742 603040 350713 563077 540378 069709 354949 029877 300747 278345 089858 894294 588563 141494 131917 029609 892892 627221 178192 114201 083271 631871 615390 533598 864087 533235 693326 040439 048528 620175 042183 906464 109800 892583 648694 381490 786274 585803 920983 927138 120270 393297 266230 927965 211033 650159 394623 978174 590368 389990 890957 983096 302378 125552 631481 014833 479963 903211 652164 819722 985563 625829 814139 583941 361780 547146 390503 886274 879070 844422 853825 780587 271370 148311 535337 088163 569578 752620 882865 706049 700651 633603 057596 218433 986173 947130 481793 225606 482749 665180 474272 587836 919565 794386 030316 937360 639517 654992 786298 478371 331656 996350 336416 406598 569891 683291 428676 790080 139122 289081 330019 267591 760572 427630 124673 911696 695661 724784 376275 085894 382311 521255 833166 776727 287219 314460 001394 695341 690070 455606 241527 020815 071739 053152 507727 640870 214430 212845 356266 034549 050372 874068 988522 833948 448111 296814 355932 384607 434125 790884 415404 237169 889272 816898 416794 520705 885009 355641 629373 993779 601105 145395 780520 791582 895347 763670 761501 783549 747472 338708 183769 739575 142468 150209 900841 399565 388320 884620 828629 289480 432330 968442 400679 148242 065689 557132 211038 973506 342588 884548 748627 184660 808423 195586 582596 593615 238131 112270 753749 259276 970099 561343 490402 928254 930524 948726 691815 755042 961960 067683 475480 842931 422368 155840 462695 915343 730731 511895 743297 801692 878065 689851 940664 723152 534956 156446 785288 146772 632396 758686 663234 308790 741019 700933 210988 590181 956971 291499 055248 775560 394879 395016 769697 784611 920767 278869 200185 099568 249001 417685 059743 059187 850451 528335 084010 964872 063178 423461 034732 761415 240890 561363 136160 511093 361661 657230 543017 877725 216939 572563 075676 473484 287184 708028 262082 459997 038624 827752 861257 624547 372635 372559 165357 485307 121311 332542 610627 919212 325011 895894 138353 936363 756117 906629 236169 423896 232438 511332 891820 602377 531056 810667 911923 963247 268366 894016 454424 181079 587203 876821 118415 146796 540713 741271 939825 738105 030897 093040 774064 133666 605316 425098 906776 050457 707821 192821 139953 702693 529667 566162 052623 319992 272186 665130 809641 317656 378697 319916 659422 283112 044577 814498 965315 704429 265832 098043 618881 006672 064457 257827 004777 782210 007927 269362 309521 529429 737313 478487 075529 131087 359365 066109 574597 857601 905955 673840 020337 523267 521958 105594 241551 416018 742222 487452 035650 074535 264827 609182 882011 187796 012994 284955 175971 108213 717550 189210 736701 266415 801570 464532 538779 314926 788818 954242 631894 964377 819857 083927 130115 829346 175007 641871 320220 944216 012944 480953 050934 428937 170809 424176 118418 538221 964939 524067 425843 296380 056804 939557 909663 780372 533956 210757 003203 869970 675894 854543 296804 495388 495888 518432 353002 993201 643536 883724 000068 589126 668556 507117 452287 299184 895283 908498 836910 985367 776552 019162 242222 931987 455068 004757 423964 500723 212155 390192 385166 318720 072930 620028 716644 885755 605315 882092 095108 475965 672419 587247 563167 828831 342282 162867 245307 767929 504720 759413 513258 560093 693164 573734 784489 109574 952050 183030 921240 656756 623790 503689 726637 777050 680835 929740 153495 650393 269287 838426 267028 766093 147364 563429 928535 457994 212334 912865 585258 403392 476202 617789 296087 606208 854827 715891 487572 932843 326760 220782 283394 074581 318277 099421 908579 907475 430241 477522 161684 984053 325817 372186 389781 425210 442513 265422 288137 225158 537288 673791 571527 112472 263773 068347 216231 285848 011510 214363 976848 178413 010563 328057 280363 131261 598133 850215 252317 544820 340684 491733 515366 478872 342449 597250 072023 872086 825750 665191 686073 168605 387585 762195 564803 704660 597802 637081 928435 775042 537374 391523 760509 213769 981458 361132 791977 352393 827126 008198 076344 682015 904945 974484 518748 876369 340537 921817 262670 559947 329694 009292 248969 570512 689173 365261 792430 437258 202892 693535 946479 288869 064748 638911 282056 269225 402365 970397 166121 497482 458819 957594 313665 077044 472214 600912 570012 839349 719869 584173 468336 876601 823469 190309 643634 566960 168776 938150 269979 481131 001143 585569 466529 567057 730755 346564 672742 991234 933959 986067 809594 162948 569252 849584 176315 158927 377449 991592 304271 449281 861449 242311 154980 714922 506168 452793 339599 775226 067031 185187 128412 108683 131222 505128 041388 857145 794079 124780 917282 633369 977902 968794 316005 465385 157338 438723 003801 390930 432118 903314 822959 077081 249684 273045 797100 459609 114636 868215 071208 538759 097279 709788 166794 895443 699481 403567 103638 287778 737617 131421 107980 362296 884228 409642 084057 418915 955112 151738 660941 268822 423813 759611 163720 040449 507343 466852 095230 224753 019705 647718 898567 395305 051612 932737 796778 494956 243074 241650 152080 722625 055086 969871 715019 068955 448545 837530 626597 457032 584337 699831 070134 486470 072105 213355 250388 691740 292959 926636 577601 119734 583911 510774 745649 896382 096949 979672 608660 663832 770157 968568 989095 866002 931193 637208 316649 475890 721894 020186 805705 359439 465583 658376 946844 535397 194071 356172 782439 358528 109213 473966 469941 941060 948012 787098 649726 617091 594379 280819 014100 554505 454910 770904 281371 024598 488264 054163 825873 225450 324126 979510 447801 557175 297442 121703 976854 300297 892520 627864 367941 901904 126345 387279 291327 159137 978047 546546 147979 508409 220748 030305 859472 889198 264978 746610 948785 113226 307576 033037 281706 003405 268489 895760 050169 332299 709403 781670 310750 310606 776300 961853 782605 613814 628342 010908 974429 258345 069921 288097 086391 895168 487918 592800 328829 915092 819257 918271 056089 843818 418087 104117 517475 401985 208941 020130 068482 575210 685757 825795 330632 559209 249679 999779 041489 126682 506234 949701 053702 922217 990143 181330 067540 253012 814265 940907 883586 094082 054681 055467 921900 744450 100476 597978 640199 444439 262243 856571 432849 726498 587504 056235 918689 483458 169019 585529 474030 467497 319078 825148 449734 578804 676354 806779 639733 343086 467585 992704 326322 185711 865286 456747 837604 565316 455377 149960 523778 884382 214345 794204 649010 219584 183820 538431 473895 994567 209784 636725 852048 640818 552757 045008 786572 180458 400484 799495 847258 269177 552220 337477 455837 038918 918969 510436 698653 252143 526528 207615 471821 991955 838483 247758 383558 525663 495417 103075 192620 959556 113346 787645 232204 740649 833927 674446 940699 382606 643481 287677 996161 789582 084123 838682 974205 730952 784188 813554 302205 349969 616511 302394 458154 643314 792435 868468 425697 386786 221972 539028 481346 566843 921354 996043 916083 221270 533908 514966 444394 525534 234319 100187 375022 059227 229952 279839 736587 676668 637313 244319 234364 226413 400328 059344 235407 280502 628137 256515 380302 472920 287830 719600 065013 699124 733566 145269 776141 144239 845021 709123 368126 533788 821013 250293 106586 645715 357062 842779 038700 260064 997806 320467 976775 389552 319647 001759 158002 293095 951852 970081 825990 470635 603890 784574 260344 688847 562379 385730 331680 825945 229607 613828 085297 227867 951549 071655 156956 306862 516744 807599 445374 156235 438960 168443 401805 911803 844496 618083 993889 956916 289058 536749 567705 823584 110639 244743 303400 791790 281007 765234 092912 812215 876825 605703 245893 417740 589112 099816 254401 076098 350397 380824 272369 994342 867982 975349 475076 940757 303578 902610 350138 360044 809063 029877 668713 585678 861308 472785 883240 787904 399191 108585 268667 759976 365338 314175 754622 210236 623524 191844 700575 782289 650977 888602 214157 533503 566375 370987 519455 532982 947844 806653 728844 507702 117419 935734 705176 681282 169658 432847 739343 175818 729569 967113 876444 217424 199681 847484 665488 140165 511187 771875 267855 320831 078374 528806 379722 160254 900630 999564 783712 989414 948700 218249 428794 090372 836461 295462 569869 864928 641537 874263 992641 739924 095306 689888 972713 183930 991087 392680 997864 880959 328180 887780 420281 454152 736753 368898 261549 717344 181107 928731 533547 176383 875145 650036 168457 435513 217123 022628 165220 408687 166072 192465 138959 586139 209328 619293 921015 330287 262674 810838 696599 331146 336868 951919 698150 299170 905478 241738 750706 057602 571560 060502 956752 348934 507119 033152 930043 843262 435249 257473 796593 756908 433094 254041 948707 747423 072533 020559 730973 751407 245038 768163 413145 141190 706072 983465 070459 586898 268609 282746 137455 857379 675804 984816 503366 279763 698310 695016 595244 627352 884880 672951 555228 357696 171581 863115 564588 095755 555950 060548 956980 231817 114868 380884 341530 425904 990858 972692 472793 619556 904187 220086 496214 303452 094375 830381 724262 413965 913385 481867 563084 444281 940014 521619 997842 619328 257081 722812 529928 935766 239899 261424 708736 906440 796468 059741 081373 404427 933197 429374 654323 367548 404038 017906 450751 484407 208853 769791 530723 743654 598350 317255 122079 099759 160743 953949 797906 595864 799204 376122 034493 331473 282139 567178 627847 605666 169872 467135 380180 341881 310701 432644 115519 096326 520595 467338 122692 549947 721823 394994 197137 669691 609800 367492 286108 795775 840276 329678 678490 050243 061768 516043 346911 573594 646656 338977 542566 191296 965702 273514 084817 988782 708149 936530 857876 572561 129568 081325 116387 155685 485577 000825 055934 828429 265708 608860 391180 907396 012213 445049 046579 412180 684168 620901 129181 371565 094202 545298 142359 530187 721486 041237 790949 503894 229526 990052 056524 579924 178115 181024 792048 577303 947005 772612 248888 565288 341682 043511 589742 670286 370321 264024 197757 311218 478791 073446 171719 261831 302371 629800 797962 681528 475698 223363 641206 170789 927885 709831 487683 648487 078828 867743 810882 968555 329465 300158 647306 902432 243990 923678 467921 603862 979075 500705 680675 271192 591765 819472 114945 493944 723214 574793 262757 733497 344279 982402 081578 112514 012359 377945 314645 207831 478597 050028 606017 310224 713207 811971 824315 707891 480485 286399 771504 410047 969547 104819 479139 804347 652467 785878 241521 299225 687614 790556 065182 688523 744025 187587 026390 307382 794019 592561 945479 076416 775986 598520 659516 882531 721979 454742 521154 421850 887359 792757 028809 314098 912225 568133 443329 970295 953794 287691 818641 705192 803193 669813 876279 562303 994767 774928 819211 615785 415054 930365 001294 012087 454123 743431 988145 195890 914356 795302 531261 437340 062363 016175 373196 670318 419940 183546 026879 616598 357572 921081 705700 686715 632040 226098 252040 925797 847242 841892 706898 934989 966237 051208 607481 869105 104927 548039 573203 639266 025592 145573 565816 111042 354446 022909 923184 957212 184828 618388 733231 884705 736331 872411 333418 826201 215832 861573 956431 912774 607930 246347 568986 581688 604450 050971 108710 581928 458236 831589 780850 296218 200231 230660 602205 245447 126823 773477 221695 872130 376510 954892 742938 264006 534675 908540 522335 748344 591766 821729 624640 590033 434151 019277 690228 028256 752261 122743 709973 737614 913058 077023 090021 291361 873439 514704 997703 709358 959575 268501 092641 766753 707198 901122 812052 636557 262244 686803 131243 697206 396037 137642 592387 002184 506140 584240 039057 380110 059459 702206 286552 843045 251590 364531 997378 326380 103776 840439 834403 979894 886343 268264 338712 103917 849927 681828 521052 961638 740081 110457 546530 932285 754452 627748 753926 249099 325317 286705 765239 607564 518424 533769 300355 604881 322354 137947 204387 249126 166225 803450 106034 732239 198268 649454 623748 159763 327346 774496 488526 988343 136096 581550 583479 077257 225119 579736 541807 610609 755877 800092 085363 018479 310234 990921 556666 561249 123381 566510 759795 174461 367892 915135 489104 399674 885065 594089 678576 422057 683997 351043 625884 390598 437881 102810 052872 944367 909449 329273 939921 230057 238838 324808 073176 175292 981554 421168 419920 509077 295087 031609 240665 384891 248295 606015 054759 045611 704289 982357 126071 232308 760530 887509 288059 400095 544486 757501 315690 160714 481765 212372 703471 513601 423530 319959 948946 560305 457040 440457 054029 048482 332457 823090 917919 881651 342449 550161 886901 898968 843173 630178 669991 662595 614750 702572 367951 538363 279165 380017 699693 690259 711434 499855 386988 701140 791080 471524 934165 410824 093604 959975 528671 851464 661819 104231 753316 958128 930445 297305 991802 096606 920103 475713 710369 447876 780680 384210 531996 714992 847271 724321 183077 712539 678512 631080 396730 716764 318113 028698 063702 665078 458739 127465 948507 212040 929036 835776 850072 203697 793543 430540 077386 279836 907409 011242 695099 557536 037242 578273 222949 248138 211018 369583 853267 478403 739167 264887 868039 442620 807611 926254 079252 279321 310038 585106 407248 049719 578522 105046 083497 208486 277443 542027 872579 522235 569830 959790 919924 507916 485929 133710 337978 779775 392401 212308 313908 896904 498405 416027 767676 209477 802721 597233 519700 755402 172965 670242 178920 560904 225458 094994 427730 087637 394421 008905 329065 456148 648453 160350 442592 267878 919653 384666 306255 257084 193689 478059 944495 392359 283354 608438 890156 777588 764101 794910 992402 989103 534815 575496 383887 238623 066952 351536 719670 072404 580250 392874 805491 800959 102441 854409 503693 862883 386231 140499 458783 064012 076834 108089 824813 906901 929138 820723 651280 572077 055252 255295 813101 638754 456625 484719 779674 465837 443829 282703 686673 319324 103912 677238 519071 640342 757921 351003 784071 551500 531055 286283 049420 334838 134384 405411 136644 957888 461069 473288 046312 877673 508698 796219 401056 045814 415754 769649 268621 141517 094075 463401 534610 591145 573702 334598 069724 362986 571963 336800 428846 385024 545662 503343 821903 014373 484599 133136 551615 478996 896636 615249 602032 264200 563045 292328 739809 493679 503550 657108 853887 429114 561355 796755 766644 949105 643561 802574 437627 097901 966198 460976 376061 776658 840631 210985 440064 503791 965233 436452 503568 071489 508487 483019 859275 510340 988026 786252 487035 262829 180072 780430 436670 497840 061194 178113 500040 243886 969434 051402 348380 476488 213751 436387 826068 154608 787743 887405 525912 020286 517531 086223 504024 237089 896932 315238 040490 176612 449103 564908 883314 416119 586294 967520 362599 305944 995516 172322 474322 014560 803383 708128 133831 534002 198635 185405 694793 886162 683369 598511 976681 743863 996814 422716 756917 071248 690532 231525 899314 293204 057536 783520 849771 713011 483324 742776 013427 665066 895052 935989 366838 394820 592505 794341 750112 068234 028781 061528 344026 197075 273358 376865 289787 876882 950717 517253 799925 104439 715420 008330 386810 501629 845029 597131 205789 350843 538810 461608 479558 233896 261016 927415 438389 183746 137735 139878 335726 832979 803174 459207 500374 034437 879180 379698 308095 225609 809061 488583 506191 008348 508542 426888 671384 245244 538663 839198 591004 749753 829038 568179 327612 908777 129383 734650 581940 410767 380245 777077 394738 582953 037943 847502 361934 131222 250395 049482 206501 695655 661589 937472 702723 187785 143895 009139 501486 114408 545606 526882 661248 204829 005459 173324 112553 692270 091612 933920 080525 241151 577017 381277 798223 577593 705272 182444 015018 287133 485001 874216 950256 219059 604627 934277 726267 336165 996980 711727 647829 870387 971219 333663 484172 250808 267074 279271 102494 945299 505636 736978 596259 759854 128283 877668 221034 799366 559261 244254 013672 218896 180190 725613 048872 937201 451443 713285 584395 086888 545362 712821 994085 464044 010919 460710 102515 268155 753622 833582 549168 890449 205073 628485 985736 342996 620591 865274 596301 445525 932279 595980 202755 189411 525157 511159 030553 632506 405630 789791 715927 247537 149226 572095 314203 219119 131288 444067 551990 272775 304104 399319 018744 572695 665517 101065 572861 678079 213714 105617 427624 067965 493686 471315 557783 751135 373897 058774 020015 874215 791313 193926 183260 271254 966074 843958 436994 976911 304775 520431 925078 685947 131245 646787 562190 755207 788414 960182 953421 658595 293885 817835 315660 293103 265954 862339 140248 962563 513815 674369 979751 212463 644862 488786 202868 972994 777352 029696 403150 401292 030568 931559 270309 244591 661664 013804 862575 397877 441196 529447 330399 953419 741307 267816 699621 582243 308990 790338 150374 581076 864947 964006 671431 205854 990298 227208 260150 172364 761979 953109 349203 088449 893179 634354 240488 730848 439245 313741 014398 928182 574962 219459 453745 290445 580391 985816 070515 675903 417618 656219 104733 595752 339347 145341 989221 626831 074586 164350 163646 936605 259547 046747 197658 131248 977622 474135 496502 881073 540438 472613 615518 055749 578567 832794 624810 216558 212420 198521 976860 673061 236269 773231 529319 656962 900149 860215 982871 751259 952512 730895 137803 636127 252238 255833 450404 745265 205566 549184 782046 931266 241383 561444 033596 232761 616301 700018 546494 934860 084999 914294 207855 847542 479732 159885 886183 879142 970197 494811 712382 545719 883727 175993 336061 663958 966830 701171 258819 508571 356258 967749 197680 942950 950834 771154 792894 237741 948494 515079 868282 697331 605998 248917 223160 012274 827189 843237 645107 158794 196726 252821 946810 032829 587322 459995 334239 620845 108852 842497 612525 491284 601333 511942 820216 623118 971337 947957 615728 415244 026502 197553 341605 483406 738491 519155 242004 134833 765568 317285 376129 916982 024681 773426 664737 635986 015702 009269 902963 041041 080829 399318 446969 327249 273940 281044 690986 134429 539401 999756 440274 171424 862748 559171 030998 490757 823425 377253 837997 075671 005936 399623 686504 948418 043730 928360 636823 293756 301253 211679 066059 465537 768625 182801 559207 491918 044951 606779 721238 369030 067348 842406 200656 940711 155865 285746 177901 182772 366290 637583 556387 340477 398845 461787 877077 916259 380263 910646 179278 914741 043160 009510 769133 729876 413187 209126 140016 841407 890345 041915 215898 609986 777470 386554 005022 418660 559524 891050 639027 329030 874435 261547 796352 711737 541007 097919 987488 908105 409234 035393 345872 447801 905103 868265 955969 825829 076201 530847 424117 795964 346581 123429 860987 089413 460531 109629 798635 300441 163787 703083 696341 624735 004130 182376 683271 982199 089344 066027 954569 090656 329911 879926 997859 826762 998886 368572 655681 257018 501756 420911 556993 778098 148774 415014 979746 584841 760661 935990 350992 672224 513326 608365 583309 610616 832763 761770 379069 245960 456363 926250 057938 194493 101011 524526 642371 236505 070851 155591 204306 101116 459063 567879 653756 657594 619584 242245 086589 511876 405397 497370 333258 196481 059989 338341 664827 361110 627840 701418 574276 284481 204231 627550 369085 982743 302193 341966 652973 173470 779826 129178 004319 825003 184027 006935 422630 395383 115390 895991 227145 664925 382026 620730 631322 921563 888546 370664 064109 644980 171368 218527 929269 744885 253986 719248 989464 830937 668167 950942 599999 564471 555211 723565 233960 226182 659409 534057 378338 960324 449010 674834 375278 687450 392358 273236 219725 158636 677252 395531 940215 201483 114963 516462 994514 112901 724124 994862 585279 009519 541093 747827 876786 018149 315378 145896 958912 799817 007394 578070 686688 976413 464026 228942 518805 715820 728393 216520 524261 048106 412747 087241 312227 298648 608632 234068 783949 013535 555021 833720 084101 144049 983744 680866 773208 918796 582724 834006 546932 346164 842715 102451 486654 526953 741107 348677 149982 189495 531511 543934 341945 472266 246278 552930 239655 391120 677400 719756 404672 373985 802391 141056 013559 964936 565244 104043 836537 237690 078481 045685 578665 686241 875018 364078 853680 911608 083050 433632 428095 029985 340065 658945 260301 699210 891002 933077 474551 156289 179805 005380 241346 249137 326890 720755 465887 901378 412889 041671 788704 455438 978498 649989 592926 484667 568034 208198 768466 720743 916495 975074 481815 648931 166137 032530 584799 522441 325239 130735 149856 864201 631329 650667 990385 316078 388525 302421 502766 643451 577087 352237 575163 136443 920428 578150 854003 567327 064135 076812 922894 296785 637964 147632 017884 922746 214715 156598 486638 809337 318262 696116 455209 992483 355604 348551 859379 773116 203464 779406 389487 770375 936551 046559 440799 802110 843724 475431 684993 291799 585272 342860 468302 574573 160245 274717 478819 020272 505652 063826 892531 614543 827668 504238 258859 471236 451755 109369 188289 977848 672082 088813 564377 145815 977424 534700 731269 060207 732061 102872 610610 046627 543386 410757 050879 298738 722733 142756 023403 018337 418249 438755 185595 109678 002525 313001 262181 300637 705309 323719 859501 720529 526988 742018 908992 955116 401257 761295 030403 829781 575208 757343 516396 456971 351558 552078 310043 117666 744237 032109 679742 029767 585584 366795 347699 219665 071310 659141 386447 583374 515948 242934 582090 746459 823607 573826 478706 121912 828892 464159 020751 504030 019299 542954 486056 592929 134883 124190 199554 158385 494419 483261 132600 323768 984172 148037 019422 819077 211555 356552 385481 419617 340834 235322 405541 945749 834973 105622 160620 300921 577857 469253 623004 305588 267587 088090 249436 934031 859713 050665 968003 423399 818790 412006 297684 391312 886468 424735 482911 245689 606761 351749 623500 477859 023113 262421 658946 552185 087853 747643 235848 264580 315566 792209 121017 662133 378797 641933 760368 260699 868343 335870 680894 285146 308190 191564 456053 824563 067687 310049 953327 014707 631445 861577 231959 091198 081304 376424 799459 621938 023337 544113 806876 296151 043652 875365 151646 271016 007197 810930 631310 359390 345127 539211 328831 303338 809875 352488 558301 713497 295654 205967 516247 520996 143303 931747 215436 947528 638361 052730 298591 308131 752180 076154 991651 894963 705173 223422 919400 340079 264963 562601 649499 288093 616369 058473 276938 666151 457126 754260 057516 845310 497324 462168 377363 219319 529338 062518 645080 199937 100155 267813 131615 831636 807421 249094 275466 184125 996512 571636 241236 109466 090646 350506 523677 127236 479671 942516 964748 186767 218771 795269 466470 332341 599873 369702 415684 136699 378970 023659 133048 365175 879415 458506 187014 865739 629531 928961 478227 989148 772054 067065 899013 003971 527682 799557 546086 724103 889555 223703 176483 009538 261177 534499 244083 216441 141482 364431 286461 390291 099619 156460 097692 543345 473520 965389 992737 563334 464028 611398 524656 851997 229767 844362 199180 352658 650329 801143 603254 642704 702202 512941 136320 901269 097633 890006 050185 675531 230797 146521 216326 202562 721094 663060 164900 379545 817126 144482 877610 502321 439243 828329 447383 194875 052032 691241 495310 575578 169003 422114 469605 072310 434762 560649 083399 093977 922964 469762 491192 449542 304521 798972 566907 902548 316879 894233 064668 940747 869924 826385 765127 440107 103752 856435 880852 703311 707032 020312 553036 620393 176783 647878 414220 219494 426113 793245 102180 851749 377848 889136 426748 341618 500195 186686 710844 064256 841739 683694 185733 377094 463783 557024 773304 015310 224909 856405 355215 429765 736122 395637 201428 032770 801995 117940 045459 971656 927363 856099 892332 808161 814014 789635 188113 190505 998235 810762 275487 726607 312767 055646 099598 793876 522226 687978 880013 529705 674742 058593 958480 618281 235657 982435 897374 777495 893489 792658 853641 602760 991679 718985 466778 310672 449674 013655 535078 270769 817600 639994 040632 811043 211905 472797 242225 233448 747144 937282 654433 060985 437759 622858 809034 169362 636694 851251 487659 947441 968860 680539 794567 795115 346568 666378 607665 010528 587228 943650 430715 633667 879396 085658 672602 332147 423750 641370 050649 870924 223703 694384 927764 294241 082869 064289 758246 722290 192252 766133 451012 412745 825393 158827 602816 795091 450975 140897 937419 233840 091796 903851 501446 376309 647455 964268 987084 563940 690128 261725 907258 299104 394228 421931 861278 812804 094890 398677 022152 492743 643816 375677 010634 515229 986398 660686 346730 920196 319778 112687 930259 175371 796794 759612 491823 198222 370713 240176 272632 105316 849532 844081 470711 684815 855725 579997 076242 504089 139609 558178 514948 383185 328039 265097 684678 825449 737906 123229 045219 572961 087052 411989 317549 772518 732325 698711 792527 410367 054408 793788 978007 211315 868617 719331 735264 175448 916434 526141 794295 215202 335864 624715 733546 904858 441177 162893 041538 887057 589858 437241 663870 981705 644999 385215 277654 632643 490667 156159 359346 142264 950773 114274 668906 558095 422842 257950 977736 611178 050625 488115 593529 266401 379170 374137 329390 451797 256449 348451 871341 477761 368525 057198 511925 685412 832530 200082 577778 496543 044217 028933 944735 201347 976222 002563 696089 102989 577810 065112 722511 855336 280133 288958 967720 358687 352923 223153 233520 194106 976648 373118 800747 398099 665990 589230 536866 776636 465727 248660 676167 292596 707019 977573 887633 581002 601012 843008 072559 388304 531794 765287 690268 201746 826134 202971 043272 524184 253778 490162 802617 447397 640584 616520 706195 905066 991457 064899 116155 157345 929372 979129 309702 678821 111149 774092 589650 529645 615979 159310 274067 489007 534981 299527 658459 562224 494137 612521 473697 639756 348771 935647 371853 952144 918131 045104 515175 138664 257740 107527 992036 215835 175240 045900 755255 933526 033756 271477 418455 858892 379455 606961 816159 458188 213111 673985 846049 192201 609207 807117 139144 533474 034945 462721 079566 311550 858347 828637 801412 352427 423386 485023 437320 206353 213282 690677 949458 845486 090602 622116 369502 364557 321214 924616 333407 392582 692382 915399 407797 365698 786160 507050 859369 757192 160252 588882 305293 911874 984311 364580 065906 338484 211550 198314 681411 016987 529078 557957 282876 785432 677410 255342 673921 305836 442228 368437 737555 486209 910804 588468 090299 211081 773502 711889 983901 010004 488473 837187 147775 110278 515886 735642 808375 449394 567538 417971 055069 583309 954371 253045 759667 851577 438090 643282 262280 669443 464152 810105 156712 285115 560208 171667 861083 238111 439274 909406 806293 343238 603868 477794 048199 909386 344127 730711 288718 966852 264509 725595 048084 070408 753106 576138 896477 521024 994778 297632 434895 398316 107954 721729 116894 382053 100631 666858 335841 123318 663471 092255 373372 367806 535511 315879 953691 518523 421725 596068 981439 113201 802883 509584 595072 109907 463107 245265 823603 923099 650805 200305 136589 811851 758681 901706 790391 627348 885242 182366 495594 903732 802415 588634 701403 760106 860545 450144 709362 404666 468478 909569 556299 356203 327464 995606 046306 685413 395562 680125 271914 888874 165665 939415 401456 312335 606334 563184 392888 875669 416060 615555 485619 343736 614608 795132 987648 204264 549567 408879 048486 462903 375078 139666 673044 072406 309093 408307 073632 722174 948927 468796 885261 970954 675435 333949 065962 616567 748823 122523 084744 239048 173502 322453 585302 012807 116869 601115 682953 706527 869479 570498 243744 020985 272587 257591 314512 836199 017900 926972 723338 466075 242197 296547 405091 620163 335421 475581 493454 879342 870742 439550 184579 908594 699777 272054 420108 875607 892525 257902 018489 821558 002546 028628 396057 654123 313483 020477 317374 801729 475514 388454 794306 004201 278647 191021 895984 623886 503578 790849 470604 986933 000176 136877 303069 968474 650765 343105 468087 804021 592120 185349 134671 447381 979295 810970 740760 829737 972997 863369 237053 487923 171534 890388 065912 234906 500837 885074 794064 160744 220615 498547 682975 014577 884469 755523 359474 466089 177185 124090 235318 489792 605017 222758 383797 899072 538606 938128 611902 141516 648742 598461 565291 954805 976099 799676 499867 029491 582701 460346 458838 839363 805209 023423 226845 551364 441797 566696 878203 742368 569995 681786 583412 290735 945601 496810 333819 812447 591314 170596 216230 797664 152649 990674 072436 915671 326478 726536 501650 260020 508707 155006 767202 857594 465632 404184 355334 156930 665763 296534 768985 243729 460676 258064 869301 387897 022186 294879 040098 541031 060165 511976 023313 099543 945870 667494 209988 528929 434564 746986 141630 496146 194772 336489 472236 113919 289706 678410 287655 915433 093333 014595 999089 181538 598001 724629 052488 783299 393832 534001 172521 183011 859842 203159 111514 542174 260696 239936 768246 276404 680897 922356 536656 206722 058111 906034 059952 837144 938309 052809 852976 440910 396720 371143 677445 807121 409335 336957 687811 010574 098324 754437 096109 176052 276633 623874 973695 890379 207443 704826 894329 682509 658944 567886 240438 558576 232996 740767 286898 538301 210471 554758 168464 140292 904244 424289 392877 202168 245049 591265 046275 535101 313401 838412 599345 773944 358647 870273 147474 641854 591142 566740 949168 062803 823688 898850 904885 460149 219661 340049 836943 993277 201222 617700 011198 789555 914963 225753 421224 096971 259883 740869 358428 528070 647893 726181 996648 676870 064337 606619 573181 801073 872493 763657 265472 990619 180499 756731 864942 519615 156879 269495 035103 615109 258680 080232 263373 078009 037018 533858 533097 088639 062969 567326 152856 436249 532220 234980 174555 471527 094323 574047 196139 777738 945046 871987 701891 301816 788427 242678 805944 338844 374764 912438 645492 824140 110764 940574 259232 300423 926409 121948 569186 657987 318035 941704 821107 389480 481397 831176 383869 065265 140821 879872 919458 759917 803513 359522 098625 691429 123618 808045 305305 722984 149133 687627 810583 218509 927186 451861 822141 071569 079765 625523 972753 075636 908205 908893 163088 981541 663557 193240 410049 472228 610269 756591 228450 933677 761351 090667 438101 467812 992012 261693 841495 291867 436742 798236 264951 114823 748906 759960 812308 969482 003408 362680 159995 338314 613958 611741 538316 102193 241110 875837 934370 791667 884561 113548 150290 354691 846647 601421 774272 066946 748178 751740 525727 699582 958057 591144 842970 703003 765083 145069 229082 470916 887116 220996 866561 608932 897607 311797 245815 163343 749182 920875 560685 156136 631163 616437 126294 335822 373851 669065 742377 684927 178519 652536 138073 310818 412708 487336 849924 851602 927059 685777 976028 619909 680655 626815 473212 531436 511505 645909 990728 050432 309025 094822 470947 782650 982185 489390 012964 736579 945978 513568 302810 026056 529051 278054 268115 997968 120975 129523 436578 343313 807275 305544 391897 500608 428162 195293 788321 329147 595898 179602 744485 526858 855300 821057 315728 448976 270633 906703 790690 956221 132967 520113 770773 957289 734406 145988 027273 723933 294299 888555 242213 699609 850637 637930 927054 247478 824224 647193 131194 895586 499931 604132 160531 996424 212442 428090 750600 308355 777099 882760 342974 676136 071700 012267 843642 589625 703912 986561 063082 240402 222186 706175 299289 354450 498040 266946 320866 844195 141975 946153 027707 312061 534742 455831 544100 274297 399814 786459 693959 605625 248262 635438 335601 452706 880871 685671 926069 106062 960605 464539 120167 048774 137960 829109 071421 778174 666780 714781 227857 765409 616815 338594 528750 957642 811813 721676 889420 503728 200961 707621 113111 634226 127995 074407 453438 484195 137294 290475 491461 110236 044573 562383 249286 115616 445976 236694 370130 193503 218923 174930 995440 291953 691053 249731 178903 154341 160050 749818 502066 710024 950885 869905 599693 111913 334437 710515 990693 864516 500631 386238 124279 008253 130065 894588 317726 855479 964555 358084 139848 044970 097470 546839 553204 103350 019798 052749 324529 930071 296512 694205 082168 974797 062908 019225 278077 615181 892422 717897 781536 862200 828003 362059 556941 767294 305699 563087 167610 821777 855648 046548 361933 700084 787655 350763 476896 604434 183491 697627 219063 453597 255797 136213 347988 887475 282911 122414 229158 040684 052352 148477 776668 985154 657131 763293 850151 704017 784809 223254 779867 139290 962448 476913 386106 535384 038614 056137 452386 604870 234503 716934 802320 187784 168348 264495 085416 770436 047887 683663 118606 252974 213317 877491 879671 717398 365836 849080 283431 462022 519376 664523 757345 388224 938405 303861 943375 701813 276417 141560 300030 407154 644522 636261 107629 475768 357701 218926 879387 138918 913889 407705 060411 426971 124496 799757 255213 254206 942010 338714 549238 272625 956072 237003 889340 775091 379346 259260 831442 852527 094687 < 2104791 [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.