There is no linear OA(2¹³¹, 99867, F₂, 18) (dual of [99867, 99736, 19]-code), because the Johnson bound shows that N ≤ 336995 884446 759838 910184 983943 306261 799064 623178 541371 708308 222884 578421 093499 371343 687695 524246 094974 437786 848440 628784 470243 029447 802362 256508 962910 885666 506185 303334 971148 988057 453806 130112 358452 233912 552313 046541 137810 477797 386809 046173 392850 262085 240874 522593 847108 267633 173461 475981 711483 297885 427722 922703 888684 833223 759262 599961 842627 442473 851031 072393 905094 961761 648249 956514 674902 799556 951845 248008 709651 950058 640035 147475 565600 751694 440536 471081 374416 430562 132275 142041 085866 623970 460797 790080 678928 546145 911422 391471 611801 456684 548510 309005 551733 832205 499868 760907 561474 358539 470843 001683 657798 286945 674454 191622 991698 731333 559680 687216 381472 697799 571760 840536 125213 434884 480476 697311 891401 549685 699276 041642 125603 423929 806266 716032 449402 362122 156304 613779 717382 627494 010152 413483 211968 327285 342846 961715 026958 269810 431632 574295 798256 120491 803113 243406 341334 060376 457899 848431 851963 731384 081403 069512 006597 178396 343951 501089 091619 541242 583910 720237 549919 069932 325122 364061 376470 559591 555295 442652 783362 805413 760940 994056 591348 036148 606283 195971 714912 095256 017965 827300 594287 646543 513818 203811 523569 587433 975240 267767 735565 416318 485375 835056 600845 169848 668397 273775 623625 691285 405718 840015 598439 488674 352714 843263 382259 897329 055522 414117 065931 076322 347007 012671 565574 286013 456491 680661 383700 221957 693368 114110 028462 887825 184510 439523 861191 792575 831319 777409 246365 605213 147973 454177 383761 204782 660310 597320 224898 906964 831298 252321 235607 703091 159903 545247 504856 414321 534113 701568 681458 158628 418315 488644 209589 405690 794202 950272 647815 988341 769164 031901 923690 353118 822011 056527 312820 788656 719241 276604 414773 283074 052079 019256 214996 758450 833113 121855 309300 406452 130663 430099 216085 641743 890387 714365 252352 131947 514771 873389 600128 712236 416549 477501 757428 665608 777839 608820 908572 687671 797409 868619 009355 757102 768447 406878 702556 240046 219052 520535 854849 176060 977675 812865 714648 234816 690443 932915 756183 319961 377673 015310 716400 920937 553739 944358 010135 040174 286017 460119 468108 878753 410186 856437 576178 263505 584329 887276 311425 947511 993731 972649 857924 390704 669433 404940 203467 832060 176768 546406 476810 955045 579160 950953 752508 290540 802051 674119 731607 937090 164951 683910 538687 179693 119627 493532 385731 663162 104620 082539 787763 203507 446419 801146 927054 322667 463047 287289 576951 440028 005635 000157 480839 425430 306982 337967 539859 181003 818604 450032 092826 890706 381533 032107 889251 196507 680188 760756 855668 149061 012665 646629 273790 212910 524756 101182 728872 986173 467286 460658 017180 629643 652152 225858 435943 677020 652091 956695 011268 856024 978901 258853 951821 344779 387548 920530 350475 214026 485412 049142 004844 460311 802759 575271 344481 122751 945598 561340 992885 449239 032955 016135 111732 860533 689372 244559 088364 712000 021674 037363 304085 282287 830070 165730 074110 488300 953406 972013 616942 669955 606024 977282 417537 282436 007670 351656 166356 321118 922296 427192 463609 673511 685853 258580 957172 283694 065682 519604 256347 218081 336831 420360 839754 054309 453399 296440 858426 755140 512133 505466 313120 009638 501176 301242 532062 167052 324070 142336 915940 749568 483917 342649 421060 535699 643690 638280 448062 839510 179706 848232 884889 727207 673127 066162 164994 616014 387311 385113 542267 340160 630465 813285 721056 806833 452983 199773 437329 500403 176100 167140 396179 263882 089582 360077 098972 844623 353357 898625 450839 740614 540227 148022 172295 226677 814707 710197 314324 990198 325406 610292 019767 376880 745354 555894 038693 392045 298136 512884 418793 601309 165798 332276 765587 405003 100780 466039 295521 186181 926894 732476 664837 814295 222272 450010 285974 834968 172671 022452 288627 927050 742722 104355 254495 693467 498683 851601 653558 661503 007978 206479 417327 214202 928718 749254 270186 363580 702644 154832 768644 334600 089896 669187 780016 145294 686772 427536 372487 223936 414375 518035 699178 960074 761928 837730 759103 357067 768047 816344 728548 173529 161482 034599 298873 261387 025878 405613 820723 083035 391046 804087 338146 629737 112278 013667 586190 430158 434727 032622 994935 797194 793168 515405 275113 271033 755718 667782 858160 517704 048120 250309 305209 525503 224346 817578 033632 740177 953024 937795 929207 178447 648609 611935 510866 036606 798960 601109 530181 288435 570746 638764 925786 952562 371943 751181 019617 799116 470660 876959 624669 251214 086967 705877 737407 090353 036130 885295 348624 029417 231646 799683 444247 390296 238100 994060 002137 471725 927666 739489 479230 213833 185315 954813 018015 631794 582669 178642 368922 636009 591447 443742 591049 980256 994411 471718 205756 140633 576076 830571 517604 721477 133977 885300 731231 548808 796912 086005 230288 614152 523120 084994 138819 984110 548493 969153 609598 992896 625055 169806 350946 333619 851262 022239 734353 572358 028582 993147 449063 315882 274685 990636 750565 356916 755094 721736 759884 918730 318656 150490 446108 777456 689051 379115 098051 154882 556222 828799 962527 371683 703626 805572 655163 715520 775521 122576 241393 646072 118081 291466 173863 759668 108005 690330 163464 063443 493449 286879 478332 561606 528476 790113 948159 460244 877762 759531 627154 046358 635961 488456 352266 372405 802396 142693 211421 759266 230204 328751 888792 579967 931201 472402 131020 757444 506598 523669 353280 567036 758038 301500 743116 072572 698792 818023 103598 198107 920731 804913 933349 141136 491281 253385 313211 043144 508010 134277 723880 151372 222590 593964 451505 045618 465392 540951 581972 361727 056162 096506 915853 648966 955354 581894 769184 132580 564380 578741 355780 528940 317405 703225 768187 219754 201212 534328 377523 392966 355996 999378 740344 986696 526359 502683 213460 562784 793364 455666 416658 980821 510996 019488 503313 156476 429924 737043 252365 546529 766052 989840 723213 834587 418778 914913 449709 806481 217852 357598 918138 603721 700586 846181 757408 275162 018320 700356 713024 984240 903643 780358 666258 123737 963411 877911 752396 650345 151587 654181 745707 226699 665185 669150 921340 671061 031207 749695 736297 292687 521330 464827 419824 788482 312006 796988 598016 570827 518002 049584 923462 079222 169147 928475 301848 092630 058510 473720 229192 991480 362345 602440 242791 904699 940980 760525 483996 168249 774357 951162 645813 140585 069908 298692 291028 222475 864288 357823 073064 373148 554440 674976 396257 336974 119768 074764 154390 640152 430001 875131 569771 826034 277764 507417 217335 969458 906736 988895 988137 044351 078615 314121 268655 627937 464909 199319 743101 255051 422354 807971 994691 064791 507760 543661 925599 502997 137255 071147 330571 262854 821797 028700 316350 378236 949772 752896 969418 316427 286463 209761 732913 366210 459072 493882 147963 072686 320457 099405 869999 500919 927405 639764 277590 435517 152533 350580 308525 635477 264041 558530 087821 174643 527092 593975 991663 208468 829538 024939 572121 209643 780767 499516 027284 844747 698139 558686 007324 152513 689464 164343 567273 828684 764988 458336 795245 937131 896994 850671 324350 387234 313649 861845 857067 318093 422639 434713 334776 242311 311191 771270 271259 734923 699950 289875 182009 920969 141278 044185 076659 221134 987626 091755 884662 733425 771256 541637 536926 919456 023242 043977 028297 541241 352010 120406 730477 148346 147195 882367 282307 233594 223486 993451 763384 235995 904872 337276 837354 146262 555268 779016 132282 493217 739906 761962 943587 345714 308810 827130 003345 704911 968417 222995 907216 137211 803977 858853 050672 394632 034702 364136 553330 304103 847996 839797 441261 358262 464143 140964 609378 067233 784220 863652 073669 921720 744717 635091 417072 757578 023112 906850 238395 929851 724914 719088 672100 648002 048534 896871 358414 293897 292911 043009 129530 211889 212437 784994 424039 867450 746127 698068 834530 793491 566368 425471 735872 075168 838068 882874 365208 367962 920771 535240 508080 132339 746003 755900 196028 511485 211214 900160 414754 553513 355903 215184 098232 604697 267267 712003 278383 750067 655692 168353 097793 760290 607297 143816 702024 960269 011775 356451 239756 784429 612924 833744 943686 511520 545855 892750 233038 911476 406712 410993 299738 007587 012096 909328 702885 055539 660083 627670 919353 520312 508141 227246 425087 466426 660561 846002 420497 991646 185211 563716 166634 882784 946744 232570 066131 564087 331231 827429 078244 844733 901276 229484 315066 183614 642446 813198 515161 514814 405836 796075 270013 761566 127343 275005 747375 418638 718578 819456 403158 139761 022840 183723 462651 061035 207595 328636 313622 252632 684200 981023 563780 021944 777350 425706 503962 000057 065193 778961 944458 558665 139674 210457 467372 759745 745438 709217 616960 798823 496096 696551 265788 029843 859343 811481 424374 956671 995550 448027 861198 402196 531995 672495 634249 852708 770803 290375 590148 319556 894026 268495 944506 027862 886498 329916 142645 480407 934894 780945 121165 333176 148888 513397 164827 178432 875245 358389 913326 477509 649052 820131 712661 697493 114301 974892 493059 973134 569123 433191 052319 428793 825023 003282 840328 531106 715760 634429 372119 823497 617947 350467 308725 616648 776871 152226 365671 033363 872829 735792 360513 306571 656935 554151 216649 209892 482479 064292 274589 922534 603603 338892 365658 936864 075338 100365 870816 446537 977438 827239 435372 613198 197934 320904 211430 051839 920433 957335 887493 994618 194179 663368 376825 783381 401907 242832 157245 904620 339868 783589 293453 884122 872062 963328 389894 844838 158942 723203 371529 919761 307443 104739 918581 010693 155762 556711 388641 702761 358452 811741 861435 057080 058405 898761 975197 539453 022961 375347 439759 670913 354985 016018 435563 457454 119089 562557 149906 944672 313464 387347 555249 776150 655963 964075 318904 859604 003200 881479 799696 501990 391940 436883 187091 792440 951009 249252 576801 507492 030000 886461 157763 639609 622417 682548 529381 086132 091769 875873 334139 649114 554937 476832 467319 381341 644572 526574 508895 828242 098730 419380 446997 309439 258489 531013 392568 178569 204234 130307 141523 042070 516308 377303 929938 142143 932725 566122 639773 056452 476029 399828 306843 462945 101552 854980 426471 934634 685701 437163 021135 211495 094559 648251 573953 267537 567603 412403 370070 722081 303156 499476 351414 826794 231983 603433 703082 830762 484674 139173 200066 812912 802558 956074 522438 038554 436918 984839 328657 899453 893101 178313 452119 337664 042144 624115 439571 031497 966066 796257 501708 281295 634262 972373 613194 361993 239723 620983 020599 726107 103371 450649 449909 956284 242773 586932 309001 079625 461543 689989 931664 891456 630411 303062 777109 453618 632783 782131 489172 574207 324899 601265 345907 773490 389197 817428 828884 929368 340552 153343 630975 330901 422264 239667 529533 213835 340430 693306 644320 686677 743965 485120 561404 686365 130315 310986 376179 815583 666311 672303 851099 650080 256787 346510 540225 058174 154664 995374 866645 672307 764235 354787 753337 837934 889718 554725 555279 483774 443493 746418 935314 521417 578073 910220 038468 974288 325017 944227 439271 608039 999430 362400 333413 001337 269306 800566 431875 390218 404508 775439 621660 702575 858188 646729 637257 230859 319604 573868 796753 304007 560867 182606 039886 786608 622862 516450 004833 700739 991762 249698 154675 061077 361277 417618 803603 587313 804627 308599 690924 358155 762723 138876 474328 519823 886731 900176 767529 480617 616558 236711 562528 909497 234374 198908 959366 516959 880100 057577 086165 908899 047977 424422 867637 169944 442168 387993 184238 080146 464901 105257 439033 898036 088510 382919 623240 226270 382573 626475 632206 757143 708162 516092 527236 046890 073989 739518 463502 860975 746953 568641 731832 543496 944974 479024 368523 992489 639544 530403 738843 010845 703580 056500 959474 496505 571751 888210 577827 781366 903165 711142 589158 946920 364508 917576 905781 538969 446208 216386 992762 113032 731073 546118 881504 149784 087099 478601 546655 338585 220846 846206 451487 691890 897665 552860 441828 563824 962885 310301 355378 529144 165882 272231 481768 117673 222512 508555 515616 693737 577972 917529 536812 619923 192783 169504 528774 836478 884029 913700 047878 333582 515493 005196 692889 706201 902598 421979 484102 796572 168176 803826 451639 461382 098241 420262 325766 250839 509487 025585 529404 763824 871409 877362 805601 889622 866043 933813 645227 702199 267944 899978 388819 013556 730988 410066 580356 136139 933003 889306 557764 462421 642843 258169 840103 721638 389286 844911 075053 553202 168536 690351 462680 772629 062415 179132 925838 282348 275282 291010 305385 810926 956343 966072 452720 240556 227983 613952 009810 703793 461810 803646 826044 621955 973153 687805 442276 983279 419992 056624 498157 324368 297099 437317 145507 201344 405439 368048 646266 639664 637361 206637 971855 005240 359604 371392 903715 316345 659496 438709 782626 301675 367674 991210 353284 132049 434043 524407 162072 934210 730726 571072 682225 276859 952244 108569 155539 806906 182580 235188 333603 085268 373753 627246 384557 180809 002148 320092 347790 672839 511233 798255 635080 886766 776856 110251 043314 544909 270200 077638 188562 512119 377724 911250 747125 309673 776127 106424 312501 951851 779181 064599 137778 014009 233021 671933 399143 045422 471463 145473 138194 805763 788978 181734 153555 356716 691154 571229 391747 079104 876964 669359 061247 568120 795307 290164 757910 844813 084155 440009 070737 283782 868163 766234 215425 302602 090327 583488 826904 384436 092210 527498 517156 141516 584296 999884 975026 090341 566063 709235 242501 311442 030901 864497 215386 292419 517992 566432 892725 447095 270986 009636 944059 379898 879325 601557 614316 055161 809041 180725 936347 992480 954557 772266 683684 213525 020446 907643 915168 540781 269533 449646 491202 923878 950290 772382 143007 229172 510038 905684 361912 347079 014909 298423 403660 207336 379364 741138 901451 139048 329249 598379 969699 917313 412978 261807 647362 295731 098914 324197 818470 716169 964193 839141 841017 225432 044892 124932 111398 321560 868280 598796 043414 859852 016590 008583 291273 559315 941091 220073 199047 647516 182049 461467 384036 954037 783981 052596 991559 897337 595992 726002 891433 977530 485445 068932 454905 469980 575265 443441 762327 190317 768291 129071 160715 475180 690401 370056 191265 150602 204677 373222 706904 048990 517771 280070 758231 150126 066782 652139 625960 153514 742848 261834 079716 771428 814835 141179 681960 422012 716942 565160 272509 862738 294950 916222 768587 432406 485377 259361 668071 247577 635105 458358 362575 076660 985341 105113 680641 474771 832861 124979 327609 525328 460495 682182 194922 196828 033406 684635 682317 589445 175266 577448 032750 169872 930083 849920 446815 853437 608357 738689 967752 425535 726925 884442 074905 031417 943230 875687 092605 532595 730845 399258 829941 325873 438049 582396 707399 256750 672118 554847 098570 760884 308706 956719 407302 803301 119256 355797 320935 248419 306423 384804 052833 180629 229877 791976 424559 696145 764380 799470 194136 874093 632277 666752 465410 048809 193637 459852 248928 834279 083355 993147 213390 251492 166188 832259 479994 813008 388625 977776 676401 633273 109301 510110 911094 713837 868749 724757 517642 415366 701829 627583 441234 089704 963846 927055 655768 711736 937336 493921 668491 639879 115494 113242 463072 906167 799494 140713 370120 483043 358551 820839 512222 241786 627913 174182 893163 162497 248512 955115 213524 137893 309304 434868 365654 524943 484638 262832 008113 950072 774482 714804 581803 524566 103477 992126 223350 786930 747070 238975 643088 679688 229046 065948 575156 391649 328934 144446 944033 413778 390190 931355 406147 147411 105394 291780 161548 005657 984780 235528 111848 029272 881150 316227 594011 386748 791890 773770 741891 578836 834774 084393 775974 144229 636617 875403 201267 054533 557009 696457 239574 555230 099923 824623 012687 230975 865510 875162 478608 658504 009355 524767 264890 396428 326549 546485 420867 144298 530918 897915 318327 380966 679581 139654 447923 164630 018179 477366 643223 923623 582496 904922 633266 168684 207851 189100 204969 591861 661369 085672 902340 075507 370925 051676 805303 765525 577646 746006 747897 022282 025062 989213 083966 117771 607309 291612 917212 724424 779013 719579 427990 895608 971207 054299 280629 454075 581132 759071 198849 686511 771547 003104 046983 691758 594574 453650 736291 131452 368602 512652 728443 056424 945528 475959 581856 830418 121619 184058 156484 109537 261853 086837 060496 069242 754938 927936 361431 407089 010717 191011 379790 766234 417540 427457 776164 999988 308591 085061 981036 796746 705370 679384 993129 162321 854537 850229 508195 635445 477332 289241 822435 492953 326112 742115 331313 682790 136831 017829 012433 437003 855791 231185 138061 692166 296398 531239 976701 170251 675494 583742 398096 089012 263380 540740 876986 164229 755528 610998 928919 220463 490039 574578 847527 762035 743054 365163 367545 554466 686501 036242 500474 315419 485690 462307 563032 003734 502303 621072 577003 569107 236077 849062 386510 960682 844556 411471 500903 574371 569285 370569 920794 204268 611709 599886 620886 084450 908134 804199 956293 648986 854401 210008 984220 379920 742978 372478 249444 954478 011929 089353 047653 010993 195691 279551 554819 603740 508607 459175 714961 695773 873431 710833 739568 793708 746933 016784 920386 599950 085860 666699 985603 374903 945752 537495 107818 605344 216568 894108 771413 493989 427634 008076 236434 047812 179782 071579 534267 049301 651178 043234 719361 479884 721857 864875 595048 357149 279729 399239 337704 880002 592825 465729 842392 977438 755016 652102 650295 621376 723977 792358 149396 670980 691782 720467 103314 016186 210903 935922 986837 686207 389481 386760 758213 772770 550769 842685 975128 098977 526606 668724 345592 276151 354223 710293 811254 055202 617955 835305 956623 580236 183827 026114 281537 096428 802542 906574 877989 648616 622014 730455 036298 402502 444607 385122 043263 411630 251577 662475 055913 267984 351835 627833 477516 124530 077818 482646 374715 701425 360218 421433 010205 364119 913874 835982 457111 872149 578710 823672 078513 182293 272043 134905 489016 935849 159778 547993 912407 931083 069360 509025 960993 819837 211247 989899 699448 524314 041799 597486 149122 807634 299818 418881 621200 813579 306486 306306 141450 846908 045348 889442 066435 247993 877478 846291 876807 529495 198268 869325 924880 797013 045574 411632 378560 189545 571151 423648 318755 167174 680350 174895 177967 181497 695733 356659 637106 086723 308203 941097 679536 399527 863353 148952 072182 103538 101028 481071 424304 510607 888472 207047 690730 467161 497884 688642 131479 062772 340399 088814 244781 781064 132807 085868 813779 903649 113297 788864 459625 330522 963263 717711 148819 444832 307300 778882 600043 533126 191854 992566 641641 475001 501757 501547 289204 917466 241359 626988 330963 656509 166476 012193 329275 254889 728253 515786 461664 520103 611209 474580 331863 597426 607495 494323 183833 021916 373162 270266 976238 747423 726547 722745 815300 383242 280561 788630 333307 279709 413695 539565 390810 216812 405313 253389 993006 281199 512375 964495 342208 342000 124092 121165 666778 334698 095628 553654 121427 424441 994697 098407 843032 658835 238065 092230 664467 100344 184792 514573 008167 411965 121345 444855 318847 884735 546526 209915 464015 320534 842051 648983 942544 469465 702439 044379 302109 256577 072579 203437 616157 902663 098539 346277 083860 160636 871228 288480 131900 163341 174103 533941 416841 213500 755434 456722 709168 118644 156910 840014 805324 751704 679991 451651 608474 246850 224075 975628 323452 057729 518629 848832 153419 739448 626762 764074 295978 297748 640912 601903 839317 800407 397341 789556 233059 060136 236090 230870 207149 058873 366908 199972 603157 888455 726444 132246 121640 711530 949684 978497 351904 956104 191793 346619 934972 081982 995153 796354 293151 912393 659861 740020 040983 402268 537607 412259 271403 244157 658094 289051 769860 155931 060835 556700 692335 420148 896053 508184 916877 894084 099553 878748 237133 877895 482337 683299 981984 861953 821267 912036 130568 612795 501278 672409 428579 163792 779338 935107 809203 182738 472956 047242 739620 533937 426101 563754 777191 455153 354593 731073 101082 232058 258750 783358 113707 291517 052012 794066 781713 391847 007440 882558 106509 115382 797906 015404 319299 206497 437429 920835 545675 640281 009682 742869 563410 498477 648250 394228 645894 066550 498219 452081 496734 028021 751750 546482 178478 225908 268933 391063 967010 086480 192635 479541 126038 049679 313459 598613 358815 316357 752973 708921 589319 678373 430873 186854 034373 452124 489278 718586 337677 923630 149983 293055 528145 629029 035793 684524 402520 669367 843407 676783 942152 518967 539185 995162 012327 913405 593842 442759 169838 301310 647850 601633 569192 755702 062796 988842 911772 456504 411334 931846 998169 390586 783935 085460 849604 431638 315872 069605 903862 638666 977641 952281 670538 403651 924420 040493 868846 617744 126775 071981 197881 887714 664517 049769 335154 854891 332035 195646 420619 032869 298041 777300 187936 495158 981469 056156 779563 188263 396806 404107 183315 245890 464350 319564 568768 681668 165431 486046 876256 170489 137213 996150 782092 245277 976203 695745 955140 586552 216691 440519 115364 079987 695535 964845 112642 141313 032298 193835 049267 555565 597307 321413 356712 269260 924295 838220 619016 104190 948588 194221 256399 829298 917678 765056 896600 910896 718668 303267 006821 264846 339786 434015 788741 745829 881537 326232 041343 233593 481370 375506 734045 779913 419198 640059 169557 936090 178366 381266 515706 749643 671782 138936 579230 939675 405984 016218 802822 881308 980373 333982 078690 259853 849319 952606 815963 845012 145237 031047 539893 541992 249566 301990 652949 388396 561993 468020 962435 508329 657577 664954 236916 595983 070930 613657 881731 829198 118520 379435 576385 062816 324532 985322 778394 088838 475719 416634 147462 081474 973301 692467 284953 805213 899510 591675 275449 370963 134349 016312 881053 059839 961909 312554 853520 659813 014780 000744 659958 676735 230025 094431 055195 751575 011666 363664 379329 458605 447019 058279 172815 349711 598661 646656 354168 860179 154847 071846 386929 175872 862796 876630 640123 699735 732967 727084 639720 231463 428138 800753 190161 795624 184359 554732 911395 417912 931013 207979 072979 616701 608827 370994 612649 258737 808907 607586 730447 852198 503778 444267 901288 783258 409411 137753 706343 406727 046980 639159 643610 362306 659277 697541 265238 581569 991616 447089 285746 341102 560333 449556 893168 246052 730656 248022 758732 705318 241929 885089 786090 281068 003453 193795 832892 472633 816146 617757 009299 689934 846371 116644 899994 125793 311871 411453 910814 342909 006439 216875 630887 965328 410659 705073 612307 194545 414843 336540 313984 041506 621304 621361 049907 972201 957954 735127 535063 459749 595380 157378 146594 670245 246483 718789 128109 581056 932773 468029 801174 831056 405419 826742 776494 366624 453851 360239 612788 345508 955939 784819 039648 335362 650192 756950 299493 893435 565297 469674 689214 179903 337532 636796 823321 780006 460067 620318 142103 214179 733698 233059 936895 404621 084175 564912 032311 375856 114954 717052 186170 846384 143529 092522 451069 713325 536301 756405 325423 822663 229015 350484 006674 408224 985371 042238 943959 622733 964922 644711 785712 995348 342880 062012 637907 191817 145231 925258 997884 315771 415342 259517 653826 600153 678144 250480 241215 235817 820999 966885 922598 118165 191458 393783 598249 524303 359851 320116 021725 783148 912096 069100 202161 528979 901379 642045 018449 618264 944396 034678 294147 744152 550938 248545 160136 763441 302907 792302 167043 027889 075969 573148 377517 799708 865198 811758 075717 111939 836603 287207 321079 131450 105192 511341 537138 317653 204527 943453 983752 068304 436587 877285 688056 212789 841547 320997 479046 858284 225662 249025 438662 187178 700284 534598 563089 994401 241562 505218 854376 983077 231553 404867 957656 165806 502430 940766 990842 902010 095581 207077 364985 708672 991090 419448 282479 110523 411745 143587 370255 967727 600436 510826 785046 063182 518856 354023 296612 688157 576926 549659 640579 275535 399203 683686 848717 388861 864914 205985 011596 632581 912181 677459 200491 738547 126688 406181 616757 192980 665149 365915 781763 736750 255695 031882 312350 433512 078071 176955 334242 223365 909734 306698 722614 576671 988441 213666 519390 053840 826234 099351 232209 927356 247970 496621 287707 496201 161956 640813 210401 991301 468863 072288 157148 928857 561456 911719 044925 458695 550916 852520 161380 744393 515818 692809 590679 161915 439422 140946 963772 952156 399219 147045 583869 309757 324674 763662 612485 104899 366248 736346 680147 240043 787449 806844 309600 109101 969379 132453 264655 577096 430417 931737 575004 105323 571188 609438 583674 505898 226132 165002 938731 929777 959537 809942 750483 213768 175556 231980 960949 027232 570497 609447 155037 493618 252937 041559 353172 609968 521795 870604 061952 344532 021375 401370 205671 973066 859016 899701 831687 905448 550778 512782 852612 193032 343621 658780 443962 112905 411900 468745 459790 155083 403327 229141 677311 917840 022442 901462 621318 404381 448889 227806 582812 820266 935967 717437 095102 508343 469114 658683 165859 667705 370241 138843 467768 854704 404445 974675 427446 790320 117163 575198 729219 585868 979166 719005 276812 387668 348232 365115 895087 448543 221499 836324 315039 226858 337449 963588 750917 865881 272665 340270 418170 598565 997346 898941 134677 681536 765011 493592 844378 815561 401504 256849 432466 230589 969046 530674 498082 214309 319059 536326 618709 599288 860056 756081 579589 801468 999832 176897 506627 060556 710126 723515 216297 097605 057301 041526 226455 921438 347769 861111 538423 706794 588278 246745 776621 371625 100682 790721 024217 063543 128224 752559 941783 350799 432604 061592 640203 939465 294676 173774 899046 959509 231956 330844 309111 058840 112754 256650 836487 837552 751553 405468 901262 114848 976918 824087 815498 182980 456672 961683 262051 159003 893141 651850 109529 704211 594925 894189 279747 547105 173852 637843 566656 840812 922160 160552 426749 691874 936252 216151 577444 407248 219736 019750 561756 842044 817220 324912 239707 781627 599303 589740 747342 529761 086034 446728 451618 983066 089754 608736 162506 545411 440335 273373 961947 095389 009343 607030 058008 759986 977752 655525 736264 416319 527156 493922 609735 697563 657776 517891 314566 350943 121772 384389 328971 474457 451914 269448 434296 131563 344522 443313 118094 750789 455732 362132 034939 868492 406286 077134 545663 909048 684709 777962 910123 421644 027310 182567 020879 768190 382068 501208 473068 846152 404375 520818 856124 637909 315095 600831 996471 982538 848925 929516 727872 842476 648485 793174 460118 749908 443176 338614 899997 603685 009174 650278 217090 378203 005538 463388 888947 557608 634363 881904 806505 736762 936352 915137 343821 893360 401216 758517 727079 821110 858679 867541 197913 438215 632006 252744 466339 199454 516210 020928 594659 630107 104694 647508 023982 886678 100569 603492 384342 250372 593900 730386 893838 588880 042226 217501 955216 323839 879309 575201 503520 157043 272563 759810 814872 828292 300296 215259 671047 078113 173962 777646 642598 763576 654198 106021 357098 787870 901886 642771 449665 515443 087380 626612 136770 985694 845544 817579 690675 051620 424586 250190 311883 294531 362670 202335 621209 263456 199003 304314 516155 591029 198689 635784 176928 247852 637190 718529 499618 537469 088053 401236 788015 969843 397018 237251 455804 421121 338796 566701 283914 740268 618079 148195 797324 143763 650677 529166 177522 051263 809383 525106 799919 469682 024843 483847 422774 289682 618826 025320 419198 974965 092649 076485 560399 791255 286126 506515 472179 835387 207657 324416 192352 065621 985617 033176 325829 637320 499495 368457 099600 927790 421803 947153 642575 112355 943733 052775 790563 216530 719844 492108 520818 879471 587223 371416 050808 382180 804310 929344 733124 368234 169691 651183 222802 631130 099090 315204 053714 994122 500297 374046 960502 081719 187922 310813 329981 934426 868674 285048 806310 714652 959591 928345 917605 765776 664729 516841 935092 479218 788915 642144 065160 415219 437035 641501 454671 942065 962449 522411 254683 868865 892392 020759 424052 614833 338886 657210 694251 705560 642350 756925 136655 124282 688381 359539 002145 812479 967760 063492 476113 245900 190340 212880 022291 625964 684864 683561 363794 019332 273604 753332 809302 288164 541375 129702 182936 753518 768981 196197 510071 617981 651446 997184 935754 788885 850731 089880 815077 291710 684756 867078 613011 972612 305215 667339 929763 903327 046032 677686 279169 737032 883741 907425 191172 783548 005104 434857 187756 884621 738158 913974 186227 356532 906100 480279 360411 531713 637179 360192 717883 435781 437717 636438 808991 014117 677577 577817 712004 975374 982529 432091 673067 612419 485176 818159 061778 607428 916313 684106 924841 769099 510321 734668 264899 523724 052329 660188 995601 303000 421145 856979 610871 534677 297317 205517 793071 908570 028223 042236 194950 929851 736310 387764 937508 353136 163434 350000 403114 271128 069868 675762 549979 222381 310883 344347 735728 751592 730543 195269 249120 400196 364362 800876 377065 235794 373292 625427 174204 324264 885647 866402 632917 241701 395446 251000 685876 574798 277357 091961 667961 470630 719388 604833 692397 356233 469927 120802 239243 057132 425208 111309 155536 804077 003275 996044 010834 418804 484452 514565 479829 452870 327327 307830 956928 415787 957700 521145 919944 250765 305841 147681 498355 737421 765661 229837 771179 542050 310683 023836 611133 317851 458144 451164 520801 910399 355269 309818 595862 432564 092125 206858 997696 971115 979090 498350 057693 447952 096964 094124 843176 332338 211512 998942 405905 008929 311311 694794 234482 268706 473291 968075 938070 926716 485373 699034 869370 029463 973764 900293 587486 130529 728035 490525 927486 589708 959427 632051 886569 158108 932039 990271 928018 082607 194601 891486 577283 159298 571303 480110 920879 373730 099754 479377 093102 455736 509322 931759 786182 253329 650130 585127 806841 596665 457607 686765 461245 964034 987416 475208 007230 521443 288776 651001 851127 362982 795455 119611 974795 433730 006488 404826 389817 715838 572731 627504 732286 774020 770476 750263 870200 019826 796916 844524 079163 147979 501740 474164 570831 327975 309465 658468 455225 081824 902258 833957 572101 787406 691616 692981 535504 025033 327572 757234 217920 136028 942131 927773 673585 493401 466905 195970 516234 118546 804176 027975 410898 404188 778437 914599 618494 293380 799219 362233 368144 608891 194769 298342 305835 549766 517215 838545 114822 683642 900921 570114 172878 836220 303914 216369 464823 624054 243796 189726 114620 344105 054005 985179 784330 951758 392373 236322 941165 790664 264647 124865 991888 095443 567399 631636 440300 406133 537103 305859 093645 202753 613416 580301 647727 113615 799593 066390 262418 061313 571354 126935 983866 317082 025538 686860 707615 832839 959089 003171 386870 029628 986985 983900 060632 052791 702991 826394 140423 505711 108203 354536 966674 010597 619744 376494 781432 733571 558995 743187 145108 185069 538610 561636 488868 425338 949066 737387 784356 452521 939547 656175 446819 518252 674020 660680 366718 355669 424403 161745 440141 864608 509607 570311 071167 661029 455400 626669 559382 933526 545144 920943 489328 742620 208466 330647 782488 992190 989524 022326 590912 214972 369839 561987 257530 908440 930187 002985 927858 188299 930657 819204 754314 405745 704782 028622 704165 715736 728832 530426 994651 268683 931636 322887 127354 103375 668467 709853 395176 668601 687410 104991 149756 859236 994053 794184 433671 270519 836007 469489 289790 933178 658351 071816 663087 931674 838242 562890 209289 165544 645511 657284 882023 008492 205379 542164 183552 157157 171144 559838 773177 473862 237469 051263 336546 713317 087603 206612 597208 749760 539650 122390 268573 541227 192546 317604 973127 235795 814099 655642 934343 592402 474025 652446 103703 354808 001194 070748 834211 608165 030720 276520 509523 013153 747346 454376 060355 109103 779595 091015 448230 854830 705225 942655 949032 103176 699531 657481 502298 640808 574123 136453 730174 831417 753008 143456 752433 617336 139653 878163 366800 432758 478046 764584 391935 441129 482181 521642 427380 859621 362560 551054 129790 885220 104642 467307 262200 987654 933306 247530 259534 863808 273452 683185 149855 832529 681353 574656 982984 168482 381086 443430 415658 273787 812456 952091 000637 752464 571661 299063 057948 269175 851422 142075 475536 685043 141861 438704 451495 387023 179317 233613 185000 439129 731434 937748 228903 013952 938272 388600 315672 953946 269215 606521 146788 806760 614313 113106 540041 989606 194675 615678 602820 248799 911425 187646 842147 814746 167031 914352 617627 415843 697372 815436 679323 861416 143956 183711 791829 992791 050758 745552 259954 345559 651770 664300 982088 669310 475736 859039 352805 482188 527291 544957 020732 781697 630230 982409 214883 865647 162537 605467 554229 365459 851673 559405 503186 329660 960092 868689 098388 941655 650254 820284 029315 108600 431876 543202 162783 153706 296425 007729 976113 757862 861107 910764 316446 247612 368807 086469 633442 518612 067717 398570 028737 056701 277218 170641 290309 022858 736943 625705 163260 609595 458615 212413 779573 401079 996392 937907 183543 412815 802865 443208 392687 581398 380738 592207 866879 251725 010178 928858 935880 343012 513936 629393 234640 686808 073227 124133 376790 197490 060279 453893 220013 680382 382546 856639 999447 735633 458219 398882 581806 489555 282569 243483 553792 900444 510148 177381 749923 083320 628583 103389 194585 713410 991669 195823 859816 902585 004515 424412 470368 069993 606969 250156 815954 518611 876425 963485 863004 545209 789268 429131 739125 716214 029728 741019 180399 202930 743770 934802 997388 676240 503556 474603 005533 476727 121514 251365 938260 335253 391243 323894 098055 541259 066586 926521 824598 486101 314651 294435 467840 439507 438936 361779 042522 618804 117428 866592 073880 717302 528464 199764 606865 978955 994085 947102 949418 219305 452848 966664 < 2⁹⁹⁷³⁶