Information on Result #2158216
There is no linear OA(2144, 91353, F2, 21) (dual of [91353, 91209, 22]-code), because 1 times truncation would yield linear OA(2143, 91352, F2, 20) (dual of [91352, 91209, 21]-code), but
- the Johnson bound shows that N ≤ 4 414382 267111 511484 468658 752732 525176 359225 984157 085033 488545 716310 435840 088782 269433 228940 766144 567453 267105 753505 484827 575661 254160 970890 726907 476114 061273 556759 731961 530432 829050 905016 779558 870450 498784 773741 022139 631409 723076 886071 867906 012128 018470 985951 271317 554794 925929 360318 197724 284502 943921 770986 520367 603586 265962 164701 864776 448198 171014 417323 819346 192425 094144 269926 353078 934469 833731 390282 241839 741548 772376 599724 554128 584268 788174 200553 620231 843658 533080 795683 908128 309678 750781 205615 924833 390815 994963 887108 662974 294549 258733 070876 748884 114782 601352 302753 141005 493123 644961 397789 126072 540401 890017 770713 576900 614682 689780 452844 061489 236112 466328 357159 227866 688199 365388 487039 679462 478104 471052 912410 266006 557286 667491 911714 956327 939551 583288 586459 264777 107564 861833 656067 561354 196547 764789 299472 147186 628005 171497 265982 745586 413197 944427 884167 415843 461012 253948 395110 921713 845509 796177 806734 743006 795805 431601 784803 131779 532817 773162 088251 551695 881365 181559 850523 308528 977071 310223 216201 133692 598942 900415 702946 366404 954640 153801 013219 735580 089298 218242 929097 219792 528858 118693 316032 249620 702630 808173 580278 615812 551035 614585 592610 522698 522955 724080 011958 187487 481006 976759 705789 763408 808691 344705 814883 249479 871678 275282 644142 273527 370681 844974 189014 485413 413717 680622 425953 373248 145895 927619 796458 569867 669298 123919 880412 652229 914853 659248 025518 927788 574927 188523 089743 929033 369236 094235 809787 818151 637364 944699 520881 249257 675211 415993 139460 444701 544467 289388 950881 234348 454141 902475 435641 633261 513542 557926 972298 155268 310249 975577 079874 821771 466205 399291 948760 316106 407534 927888 727952 911510 304772 066365 876744 537680 504895 202000 126988 768500 526413 934908 372727 245334 432401 886573 583517 259095 715485 425282 249250 751856 877415 754084 113396 076766 627889 161293 752420 910499 707287 304684 371202 014150 663029 471854 961064 688757 499657 344873 558780 088952 238910 406199 993070 717813 182833 275251 858931 132051 797337 433570 795308 281192 829122 146277 506290 243706 342039 026986 040664 275600 525055 027692 853952 986322 809521 254643 593627 448774 147355 179948 458606 563788 791152 914145 762373 906138 681663 937615 305515 751148 183022 064818 187090 194069 475555 418959 407687 315021 175230 732298 802221 810554 715465 246757 145390 203015 761013 860497 839602 197747 314368 579919 183469 044207 941423 127866 110618 749104 131110 170415 172068 772673 426241 679138 558556 229065 192340 170671 815141 877733 091012 330048 116697 033091 615689 113456 680968 563144 501450 957657 171573 618021 987239 147995 645890 448156 258299 964580 895816 824326 838676 217623 300181 411887 693441 567564 381817 340010 246392 546346 834473 232492 726260 370268 422221 362881 705567 032640 200504 343909 796379 746406 666813 781150 647394 361016 778702 171213 848047 580042 366515 420143 189873 819979 049702 119176 296349 999002 909766 501397 213296 751649 979830 469289 205605 913635 184885 710188 570662 869802 958949 208602 952980 233618 793641 956443 385586 076038 105992 939587 626255 201493 907547 572381 375385 455391 739489 648447 725006 892330 606052 827567 349913 259485 138826 037496 704708 730559 958791 757501 598066 490380 060937 654747 696289 122097 159592 094408 093030 614715 520912 918294 216552 738348 977015 163916 918846 368723 777324 458489 208726 840076 857769 480155 176532 650365 627392 690063 537866 213979 423106 048384 959729 233681 908866 006295 263044 952894 349901 071646 361401 242803 486884 089103 820517 636172 166820 821969 498356 378849 464453 897034 329880 349802 887544 025485 289036 883585 497129 168821 251732 298303 216032 872415 649730 561867 381029 562282 552376 330155 687298 910448 719036 994325 332156 388253 450668 746368 236602 390387 802216 191225 061522 788314 380988 969570 037175 137946 889596 780072 865023 054363 502431 988577 588244 511707 675628 748008 183735 361524 362631 810385 599024 505532 770830 816259 798028 495300 565452 095669 852725 143658 139892 939358 782310 718822 493545 686789 016247 169975 855666 147026 803692 599953 090309 169294 482712 331939 619332 589060 484752 777127 944944 567523 041159 952618 596589 116659 047083 333889 320093 326656 353343 598523 279074 778646 897376 845802 867386 933586 678682 127382 962323 780358 531285 464792 248999 163486 218244 911830 484073 224100 550551 310521 634870 702498 797654 592937 766384 711396 921298 848855 195083 630011 260325 815210 478108 954101 976547 540839 247349 218802 273935 426694 678036 588037 887392 245432 171271 166385 692538 329797 290417 345028 294387 126800 018015 869724 086306 935098 924962 022243 936797 561303 035459 773765 431380 605839 436019 438299 882053 980183 991868 810321 984988 014025 825286 898321 999687 591549 251731 611073 699208 791798 475638 294029 476003 079042 754502 381970 978773 103219 058778 023453 916234 272566 423115 802016 700228 180629 285691 030224 969074 736237 040826 817043 736219 408858 381052 614565 886963 163368 157986 874903 859324 592274 418912 096675 277524 779959 805161 707181 388389 103679 277601 543232 047410 261464 152878 629195 951863 601693 251805 616003 509325 305501 006087 726584 831178 236939 275928 391586 928880 021719 074861 660861 789049 676920 762189 781364 964395 813935 222435 234921 718887 228526 785931 880222 936832 551465 932986 601845 852041 811844 570186 454315 398863 638079 055952 332889 861803 296213 822772 192224 966951 316813 253348 163832 196955 336372 935809 404786 956695 171989 155714 163949 953938 463325 940458 602540 366578 534433 815245 641971 314028 702846 097734 297525 626005 196960 393562 909602 211238 028628 673275 899644 935345 951226 954705 021234 742557 624028 075565 266613 440161 460214 817527 880212 486650 166222 017463 657350 257008 640676 313373 611379 244427 300508 945680 894002 326545 785451 284162 745969 120206 237111 375040 810390 200675 380823 537160 285605 323323 314367 999197 994810 682943 004668 361177 874562 779633 584641 771252 853071 699188 297212 674233 799443 269720 459331 656929 688393 573052 209667 612142 493361 417226 613654 431573 023658 197919 289393 106621 716108 207660 276812 157366 772352 103412 522530 311299 997471 919285 027587 324292 878998 721371 992168 783380 485555 962836 250499 572976 466786 428086 373045 898141 270428 916153 595067 494100 798390 270298 105184 528888 164878 600884 942423 325722 379301 773375 955951 316387 377481 471525 230471 754805 764098 385153 994555 406124 289938 703879 717953 362339 839526 735875 325271 131206 635437 887558 716887 354206 334813 325203 206696 748646 284570 642106 330062 895581 414394 387292 157384 165850 647886 560055 643933 528173 282077 765778 175772 585239 235214 514119 442605 648141 409926 432929 790519 889430 927866 062112 913825 230961 689041 268300 465032 954447 315474 068521 462288 516367 860027 153499 710855 662784 392954 505476 012254 343849 016935 532910 925465 267260 627873 254826 131504 341425 916942 833015 509869 778223 945242 812057 474343 444332 552165 118734 131874 243702 835841 739726 216873 686271 318425 024457 668301 192393 394199 265875 980725 873857 139949 827105 075943 338771 947187 248984 881267 880358 588245 556898 624835 635360 622058 079844 776405 953635 978278 846863 171317 364625 696954 781934 473383 373457 292535 658954 825584 238629 779235 276410 200964 583257 888162 439205 790079 944804 587095 986952 228982 985208 036898 608874 845211 792522 908821 459695 713887 120955 486799 987826 069632 127815 144124 102975 067468 153079 830696 910167 453445 166220 294102 463164 663323 375998 519735 582965 778811 463299 290198 115531 827908 993693 211675 248108 127726 272653 605256 476878 537814 094359 523881 931761 371054 225942 638485 763273 717902 875533 818880 312061 979770 131963 171374 117229 968269 242034 383708 297693 565381 720492 742221 599211 826702 620649 047113 205287 290840 469933 894843 666984 181726 088322 167844 531578 337191 308596 379030 923885 103079 778916 706379 839305 917268 058701 230505 654230 080781 231059 123066 120730 497347 657022 959053 482171 325356 976040 806772 544874 737200 906596 681478 525567 200743 377308 707470 790808 392276 275996 611733 265414 652906 797394 799367 281852 431849 617624 034847 468044 178878 277633 593620 793582 703062 432932 093133 126701 899879 009748 701617 656680 818867 019658 902065 259644 972569 879832 267571 847623 177211 488640 749754 889332 426045 044597 956170 190274 386629 657245 664329 752436 689850 704441 931986 759973 001680 535194 367029 522762 311845 691866 025751 240384 361037 672800 170171 551576 871390 695469 923359 679458 849851 010952 671267 724084 234801 089593 675883 250907 321515 445521 880609 312603 931385 911777 030922 738467 485604 343224 225130 544972 855355 397302 681272 975133 566038 702830 567734 064094 928032 035154 497900 564730 289165 961894 248508 331996 891318 641296 082067 256293 806624 735843 160412 905996 458512 340128 297518 427537 021337 898630 788598 762392 994907 235581 500711 875596 498732 250556 571258 959883 984543 374253 069283 729251 675219 230644 063747 900953 032523 676152 144368 132452 773952 485156 235672 678035 796607 913464 215537 802439 262867 244715 968715 270209 542210 195258 896754 633655 526391 766605 113265 079404 461626 718717 450165 855260 951804 075488 412714 752847 134703 272417 525191 189982 569746 309106 362547 060390 475470 498441 606538 160058 717627 392165 016410 578342 420421 325093 360949 130109 848328 223513 269178 399183 251339 580004 618961 087315 212518 239405 056908 302933 974050 394236 814035 020725 835890 494989 784770 131692 620305 096109 184598 825099 466704 000046 194889 954958 745395 423052 826341 086492 301119 344046 520572 604008 556911 732273 611619 377660 819948 414426 148444 986788 434235 958477 831108 154923 698289 450818 656491 785218 210820 903535 287912 508343 754570 172007 289278 864444 809166 972235 959722 617296 710633 851563 206355 611346 690196 825385 352095 390688 594223 913153 243455 625137 692561 495550 569758 849064 368102 987159 898555 039190 776563 102114 541656 653849 914245 369841 705894 854265 165080 521729 731285 846444 756753 304650 883326 883147 599024 424438 246076 245015 486807 730562 837245 551211 195050 915695 981413 506152 033654 875548 338078 035768 358788 681525 759544 384410 035037 907204 966177 239224 395271 924910 237863 732339 265904 479760 497914 317706 885656 075650 419428 672875 313770 725171 659306 856254 316268 985173 322455 932646 680881 835903 663933 555629 253624 465739 928486 577143 048884 340892 623565 669960 927097 454709 105673 996946 012452 422636 464678 863734 906481 558345 840217 265949 255742 155477 327391 692091 584389 781053 493429 961210 166432 962673 697305 805710 864680 349374 839252 276842 235491 142459 931266 457265 022129 962471 184863 421937 604316 507947 956383 944243 811693 171374 428287 193228 303600 260619 573892 321180 015151 534885 790125 789388 137471 731177 769925 883964 232210 292179 572640 735521 348448 414409 539444 707311 739224 646244 458517 925867 216979 064737 977045 516868 146633 307550 139475 159821 093901 643060 233974 104597 311406 170573 265484 271805 447595 539874 244328 277829 688289 009738 238749 949196 333877 247526 461462 531682 362811 003402 645562 425989 466693 373060 597754 987389 946907 066609 612992 886708 332806 584665 764804 597419 814776 387326 430517 952019 371647 212303 847833 501580 306521 116019 222100 577210 856447 740432 892525 232236 710606 577771 629407 277182 135258 940408 832985 401080 230521 972193 787894 197101 276494 471958 456682 923104 696767 765924 166042 198988 505690 875148 369574 468611 272483 550641 172472 953808 569551 337842 361311 592669 252155 918258 492480 418422 508425 289238 602892 271362 690883 636275 316207 933375 550008 805422 867753 181019 781081 451644 716747 617934 836524 110316 208699 894066 267426 343331 993809 933591 418235 050738 526614 008527 735133 799763 652222 293000 131122 552070 556113 636479 964298 301662 043097 902366 049568 268410 720455 630605 597002 400518 298096 736716 672881 993100 156203 880109 399009 644335 602954 652811 847490 084462 677902 779525 598690 928267 485815 616414 796860 667329 904321 331681 017517 175191 235552 857162 171934 674516 475223 458498 368974 598101 477974 045329 935894 513198 711155 015463 065873 190185 295674 625529 422622 681753 459186 833413 898996 747049 307325 764016 120027 841407 168197 259274 627394 080172 940251 045043 667467 068443 989588 474650 387135 711331 569255 105411 272641 670732 767490 966216 789540 376835 718890 101987 008310 599156 247027 727532 213954 824683 511419 150933 599394 069928 358221 927873 233905 142553 529448 325832 989365 041539 939505 707535 404717 981395 371559 181780 771514 264650 744031 827843 596105 021258 985341 826855 399788 336696 597665 315655 934565 745075 416023 666322 579493 882015 891497 370577 396215 632849 595303 945072 880491 917297 526079 239371 401828 457961 458271 321609 783763 998300 863162 783503 386443 936304 195366 267978 930767 225810 216758 822087 552455 502761 496584 512022 872503 253987 837787 946831 869181 031578 175923 820555 294246 166319 219586 140421 082388 076345 024549 763567 393178 350154 833147 925312 130929 048229 958083 380579 681150 170977 956178 522157 073219 296570 490971 168529 396467 676955 139848 499381 093958 742750 871675 776227 423231 075387 930708 103864 047468 444615 810805 824888 536202 862603 509213 027997 299453 611046 491860 775232 155524 198748 241211 795638 588831 098450 780995 539982 401446 382213 610730 024007 890020 736065 973120 614321 507057 217977 959709 640501 248088 510637 893078 086930 097416 669223 790827 929051 887288 993871 008471 542629 949848 037734 869787 504087 439802 846149 526590 354524 914302 779523 946607 890282 741309 164918 074074 780375 338111 151906 793700 749804 309395 279563 099470 094005 702053 656821 370797 479012 875349 113036 303892 065197 246542 404770 241300 711171 503940 092730 576585 752949 022124 487751 269536 366263 371936 309722 420322 205395 237395 234331 216345 669998 062683 491274 276421 530524 643904 098553 890444 361967 326435 538012 747158 436500 218656 567954 769912 725507 892049 898333 914195 523973 428995 126631 311064 814783 251642 341739 514789 457388 470727 028345 631127 195020 581362 084483 162187 679813 127669 992451 512648 112296 255745 456581 180284 388084 802740 321887 029538 192796 650593 511873 608535 599196 674226 945409 625207 105098 092126 181540 304815 220177 915914 015349 150207 006386 077546 911592 449274 883677 531440 700188 663348 054828 542807 103274 132799 821108 415496 040779 796488 146136 450081 035417 662622 001153 880768 910315 854331 325494 254089 263857 378939 870381 966678 309970 991128 917080 071884 305552 773575 130147 825887 365705 085065 523880 271306 768566 123075 634488 966518 171099 036429 356127 732368 268270 321354 678656 136311 725621 208865 024854 221287 247255 105659 092908 375821 496774 386689 774788 720828 043116 838514 209574 424046 591240 282991 828028 159486 169791 576097 670031 285428 438742 301670 369925 279290 744283 526844 037656 688145 569899 717589 118150 615309 348779 005998 632594 602104 325161 578965 697643 163005 371516 964195 105214 077018 707356 725255 236957 741660 699963 189590 959431 773987 069003 416443 987499 941016 823400 284819 790126 042508 121866 502762 762279 810614 793978 377950 233820 667839 200693 885407 214132 243567 493925 018947 495957 542527 985015 391507 863367 189148 942291 954574 269307 652229 855151 932872 045439 841333 360398 414705 923159 278704 894253 643622 709763 755462 904147 951273 656151 353085 205168 518450 907144 213684 131333 306527 252569 270254 845947 020538 000707 598414 908830 564018 487660 632778 547179 116669 744562 526412 767796 187583 817149 983987 077571 491331 794140 902612 687098 319063 505505 881745 013946 389702 022256 714084 270331 823906 829654 636778 035184 419737 484329 705961 529955 450664 316847 695845 377322 844755 404624 512820 646305 136090 019509 725950 298535 569094 839662 112530 146996 027821 038395 304591 452589 380031 697628 283881 558117 866456 402137 220325 969052 290136 927050 595860 220185 489863 706836 652735 621853 955715 193075 478932 972853 928933 121306 045751 525079 019000 993608 353626 185474 250038 023055 409257 204153 149487 011017 343911 310934 634058 971994 074714 687913 895636 104766 661801 170583 926955 041165 220450 512401 735984 402229 704351 185244 442655 628159 816599 987491 918515 780746 803461 121072 978456 695094 710326 410260 091098 846134 247058 758115 466498 095509 409448 471984 919621 758456 783425 501900 058269 488475 497638 882819 139417 033469 605551 390644 495314 527360 512076 610647 033747 962990 144926 033407 659460 904528 122222 216854 754757 303947 143928 384051 539521 447476 879114 574686 965481 601630 711228 675602 913862 417191 201535 725679 941870 086276 389800 097885 070988 883792 530422 938800 594940 562061 746965 002770 102599 581932 263187 239465 709360 548664 055141 967192 340782 621542 510681 460862 990557 692499 478879 213996 795722 962778 424017 472994 520707 991322 849223 276853 271501 895733 171763 409986 550520 365836 506150 225166 523855 786318 120960 946291 452465 597010 440387 495406 763680 791673 604854 135880 958041 911414 493963 737387 089268 184792 257669 905573 643121 753000 961174 573461 880918 218032 702924 809413 179519 674762 644606 035382 846604 371360 162572 326738 497490 856170 277855 662813 476190 589107 757562 663112 822973 863007 235007 806594 483674 521977 267175 295834 285839 723670 253011 772503 406012 718270 348506 920130 958931 519710 344930 869261 679497 647879 267887 758450 902911 604471 463048 809073 749100 984045 289630 563414 267142 878777 114638 856673 915566 254282 366835 753081 066384 607923 125639 398119 837218 438475 795720 309916 526828 204499 786600 786861 617487 425688 172067 395788 353152 563803 665994 161273 751323 994863 013348 745132 307452 767821 051878 968406 374282 389485 579586 584594 862283 910228 256976 494463 483200 689059 013812 442961 136453 692542 221796 678942 900516 708202 701409 035885 696589 313756 971626 610087 501783 569122 012114 327187 115862 348031 135241 702782 866554 707127 995372 664364 131894 356888 868788 501728 301245 817984 440291 204266 947038 775338 608793 475737 661473 568700 881462 148510 515967 933613 325557 798942 111110 727827 215873 628606 532131 180245 759007 878105 318679 918527 135456 864386 044715 093482 788525 023575 000063 416336 933958 638146 706220 205740 945160 691725 274124 192926 132396 519157 835650 051600 870757 323723 297880 503648 071881 720189 912284 341977 102856 131118 836190 371870 574672 690200 741366 774361 960667 219085 549041 034382 929429 581178 774734 512283 500631 531676 314673 985688 740823 841894 057765 660856 038096 563166 043577 385274 926909 548295 085492 075476 656538 819936 948334 923521 852987 358055 693946 983745 488835 979930 493746 242306 751607 806119 889989 802905 672096 837345 772728 365514 615151 072463 608340 558460 214972 304073 022470 520394 837842 983290 603433 474005 868980 324722 360315 461607 492923 518441 948335 027344 012454 113970 406834 010091 092138 107697 706197 800759 388716 492763 090384 896773 658112 699959 070623 319123 366178 368208 625130 791088 059885 096215 354318 053005 356666 117114 868838 821501 637490 750021 783365 962185 983958 596763 497518 035548 370266 440759 736227 465164 716897 242977 551525 703242 404324 998569 375187 402898 673442 070578 410710 799192 574428 944173 156784 968370 725826 999516 547564 347839 637073 961784 406104 959180 325010 061702 576081 822772 673241 152784 476819 747949 418852 712573 431760 402509 323564 531674 600305 629791 588018 280307 349647 946436 079827 758238 698147 240517 856758 746108 385350 675843 651887 142216 847212 773895 502760 696467 814195 950711 657230 136435 263037 398207 707678 498804 443717 961747 587135 538986 268021 813646 663702 779435 387310 580144 314021 214141 495920 361442 782206 517258 766110 359730 814127 663320 231018 300195 230659 569445 147873 526274 680499 633333 198661 634271 237783 205339 941367 267367 394304 006839 467527 242686 218809 194075 219776 615049 689405 442995 363481 412602 317254 784710 930025 374791 166907 188303 589251 933757 296524 215554 746784 971482 336403 029883 706853 844811 949809 963821 053524 604218 113128 169858 057123 588015 218647 270492 481422 238758 139404 993800 664963 847834 950514 250078 703186 460264 745492 219950 197568 408746 408105 133057 632916 169204 153519 825801 047975 622952 472050 592856 680128 524885 089890 466427 727951 298026 852589 403758 495020 412825 260318 171789 064424 783356 368214 453848 847711 881784 508939 928207 040845 188512 417291 343584 184828 010664 412854 585371 074134 489277 288310 164766 193294 921134 908598 673419 865317 338784 556295 127415 450699 886842 606195 270532 962559 014307 070787 688634 879408 071460 424352 960745 394244 741261 830238 263250 705688 641412 593687 655733 274113 642695 206915 424810 849727 397767 160406 993668 818281 397526 112102 410846 782247 785327 187216 948447 007682 095567 668046 173942 075140 512379 091738 503270 863249 257768 437370 090594 579233 507915 189112 042027 190281 043248 517949 780176 886202 084539 733857 103712 482712 122966 813439 126979 062754 722782 163499 358863 863887 322916 598822 115712 796855 099413 463371 571495 431351 565528 174821 581753 107630 585876 137871 827556 769265 322877 631436 357504 740186 807306 467123 530971 145303 249256 884270 074331 759605 508523 762154 041976 883253 573722 641159 545305 704442 283590 529685 552016 546957 925301 073306 663569 475531 108435 806226 054967 771365 336775 064787 352090 520915 802008 939334 166904 064933 401233 165523 737777 760168 664013 848663 311235 180206 044757 407778 713050 040418 034690 615356 795309 171582 428303 708535 797050 338000 151896 806326 122665 350363 377775 609150 376296 587352 849085 962012 381483 385803 061354 843498 729804 459297 521409 757246 698454 952149 154813 723067 820718 840050 554783 512480 113411 543698 837213 845637 895952 580682 928439 195641 263862 529939 424776 479780 015629 043549 563161 077999 587040 150872 759041 180647 084212 992350 559679 739978 518460 318607 452438 999314 364432 338111 063291 286666 899702 099066 778516 204969 365520 331770 057660 490154 813042 577438 017445 832324 910590 910238 617429 519086 535331 286650 696391 926647 274196 970143 667403 233695 523069 264318 873835 467914 118275 816502 234693 430724 767368 016673 489986 807316 449551 561044 496619 818248 888833 611337 422983 309288 712990 954051 415424 656629 470165 621469 764350 188323 132292 954880 679701 993901 187953 279189 634182 697306 265559 054292 220701 176031 666323 217809 315945 268863 497559 787465 898701 396989 517447 861975 146245 163255 700732 297747 428281 246779 343369 510132 453719 891481 688520 371352 229582 552305 136303 223546 927510 122666 381033 605753 672065 290381 611653 113354 380042 284313 115163 599997 473825 785113 816462 761413 323396 077188 547813 871537 728604 985594 671476 127439 563794 720125 215059 093432 223302 202965 663679 573698 180526 954877 473430 169868 788742 794566 004266 080627 486851 559551 320559 722141 828289 923481 190565 801738 589418 789385 176455 978563 209251 029103 149591 984839 943204 318286 313584 363432 542285 299251 879680 026993 540865 842401 280280 207716 142714 506786 318771 211112 173886 373434 394769 201426 904824 060666 785099 477820 481363 037092 270307 264461 624981 545550 980578 452015 290750 448350 811318 913068 107116 693680 800876 335440 290766 285779 308868 523362 977001 434114 936827 773468 597390 944190 499356 608356 422105 958348 744345 833203 196508 734836 931934 786962 111241 668447 595894 277071 144171 347350 028631 218026 325074 664257 065730 890404 996632 385680 450520 194062 551936 724947 308092 574994 138398 971531 028657 221763 670918 745239 350211 623256 355420 626536 662320 045180 994799 739584 975263 449718 620806 592557 611901 433287 026953 632905 977246 119695 816701 377163 334765 728097 498576 497074 045282 267505 623786 926892 936526 905000 820389 803277 524966 748300 430669 129400 446202 959492 443925 907791 383230 374371 996959 824790 494868 442276 207444 856459 278255 477171 348393 336399 250553 557343 117395 424021 300094 551728 581316 550429 003655 063932 975362 570346 836998 046206 020419 040937 971765 429422 390785 419881 213999 452671 991230 967423 428416 841076 236781 138784 347855 890784 995337 375337 042965 425729 640524 754071 923625 412636 648391 395478 142538 380841 664933 244501 230920 508949 706295 317690 505577 171756 916200 915065 841180 925420 514744 674768 357046 829213 032224 155795 416814 709040 965767 005145 578260 004412 883789 453836 210986 739800 094247 177701 639298 811037 995114 518032 950500 321353 742621 400819 817453 610139 771632 861936 316524 599804 029601 028585 314769 382091 109562 391816 697137 340541 620175 766363 017740 077222 149637 714699 309844 751794 994689 688146 427357 600547 053668 636012 365864 405770 139703 180695 792813 769990 949428 017722 721113 777578 017556 759551 417376 434203 023900 993454 676776 315109 926345 959701 702290 644514 305288 038128 735832 349259 539830 175451 478114 307690 083913 319061 120805 406310 026535 397662 043047 059972 270936 982655 592172 927938 394843 680400 992297 125822 348504 083010 343345 763695 122033 350512 796864 069818 135275 358404 468284 899688 214337 548164 819801 612373 415509 233264 816155 866565 400733 425063 022344 828999 146831 142519 674108 517726 021742 487112 410670 904403 065815 093946 923201 458430 710090 578261 496267 064119 313046 141934 231408 154996 722773 816683 547207 436449 306603 017203 929398 813125 901677 738063 738628 250437 011348 226258 128597 319155 583892 402399 602689 333892 268560 655844 048019 999609 236457 242019 076266 126478 315574 514920 788254 254261 584175 103803 501528 858839 340980 072835 196574 396849 747087 416423 075282 898549 551871 530675 903764 037946 142825 912426 699350 390887 134473 105677 014364 026049 515072 593259 109705 713492 226601 407722 181559 901156 470288 449242 910962 022600 128978 299193 880281 049121 731360 458073 063412 665664 161368 859145 204344 212374 854823 176185 933771 695165 164797 216971 205478 064588 359530 325336 175283 381418 683206 779999 215207 881202 583205 395077 839108 441839 610312 221333 274391 857298 484217 642992 408758 462039 607632 929863 097759 504123 501369 749311 154347 012723 403045 040274 066433 725608 836656 323059 102339 543827 135864 504298 168254 711184 748650 768493 890969 647646 821159 488885 141406 348601 545006 993970 895246 363208 219614 102768 304718 559363 159971 331883 692493 545031 034494 218222 966223 736694 573721 304110 732951 096976 629402 191506 233629 059180 058526 176933 123593 532448 583189 438003 796779 811864 686908 502529 533254 256323 140382 663003 282133 512194 750457 236752 415840 882369 852554 287242 110860 078090 050565 523724 557551 041098 711099 162098 580405 690289 247177 715652 168694 914729 479583 244739 510093 987969 823887 394326 990300 838793 736445 182183 403338 024368 123589 552976 792874 937794 064071 550124 160357 461946 630963 563963 087880 742445 999257 323301 334647 686395 328397 887372 789431 134564 687963 448090 705967 907312 647454 370657 470523 263497 274404 286660 690988 996064 519874 907230 869916 735092 096817 269807 942209 886257 605806 241646 104328 335281 501972 816161 776257 362341 413099 565040 745614 029627 976434 979393 394493 719297 040402 714033 312017 780007 501004 914463 782918 037013 681500 178392 424617 251165 778573 040091 383671 837824 038361 378762 365463 374283 699308 802476 845534 956880 081691 489309 973501 001930 416516 792358 252131 816146 954907 820762 744910 458449 486905 158810 147028 430431 810688 933002 598473 582698 526699 377727 419499 000696 537857 732830 553430 788378 687298 791047 271766 461775 979375 764702 037793 615681 821882 823066 963760 221313 842985 962127 905635 835553 859399 309767 681404 396296 104410 616611 956018 678013 901277 459562 023730 711379 474505 498841 550057 217412 310218 177796 670960 251344 918617 268087 816764 526224 021433 010929 647464 566392 894312 284589 897525 167759 916161 220567 089901 377989 664426 103934 825389 617800 947948 457619 161556 389211 620700 054822 204797 521143 585840 733009 704026 276215 372200 811808 930690 174296 088026 470780 621483 769703 858671 190266 632186 988712 114353 264539 558053 574493 378794 448020 333462 896540 566123 287131 451121 238517 882123 030795 675381 226704 240069 387999 656174 721362 936620 921759 888621 299107 513800 144063 186578 967577 482230 630879 193854 121960 823783 909622 304969 976581 688215 833870 931634 370661 545740 587130 680605 620551 834528 502145 074672 817730 643315 572856 140841 405233 795979 570993 495335 639001 496143 729663 361328 201242 312089 023260 700621 663953 556020 153641 951349 133446 969683 483531 760060 201802 606910 114841 854846 063432 620922 720423 981109 603875 035046 194051 805490 429396 700076 623724 653673 472489 972477 816365 502707 304351 307579 420798 532274 660266 589131 300043 499654 603726 266560 800371 552412 783984 174984 196875 800357 874445 198332 578037 296376 122232 914918 964494 406233 724361 844011 186963 070623 933683 157473 895651 267055 948752 083305 147824 243936 084614 253744 173994 361060 247745 811839 782953 104785 548864 771659 660396 005331 098149 706535 479585 844185 321002 190518 837347 544909 971614 572275 835976 703262 071016 687934 579906 304209 662059 145465 256971 811598 177132 101078 279015 020951 868326 958696 013422 379490 910277 164141 189050 885578 705600 693437 110770 466408 139114 385104 118581 648299 197212 888931 983388 891759 263339 838781 886804 335862 638872 743168 272827 588435 400728 296529 010680 094525 611872 116640 264040 504817 987629 708461 809269 974768 488859 644938 644471 902747 912290 828777 703389 363109 728566 865525 156462 410147 911218 090106 903482 838067 549732 921139 210289 755910 592528 807849 135019 048013 512599 695653 445512 776828 485326 130638 473751 425255 255428 002052 089563 240525 070510 916390 384335 529579 155989 922711 331469 031737 659505 495511 303522 996034 415593 957778 751347 322412 331971 740778 079080 131893 938391 703520 131053 309898 705966 089836 139359 203552 100881 343183 487985 024138 935323 417445 616330 933148 715018 079592 733194 420093 178897 298756 440089 905582 648432 424489 178727 429101 434879 655537 659843 688473 208545 727373 240252 349245 095239 337813 613464 596675 697710 221471 536188 514106 648677 091335 094204 062025 716473 334291 303144 336330 645160 598218 204402 708222 127590 225592 777255 339607 061546 558710 246463 048183 533789 956628 906879 807117 962875 071433 402851 797393 218908 194357 577998 097749 834188 583111 211504 401891 944232 489884 332165 467332 454418 198953 788811 301416 227670 051772 407707 183474 878445 559201 554404 950040 059270 851041 567184 620949 671081 551101 414034 679716 036915 789091 791442 170677 626001 046634 340590 374500 275671 783424 397205 960957 986841 649588 779253 397823 621569 200917 857397 745450 405564 868309 924507 512210 352793 644704 259434 098184 810726 666551 629030 416112 477264 571436 300302 846146 779801 027957 328423 748445 191234 052327 972880 570807 415355 882171 008235 361680 320315 664140 726597 240636 433752 687493 277256 073914 828490 351966 706179 266595 236031 622289 895097 695391 790456 869410 776422 973894 474372 492441 527764 286340 951242 298567 909986 437719 004371 002644 271911 337506 299040 312786 493880 689889 452205 775313 806897 170520 921638 251454 668082 927158 660996 394849 757629 261404 893883 400799 593488 292854 708122 580690 713965 538771 044883 719333 782811 302679 849533 803503 959952 588498 709951 082578 200556 843389 573295 756458 061366 124614 394639 052760 140202 854283 589529 856475 806196 874885 304563 582409 554045 976830 887999 888128 962455 891763 279525 653416 596463 632268 502269 975293 269177 650885 248135 586056 671940 < 291209 [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.