There is no linear OA(2¹²⁹, 85611, F₂, 18) (dual of [85611, 85482, 19]-code), because the Johnson bound shows that N ≤ 44267 247030 572450 411745 477487 193112 009679 835629 633945 611638 896272 141195 766786 761393 589518 271978 104549 615187 869158 415757 987894 252545 587420 395271 548523 167807 535613 013168 933438 542692 407496 552178 850386 736898 174775 710684 273507 918469 229743 785830 170050 097489 455001 657680 993383 442645 847513 489733 595011 258258 519704 907841 731821 419797 069897 258273 374502 876671 594567 360313 089474 717980 216388 161022 095747 297621 422992 622948 753520 171078 169536 813033 053687 028202 980973 031760 754962 842168 500985 359728 848580 501709 046391 182968 602752 325767 320408 519939 757094 393514 769380 679514 445117 789071 369933 054194 700958 136611 289690 725285 542833 902516 552311 285643 191433 049798 330868 019937 781608 433567 814661 706355 344761 546456 489798 542919 512975 881097 135147 689362 454056 273098 986693 431875 548491 230913 957300 465344 287211 318385 564131 150983 007103 012182 156236 078516 980785 660106 016595 775952 530631 875088 394209 353373 743003 823685 668188 124587 575184 812374 842746 479960 470986 344429 279137 806184 931333 678157 610076 978813 437147 543608 939580 293352 648846 462033 821210 151945 288289 154304 634766 588545 792323 970046 954798 742966 449146 533757 352279 163038 165955 535392 104305 737538 531268 395291 583922 978253 915371 022672 474271 478448 473642 139941 571502 161659 548495 902460 798924 990221 822891 697972 791162 874267 174065 954606 455636 043409 117330 736872 125974 088917 890471 203014 749690 638393 976394 863179 856509 658086 963526 337661 697479 129987 599385 747459 622557 195435 211340 577492 748920 121504 570606 128885 444777 064596 120498 411142 676088 732805 823491 461340 486991 127004 065809 143244 142732 203223 023904 999938 677970 110975 100569 136898 187855 022506 956383 280990 825995 412135 215446 410641 473885 804342 897789 586768 400442 882800 980538 814002 670363 005576 805238 029204 972601 484402 015424 094918 754724 784520 242214 595984 666255 421034 560656 181706 253229 863644 907994 933648 202283 701144 008308 670242 836864 339767 009388 670830 409018 033735 321271 698469 875119 173925 419377 264213 344145 849317 644427 438377 162651 966712 356296 773105 017657 186128 848796 271234 146742 140399 838474 809169 482440 840643 027111 396357 122523 159752 290608 131205 299507 309492 180240 664411 435847 191910 967326 021057 689676 134335 709327 318883 828706 023710 629011 513754 729663 056109 744674 111145 263417 713822 311764 225892 248820 530263 816884 645181 049851 745480 255045 579188 123839 513314 659612 002806 197112 285703 596154 267262 655337 489131 839361 009130 231401 553708 761981 403725 623855 098249 330860 396893 996138 228791 410894 445506 838226 537218 025407 282869 425955 667697 867411 280947 320063 480554 119455 452539 946582 500208 022027 908611 650315 091552 872206 930228 409972 359865 859964 895293 614924 669256 774674 681115 517504 254820 843800 190274 400762 089319 410588 825079 100290 319461 996348 550947 336609 165213 253092 642362 334070 809021 985325 054720 449792 612312 474723 640041 640968 895155 197898 007277 454517 029494 179154 064664 748459 226836 747392 099235 220519 983174 802877 795102 961236 918205 465483 873747 341977 857654 676748 170286 586605 361289 552138 051333 620105 860976 666196 326549 728435 064367 552197 547122 641896 479599 529890 793128 151499 196921 806550 733106 024062 843966 803363 633903 778858 866259 347198 394668 305946 488852 593733 480199 164893 402880 897025 877018 943413 013612 892656 642980 552943 714382 196621 221141 021212 666025 329479 068012 083045 176658 102669 294560 634923 154915 113027 170103 298163 723542 424351 254405 333619 621770 827861 315205 373422 515061 045889 904584 261133 232236 334800 215846 429619 172810 543121 405008 068508 506464 063901 757856 016426 453313 329198 638546 099082 369933 271501 725331 052225 280504 223018 303900 486990 536924 204831 921888 539634 248143 788628 351732 181854 098671 234057 045056 637002 752364 022773 685182 092891 098172 241189 202668 144004 371663 398506 428513 811095 114025 879567 506316 735293 984994 793457 676786 600971 754797 958147 148471 526989 942303 841892 525128 692038 732601 187076 927382 133807 408536 515687 512266 431429 451523 740739 952779 730724 113859 831191 438307 340497 742888 149026 799608 299868 135152 806354 139474 406046 973967 536773 081659 625718 857531 900400 472785 554293 669634 532082 664318 918435 497492 578178 473248 626226 383537 138878 928890 532527 694107 360367 921792 966914 456475 728833 325990 686980 983501 506559 126410 577546 321693 501614 564877 463223 921624 437820 732288 762748 205938 296103 577889 124134 518315 319117 229297 968238 083711 772599 797530 557187 040288 827961 966092 192321 285598 686018 036127 730346 240152 165173 311326 359185 200086 012489 743399 607526 569816 246164 245848 075077 590334 170636 247360 448173 037433 626999 790743 416057 129320 053993 272851 772661 503602 731842 386865 014535 948537 384515 691602 490313 938296 998361 168628 370368 160354 772971 794792 327957 837717 108061 171151 835107 042155 505914 914581 844395 104912 241239 499462 038550 056094 480537 229298 518329 960456 927390 377527 818964 187396 148756 366509 052855 062925 826730 204413 702801 954822 068020 640941 529564 354152 581739 123369 873087 945330 630678 039942 863481 968807 380461 826002 887157 242567 377319 917636 029137 818455 025761 133964 374519 315910 206746 835798 816251 175389 052188 398270 604181 601881 216052 391252 633446 162751 964184 287662 075182 352421 939741 345790 356471 932123 846908 963736 553883 374461 110595 117023 383551 058024 581347 087442 366424 118953 607765 175968 990976 373334 970009 288814 485379 008396 837885 510796 366371 425730 874192 499028 201495 822632 197079 407635 823651 679027 159872 406774 031365 911691 034215 096727 307399 156579 173436 002084 064163 318832 486440 972646 074573 003245 760204 343619 146834 940110 731082 866846 144864 603247 546744 322430 838697 801570 000134 612784 654815 549726 960905 202040 115502 826775 737120 118557 923369 243838 442796 428759 234037 926126 555558 253321 129597 231440 713787 299764 475816 644574 981427 065614 179429 903347 401338 258539 844142 563663 338353 827115 485736 875805 725296 460414 761442 034375 923644 325931 959428 262533 862636 904423 870329 812351 263452 135879 258525 392135 344360 518041 578067 179977 634114 930554 585655 535713 282554 254139 970028 313432 404598 465643 628482 451722 958032 300801 117608 323915 855091 413566 141803 528847 051927 991149 153923 847244 743497 953261 858809 227503 433043 152014 607299 780131 683200 579906 373080 503853 683962 966243 727962 925172 735082 618875 629090 787344 893783 070635 858390 697615 628363 938304 682975 373315 668970 795393 162156 448314 036486 622756 790834 981927 109364 097424 556643 793000 746568 888708 380466 255007 843385 636346 980480 214914 474679 477412 875302 085105 097714 416115 730226 887091 511521 304223 990684 072391 156413 449194 137978 514956 650507 551712 213884 466210 646698 366458 857464 103060 396620 558961 025676 551178 832364 967690 228779 669619 150003 073375 609352 357996 462918 391985 909115 712245 919292 844093 342007 173022 268463 935572 884644 961236 239115 357170 466346 522235 550394 402009 610019 556196 931940 004680 031257 306607 483498 588339 860500 715194 523239 164053 327488 418887 037148 393165 473526 606603 084161 481149 634310 900166 733803 712090 358076 358967 294692 566499 693650 527583 737334 197635 351645 741749 732327 992542 460878 049090 256790 790956 990981 141917 640395 467134 144020 929306 148733 877725 275265 148715 073293 921973 442580 428213 194201 022259 208439 562905 970571 164463 207165 017594 150612 764667 979936 647190 511717 749564 685456 400634 560151 558997 742362 018311 627076 285372 346123 486857 475354 717696 670185 747848 586288 722443 814535 220077 718430 876689 711360 571213 688476 814963 143673 417391 974916 673968 460756 488975 411683 312832 080335 894666 432210 666941 409340 212369 876248 056978 616717 062646 552339 066162 900566 717447 400423 600695 449094 566910 078155 684765 669924 052957 195574 640441 809003 723007 291877 978172 323838 326846 024268 616501 254810 503103 379492 521054 328578 038918 461468 477535 848509 897803 776961 134737 738282 008703 241001 902838 428298 876153 524136 691774 632746 150885 221317 165080 281062 363339 672715 944834 090771 605915 815857 903678 251777 638906 210514 009805 113440 144772 313255 360965 494383 983598 526542 888328 817786 589972 306516 278581 659512 986761 254080 761858 626886 587961 172958 469579 312935 995585 374330 351004 853321 593278 388165 519954 621249 662599 806818 221993 481352 144286 750188 575708 606192 306928 259042 437138 713915 440287 380913 696204 479666 219411 148334 630978 814233 414432 002567 925852 065953 847371 414384 615179 756403 409517 563122 405393 844193 406725 802972 386350 160000 950289 927293 923415 199897 052216 556203 284164 480095 399049 324370 056981 799059 280942 213316 887451 139822 608916 915633 430095 173748 499754 704683 692337 213274 190842 124149 558781 541085 418887 233514 591171 373999 705210 629993 254585 177341 088857 730965 982554 277857 224267 170441 375611 259456 734148 422070 671308 515665 534491 095718 697526 608818 629153 970014 751386 522665 289856 862013 542410 649532 867585 016080 290367 400756 868359 562232 367749 446555 258360 328532 964429 052843 337067 838387 029530 088624 147936 971941 665227 527746 480256 120031 041548 796546 799421 399131 099516 482767 800017 194459 400243 338539 464389 406688 842482 510799 202552 123359 891390 340285 587625 944464 675574 717442 391920 082832 998366 438196 959885 726342 496975 032314 622262 328926 580112 143698 132426 748445 166991 616729 095080 494173 256530 032763 520037 891593 866465 916837 971354 115086 215145 681699 492401 558314 505324 785658 210934 191660 447986 844992 396772 055485 516118 915748 449523 656113 177348 468309 352823 670769 018083 926727 791888 717299 651937 120860 885058 428758 104551 023682 346877 240186 120743 063753 638622 793054 603760 588433 884595 034788 290209 372489 090925 835909 590200 136985 087516 488244 462766 071726 568705 006407 871826 887274 645590 374702 345212 356860 547598 328546 618269 303945 101606 879180 572865 212677 153676 889768 052311 256820 861673 719244 866687 597947 951192 605959 088697 282864 608917 878049 849327 003347 012076 027415 843955 514896 412394 249499 754287 251044 663568 487165 021544 596100 306602 920992 789424 756358 114585 094129 384192 543600 437936 410078 172763 552042 786154 878312 097519 648580 007359 032190 965542 158683 717780 317993 270585 511992 778452 878323 790363 611708 045399 135402 976670 699380 073115 421927 565031 730322 773924 382436 716469 013945 323207 274756 473914 351072 301225 922322 774811 801982 002417 375726 091312 370623 296953 450780 601055 487274 207356 302225 064769 160450 330129 844726 352603 561926 768656 803997 823981 825817 651882 050449 987860 933437 118079 444190 135402 140392 093151 183914 168264 931092 599124 607218 553931 523887 039007 325281 547819 819124 371781 762432 814861 236328 814365 490822 433259 238107 407953 071878 289694 317815 388605 867726 403256 714387 799581 843579 054859 785803 477016 100688 653964 050946 150071 937896 284207 072324 441226 475926 623429 324500 380637 607407 146284 711371 206096 480485 259285 395331 132854 731643 648623 557746 332398 770608 225426 955709 504154 458539 472082 056762 956818 968160 552120 206150 422074 748416 353099 911578 613249 891953 424157 678080 430449 207497 282176 150644 052214 600663 111451 837857 118821 406414 688766 933389 924707 905147 336060 720531 737007 773401 500666 983838 439770 252409 060946 831062 400973 345000 596411 510923 686025 507246 599926 045274 181232 112594 546284 649634 423987 204973 171458 005186 934385 768034 324844 035006 805276 492011 536894 700727 764037 585973 153856 702149 355546 862064 149805 459675 001345 922920 989093 543726 564831 795493 217766 187236 191912 574532 692029 915873 911886 143827 095799 294175 746511 996165 642729 278077 194548 281768 739723 927386 629105 242379 316472 814548 283535 182449 922506 595787 463898 705782 506972 302331 627372 183676 148213 466551 106202 835208 661315 513227 042181 423204 715623 000553 150053 435179 526856 799278 523636 390363 583756 043754 060240 312246 837510 609040 035990 650540 404299 259143 248840 119071 639617 415885 522559 074971 255914 189660 673497 164171 946428 750793 632243 320518 658167 361252 232413 750577 906215 182267 845365 172135 168679 508466 426216 080551 419174 907705 685420 563923 399840 315392 464079 989124 131943 390119 049539 646334 602225 439972 672816 285110 052479 292915 977329 554280 181736 137651 400691 064647 362885 709633 691894 021150 290619 165382 512668 465417 410171 223496 541427 485486 245683 748375 345513 443571 821068 906448 646545 615007 880895 895026 363279 081088 081145 138141 459865 317228 646077 775258 444985 452757 257486 315710 589711 733979 546290 477366 604738 623167 529771 181982 244219 469121 946212 570191 891482 272127 552236 614211 500899 054792 413920 434943 130867 561196 225692 813079 644797 209265 126077 188484 124257 528485 446114 499490 461181 506677 592813 680975 477656 551656 317547 119246 949945 631243 574664 813494 994278 045611 613657 381151 749086 941029 211923 407662 711255 668173 621488 313712 796616 641679 812000 652489 378510 212404 198229 337034 932665 199275 859382 749335 970189 137200 644069 820888 113404 997888 898882 692702 125138 848915 494811 754246 510612 405856 633140 296001 665984 133534 390155 870319 130433 293725 046034 629275 718721 029666 063170 494797 432935 036715 374443 829675 162920 487409 534355 492135 886377 937422 690709 843755 747633 127084 486085 720877 511384 870751 106898 007552 290846 778958 440751 800316 629817 606620 573400 502808 815603 836020 859514 715591 419776 776915 953535 232599 233989 933794 275226 343196 040390 265389 372266 958110 799960 707309 677676 405872 242438 624110 410991 956553 608999 490358 397860 883916 841709 017103 856787 465655 351287 541724 530282 165123 735534 992281 611488 031132 177696 562941 552005 318184 352219 066984 150865 035640 609905 895221 954208 131875 736126 162487 017285 476450 545997 118350 245177 567861 233980 464907 442274 713809 028107 615065 897589 038270 618432 194053 306307 930437 827945 129004 263248 331864 016681 412570 447078 271415 368797 114311 547708 291102 421336 429563 341244 084163 478162 599221 795203 493335 017106 551705 532643 097874 099725 496461 569266 267639 305117 493452 584573 276436 119635 132429 742212 214177 132030 879175 067498 324305 384617 578791 194573 186717 741667 601521 494784 841615 161397 652432 796689 829530 365137 253508 393490 688568 798160 578824 701416 912631 902423 058442 865657 413746 670800 182394 494908 704720 144720 810741 812255 925956 490654 182062 394968 491387 225988 565094 507404 407070 550207 492001 614132 248918 303695 063536 915034 865180 584580 626678 455767 077732 248231 128222 576420 926864 592534 485653 283065 632145 573980 550415 404492 174734 572276 774637 433101 461209 311190 831823 219940 451817 094143 247871 465750 785756 693188 214671 041741 121024 632124 030268 375354 152150 841340 970695 514689 555107 190885 509215 632855 146449 446027 904320 882371 734638 759285 425242 758677 709674 877208 265370 659308 696815 600267 199991 646189 118852 639817 214990 798194 055530 610661 048423 160880 419518 179778 840880 649142 580543 285294 666157 878580 091153 058664 940359 084652 598669 219029 665941 448635 005404 322651 906712 227550 134038 885565 739103 829659 914304 525965 119383 241471 603536 895438 335749 835987 448004 816685 351450 700690 652775 749870 785365 434573 738783 516689 463709 488380 331272 852002 659321 134654 850983 109633 844428 237730 303783 317091 948068 435305 813466 982671 511626 055620 130658 332752 614777 387772 190121 751208 370028 222329 518445 537898 556852 623888 639457 718839 534234 051215 432549 389345 669540 544365 386923 532647 934811 191487 621864 715488 967869 815366 379948 639562 450095 490143 156320 788989 316219 482679 769934 419010 198949 215239 835837 707589 003836 549149 557187 961969 715998 349230 638705 043509 524228 596722 047585 593320 428320 594880 968467 242238 076479 116258 593057 431463 396310 442962 315089 124476 100975 528218 713120 402033 484161 619441 640741 713109 886903 591924 960283 720026 257629 753425 426785 371467 917359 243273 959377 208538 712342 864957 665095 895334 883485 463775 872665 368051 922671 108617 436739 870375 021392 851845 687926 970605 513795 916366 498379 687241 714812 971293 137598 822403 900974 551383 064258 374876 413945 496749 126820 168549 410216 435130 753773 119989 309727 801298 093774 100652 112894 227248 854138 372256 827023 406381 866960 798700 338680 158304 249634 173914 103977 905138 569422 508930 153786 405605 796782 961599 372356 783801 129620 060494 788068 910710 491792 382231 590469 076272 336861 240320 175107 327898 241275 881593 116930 116782 170725 368843 658900 709320 303047 196821 525935 255180 003879 360297 842706 593815 949536 910588 629858 551350 922494 260644 774707 724700 320147 466306 962114 089496 449025 361723 764820 766294 417579 096369 558756 551591 117461 666674 494566 679684 696376 762306 318740 211367 269773 982347 485211 991678 675200 929787 308619 068763 390988 913396 689147 126475 983016 106821 819477 951508 699153 146875 026411 982175 635068 407173 677626 942878 485759 492036 860227 298736 796920 938538 928267 261223 636720 406738 750799 402733 700257 935838 710682 884660 093267 440797 630612 778461 288085 329526 145851 411542 896699 447821 097566 346215 307054 801235 802752 688369 930917 250523 204132 898592 813095 533775 038969 783012 238103 977607 321611 535886 213450 403389 213604 636224 000142 856091 668201 095318 635322 036842 401034 786721 055628 474735 336697 731947 116415 109047 513503 061464 772482 397952 504537 537976 832950 514970 442272 395598 434169 531240 121939 029030 283448 389504 921441 427920 583491 041866 260849 751439 168228 673947 922194 884569 747466 056054 457344 670374 666367 601919 287499 858929 759684 883822 754187 144764 204224 690430 162941 959567 159685 045611 948889 291706 716695 101152 495472 174588 945083 872516 526714 762404 814279 037056 081762 439784 318562 910548 332370 207226 761410 406895 879786 408313 005458 761918 928263 044215 705641 006360 824972 313714 377581 205751 968497 352246 620010 635450 395348 357113 330805 865829 898081 263136 872326 276882 787645 484649 137939 780272 226079 261048 768908 570076 133354 033258 605327 172271 682111 274382 390715 337264 703361 386493 383319 589276 821631 617781 448134 019739 673677 230586 605538 672947 559605 558421 424248 850441 349101 298528 903129 874872 110219 121074 476406 132947 934933 052114 784917 810751 257722 518421 963472 288328 178939 890176 623659 348245 843309 895838 802188 638574 086342 534533 580149 740243 356818 096598 028815 747071 830260 327720 609591 992354 060733 234152 519762 425310 203650 124120 929760 833438 912892 772172 559204 171861 434534 225356 080262 007503 728716 502854 816246 055981 096972 545771 395955 673950 256726 609721 716008 909363 348797 984727 422354 355809 742971 849636 135045 760033 270449 648165 739505 439450 120875 708764 493812 610353 055912 249384 060340 644925 550129 733895 899962 615960 870551 231675 293739 370436 832507 028742 288124 862158 782361 116357 497704 480282 590253 956665 029048 194679 057305 558893 803883 585248 724730 074666 807833 638524 559087 045092 280661 210468 357753 582961 282414 463026 838954 279640 362651 112342 300380 333369 863110 490771 607214 367589 647019 288425 252132 753283 157187 978070 681164 466051 435365 292235 752214 123101 155976 020970 315883 838582 382499 210822 370616 452621 550583 314343 489023 476838 579972 875436 598077 438779 080958 969663 083926 698223 405652 873957 831106 260750 007482 466049 247409 915558 752341 641107 271785 280325 108788 720362 761998 436508 704218 474135 826575 882835 530992 872864 976123 538496 034366 150150 087040 757874 864427 346654 616839 273433 247903 103120 284093 697417 340367 607420 954187 079017 378326 387227 040438 697046 325735 511672 547383 644069 373353 840997 449775 558777 072047 527684 437450 653331 934831 580003 625506 332691 957164 874247 957181 608209 563589 215605 557291 456529 517323 615198 342930 390934 237690 459682 522671 696047 101955 754618 956765 442442 402658 749765 644606 335863 823991 418903 949051 260966 399406 936053 218872 692038 844062 168633 861926 258721 169647 072344 873697 628673 327322 047530 459237 423010 369621 145731 392341 462237 303866 706313 310588 452377 315346 104756 625697 120970 822785 012430 214317 231646 372002 345147 022552 009211 567669 880203 141635 323161 048984 867253 998446 600926 931484 626545 453176 281951 532715 517922 096150 892417 870089 383983 678109 570051 016991 825155 038965 074006 777440 268982 571736 804638 306138 628840 622384 241681 522244 573393 865481 820954 900100 706663 705609 072324 778863 861047 979786 047435 453796 105193 846856 011789 190152 492231 534602 534847 786263 172480 595164 500086 735208 881528 615425 107099 515352 726684 871418 654005 699247 674556 815153 731135 584809 798196 649871 099962 986233 172391 710811 453952 650571 189758 864851 906055 836687 989847 238043 194554 600915 244380 747637 563338 338481 577919 223289 567978 027250 000471 569225 656118 041244 954690 837845 723732 283474 672600 208132 903993 772784 320048 929801 489009 790819 334909 174923 562442 727583 909672 011783 321100 196829 860590 604979 197477 373568 891184 357545 577319 592421 571911 584551 120872 217349 980771 899760 145957 982189 073426 555743 481044 779091 590537 692252 799510 582547 625836 704439 359741 801691 609711 978566 058585 124410 553490 736863 648893 454336 563380 509942 082379 104232 810924 838033 923761 292128 167243 710254 200770 224888 794590 770931 902334 892718 367191 928759 418714 637155 045889 755660 616683 922292 100476 040418 063663 861674 615306 202315 790145 047212 144102 767057 063737 943611 029617 374131 503087 594979 908521 056796 681116 558767 791686 438023 442996 335047 675901 103573 637428 404312 963489 397190 671926 584788 774421 707170 883703 489140 787022 610533 187805 719211 128850 718754 088607 723965 554260 464895 925925 737708 588346 310286 376640 128156 070963 042419 479649 307999 680270 084268 787453 551903 551551 803989 026131 042314 187613 970394 959756 836364 405604 884648 065856 432878 874718 533711 763381 067510 941279 399965 183116 661532 503113 303539 267013 007120 370779 423980 108902 356933 521861 363264 349276 861993 514554 373950 548244 037766 265828 194358 403736 544531 661748 447558 198851 457853 681124 706857 388213 955708 747346 980584 900306 955040 846613 664541 134561 691770 047287 086353 586004 074726 716550 756282 511967 232469 393449 088097 103420 403128 856912 598964 794287 937077 918072 587126 407052 671652 818051 193286 080657 560548 707496 708728 546511 832171 869978 069034 792184 321807 739218 255922 159595 173523 222490 287612 396928 433150 025967 602033 873219 321887 885891 480724 085706 831861 836624 364764 938466 093806 408427 459290 956719 373537 397756 609164 795145 086722 826191 269677 611597 511248 006331 978202 880354 251071 740298 836350 908420 653436 330158 705301 192779 968285 593328 343642 872396 025315 723465 967278 007490 192599 777953 805428 281903 985776 944943 613112 839792 847103 270247 546269 471281 342351 663651 538713 563893 384461 868292 874356 585598 341711 081397 764469 032460 027296 021060 781869 039280 605997 751426 571718 716599 036979 946359 147857 840163 092191 458532 490505 837471 784224 694815 457799 345907 210659 898187 252757 944614 034108 150119 833034 030970 304809 605766 344552 460289 371304 569304 706586 391265 716780 544473 292338 756141 110256 554984 015242 657831 595402 321284 352694 015245 267039 097782 099191 923496 328497 642328 796744 638667 548357 811160 466165 286285 571915 802146 466220 437407 309383 101830 162443 381240 137578 341350 997612 906876 712907 953566 644244 392857 066674 876028 224591 430353 167729 811895 033436 017349 782151 384568 333206 889869 344286 391412 136530 677346 944149 013314 223360 148771 673113 901895 184436 945088 156964 420340 142659 857289 708573 738144 460096 481810 278139 800177 091340 313464 003495 110321 475402 864165 068281 500627 342677 076626 495680 196857 058011 275783 613234 732882 136374 833216 898344 383933 747588 824347 812200 232111 519599 340301 106897 311336 842796 962494 652845 870694 207679 904026 528549 214228 750292 440780 515917 201866 845025 344652 268275 733220 365674 691933 107438 371981 437340 655329 106715 288286 993850 647256 501390 681411 244614 137932 022025 830823 759247 506447 004080 628220 953517 251444 660912 667205 231275 500775 959306 810702 405237 401662 875645 267554 860933 735123 551336 216335 951432 822197 533989 276447 188377 549529 385480 424112 847306 888146 520067 172235 973246 444779 970700 398325 103322 450121 799124 303132 296809 923665 387294 342883 633458 827273 606623 189918 545646 898485 943119 365959 100191 367496 669051 986753 915083 072388 417307 137270 807771 920389 578122 618995 407159 374061 464651 087916 168121 561203 116393 512342 079526 890866 567166 782992 244934 186121 544408 136027 158187 826354 337508 197714 853309 025329 429490 483943 143430 249972 469297 680003 784280 156455 456618 241899 845096 502022 098556 265625 500244 668314 672204 801835 570751 484731 357447 043956 801993 333702 353089 630430 193017 428982 016019 205977 452093 238066 143559 723294 347220 399550 611898 630260 326379 893523 740900 939648 901679 935684 301639 042946 684543 028338 497582 293842 097770 779836 547963 716385 543439 463555 225787 855792 402699 234132 374438 243550 480815 558248 630406 314461 820912 896268 336323 010358 532233 498976 126668 421962 628383 549030 433989 980949 179840 998855 358157 705947 182343 218040 539188 632291 158096 628532 969865 029307 360981 406811 798587 913587 363756 279756 617051 101988 832171 010399 302908 958548 331908 085412 332801 336756 665152 214439 955332 493530 161567 499491 448313 456055 207062 535958 428260 692200 438058 432412 196231 446660 607428 139863 733121 734794 242039 284292 637280 357451 611223 468262 977807 788554 352086 564388 878894 412821 326092 067133 284760 821423 612310 308324 063299 546125 538457 567172 059943 449703 717000 480291 627584 235859 044561 359644 073469 188390 075229 533105 291911 838645 580105 159066 223984 972344 210113 284348 760491 544877 570124 018949 153534 084618 597173 441067 635665 577612 186045 995981 154344 836550 563453 722210 555194 095509 337608 372228 580117 217064 658873 699230 567261 068783 874696 468543 566825 021275 639849 834608 345405 443126 284864 841321 855874 776432 639414 575144 581550 917392 294867 589004 098299 192171 587997 952561 914260 085362 667304 192550 072863 512029 293712 147373 349566 209857 574452 864446 330534 564356 931102 975713 939958 360625 141841 720534 504824 624536 890698 771123 862506 887595 692411 423426 209267 891520 058450 745414 140843 582659 846089 568342 792251 129705 771913 092023 135350 594292 294841 575311 745348 445305 234958 090494 860435 298655 768595 128382 612712 926284 151751 593255 858924 606164 131484 083483 906051 323462 179581 687712 541717 434757 861750 676808 207409 983747 538315 522517 610111 485731 868571 798262 806766 286947 645752 741846 269063 388177 316231 353414 112169 285552 289859 516381 979591 905944 213459 988255 019807 286148 741528 581922 709308 213636 059903 734807 748380 266382 155606 304886 602102 900943 574052 810924 544197 236789 708195 133596 464258 008203 832902 817548 760299 317673 092478 679589 179537 927077 508048 596447 103785 397635 697592 427909 085297 566793 000747 911041 330221 167223 301118 394289 908773 842413 938173 101349 005317 088458 777277 364336 772052 519011 880484 289738 087743 835842 004450 225010 282854 673304 113501 891573 947214 521556 875628 000426 634151 202823 711943 239314 848093 473903 405001 819347 703191 216924 666168 765187 094315 234144 753363 316184 269453 320563 162980 180252 328449 360677 449697 439110 366339 257652 630088 287732 292091 526246 866008 240599 811166 423365 265903 491557 629009 291013 788401 575856 339836 583906 683357 367582 869532 462678 338864 947789 884375 508673 534531 889305 020215 297428 126730 168051 320185 810851 981303 219174 530515 078677 472189 014772 860340 173024 606362 471646 602338 865300 292811 722029 213029 376748 894664 986329 989962 443912 604082 590321 791907 458990 189431 170503 928865 094520 077064 289992 858077 554354 192551 698548 872467 023178 342967 158877 787863 624026 610866 867840 803174 365708 438883 659016 999819 380606 513433 310940 901195 576101 722623 522444 715546 052572 217507 719632 359371 473758 697511 498418 939022 393023 477427 922171 088583 689129 757935 189190 252748 279543 462907 385803 607674 967148 959049 251025 477135 583577 673534 026229 538307 600472 681531 947812 641560 550963 933339 452697 441324 490255 481403 171209 060286 367595 552176 885009 429809 586965 297897 333809 753791 082258 399267 038156 841041 771360 082476 446069 061317 424313 880100 381291 549048 182032 245414 237625 915217 975732 251042 388063 404173 793317 519629 990623 329481 658071 531789 067051 960452 406416 352232 795764 230232 108077 625434 507070 818332 107816 340046 664741 458678 168249 123938 656763 682317 313312 873199 955986 373916 325933 826046 127578 683850 822690 720498 632507 061927 783016 907317 962487 604163 771799 225878 090431 957746 215077 972995 845015 939903 255047 527497 664509 607243 770540 250738 428603 355513 185152 296197 108978 622985 672060 354446 826029 146985 355076 480178 866289 922529 901517 009837 587052 968517 378826 267692 709924 661953 909244 227591 607713 091521 674425 634805 057260 416330 535247 859144 139421 458938 436823 409248 753546 373959 643783 993166 095733 896233 393268 339369 391953 191932 348720 181594 571598 599237 522208 441360 311646 029547 002838 875862 384272 403368 879463 516124 124034 107669 217042 198250 891501 739029 286261 366575 < 2⁸⁵⁴⁸²