There is no linear OA(2¹⁶⁵, 72870, F₂, 24) (dual of [72870, 72705, 25]-code), because the Johnson bound shows that N ≤ 24312 064215 237079 749439 465823 748348 343667 810005 331929 829619 111944 333009 760658 786178 141318 427150 831627 056491 351749 233306 626443 192040 777558 316811 782860 449934 119629 528491 908064 294805 652998 514959 922730 965208 840992 664883 665871 443529 746553 787193 715369 118750 650248 390924 714889 066635 582825 436089 953250 373034 965619 079762 820962 690409 060328 101483 827254 937982 963912 200993 549352 143896 843372 699650 282289 651628 538541 644415 286890 154729 793208 494925 186075 973596 060474 009080 083157 406592 858520 160956 345534 852516 636730 812843 617780 515169 590143 729571 213720 575316 934268 773840 471563 300731 463717 968116 245028 045595 314412 203782 013070 024415 421587 887860 929479 300985 941209 720195 298198 094677 383065 605274 282621 123319 445558 063760 612444 992798 564769 218269 033514 822558 178205 807868 226232 933504 076161 369751 173715 840868 852354 761678 731012 907570 365285 684109 987137 727915 707722 215026 411521 321126 431005 774730 061579 810407 140292 533140 321238 951427 030004 802983 891760 917420 808481 384016 146048 701425 604898 314592 382395 080010 108842 168291 372019 081982 975344 220547 079987 832986 808786 210706 503763 791257 773282 854854 237913 633785 555063 081923 968354 057089 892310 458698 158936 584694 707215 761967 489000 119709 904607 320146 568139 440875 532905 743896 818862 645816 456317 578966 608071 709596 511333 525454 761379 839055 882201 467817 445544 851681 578926 320980 891645 831993 524196 733172 992103 017983 046337 767604 549444 445240 611999 301754 295814 888021 302585 583527 231553 055537 026285 562752 495561 021653 376964 345753 969427 677801 380316 417081 358550 566563 161509 484345 014510 350256 383341 919890 552786 215576 240779 382488 418409 580381 974881 065393 216286 748872 017703 629757 452790 539538 141808 449793 724182 813170 844190 513284 422285 516191 022310 729336 171726 609484 492943 600035 041727 502680 443342 665669 837187 564648 259276 380371 438771 286134 721256 694757 820056 821904 907950 021475 511821 111435 668993 375168 419483 900977 707153 688923 696913 508197 730154 311097 819209 854648 358198 992839 751667 748928 702212 724060 005496 951236 758714 518758 290555 304877 920179 170448 524048 900602 526451 151177 450497 044164 422495 775062 894335 713500 636026 409627 267907 036479 329172 597023 504883 581622 711710 178534 707848 252541 199919 716259 576467 018362 882013 983819 852361 732963 981639 517126 594111 932861 847129 722388 286820 275694 535158 032119 782294 893070 295998 460969 126041 230511 924462 127080 324939 485243 803511 278065 211609 699313 921148 886095 578751 560260 494163 072092 650920 000248 290120 019217 326574 275194 903356 364246 905147 615396 348365 325282 938571 751623 068576 055559 550583 504567 778731 136200 681597 792428 719958 936582 011883 547257 144647 005708 112494 227469 514097 677901 651394 316714 180603 570437 474124 365611 802487 367043 535339 933066 810817 023523 048348 892685 306363 121479 433544 736066 119244 764941 269569 085809 293450 486880 466560 130874 193662 787214 948448 752889 654315 046948 656627 666498 322480 426666 559233 116031 385350 984294 087578 674601 907811 880375 740951 356384 737553 717273 321116 662891 112154 469852 768934 101425 936257 128734 961829 378690 336775 739242 807779 845762 967493 091352 964033 265171 033920 805116 034625 984863 384757 431946 280236 986784 676826 148342 944708 972180 823087 401998 635303 405988 285134 498027 834007 377061 147109 820874 106514 729836 382484 769054 951533 778431 876818 956333 381054 108113 045909 385424 602085 805822 676022 460282 431648 525356 714986 281911 643294 674845 545747 095942 108516 735791 644030 672994 131838 855433 927022 203563 063500 193761 286145 472465 172036 931208 043439 989992 169945 699070 555374 203793 083305 868719 483210 869271 435760 531687 897831 130438 253800 342005 136090 103085 706430 459884 229175 471358 949050 775263 160987 271247 662415 794913 487943 059895 692812 987350 128196 566394 255362 867346 161042 238273 439763 467866 315330 184724 527811 187605 496243 121079 200406 007098 645458 945666 830384 203366 930141 704247 242673 818897 763133 170038 786563 736852 686230 027726 032916 820297 266458 011107 683929 818706 121995 463558 256500 189631 021322 852748 612966 586315 407844 109838 135250 702528 320709 187798 339726 571858 530257 836682 617159 740405 825333 406219 518476 994316 083732 707874 798039 725818 622181 106476 475344 215705 996437 690573 427235 184404 450842 875909 382502 760626 053902 232652 063469 283363 256855 567690 348093 108211 928417 537795 980091 632181 890262 113655 431813 287034 195523 209899 840085 985605 544672 340319 414777 998611 184155 821995 499020 829472 844460 716576 015995 659922 592597 868213 498392 540060 733858 207486 315890 725480 212702 425500 159181 282935 588377 667835 155418 847328 344444 597218 351579 252263 153459 990268 454001 993221 290076 962842 860000 815779 928804 288854 162699 953582 485611 725689 916401 044654 377948 780359 440400 212354 103897 556796 287950 000467 287867 451049 018885 956802 150368 034803 831308 095332 299112 129459 270358 734554 142511 934597 145059 198718 548804 523680 223019 863386 661460 350937 656145 272494 951495 871256 443068 838856 377684 664689 110701 535572 812295 627491 064300 970574 431717 191762 508537 613830 921585 990982 204288 160427 527822 190354 973650 375801 317272 696243 862003 448268 084853 596328 189969 339111 656540 089247 421395 578371 288863 087700 938793 648119 237280 770488 699174 610230 618442 475544 674887 870327 424330 445286 851581 876378 868683 310146 455901 812034 035979 723525 450064 495507 410321 188226 744897 992330 168211 109568 474188 909119 166301 637971 424107 632176 727398 922655 724046 783893 502275 757571 023556 562703 847038 726693 992200 452050 731091 200105 550857 859521 633812 830513 405845 087798 020836 087637 894831 410828 584523 907524 625294 983876 165566 169645 928782 861787 712542 786364 810816 798160 737757 791087 292781 468837 729356 853113 036669 309660 593311 313487 817169 844162 416136 227286 474713 885357 026613 087132 122165 676201 827530 655876 097172 671953 182754 770556 999195 148779 254602 991487 680163 598092 296717 901779 093636 079793 185352 091272 326978 949202 380203 640245 256321 689354 024019 411442 810962 480153 021446 759770 034115 522033 419763 250564 134830 886818 717741 322157 541879 116106 455431 371111 007286 846778 393624 963661 987600 333995 314764 825156 991043 890636 601160 467684 900602 926121 898846 485640 330700 354829 761678 885839 253655 887962 120055 320837 949522 512564 287626 317958 959030 503378 434747 967053 920478 888370 544627 636510 283115 857044 886216 628265 131310 854577 864544 958502 995569 615945 867655 335538 050873 250362 110977 733496 791422 959919 097865 171999 243459 489111 873437 757494 018923 338880 212502 820197 596884 286351 559072 883036 268526 621785 035708 808027 384666 381744 518460 391435 524387 533554 819607 410307 645776 009966 082244 530961 559361 245556 154635 008822 372147 383412 899937 081513 107720 264414 818492 674448 104939 659926 275537 723838 584204 643254 032973 048595 721297 213747 076225 628619 912169 736135 355757 511430 312120 364014 643068 568441 170603 235376 787411 486005 782495 428235 796334 376106 510692 304452 269498 234968 357969 912939 517254 263771 442921 424591 298953 565848 637336 956007 321868 058236 850561 102729 600897 607712 601342 945087 945908 955248 370245 809826 480130 122308 509201 816309 278061 616109 383245 687342 818792 707697 291569 339742 917410 829757 287245 461409 812117 409215 296215 897221 386725 265387 433541 996444 186516 475175 646010 994490 706608 647552 530823 583423 659202 265411 514203 178605 683124 393883 379620 787395 181543 974222 392215 374109 452672 783311 332091 603628 005625 426015 668665 329346 098305 196818 554938 840747 499458 940264 094722 331971 112095 438048 997399 429017 038996 775372 292916 014059 551543 108523 840169 044331 232657 579013 307814 469994 386796 358585 443623 774635 108125 838297 622564 224402 848889 495003 595495 050285 164454 164633 242708 517510 603928 363178 945732 362190 034007 973791 478153 249647 718453 165637 081368 734671 948251 127289 201723 911141 451540 555649 124904 566878 454724 625229 083720 763200 437953 784071 547300 819143 097829 529057 868482 446590 730660 033176 617126 450003 621065 984975 995737 939871 780507 282488 862715 600074 342692 286340 782398 492660 923091 735167 327770 459523 162310 863250 727319 268602 618099 674569 811010 733087 553644 322280 434676 117649 908121 271032 045113 135424 058985 334867 547857 809549 004642 881395 677284 633622 426069 614682 455363 310636 725200 619155 596488 818507 675524 706595 950267 086178 282774 078922 717960 770511 247010 009637 377634 178792 479762 311783 916277 391609 831996 144896 781815 464075 440441 624963 701767 444957 288588 807567 147554 213772 797109 477751 469495 265765 035601 773304 014181 429453 281812 786337 804179 820823 756022 193582 220565 577210 521672 108863 788266 728580 624807 457652 524794 174526 951055 025112 720226 565996 372169 421837 418066 565495 497008 305054 770143 766197 717856 254713 211638 525858 640131 690161 425956 908754 457932 144888 695281 726231 408950 133894 483976 105584 407901 786242 640295 263783 991117 915546 367480 167189 473170 842815 219474 500045 105857 388616 109451 679986 744371 634803 559144 569616 298616 969154 118828 891446 550346 800398 004224 053264 119516 728224 914888 222586 427437 192065 114066 522930 406081 658198 318057 815924 410392 660597 639896 152046 156075 838026 813773 144463 321919 341883 002356 421949 788158 580154 898738 677994 407305 352970 033950 708954 919185 698591 996296 145335 687922 220266 450703 182529 663243 187667 355187 480234 403673 264340 592499 711371 662072 198433 288449 176803 128614 520828 089236 250295 938316 798990 199636 565732 001903 383786 273165 192871 857830 403141 904772 758935 437255 900226 963263 064201 349269 176512 088646 746339 918317 349222 160655 098346 137026 792169 447872 034408 056301 238757 509766 132680 791347 720683 846270 439234 204370 348482 593085 982442 387950 073847 352200 164796 510391 609959 120463 152328 783705 719324 820366 629997 671748 500564 151340 282109 775285 991501 157828 469466 621103 529168 439275 534701 068148 814239 644547 273539 758751 727141 097091 772422 106421 820953 748291 939775 344642 217605 665994 906566 410194 928558 330581 741812 383894 884368 695163 220888 090449 426230 906736 111091 965893 386140 178723 511420 903036 170927 065180 442037 184539 072065 044628 984336 388147 493579 767077 216209 762495 490039 728488 480928 333578 458907 341651 380919 630903 141588 246197 356414 517823 827905 021317 267648 864713 020368 204313 368398 643512 024102 986037 077052 881491 365114 617881 479909 323542 568731 102411 552829 818098 642290 009329 408375 277172 686756 746261 471992 007728 712802 310800 579896 795385 193937 524305 507436 105432 619721 908885 532320 937354 174883 341521 099953 875675 289192 667012 700065 836438 243550 472430 685255 752091 944357 390276 438717 876912 410279 347612 930918 349814 571557 742348 271491 408071 148190 700410 455090 818769 145142 374477 606618 824035 784000 991805 708239 078538 160568 757838 038516 228918 681770 445370 837636 683182 045738 145226 033570 036277 665165 829219 784565 077088 645113 396803 304080 611636 494720 642483 913612 078212 536972 180011 949775 413945 035166 876781 013911 043623 012179 242142 023458 910348 838237 143911 573257 960002 050097 401795 115448 578203 813799 355575 018293 492419 144823 486206 829029 555128 078358 771875 332546 168766 501874 792964 899889 789191 464163 732687 466625 409994 632363 632501 213223 242257 474378 938447 881216 372659 878220 490700 844173 309509 611739 666764 685906 286650 470718 616467 942117 725268 265624 942316 308611 034199 703032 257774 314162 288866 678073 098340 984186 039612 870345 169400 403613 370130 668418 599080 064822 436813 335628 732225 088489 536936 039299 949888 745790 323715 532366 660869 147219 960713 253457 344571 002466 321964 039972 851464 979412 588246 427272 414625 868945 566952 593319 193618 467335 493714 215725 913920 850813 333478 999771 819868 426268 564329 924649 995237 690902 104222 428147 751478 483643 568613 800094 751603 743613 177736 907561 560854 735573 427945 060123 692184 151600 263057 614394 468910 960016 203638 195322 876697 250309 888334 853323 150189 413885 088753 963654 105721 948440 149694 822901 754537 219644 885580 872824 930559 112615 931500 988979 671736 234730 834460 609436 697722 687219 297577 670207 996492 476671 253208 615116 930875 794660 239137 630808 975608 062466 621307 905063 674142 286977 859705 385899 985071 939963 840289 967175 728451 472216 746171 570847 326852 424744 616344 864146 812017 965780 130520 854959 010044 058436 276614 246614 186060 314512 824423 594882 903838 354024 212237 665265 465498 356202 947183 571467 741083 593864 163581 592802 907841 494450 032009 978899 166805 366294 565723 140369 697435 297810 717373 045845 627612 700272 525819 633875 539361 775771 312178 079330 852851 806249 220692 945795 041129 263529 316445 736089 151703 101672 166247 071255 941156 617534 437288 669724 173669 395409 167585 214434 002362 568567 474832 397485 137520 476880 220205 223477 922982 016774 095041 985530 991458 477324 476089 771404 248041 202884 096389 833380 389857 183589 257713 656814 641212 521462 095047 888166 690230 277257 335158 265288 763416 106777 704841 063883 388031 918510 209191 683865 623891 401094 988592 058261 412631 086400 522962 119868 025966 089753 642587 886765 827649 447682 170770 657260 883038 140522 773143 674655 157389 758063 023999 732193 974161 030814 324273 094339 136466 120424 636401 544004 312790 687212 516974 073905 353944 716136 245689 626320 512421 766158 315382 042490 298716 694354 155293 175283 251440 661276 072412 856445 449648 469350 267813 034825 334972 090865 541779 412255 060831 950025 028978 429973 477103 241217 196970 836427 695002 833997 783046 561041 339229 051394 233284 560030 901316 511001 114695 474820 874933 840275 216654 379691 812881 294405 609613 905618 895931 073260 751429 256995 125409 101382 159013 533613 810779 362540 557021 987826 463667 549714 886819 142025 503823 928632 069719 032012 993266 319884 682660 360996 139249 070622 205960 168210 366211 685919 702840 855394 373796 813804 476366 955470 366497 602656 356513 088121 509992 429829 345845 479232 782004 823647 105840 866369 836776 578862 758763 503259 606778 948682 353482 597534 039240 664150 728855 334428 374509 698108 467308 374396 846225 066176 320909 175688 386311 698684 950399 387044 352248 918888 118009 102411 117731 701682 341961 756606 032339 814313 298297 310821 609940 846543 394739 932312 748775 167134 771178 952540 775683 519130 864559 660550 317989 383359 939089 971830 745333 188302 209068 635739 860439 354569 776429 309479 791605 769769 295254 490594 863114 068290 468890 517181 654460 858372 198394 397162 945761 755478 260030 789121 709812 933585 241557 491799 375204 358038 870605 404849 638432 249885 552307 396949 390258 023460 973223 079371 423100 036624 574735 117585 801230 983048 174821 083492 059295 487334 002492 638398 168273 579932 637893 918318 883944 282747 423337 351323 620747 983246 102516 727134 463364 444222 303915 244979 425567 024726 343329 764788 011972 522884 876627 654892 272452 218051 331764 625609 306087 450811 581841 115046 128048 793011 533274 220189 587776 213015 761101 957148 150706 845092 088519 537276 581852 451926 569159 335070 741396 185183 504870 125992 458009 503558 664702 037058 168167 466785 194292 580690 721244 425985 255350 212465 273305 998431 803623 329993 019230 523464 971854 778315 453050 882856 478642 306938 088259 836265 214633 231435 961206 716019 832112 518903 594837 284763 853411 579335 536233 547534 672836 861500 711698 816464 222197 066032 431629 589725 516731 827930 154495 648043 140837 079831 099598 494069 127698 495631 768808 481041 452047 756856 462689 906010 142624 711464 049653 667885 237621 593994 834337 277966 170896 681978 393352 414481 929141 591080 489401 817119 664148 754847 538548 549447 323339 016939 014822 971414 138944 607200 157263 332986 588455 135156 744693 954116 877363 331739 159284 007761 148620 637154 551023 526956 470798 158056 298209 741027 639114 442478 561879 392993 068178 427932 849460 947669 309039 332756 794402 991416 585926 075258 466770 071080 329044 319511 450949 517609 977678 578980 110098 151999 068239 830430 205745 936524 689860 595374 001572 549150 469329 222464 330523 609701 016852 294794 702445 166759 411015 098942 718645 034096 555952 464910 905089 259953 871655 673832 615177 683555 764626 184975 203130 875922 072186 480551 178230 693360 559510 603736 634073 025787 289828 610791 001720 877667 185457 740084 241693 342204 130735 181104 439089 356031 511972 275928 426740 855357 526020 941968 185607 270143 742380 087681 636579 124709 457728 504120 983354 323931 538282 967323 055037 629048 506465 916124 661427 382469 977513 806797 311362 975346 825388 805181 381850 480756 481572 534725 851480 179384 542462 640382 168364 650023 660456 390159 533936 630160 387866 647828 268746 635148 275969 770968 398165 685005 018434 895547 608236 700439 468793 964852 211208 167979 173408 782229 690851 498538 911793 262836 061747 120245 057766 459008 843513 951795 932787 285893 118798 110623 729589 624117 466569 005064 923262 502083 455771 153913 665237 656906 958505 658299 732240 188926 440752 983203 111903 204004 074873 469037 716380 529384 678837 288136 019437 756441 567182 231010 150170 626220 062320 746357 209968 123048 330971 648100 920963 481242 902156 301829 547170 229851 224599 984713 057835 391319 601367 260205 054682 446432 288345 293596 386122 897371 639519 649597 775700 747809 401428 758664 786398 126582 069512 490593 275238 258305 100396 118004 125979 339230 372341 514251 933621 955248 393664 539398 402561 614508 378318 736072 393601 789367 824239 205024 691532 817730 522416 925538 005729 037006 541135 520908 324751 024712 635081 713169 490142 774502 091217 303420 130514 154741 626194 945716 545014 479948 906413 850036 021277 607733 659719 778809 025773 076558 983076 079129 153779 613683 747267 974822 987847 324839 733605 361089 304787 675969 569179 883620 129196 717491 872177 314998 854025 034585 544023 896662 198413 162214 466802 175790 427728 094656 280034 018335 122388 766265 920631 728228 389099 218903 899336 008093 988301 402287 272226 024774 555612 025427 291295 290999 998524 736960 939976 875059 058905 052387 711139 526494 070808 213675 998310 548374 743924 251493 520076 591770 591505 528448 732074 345153 420188 016608 438498 553972 634565 720368 667586 459254 139088 406065 820978 733114 830909 628798 718985 233163 977813 942681 064216 256564 973702 399460 746631 201225 124833 639611 549578 363247 970570 263087 249312 556554 148561 858448 785113 815919 015269 062980 878037 617380 326732 427989 794397 682134 074497 490687 460829 592874 964030 004284 421403 900847 020434 856165 373474 993555 792879 593629 379963 656851 661895 931236 527786 944311 276936 028248 755965 967242 858245 371133 822785 878738 780977 560947 121960 902967 333498 883512 711855 844239 046866 797959 201035 016236 290417 151456 869638 453398 813967 017069 041794 683686 232347 157460 505840 949558 248411 662650 321190 300503 033866 573142 342890 586926 404313 573886 202147 655180 352439 067491 449099 727354 681178 762532 236653 120951 536205 816267 815104 287752 410054 881873 480334 239156 592923 213839 745918 145275 569707 658308 060235 559734 868723 462640 959292 947634 917160 718130 575742 609832 310813 379104 795394 733820 809239 883914 428393 643910 041846 156392 664118 030653 183935 597676 331283 867182 748620 554644 328209 649813 904264 969709 196469 305645 929450 269957 067633 485421 339463 972935 720743 790752 390957 757868 845107 078303 469563 378281 296055 950559 493912 598879 984550 962664 612694 377667 972638 166532 040486 079642 531885 948466 316329 843291 061191 973425 173078 915356 520700 602391 639455 466705 527537 796989 246538 389440 404529 235648 445839 089549 753679 855539 231109 272317 018777 321035 610344 495403 179822 775740 688006 814943 967340 165026 691893 236122 395825 721801 095135 569797 840208 124121 086445 721253 802008 483686 150123 914186 622980 716565 107950 932167 637026 874168 210385 277730 535831 085162 622734 163442 105542 817228 790921 999206 966297 856863 684452 813994 943107 783187 179734 476240 503626 300674 553825 503014 182378 503459 039987 149821 088015 282560 686152 595976 308149 177705 365345 555869 282276 135104 545565 994876 801309 860017 300019 079265 708150 097309 496400 666731 458394 335731 330333 564478 564790 922598 756361 357043 810810 250637 081836 166708 194611 795164 267618 470601 640328 734406 641238 008928 826131 147686 694470 964927 556157 294567 428795 431269 321162 751849 369010 352226 075631 091910 617020 699812 518098 377761 678601 014681 717405 486936 151789 675925 377799 703020 768532 700962 273701 323580 737357 769101 331599 456198 105676 851555 870879 585196 664076 038158 408427 185686 685316 837037 622883 327660 152008 148652 848003 190041 729187 873968 649521 812939 750248 848266 332516 244663 942194 783565 505492 606094 494342 367541 122377 788389 463922 173443 246829 873873 760470 003187 820499 854420 791452 510303 078715 204783 746180 399440 022319 702500 328781 958238 582844 602643 745111 051896 540486 851623 937380 473323 166171 621713 480020 463691 204402 350325 417986 793553 402213 951003 478838 555712 721684 532109 424415 955446 752876 896102 040825 437465 979557 520761 174735 692836 107080 608315 606800 381660 885733 679288 397220 494422 924857 960311 645321 194112 189069 074547 129741 608124 667553 132255 825604 841713 496461 807708 755203 616939 401213 198485 450959 140951 516536 297000 188680 271523 265802 436947 001314 186647 098161 522947 321807 833411 730714 617103 858925 161750 091916 334078 280387 130384 289973 385011 187650 378780 343920 244666 774729 061745 184578 329874 430832 248242 369410 053106 846394 979282 994396 528161 788743 205981 100306 902494 949533 900771 918995 046461 697444 245294 049627 957464 433209 515751 019316 376534 810382 670586 001846 826137 398394 806742 970287 397363 111100 455216 631081 930306 441633 114030 618097 502933 948264 345884 438937 463283 770174 934001 830521 118119 280170 470563 208602 051784 203700 278533 091082 782554 680992 025191 872486 666192 089219 966836 555166 272316 564650 643559 341615 615625 152247 854197 820057 090727 872092 853349 735708 434820 687830 681941 276944 422115 487459 348084 169512 851307 263161 408217 114786 194338 012286 074073 451966 463040 989884 068608 547003 058351 823737 508787 839198 935003 725019 345621 013851 629627 286171 199184 898926 862378 480411 605276 425087 397623 426490 165025 677123 669570 751082 899957 689129 149251 270265 975833 873398 127145 714002 403570 803658 444280 147888 574739 684733 174427 550246 829398 028101 427070 261628 406674 060376 972181 999587 785454 228270 891388 884991 418521 310261 344797 444792 507280 838237 353714 696011 603699 929792 642270 443789 425307 293322 647239 719634 585459 783310 093294 306103 830084 562923 553534 811014 209426 413597 436386 899357 152279 866626 770759 174045 926953 920550 335926 079565 639699 400650 468103 069090 962236 478777 552962 612222 733623 447047 692085 268414 575510 237813 401781 845832 438614 559317 802646 606200 775700 211840 876215 540144 149588 857748 357438 525969 937866 460608 745577 194918 880479 878313 965081 542612 478151 120170 422839 774968 328730 630120 579428 624604 171668 242614 827245 170549 394205 532928 233735 976110 808870 906176 185542 074966 356077 416329 075856 040860 855876 836780 019421 193739 505053 778157 201317 685105 802159 812134 893610 924656 549547 352199 579979 449767 883438 661608 143041 912224 384530 979525 938016 639396 896057 860403 983455 680554 634518 085277 708287 093799 636161 717384 803889 037208 652288 424419 599452 678291 924617 859896 461314 000206 961739 488257 279575 653141 416952 866772 548985 660067 401589 669709 291886 643152 656365 899702 655381 996450 820408 631799 786120 492314 443995 819169 403956 635104 607860 078231 726880 538214 769475 071513 080817 024673 514075 584641 648241 707499 248633 011957 422485 688076 278052 847613 019102 914388 794026 721820 129171 252423 501648 003584 443319 727484 023616 906887 570068 493275 010388 286734 388377 539665 800553 722184 109172 075331 546721 882190 118770 263776 867716 247594 448787 923514 860248 939716 626669 916185 608788 155365 244499 668564 446963 689716 323096 728013 052590 195061 026161 031022 566948 776508 818254 806588 906833 597552 900667 746358 329190 710190 780230 798096 814069 687064 373678 090807 174687 100403 306999 968224 094860 946077 347142 599135 350779 353768 839379 645127 760443 070130 827042 019134 733989 738981 392728 902735 994748 129040 616316 774515 587635 731939 050295 724334 693630 992965 402576 923687 265634 897813 965333 680178 816909 301932 815838 886221 605905 666287 030818 348799 858686 401870 147284 302727 273970 078935 955667 648940 224160 833760 136273 212114 758875 997812 715064 406831 691529 931077 604780 424334 542865 317108 401387 147070 963652 208665 119214 721088 092820 787646 146085 414555 297124 820539 691805 272602 269100 635049 703831 118857 947686 189837 131955 133891 668420 503120 639522 226123 822369 787218 529498 967579 513152 122364 534381 098671 238090 749898 291198 931100 824630 347998 265057 354031 062552 614458 369455 587131 334090 674446 895214 241189 176243 < 2⁷²⁷⁰⁵