Information on Result #2157583
There is no linear OA(2118, 95119, F2, 17) (dual of [95119, 95001, 18]-code), because 1 times truncation would yield linear OA(2117, 95118, F2, 16) (dual of [95118, 95001, 17]-code), but
- the Johnson bound shows that N ≤ 141 450916 047957 328574 221607 401782 204424 500742 304776 174800 562500 170085 656812 086273 884880 466600 628368 543386 971892 135816 634723 374711 846550 268473 516339 337753 726845 035525 620474 109200 258860 376734 172272 119344 651680 223014 481752 209417 454161 980131 236996 659109 753619 787037 199474 387136 777949 168650 947687 248593 931500 141143 339365 459429 926604 654546 532061 425604 693274 866045 035203 033465 873829 989724 682310 921082 676642 455082 238292 619566 239421 724210 672304 172304 333327 781747 284667 121224 526366 187741 534119 467139 235384 829289 092336 575956 843634 555924 007015 321357 324438 187536 375078 332406 828258 059350 024470 717516 844570 486406 678870 600941 590923 258361 776906 926448 633087 516693 300492 534574 095324 330138 199322 939183 320675 996037 455639 327659 535160 458645 977479 609019 535481 152192 501628 460859 321429 957436 678071 450904 765366 809047 461530 551444 048874 275146 903502 851571 190925 380455 773615 377526 332073 582903 007295 932348 283201 235725 897365 751897 132630 228198 708608 367609 557207 202123 517672 539072 503575 421489 077610 766413 835954 596015 471250 417436 579968 703212 606267 630325 061972 560272 968718 792865 457393 045716 071681 821460 585095 150436 976201 642513 080462 611582 273215 778390 256041 167936 107268 245646 289229 020710 627508 112657 894179 475517 289930 073611 174112 692233 200970 870941 694236 306049 851391 726591 422754 423455 771242 418293 932315 343400 191305 601364 484586 684914 533557 120323 333234 434901 311835 745174 529481 793248 087452 418554 173917 582186 077227 478825 345771 778423 052867 084990 604942 669671 481630 286268 812134 981797 802769 464454 858716 667396 135852 011644 412044 032496 139403 370288 939599 267834 505650 944971 436466 981373 555522 625702 732783 929212 201654 815541 132426 510922 603150 451982 440227 871311 803810 002844 477294 015330 077478 648836 553919 669916 844635 496282 246162 262592 025112 574775 318404 744017 000477 971328 071538 994971 024682 732023 399379 232593 112527 836105 409047 913282 383282 218406 325543 514441 286428 216631 765694 438295 681620 543419 757129 163338 549589 212449 424524 085410 545188 279377 482267 206759 486872 814753 597836 486507 532158 403127 468969 197518 781050 134208 775366 745722 204609 812729 640827 097790 318733 045126 113595 266443 187302 885157 190911 695795 184488 949678 776027 827139 083919 803532 358590 741960 297410 123271 931403 718362 984384 471167 227046 610457 344219 989341 915140 171686 585798 865756 790516 077986 438589 770109 906476 629393 389153 073426 575144 733008 231907 327454 956983 846276 343398 346853 659894 820966 224228 503208 688694 616665 305859 517688 689396 920187 230984 146431 237132 951732 865857 756138 520347 425897 367318 253766 023759 845379 856838 977476 984706 571123 440452 943740 085852 704846 448719 549898 029114 243659 231386 752348 118022 301177 640138 673946 798397 711275 485476 118236 272911 087468 396887 249351 730397 867516 192346 451630 175781 527986 451833 566928 138908 204108 203601 866824 070848 736012 611967 019633 449899 344496 372568 570538 180458 979700 269170 299159 753560 395711 986578 684723 166677 787204 387731 587926 747512 215992 079047 896143 803306 077281 233009 168655 210274 485967 319839 598033 570082 017560 645800 360987 931488 355018 831863 558433 707087 446691 429827 039900 323677 818846 831352 875200 810266 836870 871687 702758 738779 143901 729043 281259 833485 053031 208685 486446 182348 494203 449465 955566 955726 964056 083457 969261 306998 917597 533635 074856 960965 070432 201003 038279 062294 031001 749783 717602 436462 592086 205599 839203 630938 831175 815949 897098 325775 869027 430848 601323 541573 258651 688779 036165 309362 313930 147435 239855 746815 194099 497903 632729 884043 140677 179979 454965 490652 421761 063591 870617 861695 375220 109462 271651 457253 485229 786118 665868 644905 823674 358394 221765 034427 771184 322934 272451 551916 725049 999258 690176 851522 183127 916890 434718 005555 331862 729010 402539 332321 225735 717340 165571 029397 198217 500273 720412 616571 926560 239013 182157 168057 384157 060869 066622 115526 766668 229294 148849 185166 433784 455198 079177 289868 147535 820561 650276 348893 925089 247178 768697 944749 686752 057289 368865 595425 648586 221571 211364 158224 294229 322338 928140 288423 408513 327778 158880 335221 061493 421539 749630 949370 654538 368022 753609 153211 465402 199443 035893 761199 252795 036412 131756 972758 329965 152719 324138 564906 044390 110267 806726 430293 471858 783779 121654 424364 875576 915789 589568 236127 129569 403506 911675 656042 169473 233882 809148 063661 412506 041474 111405 061225 456540 486593 364820 929125 563375 796704 631114 539375 111801 909062 411722 677588 636408 228248 375716 302823 428519 517294 153034 899003 951151 935425 160011 560243 658713 929780 943281 250996 306480 680164 374450 436811 085588 191082 351472 698424 372816 035401 784735 456654 837759 198386 832192 556187 861520 394916 854318 028994 078926 138783 688006 144720 306631 333120 458864 505969 594382 119508 065721 047941 031900 765253 034716 438608 892873 944250 888017 050037 337819 322413 368951 480559 756881 876497 085923 104156 031666 669258 161117 276779 622557 054823 359673 763203 980972 168846 091661 729024 115063 926838 316872 715974 840910 568509 646189 533409 677299 863157 799549 322886 841506 975829 565671 555308 934735 287918 555163 356601 071697 558714 596850 476198 963509 714678 201854 016117 744396 271654 182168 981321 777664 900614 456190 764020 704113 862234 720552 506762 376112 283456 049908 737938 248059 128916 010645 079163 417843 722470 248064 253760 584472 236275 609879 646456 016349 240296 048334 200482 288343 528402 232124 880760 136120 301460 819141 886707 326830 653752 986916 062498 407466 110444 584922 357503 578658 975733 241071 185896 826173 494689 043066 511738 090777 481732 456304 882203 105073 630537 853648 838214 851914 396336 988401 225869 008205 055213 229782 743756 838451 885240 610064 154117 487982 908094 295860 758621 617775 109103 182625 527401 282739 593120 320672 726511 252115 744954 913698 931682 526323 359901 569867 200793 466113 102137 361358 993141 367415 932978 120993 404105 681954 714829 304252 855210 695876 451523 600794 362058 080531 481199 579119 122755 611984 707379 924584 804754 658400 171418 271110 951522 576645 742031 667247 762592 090575 664206 074708 109884 092264 378342 783202 381984 269974 530711 006150 852383 916054 462401 007594 931633 702481 550863 489435 446230 030768 372839 082124 460295 824369 159563 170578 628240 463847 001625 655249 870849 684064 552458 213588 373056 357216 988579 408626 350229 488673 685729 424339 584667 805820 395621 240999 756944 032057 745679 545812 282975 122194 757768 229908 403457 664908 911417 048558 257104 313298 178281 833901 243770 292582 003740 987415 087969 566104 890649 596627 457713 434563 961178 373632 987166 311181 480750 804438 787083 520771 509400 684234 475222 678291 697470 239728 309856 719473 052926 918114 104242 942248 113248 436280 112922 419373 938364 856901 233025 502200 391703 903633 227652 569499 681888 941726 734608 379884 670490 937121 865040 228841 854008 334630 537267 239276 244061 270623 471491 691035 717866 329577 526977 803351 791246 858979 648934 355680 041111 966246 408288 108562 220127 475336 175368 791125 695510 373950 395919 609755 820149 994331 841994 416061 318523 519905 917324 002997 223014 172986 572912 204009 405618 644889 256664 502597 689844 894081 384795 057084 856032 138557 020778 567811 466725 868358 900871 925388 830811 188575 829816 857751 162520 403483 316519 309095 601885 580231 764437 229115 796113 648193 345150 510517 518066 449706 270350 992377 303157 775896 368573 835443 807517 667292 338008 980292 824486 109305 973173 632794 762067 023124 567548 190846 310032 129223 202006 271768 794777 637171 494540 284141 984633 918244 631828 933479 978375 309388 428082 125414 331387 128854 904464 916078 418662 344270 438753 994802 604773 644147 006236 893887 909857 515324 783992 767623 754246 008617 275184 179781 271096 697852 272231 656095 451052 428296 081982 663901 373380 141977 632204 362479 839853 272545 412936 168582 489811 734263 561821 852178 800869 249757 904090 131517 268649 364100 058406 063942 133538 632246 042813 080415 772358 046024 285406 919517 448694 110400 080846 529458 184675 566831 413858 875829 832849 785764 148708 945793 968640 168164 717959 139585 297271 251830 518403 553130 679706 472650 117404 097470 329382 021347 603236 094307 022801 997108 143912 079092 599409 476654 344545 741117 755896 660563 508369 578918 686570 913414 590995 165654 275567 865113 518627 735507 453086 006455 793640 898552 393520 167381 801885 570568 953257 991928 605371 663041 192923 395099 441613 430658 596281 936343 222149 974920 977475 185351 617899 936765 530492 790701 715167 093749 572286 163908 660447 467226 562192 211573 839892 480502 052577 088636 330008 603703 164648 135197 330074 643490 908322 702628 061160 586143 432907 817605 747475 634976 977686 036278 096398 634418 538964 875725 744847 646065 968104 757106 390925 191040 759988 652609 717880 671076 962975 584296 033627 488636 180618 849602 045403 734335 876605 867283 778154 433632 413319 940569 269785 324034 212842 841027 931277 488213 517515 285135 283239 030898 474759 724583 176779 000981 900911 320858 295359 269600 178805 919660 827205 572329 326294 981411 234127 095369 788043 969679 881184 384283 528601 245556 362884 321636 080153 576584 276011 081782 137018 249170 383740 143769 675248 943423 791973 018702 237134 750415 864232 508896 424601 803726 426370 563335 418035 391745 907395 119413 729036 858914 721596 020042 531780 318326 999307 082846 170304 149111 793166 437987 967646 261597 182942 874606 681963 770278 571051 795768 581893 481203 189545 692445 969704 087941 429557 090375 568079 341625 488728 857303 292208 129237 986292 840115 374526 704786 718569 722402 651216 434895 205748 596093 502152 592063 108372 999348 587060 797715 471197 530040 673199 877718 093646 263745 987476 755201 157284 220047 634706 289509 981084 300046 075076 533882 116594 107635 127557 071546 398375 293799 490188 051560 033190 500798 557217 558712 685498 101894 670229 561267 616030 139633 878206 482221 361056 146452 246556 044528 512033 005694 959728 251492 635033 806770 516786 410011 041301 035262 255029 466551 166774 970277 859417 336472 899139 344785 300239 038171 065175 732661 596092 440154 462179 145197 962744 324506 026248 633578 490539 930418 819991 382762 912876 021028 751757 238121 980907 663054 869466 660959 721975 034780 305675 733900 988828 337053 998219 847738 573986 698884 513506 603083 144576 863203 353230 188390 944418 011178 469808 075467 437682 017204 849482 343135 249970 999747 281945 489699 134835 912584 980354 265576 253252 947482 960837 765451 986113 151203 394844 578323 924004 001864 870072 250296 693239 261836 251004 207007 076927 508962 484351 270223 450676 737119 123233 004080 128698 798746 948127 309884 846179 130096 974248 134748 649265 384563 966263 349967 197116 346519 290813 536762 853904 178509 051695 810790 358497 212149 781305 297819 741309 426142 845313 107166 830327 643081 812217 571028 989920 718839 224401 369067 541222 542004 886953 390056 908246 003012 839872 759455 829595 892578 426124 989908 639202 491453 258980 824033 656471 465691 995059 127745 828099 287996 897336 789858 758759 973591 806349 474762 493807 108429 508220 058092 034228 894430 779557 946450 967378 928002 121446 373830 506862 363557 228186 659274 191365 555396 774708 666665 106446 944733 594711 463532 189335 297001 338210 085162 659895 623104 949234 277697 720381 048149 705459 762116 689144 090287 495366 146278 621327 180542 395521 735156 612888 615293 116033 118149 709218 851216 476656 793987 940299 691012 868726 018854 507268 327624 765571 962052 047592 600075 324631 281548 254470 342443 044376 303263 636387 483321 546602 688095 979458 966101 793539 264076 968240 454105 952518 941795 018858 607445 330917 542595 234212 427311 217976 342921 757471 675445 654835 197065 299097 377102 117062 725293 771466 969723 276262 595761 065366 777948 232021 246497 432142 436448 395813 970786 187504 796821 334902 916360 292398 265518 738518 480662 832332 663525 659439 999584 485596 456382 517969 686970 704144 060463 240958 035403 247827 757377 411689 003059 390796 224735 534103 489678 715246 505720 075732 108615 235506 419112 296378 598128 324870 489829 802959 806154 978209 862689 005454 012518 662796 783744 849729 596328 157239 727036 911360 763637 397419 997132 831461 465500 275821 004503 230418 643016 022000 849912 302545 380574 854285 370370 259109 144775 292213 714570 766378 903240 678852 002468 576993 600840 192507 832933 884080 607173 277484 646501 400423 984514 891983 559852 822249 942946 728530 878903 658201 114798 381719 492252 542762 348554 573445 615734 718890 357193 450636 064706 056759 697080 626287 277548 281190 137495 092078 291510 571285 216746 390810 473287 452903 661167 148688 323429 719498 316095 244543 787382 592413 547381 496314 574828 941470 528222 980703 519940 216598 884271 407358 136081 519731 382110 891542 570695 210395 317785 473413 212737 749230 555617 528354 104995 339969 105697 518378 607834 463985 495499 053256 905457 467473 033129 199919 590682 543825 162057 384114 759287 596327 189605 482563 499429 440145 096740 989246 144985 097849 257709 807326 628094 189810 599042 555867 786029 986958 668977 054111 240294 121132 054715 844093 283429 605522 781742 264340 800875 189698 876862 498095 637876 772758 260865 231566 133368 109550 358665 442684 262275 484145 618508 928000 373864 977663 318034 368043 001209 041557 242570 491951 410121 734233 539027 117349 739758 020300 353004 045532 472926 365195 442917 414477 022710 659018 331978 193634 772043 919323 153811 077655 630506 566648 437090 541688 269856 369508 307557 035933 946905 521311 002894 198811 480116 980091 420157 136804 995821 260404 749642 940350 459262 884883 446301 550738 411628 155228 344496 690878 937441 890055 734171 064984 294979 460253 629231 308010 615875 073373 262655 303037 935793 357166 997284 503298 871603 295059 324318 404086 409037 659446 653242 455336 455644 341995 764065 603865 397370 355532 088356 229319 088014 667332 193403 829654 892340 412786 080718 021036 097872 094254 584696 780170 111610 761880 328203 663022 424000 429505 573257 852963 918695 416102 273279 285912 194525 290025 428986 464362 674615 360666 074424 655038 684294 150430 681564 571249 483603 714249 472883 317436 819959 914659 028932 752604 103906 344881 883233 986524 179476 643550 189773 025714 280258 409750 853977 698888 216964 970396 020798 644124 109687 003888 161733 024232 044475 831832 836574 170258 890903 369708 617295 660508 839028 562987 255730 086502 339328 506153 207027 652609 392989 198253 792750 886991 958758 698628 655832 011092 807808 439693 500283 598918 794831 863115 913880 639292 853216 258411 859493 484649 357870 337016 118109 788904 891531 395123 169108 030440 118523 026327 435485 954699 619606 455020 255478 812528 878921 362354 234385 523275 177866 373333 996579 700507 657435 747437 745930 222835 072049 147948 049408 118716 756778 478045 283252 783839 708619 615576 593395 367608 204754 587337 000250 927377 080989 676341 505485 976746 041236 095832 764740 331133 483566 803448 573679 489682 032660 991771 741199 438739 705695 446630 409734 063575 910862 324130 681935 574162 883449 943983 555933 486800 847333 111394 271355 313441 648259 765506 472360 738089 244867 134557 134431 802509 714218 931243 128780 570938 621180 162974 995069 119914 404247 105008 779711 293367 075356 520061 253034 769549 326367 319059 516993 559513 325490 390438 766148 235096 667156 686341 689796 405510 275675 871263 277083 157369 210378 254441 003947 891003 620880 971069 747764 370110 984074 015794 753733 709836 620094 896772 289757 946151 524082 610522 795996 436140 721988 783872 368081 403592 687396 158100 521359 017067 011540 627566 363357 579559 725690 330568 983656 423092 632921 643527 161853 514273 726720 606058 704124 872303 833680 466685 970149 349839 255608 973335 777867 056376 810903 773158 221415 229797 945245 068532 934924 941229 385841 203104 065073 482585 787091 816036 206439 226393 941239 620805 340554 748385 594886 861194 502235 542385 112135 601538 411808 679481 592538 793419 744700 903431 037266 331173 194933 827120 199673 040213 610634 942861 257433 818025 585865 286676 081777 832105 619066 204520 328431 989945 350825 921298 660365 851446 872898 848557 008310 387475 179149 025890 702642 995768 149798 151668 902966 967910 056791 439754 950202 071218 221433 416441 487109 558783 201884 936547 624559 944679 881504 361417 637738 353646 743269 466485 418251 558510 283511 381714 956252 202770 360167 892422 368744 872471 978393 156941 653013 914092 957477 629289 414274 463593 482969 667300 064370 785571 983414 569703 497928 324948 009304 963308 852219 077612 826553 810956 362471 533741 184779 426901 769860 949403 026959 555230 922434 233749 255448 776398 099853 811253 103279 832109 946090 778717 552798 682751 915335 384097 307423 730904 017712 314832 480708 208941 171347 690934 919854 271592 399569 249143 010058 525500 403232 852827 307599 556294 543012 915785 462530 096514 333751 871656 915010 846901 467453 040694 053663 321349 921659 950840 932247 994290 321342 325364 215806 712169 661443 958730 731610 094435 448196 240151 666901 455137 760748 608830 949138 378790 517388 800539 082201 869618 354244 185195 375476 207971 098480 561724 203704 634142 266096 306026 592153 892295 863235 267132 392438 380972 906113 359147 493295 769085 266411 872465 101646 075798 745261 550981 289687 229642 740638 078377 990194 475177 506856 672566 330286 305812 531987 405676 481187 112271 591591 094920 804730 542629 253533 717782 956139 325045 013267 979493 038866 547575 467163 042144 697347 621446 887534 577224 290353 005534 955413 945380 742722 471649 867437 757184 045255 730519 665706 317101 838397 243540 111310 576815 389959 053963 711011 440652 710773 269386 789437 336212 692719 191182 902456 501746 593650 301384 117260 389405 073191 794090 433409 177939 475746 251760 688889 634252 911040 399398 097203 445805 301978 277667 182239 346458 391654 093776 064723 748811 638820 909937 250804 515247 405597 988176 415584 490047 125713 656399 620324 591737 325631 869030 811324 413672 224492 990410 705584 062928 875268 778390 031549 905215 713213 876723 512335 530510 248999 837291 781709 334983 405416 409430 777351 783669 556126 751297 239754 657785 111200 455177 684409 113293 357037 264350 015655 534400 438900 740626 489169 774405 047183 603827 384493 873834 246345 964418 677547 465397 318789 434684 583095 381734 046011 002216 196143 388531 375212 757701 842427 782347 348028 876191 502926 632611 228807 712409 678303 263039 192018 298920 245225 431401 127099 713999 366262 215004 330713 506823 341334 119315 831339 941449 123979 577749 445796 796976 807577 009407 333546 595296 953875 015801 533470 144532 166871 780966 977868 431086 173232 867612 537751 772627 959652 963211 159694 096215 584806 514929 908470 747815 880953 206454 838088 730841 977189 708787 548687 499180 040065 451382 318895 803238 594785 983428 159877 488214 441615 647310 807847 689148 769894 157743 756061 415247 692907 930798 643460 053814 567573 867575 494641 684338 684500 127300 465582 036377 872537 511964 134649 005700 606912 424015 700499 625750 642127 411515 262195 121246 873762 804344 347620 857421 662022 017323 224727 720750 760309 309581 545826 589077 518651 390223 744325 736866 222554 025201 680374 657409 367237 513291 656749 091273 107433 953323 211981 215340 562353 524946 910416 276432 427458 643846 419789 249548 911779 994880 399716 326818 772331 511400 297168 014558 742579 841446 442297 533273 701754 976706 541749 621332 643954 368002 208103 717659 743307 638233 623922 980968 715259 693040 599354 205099 952702 769233 857066 006128 661962 939684 184846 813545 800958 633195 996471 627618 198543 321889 057553 123767 347200 184732 650590 109227 860986 488369 150538 631786 834353 821470 735186 281371 492753 966989 298110 538845 470340 860053 077634 544665 070508 479521 276835 758163 300199 449138 449362 905477 804841 986686 623538 680577 887795 555355 089130 377029 737454 390697 700931 365052 236850 536340 889137 203334 461566 593343 837184 505656 832396 940924 059663 910666 042556 750026 559937 226005 636711 242228 670359 696330 524180 318006 791257 626523 675839 363759 503772 518718 996303 011209 231209 364751 195180 929347 216065 722419 974950 672206 237646 717048 598625 641908 377326 804169 266765 197547 144536 301178 212391 595479 332871 609861 128079 744300 195080 464486 504701 195461 694751 902814 274153 569935 637266 720912 570546 680126 550099 764229 794740 103328 051933 819138 906960 716199 077203 417410 450372 909079 006655 748570 542521 956523 400352 301574 178794 042413 353314 338480 741221 971309 163058 060364 168377 417012 414858 795950 221581 039043 421741 336671 140432 724168 783600 713224 802904 506333 809872 120612 827364 243203 940430 299681 038890 829015 135653 130133 654086 057915 041862 378613 510798 397958 313789 122126 482283 264091 478125 241798 536589 614140 058741 967330 331717 970538 293491 429959 912484 851960 514778 784205 287669 028432 557835 729717 973679 538032 212378 974846 945674 257570 617755 752617 102011 636674 504117 877662 324440 410916 725297 891759 006347 475897 496237 424842 826197 985752 665905 329502 882838 266226 963606 240515 069363 578814 300014 857503 982805 359297 351502 785043 100278 799283 173719 774183 022682 323736 154229 222476 034464 428024 301572 015792 600762 036092 335572 475507 845819 321240 836573 042602 986896 485620 604942 399100 408416 475295 539418 379685 236990 784766 790474 824588 720206 510336 504642 444285 992242 596532 782980 831911 001228 966411 033950 651166 856766 923231 483766 100263 477789 304744 715895 758546 102280 668517 074165 113551 345606 486259 269729 622598 266666 371711 926697 760362 032131 656767 399844 471450 245902 911077 966866 887003 895426 023297 717611 419122 191100 865871 007965 513029 665455 757708 711979 125775 789468 647600 780458 445896 413171 895629 548050 417831 600943 265247 971960 755221 966002 102441 471012 116874 145445 201827 178110 635183 742407 968260 743422 114237 855123 440117 029925 246874 138925 849812 265158 979131 957124 138478 101380 015960 934340 842174 583254 122775 663517 332902 323932 744154 294429 645651 464196 508219 547258 687446 059153 049069 614755 844065 104285 211267 052907 929355 239151 349383 023388 430104 727466 410137 291036 805993 370394 696998 513750 726585 413179 180873 602611 166133 565829 607000 055059 187854 520840 083278 650984 040826 694197 347625 368649 478883 365246 775627 687989 252206 197260 211245 823922 481832 396185 886567 437763 206617 083787 901731 507611 496986 277129 297567 849129 690380 004231 909110 246746 930969 937014 346618 182403 887527 100437 984227 186922 287351 171611 664475 010185 810231 387493 123136 754062 113744 987139 740080 727409 080944 927331 083030 220577 554307 920268 577418 674701 127885 314689 119718 016078 725012 147505 190061 827126 543866 653800 582670 078628 654205 616363 889958 736589 152769 135353 998975 474658 353233 511234 663719 007595 421949 026090 250125 786660 501845 019147 725029 660235 971710 804180 267384 701051 460027 047586 940358 039437 625912 633188 472610 070674 833834 033748 445840 318740 102320 218059 071094 781837 756708 019516 257131 798642 561606 954591 217649 358112 313338 925456 046242 558134 493064 766719 827955 460198 401590 634309 095932 393293 037932 698165 558956 890189 299273 566487 808834 369120 467990 315431 509291 858129 103471 439968 247880 243591 637967 870161 639333 015318 037528 216729 760763 333380 158050 218110 505291 445576 264901 941679 990546 483950 514821 765334 507805 695756 439415 390605 074518 294493 125019 454565 824897 050894 643255 420839 347006 404360 984668 496023 056133 248638 670714 537351 695946 646800 220128 794466 125751 998769 141958 935403 237369 072017 616793 248393 812222 342143 140598 308714 846965 323885 524867 346083 820554 598034 446245 879839 208809 474101 123159 164295 135995 958312 536316 678536 177056 190931 481783 839373 664006 112404 005948 392468 686939 228883 805332 735409 460855 871696 573603 080904 910683 090381 312055 009314 602151 754672 654992 721686 946642 732482 374852 350946 186485 519536 933556 357683 248030 640255 816956 275794 398274 420818 418214 204489 461517 906672 017348 122304 588473 529239 665970 859912 338545 898757 203330 517541 748232 949480 593086 731346 020865 695061 118137 357001 479765 464961 843209 393717 552009 948589 516018 252887 566213 494325 819370 499235 697497 709942 094908 369104 091904 310653 474966 738349 740224 937568 619589 494563 758931 282329 791973 614446 481934 500242 008209 468818 816267 669511 734808 173868 173809 489408 313356 321593 106544 586386 910531 887333 732450 182826 246535 101069 134230 222448 140822 988758 416891 102524 996222 307309 822909 851619 241263 287779 389832 697122 526697 407667 274245 048468 609990 865082 446134 989999 622224 117190 187770 651057 660613 587039 533253 102192 988198 423428 030912 564128 830048 522366 070672 482746 960000 831556 356841 347419 820968 110661 844962 598417 658545 268910 801516 018535 369958 016235 419187 757479 893074 792001 131718 953759 215866 684768 739989 995281 917275 560603 206971 494936 460990 107415 936347 002086 549196 006528 927215 851978 848993 953833 346260 201517 557309 898903 680920 343115 237853 968054 692651 128486 926588 447234 972134 214812 688830 438910 228832 922272 722551 597252 961516 308402 031549 271234 390781 684683 019511 438078 908992 054965 509037 935977 907085 297859 429785 723328 488526 133326 309477 143043 078721 366371 284935 980511 634323 109468 857224 314562 942748 249831 451162 336551 806652 866287 477971 558151 887051 821499 572476 105576 441182 049811 748773 888976 645894 472267 912491 307986 527360 689800 538544 843071 054541 415223 902574 724560 505079 370266 534368 735816 326596 866336 158996 910358 139031 050642 231904 551918 643097 387986 550573 637575 251778 818086 520032 771925 993141 156032 276809 491819 625495 564634 802798 002624 726646 408314 434064 896181 455551 051924 615293 883444 598809 972515 868414 046481 102450 325364 289930 499465 846903 024316 947726 137737 656229 176576 030073 600373 351419 837908 294691 897929 000816 762922 734841 433620 495405 197158 138873 146065 750644 560717 061260 455921 812300 657960 647346 096388 182388 002078 723054 636912 423855 339759 183438 993924 738625 496347 536865 616942 457896 028791 888499 927728 945511 209390 589351 016169 399472 765020 779512 955902 173601 404997 845453 743453 231010 012140 694735 383215 645717 839786 868406 031082 932083 332737 099765 066841 363318 619506 459596 195705 146684 589461 568943 138385 847444 497571 397602 477593 615886 772547 715147 828156 735217 660003 519193 968818 305583 058680 180810 042466 199062 642364 883269 303134 179786 646217 548834 709083 401529 830179 536026 769519 729542 167887 068043 184753 560943 717869 318144 886799 528683 685337 419876 945383 212080 820857 517787 039519 318545 634651 205119 244498 150650 571043 752769 973499 130597 828488 517802 306625 375481 007197 086600 866497 851512 760922 408201 213696 014302 865194 365002 003210 497197 386448 553222 684291 549299 641338 555540 043208 395104 481144 087795 388820 558237 321674 709696 107242 209550 456268 380171 737817 318021 603467 551971 925664 667643 289838 027287 872029 551172 968996 344783 220293 847132 106376 717313 532129 342739 574699 322754 002522 399868 574633 956138 521530 091510 058586 969966 314455 290526 964822 843871 986556 263474 257686 207826 116543 129402 242877 157709 410195 956678 780633 587523 733084 779440 778609 008970 425757 378151 511651 946275 583522 582621 698906 444989 443109 066896 501274 659106 367363 711207 517518 026688 286290 294173 728678 645921 229516 193303 163204 244238 372834 692873 915819 394440 643048 089084 085816 512830 992453 976302 672528 831020 757077 587171 237648 883384 953419 802997 996897 138484 411459 248798 375715 613574 218837 194395 055166 128452 901698 553598 799027 727772 095691 049237 491097 329027 706014 275623 197376 107049 739410 497806 603504 336127 290038 996985 057279 384749 587942 738696 542315 161866 974421 295262 630748 521312 431040 213102 490652 414696 376262 082464 855264 661913 000710 642574 779149 132443 578283 142367 397694 103853 940885 890613 489040 199805 288915 385684 687577 586116 258118 616300 045161 571847 741259 957612 815803 957578 687353 009655 830490 290027 388080 868164 142463 300827 497316 859520 613345 356061 782152 635849 883429 104107 356988 958137 913381 404035 791839 008742 453792 313667 666153 699571 434943 427628 812252 956143 531061 831516 022225 550302 688513 778952 121361 872334 613013 377145 206615 286667 021417 362783 715206 241600 249983 219998 291705 813029 311760 883960 648333 219211 555200 941454 756179 596989 012867 674230 988122 874812 538596 325204 169293 984370 272182 107898 006416 999320 244615 982371 131848 886255 285561 679369 219681 161642 918855 885480 853392 667856 327870 317275 118340 833658 299554 180339 382916 501221 104824 812270 392027 228795 099409 083933 108767 429137 654754 566408 502333 092516 184223 836303 328458 316252 906171 954114 341476 135193 396720 510707 977207 878581 059714 861433 293805 282491 610954 049980 507166 707429 640374 069544 345451 824184 968935 312472 609797 622940 995717 026015 472980 000583 848570 120278 887655 488041 283331 215606 412272 973891 342805 535872 918177 617270 564204 881129 632046 806990 558026 012537 831075 950654 281581 782303 881898 483169 443197 243059 392459 375956 554757 717596 431687 571390 767347 849693 718643 830701 927875 894105 451086 503676 870971 762628 959863 084695 132597 585786 691366 108686 429345 379858 874298 887595 357878 384876 432798 230071 811515 558779 739821 019792 946424 928370 499191 959377 331076 183185 556518 865418 173296 942961 921089 846870 395929 012971 903705 982411 467573 321670 096026 448087 460898 649699 397227 291982 458710 455306 776763 868987 274709 343617 003806 855933 198494 127454 270624 654424 328884 508814 295787 695159 778684 166625 647989 307915 921747 646101 729488 109518 232874 316999 092078 881548 697713 766934 665367 903034 687887 140041 491050 938150 002198 140190 401798 671980 793057 637653 546577 511144 157950 466062 126209 749088 613518 171085 919157 751101 816995 397894 822645 134054 955939 926250 413678 169699 149320 840669 556823 327906 723035 741460 876946 973212 487450 522883 807722 779042 545334 441274 345607 527421 095557 229861 029207 108013 765414 660609 325915 178469 819320 138144 961793 725763 813671 210448 061758 286999 844991 323683 932309 223398 344908 267068 464136 504310 928606 240692 578747 736542 908144 113439 581633 985807 867725 384625 848414 435181 103858 219182 735212 905702 954273 074481 612996 723239 461687 866864 817726 847933 691504 026978 875219 672077 349810 735592 815321 394921 846061 192575 040790 132718 258799 693397 467502 464873 691145 015661 354399 200010 869863 724277 864028 050513 970597 130215 246562 113945 081114 620188 269632 547011 699915 602702 719706 495133 048288 770632 681357 743352 439110 949799 556124 464153 422772 305162 610365 989044 794247 044727 717529 724332 392199 657141 444622 930467 314074 488316 492674 888118 720516 556857 948398 370668 950349 635750 751428 829540 265408 649990 122720 018964 291645 969289 307863 123554 482522 148436 373125 371540 010295 122562 548696 671038 301087 102089 969713 979885 528690 673230 491391 508269 148186 333450 530726 318139 570100 261386 587137 671304 224476 358934 247691 818420 178199 096032 767433 677536 475669 031145 202629 279843 328788 188274 171586 801782 712446 331669 404585 616760 915971 397546 202556 334833 227438 574823 502149 286536 163339 955523 137812 091675 465649 812568 380062 016652 378192 529128 128282 511952 699375 054659 270029 768651 062766 740677 635708 190558 676902 236593 301379 411988 036450 136636 156800 375203 657576 833054 172066 595748 364869 147777 859578 406527 291305 971795 249585 517879 146914 690784 555878 400615 648841 155699 273021 166733 616236 775990 401882 607324 487521 148459 801008 566747 772418 363407 751119 690244 370423 143644 808449 660990 757623 325195 530403 526697 306967 840979 501822 066907 304072 498385 452659 671911 378870 627949 154601 322419 472660 237999 891929 770172 660379 527035 730917 569321 545749 867329 804210 763237 279447 217981 590221 996809 720784 133664 950669 440726 300976 119769 698342 283109 150658 791361 366680 623463 762429 130391 521916 199391 474169 619220 340023 778762 294410 524216 935294 978786 010831 383166 982741 487438 576703 344815 742885 779175 444181 328658 510296 810236 243533 219237 460073 544398 526851 987438 412806 308509 239425 718340 652543 742846 759029 804699 221002 508561 047821 981955 432104 809773 745322 609785 817761 548651 682935 627989 291294 802807 825226 471289 232728 942474 799650 696728 101383 542101 895541 259885 427565 989280 144133 624570 231673 504800 735013 542236 636046 532399 419873 363230 880453 995416 017695 594804 935824 483554 144075 842812 151723 748054 878319 075504 580401 905441 261537 094188 926211 500839 543092 224025 446514 118429 097875 263060 675127 968983 087383 664709 760370 408627 034628 609580 997893 604791 510756 105525 < 295001 [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.