There is no linear OA(2¹²⁸, 79265, F₂, 18) (dual of [79265, 79137, 19]-code), because the Johnson bound shows that N ≤ 408 085550 936483 497877 206658 304924 163508 824493 685469 903137 718102 965814 209255 562652 070230 648781 858587 736606 983455 760362 658929 035158 740604 598224 489265 150203 777935 248967 762981 829589 107148 663744 699221 108074 746796 712487 900159 450176 340509 031742 061379 677442 050013 183066 066233 001254 449012 811556 287442 213561 804675 206986 754704 622024 256321 745043 427884 229020 512896 520583 300946 617791 363044 432751 479404 837353 244629 831505 403702 760728 457218 190888 685169 122073 321293 203273 593687 828316 725811 491725 953905 526175 863814 507642 884571 107250 982789 823058 707574 219257 072978 855469 002809 572081 323617 855129 152109 792960 630282 055616 336225 008347 159069 672739 318549 647795 273768 210444 126758 155570 299756 193770 152482 127733 698246 086762 027410 921046 429739 148555 293820 129842 121259 679844 011052 418560 294672 161007 586668 119414 507610 134286 206141 802371 412254 208962 347381 134336 598937 972935 440955 991674 741490 153445 836242 864092 386102 688446 325471 467182 647311 735044 767480 318530 269846 054168 486992 472763 441106 232460 233100 232544 689120 758924 947395 968399 808367 036850 883393 803430 936756 689044 529707 250152 216443 727081 094737 683211 158988 323747 300208 989883 082608 444110 335282 052005 239194 819007 854618 954681 276279 008144 476307 321483 209307 294523 614277 431766 768318 352686 771543 373419 754459 061175 778199 555121 895935 474593 322215 455914 701015 563893 437865 335719 585792 010243 591453 337384 713885 943108 218349 374786 468007 405907 410606 168655 873828 196359 335500 545121 051266 082926 424065 109786 222871 102819 657803 076137 843971 794478 279146 808723 449414 151960 242595 155983 844952 780925 601064 201554 618319 150666 560032 620004 296409 881746 854794 428787 386028 150215 089498 956514 127982 953787 934834 634488 558203 608722 079789 311346 144327 272126 159068 708740 469544 355552 400825 995287 269287 425962 258135 802540 139209 841039 092528 581286 023904 114430 921729 378248 482189 592967 537531 639356 737148 592877 908752 784318 125796 302751 400925 426181 941052 236181 256926 565053 397445 038327 618979 804596 901253 106954 976749 752805 014438 236580 379943 687165 293119 808109 108829 351087 986520 393291 220913 039405 042594 274240 173199 825349 083893 928428 856105 746984 913192 676338 093773 679311 962388 111703 253681 985863 181705 097183 030545 685865 963911 533133 169175 759783 791131 393459 549719 922056 055818 228437 868700 288580 804138 805947 797345 207066 833538 634141 378660 024518 370216 772011 682427 176327 582938 147406 736672 305757 446674 732114 802411 702772 783576 026133 633467 786714 867186 013078 058306 610171 262113 401232 429107 471214 445873 466025 359761 707282 045110 881637 652831 717668 168975 998317 205559 378589 647827 877130 174052 492623 732685 147734 021497 658163 711316 839471 002298 359511 024380 673424 249541 623158 026548 000194 955709 833466 850280 997760 169703 955271 756981 845732 053261 606768 870461 967755 490604 997894 415064 188212 105384 202682 093374 917137 973664 717261 954991 952087 739226 971893 170991 869351 530963 093144 982341 995021 620195 829407 335503 363250 258761 141715 691802 060159 199164 159526 738228 686501 176465 006482 983260 587341 003017 717004 818093 316459 373726 658226 502988 535508 451931 518683 988723 426722 190811 412302 357503 057238 444045 211519 966182 944007 958182 838755 291757 624481 028804 892648 938555 931070 423153 396421 700635 515517 408331 561041 135345 262629 705064 189433 360451 463520 133965 350944 122757 397178 303791 840904 809873 358715 348899 424652 957609 366709 757396 648101 661003 791261 180699 478513 642969 210279 955351 980470 867118 236261 044063 811479 275552 281916 638221 248427 569063 048348 636992 236911 380279 199982 965209 775333 854647 156967 425853 551640 054885 534348 546358 452107 290899 774930 774908 048687 840462 614677 036336 837727 673368 420620 444682 070812 991033 681928 726552 404323 215080 783531 000174 443665 209836 482864 363222 401135 835537 800354 858330 427261 915795 461973 359233 814537 580750 621352 077715 281291 907511 404775 989469 853954 227483 960035 107120 463879 090006 102987 612498 443118 400402 005431 748049 600650 435065 168261 469742 809949 999341 049249 711576 644952 080345 661287 403437 109366 797723 149608 847025 879904 531023 936824 793395 064539 961364 801399 237993 490108 423656 090333 425482 789398 875555 298644 440422 746536 306882 488995 657287 124121 031368 974517 340950 288852 642480 494560 131496 313887 356244 928564 777404 064052 125822 805439 312013 824836 989700 347931 176234 309656 001350 656953 025784 481400 135795 177940 724787 354369 985997 449350 371039 459798 725812 244890 443932 071154 968082 436100 060474 023789 056774 013930 988654 561903 998031 951186 465452 114772 752556 655666 514093 051033 715216 846542 921282 127115 308381 570488 208279 820062 488288 483363 661493 126116 562199 872271 154246 574828 951997 842399 175520 089429 472776 930446 252606 473448 445986 261440 014543 725909 176803 544676 108430 311671 169343 662261 034016 869000 446517 436178 361939 294979 160149 602505 517173 217760 155147 828440 893377 746278 618807 044578 092524 134680 500349 364635 704776 308349 897859 244872 420763 501220 120152 956139 951093 241042 759878 739022 696922 493158 121259 659712 020267 861853 485019 255235 286559 736131 238011 324064 239351 954848 806236 656814 825263 238483 095773 184497 026325 387826 562003 179548 361010 494130 494183 839438 397288 329818 768742 721170 558163 489862 603509 973771 875026 226314 292666 296592 725644 030891 236244 196488 444894 904068 028736 123011 518171 345192 856373 474427 480507 188675 423530 160063 523048 435516 566353 978702 806162 136032 626900 910909 189496 852229 911298 305934 575756 019712 163944 150624 184721 995099 420158 682630 746864 499113 032560 064652 926541 816483 287484 579963 020918 164377 986680 324466 872806 641377 924370 669044 470497 632808 249636 521753 044478 533428 372376 483578 108790 814816 280481 773105 853837 921245 139531 174537 739244 575216 277674 039617 636126 846251 584357 480903 367294 224251 604845 064987 206028 163152 887387 152917 431383 986745 908003 080929 391634 119458 060055 617379 415000 074432 439106 993237 704484 257705 168932 982410 732776 564281 122841 922364 925379 956124 478815 352404 759719 841801 734373 839713 724696 860162 148605 253070 803576 808519 453836 374420 627179 737037 604142 951380 776883 737989 134073 698901 602592 786326 595717 031128 093970 250602 810822 881158 590332 271115 613691 127769 861796 232827 450861 425241 713800 685880 843289 155419 628348 901008 696679 815196 405780 492296 089877 607892 743508 000303 611772 470582 146143 458117 883042 083507 272203 520028 114604 007111 649122 385677 740702 175394 963366 113501 991966 992510 199421 663918 575123 111508 095838 197081 785636 276772 546160 617902 655594 154612 799161 490537 244041 689586 884254 085638 554378 029115 261257 593184 037837 165817 364729 663766 013132 855593 336198 066192 019376 319307 890655 960166 765584 731835 372763 633671 696460 411953 804891 326989 397602 586958 188858 490470 359805 925667 088002 641405 560757 872634 244318 544813 690523 838120 804256 895152 579688 401639 867059 794951 918762 968947 938658 358234 798180 983247 714920 927651 547905 615123 515975 693089 459058 567564 286328 529145 320672 961801 268220 636620 665618 234606 746604 683418 638079 840588 669080 055867 688562 120332 066517 716317 332100 022840 089486 291883 159706 274024 556477 054784 746462 819964 576620 232232 325942 995358 031476 221902 359792 078803 473438 293818 161138 998547 035215 004145 686744 024284 927275 573952 965655 129911 652412 250264 633563 086694 010260 649561 616132 562442 894062 326653 857685 083733 594515 677604 597013 352472 386260 870437 846919 612189 128536 318542 935039 534659 825374 108902 916994 190975 629828 558633 784005 033273 969434 636876 055549 367682 249162 973119 806702 153030 014678 430259 166564 105330 889291 143574 990345 873981 558003 931810 773087 114101 328812 202818 182530 659600 022628 730340 018342 350700 595861 188473 198370 807408 589712 143590 242182 329390 966910 298463 124654 547594 157040 342126 274785 939791 783756 891090 464756 988912 901135 529163 646067 687559 120468 611045 776640 846307 996804 182944 698514 536421 632174 728998 163265 491022 273433 601004 511119 477379 101481 780038 988817 607499 832513 303843 330640 789059 474590 607471 481311 836480 494175 566736 211928 694990 816504 175504 133655 192066 394336 309167 139210 692025 665461 612437 289192 624017 685122 078635 036633 055237 931446 222178 600722 879818 676429 299552 736861 690215 748545 476698 550452 096027 757054 220154 205804 542299 333021 092878 791196 196996 984470 541236 798819 039919 664266 627261 996041 408531 125801 186452 364666 870924 612882 701895 483212 779216 119690 175131 897617 739899 781394 600756 639140 801050 869054 251008 804920 346898 554851 961517 696069 254351 691947 730694 173836 278445 399995 053190 243948 072011 378584 102778 700281 700210 237245 506842 199363 770502 965845 962686 924372 382755 994375 437646 172771 678724 444163 621476 135213 074104 021041 188912 237681 717342 362571 537346 192133 780136 045093 188851 396652 848019 673883 921172 155981 870247 282224 642937 033827 390246 783161 378941 549633 512600 048026 946697 100760 318720 371332 728157 402342 795622 155000 494932 842641 326887 526840 971825 072159 499253 126095 621476 366806 156029 684755 624224 055407 085010 237531 886638 623200 901928 806567 835045 386192 457271 133045 887682 099308 077262 875689 848923 534019 633441 046643 853935 206711 614859 715825 076238 426696 387092 829614 486938 878737 067609 294217 015322 801435 071035 926438 971497 945729 941675 101914 229013 597315 665918 741950 401458 902384 924614 039508 976832 495290 509561 974999 061577 952547 893675 087104 389259 678463 429262 881300 864222 837497 474570 968406 724376 393157 413972 581279 359100 258503 067827 386117 313153 295331 318073 542846 977940 688277 148581 654183 298098 572725 705468 050203 701641 426123 852139 472615 340645 949787 275393 141068 445804 950825 727993 602505 396222 014808 075427 255038 697798 221833 880955 791708 189445 745406 721981 435605 288338 516965 730999 965203 972138 934753 139513 402680 034233 469219 786377 719550 605511 774214 154052 632786 022351 578423 873425 438053 353222 408404 168745 869003 705714 529085 823200 458993 295777 085130 088665 317282 698663 379290 127765 045081 282923 320564 306278 548436 058412 344180 257440 401194 957328 720964 395335 803958 530037 209487 924231 700120 089665 860637 293927 843727 761794 825800 595831 421574 463483 010262 450908 993346 117012 174961 132603 242585 104257 100539 966204 977691 919101 100770 436117 585285 414080 074714 712406 425888 639813 334700 243818 666158 371098 531986 974593 255482 878619 513143 262390 574585 268098 282784 660125 818524 119431 879048 720234 280161 244005 057374 860501 255858 731673 323943 893095 724700 656534 008195 603285 030306 535487 500295 041780 405190 167028 065486 794808 124552 595543 679139 637443 834430 095906 738309 044212 437860 085373 580281 742648 522505 403358 422153 648414 502382 097171 995789 504544 354810 319494 970405 077802 346241 630397 497884 907784 512565 865009 292901 391765 309283 259360 350368 331778 540448 126044 421665 892996 266507 432984 507946 890513 609347 023555 913638 267108 926657 576195 683861 154419 528480 599911 325679 375478 202307 852181 309152 658154 109676 101453 350216 301377 504078 269084 887884 987092 644761 019960 391819 589169 898718 415879 000146 403374 225065 200147 734979 304669 693691 525610 096326 166884 767491 527545 561809 233670 192235 480160 878457 627633 488013 879383 450198 847480 459595 714962 940593 416812 562234 141037 468192 165948 292046 313125 533484 228359 429908 412374 522883 217217 893793 282712 908653 263986 282777 041661 827220 477474 357781 647743 895176 299337 546012 324341 228086 403678 614546 405879 933265 934753 462050 925473 925420 893343 133663 344579 177518 770324 943732 684484 623650 679511 063827 433491 567675 034414 053229 741865 146756 615987 064804 372222 895109 648767 738644 073733 730335 138221 452024 642355 883559 930852 052229 597337 181865 699031 667547 440399 506108 576593 841595 772886 373847 363604 034239 975631 073286 098654 019328 066333 086048 742400 270904 434948 652315 756223 222111 358343 118239 627204 998613 051910 077006 598784 061052 538981 473429 444777 059908 828090 355528 344924 862033 490359 499151 289782 125920 753695 530982 343660 395008 779422 645649 239507 775729 448695 216201 044304 193624 463216 485023 499639 650866 212491 885790 770514 680143 338934 198066 161235 278183 746375 112172 641054 020975 841907 990133 036631 406923 265125 169536 521175 438398 652771 419171 587983 760754 912828 155037 352943 543643 644962 396237 160593 902676 137743 280181 849699 514963 834064 663487 141427 373634 792417 458977 485155 412005 120012 875766 522822 936959 969115 617461 870370 521372 087932 847959 952331 631856 131645 032765 082493 216156 313586 005092 023171 730068 320749 778363 124584 425503 275376 911243 929861 853667 203145 141141 995337 666484 750428 156895 788891 997245 630740 182650 866111 090146 832642 995028 813219 398456 823574 364136 858063 562499 884956 958250 763708 629949 195443 371817 532607 450660 306859 097053 775473 399624 241847 568359 783030 816450 962781 255618 059370 273051 965382 760386 772398 504340 198528 443435 493304 938113 348108 307264 992427 627824 733375 562248 891370 265736 030917 268222 397047 973930 897595 812748 252455 844333 061699 413635 132380 084036 701745 536113 658677 547301 987319 487441 635912 507904 452697 000697 959050 838001 298995 941431 067621 888505 318183 250329 797624 219350 080878 846969 681056 235091 858982 705547 201102 581509 779756 117137 007056 657834 826924 741075 614067 942552 705009 827533 077690 420414 803682 990853 468994 866343 226846 087418 468445 832156 418903 982820 975246 216085 851282 806890 461575 807464 899591 654507 367396 534805 383042 457425 207939 860190 976196 369226 891843 552747 360660 500763 873330 409484 625635 930809 512480 606705 613873 058128 140566 053207 025091 444967 897956 325200 805192 571277 062183 532541 513783 407765 705659 689500 077905 790124 718422 375526 638434 579096 451671 202470 789053 315323 695094 400481 434659 155687 294470 187609 182776 045319 593023 560350 802950 871067 098559 042128 264893 282398 541961 512005 079854 378287 119814 408317 828078 023355 260025 392899 963851 017826 088479 761448 980945 428571 924327 720257 657292 238276 388533 640926 015824 543436 421908 109693 270062 693637 409840 754344 816839 309160 659505 702681 550040 164037 538752 614834 212631 276709 574447 464924 838687 069522 079595 590695 213384 278544 195138 638189 296799 615959 780301 069864 840573 996837 878332 421364 255124 686155 770379 165029 977221 860542 832984 507697 321617 824275 181175 884389 929132 082752 126398 939389 579053 024541 904806 354300 860211 195073 297454 260254 905263 253169 455651 507312 454861 525641 172544 690257 539310 218989 290724 643440 155824 282146 427998 297406 637506 723238 839659 683231 005113 881205 043249 856619 212658 478498 485213 706991 766898 892966 055792 854662 050341 942843 889048 880269 169207 757333 362329 726337 513173 592475 260868 560980 269403 297931 144907 394588 719273 447940 792982 768826 003921 184807 248224 382733 795181 147189 882207 993148 336047 165639 304828 158918 928704 867187 671871 219585 661606 347813 437941 758371 084269 349291 650437 854543 697492 139500 810715 591512 190739 922741 919679 850122 450722 658934 869818 854088 581669 465691 861187 472141 472347 971413 603388 992645 739813 742658 898083 062075 017613 035580 667091 492396 141241 084455 593887 164471 113575 943576 285812 907074 768703 191674 226450 533280 503038 547660 948727 272868 231232 687795 642479 560664 598218 129089 460027 593717 612623 158989 340020 974325 939811 254099 072166 716651 464290 201579 823528 105731 162990 410933 419844 207076 660460 201854 875403 985733 282424 054023 664023 037550 212762 272855 171709 281482 583166 102157 307783 379200 078920 566465 975629 233484 090949 635858 520800 404820 890255 333573 893183 774255 467991 462924 014496 332700 963192 674180 929331 322111 800576 040071 162696 157705 358018 918003 429068 392245 931983 137938 711872 545713 491266 312892 174028 522251 853615 059901 571379 523812 503526 932357 751691 427127 706334 468584 874751 771281 426210 585452 667421 426455 745541 961083 597053 905125 872081 321525 410433 990340 932559 215265 798643 146301 344495 054087 846327 924196 077458 827572 357081 999067 446713 130729 989934 893151 837613 951592 485655 450193 486202 635642 410729 203592 691180 527781 132348 967679 008949 593480 055408 116139 587670 113649 027820 319451 477209 492781 912109 440075 148042 956701 045676 762582 379714 579440 073349 473382 444718 149858 781868 661736 293439 937295 216607 765532 380687 876917 927659 229880 823380 338682 203663 720223 897817 523638 728114 077715 693515 321720 968217 903315 257349 028644 613467 236871 015282 231622 185078 676484 689199 678004 413937 833990 707657 832678 994920 744993 515674 805349 791029 997782 586194 901569 379083 036847 250498 937325 951770 044226 653218 313401 521248 482677 295121 107317 120432 622201 109335 543605 962048 143705 469322 015371 868171 692633 995526 666258 748022 613559 858127 442936 463103 719940 515512 873321 508305 638078 111699 519693 067321 129663 483050 105395 202326 459686 283355 173235 429957 154899 148547 278128 663365 691268 281040 432328 385198 690524 123216 140552 864142 449460 596042 050982 813177 858950 351172 776496 911823 683295 906654 714366 269537 630272 273836 326302 912649 921394 249123 484218 739097 113551 258173 141416 000371 103722 855822 908865 693876 755956 685399 153172 483624 827783 314721 273155 918793 300178 543268 124531 183455 854442 918629 866169 493534 576553 218542 383510 945827 033823 721094 104761 786540 407499 158269 945950 718228 764907 698286 900026 291644 699136 667645 439229 476671 216881 923786 019291 510252 541660 117705 296841 813754 579102 662266 181511 287032 300934 827621 408455 773610 102836 046004 799960 879255 074007 294956 902282 616345 355213 664576 119121 275452 102616 247524 718241 109866 184217 759884 392405 827925 961540 039780 536260 111960 511775 538125 827939 730041 852546 575748 743028 062428 326219 867019 547593 765352 696463 651864 071498 044855 115260 038029 114348 728093 745285 974913 478627 775041 521744 743099 781458 013680 782504 660843 395046 845367 058421 045878 857210 179780 394543 209327 131079 217944 547680 246570 420860 340703 515397 726315 530953 325191 698219 226201 538078 290426 227438 686681 776043 244385 106548 462972 861391 812861 837985 427198 145198 615418 289636 302282 608152 856735 721505 355899 797877 204199 929512 837132 171573 517769 277658 636340 468797 213011 619726 569936 597977 774111 022430 715604 181346 859264 438654 657267 765730 786951 011308 238028 912779 360273 366452 371519 173308 329387 897934 239470 982969 425209 474896 603527 487666 464207 671997 034077 772563 571225 808778 178135 094743 789155 718063 987814 627311 347869 272264 768923 149373 241395 596110 667111 296540 077765 528493 078503 732121 363423 457473 498157 050434 762227 923088 003109 855691 512765 324447 425059 785351 719777 710293 975434 906909 452967 326556 310956 573462 472018 514238 392132 938272 948069 777190 028769 499857 133815 370975 666495 227661 796817 643408 528861 155202 321662 816794 752066 841533 522935 323390 239797 351999 017121 564300 363826 728964 508948 671176 873069 034477 518307 030981 361282 036977 562828 842979 112351 748564 760065 404707 411354 859419 010995 472249 729570 267325 102641 588594 155961 545253 688369 922111 770855 044942 872037 952748 611652 407857 705695 509005 653426 805978 217084 830748 306063 503339 624643 777355 446774 779873 900996 794609 131289 643129 473488 195067 735908 790950 780469 744202 628565 401150 424293 900787 252809 428664 626350 413421 211322 800531 584619 414654 622500 019307 956970 958861 187304 250688 585838 365031 625452 771735 665633 792258 400463 798061 892423 274511 759524 380033 179534 388859 400052 024417 406909 216061 871010 742287 794119 404408 013259 784627 112786 803623 460673 585105 799867 257654 007380 938611 804916 185135 662551 746316 592804 280915 712902 057356 774697 505300 789484 264861 156836 644928 093488 540157 327994 799409 322528 327101 305109 452129 461260 232078 032212 322732 345960 193364 304720 356348 197360 856538 604905 851073 408959 196695 406666 256573 489382 244582 001432 630539 431720 731449 925737 669652 794225 189616 184548 574947 909525 004129 645361 890068 920192 663133 861152 077346 316987 777307 364655 784011 410112 127168 076511 624757 131763 258729 201421 629278 182863 246799 991246 881540 383336 091048 857628 921683 386565 431103 951248 626872 674826 217354 351496 052466 152824 408222 565623 333133 079023 462295 286180 896551 003814 850179 455800 675612 736130 550258 965777 307560 964914 617596 182816 494114 108879 724590 709535 575987 274699 814454 730451 501928 141540 296838 427010 722232 096992 292912 124814 105668 262789 557456 453610 541359 466648 348337 946333 358899 807343 703356 455015 809347 703104 016175 948390 576143 121196 223311 178946 854823 648460 865107 064630 525855 723473 992525 136053 888732 148471 713935 101776 851015 817516 272538 175113 537476 000643 417400 102451 171779 631972 684482 664574 024688 149298 443733 918362 776054 070529 019502 385253 490537 409843 050191 745930 042891 002405 595469 153132 450326 025472 782845 078725 999571 460741 872918 565480 163242 053939 031402 025368 831914 191402 872981 175328 912880 108272 980195 958440 736738 498060 023739 689932 311830 917612 785812 377600 812241 831470 681029 165396 651365 726168 171376 713546 761423 165909 738282 363487 554125 390063 633240 974269 382906 100402 121576 603237 397869 235068 836774 978242 001009 360627 545294 311473 330157 292350 287801 338723 968283 441182 696061 457025 461578 674389 532157 092593 286208 293773 853456 430676 835016 230850 712992 227686 938101 398003 060333 099329 639196 324678 260750 988058 777593 715893 599580 228396 718792 363815 517377 628595 474744 402508 912483 510330 909178 346518 557115 456154 869509 871741 302427 546200 177681 047408 232567 462693 926471 741551 474848 527723 864673 514515 329137 791255 545235 744754 248980 306672 259424 549471 475217 680361 893954 176836 512505 021819 522806 423238 228343 602323 705784 562591 751089 136682 566184 072102 025140 524494 639610 522133 203041 399975 788218 695245 092059 943871 891191 329291 584759 732736 466031 214041 967347 112580 933857 468879 492988 394742 826217 895890 529327 324963 032211 171226 123936 451334 842409 382831 922934 212780 381549 448957 479366 294276 833631 120971 055262 646427 151292 980639 286767 745259 790463 579393 715457 834291 536080 430083 997666 810311 395897 112840 504480 539322 676873 169924 107772 059559 040121 851590 179107 443608 335417 410090 091140 920706 931375 279475 877423 046114 122104 528991 530099 430634 844808 423693 192453 488690 117239 601899 260677 737046 037021 208945 017865 088325 995595 212518 814141 164930 501522 922109 061420 448829 986986 911481 197802 282984 680536 611745 501352 633229 625183 622446 396037 829649 114983 324038 281507 726851 991444 184238 013012 804794 920358 291320 497993 223084 141907 720241 007999 187202 829883 188862 818004 918376 481808 449577 438913 171228 022870 934498 106654 421306 368922 797986 505036 190439 840150 242567 027301 513036 033770 441866 164659 298118 606750 575121 134814 447406 432369 308252 250937 520209 727633 756453 666608 965886 895503 969469 397129 346611 244674 271976 085878 950592 548860 847960 678420 622324 195940 505133 970265 960274 897845 255459 751405 986521 192502 352561 647206 541828 392703 680441 881581 205978 982929 423482 612656 643657 897687 590387 727445 881336 625797 328889 793983 130297 676739 766007 473703 731954 402853 249241 547400 961528 918007 007242 134387 896476 879303 077030 730970 146607 490713 043719 468937 734755 835815 859351 920545 045645 822289 356294 839079 085456 012800 534971 676932 957319 142223 053521 620332 459884 774548 414169 295013 715966 584413 607825 124557 076550 865275 739445 960820 029407 145284 816851 458949 529201 106067 853069 193902 900464 943664 136771 235411 391487 427993 315823 974582 797480 793319 157085 038089 500342 717127 821719 586946 990744 529507 475457 857048 929656 340149 353544 298584 775787 430718 069498 479358 002528 716641 960512 660976 889973 791136 031153 901954 383842 347282 373621 608656 162609 794995 974050 096570 228152 519649 636792 132722 673484 073293 366071 529402 745756 824369 377723 841916 486314 081424 626956 955531 388102 113889 079188 198338 250097 268819 407876 653051 186019 194076 626294 023321 256629 312087 132002 257425 776338 299253 758745 762463 963414 624539 688565 998626 737119 810048 105107 739991 457556 431565 459926 758922 101377 740113 750435 410775 499524 315679 729547 365586 691084 486373 880327 603865 954841 040652 457891 258807 519106 809317 517116 241486 539489 664885 248796 954162 003711 726812 294642 759124 591289 821592 062841 850725 149890 345929 437144 291629 646575 161401 542561 170795 834099 502318 754131 552521 238775 479053 971188 622125 521647 560729 828241 686152 392921 440927 881352 883773 195123 586679 614822 513004 221032 890200 454540 967249 875550 423124 094030 271278 062866 434268 716109 503146 994587 532230 637106 168044 432155 418812 173720 593146 857807 378370 027189 614524 253454 616464 001820 409815 449755 537706 686737 373243 394102 642306 905006 522179 505577 022930 969480 976368 968553 129137 072762 114862 105739 123942 355152 740741 307114 747976 911626 402714 347413 021281 009577 319254 256194 057438 137690 903048 992376 958537 293714 141974 235190 885085 445615 925863 602893 784089 292545 566936 768096 519517 682697 924152 112687 506082 071788 945755 367890 990947 914280 177332 360343 596428 602644 821554 174443 663707 532132 596717 674337 716527 259920 945438 048854 533578 888395 457534 906166 425869 489855 750370 580924 284307 349015 342430 412820 003474 681196 148292 090288 460317 659745 456498 629248 177990 255911 338358 203902 242187 891578 137195 393982 181629 783726 993024 788158 344960 226107 854666 354068 854648 323082 060916 168466 244985 897925 968325 572795 927628 318947 389266 999946 878954 163442 949818 263783 979620 143453 062932 127791 906960 410313 273173 748739 818168 205613 374151 239330 552474 090431 805392 157720 380969 447648 258001 261442 331419 038836 444525 172457 482481 386212 225394 007331 958946 602175 925173 484029 613130 813500 102170 388215 553168 716404 779830 265997 751138 535215 211425 408492 520717 738904 207126 384622 853756 351052 192293 861665 351275 302638 685542 246461 391149 563194 118002 994964 181434 085775 729125 799069 758887 844902 572118 195135 034931 778485 256540 636555 608211 493958 403440 987974 781988 113459 935848 508841 324740 898546 618151 209732 063236 498867 731414 483713 926418 757144 879850 876354 228708 189692 599391 538395 365826 430004 277676 340611 632238 024511 249495 222048 244379 504911 439900 266069 615838 619129 788660 667545 384116 204504 708166 025447 169383 423904 219893 682973 798242 381462 146758 349065 557753 240938 275766 259021 239781 595946 221348 028478 520831 471430 015652 304708 175488 635459 521184 226768 022253 732958 378996 638675 702355 668217 431822 130355 820807 090777 973301 271697 529406 192715 194625 486753 788072 698444 420970 830399 348187 127944 194529 935123 938765 393653 464279 003944 105579 445353 007910 787338 224958 311389 504811 399441 645724 020958 412226 423601 499305 433488 584732 281270 217385 659746 593835 < 2⁷⁹¹³⁷