There is no linear OA(2¹⁵⁸, 103494, F₂, 22) (dual of [103494, 103336, 23]-code), because the Johnson bound shows that N ≤ 1720 344146 657511 387615 945409 421349 445560 050677 984539 509159 951366 564938 581905 253782 038024 639769 014794 567231 034826 044743 418736 750234 458138 240640 399882 219665 723433 508072 273381 237507 004391 315186 024210 119474 135485 861292 080694 363166 567767 575066 069481 361962 335966 770548 685232 545946 181302 101940 529148 435533 177210 060149 910578 231294 801136 103310 989703 139865 418646 293082 895625 144323 132701 830188 583840 424711 247158 154161 982907 899546 850558 469059 048812 906483 604512 164057 449925 231097 062760 638779 304349 193823 894211 682407 566382 919497 503492 420827 912088 470207 695027 014205 694072 909087 151732 001888 583424 312718 681000 530562 950600 466492 609368 431738 835562 968410 809875 854418 892211 757977 688013 045723 744327 330036 083515 982145 839795 807365 476413 231009 164849 762199 820167 313073 019978 779041 266174 911612 501901 082130 878692 306690 412105 586978 706663 150627 934073 888941 527428 273229 637220 542091 658629 886058 555896 723996 302444 263417 059186 767730 172199 487829 558581 536855 867324 830079 946097 721193 863472 981685 555073 566586 603438 264298 793687 913626 336125 970080 080515 235456 439298 659129 478368 741674 773788 256597 040691 402732 280499 776706 591754 453657 305619 058288 905737 872605 065912 566185 289140 569026 195969 685727 418292 686025 521350 563351 386058 281780 371965 091685 646200 813969 082211 124985 155472 102092 680588 384013 861402 512256 827738 949473 996374 267930 267442 578584 750461 218311 321240 949161 158432 984388 519507 322898 278160 128269 840350 658792 346243 959860 467961 864780 410941 247940 626209 157284 675756 403364 644742 994806 222978 474345 263822 674300 751514 986896 619451 870327 277544 652436 665323 989915 255013 730832 845268 027502 531225 361337 752762 140141 302547 164928 802727 041542 669811 962109 178212 964783 669174 107977 670313 475738 681103 818676 768929 976461 913197 460016 353533 088700 597333 094157 305034 753348 662701 080189 322425 919872 915130 683635 368943 334782 064889 069898 704753 466291 385320 016899 829119 978462 345291 841484 018351 817348 313956 294630 537772 094070 578162 264922 347088 777243 279404 113513 533341 360960 645493 069566 921412 671059 203656 568013 484789 728012 920641 805066 586850 519226 012733 501785 975789 114863 082420 696132 834172 292594 123427 747380 390093 372955 116198 285193 422486 504261 733088 292546 402827 317651 925196 092037 528629 410623 532440 164088 057967 930614 855598 829729 990251 358294 609087 755034 730454 593658 107795 991438 308421 477554 252568 815142 057483 507985 859442 494057 306527 801937 765245 671692 437581 007983 230657 595783 530561 177069 568732 644349 617923 860183 926620 716703 980070 986348 155803 988583 043081 372432 454033 339441 427310 977430 432257 013577 644622 598740 531030 370030 570224 182378 066080 968929 759992 534669 480480 097176 568793 172224 428407 394671 515242 054584 420168 552849 252068 403241 085695 712771 183798 270553 313143 284421 475844 549330 650084 962106 508422 907576 174022 695074 322007 004721 022200 619842 683582 606489 495768 407530 465500 308306 866551 747144 581084 290565 895654 638542 923904 731783 926503 534533 793679 572876 451508 828257 681858 689963 302649 431465 856849 386112 031078 832178 459393 913740 473075 981929 148981 962371 591170 768343 739096 499635 679995 408111 072589 687591 819660 878920 644230 747616 200848 568570 878268 543428 183403 961891 659251 727987 348547 506372 221095 203248 908303 524683 704090 340829 933956 848565 910267 752170 209193 705849 682951 814079 628380 440761 137899 709936 350812 118762 053614 814109 004159 031104 006131 322878 205865 727102 332521 611002 563379 557851 643099 799605 716776 297341 865784 937806 122827 167406 881331 360128 511602 989284 850164 387249 302200 048783 902790 659371 382506 851664 884380 433390 892291 006585 225622 709938 121987 701390 924731 800285 934573 716991 484306 793091 620374 317445 321059 468951 867729 845032 296250 377521 715644 429690 025902 669445 670518 353538 995159 758492 556742 451497 555787 642969 840484 827988 606075 963527 075520 158123 871238 918339 591708 239464 099518 496180 280039 974927 207221 182673 301274 068100 107016 905030 542572 259617 908313 915313 610311 160600 695454 161814 556586 406454 451831 742182 386075 674259 523373 417264 997371 277925 945776 421034 597969 031164 355683 453789 129409 301360 578691 780329 428195 752190 683631 714693 229189 670266 504271 373658 070422 957937 575183 853413 975312 599637 206139 752839 718088 014553 349469 214564 342365 321214 822190 777052 561215 963032 732239 518544 711260 147078 123278 766992 778566 198092 464672 581339 671740 474835 811451 407565 793136 799059 054739 510852 197155 297528 128977 364505 958207 714284 425980 139305 110594 857002 717634 282011 738541 533946 653723 549707 730479 233929 999504 054136 897187 520354 593409 168805 256711 452752 738001 125102 798227 351628 594896 448670 762834 490097 978927 091166 253051 104596 449219 742785 459182 666551 614628 730869 184989 744474 686307 107384 590503 462975 657901 165076 708605 698439 230810 450091 048909 530497 989309 100468 709193 449627 278193 239164 567839 434490 535005 668185 783155 602802 736284 140016 910073 145441 041378 490834 207846 478547 111162 976503 599862 073548 057709 413883 080599 444921 023564 507076 799757 835649 376642 496090 438133 732064 430880 392824 763615 549516 975970 679345 085208 585590 915360 278568 523351 918605 486745 383453 060468 648835 885537 650421 653186 281472 734734 821244 051177 111481 485630 828056 418264 805249 078307 780913 406667 298424 068306 915836 733282 698269 469406 622161 354905 554920 908654 094701 167092 455922 834850 479203 435094 465876 298408 747775 261558 765147 723395 419778 229191 053882 307940 317017 946986 606433 759785 755802 120129 209659 730019 439583 960695 183370 882636 623202 392520 214487 618279 287429 459424 586167 315764 840565 119912 847454 890613 076947 374431 075192 090059 711889 102792 189654 139425 692136 056475 342969 791221 714973 576749 326184 627848 365915 322303 808380 062377 344389 326658 117772 534033 021962 791984 762376 707251 310468 699763 394514 848336 170253 275872 119887 021315 823498 191329 483493 935385 737242 973784 123338 966268 942194 320538 057870 628941 424178 776593 357958 901229 899476 434059 091679 360538 580651 924791 359527 763035 026300 885129 373708 129890 066932 888507 772133 123048 807024 731156 662565 232836 040179 013769 331953 184144 091657 162813 529891 307308 672043 165801 564182 126173 121894 127844 748649 826630 951985 351810 213583 269182 854506 965901 185418 512973 088626 602767 015916 450452 194088 012714 960026 107256 983304 940836 741098 733221 366386 515781 770968 432491 772110 657321 795160 281693 658278 602491 949350 833081 427848 721669 569758 730168 431909 493313 738442 021155 773374 139297 431625 845173 489043 608805 390629 185162 649833 249771 682696 706446 038805 623444 661998 087004 971084 653555 990605 301914 263904 663343 538987 261547 984871 171098 669463 687751 569702 610310 448946 878801 171893 829631 284831 868328 020201 085284 037959 737758 184413 463977 938504 858987 707200 657769 750394 874588 483188 884841 342355 568310 200690 436459 023650 111969 077108 914107 542936 821261 949732 289281 612309 621775 126442 412540 241995 130277 312957 831180 288448 727197 369552 075187 564866 352801 517940 363391 368149 824891 694389 668241 740670 493091 340863 534741 110700 721343 252529 013796 659565 908951 735382 925754 845256 804265 428147 638127 663338 165640 657818 267431 277432 874443 993422 213032 563902 871946 734710 994796 642366 228996 952604 746946 195906 746279 407631 842502 787469 939614 498393 789879 345303 366679 650372 575061 411982 203009 542963 528238 586020 559476 769403 288999 495469 655301 412221 680662 514314 933036 093346 448100 572409 354085 358291 870493 103430 986719 670651 121846 353246 602109 182819 990496 796286 887764 032941 372482 134000 189990 009007 046900 052858 251088 925695 606999 414248 804154 294286 856772 902652 781535 076087 215446 370050 973659 010976 031402 884779 201215 644651 754727 583721 642203 200557 460477 070484 189856 415637 324391 501425 491187 989229 296625 331643 190583 333273 162710 723928 391480 973683 808860 420409 376699 832515 795311 921406 791636 160549 049393 749847 495713 201583 672336 789966 578511 831755 766501 789057 830563 012385 393025 736788 917527 325150 040054 512132 923473 377271 519636 293467 986405 744429 844106 253243 791753 328381 245510 965987 268186 329570 066653 303402 665850 922512 044806 976404 135422 707676 034104 054352 178597 955076 055185 897797 013691 126739 733940 921645 115886 847786 754271 967135 161678 761897 838977 149109 226181 656295 254582 799211 225576 333236 685565 713480 525815 505145 770339 027641 000280 074010 810639 016217 776414 482344 459420 358554 859638 928746 234484 472539 597894 492642 510260 520943 002132 741193 551920 377681 016214 636341 427124 687530 388396 745928 888306 738748 937355 138738 741314 147876 182179 095700 228631 073046 175653 574417 662610 914930 129258 944880 072905 034557 876820 486591 415588 412334 611296 684212 084446 359802 066324 261764 733090 257115 321197 204502 750056 414346 871475 393289 878394 037505 079513 638973 468496 296176 789387 505537 939451 879643 696794 074220 087637 420048 045995 138233 779045 730277 651879 301941 505262 936335 537900 558924 509649 373586 762783 110269 839502 153332 110400 517194 752322 120883 056897 859133 696834 531643 307721 369424 803804 558894 483755 490341 044416 959705 192215 221201 517827 080389 085972 375180 283785 509049 545027 175505 958073 255231 967304 353329 752043 914639 757689 897009 570095 281247 985184 669612 378561 399398 772610 630159 538033 024693 027518 673538 783787 019594 624210 383320 072204 532186 546165 274047 197360 590148 389645 927327 024386 545771 594126 191119 388851 911889 781343 696367 506903 432375 620898 017757 827168 946531 318480 789561 645780 651938 346494 327371 456034 203905 368245 715857 675788 568666 548814 618284 966652 131706 521204 444108 993412 243199 798073 440729 638849 085399 143012 751305 831280 733585 628626 271770 713306 104335 588199 222982 195085 620575 816962 637307 321928 196628 643685 213839 640674 322090 130201 161416 914010 681040 179110 839592 645698 465365 606959 942212 139730 233096 436543 742712 741833 610094 722252 344798 037917 656594 989320 708616 394182 067581 506877 269679 889856 596171 708763 602783 264061 470151 918233 715289 980516 786910 461074 095278 770458 637383 152280 306050 771813 978262 677323 015552 880874 469242 305877 753803 454050 622620 569560 968138 288318 044645 661367 206861 760045 625834 786422 338019 260214 242699 927707 282020 820457 566589 768728 873129 886863 903926 633371 803907 012705 550963 900990 836370 226072 218763 478249 601636 221408 872234 074840 784181 909988 470904 086344 464822 117601 355806 043579 126575 743040 059760 987107 982527 848974 115649 650203 168421 748760 899443 263056 060609 595068 359625 783829 172305 306242 020090 002156 831720 656679 769839 373524 175056 915215 258994 434576 016076 311648 326024 303882 142178 663755 115730 694543 380553 148372 374977 315704 230042 613535 767378 265373 173220 815825 789919 012700 934433 868545 813754 424307 706750 991254 344529 996115 422203 179696 250633 054153 057464 994170 507333 706175 130803 463294 441443 072276 731567 186037 074169 491228 591240 208705 203966 211588 766177 654087 971190 418355 376538 792057 194401 943417 552270 813780 849507 927132 672875 948463 844202 605500 474675 317358 382103 593864 112780 089019 974736 827361 460091 796267 974687 793984 933965 059555 911344 098953 230835 158420 864985 918906 878986 630240 372383 265046 161922 906373 127282 133023 025624 675503 572086 261887 508695 589738 985683 927673 988953 469403 815957 975410 703003 259076 591994 961448 672206 561732 066494 796605 546063 822208 510866 367382 419887 751988 064120 524856 087358 727843 453273 114328 132752 716304 603136 410164 772747 682091 852535 978759 132322 958906 783225 726967 033476 912188 279271 704010 625007 735801 119272 243584 783152 777766 287549 146245 288070 914096 175440 784986 833197 221398 142873 671166 091463 247775 840662 924815 304814 122494 169493 063892 297650 375487 954790 306181 055164 970505 790101 776631 325873 991184 728888 280765 035971 387890 696315 122089 296963 547602 010429 578583 330736 114099 977214 863727 256498 241459 322526 024701 610379 406993 212548 494662 554378 292738 540558 806698 302328 087203 249757 833628 136361 353245 542591 664884 963613 433586 057355 733730 609942 899331 249371 977604 578073 291533 371314 597375 954277 955984 885832 238177 548507 289319 616841 343975 808243 568734 167719 479130 610461 445054 539609 799701 552890 103303 403527 389726 253078 431027 454445 425839 429422 239518 135625 644756 745517 547711 793601 896602 538898 780543 402187 042073 372006 763721 102406 519821 076349 840628 804413 587251 118425 412136 945007 969798 976761 531273 388898 261698 860767 840864 946003 853804 386025 784138 669109 346067 471622 953672 427529 268066 990062 429978 150816 955620 338810 251209 299411 368976 535858 283204 323373 013477 497566 596102 268108 820734 661981 346190 406157 506483 045806 483809 481314 548942 182479 740878 391929 086449 848893 873972 715476 557680 517057 884221 362425 761732 957063 450778 981036 855786 408237 284402 470995 700587 128570 551147 393190 014096 460438 443689 118799 769162 258591 340851 310636 361715 754420 630496 597429 536942 876110 387412 055174 807203 830838 425445 993897 794566 091330 306090 680518 607032 877709 072287 640760 669084 405466 049530 191261 435589 683180 140809 810744 451595 927869 569476 028712 198977 173520 320302 844232 743890 603901 881704 594832 970127 836995 836271 061477 658042 888513 809969 602504 983266 372299 770207 863709 672251 943405 610397 410762 503902 541169 669900 830749 070402 261674 258549 957147 294508 873519 861379 454414 466747 428104 266868 561845 407186 673467 527992 923037 596150 604075 872487 861673 547554 187095 500654 003944 817546 631439 756179 395958 729999 663528 872550 869700 112435 874148 409167 270667 141395 915356 080225 252518 182113 620873 647668 271426 344668 982031 680720 147603 390177 768577 342032 972776 267530 950970 068378 365801 886602 299643 566648 534428 947092 673250 600260 676631 412263 229689 505608 139978 281040 528076 102315 795887 257868 106397 128703 992919 988223 120092 803778 679982 303639 333614 537027 935569 252231 299021 791969 313764 239544 341136 106647 553124 286886 211930 226752 522382 294569 813028 445550 582143 454568 738560 255356 567607 682144 732497 485223 585525 532245 905098 597704 467819 253855 947848 018594 306401 725527 288043 571556 923396 346821 970020 476672 698684 724843 011005 093371 953622 436263 557196 682681 727638 687519 708882 982597 431113 615666 009164 797670 821270 500549 430876 747178 617437 809336 097301 647998 136556 452096 376624 802405 981398 180900 850009 356312 307615 030861 919425 113678 057486 398612 392244 075582 866061 967881 920041 364112 979295 728499 494494 940455 272634 133548 866149 615247 875662 856462 623083 659137 202731 145145 920101 650578 572610 780487 938987 695428 941491 025097 447345 311892 777688 212668 377698 281882 860591 833575 541395 858684 027682 348246 301453 467570 036075 620977 760177 010736 867940 584187 402462 859260 829005 380481 580302 630557 772671 493516 177504 884297 601813 786351 907709 433887 988154 929148 950499 254359 758554 361320 567454 507648 051490 964688 279487 516711 391068 907228 703580 125593 185254 651709 846800 840403 081064 094632 169644 424372 609260 089229 293316 999723 393624 419304 212462 376523 251394 737931 750311 053477 388548 236121 364211 964842 518381 910993 170491 959323 067906 854612 906694 702709 186056 191786 895916 312117 300936 354373 472483 625008 268338 954377 417561 614388 842290 277430 446662 952549 230935 505493 024785 066818 085686 177437 452051 806918 808044 979091 131863 210823 443964 166743 430949 703065 987718 352879 691256 334727 259060 187934 949892 067926 240875 038364 586006 376821 899105 317336 884738 045562 165277 934370 434564 492975 272751 392895 558139 030243 874441 315382 225337 112566 786195 184552 695675 645033 304176 992966 034487 396395 169556 847078 947323 910496 976845 203160 904212 285073 951147 787234 336474 125996 561004 437122 789305 526698 859108 748233 260463 995411 408929 227487 041819 122312 762480 950468 213248 593868 021640 107025 755978 360948 664855 456731 036000 141912 546269 268936 392027 032437 778298 576973 927605 581095 454466 656153 331370 090781 615042 320680 327831 620180 624515 966409 110579 856518 411056 091756 813424 701950 723490 195048 134007 145305 331724 688150 286293 247925 347736 268646 929837 822457 338802 928233 738137 564608 182430 553092 639740 242153 123985 735456 144971 826693 255186 622609 603305 337904 890992 883319 523629 850978 602567 348698 571125 304909 610430 832264 838725 097690 625376 734537 118792 149718 532131 084844 838983 341997 153082 985803 828410 070766 449060 864296 009856 552615 643240 120205 103967 908194 132429 022154 698815 973503 552535 576265 763199 699943 662824 968881 841645 678736 574586 609729 617828 842421 717574 418355 333298 864885 878650 518999 252939 540498 111638 390375 723108 557342 276862 122007 327650 324510 070885 468609 366861 726638 546228 709558 557850 699764 418617 536427 744047 894224 522528 784741 370889 363726 223423 797134 934148 988468 993919 433840 637690 329790 280927 978758 454631 864113 993200 303226 428868 616292 539383 992410 014743 141980 094068 329427 521346 457034 666446 188563 810587 673985 829913 182590 665666 159039 923864 169540 247835 648078 987215 867968 779367 903227 093650 424949 741333 396218 699315 995985 781672 574549 545446 287125 378883 524384 631619 715495 543443 094277 342459 354838 257255 837877 734731 532398 090446 776213 688641 178146 736978 101343 974635 685760 907804 745836 757386 276956 870051 152281 553507 086982 871087 217214 936827 981674 462406 502507 628142 162119 779717 044073 566240 158758 179532 574716 713625 857606 279256 766892 603541 825323 734525 244613 927203 796622 683940 218946 577217 384284 820998 984462 331575 820760 950674 424909 539442 608632 244160 809953 652631 820368 861514 827489 564152 746833 142536 100398 889669 044936 294490 438475 491827 506558 730220 275869 037023 453077 826067 622027 272469 668329 378885 152513 996188 482314 802056 629065 632446 428441 176930 524173 919610 326697 666990 075977 259665 001720 156326 350507 698968 230524 844762 653627 758592 408074 827067 318372 553084 897673 588663 354668 476483 706367 650049 421383 046758 237264 597440 464412 678174 275061 887620 910180 983430 637160 312174 990585 951339 861254 122881 587341 442846 305773 940297 991888 790116 477892 878725 982758 743943 286129 379383 720848 000795 527096 840062 041296 587864 304539 383696 286479 805212 341107 660375 680983 244949 612359 118209 370256 358700 054366 187524 083892 489374 741036 998043 173538 831895 594249 413357 226605 811447 307005 814751 490975 923275 060918 419648 983701 218216 134930 055881 466301 249042 935920 170841 750753 183898 371853 804593 150346 644786 428303 168040 838794 684940 601438 777911 504503 667408 637580 538641 801920 682887 038351 906080 505049 992590 208864 300839 132177 665424 013428 170386 522706 762485 933600 252350 039875 979148 065570 001906 069312 805600 928295 098922 255764 647431 544414 505968 596932 585190 653019 292919 512665 216430 840304 498180 023760 332892 579906 504291 116987 261821 074741 883214 256640 539079 709396 747203 038190 451337 768829 142002 192641 991370 996454 831007 637764 217574 432713 902661 817899 664824 646114 334553 534626 481953 779790 978991 766561 399365 604385 516157 708452 295020 651041 433776 947403 091722 909619 286759 565418 114181 750240 308053 752966 434813 944963 379548 754342 937687 438978 405547 638039 148588 857061 321115 873844 867758 891691 755025 544526 256526 041774 752656 282812 959565 317710 875267 670301 853452 497302 260011 928643 424707 244677 406049 185463 686300 166850 110839 438526 123167 317876 011340 618826 748354 026833 206465 504574 798205 216863 202755 172715 595828 932012 087499 103292 994558 463853 076518 012073 294416 950412 972996 024646 499058 917329 618257 971544 820084 060275 567474 896390 950473 377003 439264 796571 243702 443189 340968 855879 059638 443169 653307 371081 759074 094312 582896 103363 738276 079667 449331 261122 982237 752216 758930 299590 452069 884305 683317 903823 619644 241808 315477 043887 181636 099446 029040 706219 065953 606904 293960 340613 265571 132208 429735 270389 586512 568600 699329 240381 150568 716486 019713 704105 893210 125670 531861 039638 837191 454504 452851 068970 551792 563060 502050 455536 221186 328986 801704 909865 704566 002772 035976 601533 240529 082241 232282 343035 755579 182893 367011 022103 655165 422746 199874 481208 796040 459391 746562 090738 269505 115159 798998 943440 292544 250935 578790 450863 959581 521287 337111 315648 096279 863777 870217 080968 540533 179090 101395 355387 336059 201079 958348 449229 243734 020726 033614 292299 073040 965131 450642 303768 898015 246905 018017 120483 006840 840835 542527 880958 183058 679161 680558 819192 769507 162904 645664 078318 103888 830467 402493 071052 368851 423789 921023 996034 752716 529773 588587 461889 816444 130907 427169 608091 523504 844842 338342 564810 759376 803744 297549 643313 498220 647974 783315 201536 348906 595230 556679 965515 926843 270432 404530 107891 823753 541782 391019 877746 100844 306153 759912 292020 905399 707620 492028 330700 273457 951760 256087 387321 830015 455922 803116 704978 753752 825359 950782 042992 164106 121081 603087 749214 756655 081076 436559 126794 455015 887144 328443 714716 706820 364872 295386 555081 939347 707991 023852 634643 635137 369463 431305 266742 739455 036964 842909 616617 787658 416001 179253 510762 267188 832158 002562 122048 131194 124678 395273 006890 884581 661665 001327 315936 501549 539639 694702 325632 352803 956246 634968 760535 829349 401749 694550 710661 295567 711357 465639 307469 353806 477183 591809 611995 378743 772577 557785 859928 259567 792193 544299 426749 283982 052369 753647 479107 128371 759360 970216 993347 951652 649466 377065 210996 925260 342868 473496 345140 551610 255849 695572 936401 136130 519689 449235 166345 917136 556613 929123 376678 025219 485200 291154 589110 460326 965235 001197 137164 981813 930525 068310 211834 838690 198229 467343 656616 939047 187655 424965 086370 826327 712950 917698 558598 616004 445637 205916 366629 740842 756981 612089 213718 835759 622042 145082 483276 735916 977636 915341 151286 722003 247641 884650 281057 572054 747176 124748 310198 346688 315603 248870 967218 570674 790839 271527 347336 758216 588421 620545 469071 170820 425762 537656 849508 826501 400004 755818 884916 131687 649088 541108 588853 223548 599893 637540 593717 680063 218350 053012 641849 388671 245557 860752 237299 862508 976383 929491 381596 265214 415761 695703 363345 179754 389046 480495 906510 670081 755264 072148 010557 790176 006999 010227 018578 507101 357380 300130 477942 668088 788666 867335 213928 305221 677729 120996 096263 418393 797730 823018 457323 619297 585711 982304 527324 063216 346146 474527 317215 014486 835245 329324 614610 630503 056581 616046 757614 698607 108630 043984 086303 069247 276400 383548 015788 926987 888539 574518 310670 888607 899842 543765 438473 314102 256681 990468 743240 082809 298789 985830 047630 240267 350113 605019 511496 378856 514072 425824 795251 225247 240137 433123 856438 039743 709340 782139 069142 553336 842732 690976 032378 718793 309415 554780 556081 751882 168905 796069 763624 264143 471616 233104 605173 491716 519303 612210 330542 429530 192050 308433 741602 632917 223233 052260 110040 240507 164126 833195 857782 118803 764547 574010 685101 017655 359566 137555 832125 266339 168101 985765 279979 513649 526401 910046 376635 665101 973322 419075 465113 973158 140739 852568 347781 367182 380331 879681 814556 943863 490102 211214 440239 215153 549359 887141 780416 020915 681109 295509 886030 315594 627223 285983 579808 015551 544739 195273 967752 392148 545950 331207 528081 341348 142864 704854 857775 773277 500508 243367 834383 658138 353539 176882 619297 023056 168658 823373 994810 469848 469232 380035 370535 336430 755520 032357 509819 634619 878356 193296 700946 878060 025386 543271 880874 713544 449500 776889 943841 044946 133350 010156 912698 789539 767847 866256 734811 402426 286146 806929 668442 902498 696480 234895 526932 853089 063349 372988 241894 161464 520837 181657 237882 898097 471360 450448 039160 602935 988939 709048 606989 467196 027329 812925 566631 387554 319666 367727 477515 189884 079393 302141 783106 874514 737107 738245 435972 866285 469122 586722 326402 801399 877432 508265 202544 982230 272953 539176 385385 780564 666677 770301 647062 390023 330305 742233 889006 339577 112167 260116 219501 706167 528307 060971 334994 414515 657256 508868 672852 998563 162723 523223 370315 420306 629906 385713 906852 577473 661539 442682 608719 666096 824798 372105 419508 407064 122723 237826 356059 278870 678484 520002 555015 615082 569580 951363 313997 613513 001217 721458 476183 620928 483007 820617 378241 144528 032945 235709 860936 230165 220282 397132 549210 514346 341823 880532 274976 129968 966214 691300 790745 884766 582918 318989 307610 019409 905430 043038 081285 045633 221964 217839 196332 833248 624469 039034 994376 644957 550585 637770 171030 747860 641024 857191 097194 955063 197730 524503 979075 190288 494450 058239 365887 115223 760166 393509 041775 823080 934586 628571 361771 947715 139387 733198 877589 371645 920128 021413 030407 084678 448922 866148 813716 484181 727388 490327 453498 340653 763796 502657 176881 908420 500973 458372 356561 480118 608564 610453 810276 061952 984157 790721 560270 549318 191705 893036 322983 199032 217037 558965 002249 951540 574849 340319 884172 214201 488983 554773 685890 035488 100134 793915 181773 322355 037008 194633 835289 792625 377308 264838 113574 190088 603505 960681 855504 093409 284620 923566 859763 609788 372590 724509 267607 596636 560340 638802 154650 431685 137437 889741 937396 844320 675898 060787 681222 148020 056085 751669 473643 655814 672137 775546 206804 349567 332088 822836 665374 127598 084435 936103 006039 570507 697158 569006 092457 065643 268337 634930 169506 574257 209861 195904 253836 049608 894355 361413 513585 584032 830489 580015 847882 650761 538132 493309 622856 592156 380544 801521 141107 522184 392641 543808 936567 162088 444641 299096 113413 642065 057028 799521 282512 911543 196811 919325 851124 425499 725238 693461 404634 710765 855382 275244 432675 127308 060911 788673 658504 180000 757288 014005 059023 249869 970117 050695 614557 545919 876462 738820 084722 271931 253436 756593 088278 023558 993483 263073 126347 499614 873379 869306 908552 764959 833720 973649 902197 343329 782606 785715 426636 025986 113556 859063 935984 604995 082451 054335 993708 163371 210513 677852 997608 964729 188722 732795 272674 069395 388065 606462 797440 476404 487854 987916 025664 231424 058801 079449 937070 297774 907161 041880 253655 059152 598567 166742 207767 611846 805859 812276 054547 588002 857363 574465 047032 705551 496211 756410 834298 378206 683690 347791 134245 368454 710452 955499 074083 419418 743032 630089 155623 977283 288017 959738 022399 747997 607030 320927 670926 010032 540172 343056 326913 796176 838336 083037 202204 131886 213725 372812 092281 489454 344410 038537 118690 942661 991157 062121 437248 429828 894916 776221 701753 889118 571459 369447 833957 234250 953938 296410 318691 166554 213172 924650 380066 492490 276473 287052 461434 196341 566262 922843 228198 650245 195696 249725 046863 605533 621035 066529 601185 786091 584637 540721 882405 869693 101445 445708 678550 606856 583082 002281 755465 941214 054337 099144 225209 175650 769670 232866 169892 784184 954601 637909 987671 197804 247288 800518 685219 046499 654849 016269 684557 584965 390684 284400 948230 623764 984825 910044 147305 430103 595549 647505 736551 613674 134751 115572 603785 604437 090430 673406 231795 211481 026300 529630 283376 799320 085225 314545 100369 232634 486143 402271 701389 728534 451988 316269 580493 657075 208140 408726 771222 316240 852445 092288 732119 383340 009186 402911 961676 134355 965308 048333 698758 345405 466267 398861 009206 019711 909476 558601 820101 160825 760453 958909 479003 113221 248563 850781 201971 713933 281764 688137 380087 577919 899066 710602 851987 612508 386317 571730 260709 088142 302858 295537 133353 291082 519862 290330 600982 686327 140532 724310 309758 075107 865146 406619 232988 016227 273270 877072 139125 066329 733313 874649 678122 825623 789841 120148 910534 113224 072153 383829 061787 854287 963319 712255 449322 927851 955517 885123 317063 960099 437429 354729 623796 379983 733688 142929 540989 060517 814963 566245 676371 879319 050377 419136 742765 178629 917570 334252 003689 952338 814889 342898 245700 447490 529274 795679 241587 402342 116883 979785 825296 204813 698312 006551 438069 059927 866560 602948 865524 828828 055310 541716 487876 419063 116652 149097 502984 216389 956623 239164 344897 505525 581580 045432 248656 394895 792645 267615 912860 543524 122274 946663 839999 995815 084182 244927 746812 833768 228935 143586 004535 853316 199404 358284 932484 098129 377499 439826 286502 052787 490543 591236 599543 179098 932267 531445 158069 089051 119894 383870 106029 945454 154939 228396 319656 924558 522044 450152 979277 041104 270509 996763 772319 682776 273092 515555 360226 608629 402838 964301 403284 342176 687469 830674 950475 468512 601369 807532 995900 251154 747329 990226 887233 393292 127288 134201 744533 279142 792760 754929 218399 635869 956816 587324 514719 694744 879692 542331 177559 900848 177801 065067 423474 206599 341336 185374 372730 924824 088571 280265 319893 810166 825838 956968 567406 824777 896676 445065 096513 088331 886270 898796 068504 614155 225820 833276 305436 179809 556915 581888 911081 907914 447406 458104 209684 545168 415962 063826 040695 008411 289320 457896 129582 817933 774787 342347 263225 580926 307000 075278 142934 103484 860004 082310 225505 261596 945174 318101 745607 245180 763904 143289 685941 075798 831629 663417 719626 048275 227573 412052 652737 126951 117799 364497 040222 390658 977389 871783 195884 473452 849717 790907 041776 917373 209030 433196 986778 160395 997278 805283 560236 971435 890325 261636 815800 931371 100387 830246 773702 854545 557466 946118 850883 553436 033010 342844 168118 408179 061773 906604 725256 241896 650711 769669 526353 013947 039559 063053 707293 734988 328416 854252 537974 328977 981091 234429 292050 642513 810313 128615 947380 057852 003431 390387 190548 060141 800676 888593 129727 504897 113955 348281 551459 117938 022466 157216 082995 368404 504236 400806 665227 235658 334539 513686 164683 191217 472615 029704 353256 638100 998568 352187 952369 290434 365337 176256 610832 886779 406904 326975 479616 141682 589271 604100 148532 728347 800191 525947 335930 038605 535858 954902 531446 104922 500504 047087 780312 286542 480144 723545 941277 419858 461637 627268 434996 641095 411406 279279 524070 160315 244147 145987 651872 306469 144676 309586 644701 622413 295884 164916 857243 458299 074981 821823 248855 632512 046569 765912 737117 001637 455845 832087 299701 501910 880169 667068 865953 968394 713257 828142 671749 570344 245354 156088 875985 145947 984923 256338 382607 034108 062770 081810 054237 613308 344555 178944 848210 746750 285405 161452 461342 274937 091272 702102 262123 162518 511696 854464 836715 219249 898233 066580 073218 408178 910085 911910 800573 274734 245339 436391 202607 530633 827458 217134 945211 457757 058709 731750 864605 351649 224034 500279 035928 973734 920133 874252 460231 039391 149874 755245 374977 831175 263711 457309 551812 087640 593140 283095 079476 401134 702752 313347 338541 220039 618992 989199 453501 339243 461570 176270 514549 806796 345489 972045 328731 021616 879316 688976 947271 150226 998362 565074 200433 479049 056999 257935 980796 439061 199214 605814 711630 306506 828396 139777 639337 740538 930160 677581 890234 638772 825617 528041 802441 283815 496719 976246 978697 363552 061988 486453 542608 063889 492476 216783 992341 524711 963026 053704 324531 329122 269723 427772 810900 341485 353399 970244 956730 386399 171784 465752 433367 364651 578162 532033 319754 972350 592450 749607 929628 651223 754956 342625 004175 511797 586767 501061 948081 276083 320103 746557 012428 074197 466541 670828 814094 031789 364922 364697 891015 371354 135338 558139 110505 237930 805077 113911 635777 253647 080449 878712 470288 173196 666462 579995 717673 036847 990253 679196 949602 983715 074524 575359 513018 974996 201757 318384 682116 090397 008606 021344 445222 958185 309378 152294 255187 244358 425792 792133 222318 325464 998150 474121 876913 016683 986151 305625 786156 367526 004146 670572 288732 394823 947568 757571 215195 412704 812218 931772 620136 458201 538974 468834 700288 347370 769204 685684 949087 399875 853436 773046 872700 826802 520400 683335 206184 723629 163115 877458 044527 775340 556398 690044 789165 291184 643303 410449 984103 718575 479256 352456 765440 543698 851808 188532 552702 098761 445441 122501 968739 004077 929893 602560 495609 317126 690287 837867 696462 972936 530056 331831 534562 233692 980735 133029 966062 365566 555981 141195 011480 320354 111977 870376 341597 867866 105878 403616 519736 896569 794545 367399 253811 706804 649005 995900 290949 868529 378344 418872 226433 049444 382448 942976 355782 240571 199896 209266 012426 352128 212721 451550 475580 108087 968567 148186 051607 302907 015294 289088 704436 580102 789403 922276 840924 558025 948677 909855 752090 687203 572454 324868 524085 981314 725502 664619 099298 402529 772617 300630 560632 802572 327928 003665 321345 571120 398483 687474 135691 486385 963251 592811 598222 209006 716717 450428 719507 553211 840210 436689 235136 986417 817224 171111 847134 824011 241386 373651 244272 061988 815648 680835 784153 453686 298225 230389 432916 523957 378975 480167 864786 318294 121497 863517 432617 736585 554010 577468 404821 285644 821438 282426 761383 427380 564557 352945 579173 307588 467586 067659 968814 622621 729903 432784 792926 527480 525385 340072 566749 278517 199485 578131 654069 843350 103226 958032 091273 950252 645985 553794 163183 939983 260604 081466 136113 535550 595278 404108 369290 269413 095482 312895 135778 294243 911368 272989 000059 333576 270764 371747 141220 658544 885096 696446 333017 527738 250956 547132 807671 724515 480366 594000 705351 287741 022401 771369 786312 089217 846104 337992 998814 752768 702392 011787 775167 323451 287657 866479 229323 057786 665804 032248 535519 224938 368059 430480 140973 323627 077868 599632 094008 747723 499262 872114 029237 095614 343786 298347 922985 931907 022503 362836 354766 602608 072702 777885 855317 141984 562220 332481 798874 578945 025940 279565 095033 811094 358478 121316 053487 367653 882083 818910 064903 319752 316157 540141 707322 982884 913783 195807 183700 318066 308139 083608 708951 129486 109130 968487 248271 922734 199725 225540 538400 285085 383136 573642 545037 307735 564160 466574 779992 513190 011419 303458 503332 665954 730638 269099 865651 820404 551417 245462 170498 387346 543195 737999 111964 277281 171169 034859 112759 551904 866984 847110 724212 428962 650297 380770 174964 594113 846939 096419 023757 353582 815249 724224 544057 649050 684965 460627 264612 487078 744397 827219 570262 781431 425844 146140 084170 076357 072431 956807 977037 438005 059512 022826 354459 437828 885392 176635 581420 713080 750537 363251 127174 170308 834380 096753 126531 238626 421449 166126 242333 297624 529695 008369 762196 419603 868306 929843 830541 585893 324358 851000 365469 320765 776148 187111 317770 762891 101650 401982 187012 412527 040085 545072 496208 455668 670275 975090 550313 057437 766426 404930 234464 039620 042788 377508 750514 123689 905912 403457 924388 779542 176593 869703 975723 997901 147793 736029 882081 059724 218358 676828 075970 842395 145926 217699 830620 031903 423372 594948 395794 539680 024820 686847 600015 < 2¹⁰³³³⁶