There is no linear OA(2¹⁰³, 90859, F₂, 14) (dual of [90859, 90756, 15]-code), because the Johnson bound shows that N ≤ 189 792348 259254 114379 643705 044764 240025 055935 120500 704083 953432 065818 069553 049712 116007 865260 751912 485571 637826 285124 002358 662878 135683 214440 292613 557424 657162 054156 810959 948671 039947 273365 209085 107404 514115 927341 606849 527073 080799 305596 399689 730833 957861 070726 056374 354434 440084 685856 407073 689638 760547 043773 993793 424002 597058 538352 566419 086873 923507 628551 127356 955371 071301 074241 676675 087797 246061 562985 934377 381490 933615 729728 369977 598710 330740 560481 995517 934588 537762 717793 219350 262989 341755 818507 562942 118218 154809 208071 313101 653241 322479 942506 617302 948193 302296 033613 423259 621932 577520 998956 965094 231759 735105 454291 115304 809111 864217 723554 542281 280997 135560 243565 491380 006533 071897 490538 222820 833126 893287 548347 856201 013689 818547 604501 160854 553460 328607 256053 481889 309724 298454 025569 911405 058318 694726 542556 515259 333205 643445 681434 177416 197887 171207 069172 682672 631870 517492 438524 542123 253031 311581 949526 534487 460622 089204 626270 311916 521990 885256 235338 167738 407208 814382 065873 549529 849053 878351 270006 394805 395741 061962 657268 674146 751691 881797 792770 370458 966059 008861 500165 186664 939837 169431 526141 246489 309566 764476 722084 030912 882622 531898 528415 960668 160706 456050 009889 082136 125233 121726 124446 771939 986558 822323 959986 292146 123701 091209 044772 138171 901077 142906 750615 087192 705232 599898 011429 437572 511072 929331 789001 324274 782688 298838 415898 056392 961909 294833 283657 526803 253078 395579 493358 133730 006160 993996 626235 781878 664524 998053 784126 364796 082021 383343 513533 595137 165086 256079 543542 485588 443886 560736 234009 637042 303317 761122 718361 286767 750275 099068 704294 768483 962518 813200 495378 472526 985475 933535 159249 698822 544512 944568 263401 535725 218092 638671 282001 529764 845797 463703 436756 601511 471769 851809 379990 755890 792106 972041 745828 360338 115163 252384 068671 754400 013001 686846 880434 674366 180510 894849 571405 466083 913032 096531 986140 185833 229632 264766 225135 377430 195399 334463 126805 539343 569846 187633 260553 401487 524986 472360 621521 292102 110250 730196 543135 376909 411713 154313 959380 497396 794770 901702 518463 302469 954695 543504 725123 916986 566118 350428 926133 825894 939388 825061 276181 383192 897832 859555 079585 484019 955258 086486 981608 433147 034012 718910 590698 251226 028909 428200 227213 978708 028688 356386 979390 013093 355958 857273 112652 950270 524945 335927 345008 870377 419912 474837 948051 117838 859041 281856 179980 366815 453989 533363 881478 301809 892322 071181 799110 113669 229113 159279 041641 142857 952855 061738 565122 617717 074221 192961 972863 032412 914236 568811 314969 423275 884612 298547 348901 941391 445719 927538 982319 647556 976342 465006 814960 602497 297227 325472 356723 740368 895756 372640 164378 264657 555106 266612 287794 797983 864355 913247 728793 144708 892745 503865 948352 002338 525998 394328 414591 469433 939931 776510 514071 411101 096322 792939 535102 054474 749605 757058 895321 901792 766743 551822 206337 296266 749254 837643 031162 747872 293695 029846 153546 012228 732944 250788 705088 609285 498827 700979 868277 551402 588456 661359 181264 544904 844706 120413 807934 284962 423942 744854 475487 610372 764794 330971 040163 536875 451134 919448 720670 910871 254330 247989 548802 370261 119735 534213 547739 332162 116405 416324 644425 749499 760731 159137 369441 708671 003068 431938 996549 138375 325759 113111 298439 809731 494802 270773 262274 806115 778933 174923 708060 224495 978868 466158 755660 584370 987996 159471 828832 163398 463808 166792 514512 585168 689041 550489 126836 344940 960237 139345 944730 417624 435744 612094 168622 592257 461234 258491 348091 649096 026290 018091 841487 925494 539649 995999 054529 317715 221776 822534 019695 727927 741598 805443 362858 899366 738259 463695 512989 930036 487501 999787 722712 539297 684950 616285 745567 116053 385264 551339 775375 324578 601966 771950 489760 418247 057670 947438 304274 052375 131039 936820 918543 043342 590509 508681 877805 310882 892398 329015 790645 818579 479445 168542 925603 870248 702616 272148 420525 399718 417700 256605 265603 285681 077218 508186 389386 405316 736416 921161 783612 663975 659091 201631 516262 011781 192793 281184 312909 211773 536177 653977 735229 710187 933677 696823 656389 311054 578938 226712 583430 874838 335580 777697 439867 562612 928956 116646 304254 720321 227807 116045 127437 521558 907775 321743 961414 943493 153842 142776 170321 778317 464706 782822 755369 279563 306847 847719 605626 775816 299222 336037 001234 242611 858900 701988 403652 380993 294364 762569 881024 198065 042684 080661 220964 497707 777047 185295 407054 859960 141857 727249 180429 457743 941432 050958 281209 324292 802643 559543 986019 545267 909951 907964 643961 043781 561569 467367 737263 637022 900723 247290 593786 247916 646821 733095 474890 873107 444246 081301 884295 368642 744742 707226 570716 950810 937737 335253 470394 168851 834961 458530 592261 492751 499247 570576 886136 441735 998307 291136 254359 031849 519251 863557 119714 127586 302112 792065 121428 453167 078207 007521 956601 201533 973651 863955 335401 957272 171641 058969 079973 821875 371408 744457 377222 545206 464210 216313 040005 339585 474967 985475 558084 802499 830810 828805 027812 079765 843303 522709 609281 509182 641469 442167 715900 052494 025911 601966 744280 128939 887604 425202 513983 310565 103838 392308 505610 424603 998375 411154 446295 361952 227723 021257 198557 521398 415292 942900 225673 057583 393938 488705 114879 788163 126625 626323 986887 821802 311598 962171 728767 039678 802640 941174 053875 441437 392318 977304 958988 203002 699940 583692 986016 531595 766580 310322 946939 954253 468572 662916 873788 144058 876268 739747 849565 342022 820087 788995 464372 370653 824850 237236 524840 876014 698396 839173 599008 041298 218759 891418 365937 634348 448040 885975 527922 331545 271084 403870 962954 030926 749968 667892 750220 677209 753148 414065 238896 320661 538453 644214 524887 305734 793836 967992 358857 406806 703928 534400 123393 167525 910875 407851 115571 257648 191420 427399 314141 337179 277992 379100 298927 972416 862967 648971 193255 538336 611196 144240 042343 923234 806301 924234 587991 139979 629091 112201 565737 232946 654516 478832 309003 954822 432470 680353 826337 245669 357513 761768 601604 870857 057117 842556 483523 500986 141203 446545 647750 149945 378886 339191 398965 425186 946861 637437 166797 496826 494979 150381 359078 940045 127574 909556 218693 197316 811039 176678 124839 569466 673467 953665 816481 027301 217188 960498 531869 368798 105588 881194 134862 188876 519464 236858 780562 288709 428110 511632 541647 808938 868361 407643 587359 997109 145685 178891 936509 585821 122014 161753 879349 351917 995626 055301 937401 485174 456685 126430 433245 477952 068532 333277 405922 729845 116826 081248 628257 357937 889457 200209 284803 485293 060536 639764 445482 937722 791177 730397 319491 075949 694168 599735 208633 152335 361380 207753 673240 831276 173213 001356 102891 880286 077897 045022 534059 969710 140805 754614 434098 945054 852345 304451 942851 748888 641221 858804 991020 143259 560242 157624 338572 592439 762148 769292 969725 658813 881693 007461 304543 774106 869888 230071 246128 510138 375448 814945 332726 201940 975241 819183 695103 270716 957839 372279 360399 695984 665043 057934 885087 047923 884269 469298 710628 761613 343280 404007 974855 253181 648347 497387 589035 205920 116877 969095 683410 730897 421903 662831 940833 162047 865844 253541 198353 564288 514118 534040 547043 804334 456446 117448 028778 696249 468184 791071 476297 853286 305300 206082 289638 270018 543537 198551 998489 420487 934753 966022 232294 907831 932595 325476 823191 323637 955528 870960 806517 585497 296130 199370 653655 897512 425861 258461 128760 274509 800813 821031 412815 996312 860001 235822 192609 474096 260379 729743 195464 470380 379846 308750 940532 803829 448885 864120 426263 307630 115470 386197 646876 177183 845192 667651 533148 075274 496736 621023 943002 578980 932270 299193 941183 732869 235145 800509 471199 614705 104833 827579 295162 585731 588012 384222 155813 430410 600113 140806 049123 927527 317988 237597 024844 758209 882715 125903 310882 601939 874089 290390 468655 044771 244754 059847 349452 389863 127172 020484 308594 478357 283289 082131 161546 081230 699025 262986 228936 804895 607472 445164 032497 864061 984708 803734 623400 171521 076521 108258 976075 644308 721053 400772 139794 292320 877186 739141 874517 007738 700576 513708 944433 202626 693312 295233 565173 835376 792912 388895 662501 553913 564624 373492 242221 920168 748484 889297 721879 111729 677000 120030 189923 123945 161331 459543 017919 362238 250266 094689 123436 676713 985304 352270 794993 993043 317631 250777 275335 859056 378685 040435 455492 995299 406231 249658 519344 028040 716036 680389 019373 406900 306461 733393 444880 413009 070368 804159 955284 354341 804294 717142 660496 527800 642310 549084 686834 677236 361603 763112 522187 117491 423480 377928 299690 363175 744175 145848 100168 095112 163260 622802 660262 898160 104715 965779 256378 812530 405198 739291 718778 727455 167499 513120 916759 433555 419554 395534 525482 886523 713389 792046 389093 652766 141893 086512 628653 273164 459349 375176 795952 103069 998586 323400 534443 162480 732841 084111 245770 178933 499333 862670 261128 643428 510361 725864 754871 803974 124966 307135 240811 329244 930416 155423 256338 564894 425089 323293 699749 458773 644105 681790 555664 310015 936283 193388 825431 654949 916463 729723 049597 029897 691743 935555 151786 106199 699452 548504 751014 417592 146979 141100 762279 779751 495667 614104 930738 849651 015375 043622 845110 393298 713731 785681 164706 498098 398406 962416 656115 432745 787609 778333 619620 155373 828269 519652 697553 040400 291705 754643 178618 376678 872671 578344 389617 929492 976536 915079 988501 576608 502268 293918 324552 487648 308928 168507 514544 243306 017910 400690 973406 691077 350096 691378 330720 731120 934537 831172 818118 202447 246106 797401 087229 934862 734567 025830 207757 343431 762186 018048 463713 257858 993452 773293 361998 000840 589717 911013 912894 023890 679242 854445 489936 431112 815852 301588 799605 383809 487949 401150 618338 852060 197540 812552 346427 856034 017720 564965 110341 080091 278907 476044 846492 646394 913537 124686 051247 474119 220791 743999 919853 749527 829595 023306 707712 814746 057265 438015 987270 592261 568710 675505 450337 529501 859712 466083 085400 506440 100642 423460 008590 763145 881088 749886 569198 047357 173010 511124 923723 528512 168526 255061 880924 872183 631325 417154 659435 634508 479766 556358 250708 957085 184269 849426 193432 249985 888439 690476 893808 466252 528095 376594 491418 755269 861171 805630 990958 500461 582544 379443 680894 003342 072618 956482 741621 711375 719137 841549 101362 673567 076920 071946 098565 946440 936435 218558 284755 357471 235518 064741 653106 182327 991547 860415 846806 340629 492871 082729 287770 015312 622128 575801 277896 102508 967747 113662 840231 536649 509825 792806 483362 980025 805946 679555 998227 770664 071187 088795 143966 653557 840833 773760 203091 815873 564247 015545 527241 335029 258708 666495 492269 297476 827301 856603 024231 182054 846268 425200 560968 581445 446120 031611 925214 979948 784541 787865 242440 034793 817011 404568 595531 848994 481018 248111 475057 316007 731327 563660 932476 977188 846481 243905 015506 443449 145838 737157 219126 376441 975504 637355 279751 106188 758216 927773 770059 420609 103499 243397 389205 167981 186865 161048 640583 319639 044579 248435 640305 434422 549291 386319 498040 449372 163458 508008 325904 198421 590659 906641 634658 366971 849476 155200 121089 709151 685265 298195 579530 552859 742347 900732 018503 266645 079193 068770 030507 130988 432545 214662 907101 327680 354506 807154 854465 106372 605671 612128 762710 206690 567663 197386 599098 997602 621801 369325 571304 514538 695813 291209 012318 329751 694309 583986 214266 994970 408633 584828 185682 549189 542156 609582 712864 811588 313595 202281 457890 827579 559931 750828 664131 382832 649203 992819 886819 488080 635442 469864 480694 412169 922793 171122 785722 740577 618620 966931 671305 879710 339110 153688 575083 633286 282275 525124 542184 566528 562405 729149 141878 268514 526261 193921 028534 618457 115760 397559 091170 490116 233501 498352 832545 009170 706144 735838 831682 363205 500459 911847 752810 607054 320544 393457 564745 244285 895449 692977 725523 031939 544913 602447 140798 842207 843388 007184 194118 485653 975665 260948 243507 892076 343227 277805 587443 322634 142719 819582 585604 846087 437379 439036 584851 499217 643295 209544 568730 159910 128618 166625 259860 566748 161705 080227 241318 456465 582422 351978 270732 374315 088910 135933 479417 451745 931040 751365 929652 750221 189251 702055 377716 745277 205603 933043 647071 703409 408348 093213 469292 134485 056373 043289 667940 372223 396579 781440 496543 008719 038187 799629 884041 055477 569387 910921 013859 890692 324447 883263 915809 982375 786867 806551 575023 724998 794730 262181 007741 142447 279631 229435 029476 474417 124777 832649 617850 338412 831286 204930 052126 883400 206431 743109 001642 901030 151971 525059 452623 322697 597666 795125 131048 045736 016769 499350 002293 342686 957748 784509 605273 643394 584008 391367 382837 394931 489462 658872 650851 645602 646980 103854 307008 471987 128826 179329 350390 475191 570833 159010 799238 000613 543591 313570 167889 633361 049290 835359 921419 380189 917291 087230 919190 038517 028228 977110 505481 836640 636044 738788 635100 910578 701859 428560 680030 270212 324567 942181 383458 737307 728160 115276 732693 435967 691299 770439 107621 551950 605935 060212 224709 435156 711443 759877 729268 733586 420489 195883 347535 690077 975158 765572 948380 116215 754898 366522 574447 333436 044890 584890 635166 797236 196673 134905 894842 387422 677783 622826 560385 041937 508942 121534 422051 252530 478258 662044 088620 274396 241456 113247 531291 753931 535011 531637 762905 162580 112364 931975 208683 469341 901278 477078 182351 070816 636604 762352 362238 917284 002423 121374 490956 288865 059316 718871 768333 746091 242586 787135 598729 583088 209559 817557 189110 565904 988155 638805 097648 030940 739515 502800 005239 755138 075820 256069 933601 562002 962569 813230 528315 026427 696926 868025 717634 461494 733735 839587 973630 036015 438145 813766 379992 509029 262327 218916 335462 595774 775107 257081 345956 970698 806342 184190 999715 576573 148469 865151 655942 432162 657919 513642 175615 684910 046084 884966 078417 691988 309449 653244 295661 410140 889048 056352 100127 912820 296912 664877 025447 657426 234945 658094 863842 629631 258166 529129 787057 543986 352407 376728 937545 653979 780231 711524 970677 377710 099453 000297 144185 847957 935366 459847 759725 931674 379978 508341 998956 193545 331267 815170 456360 349817 164627 060706 976720 115467 346697 017529 270505 671198 164530 456697 068893 256284 119464 771672 777343 560352 615357 645185 181461 199993 973995 963871 081432 778263 085765 534991 434056 831831 500637 422953 625838 806774 400700 919603 490727 021848 400287 307501 932898 696465 563651 360526 357609 609180 098565 154103 915059 443921 835754 506901 734715 783313 447521 452216 510243 650575 942916 179840 545342 698293 034774 904156 571347 757946 609294 020621 909500 949988 794389 083596 749167 532409 303646 228363 891570 630972 078465 183582 355289 162601 802989 494546 658774 248493 678416 239815 906163 552161 123155 097440 732750 090874 041807 515999 181737 573231 474503 861418 183015 573109 643889 775349 008952 194526 888126 555862 048954 820223 143951 190313 803446 968361 114368 267689 171489 529678 388939 948109 978097 136446 154226 109323 599942 644137 032347 138867 134549 141796 049854 348713 612760 830549 924094 026454 719024 436703 409010 161844 189062 617049 229899 791642 794694 669769 938295 790757 395570 277184 912175 726546 101307 408177 928456 602169 268014 134791 475169 883672 426318 122749 195977 242516 682819 646502 908116 728306 576357 599583 603244 809908 905544 892247 410491 797893 955483 598333 628294 650905 572030 233718 598146 627212 468568 557184 914996 832909 283441 427297 392092 688375 596448 113152 729101 097344 282567 928886 740730 037298 524492 563981 505166 493361 183036 672127 557831 178753 277538 209971 374010 262326 682522 152254 249915 412191 772593 536542 900207 698068 109695 526431 738405 457770 691329 252873 930788 446772 154861 074837 256574 377695 063488 166288 819434 179003 983250 321756 534872 687604 297752 809367 288078 859446 943119 003320 819094 071928 749378 300660 096584 721897 036335 377747 790271 917638 926559 149603 172629 618906 590165 681979 112470 066991 156640 142145 941506 158778 132298 762853 537848 513142 419042 437429 655612 944446 638352 957387 364318 084324 087945 040187 084496 889645 515025 736957 370427 629596 923172 870302 143217 826934 459236 546445 484257 485987 275761 976257 555583 559278 154549 815785 166258 940121 130488 891946 534559 118793 765373 659167 889397 413890 573086 919419 892091 348641 658312 321521 554043 065475 073291 058396 047139 288357 062336 393566 028303 733551 198200 972404 900967 896288 726431 889430 858570 484663 125711 721408 960199 447809 133057 821878 247191 156293 118058 019978 029590 003891 968697 508269 700492 585961 686935 783944 595612 445038 039036 805721 837042 879375 470396 784213 000238 091452 773802 595627 184497 029227 790369 014191 392653 253020 901481 190138 758949 576836 607151 827911 437905 033452 558021 924896 951524 324083 131728 620613 436844 466132 450958 126057 062269 423195 026572 588192 126857 441249 542803 918646 129200 177994 339139 544432 602737 647912 570619 629839 255265 150444 598921 296111 723821 148011 131823 537015 066647 384502 350309 587460 286118 522641 987801 985712 959386 351043 589275 348578 899454 966100 110161 030504 082706 564327 164839 962458 601292 743648 232105 660422 482754 611242 193067 880517 248925 582257 898509 645138 399041 123928 348956 461780 652277 080678 395032 071320 615204 492490 851489 738870 685843 105211 652185 735022 794037 439915 846632 431106 685329 538629 220982 125817 705758 334805 499013 189265 705022 374245 836117 060659 889391 945561 723105 736632 940329 555502 239718 399627 318089 300878 761372 166515 018397 331419 756119 993465 822415 447630 966479 115800 452042 994656 167327 128584 076563 448625 440600 049633 784922 608299 996909 271543 397584 581480 847563 519600 164606 256201 056753 745490 008908 853675 369264 081944 797445 988746 269744 557160 814540 441935 995616 165648 374904 319988 573597 590456 040950 167424 313697 488839 330211 055240 979773 305808 814110 387556 992281 826191 767660 794699 848351 104431 036337 568299 284552 926725 219893 911967 195452 875271 666434 003915 341154 277550 900030 543764 290116 966844 656487 960068 479762 966286 122472 428380 482417 163929 902727 433834 152970 094302 329345 141926 674633 051649 431272 564659 444166 101514 800047 976898 656100 106247 673970 435563 817009 045357 659839 898421 890288 755930 159031 647463 666008 333708 247819 385098 273812 455340 701492 274706 337900 670568 837790 542866 717472 756552 050234 835405 831842 349833 249615 655291 291312 287129 879954 061320 804864 650704 547371 598803 712823 135796 912450 112371 497014 842691 205869 392426 710181 733436 713341 105447 718044 134074 193794 715706 655964 477818 300750 884947 307232 270244 932130 759719 990403 995838 747876 117342 778810 815530 334623 126184 742188 196890 445254 877909 723456 345920 504778 782902 463081 492847 228767 640576 161310 989005 803196 123891 774911 557663 932872 904995 378926 897688 344901 333753 439394 277559 801928 741412 118331 251255 278933 200753 840306 968380 146748 751910 518382 032950 364338 721838 829070 360463 570441 884976 868612 342178 564200 042090 961079 937330 506448 724888 163841 559590 750399 308781 269548 285440 143723 414381 689044 820285 925661 712300 905569 346392 569890 976096 151099 317239 559296 182254 843674 328742 546389 157196 533168 698563 427916 386952 051390 666968 172470 630269 098661 696231 482240 766094 678515 018744 561719 685445 237426 246337 192405 531120 915894 644139 139701 885946 197087 589512 165100 939839 490323 254037 881897 422132 849333 952590 999911 746619 413663 250951 015852 544767 844641 480611 805377 781405 069316 565317 159135 897032 686293 473898 524780 325428 447109 208687 737727 031930 899813 889260 762461 528174 584078 151909 612608 165117 811628 921447 541217 539855 542463 611331 715407 175178 391221 463873 372383 702443 183177 407118 127218 559790 838073 146150 510581 666148 597926 334097 298535 064388 879181 230582 615791 748929 156105 540186 769823 795348 069198 542149 240361 900970 148014 136922 940443 595437 039633 184758 048444 532160 291392 589383 696164 426115 278772 373374 551297 103680 712933 154953 962904 321901 410868 888382 033186 449715 783548 740497 021037 385573 814266 286270 961474 356601 772579 844453 647805 269497 437081 199099 712686 905260 414215 937472 252710 595253 190160 227454 864189 388674 899983 332350 551744 921180 773295 051665 984135 459592 916297 626578 654516 970683 415707 150538 640918 776997 368920 097462 267544 483291 981007 564396 124995 610828 562078 767499 164269 458483 619353 536892 012875 565685 233934 373927 263681 244774 755535 345973 605922 011590 887277 203950 087454 869574 318534 474839 602622 336122 841070 473759 469127 638647 611481 182905 885653 978283 296011 211739 276932 631439 080860 133203 585493 385695 469286 420688 222715 287556 517718 930401 458097 471326 201121 133805 274018 132587 471067 528575 272606 726047 672716 915641 984936 200927 467660 819610 639309 808586 840619 899820 832183 487860 820910 926285 237567 667090 069680 993498 376275 882928 781083 411892 009118 828895 843688 866763 382283 351785 780157 894152 738889 512149 984918 328475 909721 165843 291008 330024 267325 026786 056228 262849 836607 097480 101705 588624 709856 526844 635491 423748 368611 825591 748009 513115 059476 106024 156567 109533 646460 093999 878004 116034 565390 981752 927190 776111 209742 133196 683479 280146 587366 288899 162069 587676 604598 918640 645380 765948 541501 165278 084804 119496 437744 648624 291481 633720 721364 101369 162080 721305 745502 733799 692187 346655 308970 295906 697087 919934 169841 038805 860877 625721 517617 646934 383359 372128 476822 672289 208736 119529 894819 642893 168309 088783 615636 923311 826412 201885 041970 159867 509334 181770 396451 653917 631169 794879 422100 992174 751200 402406 312903 198547 725432 099241 185498 631963 496772 078210 930678 198902 377756 437614 815990 570845 110732 011226 205474 488014 903133 421702 895340 662898 514938 496831 932209 900695 443660 342942 078439 044207 291489 482062 229074 206354 278046 045309 226340 315719 817083 199115 609455 273572 523368 385616 211805 716941 343634 177602 304812 686884 586342 499963 964431 322967 962734 976238 821763 703122 045406 714972 241645 494321 115957 727548 588360 797086 430552 925944 246045 412587 197732 307931 015349 729008 036227 121707 658045 958423 088594 945212 615973 021146 807329 559816 947492 334270 501758 016766 728328 687247 111398 606760 307976 090058 319431 715289 682923 938264 224447 365190 994718 291675 510509 344431 716654 923586 592439 033053 013041 465089 647182 679815 345808 683408 422685 744070 141879 893921 027505 782404 022024 617268 197275 335206 331878 824705 996813 230741 864821 279612 223669 534445 615094 995928 540339 345884 101773 968280 929770 297833 461566 667262 653358 309558 993547 969148 040637 548946 793826 841174 376770 550393 806430 123469 451322 483750 897496 632598 627481 448168 085583 059192 863458 690019 415788 709169 729662 086734 162774 695514 431574 250548 080985 353602 465238 460080 265124 811170 587744 678050 806426 388339 278734 296031 959640 634157 644302 127912 252041 360651 946021 387072 377063 042169 468800 900732 866597 082630 945615 004522 587012 757572 938093 737599 476349 267774 681098 367353 014545 533285 429042 114739 794610 358971 558266 154625 445686 988766 919855 595966 601534 587290 352146 054122 042735 582905 770519 519106 863450 444427 384008 817968 900286 974153 071134 906147 144542 077443 027771 162850 083371 037369 648792 112865 267184 664871 591907 400714 006809 251914 592327 483147 679930 852145 444704 158591 327019 993572 216496 978080 049276 790350 203261 346756 146484 422724 569613 364444 091495 873977 277479 468753 406995 993335 315401 118116 401794 331447 153031 405301 885233 898829 691961 643491 189329 892185 359502 616630 201162 472024 787876 106018 401778 281456 606690 305960 095929 165612 989312 211698 362176 442999 016373 278962 845508 397184 311451 467611 496788 340903 587664 147604 242393 139081 960621 683625 600032 580497 999737 415428 863107 765848 949723 363486 525049 575960 591193 595121 746313 162962 286692 446576 441818 140750 219331 610535 877068 986205 325539 039120 232756 322802 699671 126702 865973 038859 183612 918572 828740 301839 867197 788463 248535 204430 969232 664140 056896 833760 029773 041919 568670 039871 526912 436320 669286 916399 398144 171804 930276 236397 486007 206422 958382 860966 758907 263040 498348 095141 001424 256221 469786 713473 985991 928679 668542 258987 650867 485466 163493 120595 071686 711935 417805 490263 696929 119633 200718 301676 809126 993737 603855 682094 130952 732802 980115 510330 952054 632168 649857 664275 273928 456292 109369 977566 211765 771776 711786 455630 026368 382691 757512 000913 362926 293496 568702 944865 623132 512051 479016 173883 364675 718649 996273 593107 009589 785651 252156 043157 292095 444586 629592 365941 560623 256245 571669 968744 273430 267357 182792 012671 622149 079157 536936 096206 625194 996861 539127 234937 614082 155442 701790 162442 505023 434922 102339 787384 613839 138995 162953 044763 033546 394948 570632 558901 065140 287908 501273 204080 952667 861383 710334 281278 913394 355031 846207 493346 481740 665784 866938 449882 077230 264392 183617 453892 587548 644247 748576 904711 747913 346229 421688 925337 663136 597633 675804 701495 737195 528759 655324 596303 944638 425430 079471 942433 318512 239720 333626 502282 256989 612362 246893 023600 474241 374972 337521 333554 084088 661353 219924 792967 397273 601267 064777 584235 452238 419450 697628 119900 673086 805143 169741 417557 735116 515277 569006 866707 278419 138546 117011 453670 852266 043399 732189 545900 144059 368521 843816 995334 525387 917359 934357 160865 700987 007606 825398 852184 782266 192619 070328 286932 014868 058517 900123 833528 805860 034011 759368 003404 311525 903412 167920 646936 970931 233751 150477 714130 561748 200936 464131 157282 915933 807347 373065 027128 801638 645010 209589 166056 995415 423533 765058 641484 053968 664406 745351 717186 969493 432586 705784 668146 702369 337498 053572 945018 178660 841678 463437 815322 625250 695490 499130 456474 672793 932781 737588 986472 059316 718875 092397 860891 368215 401071 517342 523240 938773 117767 042887 843643 636263 334615 916261 469863 983277 522747 820494 872130 769907 705310 906084 421152 075583 372653 761787 911526 437890 572182 973435 470612 202890 208431 922662 336156 752669 837431 485945 214381 197436 765217 458782 596554 683028 230416 043143 356608 335328 944970 996097 957471 380127 302426 073761 935598 101857 259034 161048 464848 924458 312222 361030 799722 067121 595717 932518 986872 519885 525978 241721 664331 109593 714769 821022 815209 815609 401782 561869 297199 858434 427872 303579 246024 102226 915509 348542 441389 550925 980818 591157 104659 366007 050368 182303 210847 614789 195364 274450 829707 524091 184484 245898 642717 082220 804523 752635 519409 560266 585773 261765 491558 002672 871283 538404 087360 823489 707890 057641 266528 578742 936418 868176 004060 559366 231252 667555 453688 714924 703662 561403 820759 806953 273931 775795 745097 985424 043366 674658 442406 772072 014676 819863 721830 708793 354100 880239 721098 153717 287228 797023 911477 181266 429179 982364 035038 162592 475464 839616 178042 090775 539282 148050 894947 088906 060277 074573 929826 925096 520349 380482 196224 637165 603676 659102 541774 740267 540567 361620 091426 666833 040846 495631 507807 866832 227565 520558 781277 925642 521639 810284 402225 721992 966175 709467 810461 582930 789930 256588 984371 618076 899128 659801 667668 304549 715527 277357 144280 102210 956225 985382 171036 579110 747203 828834 359944 821081 323730 648953 055630 247846 023781 809153 217861 174502 698889 325314 535479 629334 060630 374395 258766 905879 476263 335687 957398 753726 676025 023645 808277 820341 809398 074523 112068 593205 604048 928974 925684 305529 216193 370857 650304 554173 482655 946071 638913 345958 566553 094892 000980 342175 964224 345847 885327 974005 836119 321676 581362 742561 834823 325494 685029 228316 164027 475835 616361 844103 902133 144318 111972 761386 182561 901976 122134 824388 613635 451494 775072 195848 021944 689905 424875 851511 082396 923480 042173 510953 908291 354871 735617 824208 273781 744486 312508 350607 170538 189000 471989 997768 404630 505965 040555 422129 533286 430837 064105 351226 420796 954514 499682 115774 191115 321741 334753 020398 485565 579322 965454 743736 013020 045860 342806 173757 667163 670220 879360 973445 671587 008922 170491 587085 715789 004241 319847 778967 460590 346580 871319 286724 755226 088741 393250 172420 468086 383221 795265 159877 434653 496520 009377 105235 631588 435657 456099 298137 517857 824581 562617 025151 421070 032050 849257 348838 147309 817908 254488 622264 363997 331531 687067 148683 617824 558390 743876 836969 697413 617014 267306 685466 932446 306764 331607 021109 027928 007786 953459 304258 001414 821224 050765 356750 594212 309250 402034 710779 675166 865411 292466 914229 640895 800281 003786 032021 058798 871180 222889 251478 803125 312245 250473 817699 697925 225451 847132 608227 986659 169554 906392 082168 668664 680579 991437 610096 353990 752637 731334 038993 834165 591081 354865 725129 910091 992270 607467 136342 386050 281298 546781 753880 065684 457993 677713 606752 687125 849265 238401 405122 261967 699171 105131 691136 701416 292521 962886 372361 389530 888588 965460 487422 483153 443109 374078 641481 575202 140869 983074 427433 102857 893304 872066 727270 108189 427939 261382 587351 684423 658573 441239 187791 672610 178506 962560 047472 665229 749680 703702 019738 933096 456834 280931 518924 490801 523275 009855 058904 631555 029757 255096 730257 635651 464520 452118 470519 172600 766981 300550 847200 048257 586206 235479 242445 649204 929061 933400 985451 974143 621517 771085 644222 841521 923124 282327 793730 057012 625106 838926 047254 211605 723387 010483 243716 840603 207396 794772 987689 530611 471615 955455 371683 065797 561430 653976 967918 281512 221301 333092 793563 575198 712047 097764 400343 675999 931925 838943 012008 238323 545316 110681 378047 894988 707176 173881 393918 245602 102907 581659 871563 387230 570747 058538 571146 667676 160911 844371 284517 288233 816217 808248 912788 212916 526385 404284 984675 481659 200820 221825 188890 836026 530819 472817 934921 588797 613062 255761 626954 189837 511160 932259 678046 644076 440197 910309 634059 122641 283928 128993 614367 864937 531570 920067 774813 713248 240176 554946 564531 990177 686844 091721 203940 091262 329021 551451 224981 209131 730508 805261 743751 064113 832420 594113 957198 015555 489387 605430 632203 847147 579334 524312 024360 969450 081516 544518 469167 628708 598033 612602 076004 526539 572164 655228 604885 391397 115809 078105 728799 220022 043856 < 2⁹⁰⁷⁵⁶