There is no linear OA(2¹¹⁵, 79985, F₂, 16) (dual of [79985, 79870, 17]-code), because the Johnson bound shows that N ≤ 18 439435 208777 509649 085945 685456 693341 902068 658432 403654 783539 818607 536474 457393 398210 824793 585653 236693 228325 493455 922394 689174 870140 966566 424994 405037 165146 762974 485449 249487 644404 229512 526888 069857 395170 927164 782370 669781 880251 327534 577114 826204 749791 278494 802014 252245 183772 232862 929922 893892 946856 402929 805181 762848 441562 895020 696964 265185 313845 010631 687231 533540 987639 628297 602928 872776 957994 596367 525329 247757 842082 515495 081338 316301 270297 005789 956928 551128 878339 959926 937026 159277 916809 496668 947520 277988 882003 700045 774310 356223 600481 029109 681911 503066 233604 120737 424789 007788 789898 066597 505881 558351 083777 858802 204382 930805 923181 435931 674921 258975 127727 524455 546111 303193 088490 244711 589689 905010 940797 125339 447797 881821 550665 973620 655943 718416 971098 648547 867665 984978 944104 511371 859891 516354 266599 947751 165064 314027 760872 857996 859319 236914 791326 327214 390954 022467 074980 754393 355607 647266 136893 270989 486183 574213 652829 174285 551516 655498 047350 424071 609297 383953 034621 780995 699881 518666 322335 684274 443487 165780 651064 639970 206861 547843 209875 699793 490018 571596 598406 135977 055145 825509 537551 069550 236811 863181 346610 530392 890322 216883 703380 051412 624648 890885 880435 089493 161087 929009 605748 356746 032271 817233 848067 923113 928300 136755 466689 615742 591782 711889 270469 494509 707531 483404 631096 441992 461732 705574 637274 251699 543402 252860 450518 350091 828383 589998 925881 234894 613148 205817 694588 082665 226777 449215 249488 727466 576445 339367 844176 168190 267501 856454 841565 272933 111808 503294 784555 520807 198261 563597 948341 894782 719467 662130 385395 952739 271279 297571 992348 663119 704297 813762 462386 576171 670482 297771 393677 998246 042187 592616 178179 120002 919904 789001 065998 622541 945225 386242 263256 671545 528739 603458 631968 670847 815549 368472 892948 996583 562659 195532 638575 363035 552071 832190 560485 145320 284382 243066 315536 593709 374978 298403 550752 826131 272906 639247 388942 320419 725326 750625 369195 824477 590115 709335 906126 162397 288143 937073 277067 654582 428986 024892 093213 813443 360792 047076 658232 936398 444381 882953 258995 164711 165988 164259 093622 909407 481431 274314 597643 684432 845932 161910 920136 492091 794141 344104 103454 622241 139711 949564 349649 165420 599321 050132 922919 709674 440617 539248 604545 970115 318723 146407 248042 478053 237861 621597 254152 041463 340972 551613 125660 099164 843963 537904 615436 075581 705624 727078 488193 999677 852486 172940 111397 663865 664919 587197 130775 795985 749994 825868 660750 217914 136100 241676 016326 132882 953573 972825 571613 029809 097689 847334 655340 177396 902539 698923 739797 721875 576624 911787 020704 791720 397701 966807 762141 925274 584240 455324 382635 853666 118878 753710 537847 738147 616008 761034 630395 805534 147624 159702 117485 023867 461885 632218 608339 868221 177991 732890 975032 090519 049679 384712 104382 678636 389912 826890 311911 930158 815534 064488 386981 433570 567066 871745 206955 108019 968726 752180 838320 790408 805621 286050 405164 592480 699883 946054 889033 869647 768779 591041 718254 516612 559480 148402 754396 109295 241320 161916 747513 672881 650643 111763 349760 896884 471562 421133 019950 165790 827512 045699 918542 202163 081964 291761 664739 148119 085785 857086 126928 844307 611606 828669 796892 437752 462153 019538 638912 168639 780603 524515 469399 520166 646056 959073 905767 243035 216275 818595 174225 998202 546391 497308 668636 271151 892164 062856 802427 808161 698523 636591 511746 541276 948611 765083 875509 841791 480885 290994 241555 741603 844035 075050 852181 412755 771605 281903 175464 884214 735401 895841 124692 367119 491913 953992 755402 879525 593203 903359 259992 312826 876211 576071 231693 068313 988948 945876 201424 135606 940768 397782 256122 357301 347533 492912 793674 634516 754195 073731 039017 223368 233461 862144 487260 589318 518323 347478 299289 676103 994263 830704 545963 483506 840725 651381 288119 601596 195844 015027 317448 867589 812207 964489 341909 460575 594139 391313 444024 252248 513876 950883 603526 896845 234442 591256 242058 945378 972194 681324 169651 572039 005957 325186 214228 764592 443061 399494 104502 960709 214119 246030 184890 227270 482426 498052 093738 900616 819496 199887 280879 385155 958639 448059 177878 657942 405377 438480 315690 030179 144236 887653 098396 562360 841845 971543 632229 585582 212470 533471 544836 304571 212131 162496 100130 204233 896360 056372 585360 736763 499462 988229 808783 245585 658549 245818 548742 657704 209524 262593 651716 790979 147297 630776 089165 851536 778423 234541 780353 202166 627537 026482 606611 621311 206465 291697 460786 247767 480303 799987 316012 959018 630994 265259 415168 545517 247314 987277 560828 679774 133850 638640 715557 270694 157883 768265 985808 647917 144364 583537 089422 998482 725012 001462 506716 706704 343805 516312 202590 137513 316929 512800 487190 699482 485952 813563 565068 909500 749199 936462 974427 355720 851513 516778 376142 663307 873492 556027 960628 603674 359436 441585 611397 520500 577462 012730 610692 851429 943333 097872 695066 018074 335982 666243 688324 618729 700930 430607 114350 464413 953750 219238 372638 084839 681099 187611 671995 086464 960984 222293 322379 901765 249880 919404 121217 920978 041834 712581 921952 355976 394461 334992 477676 009451 229845 026867 945389 579203 583789 270566 767499 533985 295823 171166 336670 130801 801872 237956 222588 231247 224898 851331 449972 986812 095599 055392 131115 850381 085472 092854 480190 358740 221227 466004 774452 005362 105980 899887 024373 309689 595620 293396 907499 696487 369882 271633 560065 903016 182813 245466 542180 171666 089641 060735 574553 252356 923888 424524 165838 334638 298014 869938 488741 228688 037108 292418 261037 239245 829278 981705 062874 802124 538481 699388 150332 606179 943327 664467 712265 610125 759082 883646 422385 601243 977760 752765 340924 458057 266050 539635 364377 681080 330155 675088 563944 434990 561807 765981 961762 229596 598076 406702 658885 800521 714664 525317 302955 034995 721393 470113 151777 068345 929769 340403 518275 083981 361294 369730 575480 576252 065060 132935 183099 012745 360891 694970 905354 080145 571560 573478 845344 819211 205913 213850 797906 442291 637231 895154 878700 302014 275608 545635 627628 664402 020311 378103 564231 232704 969774 920443 613430 619974 578301 379271 112322 984099 575011 639476 605652 990084 650312 351177 167231 678803 721864 470001 714389 217445 829294 082101 479223 605342 567900 895917 780251 369270 694395 280455 342398 330893 852739 838683 907742 068391 771522 032028 117130 004287 217025 806529 767324 578022 491099 863295 415607 709372 793578 855630 414009 173115 018811 907528 132274 542788 085604 377043 264306 343588 525968 691509 622463 003743 960747 576726 936061 352056 439696 855581 034393 837671 837836 911512 182605 567867 797990 283256 402976 363653 500208 552183 617784 372788 405938 027353 954860 196917 365372 694882 749606 249562 898937 451523 382644 878443 445900 080963 284415 713387 123568 447446 893681 376299 886451 081272 444465 133096 002006 300774 584320 744646 719141 486158 926733 719575 697371 766091 768135 607052 559809 559753 711448 361892 859317 646027 302703 649524 680366 579399 178288 152549 683215 804104 206320 137053 101771 614476 977847 298940 775354 133234 403527 948547 265018 979301 922212 406564 374695 618333 247515 566893 104210 669919 103479 691310 635201 405214 767724 656490 955764 071797 265835 562791 561302 757018 907980 131137 295791 113919 623136 461332 894186 189447 730970 117881 460583 674701 104098 984709 521020 389282 473937 746185 393289 031000 853801 112960 403245 761581 493547 927093 925438 895363 392940 257502 611195 573968 015226 999432 235727 421531 880417 996942 694848 626928 716000 063094 906335 352994 179331 063676 994474 668897 670494 485781 547962 875389 935482 152781 372107 064610 635601 250386 524431 256157 036420 796227 927948 529580 751095 953410 145939 795698 051693 099380 315579 530915 618478 227235 727228 188282 369809 874987 563029 220606 220562 379275 768154 474215 568081 626202 910592 179250 164899 943207 771169 171049 205020 971016 985524 250885 300989 473416 025745 206444 822684 344729 880791 527790 943015 409596 065944 364963 480546 541188 404177 587479 912605 803001 711516 681876 636538 608105 813189 446297 963722 078238 106382 456681 155139 378868 645925 682090 820424 430965 094754 040402 922524 154448 493197 695284 475793 065345 320160 915479 911369 102713 033533 653457 635572 023689 379757 588342 566055 272618 601011 766418 149073 991776 157301 361382 799296 487248 447908 076128 372336 398108 648603 145439 819852 565055 327837 846638 000259 601366 325894 922843 309149 108761 205055 969620 778807 311385 080967 113271 654787 190917 697361 142547 088637 342733 676805 770756 872737 333142 130628 951583 968488 163527 752591 614830 192819 998105 677788 105361 300744 399979 806103 528509 022184 166979 754111 893524 042076 211795 689621 203093 149505 920789 398456 299804 474506 659676 046580 748641 696528 251915 390102 063652 882990 159941 623041 084723 640784 471623 323902 502658 273051 982019 930977 544079 915822 635884 445864 034339 735144 358486 259156 693281 570684 456803 511821 179716 381168 577289 595900 398288 031102 632608 514354 073262 337369 669115 276408 802287 000863 599478 624248 385427 450295 242988 358350 248160 305700 592013 539294 178431 323139 287613 074099 352936 630987 764942 074432 264044 283442 493540 220279 188481 789594 502832 131748 651476 793263 306797 805248 122622 402019 758554 813719 950238 880311 461502 491154 393795 123986 636003 693941 622334 724495 255441 349289 911896 275287 266300 955500 812447 264482 056459 103644 835657 649916 373425 222990 570616 206914 013208 129440 638118 215936 314498 122528 468168 966957 738598 870913 749285 465332 890708 064036 185826 921400 436446 257868 315546 503278 376929 926940 179298 338065 058197 851389 662386 273001 128878 767590 153358 287038 510305 470162 048170 983491 127681 785091 080059 905217 672001 085530 631073 443309 462435 826894 670561 128864 724925 418449 624039 506989 880769 318410 683919 285266 159385 038205 143294 799793 561252 273104 266517 019870 897145 062814 508151 956296 670846 688180 926586 192606 672642 955380 359424 057386 466616 233753 011822 583057 504448 895024 073057 078041 170894 083239 200739 891851 253344 621442 838930 847909 135919 087681 904576 678172 576726 207414 980007 092383 263990 443797 930152 491631 852791 628238 522727 890257 827577 121819 859855 048413 069782 037086 921269 559650 986557 638662 532123 171486 968477 583426 548608 077361 417968 029314 204341 049984 358988 936429 532387 953575 159261 308053 173263 275212 676708 685468 091987 474350 423528 088686 191591 063406 401951 376241 797337 667459 477306 402723 678479 693063 654552 664335 941520 783262 514228 849409 426529 281943 517376 399231 833251 873965 409404 683893 920903 731591 882435 624404 951124 938253 758160 289499 063727 893221 018068 788845 963269 861012 525744 445252 953690 737315 584780 485563 099167 266227 157819 116355 702216 320879 885030 342833 731708 414765 498860 639970 773191 375817 616640 054359 617588 695001 461766 016425 647345 307659 390519 313491 154869 426772 940198 471306 406519 962314 718077 464088 359238 297758 744211 672920 948128 833344 458046 671655 043376 385416 320505 322323 963917 910402 578304 497290 522755 656896 981969 067798 308613 955818 286199 766480 537628 353552 105695 115448 282585 936835 906965 597530 560250 883176 378969 784818 825268 521992 811581 855887 525013 550176 358523 369303 260897 351047 138829 480091 724674 822480 914615 715044 921046 591696 403970 798427 341983 881237 550425 415276 245605 050758 125821 600563 676000 387790 474598 823996 599181 191018 772413 379384 031783 823759 905007 813242 330757 985171 506889 483983 651078 277602 194891 152938 038761 599722 040536 603846 787221 941069 622090 646758 088776 205557 237112 640314 767297 622063 205400 264497 135936 112341 504405 896544 160026 489643 141343 566758 359309 732082 075374 051390 409770 282930 436128 557617 970895 793687 530416 956775 813953 189071 084962 260912 822343 940157 518690 548925 132708 555798 055143 210419 734992 372325 742657 172748 971256 000199 861054 050155 746682 498371 449359 324333 721474 520018 211361 848202 190049 550490 989839 141922 652321 345327 635193 910851 205296 092678 170104 422006 445775 740732 690666 072930 415793 387120 798721 096031 653165 240419 951416 864585 410872 692758 616229 993639 277610 671247 568846 645696 634131 614645 487077 614049 531262 085394 421045 107308 081178 186859 393454 656218 673448 529818 568127 920022 172701 745511 895174 532757 656330 089124 492932 475974 193366 295519 538556 803020 110191 850790 658772 045383 439501 532263 734003 443080 085952 709016 813137 995835 192934 179289 258273 946479 641676 859360 664243 819731 752192 040804 189507 736655 742665 917981 849193 220839 735561 318908 428869 594878 823885 112229 314970 001756 010328 014467 142459 496429 553946 944853 302425 765373 327114 105421 235733 836400 210657 778699 096363 105794 422821 347512 277280 641839 467459 426387 372301 528608 518591 599536 695505 439420 126826 158393 955233 404200 845932 648246 520205 901388 838280 469995 915083 043893 120124 823417 011394 745302 343363 150924 333995 251674 766257 959527 030420 025999 583809 231675 878118 796188 581885 468922 894527 083905 706522 908814 144752 260623 351407 131572 005255 482958 959993 995830 691906 570015 014304 029898 804731 157628 992164 446887 840714 687285 581129 061574 737938 321271 382981 732416 662800 243352 445122 513604 249140 774061 020350 919477 075658 453487 585239 061210 275910 699135 760153 670396 963692 727448 257219 681918 263209 023944 770815 013475 377570 471401 256681 618608 292121 181667 808210 356146 914477 844719 866967 011694 719198 505513 943166 918311 216513 263159 686662 261628 959414 663938 587496 336255 467275 734078 009851 884615 556555 047834 521728 399833 165636 589065 572172 721437 982724 871495 251587 470249 801184 504680 728514 908197 358807 226873 239860 183835 059903 061046 773158 939689 173432 299646 333501 976613 876291 207757 107186 098737 699951 899016 857422 982252 121110 195338 769207 952411 913920 399501 977006 063191 365839 337295 449432 794861 476066 772394 839591 123045 637850 904676 161903 793882 229746 805057 769161 172984 252016 404330 924448 203349 851035 714085 423753 348927 059017 881577 946231 618013 326855 361792 774671 554332 735590 060154 647492 967525 117507 364771 577540 654168 866229 034388 195216 149389 760070 041635 114100 977637 628429 856316 860122 138276 562529 979180 751471 443387 946490 608730 532919 594829 766282 039328 094451 094753 276547 847288 136202 988355 389442 312047 423347 823454 769514 345013 297086 888918 483735 779975 129919 058012 981288 359192 220963 529841 379340 651444 313247 723221 714679 193357 177552 751256 199673 987749 300777 642843 366499 259715 815113 338957 698129 348378 784935 228722 514493 226186 978128 677226 504854 063996 018829 203520 379435 448186 018566 436433 794766 477500 734274 132735 171015 306591 215846 141663 171072 407814 049763 200242 271425 937078 964264 181423 860063 485922 842837 504564 885925 759103 136626 668081 784291 622198 330024 113596 175486 796575 268558 609491 584055 518117 499330 597329 696000 001164 630014 295350 193131 646479 250090 766541 866938 250568 492996 731011 047193 611447 854836 932156 020906 227729 836840 162602 286865 898967 351640 000333 933444 738358 923962 011266 723922 088848 576156 308110 027189 388659 651001 355406 938026 983454 160528 875101 393283 535111 403581 470604 968303 462356 850142 073123 382114 291171 336600 781680 023213 069397 758173 951098 606878 588118 169573 119986 758734 068931 072267 375000 488285 265318 425463 746800 469184 981021 742500 963099 223108 265068 994121 721493 302728 886749 520424 966981 509504 725712 634080 550109 897337 182188 300193 382093 491542 502472 455847 719711 736716 980055 848234 063945 610021 700486 690140 112049 164627 243921 607720 850612 513305 306748 593749 201774 980203 322160 241818 327369 623992 775922 657505 084471 789667 138764 199938 665031 477020 129724 890253 704582 683005 472104 008785 384788 138784 516097 248561 747470 413549 289126 414050 796030 674050 261515 461527 891855 270843 214285 317399 595405 174277 401858 321374 485928 993316 608851 935505 886349 757350 182908 965067 002409 225574 517715 861577 995090 154977 885124 113965 047955 077722 228178 418794 202698 053183 358596 695681 458629 812873 926893 560883 235234 655410 103356 186115 611918 869942 973260 280230 539018 700092 405217 549681 441038 189922 195750 116265 623055 513294 685764 284844 819250 134235 956994 624119 107753 240051 508850 118706 834664 904101 435274 390119 046058 446128 460382 452322 191484 886136 642234 999457 161816 372786 803385 855316 815212 531738 952494 009296 486883 597508 788668 707444 826361 292825 486175 311422 344598 669316 866485 851341 563253 136014 749147 360714 404209 491807 219193 097273 527192 556376 585473 343247 343861 215292 292517 051699 175373 095104 395191 322279 379304 170687 719042 048189 412369 848894 162698 240379 538943 007620 983780 754685 546390 882364 580605 578833 442549 263051 278441 276106 058348 029050 438046 573416 202433 789292 047539 920043 610533 906928 668137 153817 715047 202634 248078 250418 642036 185505 321227 471930 621498 737570 887886 212865 569803 815722 844075 253644 391028 203404 797660 924043 474412 929185 140589 957461 230395 619583 044509 462279 003217 480276 419836 534590 632354 689120 317624 014125 069131 762043 033229 175865 774228 507924 277362 034401 344813 716647 933447 134916 429731 220055 440702 971544 180945 599349 876178 757589 617889 305801 896864 017237 503869 244663 940605 292722 136741 988314 329391 469029 494556 826633 531322 128802 061503 651061 175264 488768 052860 579040 972011 089734 865092 153188 427027 991876 671526 591661 766970 052036 739169 316410 382061 931678 751686 745309 072306 641353 749161 074940 409055 463180 298903 489334 351607 663768 668751 653964 388680 999420 913223 348887 412599 586525 637867 823941 891307 615984 973619 216150 084492 048784 494241 871685 171478 513895 810775 218644 016108 707568 670405 647710 847383 395997 429997 239568 969851 659274 654252 520223 957540 627877 109141 475022 307695 210339 090390 302745 424528 384270 791505 447687 525838 190439 133855 112293 099776 843872 088816 432367 136401 543502 631013 771133 193780 331341 285453 412990 255085 181109 861501 653254 374863 816734 292411 893371 103678 511025 847865 998240 377440 109518 817936 140444 707603 448692 804493 955161 886924 448618 504787 614524 802750 196230 493746 393066 797177 907941 802348 700582 603962 009852 193743 890777 621053 180670 123496 784148 098174 346035 534119 399144 774783 029032 748620 360096 427127 702138 493399 913039 462896 924544 306978 378718 974080 435683 666074 016338 426082 744675 908071 377300 996477 530410 498976 343114 873061 108844 137791 706433 846607 004714 334744 594316 043020 101107 624429 126641 041833 275687 444701 693455 893516 243236 313587 667835 299971 893745 193292 506301 119653 874977 414088 265945 803581 334889 444216 680362 013176 345751 465299 537607 493191 212372 352496 143970 610073 820337 728506 466019 920463 187495 691204 369300 933703 428139 896070 856889 894209 982338 997472 621910 515427 731294 473129 272560 296810 003960 855378 142587 917699 573717 999577 354483 562688 506934 761459 899825 046951 480739 185452 029305 641262 690235 393917 561869 841488 150394 167161 757741 757541 332327 827863 545054 599881 712677 509030 652524 397763 292025 618183 095271 188303 094114 070447 480996 562884 473891 575530 758992 748114 901144 695197 777036 511179 920443 863166 547211 573051 725980 314272 780591 295934 417623 947379 474912 523244 954282 765705 922342 664303 721852 288156 889863 799961 457836 229622 201810 781496 156902 969185 964519 704326 042007 215904 309054 824295 157649 344371 170196 134449 899434 720340 102177 493662 251038 388329 339760 292809 986180 188611 494628 042891 473171 251414 675875 014144 878931 821161 047190 564877 000118 469591 352778 725675 872124 456810 519857 156448 648844 506961 673606 517268 205663 500593 928193 138897 233380 741598 854509 784721 881343 805673 832094 272378 603606 458348 636362 074645 009811 112620 377097 615756 473633 928907 091968 310114 367405 024909 537230 465150 442332 666475 189791 860754 097895 848162 436288 738769 839791 133771 329105 863560 451219 674210 874530 361684 583580 089208 422549 702733 299313 131735 396738 560419 623811 396855 342071 857026 685058 094335 865075 585183 517258 152331 715508 029197 017011 766158 971084 945666 192770 690363 925403 674463 066186 916224 703393 927411 611576 869025 627427 249211 427175 191523 752522 971407 090474 501464 654100 661965 698351 685253 334914 591990 653365 814390 360401 160759 003621 195806 420649 531033 588830 679971 311467 951791 928184 476156 940065 688201 060235 763047 423034 511027 546571 156672 332613 024117 888306 403794 663189 790453 455051 496794 712828 585143 253599 639926 710416 925575 631869 438189 110535 664217 339273 221304 691347 998842 823159 164558 452849 535087 762831 677195 233929 690652 089580 950657 267433 121672 978948 411527 106551 195733 230967 663846 758129 898010 705660 478646 327001 508472 271018 132181 594395 450014 921396 745433 645078 920471 011617 371379 738955 371094 530065 642855 350001 268539 989293 769092 011500 803564 938362 845925 942513 850452 789055 718738 164488 579083 313905 104243 995732 565049 199940 674170 998349 930461 971502 007302 429145 851754 702793 140833 213769 348714 248700 672753 412441 829987 520077 646048 592352 465645 162607 506194 870188 876984 190526 412146 966711 694671 035525 425280 958374 126142 252771 529988 181112 710357 142377 787794 853608 041522 832709 169388 379215 086527 305698 647976 079428 952635 085138 873225 093347 484668 317088 204405 115526 028970 482875 801387 873244 779819 179438 991801 974716 371379 875427 418021 939858 656273 789200 780179 211759 786065 791847 650116 118409 318603 392461 981420 692678 239423 663871 203282 241326 729428 149736 616838 740619 897963 972320 705653 225665 792102 175829 196588 494299 101785 937685 407186 662703 650773 209217 321186 864102 848524 918726 900380 662734 649840 713765 605702 946365 966060 176904 266034 699437 402845 293529 136625 890572 120053 090919 127306 470804 772076 833975 530478 009313 967593 498215 394194 455477 842912 922993 439068 704824 370281 843450 228703 683482 063219 899065 588992 073483 432346 262753 378258 410449 267105 929076 595805 385370 424153 838555 317039 422492 506813 983112 143385 913820 634578 586797 069530 503064 961540 845005 728319 548336 056443 633649 699512 750725 120772 980942 886086 113109 955545 038191 029357 895947 516503 654737 719921 034906 240333 829355 056043 059268 008478 729458 104354 560910 069694 288726 771346 712133 112059 336974 160185 538582 752780 706895 782367 504595 972709 979339 877511 279332 205059 591357 789507 505942 651737 543739 088148 695097 385219 499036 023871 574862 554240 342595 302781 624993 808041 301206 532882 548642 097027 695868 882101 345872 381079 527870 676564 467547 857063 748267 299071 808271 979128 685974 893066 700263 185108 429089 034670 240134 200566 213942 259141 464768 355938 766083 493021 881579 171602 550299 556465 831023 791400 762871 227998 415162 895685 966922 458334 029326 685549 004251 031419 984851 011147 816199 394243 047153 548809 830023 318093 841306 588260 562561 504855 397530 659116 120094 610958 837280 633400 694501 988931 488070 590023 347438 014847 780625 920257 332930 525348 870207 221936 123220 469490 676671 529634 657448 706102 528392 686501 349598 421985 007968 460281 813760 745650 435258 180911 239400 167903 538194 380083 905343 671406 005249 259538 962067 404666 502594 890281 616802 959331 062969 086654 086269 154763 551551 768845 028339 316613 082744 851920 560600 706627 253164 320786 237585 521340 767834 254418 972354 330289 422012 126124 541532 494685 478913 147632 876142 088559 922164 690085 945136 653718 812262 540830 587118 195989 450048 574166 041009 251213 784907 157640 606960 145248 956601 966230 504979 129444 808281 308769 588599 061363 077678 891539 954964 168644 726579 590825 604449 461370 344980 470158 090548 026524 965285 014388 468327 326143 409615 775419 807716 402683 329678 889221 811931 120456 058286 697070 511804 288685 214826 745541 347755 097192 006307 985600 578727 574973 246250 813684 480154 261383 936482 698295 562157 041152 168600 118352 556446 054108 424788 394003 615228 361272 978679 542317 593218 984312 072891 044220 555181 510356 955218 965955 675895 450332 599518 969905 247361 532053 588491 487029 744355 099051 472529 189128 195999 445431 859560 804002 043534 608961 325372 595196 771957 725258 085983 882133 560623 161775 390755 012207 943244 743704 038206 590036 907924 040461 576336 914882 815157 691132 007086 365101 822295 501552 040244 715966 273290 650848 951717 275074 800842 297529 912226 331312 242205 621737 668224 223105 174440 183891 470782 849256 449372 190081 768487 347571 631008 992528 393792 779780 192446 813746 893067 169323 056384 253387 424757 364436 783218 678479 596776 279854 947487 975299 829996 863608 836826 189408 336673 351068 219861 972623 938568 833654 460842 862671 304509 422324 463505 524665 077840 021948 228480 097431 621051 688076 662438 028544 228376 099575 424966 050983 740783 421120 898198 894763 192209 291690 888538 912841 213024 210202 755946 413402 521462 459620 749981 201130 810245 226055 915520 386225 363551 617146 069119 349713 351739 158926 869192 597082 260428 584739 790763 445975 251581 456183 849987 214698 199124 032280 055066 133892 186504 548753 770553 750396 111358 356259 816672 367455 031812 225245 281349 466320 372455 807606 578288 361127 358447 888265 545830 938199 393364 044262 744332 277457 548263 737955 697318 778361 826786 388742 320507 688614 989988 332916 397209 670584 878083 348208 936337 418436 535881 734553 644985 196818 572810 999894 880213 679925 107911 708639 152254 413476 430928 267553 927077 920719 988020 309407 315474 062205 020760 797927 544015 596991 062461 226508 177715 558949 312064 341713 539653 128691 643273 018895 263107 848112 750939 727799 052210 073106 026152 835735 806535 061108 334655 236218 125067 661085 984134 624612 256549 717302 104715 322275 825665 993790 427503 432741 252223 657318 709652 180291 769840 848371 408346 682505 756515 941160 569696 528846 323730 144701 294786 899678 298847 602025 309418 464678 453513 293854 066332 381108 257247 008034 573889 551565 585271 672246 318203 071865 955210 385199 692450 904192 282984 365827 626281 644583 419322 715263 767170 234208 424758 987519 245281 828773 352344 953803 905746 080471 480783 825535 797771 201048 930670 391099 564027 698922 666792 043147 705505 780176 879792 410199 164855 526173 005895 224006 368057 746814 276028 430595 633864 480462 961416 458289 499900 293900 332359 337472 509102 775884 588559 718369 390660 372984 764211 970891 665817 653038 089692 881290 618570 816296 931691 914369 753464 820266 812288 443237 137159 936916 034554 488767 946204 755299 875468 977600 719618 824251 173541 882433 088340 233799 976213 535365 779623 877852 932023 449901 127373 283322 099026 698204 094746 972004 353105 885561 708711 444386 785805 869508 512901 307549 395865 318244 536386 793071 674159 998099 248626 021560 591057 335375 591910 485178 703604 168263 995358 100950 186692 378427 739066 528161 632082 806853 982923 103412 933714 444547 826696 909071 907980 458358 865413 490912 046447 892299 706284 193222 273646 657631 790898 315650 140141 283634 299622 725179 413217 038514 371814 168749 330461 023621 350058 740046 415142 254048 143848 970158 254430 231023 039481 232387 643821 015901 099370 829641 069440 901894 323564 122815 031523 482540 025319 < 2⁷⁹⁸⁷⁰