There is no linear OA(2¹⁵², 70913, F₂, 22) (dual of [70913, 70761, 23]-code), because the Johnson bound shows that N ≤ 15 257610 273306 493625 114352 295803 280212 781292 743939 833478 333578 263123 676814 810631 635586 655760 789750 289212 280704 099105 988773 206890 756374 383559 531575 550312 569423 421759 457841 337749 285564 502893 391499 803760 120417 411331 330140 006173 122356 659848 410616 198910 002047 953622 871939 981170 417296 520035 663919 986371 842861 365089 568368 829184 187665 878310 422741 696143 864499 677567 862212 655322 456163 833379 503668 692525 302985 364379 702796 648060 879670 347515 839366 238030 738293 229850 625944 608063 654485 476658 538240 295769 020631 353905 106543 356295 400527 800510 639651 096875 608880 769989 966267 903808 384167 579610 948554 621003 494857 463453 794138 018763 291106 464601 795483 744293 197479 434917 565429 094945 559222 921419 348746 846344 195364 740028 778526 576242 712138 660581 026800 283019 727331 560589 705364 614772 342055 012070 579208 592009 177177 236310 543930 920579 926540 070191 555424 390692 892659 233590 758827 982556 516606 410641 399329 627231 443313 820684 119902 129088 071453 439341 124522 180768 630635 912400 631470 106908 546947 326236 449232 525893 038373 150492 953565 406203 082456 105969 230411 733706 121613 771319 274215 623380 724504 189403 293736 877078 890324 518380 078550 102172 258053 737513 712442 504742 815905 208100 349565 313424 943232 513812 541905 195569 847807 284361 934700 985690 007739 545007 527196 522747 089130 244475 550169 692224 183410 489720 527025 994838 470245 622912 161701 637345 026240 831971 215278 975246 535441 875776 955218 325497 605575 242232 236184 097416 751392 738494 026921 502512 749213 992189 317606 345576 960511 413951 633417 879006 475896 642444 252925 976594 443411 861148 848375 800852 187467 630947 227790 766211 911410 450398 634333 207162 338585 917469 614507 874554 209935 453553 448364 098670 797762 443719 608714 646987 876313 465983 001878 512817 364731 775005 676362 582372 978547 160523 266789 277812 358286 540859 253146 783352 934581 117007 594316 488039 280329 669637 050375 581915 127393 470983 130546 440466 575058 444507 710471 546209 054707 392745 008652 373338 063152 916520 860860 023702 869940 008328 661405 430724 349751 482962 127276 384617 379221 979695 784514 536165 916382 991943 630496 565576 211557 265600 577737 043027 768982 259943 165269 034596 507494 368956 919896 621984 790803 072930 977297 968213 831525 217964 771302 566193 273857 673788 313836 411972 866155 476761 586552 485939 917172 850014 161213 128413 375847 143635 680234 185890 630404 581926 970849 620370 803396 218723 973629 650181 269337 928644 625561 485368 645937 994122 183719 034745 173270 367233 167033 105335 409801 534880 589744 439947 574604 732379 521506 876068 876707 662020 935488 247661 134130 467455 678673 102795 248681 948854 456856 727843 677495 966482 664212 191135 605363 490548 803087 859030 144607 732874 122249 636839 404826 779895 121745 512436 226594 923791 920528 447722 916367 857573 327462 560188 913506 137516 215354 221307 613335 885499 642263 480081 078851 522437 129337 790803 381803 985727 936787 092057 508670 705996 799149 097813 470818 604455 488862 558028 519708 458562 578041 608030 620715 281778 614598 434366 288008 189911 418696 148732 897099 243981 130234 885048 333576 470844 886344 869452 141211 343998 559473 453376 504727 001172 115523 849687 469917 212355 186890 227274 468213 760066 755415 097936 930361 943904 509734 844670 285621 327320 338768 857355 523705 425068 580918 047918 618745 974972 176287 484004 709829 198303 726124 261740 189078 642468 796805 133252 902223 683382 842834 757603 576294 784212 496750 588848 538998 775454 465476 492096 479329 876137 699602 171247 812620 167822 481977 382153 292139 689755 503467 165064 188153 914469 609168 155235 546667 855387 422562 176478 377984 956578 881906 852245 323400 805109 238558 943756 193735 865580 434346 781091 292935 086001 490140 869677 684304 385369 347544 425581 311568 047946 745617 072159 430536 610204 713131 605317 695483 643967 447523 230861 678968 000978 039375 374646 981752 653429 584860 571496 521658 127217 620018 254941 397180 500044 959048 461959 456718 047880 717404 128496 674209 281666 764422 385936 081083 281252 693489 864156 720658 279516 245237 907496 132639 820129 445277 160373 530110 501939 681881 073648 413455 713931 656653 071309 480850 630086 029653 407179 517516 701602 579191 458697 755504 829259 654703 349162 876815 087525 268712 530030 054397 904424 121269 464061 147688 052007 912033 427761 322005 745777 818152 563698 114267 078382 043176 374826 850693 766650 160573 908987 669167 896607 304487 093365 846046 078976 460646 379876 748203 425327 500992 862220 497764 378405 188514 485198 909181 127732 109453 676588 574179 060637 200699 454464 403496 122726 212659 356519 758493 290527 072942 539538 108286 001642 875111 236159 952183 849154 753057 515227 143584 900160 885581 931214 203169 141099 047015 878180 600831 493424 017508 228284 833376 451379 837834 063483 707617 672857 938293 267334 751759 053163 769214 306723 084832 668984 678811 673927 038636 279729 427390 968184 897421 074948 184963 499423 754470 443882 890612 985503 499296 848843 919500 697962 720746 282821 253029 439753 283485 397538 339529 700849 247259 820641 682193 618768 579754 535096 264319 079814 816758 452246 323191 975677 583671 984314 596414 136045 640617 814241 113304 221315 019112 041515 351012 530091 579610 882144 379754 574386 166075 446526 910936 569331 976584 429414 173939 614509 387518 889253 950759 092359 339860 384097 079393 931573 207210 498930 255645 183938 924719 167859 166682 217658 224072 627355 624824 545902 243019 775419 719653 254428 032542 207802 798553 286331 328831 150235 372803 035566 979843 518436 651966 377259 742017 102243 740083 003293 477848 723575 336221 124086 836962 476564 007978 061438 401056 935214 363820 724090 045034 690690 475129 053625 278302 476556 583152 117900 190235 040358 286860 668089 496964 951193 502232 459050 524310 865019 512147 880795 465697 058685 646946 381623 788468 268878 771815 808492 808055 180864 706874 778594 860988 037739 823081 157299 180699 334397 091996 518786 891463 313083 116937 032098 183054 036448 809602 244416 483483 748332 458334 272838 116869 579272 373520 815737 405567 587790 939479 283782 556173 374113 680009 187353 947473 617200 248134 378421 561698 629300 644074 423775 287519 119186 606381 517723 709649 014257 056565 796824 377824 469439 871258 920631 970139 163502 694797 610789 032088 125886 717195 727632 739810 259862 905776 679682 723791 769069 739272 554609 765030 138801 823971 127083 867034 082199 665133 355613 858176 545487 077086 261048 579168 694791 351260 359257 274668 647915 908861 313147 740956 627580 854344 790282 723375 623170 724582 586437 825738 250896 211372 757196 610671 988441 686883 697606 575758 458456 132073 813108 128127 310769 647324 078993 588671 800931 971432 638904 622425 704540 621882 988159 423971 728350 956333 834708 161569 202038 443294 314213 236506 759623 800275 788871 531853 499736 413408 688630 542499 562164 320170 376312 973269 535205 504229 028954 691131 120209 341312 718422 534434 681172 460036 234942 544634 705317 148971 998237 491788 814289 627490 666878 373299 191779 263651 419747 804705 912755 950567 756517 224516 565193 621624 275383 037984 242470 987608 890725 995190 287823 383423 058555 963229 160231 823558 792867 436222 552480 197592 422289 385295 702372 631888 391336 337729 515643 468618 219480 233996 404956 079931 814161 050655 108657 341243 751786 046441 595179 232028 415084 065501 653547 677991 871308 726640 021614 958130 436920 558785 645872 285490 035272 024293 134560 767582 053829 461183 889971 616071 328208 804112 177853 657755 256032 789221 736830 452195 240007 487648 128819 779445 416319 011368 102820 473608 726628 208545 225909 140727 699951 873858 624163 467841 549288 072494 254696 302040 261478 848382 311699 936581 266424 661559 949198 681696 585879 076190 940846 513153 546436 872520 275017 557257 544826 605990 735355 070231 097665 104071 930706 692678 380223 538178 518411 488891 728809 510284 649789 014093 319538 963347 080498 931732 450583 751964 289960 094973 394833 713347 838249 440991 919879 125733 484029 390005 753311 671603 239277 209779 993618 822059 687931 765875 834754 365499 160937 353157 129745 849049 131267 960384 793728 135434 293695 959372 378113 964001 093718 223823 017288 075033 433475 401028 754572 275316 425494 059650 761536 296569 205189 763073 783689 292285 470346 278077 535460 307784 528792 722478 173126 491190 143149 711843 413289 523202 599952 442824 810179 390782 422466 367748 450583 129256 605006 673783 736357 898984 074109 007753 230170 830540 773171 352848 076519 407813 046345 342971 655169 592029 813561 439069 136259 025396 291734 838245 937212 507640 459014 837792 560793 175290 803369 185465 048737 583678 644674 829641 347233 045060 107067 356766 793280 640750 245014 320365 030132 020351 417327 100591 670290 289163 777401 032269 035341 542845 344713 673580 533116 701669 823984 688124 999453 394641 240777 941466 820849 652033 828124 464254 655389 740616 713199 723196 752366 572311 784073 977387 631886 996724 900295 397647 046935 891505 108702 422909 968794 910394 204104 102355 955903 192117 198820 025026 637631 638554 425888 850241 950406 438339 454405 544820 222554 703086 326739 010140 046085 095679 963847 962819 638087 426480 241540 175595 913349 869284 221828 716857 778653 723593 010334 376229 819830 585281 299100 314457 954709 579740 503909 133751 933076 908761 322312 826748 976935 469202 943259 063487 693752 143939 197247 029476 550913 214352 979939 849677 776280 140061 364297 213653 389993 635673 002472 069199 482653 693555 968153 826508 213483 106853 781926 276682 222406 281250 879240 905542 779188 452277 943767 832769 134228 211169 084075 671043 579413 966683 509333 695101 883221 093495 478450 477822 850641 316079 855826 592523 308153 124027 311630 587060 188762 326963 446411 367070 997770 691116 323052 104224 246004 378787 551474 105755 570955 345743 165409 729888 674293 400398 981302 143702 032434 180450 728242 266569 955427 756342 173146 940564 984918 310480 801102 009239 021609 808249 235275 584337 259445 376705 928046 317733 371919 078719 094331 278463 486960 186236 217193 842631 183287 190627 387476 671492 332150 933915 697058 953970 042947 779852 054987 694339 652955 447798 428749 414873 087966 019070 824894 967498 114677 156162 964919 906137 719220 823435 110146 052636 588184 658617 570579 619014 738477 630578 945986 595278 390308 144532 135076 020224 002733 159784 526946 148262 589158 480046 972911 189339 390544 038698 604018 594076 232940 894512 707938 909229 743361 810249 883536 614377 578559 413773 782640 538233 296256 808135 918847 218719 810699 846532 851579 155645 580123 332343 287510 263416 824777 037956 549780 282158 245477 697048 282294 579494 603986 106598 029903 123573 803565 060691 192373 256362 740358 460155 808602 815829 329262 239189 102913 920754 204214 580318 337739 960885 221580 429260 474470 075412 864036 335591 641571 460367 322598 738028 653116 340154 317226 090828 586036 390983 487616 615493 822229 634039 704884 751764 256751 892019 478157 848281 860627 183190 091904 220896 734430 211022 843689 347962 018514 289492 554425 314915 154048 715154 961633 689425 740822 055024 181667 110878 676428 025915 392196 435254 777560 145632 461500 696868 632240 603398 952947 990592 964703 846463 187855 796037 335127 305858 202629 206512 279021 909089 446687 295343 278818 787988 440528 126211 753417 516112 194820 976408 112119 123682 040932 833622 925331 439452 799482 944148 630436 397381 157169 196950 727654 555347 942793 193852 527714 434853 244882 233625 397560 984457 606577 708375 747595 713225 760865 933841 104133 884796 344599 572819 311800 302307 098290 277973 677900 864942 406714 899107 378012 666732 674087 281327 242661 384679 416776 133731 261694 305949 245126 686808 574947 703357 271334 916898 250793 509917 371530 408789 859698 513229 127222 921778 692172 254531 086100 763552 709935 225816 812314 608695 405611 512580 253816 456926 173688 245396 864587 369669 431455 179721 120582 096550 749824 814267 918293 924961 876896 387753 560164 636943 217612 920467 525446 987225 125323 341762 506400 362630 978467 470354 195022 571001 561787 963054 743757 312993 151287 591201 619755 534485 214556 228600 879777 935973 024602 877903 572778 930181 282163 968342 621310 576057 854792 572472 823471 836744 361477 474681 527423 677824 001906 843058 035813 478302 383288 483735 535067 322975 393641 258998 503136 964615 070061 409743 393793 351893 555167 919973 681674 371873 620264 007090 231362 363089 976012 012319 534924 566122 404914 155956 361632 805189 211272 111931 409556 941876 425709 804755 918324 926870 072928 508415 916788 380536 957353 042669 923327 452169 533568 976976 108589 745827 450393 684880 087571 154610 027880 908666 655204 339750 947046 418028 553546 629820 094642 371908 910937 992065 525744 449468 362026 616076 283817 729476 444502 266673 726454 764950 555322 987462 030408 406348 158080 264977 757430 055855 783552 355632 922159 718560 661102 397993 438817 212138 640190 370743 364519 695359 912146 325910 160386 368362 096664 965068 015526 348815 502442 665386 332037 504663 102950 571984 227895 881286 318402 380757 447001 478111 393858 558424 021479 785547 601973 539710 011945 984650 514674 579262 447489 994825 780927 531659 755855 110236 831765 791799 047970 952188 650096 409424 682147 655005 120209 784549 098719 540876 588779 975960 732766 686089 973979 949791 123354 682475 860378 244763 976171 467434 284119 306442 954200 704229 398385 177535 894165 963084 545054 642984 875863 622405 393545 917104 220071 569024 483315 928510 946225 582441 365848 454227 088317 338096 658521 258671 859873 254357 776684 639371 636749 647225 948005 723914 438699 222431 262253 783997 443353 670972 661302 929174 671966 130410 729419 737465 275649 159867 247875 603972 377207 146071 955097 529251 241736 023145 796348 196336 357821 380276 985196 867364 618405 854849 228781 599622 567460 035509 709406 420476 826933 812884 737366 656494 762720 064716 504745 315051 477857 264857 264521 985077 851684 330552 460319 459744 841246 517480 619649 715482 267229 972690 122467 936573 560306 713773 820404 947108 455546 123715 732767 752154 673242 614533 333657 041329 068275 434578 278397 022270 140870 377727 929496 782613 942030 545847 376629 019087 131689 543186 379722 260314 475854 353326 039468 554571 575290 267120 297261 705405 083556 926774 888933 715138 025714 091333 577824 988735 075084 525264 685843 620571 541472 811089 810209 047022 737417 096860 140532 671938 458677 438861 010217 482853 877647 660473 614751 182427 473369 669422 999978 752565 241589 947545 919438 927243 878514 235774 492346 997004 282930 689223 318894 935325 136088 922153 520242 389288 816775 932164 176739 423283 527652 683045 403521 768729 623957 240020 827717 653075 814325 744723 723601 294539 906067 846717 921050 727881 207580 957292 842042 361850 105928 527810 057959 061758 539740 626462 074928 497303 024337 768670 734195 607665 841130 726140 343056 257454 976214 109434 888632 120854 939718 067383 056526 112403 188729 075694 841539 786810 447445 867165 116371 417537 459679 680155 372695 956806 431733 719986 420166 213785 631469 996302 345828 292810 912654 354941 547979 175988 777812 239384 952180 544315 880084 042101 623489 073367 151760 759566 909889 981193 435025 188556 866575 063706 925058 835720 102618 074773 939165 373833 216760 746549 074053 255907 651732 217047 859339 454408 139296 476059 430754 577922 813209 659939 404564 527412 968198 754781 646110 894086 559369 980916 388986 765327 873798 004699 680657 409938 362759 618478 044452 503759 500421 492319 785254 277655 028318 447093 331761 183831 159465 966492 480193 498671 056981 059383 355881 919343 142070 355307 280311 779719 377653 416566 189980 198622 027767 737487 308311 562584 029211 674983 030949 317562 405390 428743 905120 176229 650378 507375 739444 770165 966392 199064 275148 514255 155820 223174 663970 557336 837382 309727 022490 826633 025345 036660 293828 022866 443606 900042 642295 902620 740267 129705 857239 326958 330459 014557 794420 859637 830200 209149 989298 597333 923748 702313 859298 182377 750245 442771 395034 296198 447550 776605 994250 201992 927786 792610 768540 055948 141083 068324 217596 006736 640633 221861 898283 293621 898251 520869 902408 151006 507088 838211 296813 998218 280016 520095 218907 151035 317552 220487 821114 835690 571067 069404 104243 045882 948738 222316 810154 384460 517027 281280 177835 192812 131489 776119 319173 031592 441855 008336 969720 435098 219436 107257 963035 621027 008137 453294 571804 781959 251568 929785 831338 746245 238650 093572 109814 815269 939057 319119 605799 983760 462213 937563 232034 194985 233009 722144 499127 751278 947461 355904 606671 878327 166616 482215 881974 519666 251231 150408 700894 575012 621062 019632 052996 175683 309077 987403 581822 624574 869765 214086 060945 006365 114572 565307 447749 137483 630879 655700 388353 258821 375091 564739 839912 234229 868860 835546 584535 278544 795842 917653 237416 406897 667022 572904 693705 638415 226531 119525 806669 174887 314003 698516 415056 198190 563512 520947 399393 528994 517182 641450 955713 485924 173699 555832 340214 016388 296639 982732 128071 091253 610260 459507 834132 631497 645986 352681 977791 048882 999047 403306 825348 026588 930207 875635 515169 267830 502229 923145 034671 090491 045543 845739 495611 432081 120606 951099 760871 268540 060645 462361 547219 501971 977970 218002 077088 705717 039973 333270 409377 855323 690361 238291 797322 283664 144014 339790 506056 431857 472678 082276 275300 643273 461574 550400 603406 631279 035443 357757 319240 691099 940188 449552 166600 790560 451450 082052 054037 736774 255709 262805 076936 102821 941546 000336 405533 084982 604538 977466 171295 096270 028826 655366 849364 151897 692455 776398 963983 826016 109718 856318 768431 199697 071420 046058 054707 120957 667849 340423 429998 192301 640647 341888 520144 548542 649986 543577 079287 525668 071908 161583 177428 699477 206596 692453 520690 936793 774712 867967 111177 171777 300917 311884 490581 541045 411497 904834 222020 249782 982882 108648 933877 284983 369583 938635 851464 737098 027689 182312 799807 294951 416552 269522 937763 274511 658682 889648 325218 306319 725088 175425 286683 222744 586631 833854 479431 989724 561070 110156 444695 139962 855347 514764 773468 825057 436692 750090 466661 571270 651522 740359 223308 332673 970919 090669 223758 120665 435213 785066 491504 502466 711409 399864 313384 079619 395231 563742 506074 673318 140708 960617 053721 195123 181002 738141 712586 380698 826280 215479 815294 802588 928668 947701 249870 691962 154047 679917 897923 328177 274165 047456 483326 093396 205896 731466 181439 791405 602992 383076 130534 086958 177857 626487 637469 860142 826842 676500 646155 711698 381328 173941 384669 595463 016565 950830 940299 748224 459341 397111 422869 420600 404912 372619 808320 179346 421102 900313 428206 992968 922165 458017 077877 013124 616481 833263 465460 626403 404811 555228 526233 928823 466057 501891 664969 074285 870038 521670 920132 510367 545096 930138 508619 386089 937256 216420 700208 426256 058973 104463 697822 004260 569877 684114 186490 135639 840119 111496 771631 671765 332191 444710 870367 930141 255418 269993 506118 285875 087461 129184 747378 776969 874246 568627 181019 298717 178976 062908 686922 275623 974952 186054 946220 339578 346597 301931 940264 148865 432461 606768 370794 036816 670183 870407 672667 154121 871146 212452 206004 041947 788867 014667 980816 571529 049219 309429 561209 374248 341995 537987 188574 501306 330461 933112 410473 119932 102598 906102 683698 780482 149733 314003 068928 174825 678136 316024 458198 395748 530920 074708 929758 660417 099153 744495 572630 100782 267983 689602 801343 121845 792275 457879 326666 646971 263334 149177 562641 737396 672285 506748 367934 233084 213542 967042 491229 681023 110937 433335 708605 202417 497766 048706 597795 420223 729219 655232 032549 749411 347905 294694 246408 760234 416439 122806 508816 985399 180693 330286 430125 842180 150117 686393 365565 779686 079681 897840 158727 603855 680490 249615 001118 734515 184281 313412 866387 564779 735684 026579 443236 666895 516625 107858 882312 683662 753141 804028 749080 458452 281394 038954 670949 419369 813205 242707 879717 166444 076443 431408 476105 735870 207430 014026 829304 794209 374204 922170 850523 932500 885989 502770 621691 540552 759024 013552 063082 581061 271373 115118 163165 580258 895075 179569 453378 826167 661450 803043 744470 493901 302742 200747 374032 643671 932519 648341 355498 968278 397306 622607 045338 793979 639253 050849 254389 833813 864495 115457 210806 529404 782954 118865 489145 874946 734515 155191 511256 829512 486133 611676 730971 234880 836684 023480 522317 900660 870400 706382 527764 021161 338558 243965 919249 172514 777821 444027 253424 146101 128137 288069 129549 645985 877310 754624 161360 811625 147230 308991 654225 470143 536013 644455 934915 681416 073706 614417 427420 353488 996969 437319 734142 318903 916874 044319 831896 419103 771244 871692 065998 936663 696877 057609 604068 003996 784878 774110 197345 649061 052530 253742 809615 407896 877272 717312 546616 872055 357199 630206 500516 313949 808065 629476 926472 914055 518942 964861 402686 398493 854991 629097 928728 905129 400273 339083 394180 253593 460023 385166 660468 703860 343152 144406 292522 495981 636805 990294 738819 223663 347978 427686 799456 160861 460255 653844 744221 970944 863545 608191 002974 805450 183533 648769 262642 722803 815992 068475 932363 235064 936388 926412 139082 368872 706201 378950 185995 409534 786819 124984 672347 547407 977012 648248 323164 238819 136804 843470 909353 270606 502604 544486 045005 369244 849804 344199 569379 086716 841830 737823 277501 824055 658893 064801 336467 174137 025334 364932 432159 083574 005617 594298 874293 516228 630373 641341 923735 891174 240795 297137 580546 942229 198262 366450 630602 940356 410166 063102 726978 354061 246320 922352 529520 287580 175871 570032 942379 118350 461405 201803 357952 188904 883928 131187 349030 687113 043380 909386 309914 632160 942555 850110 340959 993451 737682 842066 461982 815653 238776 306748 744301 639537 497089 828973 844815 341829 432642 765835 423983 358169 309504 680477 866124 841960 035330 926061 143010 214871 249259 293744 746982 097495 699407 896599 069684 767277 221890 400095 767735 624819 328434 935248 169292 695234 483833 961559 267894 262323 343867 207882 154955 310064 378543 167242 799136 245860 944895 418657 901014 053373 193762 710221 962967 890066 248974 606731 595577 302458 807149 425102 828717 610428 600244 423804 466620 865320 492991 831875 217548 636566 004761 779136 317798 373463 113955 434265 679532 717866 164688 942235 262240 555311 600725 468493 696595 198422 350937 544158 238376 589720 108234 696788 470931 800661 397431 509066 482322 091540 843157 067692 792853 544212 758375 163798 597223 523841 541177 642019 930610 536751 313740 657298 860735 399818 540006 399983 773223 247264 979553 468494 073068 804932 573914 186838 141296 755200 039207 392348 031293 996180 378364 550219 709627 742427 101400 114644 111403 795402 303658 128607 329722 582335 106743 031154 365790 054060 949708 381221 841070 708767 949103 608338 314487 109934 674281 458832 645264 852188 361004 274517 185841 332043 270253 054282 365634 036600 843550 343489 981136 192854 442497 198799 702856 369497 788220 743084 359050 512278 387252 249661 652578 958479 384657 561700 914005 185591 056481 940128 295018 804794 426947 650668 941968 624569 731981 903023 071071 995036 151103 519113 616077 885397 984233 395999 485488 248176 508766 613446 302059 836327 708228 301633 336730 440236 475245 503538 253503 696539 559963 379647 950795 150243 574643 333758 686890 802815 242499 185022 160995 712836 351635 372220 033934 564064 325059 210809 990201 088015 708085 312981 383037 529018 052454 209358 419267 438236 111943 021356 503084 430748 755543 753135 810508 849764 495052 344500 003023 932112 034652 069861 262208 560032 737818 540792 213198 013239 708898 361616 687173 672287 754706 183714 186745 939102 549849 604882 181901 294458 162058 650870 455882 796546 370493 372318 536446 521239 189631 845527 859867 357616 666233 058764 274596 137045 689865 572777 641188 448679 428681 693874 460959 222170 168901 410074 569093 490519 880565 697584 295464 974382 278193 303342 125343 690877 685570 833601 786552 028752 645399 177730 837742 524740 175623 482441 436465 360226 383845 291088 811804 636463 433799 097994 503438 063344 470377 470239 142031 527707 466158 346562 986440 717270 493072 893662 438495 048627 228524 787528 699422 644354 015229 903652 267056 327952 870378 211202 310925 632820 804353 078054 000926 176638 154557 888735 344678 779816 030143 052992 486272 910291 546585 137695 < 2⁷⁰⁷⁶¹