Information on Result #2158952
There is no linear OA(2168, 81794, F2, 25) (dual of [81794, 81626, 26]-code), because 1 times truncation would yield linear OA(2167, 81793, F2, 24) (dual of [81793, 81626, 25]-code), but
- the Johnson bound shows that N ≤ 74 887094 328301 565101 858037 467171 857600 155651 292603 774336 378333 068805 521710 855389 541818 432849 426339 422974 446325 388588 389051 396597 882243 003929 673289 901878 836219 817462 909115 504759 533393 685979 685642 936203 197006 032488 808405 837733 414050 061084 211786 194869 902043 265042 324713 174077 016953 502307 829302 602939 240171 546652 536776 306700 610124 609631 859923 638275 715985 419911 788800 674658 367474 049739 912578 970736 078323 421889 905622 373765 789473 940387 209215 969130 308035 597000 920464 543174 697703 044268 289554 457811 704377 636039 499903 861805 745544 439226 905056 061238 970964 767757 854425 951952 831427 931766 938612 078766 924916 805796 444386 646368 549556 996229 806252 624868 043659 376888 075487 832606 621727 769468 952725 095542 893720 297335 532806 943418 975273 597113 061873 799719 000261 054433 620930 482284 970590 202548 190356 875485 909751 175614 864424 832632 994727 165306 673571 578730 339712 921242 955516 032231 669547 584285 904183 827124 467789 990593 236138 329216 370286 791015 484425 816318 118440 014412 884508 026844 104008 053892 558050 211599 674085 833064 653900 849216 584586 227847 358701 045005 039931 039159 345437 885614 820378 605775 180412 537577 295697 344721 270915 439343 913493 970664 168022 717365 049827 930690 540285 809754 532385 410113 274748 491740 695632 642438 141603 837083 382326 904418 061330 998184 302103 134625 464770 776219 179464 836371 266220 076488 470915 380184 086784 204129 508179 646166 200180 824077 811352 910726 929277 583792 681068 272060 609908 069968 717294 490210 363669 390507 199244 239789 218503 861245 401252 409167 999701 042069 188949 892511 146676 092121 305145 606567 570084 207106 577467 628123 951019 718149 709410 277463 755843 605434 040171 717858 457579 710879 376222 123575 911827 570969 734561 438176 622237 019466 373975 339899 611560 931417 826691 485799 041447 006670 151209 290927 034721 140066 856243 191256 019395 120804 729125 176489 954048 337702 897961 354591 347371 437049 901718 823025 583164 837761 735264 165983 685743 704651 333024 761616 839528 988812 831440 854435 857173 144328 855550 310597 038403 442767 065276 286997 558417 164160 888581 136777 151724 229295 473941 814198 149224 863339 551371 502960 347218 511880 568132 119353 347473 961551 202757 155272 417954 120213 155412 806917 296705 162437 792903 918125 773803 510318 029279 870478 699307 660194 847712 977008 728075 985696 878220 369695 347855 162073 017257 363103 239093 626465 519576 266827 631361 696394 222276 341434 316017 176830 706579 828190 986979 394850 846443 502035 139292 745205 338387 214592 149727 441380 067875 493958 141240 996498 206175 254137 559265 117296 360430 180771 498479 089711 563099 514896 998057 855256 962697 193090 484132 167943 493367 899656 989657 142327 881449 645810 841002 166278 590123 136486 731126 716659 640639 443241 661567 763190 809875 841160 294434 597173 429327 898344 691425 985676 381943 924633 589827 876562 551253 088819 683773 270180 283935 677989 756775 613985 981072 939236 475471 045641 555262 850348 774161 771040 587668 008743 051935 881207 108307 583755 516153 483699 326567 018977 200762 880958 076218 595058 053569 773635 307157 964398 501498 113475 920599 651042 032737 399945 569952 728785 348222 485906 681042 962951 640129 655939 826965 203065 296675 957694 740651 019936 193057 420044 882417 956978 528885 598416 192596 086837 833827 932634 071933 509023 040108 102620 654772 539634 632139 885472 939862 213742 541918 433190 503127 236433 481711 992561 057582 706767 023584 859286 755832 991601 690912 218268 157350 296564 876446 625124 427603 295223 624994 973832 070824 090445 758034 722939 778883 965471 189951 158097 632640 752379 476500 488841 194224 597539 681972 816052 375831 487184 459249 185661 924231 405727 709556 268084 980311 170617 191462 016481 230918 991771 794912 362047 032288 446724 610073 167281 746321 997993 917854 558292 465907 103145 028053 717408 777960 210547 115854 587049 106670 100621 895253 062636 473368 638606 460151 982197 889444 907376 958992 013758 263357 695486 852700 900878 686019 527460 460957 619537 656976 007341 209420 184597 460337 132039 389479 385659 460147 452963 209338 771027 959050 589599 057900 876779 727165 855672 377191 310053 101019 755895 315482 678438 155590 762443 289957 686533 239150 043833 327348 384113 911812 610076 043762 817524 454352 758801 818639 759675 674105 087656 694558 079084 478738 187633 075956 772997 431783 029991 491439 794793 143532 196253 486993 487950 934831 096615 262497 396477 238639 493126 376531 503649 317991 285616 689060 543291 991920 734807 795602 306600 495081 636722 019167 660302 666894 798251 181004 753237 639355 088337 080607 673334 722370 379114 814811 481920 140780 223579 230027 051651 560704 251790 139623 876264 782697 875889 980678 726919 237871 925098 327910 707972 078062 455906 708486 075791 248801 500573 454392 175572 163313 931344 785639 635514 341053 065952 878191 960013 357130 340740 267146 820217 848338 805339 178149 020098 221061 007327 916282 382675 516784 537802 653659 870163 268905 460435 537653 340727 208233 319877 669940 185971 783769 310790 820909 851174 161940 229902 700908 152112 099187 910673 305325 549587 757619 146072 096108 568059 863450 303538 038955 833057 845881 731920 473655 738624 529221 443216 849931 600118 387060 961406 371051 122139 301099 368269 540624 027036 076047 644725 877966 851941 868436 274035 064903 359529 458485 505061 883975 109146 999047 115048 749506 751468 011804 377962 807415 377258 383122 161449 213849 540490 620787 207966 917734 280324 400358 669625 076628 962861 886162 348237 365779 197782 918541 257959 419077 404218 107334 381904 292656 978854 284903 533590 237825 291043 647718 691414 751345 135841 672911 698239 212753 671058 726489 277510 794527 631703 414224 340329 766356 578107 855309 263701 280572 831948 795520 869048 577768 167176 971504 146063 041943 923984 728086 530855 040517 141975 502263 655213 394761 025655 380100 053606 598489 940678 046845 435330 637400 955413 332917 319767 270931 600387 113014 717808 611394 364389 767075 434169 655132 696413 230400 564047 963995 277631 428527 871433 112546 918973 128313 522258 280597 143135 362410 153223 885070 809966 962198 686736 995024 309488 539878 300292 186542 272905 821224 263430 787253 055780 637862 401224 319922 947800 430581 563022 291315 590403 604058 666480 015436 206514 917055 736339 396557 580271 496651 000713 674678 978226 485925 720854 257320 543477 524333 599556 148068 736213 094820 398017 247784 293160 647752 247843 916502 174693 838904 190086 447099 604411 640890 731507 896916 111867 317069 795600 474498 008385 254620 367983 165900 504090 276006 345994 475175 506595 296083 668972 671942 474641 880415 059250 723501 410624 257421 602505 033848 814925 254836 013089 171991 668892 922564 052873 942214 584475 238358 455696 012516 582491 502106 204804 709119 704311 245443 880380 914096 527842 577768 447680 428056 380839 975751 398638 768342 305398 140879 064757 341938 016515 308570 665937 704587 148833 679372 855971 554564 272550 705571 411785 103845 054053 708696 879349 428774 368023 156921 123007 615593 390036 473747 764377 267295 312584 586345 424784 222098 200956 537455 933045 185619 085114 226958 593914 546267 673936 093233 966024 177790 174015 967701 828334 465374 053079 146712 231343 982068 549529 222686 766690 424887 070945 445725 359068 023386 815410 475292 849650 469590 110401 148316 947907 688467 344995 168287 778435 724378 067300 253960 945495 781829 505519 925063 465625 009554 798590 014274 854506 840085 491429 280476 536755 290140 340446 247356 869988 177988 840901 473583 451257 383855 502975 084974 913948 347143 559522 762262 577084 927349 462736 699284 667638 711201 377137 095770 469544 438215 853324 286728 373402 587065 263770 014566 782434 649462 667309 508564 617675 919898 158820 850990 606803 418172 727869 186486 475537 853182 044711 797885 582023 098562 468720 538985 263775 309675 830718 860531 978513 462283 412522 324198 018266 664979 937096 853351 499096 212201 444053 448413 274265 282877 491061 111883 897551 668239 122142 866989 861362 795520 999520 744561 402727 871133 640690 189496 716342 902325 862856 392781 013327 566013 301024 476542 703334 278887 656227 449953 498549 097113 898658 345605 411857 169314 240802 997072 196782 781747 804993 745224 616794 212584 084728 620797 015926 766671 505633 183906 627993 339445 278850 616689 472834 695702 144883 187138 696100 685519 375132 410054 677232 280930 107800 908390 361609 642518 990153 199034 189001 486618 363741 943860 767195 430499 837323 211887 595206 051213 861615 255338 114403 540673 573791 704717 655492 304637 443483 492669 486665 355657 774868 019998 229206 786175 832712 518427 420609 187163 622684 381650 925756 579530 120029 375426 947641 678513 095667 171764 638018 296654 435123 068303 939478 059520 744394 155468 750034 677573 652571 686638 752352 312262 655973 892996 541043 648721 715158 552612 021222 763070 478988 319725 014570 727325 628937 638146 528282 423795 460973 200714 998964 477665 641334 131969 394301 609157 423124 830544 458820 052147 742588 234372 676097 680548 913394 392071 739132 450028 165200 067004 948180 695034 979585 798898 687907 062130 885750 294642 098254 091881 064675 483409 636293 749960 703336 439813 833651 307157 536128 050242 496246 411233 817971 680244 063127 262247 501193 717116 899212 549128 616036 209587 967169 779933 938995 016919 383236 755630 209882 832159 221969 377594 096328 469591 086544 489037 197401 645142 183975 102849 016860 605846 011776 006981 225617 536975 390600 540199 592592 244914 772372 443885 482407 586909 710809 910657 732942 730211 140498 550372 319556 443951 591817 846103 670024 508830 685076 090162 598541 814990 597100 946662 801707 319956 547376 247319 959269 944007 041665 942291 988167 317739 131932 641752 115948 852842 201515 239158 384872 942568 338607 217820 973881 745628 385353 727639 301889 831014 381342 492378 887536 157692 985537 363475 049282 735528 845949 580787 055753 875895 549329 171724 111924 412837 206746 803339 417943 221931 439486 709401 296350 456954 089323 043268 175694 343609 180932 267854 056309 144368 104146 417669 523765 234381 752613 837778 936447 761659 069501 370969 084791 545250 259585 404302 694456 915529 085131 237893 950830 439870 358364 111068 864232 323635 488245 356149 830365 875680 311691 288827 490293 127163 566208 719196 731141 459530 672446 442189 783331 897095 465635 565763 469757 694101 085783 699063 335494 492153 468993 884027 865516 476738 018777 923607 202372 966958 735369 427874 752040 777569 094582 863393 818770 363690 805219 131671 205661 349522 838206 473214 675642 410476 426842 268627 683615 588566 160188 827937 927693 168876 885675 539664 079211 880416 926701 497425 952647 680591 959380 287685 676419 115148 390383 950181 148692 982290 535838 843056 275170 001298 774661 584422 280905 124924 376683 354942 263720 110358 209403 827676 362678 137572 805138 146873 486593 224688 941386 085951 536851 893895 456053 314548 367853 231143 411941 612770 843585 059664 285868 230674 012010 114245 409938 880551 120908 649839 934916 350263 137568 970178 503185 977520 666135 120579 086640 943627 559115 220060 576931 725065 888480 867318 878437 127481 023334 787968 232585 572757 236225 991236 967505 102961 984271 548563 043371 148964 879214 012789 123793 027341 866869 665103 101415 034219 620241 092616 043255 017888 306193 518755 146327 008501 808541 687801 900552 559571 330185 014814 058251 744534 801278 627462 690623 538893 031843 782936 705498 757670 682217 729812 563837 041447 177111 888614 537836 143250 518810 641361 046643 610461 610374 474587 718514 407372 466085 202986 218330 855491 784059 933666 224224 448320 793458 805742 426072 698372 828507 596570 550982 458903 446184 662076 998955 198972 419367 616079 524039 067957 563364 695129 795757 942687 107636 293315 088751 738441 352266 292200 198248 875248 265170 040429 382629 013292 585952 134043 375021 542861 327774 889535 827174 484458 299852 536296 869892 448318 150585 855682 967323 268369 710819 646663 232753 557414 008348 422507 116361 876274 161676 522865 544600 054436 185521 086544 825542 917509 722475 098615 537738 052887 685800 763380 855832 346921 200981 745755 248801 111422 810592 921980 292636 638039 841358 318204 920536 681886 195223 448122 662472 029988 390685 616415 880999 239535 443935 518600 563153 992853 585941 213251 868469 309639 048322 259745 740903 184694 409497 504635 860956 381772 070514 079632 261306 637209 082440 901305 272993 936606 355198 445784 903191 763400 173632 012281 287400 064310 087466 375761 000735 038805 594076 207747 331754 489430 246054 233293 909032 566208 015108 796087 288984 457586 715373 430411 670663 967837 019837 452667 449621 972121 761744 683896 016609 791874 172100 622481 633468 427455 737710 211654 686825 295362 630870 217769 783510 702200 827079 920233 471272 090124 969571 714847 575209 259985 678746 658532 733316 592338 028456 776166 752629 404489 205257 143849 425998 673175 861922 045346 474868 839363 038522 485842 836637 181792 251762 843407 903092 822659 795752 135971 626984 781937 243242 964806 637767 681173 358410 983229 498845 000437 600127 496322 416168 356843 449979 818861 625582 889173 878663 348551 278874 261154 710568 771053 728440 418199 634795 107127 982133 985786 244395 558149 497425 298166 733579 295686 185533 797040 832070 679924 137351 282285 986710 204635 148803 232013 495365 002057 800122 380911 762043 545494 253816 727199 150323 282112 203282 420841 569332 973743 262563 459190 050908 924203 116492 055685 934549 880572 319462 319253 499645 657086 553459 818710 999561 373397 078963 846669 008647 629555 964973 205482 609902 500862 635951 822530 390902 616276 371685 300401 857829 654039 405636 402803 669374 021373 790772 880699 406667 085585 239450 688930 097046 386880 438584 363340 735472 711820 879872 434687 835580 393463 755930 034878 257320 792986 464204 073917 761239 781202 469128 386001 197510 688133 945516 023520 421768 664620 647021 140657 024091 616283 739106 100127 163845 371381 665620 738386 140955 532243 268415 835458 234785 541360 907623 797787 754809 454143 040458 212248 632796 583198 123969 088539 213025 990424 042234 020020 944156 756703 210328 921266 809340 462510 726523 130873 938402 040836 178426 266277 235501 505243 531118 375600 093907 585060 589497 768997 473061 201192 044487 669315 400203 400797 729868 240367 008783 879784 787787 095908 474305 063599 004774 800551 115392 233042 246219 939688 447666 973330 789970 674647 512540 512149 429895 242406 066912 788829 233523 062265 808080 728448 560932 608300 770972 789548 664067 746362 795354 432630 528159 613514 183909 194270 696499 777232 152968 163784 857255 811265 680360 391053 168540 010841 974608 176337 959476 364343 411710 055888 405198 293381 960910 852163 587755 595793 771942 554634 616226 209021 374795 285733 309931 836283 760001 971688 841035 847965 302218 889783 355993 991810 031686 756418 977897 387011 802213 401882 099782 168717 487290 431876 570844 961268 316137 637889 058591 643429 705381 673990 626331 903096 002930 290083 145072 846763 813287 696632 347205 695903 863227 267623 126558 694296 474049 667441 781951 293627 623559 529079 546886 661666 070402 848362 736743 929823 423801 479998 583316 587670 041162 462281 629775 957218 928381 062281 083082 010070 225240 255347 855267 652017 888405 938240 534684 817649 301846 332750 055151 048694 264782 022017 966184 500553 237263 796715 175704 524334 405798 805032 221061 582859 227339 198520 201717 245999 092404 801208 422640 852688 366187 728306 316883 477578 381737 663762 119303 539092 133349 209165 528769 433043 086541 182629 785440 658410 644730 258207 091033 294795 173214 906452 012028 870877 766655 795779 696555 368626 251915 736248 330248 425188 579228 880391 467820 548431 610104 919948 362639 279427 601204 898148 205925 880200 905728 740998 525074 859558 148175 273319 261490 575590 341542 144389 474280 227842 261350 955866 263660 354676 822753 266534 883454 968865 660377 544871 264293 142630 607429 487672 268310 424231 295908 295970 509908 628020 426074 138862 950805 765440 891968 980090 827710 415686 771567 788921 624449 414020 546630 426261 406173 297965 290255 845953 896580 082428 813186 878187 290238 541361 480176 320670 709629 558123 814409 469247 166210 052196 831765 327738 246241 721137 162304 151626 406517 541633 009638 946624 871527 053636 272897 181630 543683 066234 057332 452097 201320 885824 650079 898416 402702 494330 144990 625569 138574 698995 535678 095414 579357 198465 242698 553032 435691 418087 418032 244456 089987 569172 111950 019208 001867 932988 161390 878562 014656 663693 493485 503991 429448 696313 475061 198073 758228 162311 709288 601198 285573 787138 939525 115113 714343 047831 210753 008746 795712 058375 562974 415217 432842 249989 027664 942575 167059 099552 060314 321029 301583 531573 328518 279970 950209 862648 784576 313885 869853 264957 095999 234764 398450 264941 207119 981544 660324 407557 092661 391078 535238 001395 529729 667913 866711 725999 672530 465994 468258 676910 325451 582917 738443 598539 782091 174964 120703 791758 414124 653992 812454 461409 769637 472120 613555 808797 936437 865038 238860 686614 032490 764010 141223 359389 697288 138545 079324 900788 218180 240575 651029 084092 970459 164127 507370 922819 248258 565752 583453 150666 991424 406807 208440 932119 838671 675961 539915 339846 909204 320598 345606 287317 649369 354036 745717 055855 015527 951108 372575 595628 026600 919579 624439 424180 496056 024554 913778 890912 921773 004451 339298 519243 248327 981618 646352 134940 680149 111618 417813 605987 439504 687746 536023 948082 802898 475251 836593 019006 531550 691976 040760 366753 148847 376176 739848 474638 890747 561391 345623 731935 564373 927514 085982 315550 485588 325685 427549 090079 109776 565229 227634 450662 521012 602138 783935 849328 436630 940615 823803 154562 370245 656234 926966 654974 800292 225927 062256 423005 215164 235898 292662 494666 608899 126239 436188 570512 089942 881851 052728 262407 732521 182321 023464 811247 024736 518392 953909 137162 080296 270840 071985 837860 244590 392812 068204 707822 341575 714295 165402 069365 272481 889434 314724 171672 190116 146810 692622 922462 350768 089992 470686 711111 824480 163008 971036 128157 858320 163203 972463 713882 020157 718484 176265 646280 371851 336803 484108 097964 246715 117000 834973 065814 122294 728113 116450 294337 449429 388888 097961 883836 911614 012844 337647 221387 001563 053462 888862 854198 752240 344630 374941 249681 680847 608596 265470 714261 446340 624376 504076 369085 627584 590773 635541 153584 768269 992987 704403 086876 314145 164454 867794 950800 664655 377343 642938 924553 184211 969732 371060 294926 185246 104798 079585 132924 522672 364253 759646 921506 785579 592618 076878 482649 514662 412514 674805 599813 543624 749734 483255 749726 540095 965913 068938 742356 055612 946624 783414 889856 334261 828381 940296 452113 514684 119284 973278 302539 651486 522937 783913 863500 741214 459316 152953 952332 130178 965115 084936 667198 694747 185744 792148 156164 696641 706263 534777 885875 346142 719783 384446 941731 409576 500316 449192 405617 742742 902183 635310 099379 051266 018255 938795 804106 454411 799523 614374 677590 295341 133059 770748 318207 983632 366389 161940 829739 742060 003902 416776 085725 053421 462940 135706 356346 260372 613533 615869 064177 558815 819065 036234 873191 222115 483700 302433 694859 593968 657129 536257 411500 464652 251851 764233 077011 013525 205171 300685 467965 460724 745718 652682 924900 296067 294531 729510 748214 564037 442189 577639 488653 641668 876600 710098 719476 211643 402196 046898 035993 610060 995811 025074 693843 554562 926038 834983 924013 750926 083785 171069 341008 523955 899576 075067 242277 713081 082445 760634 206038 941351 350849 679853 599160 919782 560956 872964 179963 576076 406955 005283 841625 027842 110402 119391 016421 746026 200842 850475 886689 453888 989089 051638 148040 372515 905492 021094 566689 701571 780746 201847 579800 147269 296737 077047 439910 550486 711314 220778 937718 186444 781174 703755 495610 281063 654768 275081 484609 835355 138235 026207 525731 240626 346134 302470 173067 596126 744842 747195 892746 985712 735672 922284 416221 519472 070307 858682 734399 568746 435063 895886 996273 949484 939315 029820 820304 143336 077076 215314 599948 125548 826041 577805 697300 805877 350131 258097 754084 790727 255607 036208 179465 172651 060800 272925 220363 331323 306258 569001 736716 833693 020748 158261 914165 867823 728435 413470 254656 548148 460021 887058 282871 716555 076379 937545 678171 594065 109212 688301 087486 018432 884440 287324 189054 954565 980890 896418 775012 133587 926381 493892 718682 561597 961758 018713 771824 445236 142830 793793 923793 581579 474212 626595 842170 704095 349845 654056 998887 707748 691347 369084 729830 051664 189143 153642 970290 191516 514033 941696 424060 370141 014326 877849 056861 727778 633071 899457 238244 982229 006011 545666 846271 397065 817639 258575 903384 248825 081571 690301 051964 962563 275478 238674 654535 196312 828278 240989 043495 959874 387880 847308 056706 885163 675681 936240 070765 748697 111859 451696 089923 583814 555200 914467 908918 112309 846704 219733 950546 093983 855113 329816 711874 715815 856149 176558 488062 891923 825117 751075 046781 420748 278837 807726 659627 286650 614110 742501 545862 377751 552971 907875 910450 796992 310847 454506 676634 470032 126698 594509 156289 612553 292103 982744 773584 684148 230522 743996 002111 098022 514778 476898 759206 243929 798437 870437 634735 508790 587560 877761 169706 608473 695637 957687 466755 648633 575445 692113 065802 805077 367813 571655 111769 246290 375111 584208 186446 761182 264320 936472 925312 708673 491533 446798 800279 710708 568128 465883 730913 234830 521233 320225 435195 304102 967043 313482 151397 179800 488573 370830 240489 893317 676454 803598 081775 858937 720748 480764 965253 144553 978833 513154 499151 088177 293946 975161 281210 977603 829031 220094 892396 018842 125971 278083 176582 117127 805469 064064 547629 164761 170527 552981 730394 369195 438284 135681 997309 119561 522452 969521 076007 218898 552948 519295 480428 068434 901365 604170 956348 392142 959893 297832 414742 564090 215134 442438 232833 196736 749262 784055 375290 317087 520729 294643 100866 217949 149811 377938 986509 638837 511625 224866 483107 545235 345475 924368 019618 519253 514690 954444 476667 053156 164729 274587 497640 820903 339223 830138 862949 832212 642678 712707 906216 336293 136494 589914 270099 251146 089550 090320 122939 764500 634116 754143 935823 084164 083924 794912 279257 914047 992420 281683 409049 849964 057465 905003 861975 791833 001383 666086 411646 248936 151704 001878 313875 865114 014603 343257 890664 372641 995898 793931 834771 493627 076568 263426 927381 260924 782961 834775 427686 113229 575832 166193 793858 928385 154927 449964 119217 841946 748765 721273 370387 276824 921460 570740 315923 177972 443127 808449 264197 691521 682210 860997 032108 618860 878521 150758 628289 618038 565110 375416 488723 060289 005652 346009 596748 277038 573933 537712 327406 214856 634675 499776 288928 453984 842535 812846 792668 167151 618625 633563 556705 413395 770941 676233 914748 885802 175117 284885 730467 996269 891210 615652 762269 897077 525434 538989 876164 496150 786311 151658 509527 935710 253215 292330 546518 835010 232259 711565 690594 468177 306919 099603 235686 023368 280240 156538 187135 752452 140475 233391 293894 142536 250684 597064 853216 169978 167506 943166 800655 052731 820347 473751 145928 898402 240003 271090 823698 124768 072561 517626 470346 124297 121436 372629 498275 830741 056818 235263 232050 629687 837504 106046 273098 611852 040972 016103 312644 695962 020023 835886 745957 809442 624920 559552 317972 779031 632467 895923 551915 153180 697560 341110 534572 817138 839577 800890 364236 414010 028678 797472 793611 310996 347465 359779 499274 272106 524398 587000 539138 478899 687245 033056 236844 585384 856169 122759 216833 037743 857330 779716 203650 943421 163030 559616 040833 380459 254818 482423 766190 197166 641756 594517 959343 165755 443587 709803 189275 529342 793213 782151 877907 195844 592122 370581 497908 263438 770341 502702 624057 708763 348127 086121 113516 841749 772221 864296 624746 707457 043657 316497 391416 110863 843870 658954 176054 727274 353840 569372 136151 302134 921870 947359 191778 463636 334916 605523 125996 857048 453383 377802 918629 077019 118119 510585 849396 446187 823790 555422 938080 510033 111645 283635 878311 850000 148498 026108 639311 414149 028610 943016 102304 007750 059960 397288 790415 117553 429852 028604 466194 327636 712508 189512 772647 460143 523354 876618 354106 860869 193685 954742 090489 661510 342755 381082 513464 401172 015147 495775 120456 271353 272668 532253 856860 913301 540123 369261 120240 132309 894927 811981 895856 507578 716370 670104 013808 016970 212012 717601 891190 192222 458179 564639 805582 468015 040317 437821 570968 752340 247139 922459 036746 089680 667805 773702 294472 348426 598073 391228 466685 418930 855266 320327 264906 374400 605362 701942 470156 463243 736733 543068 798770 452770 638043 198458 666548 818413 475096 987007 032237 634613 505353 755850 777063 330098 898386 517153 319586 316288 273235 964744 220743 879569 099193 669738 630162 044984 924925 741407 802126 214846 843481 542064 228879 718353 028205 030412 029784 518670 413304 967039 797842 026948 543646 551059 263739 121522 480538 479662 329675 945336 545123 668426 019124 619460 992389 581276 226124 391847 249603 029521 865871 570040 489181 917929 065239 374845 358153 686996 654657 517546 205909 748612 026146 672096 910805 658502 690598 329380 332169 550238 082505 719374 852962 035961 671425 999558 438160 148952 216046 483853 957324 598573 125230 628426 805515 596028 024454 692034 151552 770864 311974 454075 162432 493911 963861 623332 406630 570884 550105 683756 449466 206432 532883 826939 672836 208351 232830 398912 122007 182289 108594 457154 965902 399595 029825 774805 815189 321548 784836 628346 173296 737512 921711 448599 564698 684886 094479 701739 664311 595065 659203 997126 126721 642147 651465 698495 133912 365772 844103 608432 622122 230982 899091 972530 089125 165120 917227 100884 426446 955166 065690 642069 879195 211615 699116 361097 402207 461378 022200 737837 491688 550122 964929 356871 292453 454922 119787 640520 750910 160154 340991 750545 974590 313127 984397 344389 005834 027950 386980 987855 440052 808598 995736 646090 952831 886953 163591 846218 734596 104111 853477 158166 857549 507366 111621 675770 418529 534660 642744 180691 202286 177145 135996 385894 198584 123614 717931 556895 405209 556249 900678 526105 273305 945111 279647 057863 834918 843456 492799 257980 093943 040344 684384 912939 954744 324965 672159 736825 923894 046458 372318 010725 144513 107711 674005 961627 641697 477717 645847 965692 461693 738253 463534 135460 629647 801850 640720 944231 154558 999188 818192 919203 387159 331973 755751 721006 433808 485645 061984 798087 812529 627657 686263 963421 128053 127761 134941 380315 713010 006433 442303 003807 627175 091959 724548 748068 925038 106570 610191 837636 143012 619571 387507 293957 467313 088639 958879 265516 078055 217629 909896 572940 363541 713652 342154 415304 422631 531062 522074 260688 792493 282123 895474 262816 888739 574780 519826 809195 441305 844922 654156 580750 304497 658742 749537 453017 816579 384443 617644 286155 118021 261504 285058 606099 108114 410014 417870 709460 252783 810843 310150 000318 638951 419382 028337 074998 056906 497120 226128 324903 722931 892146 900173 437980 286531 764643 433853 054714 395773 875798 498087 892836 018526 138079 294134 425174 408618 553199 061696 450473 993229 076597 116783 172826 440294 261526 366079 063598 136575 535039 672202 670417 706971 408781 715403 724667 923521 446699 454777 504861 530511 105550 537277 275575 120447 809643 666402 052752 781320 287029 045384 452938 536178 383390 262590 976632 249573 152148 857694 174211 233282 250784 636027 072805 936918 500200 291620 434277 291403 424829 913894 855963 921593 464877 027121 529499 657823 318690 394013 663991 102473 482842 594469 328243 502567 993319 390849 638651 122949 196468 621207 634140 995150 271269 350867 467716 711903 135076 368929 768455 373508 374850 667530 359772 677510 421857 378994 539859 723768 007492 863031 093647 717668 656391 522114 623352 816364 921181 068420 062945 751467 868657 234740 479956 754595 540202 620217 776039 953097 280669 213154 986987 521446 436130 918722 701868 343969 776486 377261 500344 534237 904616 < 281626 [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.