There is no linear OA(2¹⁴⁰, 74202, F₂, 20) (dual of [74202, 74062, 21]-code), because the Johnson bound shows that N ≤ 76472 134548 507199 681222 307842 862747 606222 244795 693916 661564 267796 830154 720933 178660 986750 516672 641419 571199 764584 669992 603337 892023 311796 307384 553048 409614 445055 005241 024128 308401 840337 579430 767052 271672 798737 231783 026574 889226 780420 630204 002166 516566 116334 523624 281470 664570 190764 118297 140465 029193 535532 354263 279342 677663 568661 479867 990078 744379 518424 089978 874894 732156 158910 974675 503282 810733 322975 007277 371305 308929 666390 696582 232841 625984 261907 063045 609761 308904 545882 978211 920878 745439 468415 932666 953512 561978 486077 040352 056583 549321 685224 836496 648224 071017 863478 360491 221551 109557 621535 910643 987577 639171 626500 387201 147564 310494 408851 114163 799984 949851 906815 710459 816546 787002 528736 161713 157421 944142 815473 067601 111455 729244 696854 683036 305628 916108 191792 660968 568765 950042 279918 797014 439758 801382 904838 406450 844154 616068 273839 535632 886685 389003 432338 624473 335700 240040 117860 212126 480154 727166 623315 790231 877401 012731 126606 178010 086313 021452 397821 203794 197317 694635 780134 771302 200853 597705 506887 913202 171085 031912 939410 711126 947352 102726 732329 618704 248224 853887 024488 272193 615152 769021 502610 419423 912181 117675 496700 738447 611606 685561 537216 451824 060296 721464 394532 511182 494962 467452 548342 803059 907324 445121 916073 062069 557339 971019 105417 118663 757844 482636 931898 355875 015839 813144 117230 701814 663784 569086 171825 527227 003762 265719 214082 866089 107383 542579 008423 370933 706072 933503 628834 360506 471617 145957 285880 688720 252364 673054 558620 105650 488502 676620 642285 870110 503280 223037 783120 671281 951630 309129 652631 812576 388916 501336 523457 843722 957335 194166 705717 274994 956034 990431 981177 087776 389395 109174 372095 826178 255240 886395 209795 174997 705363 284657 187190 219919 842118 910432 596279 144415 198989 734989 192393 290226 067607 651307 868599 061054 994308 997959 611908 436089 089725 869288 640756 775123 482821 399044 787094 910966 960220 681572 079889 581212 919312 832954 975735 497335 348723 753549 991727 148783 228826 313078 554160 631960 594343 617475 905031 675169 961468 267879 784260 530786 298855 496005 891440 550045 059871 265867 374805 066648 533055 706556 850321 369125 774252 665776 916271 076730 412102 048125 917543 551156 595141 270300 192600 883784 743581 373513 598611 997040 730516 768546 435238 070081 662781 020597 229950 856436 796062 498177 267703 413436 937201 297385 362304 173884 486881 601675 164487 063719 674534 807831 381633 799605 211245 434255 702698 797550 592520 104276 184987 931815 729152 641493 704264 499200 606373 434635 417209 995540 262260 983123 310300 675183 987460 669762 487918 695769 127753 004408 142792 058371 029319 701509 419487 721577 262125 448107 194046 492412 520502 507917 008122 999855 684598 620202 723310 642636 151398 742516 643861 153097 523481 725882 944576 294387 742444 443283 222628 125236 415252 691057 874978 635039 802342 514433 497511 507712 385811 222059 512344 857840 034980 464553 069671 192567 231841 312533 651940 516798 722956 619363 923520 313847 782415 130535 668178 177739 631543 122433 878887 977732 969485 196138 455748 120454 928144 834404 389495 355401 205481 382488 559954 975223 739302 844467 302185 362776 642859 424387 346885 126173 153106 065742 964834 031453 903732 989937 728290 714628 733137 336254 420788 870018 581514 058068 377659 638716 090521 948408 605994 464560 962640 307813 565603 426131 639290 879702 077714 023076 005110 620882 095696 639624 260820 940230 091427 462998 580331 416038 228538 170178 910903 803138 729366 238288 946556 026599 604630 229882 279406 911240 843064 885059 028886 701829 237227 348635 329421 596741 091742 084755 841054 456489 931079 818339 598291 196090 721575 370060 875609 562897 998289 784097 896581 915893 790054 468418 302812 570546 483846 422711 828604 785329 030853 038051 649329 102605 988897 412277 228963 038214 773685 929483 427854 171993 436554 535485 919900 116847 463554 836924 314921 070224 436731 794761 635596 681998 699704 368543 463367 646347 851285 184695 332997 362132 716768 025762 229156 395937 093632 747376 701527 930816 938629 228318 185674 966029 805568 265755 103396 842883 928346 509014 217328 070529 372867 647004 721745 030721 373132 136666 927250 168135 072322 497346 075448 175409 610881 728411 451396 194083 448185 351315 894146 217619 200612 347411 855474 467530 131005 812287 064439 423826 809863 959677 730244 121447 000041 169679 900933 256401 450076 172559 559891 534964 555286 104142 414311 547480 406414 979592 772053 607479 150614 990966 298165 960484 581308 896950 436366 427060 947100 476521 335224 227170 054742 049687 028297 464924 137314 739884 226522 308417 280857 467402 413627 453581 344918 209460 834851 918269 499961 613341 800240 269006 446884 100553 561021 285903 508168 744072 186161 337007 946273 238866 406239 610749 568812 444200 939305 945580 115746 844084 954999 110584 648728 402130 308754 462807 112935 180166 368531 035228 561807 672995 135512 771406 395171 427181 873846 145157 369680 868383 846656 346520 958213 287527 257555 214747 274324 932572 921148 990741 569677 103907 610562 686395 790171 930675 471378 153051 371007 183730 871368 451283 378736 393286 873007 996772 460685 373323 350564 222259 157415 579482 259821 926073 528285 594228 409702 114825 100526 016139 343286 305524 067745 075619 643556 121348 809948 299526 369774 017817 688950 227797 169853 725095 040717 089812 957084 597817 624817 957572 974916 928597 443750 532349 334522 237382 700393 669633 270901 778259 114598 228762 046667 658004 327016 555620 106144 151141 769286 795603 766763 848728 804884 559712 054878 202848 311431 101029 855940 416231 899037 982004 551915 208374 812273 274575 502818 984751 910454 565083 646075 423690 762251 935717 642023 658652 352876 213958 184132 439348 127725 997141 351025 320769 970917 504534 858332 642842 282590 381098 505325 110766 674782 312247 645726 337347 864270 174665 248433 897746 925701 581442 302829 057291 916544 183674 530921 966163 714605 488728 306493 536468 903383 255230 440966 886603 760215 882046 206043 007439 413701 674632 950527 880246 197924 310496 666949 257532 233446 798254 510962 006159 078491 219720 856388 968758 068833 308779 798847 855278 422156 232187 582268 478461 638453 061336 649919 502969 268140 973381 864086 942936 145215 106565 001142 045602 898028 075916 375471 277560 715262 669610 133179 310288 048516 872737 429772 524703 928827 416499 702184 003619 804123 894829 107059 856713 246634 542124 409770 327185 588606 523205 941215 323380 858375 696699 963007 206084 487441 733214 729886 981506 783454 143434 321398 448468 017932 065893 812414 809378 196133 596694 400907 500359 077446 175214 538421 127368 928730 355686 630516 468620 009312 084587 226886 232386 599836 903708 481958 609661 079166 668493 269028 911245 002339 036799 944296 511122 258753 810979 542611 112986 678772 465818 985855 916801 425023 357336 488407 450473 086691 135024 064192 081811 582097 617147 982188 039818 939927 711563 934887 750695 703645 771213 238876 603439 883354 962689 449495 770712 636354 088135 454356 232471 848235 175977 711238 883287 122718 193922 825961 067559 171869 003627 043016 036908 699709 951654 241371 914441 445165 478468 712126 948902 365308 119479 054674 746695 515821 776915 850940 624547 667949 390709 629854 939475 253201 918655 649738 720808 621731 977685 029345 906967 574594 569659 346135 605766 604396 659435 575346 176182 507326 869898 747386 068600 858900 145686 722038 749846 965690 270908 089614 737795 447558 743845 671148 861798 931559 065597 838393 467681 140443 213548 426636 650518 725114 539505 889975 193757 781722 497907 659038 136427 557909 140497 749128 815397 159862 937909 360482 381421 691761 051546 178179 882328 155800 479212 924323 419208 309454 903668 340524 443318 925091 849170 831400 806650 186201 723270 765405 635442 105586 704686 726851 211788 267419 413653 154588 343179 936541 761340 133928 098897 356029 646805 945591 449581 313821 981309 445452 689286 524614 989798 522299 683102 409529 560652 021413 293762 910728 829843 031204 156387 440238 413222 530912 330046 009208 110655 764665 875067 301726 836693 554606 923559 249720 311661 025267 496631 234850 485596 134502 359842 551171 349016 400731 940251 512730 107138 433520 737212 660913 026988 372283 747595 942036 000365 513804 979240 255532 081332 496284 374155 495567 680797 009964 659021 566057 288566 520851 363614 531570 831478 002023 670166 654661 722632 469424 300549 776426 318413 327188 652598 958688 605002 225411 162282 786107 335015 731139 092107 840242 595427 322089 137415 229599 716444 555894 696379 913962 431036 714894 580253 953028 691002 553053 572398 347494 755388 027426 184199 284785 445076 593369 291882 654782 308397 487272 700313 665005 723175 657933 625138 157826 344820 769172 924882 429592 700864 601687 920074 221052 764216 598772 043409 147359 085183 701093 472424 963361 601796 396908 542568 783594 224781 680781 753671 422511 820678 794471 108506 273519 902379 025409 337492 763206 663990 439271 720033 186463 138318 341544 706222 011130 566363 435711 956765 187558 753924 025765 906524 797194 076357 905423 286596 459914 615883 634402 519939 670083 953585 419038 586950 305299 953367 595187 513637 271285 983659 969723 596913 609361 778736 463310 090051 351070 766022 327789 795423 398708 351733 136899 524413 267065 632351 846161 063266 598599 461724 089236 357331 023140 189386 293808 576954 336109 158767 229031 690685 846774 034075 732692 424284 580189 587964 071041 898296 021643 013757 037308 716402 096242 720852 284519 077879 731788 988632 141783 920025 925916 140713 076208 514690 584906 672220 010636 436942 462420 237525 196805 646244 067903 502615 535188 168518 144712 308088 658865 904902 622115 941932 407414 216773 844474 148915 222324 651021 807323 501235 055263 424571 346812 729297 937158 960857 227805 291589 141237 998086 322162 299110 456105 874026 584254 901363 083083 346130 705297 301154 824970 418317 871132 805641 807245 107445 316516 888308 899665 078308 093251 361851 367005 162279 445087 471475 536398 181935 595253 622293 218821 369252 885242 664853 829881 482964 597524 073522 032278 644225 623326 182029 654296 606102 427752 761612 340674 482193 434295 444082 552591 969103 390722 078335 147778 308903 127852 991209 372217 818744 433662 074687 207014 254917 017124 541780 459517 473803 606081 094492 152093 039544 768743 199560 303072 039236 573593 891312 388073 744587 428768 333834 270258 521706 207263 181956 918461 921066 670288 771055 355636 718957 510412 087297 930572 847901 861405 195620 147242 340079 939748 977367 709135 126275 275793 812188 197339 198266 714290 946763 733790 116215 288758 662238 107388 680517 269456 984083 143491 149057 430915 430685 510018 778933 313474 740858 413073 706470 930455 572245 822883 878539 652604 273103 687368 353469 281179 528862 977231 064659 030371 992551 352105 125503 197422 462779 926615 273197 997244 399854 502042 667492 162631 928936 127546 846285 262048 774406 012298 157955 095416 235275 268773 496202 782981 180763 748867 959714 270496 270000 182572 172602 852277 915112 266798 973995 493929 817433 495367 920205 985791 900238 542824 375638 058746 746656 498890 241851 999176 521389 980293 818831 696802 779303 868060 677327 556012 878319 743145 144560 254034 770706 519460 397866 240448 807878 227884 892201 551685 738624 854495 873743 795790 925425 862105 709030 659053 609078 855565 111844 608316 580588 061661 754080 328770 439837 264051 020590 639654 780932 515317 212536 312225 143269 971213 531579 422155 769737 977292 484326 755690 264025 551704 617033 413820 906153 323516 754017 926895 201899 206911 943799 294190 183344 388251 931021 775060 063547 943451 701837 497309 033927 162914 600678 827984 252630 527974 621605 471787 793080 823088 743829 284787 978077 373451 525836 101685 167126 863289 958925 443799 207510 992119 722314 352594 366926 687521 216181 207597 728297 217869 785967 232804 685994 820359 337112 682324 409007 374477 874939 122639 370749 008777 673856 486996 560180 881989 790309 348084 115670 640537 859343 794312 650673 971546 082896 660503 509226 943153 232159 602711 011333 471023 703677 447968 206204 904273 119546 799131 476412 027758 658196 111243 982998 708002 070174 242048 761520 414447 512324 054257 231444 721104 214763 678364 709050 776300 327240 066357 302108 247523 502218 350751 934111 617819 300595 355752 253170 251901 143242 337871 599206 655173 128698 741190 962612 585709 113930 477811 896126 335383 301796 094910 832928 520114 534774 544820 976792 820893 705581 957340 496288 876891 532993 892710 605229 245424 827323 502725 473712 152816 803694 392377 622693 411781 287983 643107 079377 965771 191488 320711 149841 758308 012251 100765 027850 647602 590687 861700 793669 868419 666046 491636 385165 393890 166163 590659 648679 013343 060565 904405 839944 536287 011275 394868 798017 202155 383671 077901 392774 239851 921383 713240 807170 176490 511355 901622 479186 251047 691537 245140 065840 351524 971858 475761 102951 900158 872271 160392 602224 646962 987455 522415 789623 008723 571873 225554 740666 204598 436749 613856 652737 096951 656771 528317 673532 868963 287758 672766 632753 238171 895788 363465 700183 367196 751398 300625 225458 124560 930467 947694 624845 179104 309236 835717 615179 075436 316441 993279 483124 309834 240147 327241 861015 369550 366856 431647 435631 262148 792533 278274 935968 434813 107772 277104 103416 613404 314212 099299 910973 917001 265171 471708 117890 169630 621173 436446 406674 434561 890734 840040 530537 260866 973654 297830 802005 332816 525211 500719 255560 838630 618129 442458 444616 508794 477825 752171 233777 003917 595169 127104 146329 880777 272698 491894 830865 159873 318491 640255 217101 001111 788706 761963 956001 479757 941214 464950 098640 328006 157370 084990 070835 733570 305214 417943 469420 254450 330248 525519 746227 004879 893328 764552 804569 678245 279186 577109 333060 749875 990635 798641 875812 855746 605519 081592 432639 000012 749223 084466 335442 168973 407048 066477 531616 832570 857319 362715 715009 837176 863097 356298 844035 745277 165323 986099 302449 340733 284455 997412 480692 180779 643758 531486 185154 713503 955306 423703 531585 185314 360629 742950 270854 040138 259993 373993 856904 109008 912553 041447 126095 893763 950706 731633 934400 440696 498161 723392 700253 453377 425457 793638 362520 500295 925380 641551 599973 495287 501318 565571 383841 665358 884524 452962 745675 690451 534118 133474 186437 665050 537213 850004 601371 010167 246777 524925 229321 638084 360097 683943 859590 307496 672996 276416 337329 467546 390496 519127 808899 627217 455135 761082 176050 083787 913145 803265 488434 420564 217431 595916 152695 632361 916356 558372 713320 509021 214890 502345 465824 087307 815304 332870 479740 005912 066933 954572 881326 968146 564086 714783 210606 705641 446989 530556 144087 392980 082910 867246 233499 426423 821091 755900 458505 028416 497398 492115 037938 554221 535178 102263 437821 357766 654887 597042 329423 566153 891821 370241 695615 454487 777722 354324 986234 272475 577875 595642 105976 205009 071183 428872 662121 308580 471218 247229 151893 255574 241184 199155 978542 907736 117069 966015 326579 870160 768194 947433 917999 723661 190177 021264 048220 421189 170110 639035 630784 947314 088240 636590 363784 171024 389330 653108 872701 091665 704294 726653 384800 883602 255346 549018 966066 258672 013812 194301 650093 293917 904283 292549 703847 889666 617203 648989 149204 437729 840513 798264 248746 677291 944873 488419 063264 694849 093715 516245 015411 660633 811162 242626 864538 948812 329347 026624 469942 574235 266408 337559 626032 280789 322991 841118 812572 094784 818651 490900 426705 016930 839647 777817 496306 395009 910921 810897 406883 374776 101232 983236 561383 615802 646596 830562 859518 886632 614596 821999 267314 316865 884384 493182 931291 507922 245038 678662 248286 291979 705967 780978 944961 406683 253988 061359 793545 686260 015793 672867 012190 456458 445923 920315 317790 564411 620294 252923 855314 622583 438455 123074 035090 840097 744863 789218 032580 382332 332734 545668 879247 663283 135192 711856 317784 781563 202811 018607 101309 180262 277323 194169 679121 138584 208705 716558 948899 741202 839153 116579 809242 014689 567722 808163 510296 556144 757176 180850 012862 234880 004042 551164 845965 068382 613244 398791 330343 807272 563215 802998 147968 783091 383265 700002 773900 054685 649776 982187 284650 291203 034673 789248 817869 569603 169982 509556 392799 592365 105863 493029 162848 188947 081990 116088 834189 318204 277148 845684 441072 318977 812793 689640 217066 484209 201392 698568 382340 183285 859512 602765 839745 124353 347676 267001 156998 955454 740665 118839 749360 573263 848327 382871 946507 518800 012900 494554 954735 688784 419490 971766 215175 140387 810813 355179 312994 693305 021726 577053 120154 279709 561372 701253 441496 278587 292409 198556 071424 564630 372648 598728 881789 314449 373274 665530 476494 764484 513196 527530 549476 554997 530016 883085 369348 262137 725571 048008 239885 639526 140538 499007 022516 388174 744404 555232 716045 062201 212885 424880 661397 861152 928053 475716 287895 476456 801490 525511 700630 908144 863098 608244 327790 132126 978467 674161 466031 287995 488577 780710 173792 934720 064321 592225 219285 586063 257875 612983 127267 094875 355162 387630 296218 577180 447849 150979 150057 306275 129245 938112 398512 417873 458500 913092 017482 662425 290819 605558 347637 972076 547232 985260 325366 241238 915519 191197 432162 571782 736159 709007 376625 167144 609674 244081 745146 922348 718374 345594 029923 456806 986421 898330 383630 800025 192894 230266 252797 792237 749140 857974 964314 428277 234604 350259 587130 270008 832075 536833 533493 619660 671553 169801 106588 956311 177287 826143 483654 361458 110600 883029 053137 611933 714085 173913 875524 990403 954393 996546 075789 733804 740854 382097 739284 937098 992383 304859 528289 378520 987852 590936 388931 877682 620287 976891 440164 550426 532170 367639 888806 232281 877616 595290 473333 164333 415685 702999 440449 770367 021463 108431 648868 274973 053947 887417 345682 490621 005154 468507 247768 825967 587721 844222 850849 667708 324924 414333 654326 834136 125882 910346 915664 512679 800249 326596 789916 745777 030428 791409 429983 260087 263668 788958 658350 314309 947860 336634 270264 220573 437314 675850 920859 738746 382658 648189 725214 252193 721426 552702 550491 721993 141101 060116 022456 178848 168555 349169 437628 660968 761079 517523 684810 266651 774997 207916 147659 909945 110997 271906 806940 858595 320690 466589 206336 571016 071626 753402 265028 175312 856621 452440 963502 697515 015463 399431 000846 024003 182597 682450 622328 461525 923007 888152 537890 878387 772422 757338 508061 851060 945349 304394 495093 145508 917764 542725 579174 494812 611124 963872 443944 173248 257212 045235 878890 638792 936117 290197 632482 465361 970775 760028 656381 690214 597608 547385 980429 619699 673770 814996 630601 325226 801899 807049 417995 867188 579913 004434 427869 132420 596575 866335 627306 317392 257526 351957 153289 910664 782321 828077 894747 301890 904257 189553 061485 742693 032412 242120 271049 796773 311623 048405 645005 587439 755829 138814 420327 992930 632874 770955 723486 081323 512921 722078 719635 817221 338175 617405 940077 970827 893175 482954 164668 486817 453919 468881 397401 216870 114823 923867 843619 154715 739070 023259 261559 250362 667448 302423 114548 461291 900847 815119 342538 363520 663281 991208 920693 050284 005224 161857 852766 942956 221543 023224 024928 289151 593771 966968 366675 884952 360247 996847 778821 598461 807899 671223 106057 440221 585134 190978 936586 177793 124294 743170 717548 943652 386940 116561 234806 447040 889444 298339 844984 521270 989960 428110 320413 099449 278188 137319 936910 869482 191621 300471 612614 649179 402389 335628 904571 533106 224615 970703 356793 956065 144828 615248 622840 160234 610692 817046 350287 447042 545182 891403 988223 810285 149984 623852 041404 507435 107200 681391 362660 426774 730684 286711 031131 919812 442663 021984 564634 215280 927303 606943 426810 249998 803223 534983 991339 629236 304327 667708 514771 725382 741827 011991 312849 341116 105247 093414 546103 746395 899641 239473 133858 084806 495823 748550 660767 167079 137396 878230 350232 411025 152098 090531 107282 586377 916991 403656 795952 432608 375301 462815 411129 442980 352955 722538 899821 227648 670870 506322 687308 523391 022922 148203 138235 014297 491764 777136 979355 444248 173877 738746 377856 124589 937549 291272 226759 261124 862412 696309 369815 859574 904623 564396 480543 681785 038710 764314 188618 129322 601142 293114 199591 115102 936062 531395 787385 744209 583777 763198 085149 795210 798907 446374 074882 758706 360948 607896 751953 284758 992908 991769 003659 652536 464113 666169 568289 556965 647909 594114 873498 741320 888578 101187 249039 598633 506812 222508 246341 803113 791700 722313 943522 846949 066761 465535 031794 154420 090708 178116 360004 153005 885172 447272 093357 912923 461270 866411 167885 697829 500283 015562 485677 009499 702323 995805 857465 289233 414088 314620 270323 604864 143146 432105 973250 042670 550144 036560 180728 923229 424836 776434 603881 212568 737261 006665 835559 576965 418206 905369 240239 140235 330627 177266 740358 403747 732600 033526 315662 066322 740595 055177 073789 522429 188922 650159 316152 536505 852274 486659 959285 559198 350914 977050 576839 315145 735223 853740 191824 548654 227173 857260 333706 034085 024594 957675 499695 010488 869739 877226 117406 850284 514488 421019 498661 187407 707641 604765 029284 515421 852784 190056 350685 515845 207876 682980 040752 837740 416581 547954 340956 013352 316523 063240 668177 113324 677327 223667 896182 622135 974851 904591 452959 611836 259635 504615 751748 863369 866163 180394 522715 762534 216304 769766 535724 429740 993936 526855 916089 421569 890173 555948 898722 159626 557531 673460 279695 955797 851816 508090 571709 129081 888997 192771 922614 430518 985455 185259 379384 022689 681255 793093 093685 913217 196327 464923 735965 276840 072674 851432 251573 492891 086774 930594 295530 731608 660089 637532 705857 576585 640947 836004 840212 704774 056763 440954 490591 284630 041538 630501 983325 401184 259700 791371 747620 345360 072765 086957 707675 236767 664510 282565 304569 657901 329254 843227 753747 646675 316648 488784 539678 460185 749788 150404 346326 662074 163298 136660 948202 022548 390849 756598 381274 755916 085960 099421 805003 569315 132776 907577 475584 561961 664322 300778 808552 958496 747628 492300 568084 425366 606002 722342 845515 548384 187314 488672 518739 318999 968150 189098 655255 267361 958459 980796 431209 651897 934841 068093 026147 307323 613027 759244 050367 568573 945159 057518 107558 570236 292142 596273 508571 011513 106182 619141 628811 946627 046265 637579 852533 402261 723669 010359 009144 190966 214520 121754 576767 887758 598824 428824 988454 816196 998270 823119 740844 266909 977083 117353 797668 610129 808428 888138 876011 167577 654230 156851 998515 260247 232863 148208 494242 140533 919648 588320 934653 516474 623073 312249 374377 966235 742207 720938 425273 628051 198783 147974 956799 984295 979989 642744 192555 381779 785089 051549 721186 940395 351230 630176 554054 506655 492444 103949 325613 987847 131373 322897 925065 071035 905676 399610 543263 399413 129249 478983 077409 668661 591377 870220 078940 761399 737841 093935 586663 287228 901757 939483 431700 181946 916208 307021 414197 234615 973792 918302 245283 547437 091400 572417 396625 731424 488729 111721 196716 973646 241330 740591 065163 356174 492268 433527 543438 989390 637711 650985 316194 349179 663761 805188 766338 914895 169618 281253 696469 907734 430350 380909 169008 389908 548166 984319 296794 443957 056635 473466 878986 009726 279318 207214 952690 729563 853095 554842 668161 908508 498863 348998 869180 047978 651903 412244 230207 901609 954532 894399 832206 883964 820895 580461 641452 446134 713308 259694 379182 524125 388529 761604 852514 084109 492381 158430 882631 424920 621324 842406 598314 533703 152222 860381 432733 854459 391315 875406 571969 959699 430140 176093 284675 578469 471982 964477 893485 174557 895907 985504 004301 926707 157816 664150 885697 745091 665936 000480 566635 396710 090839 819872 355019 609728 319758 518095 417936 907253 994991 525369 451060 563902 884385 404381 981188 083031 327937 257964 721992 218205 800309 573545 528542 169436 536183 090720 579775 410499 529156 746354 189367 720770 783586 418899 659159 695619 088649 556425 229370 451777 126953 432893 176722 718636 561505 881669 422092 395600 276512 233525 517118 241114 496741 487955 968160 358955 024974 330061 037484 903178 028247 901689 750679 709080 978438 104407 878620 816471 862073 324926 201111 444608 810445 274547 301460 037986 585583 296148 036289 757935 040267 853233 229050 956167 990244 631329 405461 078944 692103 003376 549568 205999 708539 919391 443741 356826 286882 800025 257339 094425 904562 218160 373081 818058 776099 080884 966097 129047 842686 368506 997567 139092 293762 708631 015064 551489 680604 719790 442899 411840 113833 197432 432337 187258 429161 515578 787834 079465 766522 925944 848592 356076 113736 430729 528877 550352 916029 645931 378239 680438 367189 378558 141214 421596 772655 104367 068044 334520 031762 376834 033227 956777 380196 137074 371325 901423 528057 365875 843368 598636 846232 734848 202733 918069 874361 993540 072380 080406 207463 491544 199266 930392 007252 921614 786968 533084 588451 770578 043769 619293 929284 313240 262194 845031 503251 870496 054800 993316 839676 987387 049945 302002 477338 872459 137544 568446 479490 271536 435423 141728 960888 419188 216288 766956 226066 071541 630526 288193 999458 128467 501648 580681 521567 356513 211824 < 2⁷⁴⁰⁶²