|
2022-10-21, 20:46
|
#45 |
"Serge"
Mar 2008
San Diego, Calif.
32·7·163 Posts |
Learn to use "Attachments" button (see below).
Your posts with endless rows of meaningless numbers make readers' eyes bleed. |
|
|
|
2022-10-21, 22:41
|
#46 | |
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest
172158 Posts |
Quote:
https://mersenneforum.org/showpost.p...1&postcount=25 He's choosing not to. Why, we can not say with certainty. Plain text is among the many supported attachment types: "Valid file extensions: 7z bz2 c cpp csv doc exe gif gz ini jpg log lz md5 npg odp ods odt pdf png ppt svg tgz txt wav webp xls xz zip" I think that type allows up to 1MB per attachment. Zip allows 4MB IIRC. Last fiddled with by kriesel on 2022-10-21 at 22:49 |
|
|
|
|
|
2022-10-21, 23:22
|
#47 | |
|
"ม้าไฟ"
May 2018
2×3×89 Posts |
Quote:
Only two more remaining data pieces of this kind are to be posted, for 26-bit (to list the LCS-generated prime exponents at the double-check (DC) wavefront and also show that all 26-bit prime exponents of Mersenne primes are among the LCS-generated prime exponents) and 29-bit LCS-generated prime exponents. Then the post content will resume its normal flow. Last fiddled with by Dobri on 2022-10-21 at 23:31 |
|
|
|
|
|
2022-10-22, 00:42
|
#48 |
|
"ม้าไฟ"
May 2018
10268 Posts |
While waiting for the remaining data on unfactored/untested LCS-generated prime exponents to be collected online,
let me post a histogram of the number of known Mersenne primes according to the base-2 length of their prime exponents from 2 bits to 27 bits. The Wolfram code used to plot the histogram is shown below. Code:
SetDirectory[NotebookDirectory[]];
fname = NotebookDirectory[] <> "MpHistogram.jpg";
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; Mpl = ConstantArray[0, nMp]; base = 2;
ic = 0; While[ic < nMp, ic++; Mpl[[ic]] = Length[IntegerDigits[MpData[[ic]], base]];];
Show[Histogram[Mpl, Mpl[[nMp]]]]
Export[fname, Show[Histogram[Mpl, Mpl[[nMp]]]]]
Last fiddled with by Dobri on 2022-10-22 at 00:46 |
|
|
|
|
2022-10-23, 07:34
|
#49 |
|
"ม้าไฟ"
May 2018
10000101102 Posts |
Out of 12624 29-bit LCS-generated prime exponents, the Mersenne numbers of 7561 prime exponents are factored and the Mersenne numbers of 5063 prime exponents currently remain unfactored.
Said unfactored 29-bit prime exponents are listed below. Code:
268638569 268638647 268660963 268849379 268919069 268919207 268919423 268954601 269097749 269183977 269220629 269241883 269247773 269347049 269403307 269403487 269478889 269515273 269515319 269515327 269515349 269515391 269523733 269542181 269542319 269564327 269577193 269585543 269585597 269594851 269603603 269640473 269673241 269687573 269708053 269725867 269726161 269736169 269776511 269840611 269888221 269943577 269957353 269961449 269967881 269970409 269984537 270004381 270037219 270037459 270037483 270037489 270049919 270066457 270068027 270107417 270109397 270131993 270155933 270178697 270183283 270203501 270203669 270210209 270210389 270210517 270227071 270238489 270322453 270342377 270350569 270361369 270368057 270371239 270371333 270371351 270391529 270428317 270451789 270452033 270461929 270504163 272624617 272754793 272755111 272862847 273411049 274084067 274242737 274789601 274789607 274843421 274965553 274966229 275034427 275246057 275344361 275350297 275377129 275507563 275507651 275533397 275533507 275533837 275533939 275694943 275769577 275833603 275833661 275833751 275861731 275894833 275894929 275895041 275895077 276165767 276165787 276165821 276165859 276179027 276179051 276179627 276179647 276179741 276179921 276258973 276398873 276494917 276494957 276623587 276663017 277074803 279964649 280652777 282632681 282767587 283241449 283312957 283315267 283315273 283315579 283315609 283315933 283315987 283315997 283316963 283317043 283317169 283318423 283319191 283319209 283319453 283319611 283321993 283324297 283324361 283324369 283324453 283324777 283324823 283325059 283325123 283325221 283325311 283325501 283325593 283325633 283325639 283325677 283326013 283326047 283326059 283326179 283327103 283327153 283327339 283327897 283327939 283329821 283331423 283331729 283332191 283332241 283332317 283332713 283332773 283332781 283332799 283332821 283333069 283333891 283334039 283334057 283334063 283334771 283334837 283334911 283335079 283336631 283336661 283336673 283336877 283336901 283337143 283337267 283337323 283337387 283337393 283337399 283337407 283337413 283337423 283337473 283337501 283337609 283337777 283339123 283339213 283339687 283339733 283340573 283340621 283340641 283340647 283340753 283341287 283341683 283341931 283342057 283342361 283343591 283343617 283343773 283344749 283344767 283344793 283344823 283344923 283345063 283345067 283345099 283345121 283345847 283347307 283347391 283347401 283347461 283347637 283348283 283348369 283348831 283348903 283349609 283349687 283349779 283350719 283350787 283351163 283351261 283351403 283351589 283351603 283351637 283351829 283352357 283352603 283352653 283352767 283353041 283353079 283353107 283353157 283353163 283353233 283353293 283353319 283353991 283354009 283354171 283354207 283354217 283354243 283354427 283354637 283355047 283355477 283355539 283355563 283355573 283355617 283355843 283356019 283356137 283356553 283356571 283356587 283356637 283356641 283357097 283357099 283357111 283357183 283357187 283357441 283357567 283357651 283357801 283358473 283358659 283359067 283359317 283359403 283359413 283359547 283360417 283361887 283362223 283362253 283362449 283362487 283364467 283364527 283364677 283364777 283364941 283365139 283365157 283365659 283365763 283365787 283365799 283365917 283365949 283366043 283366079 283366157 283366309 283366333 283366351 283366771 283367069 283367401 283367473 283367533 283367681 283368031 283368287 283368307 283368707 283368859 283369937 283370179 283370299 283371199 283371371 283371469 283371667 283371701 283371703 283371953 283371989 283372009 283372591 283372657 283372667 283372753 283372777 283374629 283374781 283374827 283375843 283375901 283377257 283896091 283922641 284093417 284388329 287148821 287372347 287372383 287372441 287531801 287617073 287728409 288116393 288116429 288264419 288351001 288365333 288389707 288389741 288416669 288416683 288438889 288439069 288439273 288459979 288460001 288465689 288469219 288477773 288477853 288516253 288592099 288600209 288600241 288665827 288681599 288699251 288746473 288761623 288761663 288791837 288856349 288884969 288908057 288942397 289009891 289014553 289034467 289052767 289057651 289081577 289084721 289084823 289084853 289084877 289086229 289101223 289129241 289132771 289153817 289200361 289224937 289245833 289247459 289255651 289262641 289326307 289326343 289326397 289326431 289360661 289422643 289432357 289432457 289447373 289457741 289469443 289469491 289483849 289483879 289483889 289486247 289527859 289527893 289528039 289528597 289531999 289532197 289555879 289568029 289589107 289608611 289608619 289609961 289610107 289623749 289634353 289644701 289648937 289648967 289648993 289648999 289649033 289659113 289670869 289689791 289689857 289696817 289699013 289699019 289699037 289699049 289699541 289699699 289714637 289719589 289719757 289719761 289720553 289734253 289741873 289743133 289747229 289754249 289754263 289754323 289756417 289770157 289770161 289770193 289778407 289778569 289781917 289790441 289813481 289827817 289852181 289859303 289883861 289991657 290022259 290213461 290213491 290213597 290221033 290286569 290304227 290513683 290513837 290537629 290575039 290575133 290677529 290795569 290849561 290859629 290876393 291174979 291181613 291181673 291181883 291181991 291182029 291226393 291314453 291342907 291342943 291343057 292283161 292284779 292284827 292311091 292770019 292943039 292956163 293217049 293235689 293278829 293279143 293726317 293727209 293804821 294007757 294216103 294236387 294546409 295537523 295814801 295814887 295858403 295988201 296397589 296723879 296762647 296762671 296772557 296774633 296787229 296787307 296797607 296797763 296797783 296823907 296829811 296867947 296868071 296893099 296893393 296908393 296912597 296948621 296949469 296963869 296980181 296980339 296983837 296988721 296988749 296988767 296988863 296988869 296995949 297015529 297021667 297023707 297028657 297029741 297029947 297038983 297039047 297059489 297062627 297069853 297074321 297087709 297096383 297096389 297102313 297110029 297130181 297134869 297137327 297137329 297137389 297147101 297150079 297150323 297150517 297150569 297158941 297158971 297177137 297189023 297190477 297190693 297190711 297224507 297224981 297230933 297231013 297231029 297231061 297239321 297246877 297920743 298117909 298201951 298445801 298840291 298924757 298945687 298957033 298976959 298977229 298978013 298982353 298983283 298985629 298987957 298989161 298989287 298989331 298989407 298994389 298994491 298995049 298995119 298997779 298997891 298999423 298999721 299000123 299000881 299001539 299001671 299001737 299002051 299002289 299003149 299005351 299005459 299005501 299005667 299006237 299006887 299011751 299012293 299012353 299012447 299012521 299015581 299015623 299015641 299015659 299016461 299016533 299017501 299019221 299019233 299023981 299024129 299024353 299024461 299024581 299025673 299025889 299026291 299029189 299029249 299029447 299029453 299030761 299032297 299033429 299034397 299035721 299035727 299035799 299035829 299035853 299035963 299037469 299037503 299037533 299038429 299038669 299040407 299040433 299040583 299041109 299041151 299042449 299045837 299045863 299045891 299046079 299046353 299046613 299047729 299048221 299048251 299053201 299053387 299053397 299053961 299054029 299054669 299055787 299055847 299055943 299056081 299057203 299057267 299057327 299057333 299059157 299059361 299059381 299060231 299060303 299060539 299061887 299062021 299062069 299062541 299063069 299063903 299064977 299065147 299065211 299065243 299066041 299066087 299068069 299068327 299069081 299069611 299069791 299071081 299074609 299075149 299075209 299075267 299075299 299075303 299075537 299076893 299077789 299080211 299082943 299083217 299083657 299084483 299086121 299086127 299086141 299086187 299088029 299088331 299088541 299088661 299090783 299090993 299093149 299093429 299093701 299094331 299094689 299096173 299096179 299098427 299100391 299100419 299100523 299100539 299106013 299164441 299249891 299327803 299328209 299328221 299356903 299356999 299397529 299397551 299408579 299408611 299408807 299428133 299475101 299544803 299570353 299570461 299570563 299570569 299570603 299571989 299598617 299610427 299647769 299705113 299731651 299731667 299748401 299811917 299812151 299812157 299812193 299864291 300009137 300059413 300296981 300673283 300673463 300699799 300701311 301331609 301331669 301345001 301345493 301525993 301667437 305240297 306213091 306246659 306246761 306387203 306387377 306409699 306491677 306637801 306703337 306932713 306990707 306990797 307152103 307152337 307288297 307291037 307291051 307334297 307334299 307334369 307334399 307352159 307386473 307386539 307386601 307390621 307474537 307497193 307554461 307573051 307624169 307636057 307637021 307637051 307716817 307755241 307786159 307796201 307797187 307797319 307798331 307816723 307831577 307869929 307878677 307887389 307906793 307919081 307952201 307957987 307959191 307975453 308105443 308119837 308120083 308120221 308120341 308130019 308175641 308200643 308200757 308603881 308685589 308961437 309390313 309407971 309720251 309733399 309733423 309733481 309733691 314567657 314698193 314805563 314805973 314895337 314979167 315355363 315452393 315845609 315863267 315935509 316140521 316173289 316337129 316565737 316732553 316732573 316732597 316763113 316873091 316873097 316908313 316909277 316977503 317153329 317450729 317476483 317476883 317476969 317477033 317582101 317637709 317637917 317776873 317798633 317837969 317838217 317872361 317933801 317982953 318016277 318087961 318108877 318153497 318382873 318437989 318438007 318444649 318605597 318606037 318829663 318867613 319074409 319074461 319074499 319074589 319173377 319193881 319573609 319735177 319840817 319841257 319855847 319855873 319855909 319855999 319856029 319866457 319873877 319874017 319892563 319897757 319916189 319935233 319936619 319936667 319949033 319961893 319962023 319964893 319974377 319975651 319977037 319977253 319981183 320000227 320018141 320032417 320032513 320032717 320048767 320052539 320057707 320058227 320064607 320064673 320076199 320098013 320098399 320098409 320098481 320105633 320107661 320107729 320125717 320128177 320131387 320143123 320150293 320150843 320161949 320162867 320163029 320165353 320175743 320178829 320178841 320178893 320178931 320187137 320191153 320198833 320218427 320219843 320235943 320236159 320236403 320249471 320257687 320259217 320259341 320259431 320267033 320286877 320288477 320289001 320299643 320299687 320299699 320299711 320299729 320299753 320326421 320336099 320379113 320380061 320380327 320449301 320537369 320541713 320541733 320541773 320541853 320541887 320703037 320703127 320926733 320926757 320926897 320980711 320980969 321067291 321067379 321067469 321269987 321392867 321450211 321460457 321509609 321670693 321832193 321832397 321971101 321993127 322105571 322310371 322316927 322316977 322333673 322587413 322632259 322632301 322639313 322749209 322771733 322800223 322800299 322800323 322992643 322992679 322992701 322992739 322992767 323023933 323024027 323042023 323072227 323086759 323115103 323115229 323162339 323164477 323167001 323203561 323268901 323269069 323273497 323324137 323364677 323364697 323364707 323367601 323367739 323394983 323444893 323459387 323484437 323513321 323514761 323514799 323541277 323545517 323560217 323576447 323612899 323644393 323727409 323767867 323767963 323768017 323848981 323863321 323928221 323929409 323929421 323929549 324004073 324016361 324068219 324068309 324129389 324223769 324414001 324414109 324574501 324574673 324686051 324729469 324736039 324736157 324736327 324736393 324895513 325083929 325121131 325121207 325121219 325262101 325546211 325583641 325720853 325843733 325864997 325865009 325865509 325865531 325865699 325866781 326165309 326165401 326185187 326200297 326260969 326497411 326497469 326511389 326511527 326656793 326833201 326833207 326833379 326994583 326994607 327406207 327406301 328821737 329315501 329315509 329413681 329456053 329560291 329650403 329876249 329879779 330059291 330059447 330165013 330220859 330297571 330316009 330352039 330352349 330402971 330402983 330455077 330490649 330543181 330547993 330595093 330598633 330617059 330624883 330693397 330704749 330705457 330705517 330722281 330733801 330785317 330785437 330793753 330854627 330854803 330885553 330885601 330995939 331000447 331027471 331027507 331027817 331115497 331176169 331185469 331188757 331188859 331269311 331269413 331269439 331269469 331269479 331553129 331657609 331671709 331672553 331756081 331756109 331756177 331756189 331768601 331776793 331933853 331965299 331985123 332000233 332011753 332052713 332098537 332135189 332156521 332156543 332317841 332360681 332480669 332550371 332746979 332802853 332803021 332833561 332911379 332963143 332964001 332964011 332964067 333021977 333071129 333124651 333124661 333124717 333285947 333286039 333435107 333563743 333686399 333975779 334072597 334162921 334227739 334713059 334886119 334886143 334899307 335026333 335035651 335035681 335059733 335070257 335070523 335070793 335070829 335094553 335096941 335140987 335141047 335141069 335166109 335166149 335166413 335181389 335181421 335181533 335222249 335257309 335258393 335262061 335262119 335262157 335302817 335309969 335310247 335312041 335312099 335332523 335332579 335332609 335332817 335342641 335347277 335347361 335356787 335360461 335364889 335367377 335383267 335383283 335387413 335395559 335403401 335431729 335432563 335437981 335438617 335440661 335456413 335458531 335463691 335463727 335463743 335463773 335463787 335472233 335472299 335479577 335480989 335504003 335575571 335575613 335595229 335651609 335669443 335698093 335747497 335747539 335747549 335769827 335786179 335836583 335851717 335851981 335930137 335947609 335947627 335947933 335950493 336027697 336028211 336028337 336028369 336028373 336042299 336064669 336097747 336097777 336140521 336165097 336175261 336192281 336225139 336238787 336243571 336270481 336270817 336287359 336359651 336388889 336468757 336512177 336512311 336512369 336712241 336714517 336784361 336904349 336906473 337045661 337193749 337219811 337224473 337312337 337319197 337455893 337480369 337543961 337757773 337757971 338062313 338164501 338291689 338449457 338770343 339080323 339080347 339080447 339093511 339093553 339093617 339093619 339093737 339766249 339863729 340370201 340373731 340716521 341044201 341473513 341732329 341952157 341995747 342027241 342616333 342642793 342642869 342642899 342643997 342682601 342915637 342915647 342915673 342915689 342915697 342924053 342964949 342964957 342977513 342985879 342985919 343038037 343038079 343038109 343038127 343073561 343126291 343126409 343176241 343214869 343274663 343274683 343274707 343283869 343287589 343287601 343287631 343287641 343287661 343287667 343287821 343288093 343290083 343318387 343368211 343368253 343368349 343437733 343437799 343437803 343468291 343486691 343509631 343509781 343565081 343583143 343603357 343635583 343636201 343757027 343768361 343768379 343771451 343771763 343788593 343852307 343886057 343964207 343964219 343964221 343995601 344013421 344034469 344086541 344086697 344086753 344094011 344136031 344136059 344136167 344174819 344176873 344240521 344240593 344255911 344256221 344262889 344283293 344336141 344365289 344406173 344416771 344416829 344416981 344486327 344486333 344513237 344516969 344517001 344517037 344517077 344582933 344602781 344627249 344627357 344627551 344627623 344632021 344658077 344659307 344659421 344676061 344699519 344739347 344739377 344739503 344742121 344820239 344900779 344900891 344900929 345063581 345100909 345101093 345334553 345338083 345416473 345581801 345654041 345700937 345700981 345868337 345868603 345868969 345932569 346024937 347158951 347398937 348142901 348152369 348158467 348158533 348167273 348167461 348167551 348167657 348208009 348220393 348223721 348224827 348228773 348252391 348273479 348276437 348280987 348281053 348288683 348288827 348289001 348302621 348302651 348328163 348329843 348369233 348391133 348409147 348410171 348419213 348419237 348419273 348427549 348427687 348439657 348439723 348442673 348443357 348454657 348455551 348463261 348474463 348474589 348476521 348476561 348490151 348490243 348490291 348490397 348490421 348490433 348490481 348498707 348502633 348508387 348510439 348518633 348530513 348530921 348533641 348547861 348558037 348570973 348579817 348606691 348627737 348628607 348666089 348680599 348680617 348680681 348693119 348707131 348727453 348742271 348781991 348821761 348821927 348853507 348853717 348877873 348883177 348901603 348969193 348993769 348996377 349014557 349032157 349053721 349095073 349095223 349096169 349143833 349168409 349688429 349688491 349688551 349688671 349688809 349692697 349741331 349987609 350062877 350340799 350340839 350340959 350743529 350776297 350923541 351004931 351004987 351663317 351676439 351677141 352218089 352446569 352446691 352524521 352571441 352643861 352727657 353133853 353233897 353614057 353890531 354056981 354406627 354481247 354481321 354535007 354621901 354657703 354726059 354816227 354829081 354902741 354902749 355143907 355225097 355225259 355283171 355385501 355386463 355471069 355475077 355477363 355479827 355479857 355479923 355479959 355479977 355479989 355487383 355487467 355492513 355492637 355505699 355505719 355506409 355516327 355516573 355517489 355519189 355519537 355520797 355523249 355523299 355525427 355525481 355525483 355525589 355525609 355527707 355537123 355540351 355540429 355541779 355547923 355547963 355553507 355554943 355557997 355558169 355568089 355575763 355581073 355581389 355583593 355583773 355585309 355585631 355585793 355586669 355586731 355588147 355588237 355588253 355588267 355588273 355588301 355588327 355588561 355597663 355597951 355599019 355599163 355599271 355601693 355601723 355608707 355608809 355612331 355613299 355613303 355623427 355623529 355625131 355625353 355626407 355628701 355630867 355631057 355633309 355634879 355637533 355637713 355640921 355641577 355642087 355648561 355648589 355648807 355653019 355654931 355655087 355655381 355660003 355667219 355667677 355668589 355670173 355673183 355673363 355676317 355682597 355683037 355688969 355689097 355689119 355689137 355693339 355693489 355693517 355693523 355698389 355698547 355704989 355705601 355709293 355709297 355709311 355709567 355730201 355807957 355859221 355870783 355870799 355870813 355870829 355871281 355871359 355930339 356167907 356186693 356186723 356186731 356193293 356193311 356193769 356315363 356354597 356354837 356418329 356640877 356749013 356749171 356837609 357130663 357604627 357615187 357615217 357641279 357641293 357641299 357641309 357643579 357662119 357685297 357685417 357685421 357690133 357710497 357710611 357725773 357725873 357725891 357729049 357764821 357766051 357766193 357767401 357789923 357797597 357806359 357806431 357813409 357813641 357854257 357854501 357856397 357856481 357864733 357865331 357882013 357891761 357892519 357899989 357904493 357913709 357913757 357913993 357925657 357927461 357927637 357931241 357935843 357939821 357945571 357947719 357948181 357949597 357952489 357984541 357997853 358006423 358037363 358038293 358047901 358048363 358048387 358048421 358048477 358050793 358116329 358128871 358149097 358265059 358675579 358729447 358729531 358774183 358816009 358837013 358920383 359045909 359096743 359097203 359338211 359393563 359393641 359393663 359393711 359393767 359413993 359419429 359419453 359419601 359420041 359545621 359567587 359580899 359719817 359719889 359781061 359781139 359809817 359858969 359906069 359981849 360016873 360052969 360065077 360065089 360065821 360065863 360225001 360348437 360381053 360387613 360387619 360549047 360618217 361116487 361325269 361355497 361356053 361360361 361880341 362323021 362323229 362323237 362867689 362869763 362869891 362869931 362923697 362923943 363010477 363010517 363045937 363046771 363253987 363332377 363432169 363506453 363613819 363615517 363615871 363715349 363775207 363775303 363776233 363914003 363914167 363914197 363975629 364246219 364259437 364315417 364482787 364575313 364575329 364581923 364581941 364742971 364743187 364743229 364743263 365711587 366297881 366465731 366518381 366838553 367064077 367064083 367204841 367309031 367309223 367309289 367646953 367647509 367663337 367729429 367782353 367805209 367808173 367808531 367808561 367808563 367808743 368045033 368065301 368081411 368081447 368108393 368108443 368130817 368130911 368151703 368169643 368169667 368169787 368169961 368203933 368292167 368316643 368342749 368390783 368453389 368453479 368454301 368483377 368509721 368534189 368534227 368603579 368603647 368630399 368675101 368704561 368744543 368744741 368750819 368752873 368769623 368776207 368776237 368776477 368801651 368817011 368873629 368925461 368937683 368974057 368995093 369017951 369018047 369018161 369018211 369161267 369161369 369161437 369176803 369223871 369223973 369301973 369349031 369713791 369905201 369905383 370031381 370066589 370066759 370101013 370176227 370205611 370227433 370356451 370550833 370551553 370551581 370711867 370722973 370866767 370869017 370873357 370873379 371034161 371034751 371103977 371227229 371258483 371276383 371276393 371276639 371297467 371312177 371312443 371349541 371349631 371398921 371407081 371437763 371503361 371546269 371599181 371599213 371599231 371629789 371650717 371658979 371679547 371679757 371694293 371716253 371722397 371723903 371728013 371734387 371740367 371740381 371740387 371745457 371745581 371749333 371758631 371769659 371771093 371771707 371774147 371774209 371774267 371774441 371776109 371779997 371780611 371780677 371780681 371780683 371780693 371783539 371793211 371793361 371794481 371800861 371807939 371811277 371811281 371818093 371821133 371821313 371828351 371830183 371834033 371834051 371841073 371841133 371841139 371841203 371841233 371841257 371844617 371844829 371851313 371851937 371852909 371855171 371855219 371856103 371856187 371856337 371856361 371857639 371858117 371858197 371861257 371861339 371861363 371861681 371861687 371864041 371865101 371865107 371866181 371866199 371866213 371866219 371866343 371866387 371870483 371875759 371876371 371877607 371877661 371878193 371878267 371878271 371879177 371879197 371879227 371879377 371880163 371881507 371881577 371881843 371882299 371882773 371883947 371883989 371883997 371884193 371888521 371890271 371891459 371891627 371891629 371891659 371893789 371893981 371895049 371895193 371896517 371896661 371900101 371900189 371900297 371900327 371900393 371900743 371901221 371901631 371901667 371901737 371901781 371901793 371902621 371905421 371905477 371905517 371906261 371908013 371908181 371908219 371910401 371910403 371910613 371910733 371911079 371911849 371911889 371912753 371913599 371914397 371914909 371916091 371916301 371916403 371916581 371917057 371917151 371917207 371917213 371918549 371918797 371919949 371920187 371921923 371921981 371922247 371922389 371923759 371923819 371924017 371924279 371924281 371924429 371926111 371926213 371926427 371926441 371929399 371929433 371929447 371929511 371929577 371930899 371931017 371931809 371932019 371932031 371932357 371932417 371933063 371933279 371933291 371934067 371934847 371935153 371935463 371936021 371936303 371936317 371937233 371937869 371937887 371938051 371938993 371940211 371941139 371941289 371942003 371942047 371942059 371942083 371942113 371942203 371942353 371943133 371944031 371944127 371944141 371944163 371944193 371944211 371945131 371945173 371945177 371945521 371946473 371947031 371947691 371951431 371954327 371954347 371954389 371956339 371956517 371958469 371958529 371958787 371959723 371960447 371962027 371964347 371964377 371964391 371964493 371964521 371964613 371964647 371967709 371967859 371969417 371969431 371969447 371969641 371969693 371970331 371970563 371970817 371971049 371972287 371972323 371976383 371976457 372002341 372002473 372003043 372056857 372075497 372079933 372081433 372101347 372103957 372163853 372163901 372163919 372163937 372173801 372302641 372302797 372324991 372364169 372370409 372450073 372568291 372585181 372634811 372634817 372634831 372648359 372682979 372807913 372963917 372970547 373131949 373132007 373156841 373418093 373418161 373525553 373648361 373699217 373877737 374485219 374579993 374906017 375374617 375506893 375793897 375942121 376015637 376197179 376197271 376197347 376198783 376198877 376652569 376829137 376842313 377165093 377809897 379744483 379746013 379787579 379787581 379787693 379822873 379891807 379891997 380033257 380068573 380115101 380124443 380124467 380133937 380148893 380149043 380149097 380169193 380185681 380185727 380188381 380206963 380217203 380229659 380229737 380229809 380229827 380232473 380254877 380255143 380266729 380270311 380274397 380283037 380309213 380325571 380333033 380350559 380350819 380350829 380369629 380372701 380385487 380390971 380391007 380391569 380391751 380400817 380400847 380418281 380429081 380436139 380436391 380436457 380444381 380445311 380448877 380449061 380455973 380456119 380458259 380471857 380471939 380471977 380476181 380480227 380480489 380484257 380484353 380492051 380498147 380535577 380538929 380552287 380552353 380552423 380552489 380552521 380552527 380560153 380561087 380569757 380592659 380592689 380592809 380592811 380592851 380609851 380609959 380619541 380633881 380719331 380752699 380850403 380879641 380969753 381085853 381197077 381317347 381359569 381393053 381475049 381520597 381587683 381643753 383044373 383243213 383970281 383981947 383982037 384086161 384086173 384086291 384086309 384101353 384262429 384318733 384328369 384328423 384328507 384328519 384343117 384343447 384379993 384401267 384405731 384410909 384411047 384423997 384438499 384504733 384519851 384519871 384519973 384531071 384535601 384539933 384544999 384545131 384547049 384552107 384553187 384566041 384571549 384577763 384585127 384585301 384585449 384585919 384586043 384592973 384592991 384593087 384595111 384595229 384615193 384615709 384630599 384643177 384643387 384643537 384643711 384650243 384650473 384652459 384662813 384666131 384666301 384666311 384666367 384674501 384674597 384678631 384678793 384686503 384702697 384723827 384729881 384743657 384746693 384746779 384746861 384755551 384775217 384779579 384780521 384787111 384855017 384885517 384885541 384885619 384946981 385069283 385231081 385231687 385462499 385546867 385549081 385553459 385553569 385553599 385575913 385590041 385669909 385714897 385781987 385938493 385938547 385938613 386001041 386001053 386079181 386267369 386282473 386490683 386532121 386603797 386682419 386682473 386682551 386682563 386682589 386824981 386843839 386844041 386982833 387035293 387044011 387191011 387272861 387328621 387328769 387416857 387488863 387489229 387551459 387600611 387608803 387644021 387650603 387650911 387772643 387811859 387811877 387811889 387812017 388089659 388089671 388212437 388781479 389016553 389075171 389412007 389412031 389412043 389425241 389425279 389747873 390476483 390476563 390476777 390851561 391471897 391683181 391683269 391683329 391686301 392006357 392196323 392207521 392207723 392207743 392218199 392218223 392218483 392227049 392244263 392244301 392244329 392275229 392328899 392332711 392356633 392363057 392367743 392369041 392384177 392409727 392416483 392420117 392428159 392428403 392431231 392449907 392457509 392479793 392479853 392480029 392490299 392493289 392494789 392494919 392495527 392495837 392502557 392503453 392509673 392514697 392514781 392516923 392527133 392528029 392530451 392530469 392530559 392530601 392530687 392538781 392542769 392542951 392550449 392587687 392587903 392597789 392610973 392611097 392619677 392643353 392644657 392651417 392651429 392687843 392946457 392974459 392974531 393042709 393074921 393110297 393364249 393619459 393619531 393800681 394327067 394467707 394467761 394572007 394656533 394926313 395051801 395071003 395071081 395071151 395071153 395213033 395232413 395371387 395717317 395717341 395877841 395913449 395989219 396039181 396176149 396200221 396200359 396200669 396478057 396478441 396585193 396946409 397800631 397800673 397800691 397813837 397813841 397884181 398691751 398905571 399262489 400072861 400072961 400075541 401336797 401362963 401363101 401363113 407253797 408249113 408460753 408873961 408939497 408975937 409007107 409007117 409007189 409007279 409007309 409046227 409060913 409060969 409147799 409147819 409147859 409153763 409183001 409186769 409211107 409242389 409251917 409347889 409347923 409347937 409377841 409387801 409428541 409428631 409428661 409428689 409431017 409442353 409498097 409528477 409528579 409528661 409528699 409528703 409535257 409570013 409579747 409625369 409628899 409639073 409647893 409670813 409672469 409674521 409751053 409751059 409751099 409751261 409758697 409784477 409792739 409832021 409832131 409832161 409846553 409912583 409912781 410051459 410051533 410113001 410243299 410290409 410333411 410383513 410383517 410383573 410397233 410429597 410712667 410719249 410719459 410719559 410719697 410880607 410880619 411448231 411687701 411854557 412104937 412140829 412145897 412170289 412171037 412171079 412191977 412258531 412287769 412324067 412332259 412332493 412493639 412524253 412574441 412574489 412643719 412654867 412676323 412735721 412740373 412789159 412795673 412816561 412816643 412816777 412816871 412853017 412902169 412956829 412977437 412977847 412994609 413058193 413058307 413058329 413058341 413074201 413255519 413255629 414013673 414577873 414591013 414591049 414591061 415361129 415642189 415642289 416406293 416849087 416849357 416850409 417449581 417557269 417956633 418016233 418031849 418113877 418113923 418114003 418140179 418140209 418140343 418606057 418772161 418785287 418785373 419108017 419556329 420073699 420242717 421608221 421629059 421681259 421681289 421681357 421687523 421730537 421751017 421769393 421843171 421890281 421930823 421960753 421968661 422011477 422011507 422011547 422011561 422013929 422025941 422080969 422080999 422091541 422093593 422095637 422107421 422111539 422111549 422111611 422111639 422160617 422177557 422221981 422253673 422253919 422308841 422365417 422402837 422414651 422414857 422432383 422432627 422495377 422495537 422495581 425257961 425454569 425898211 426502403 426502577 426528787 426528919 426528937 427844377 427944211 427944229 427944401 428022227 428225299 428522261 428625577 428698601 428786833 428786879 428896483 428925851 428925907 428987057 428987341 429134051 429220633 429261593 429271723 429271867 429431969 429431999 429593623 429593627 429593797 429630233 429707491 429755003 429755017 429812501 429824789 429974297 430017691 430017769 430069891 430074013 430076131 430119187 430119337 430119401 430149859 430223711 430233833 430239143 430266601 430307561 430313699 430319441 430319459 430346467 430349597 430369769 430436509 430455017 430496029 430496383 430496477 430514969 430534883 430571677 430596821 430610603 430610897 430642627 430690531 430715107 430779157 430795753 430800163 430803517 430803631 430821077 430884121 430884149 430884173 430884191 431022979 431023031 431023069 431044657 431045333 431258389 431287273 431304989 431355031 431355079 431355091 431355101 431368199 431368477 431427811 431448221 431451113 431597801 431690783 431690929 432138533 432245809 432419621 433318889 433464089 433627231 433627297 433627429 433627559 434006249 434098403 434226833 434632937 434891027 434891189 434917589 434917607 434924521 435549319 435549341 435549391 435549427 435562499 435562577 435885161 435885383 435885521 437020373 437840873 438168553 438465821 438507899 438546659 438612073 438706969 439111181 439165721 439272497 439272733 439411517 439411571 439411681 439436057 439472689 439507177 439708649 439757509 439757569 439916777 440072791 440072819 440216341 440240777 440240873 440240917 440396777 440422627 440433221 440433223 440452979 440464393 440464489 440482381 440482501 440482579 440503433 440503523 440555627 440555671 440563421 440604937 440604977 440605111 440605159 440617193 440634791 440643779 440643781 440643811 440644049 440709169 440709197 440732437 440801437 440805139 440805181 440805199 440807651 440808013 440808131 440808287 440845081 440885867 440885917 440885993 440900309 440955337 440955343 440967217 440968051 440981927 440985859 441026609 441027199 441039637 441047197 441047273 441056981 441086179 441096287 441096349 441125653 441128243 441128423 441152561 441168187 441205529 441208357 441225373 441262873 441285931 441285937 441285947 441289229 441289243 441289391 441289447 441299171 441508657 441508693 441508813 441508841 441570281 441571561 441749731 441790691 441791347 442020067 442051349 442169929 442176557 442176589 442176673 442176769 442221337 442337843 442337969 442395413 442561687 442561709 442561747 442655513 442690537 442702217 442702237 442806367 442806547 442806587 442983283 442985449 442999577 443122457 443247593 443279773 443279791 443279797 443279827 443305579 443305997 443306137 443306189 443466857 443578979 443628203 443628403 443649211 443649223 443649229 443660521 443667229 443669269 443673577 443701399 443701429 443701457 443740387 443747093 443750633 443789597 443792149 443839537 443845397 443870257 443871091 443910377 443951203 443951213 443951231 443968489 444031669 444035299 444046037 444084451 444127517 444131711 444178589 444180713 444197653 444234517 444241969 444246301 444273701 444274057 444299123 444314333 444359449 444427241 444434717 444434953 444452479 444494051 444502243 444515437 444656617 445408679 445901801 446197987 446426089 446489369 446705891 446755993 446756021 446767897 446854193 446896361 446896393 446896609 447000773 447177587 447278057 447394019 447396073 447641833 447642389 447644441 447661133 447661283 447661517 447704041 447800149 447800201 447800273 447820003 447822139 447861599 447985897 448097257 448132301 448132339 448145437 448145447 448145461 448145471 448145507 448145521 448180451 448293653 448461413 448467101 448468159 448468243 448584469 448586521 448629431 448629481 448994069 449196871 449687779 449982691 450227177 450404543 450407189 450948073 451004297 451004327 451505129 451694819 452326547 452326607 452326613 452326631 452339737 452339753 452339773 452339819 452608229 452608319 452608333 452608397 452608483 452608487 452608489 452608511 452608589 452608631 452608721 452608787 452608853 452609161 452609189 452609221 452609299 452609719 452609821 452610461 452610493 452610503 452610547 452610559 452610589 452610623 452610643 452611139 452611171 452611189 452611309 452611333 452611337 452611387 452611517 452611571 452611697 452611741 452611823 452611829 452611847 452611967 452612123 452612177 452612189 452612257 452612507 452612569 452612621 452612663 452612821 452612833 452612893 452613059 452613071 452613097 452613127 452613169 452613319 452613331 452613467 452613641 452613727 452613787 452613841 452613937 452614177 452614199 452614237 452614243 452614271 452614471 452614777 452614781 452614807 452614879 452614889 452614931 452615153 452615231 452615263 452615281 452615437 452615447 452615479 452615509 452615567 452615909 452616077 452616083 452616173 452616191 452616221 452616223 452616349 452616631 452616643 452616673 452616763 452616799 452616847 452616881 452616947 452617037 452617091 452617201 452617397 452617427 452617873 452618071 452618233 452618381 452618527 452618533 452618549 452618581 452618651 452618687 452618791 452618813 452619029 452619073 452619227 452619241 452619253 452619287 452619467 452619469 452619521 452619529 452619571 452619589 452619799 452619983 452620111 452620163 452620423 452620459 452620501 452620579 452620613 452620639 452620643 452620681 452620691 452620757 452620837 452620859 452620871 452620873 452621027 452621033 452621119 452621179 452621251 452621557 452621567 452621581 452621641 452621723 452621809 452621867 452621921 452621989 452622019 452622251 452622487 452622523 452622767 452622803 452622811 452623009 452623069 452623121 452623139 452623363 452623541 452623649 452623747 452623837 452623961 452624041 452624069 452624093 452624243 452624279 452624369 452662733 452979689 453047447 453047471 453110017 453292289 453378841 453390953 453391163 453391199 453667817 453766121 453772057 453788441 453791363 453791453 453952657 454049059 454049087 454073831 454083899 454084199 454091741 454110263 454152997 454154249 454160611 454179721 454181657 454182203 454191893 454194859 454195177 454198321 454228757 454250033 454250449 454270591 454275167 454275181 454275229 454275413 454282397 454282471 454282567 454295761 454295767 454295827 454296001 454296043 454296173 454296179 454296347 454296371 454296781 454296937 454297009 454297043 454297183 454297243 454297351 454297367 454297399 454297447 454297471 454297549 454297931 454298003 454298011 454298069 454298077 454298309 454298389 454298503 454298639 454298729 454298791 454298869 454298941 454299047 454299091 454299161 454299301 454299337 454299401 454299467 454299719 454299733 454299737 454299907 454299913 454300193 454300313 454300591 454300687 454300841 454300879 454300907 454300997 454301011 454301053 454301261 454301291 454301293 454301417 454301663 454301747 454301899 454301927 454301933 454302083 454302089 454302127 454302157 454302383 454302397 454302491 454302493 454302571 454302743 454302829 454302973 454303021 454303039 454303099 454303117 454303141 454303147 454303159 454303177 454303217 454303231 454303261 454303301 454303327 454303373 454303697 454303849 454303909 454303921 454303943 454303951 454303973 454303991 454304173 454304317 454304353 454304371 454304377 454304423 454304453 454304519 454304561 454304621 454304713 454304941 454305119 454305311 454305377 454305427 454305457 454305469 454305517 454305587 454305743 454305757 454305767 454305811 454305847 454305881 454306031 454306109 454306201 454306253 454306399 454306417 454306537 454306637 454306651 454306789 454306883 454306987 454307023 454307171 454307209 454307279 454307281 454307377 454307621 454307639 454308047 454308143 454308149 454308203 454308271 454308427 454308667 454308707 454308797 454308863 454308941 454308991 454309169 454309183 454309213 454309223 454309307 454309327 454309337 454309451 454309543 454309657 454309787 454309789 454309837 454310029 454310041 454310111 454310173 454310281 454310321 454310399 454310419 454310663 454310683 454310693 454310699 454311001 454311139 454311191 454311239 454311461 454311547 454311551 454311787 454311833 454315313 454315349 454319153 454319527 454319743 454320067 454320323 454320749 454321349 454321759 454322347 454322527 454323277 454325297 454325383 454325489 454332079 454332733 454332757 454335901 454336657 454336891 454338793 454339357 454339423 454339559 454340779 454340839 454340959 454341047 454344337 454344383 454344419 454344619 454345127 454345531 454345919 454346141 454346611 454349473 454349503 454349509 454349663 454349683 454352443 454352609 454353667 454354603 454354697 454354739 454354909 454355171 454356029 454357763 454358699 454360727 454360733 454360771 454360903 454362397 454362673 454366001 454366013 454366037 454366067 454366277 454366313 454366501 454368037 454368053 454368097 454368559 454368569 454368743 454370561 454370687 454373329 454373453 454373737 454374451 454374727 454374961 454376347 454376639 454377367 454377373 454377403 454377433 454377491 454377577 454377617 454377629 454377787 454379539 454380637 454380739 454380749 454382189 454382389 454382857 454382921 454382947 454383773 454384223 454384421 454385201 454385713 454385957 454386253 454386281 454386299 454386343 454386407 454386637 454388273 454388371 454388413 454388689 454389343 454389401 454389451 454389469 454389641 454390493 454391323 454391969 454395677 454396219 454396373 454396643 454398467 454398617 454400657 454401757 454403099 454403227 454403281 454403329 454403869 454404901 454406371 454406467 454406497 454406783 454408637 454408681 454410829 454411079 454411103 454411579 454412521 454413763 454414643 454414813 454414867 454414907 454414993 454415141 454416491 454416517 454419071 454420919 454420949 454420961 454420969 454423253 454430947 454432817 454433407 454437521 454451357 454455523 454463773 454464221 454476569 454477103 454498537 454506653 454509883 454517407 454517461 454719721 454749161 454920811 454920827 454922467 454977769 455198501 455633897 456050921 456520913 456855709 456856753 456856903 457304209 457304261 457585309 457794269 458583017 458792251 459114919 459172841 459205609 459392977 459467753 459500309 459515519 459893737 459992041 460056959 460056983 460083209 460083413 460647401 460715161 460715183 460728349 460728361 460728379 460728409 460728419 460728743 460728959 460997401 461051111 461498539 461498563 461498599 461498683 461624021 461779613 461779783 462005017 462016739 462152473 462543637 462971857 462986411 462986437 462986567 462986663 462986677 462997109 463053593 463058803 463063273 463067263 463067291 463067347 463072021 463095517 463107661 463107859 463121723 463128191 463128277 463147913 463147921 463163231 463165597 463174357 463188073 463188301 463188457 463195231 463195463 463198441 463207133 463209787 463220963 463222999 463223011 463223027 463229033 463238311 463238357 463238387 463245469 463253731 463258769 463259113 463273669 463273757 463273799 463281437 463282333 463293499 463300841 463309331 463309507 463317553 463321709 463330069 463349021 463366193 463383317 463390027 463390051 463398577 463399913 463401187 463411433 463418653 463430147 463430203 463430281 463430333 463430369 463533107 463587167 463587281 463627033 463673783 463774489 463793129 463862549 463868131 463971097 464061209 464067349 464277041 464277169 464279411 464317417 464425187 464438587 464496341 464577331 464599679 464601821 464638513 464638621 464808937 464922701 464923507 464923601 464954137 464972777 465002653 465070313 465082601 465238633 465244387 465245411 465367267 465377513 465406559 465406639 465470233 465800507 466381801 467129059 467181991 468471959 468471989 468472021 469117213 471698197 472062403 472221929 472280041 472720153 472771349 472827071 472965973 472966097 472982297 473027263 473028841 473029397 473154329 473201429 473312167 473370851 473575651 473627227 473633801 473633819 473634107 473795131 473795293 474081457 474081631 474362719 474541033 474850073 474901481 475276057 475569257 475569329 475569503 475569613 475779299 476169833 476169899 476169959 476170193 476292829 476376041 476576533 476647651 476834107 476860429 476862079 476862173 477162473 477492359 477506261 477823769 477828257 477828287 482407427 482407561 482470033 482470349 482470889 482504861 482547977 482548141 482548181 482601961 482652337 482663189 482832611 482941717 483145961 483151369 483154153 483205913 483257321 483277033 483312749 483424829 483451673 483451799 483451873 483475613 483476249 483495043 483495049 483495149 483547243 483547291 483547357 483547367 483551389 483635689 483653789 483707113 483756821 483766499 483796783 483797761 483848419 483870953 483877547 483877553 483891839 483946889 483946919 483946943 483957931 483958087 483967769 483977603 484024477 484051177 484067561 484087913 484088083 484113001 484113013 484119743 484149481 484167907 484192483 484208867 484277551 484277557 484280861 484280959 484281043 484337897 484361321 484361387 484361513 484361609 484558493 484558507 484558663 484558759 484558801 484603519 484645097 484645123 484749389 485248607 485248649 485248667 485319449 485409949 485610473 485616617 485881009 485894257 485929187 485953763 486174947 486216737 486216767 486216901 486216931 486216979 486217097 486256867 486447893 486664369 486664681 486945457 486945607 486945769 487170841 487184617 487403747 487619149 487619179 487662361 487668451 487741567 487811861 487826201 487908121 487991059 487991093 487991111 488026339 488071729 488071741 488086387 488141249 488141267 488152349 488152487 488168063 488171933 488171989 488172007 488213119 488218781 488243993 488286493 488286523 488314121 488314243 488354077 488424217 488429801 488454301 488454377 488471857 488475259 488475293 488475347 488475349 488485091 488555597 488555831 488555891 488667689 488667727 488667733 488686907 488696809 488699033 488716997 488717057 488737973 488790173 488796317 488803093 488839529 488839601 488839649 488878337 488976611 489039709 489063193 489120451 489175829 489189823 489189853 489189859 489202303 489202397 489202547 489220447 489220489 489220583 489257749 489261341 489317077 489331039 489331177 489335069 489335207 489347861 489362603 489362749 489362843 489362897 489442843 489442867 489445609 489502877 489523889 489540893 489548009 489743227 489743279 489765503 489949973 490025009 490075291 490075349 490088471 490088503 490088513 490088551 490089253 490089331 490089421 490238179 490404419 490404451 490543337 490572347 490572373 490572469 490572521 490572659 491176729 491537177 491744233 492096277 492334057 492349673 492548323 492667673 493284329 493611401 493634329 493637659 493637863 494282801 494740249 494959159 494990387 494990519 494990569 495008447 495008483 495028381 495029417 495029441 495029461 495029473 495081577 495081641 495081677 495089279 495130907 495169733 495169793 495231769 495235217 495235303 495250747 495278869 495283177 495331097 495348713 495361309 495401749 495428377 495464789 495465757 495470749 495472189 495472321 495477551 495477599 495481241 495481289 495481291 495481331 495490363 495490573 495495401 495505117 495506177 495508073 495508261 495511859 495512683 495512861 495512891 495526477 495526793 495532859 495536917 495550183 495550303 495550417 495550621 495553133 495553151 495553237 495553351 495560861 495562013 495562453 495570541 495570707 495571367 495573077 495573101 495573149 495573167 495576671 495576703 495577321 495578089 495581417 495582601 495583889 495584003 495584137 495584171 495584183 495584939 495584963 495585329 495585703 495586409 495586579 495587011 495587143 495588109 495588239 495588271 495588277 495589531 495590059 495590299 495590311 495590317 495590597 495592217 495592733 495592841 495592847 495593069 495593101 495593141 495593177 495593603 495593641 495593653 495593729 495595153 495595301 495595433 495595733 495595949 495596083 495596243 495596347 495596441 495596443 495596459 495596471 495596671 495596749 495597247 495597287 495597517 495598153 495598307 495598513 495598517 495598783 495598897 495599017 495601501 495601517 495601817 495601853 495601919 495602353 495602389 495603377 495603413 495603551 495603721 495603739 495603821 495604201 495604517 495605119 495605167 495605797 495605953 495607391 495607517 495607601 495607699 495607747 495607751 495607789 495607793 495607811 495607961 495608093 495608221 495608257 495608507 495608527 495608537 495608557 495608647 495608881 495610183 495610243 495610309 495610327 495610331 495610627 495610637 495610799 495610807 495611497 495611717 495611881 495612307 495612317 495612829 495612881 495612913 495613033 495613457 495613477 495614029 495614057 495614621 495614641 495614891 495615649 495616027 495616769 495618307 495618691 495618733 495618887 495618931 495619489 495619511 495619759 495619777 495619877 495620557 495620731 495620773 495621001 495621169 495621937 495621949 495622069 495622121 495622319 495622339 495622349 495622531 495623039 495623437 495623509 495623699 495624251 495624301 495624397 495624449 495624799 495624881 495625153 495625301 495625309 495625373 495625807 495626099 495626497 495626707 495626867 495626893 495627037 495627647 495627703 495628229 495628307 495628349 495628603 495628619 495628711 495629021 495629587 495630217 495630413 495630797 495631061 495631153 495631421 495631849 495631921 495631949 495633199 495633227 495633583 495633667 495633767 495633769 495634091 495634151 495634213 495634313 495634717 495635639 495635681 495635687 495635771 495635849 495635879 495635887 495636961 495637033 495637147 495637267 495637277 495637309 495637343 495637867 495637931 495637943 495638093 495638813 495638951 495638993 495639197 495639713 495639761 495639791 495639797 495640963 495641197 495641309 495642247 495642319 495642577 495642793 495642859 495643699 495643739 495644749 495646579 495646769 495646891 495647209 495648679 495652133 495653453 495654079 495654239 495662963 495666599 495667309 495668273 495669011 495673907 495673993 495674017 495674021 495674027 495674077 495674087 495676393 495678259 495678361 495688241 495690317 495690497 495694189 495734483 495815179 495815273 495815321 495821593 495857891 495872789 495895811 495895891 496034683 496062691 496233449 496240873 496316731 496380593 496380767 496380839 496430057 496609513 496677091 496702469 496702487 496702513 496702519 496702757 496863901 496865507 500683369 500683591 500736293 503441639 503441831 503722691 503722781 503931613 504929441 504929573 505179113 505309417 505530013 505652957 505936661 506217241 506852483 506865757 506865767 506866397 507187427 507188273 507833321 507839257 508521449 509340649 510323689 510618601 511060283 511767601 511767647 511767721 511767761 512012563 512154389 512348387 512350441 512350997 512453609 512511619 512511697 512551913 512784967 512784973 512792809 512855209 512855237 512855249 512907277 512907419 512918297 512964841 512995489 513045553 513046229 513076273 513085667 513094271 513147673 513156911 513157793 513157823 513208547 513213209 513257699 513306851 513307121 513337771 513434393 513440533 513452671 513469417 513472669 513478813 513480031 513480067 513480091 513480131 513480169 513534953 513613981 513616661 513637687 513641021 513641137 513702121 513721627 513721661 513721697 514223081 514931327 516221161 516342553 516516841 517460707 517460737 517710617 517893097 518777101 518777137 518803667 519269353 519448861 520495897 520907753 522029939 522307249 522414313 522870941 523320179 523463657 523629703 523642961 523713301 523965667 523965901 524765341 525904661 527165791 527837909 527838067 530181097 530443241 531131369 531710237 531716329 531721193 532704233 532802537 533483747 533570329 534038761 534289801 534289897 534290893 534293269 534761699 535204067 535554323 535554431 535580723 536079337 536177641 536212687 536212723 536225891 536296213 536494873 536548513 |
|
|
|
|
2022-10-23, 08:35
|
#50 |
|
"ม้าไฟ"
May 2018
2·3·89 Posts |
This last post with a list of LCS-generated prime exponents includes 40254 26-bit prime exponents in the interval (225 = 33554432, 226 = 67108864).
Said exponents are generated from the LCS set in post #21, https://mersenneforum.org/showpost.p...5&postcount=21, with the Wolfram code shown in post #25, https://mersenneforum.org/showpost.p...1&postcount=25 (where MnLength is set to 26 bits), and saved in a DAT file (see the attached ZIP file). Note that the total number of 26-bit prime exponents is 1894120. Among the generated prime exponents are two 26-bit prime exponents of Mersenne primes M43112609 and M57885161. The two other 26-bit prime exponents of Mersenne primes, M37156667 and M42643801, are not listed as they can be generated only with alternative LCS sets involving bit reversal or cyclic folding of the binary strings of the prime exponents. Out of the 40254 26-bit LCS-generated prime exponents, only 450 26-bit LCS-generated prime exponents remain unverified. Said unverified prime exponents are listed below. Code:
62016049 Unverified 62036137 Unverified 62269463 Unverified 62270179 Unverified 62270183 Unverified 62566627 Unverified 62585441 Unverified 62587673 Unverified 62753437 Unverified 62817049 Unverified 62930213 Unverified 62945513 Unverified 62945819 Unverified 62954653 Unverified 62954687 Unverified 62954779 Unverified 62954963 Unverified 62977037 Unverified 62977177 Unverified 62977181 Unverified 63016091 Unverified 63054617 Unverified 63058147 Unverified 63068221 Unverified 63068311 Unverified 63072413 Unverified 63075613 Unverified 63090389 Unverified 63090397 Unverified 63110869 Unverified 63116927 Unverified 63142621 Unverified 63156493 Unverified 63156617 Unverified 63156713 Unverified 63177497 Unverified 63191267 Unverified 63191269 Unverified 63204497 Unverified 63221957 Unverified 63226013 Unverified 63227341 Unverified 63230591 Unverified 63237169 Unverified 63277759 Unverified 63285931 Unverified 63290113 Unverified 63308569 Unverified 63328483 Unverified 63358147 Unverified 63358249 Unverified 63478549 Unverified 63494869 Unverified 63498679 Unverified 63574243 Unverified 63640939 Unverified 63647971 Unverified 63693593 Unverified 63721019 Unverified 63775513 Unverified 63802051 Unverified 63802087 Unverified 63959267 Unverified 63966493 Unverified 63970069 Unverified 63975889 Unverified 63983321 Unverified 63990833 Unverified 64012061 Unverified 64012573 Unverified 64013597 Unverified 64013951 Unverified 64016699 Unverified 64017001 Unverified 64019201 Unverified 64021457 Unverified 64024733 Unverified 64036109 Unverified 64037471 Unverified 64037747 Unverified 64045213 Unverified 64045759 Unverified 64093499 Unverified 64100593 Unverified 64102109 Unverified 64104041 Unverified 64104221 Unverified 64104659 Unverified 64106837 Unverified 64106929 Unverified 64109153 Unverified 64113349 Unverified 64113373 Unverified 64113383 Unverified 64113617 Unverified 64113713 Unverified 64113979 Unverified 64114103 Unverified 64114397 Unverified 64115327 Unverified 64116797 Unverified 64116821 Unverified 64116863 Unverified 64118399 Unverified 64118699 Unverified 64118701 Unverified 64118737 Unverified 64118981 Unverified 64119059 Unverified 64119467 Unverified 64119571 Unverified 64120613 Unverified 64121027 Unverified 64121173 Unverified 64122013 Unverified 64122239 Unverified 64124419 Unverified 64124429 Unverified 64124743 Unverified 64125653 Unverified 64125661 Unverified 64125671 Unverified 64125697 Unverified 64125833 Unverified 64126871 Unverified 64130741 Unverified 64130753 Unverified 64130797 Unverified 64131167 Unverified 64131269 Unverified 64131329 Unverified 64131341 Unverified 64133257 Unverified 64133273 Unverified 64133281 Unverified 64134527 Unverified 64134569 Unverified 64135277 Unverified 64135363 Unverified 64135399 Unverified 64135601 Unverified 64135901 Unverified 64136783 Unverified 64137851 Unverified 64137959 Unverified 64138157 Unverified 64139461 Unverified 64144669 Unverified 64144721 Unverified 64144853 Unverified 64145117 Unverified 64148129 Unverified 64148423 Unverified 64148893 Unverified 64148941 Unverified 64149457 Unverified 64151089 Unverified 64152371 Unverified 64153357 Unverified 64153363 Unverified 64153429 Unverified 64153513 Unverified 64153757 Unverified 64153951 Unverified 64153993 Unverified 64154693 Unverified 64155697 Unverified 64156471 Unverified 64157329 Unverified 64158769 Unverified 64160167 Unverified 64160177 Unverified 64162961 Unverified 64163383 Unverified 64163699 Unverified 64164739 Unverified 64164781 Unverified 64165121 Unverified 64166741 Unverified 64167349 Unverified 64167377 Unverified 64169389 Unverified 64169449 Unverified 64171741 Unverified 64172203 Unverified 64172341 Unverified 64172377 Unverified 64172497 Unverified 64172639 Unverified 64172741 Unverified 64173349 Unverified 64173371 Unverified 64173883 Unverified 64174057 Unverified 64174769 Unverified 64174783 Unverified 64174897 Unverified 64175081 Unverified 64176059 Unverified 64176089 Unverified 64176097 Unverified 64176113 Unverified 64176251 Unverified 64178141 Unverified 64178291 Unverified 64178347 Unverified 64178353 Unverified 64179209 Unverified 64179229 Unverified 64181197 Unverified 64181951 Unverified 64182221 Unverified 64183913 Unverified 64184551 Unverified 64184671 Unverified 64184713 Unverified 64184909 Unverified 64184969 Unverified 64184987 Unverified 64185089 Unverified 64187077 Unverified 64187107 Unverified 64187173 Unverified 64187369 Unverified 64188647 Unverified 64189409 Unverified 64190513 Unverified 64194199 Unverified 64194239 Unverified 64194931 Unverified 64194953 Unverified 64198889 Unverified 64201387 Unverified 64201933 Unverified 64202189 Unverified 64202401 Unverified 64203409 Unverified 64204909 Unverified 64204991 Unverified 64205081 Unverified 64205137 Unverified 64205171 Unverified 64206139 Unverified 64207259 Unverified 64207301 Unverified 64207849 Unverified 64212073 Unverified 64212671 Unverified 64213343 Unverified 64213819 Unverified 64213993 Unverified 64215163 Unverified 64215829 Unverified 64217137 Unverified 64219451 Unverified 64219499 Unverified 64303153 Unverified 64366409 Unverified 64366439 Unverified 64446749 Unverified 64447147 Unverified 64447189 Unverified 64475743 Unverified 64527469 Unverified 64528489 Unverified 64529177 Unverified 64547281 Unverified 64618111 Unverified 64643357 Unverified 64643387 Unverified 64649449 Unverified 64657553 Unverified 64689479 Unverified 64689563 Unverified 64689629 Unverified 64696547 Unverified 64714151 Unverified 64729403 Unverified 64774937 Unverified 64803043 Unverified 64867967 Unverified 64931147 Unverified 64931179 Unverified 64979737 Unverified 65006569 Unverified 65027357 Unverified 65027377 Unverified 65037151 Unverified 65088581 Unverified 65092519 Unverified 65128093 Unverified 65128681 Unverified 65132671 Unverified 65165543 Unverified 65173153 Unverified 65173457 Unverified 65187131 Unverified 65212031 Unverified 65214827 Unverified 65228393 Unverified 65228563 Unverified 65228777 Unverified 65250589 Unverified 65250727 Unverified 65253841 Unverified 65260621 Unverified 65260721 Unverified 65294497 Unverified 65301581 Unverified 65312627 Unverified 65313557 Unverified 65319187 Unverified 65324141 Unverified 65324317 Unverified 65327987 Unverified 65351857 Unverified 65351911 Unverified 65352031 Unverified 65353961 Unverified 65374873 Unverified 65374927 Unverified 65374937 Unverified 65382557 Unverified 65414941 Unverified 65414959 Unverified 65431867 Unverified 65445179 Unverified 65455463 Unverified 65476841 Unverified 65487641 Unverified 65495657 Unverified 65509799 Unverified 65565079 Unverified 65595823 Unverified 65610521 Unverified 65778397 Unverified 65778547 Unverified 65818171 Unverified 65889049 Unverified 65899033 Unverified 65899139 Unverified 65899159 Unverified 65899189 Unverified 65899219 Unverified 65899241 Unverified 65916637 Unverified 65916787 Unverified 65966237 Unverified 65979569 Unverified 65979689 Unverified 65979707 Unverified 65979751 Unverified 66091573 Unverified 66091589 Unverified 66111197 Unverified 66140209 Unverified 66140777 Unverified 66140849 Unverified 66153449 Unverified 66171107 Unverified 66179977 Unverified 66180007 Unverified 66180073 Unverified 66263273 Unverified 66429721 Unverified 66450649 Unverified 66463561 Unverified 66463849 Unverified 66463871 Unverified 66464059 Unverified 66464417 Unverified 66464483 Unverified 66498787 Unverified 66543901 Unverified 66544301 Unverified 66558677 Unverified 66579433 Unverified 66600223 Unverified 66600229 Unverified 66609821 Unverified 66611357 Unverified 66613693 Unverified 66613709 Unverified 66624739 Unverified 66624839 Unverified 66640661 Unverified 66644377 Unverified 66644429 Unverified 66682171 Unverified 66684977 Unverified 66689813 Unverified 66700057 Unverified 66705563 Unverified 66705629 Unverified 66711779 Unverified 66715349 Unverified 66715507 Unverified 66730141 Unverified 66733781 Unverified 66743273 Unverified 66746083 Unverified 66746087 Unverified 66746249 Unverified 66779753 Unverified 66779759 Unverified 66780209 Unverified 66784021 Unverified 66786229 Unverified 66786347 Unverified 66786359 Unverified 66786563 Unverified 66786781 Unverified 66786793 Unverified 66801409 Unverified 66817447 Unverified 66826499 Unverified 66847513 Unverified 66848477 Unverified 66866599 Unverified 66867277 Unverified 66874513 Unverified 66874559 Unverified 66876569 Unverified 66876643 Unverified 66897211 Unverified 66912137 Unverified 66924829 Unverified 66924967 Unverified 66926749 Unverified 66933931 Unverified 66944299 Unverified 66947707 Unverified 66947761 Unverified 66947801 Unverified 66947827 Unverified 66956069 Unverified 66956237 Unverified 66960017 Unverified 66960067 Unverified 66964529 Unverified 66996647 Unverified 67015381 Unverified 67026587 Unverified 67028113 Unverified 67028239 Unverified 67028243 Unverified 67036817 Unverified 67036867 Unverified 67061993 Unverified 67068569 Unverified |
|
|
|
|
2022-10-23, 12:51
|
#51 |
|
"ม้าไฟ"
May 2018
2×3×89 Posts |
All prime exponents of known Mersenne primes can give at least one prime number after bit reversal, base-2 cyclic rotation, or base-2 cyclic rotation after bit reversal except M21701 and M756839.
Code:
#1, Prime Exponent 2 2(Cyclic Rotation 1 Position to the Right after Bit Reversal) --------- #2, Prime Exponent 3 3(Bit Reversal) 3(Cyclic Rotation 1 Position to the Right) 3(Cyclic Rotation 1 Position to the Right after Bit Reversal) --------- #3, Prime Exponent 5 5(Bit Reversal) 3(Cyclic Rotation 2 Positions to the Right) 3(Cyclic Rotation 2 Positions to the Right after Bit Reversal) --------- #4, Prime Exponent 7 7(Bit Reversal) 7(Cyclic Rotation 1 Position to the Right) 7(Cyclic Rotation 2 Positions to the Right) 7(Cyclic Rotation 1 Position to the Right after Bit Reversal) 7(Cyclic Rotation 2 Positions to the Right after Bit Reversal) --------- #5, Prime Exponent 13 11(Bit Reversal) 7(Cyclic Rotation 2 Positions to the Right) 11(Cyclic Rotation 3 Positions to the Right) 13(Cyclic Rotation 1 Position to the Right after Bit Reversal) 7(Cyclic Rotation 3 Positions to the Right after Bit Reversal) --------- #6, Prime Exponent 17 17(Bit Reversal) 3(Cyclic Rotation 4 Positions to the Right) 3(Cyclic Rotation 4 Positions to the Right after Bit Reversal) --------- #7, Prime Exponent 19 7(Cyclic Rotation 4 Positions to the Right) 7(Cyclic Rotation 3 Positions to the Right after Bit Reversal) 19(Cyclic Rotation 4 Positions to the Right after Bit Reversal) --------- #8, Prime Exponent 31 31(Bit Reversal) 31(Cyclic Rotation 1 Position to the Right) 31(Cyclic Rotation 2 Positions to the Right) 31(Cyclic Rotation 3 Positions to the Right) 31(Cyclic Rotation 4 Positions to the Right) 31(Cyclic Rotation 1 Position to the Right after Bit Reversal) 31(Cyclic Rotation 2 Positions to the Right after Bit Reversal) 31(Cyclic Rotation 3 Positions to the Right after Bit Reversal) 31(Cyclic Rotation 4 Positions to the Right after Bit Reversal) --------- #9, Prime Exponent 61 47(Bit Reversal) 31(Cyclic Rotation 2 Positions to the Right) 47(Cyclic Rotation 3 Positions to the Right) 59(Cyclic Rotation 5 Positions to the Right) 59(Cyclic Rotation 2 Positions to the Right after Bit Reversal) 61(Cyclic Rotation 3 Positions to the Right after Bit Reversal) 31(Cyclic Rotation 5 Positions to the Right after Bit Reversal) --------- #10, Prime Exponent 89 89(Cyclic Rotation 3 Positions to the Right after Bit Reversal) --------- #11, Prime Exponent 107 107(Bit Reversal) 61(Cyclic Rotation 3 Positions to the Right) 47(Cyclic Rotation 5 Positions to the Right) 61(Cyclic Rotation 3 Positions to the Right after Bit Reversal) 47(Cyclic Rotation 5 Positions to the Right after Bit Reversal) --------- #12, Prime Exponent 127 127(Bit Reversal) 127(Cyclic Rotation 1 Position to the Right) 127(Cyclic Rotation 2 Positions to the Right) 127(Cyclic Rotation 3 Positions to the Right) 127(Cyclic Rotation 4 Positions to the Right) 127(Cyclic Rotation 5 Positions to the Right) 127(Cyclic Rotation 6 Positions to the Right) 127(Cyclic Rotation 1 Position to the Right after Bit Reversal) 127(Cyclic Rotation 2 Positions to the Right after Bit Reversal) 127(Cyclic Rotation 3 Positions to the Right after Bit Reversal) 127(Cyclic Rotation 4 Positions to the Right after Bit Reversal) 127(Cyclic Rotation 5 Positions to the Right after Bit Reversal) 127(Cyclic Rotation 6 Positions to the Right after Bit Reversal) --------- #13, Prime Exponent 521 577(Bit Reversal) 193(Cyclic Rotation 3 Positions to the Right) 19(Cyclic Rotation 9 Positions to the Right) 131(Cyclic Rotation 9 Positions to the Right after Bit Reversal) --------- #14, Prime Exponent 607 919(Cyclic Rotation 2 Positions to the Right) 971(Cyclic Rotation 3 Positions to the Right) 997(Cyclic Rotation 4 Positions to the Right) 191(Cyclic Rotation 9 Positions to the Right) --------- #15, Prime Exponent 1279 1663(Cyclic Rotation 1 Position to the Right) 1951(Cyclic Rotation 3 Positions to the Right) 1999(Cyclic Rotation 4 Positions to the Right) 1279(Cyclic Rotation 4 Positions to the Right after Bit Reversal) 1663(Cyclic Rotation 5 Positions to the Right after Bit Reversal) 1951(Cyclic Rotation 7 Positions to the Right after Bit Reversal) 1999(Cyclic Rotation 8 Positions to the Right after Bit Reversal) --------- #16, Prime Exponent 2203 1811(Cyclic Rotation 3 Positions to the Right) 2953(Cyclic Rotation 4 Positions to the Right) 881(Cyclic Rotation 7 Positions to the Right) 311(Cyclic Rotation 11 Positions to the Right) 571(Cyclic Rotation 7 Positions to the Right after Bit Reversal) 2333(Cyclic Rotation 8 Positions to the Right after Bit Reversal) 1607(Cyclic Rotation 10 Positions to the Right after Bit Reversal) 2851(Cyclic Rotation 11 Positions to the Right after Bit Reversal) --------- #17, Prime Exponent 2281 2417(Bit Reversal) 797(Cyclic Rotation 3 Positions to the Right) 1223(Cyclic Rotation 5 Positions to the Right) 2659(Cyclic Rotation 6 Positions to the Right) 467(Cyclic Rotation 11 Positions to the Right) 2251(Cyclic Rotation 5 Positions to the Right after Bit Reversal) 739(Cyclic Rotation 11 Positions to the Right after Bit Reversal) --------- #18, Prime Exponent 3217 457(Cyclic Rotation 4 Positions to the Right) 569(Cyclic Rotation 7 Positions to the Right) 2339(Cyclic Rotation 11 Positions to the Right) --------- #19, Prime Exponent 4253 5651(Cyclic Rotation 3 Positions to the Right) 1889(Cyclic Rotation 7 Positions to the Right) --------- #20, Prime Exponent 4423 4423(Cyclic Rotation 11 Positions to the Right after Bit Reversal) --------- #21, Prime Exponent 9689 3259(Cyclic Rotation 3 Positions to the Right) 6551(Cyclic Rotation 6 Positions to the Right) 11467(Cyclic Rotation 7 Positions to the Right) 7577(Cyclic Rotation 10 Positions to the Right) 4919(Cyclic Rotation 5 Positions to the Right after Bit Reversal) 10651(Cyclic Rotation 6 Positions to the Right after Bit Reversal) 3539(Cyclic Rotation 13 Positions to the Right after Bit Reversal) --------- #22, Prime Exponent 9941 6581(Cyclic Rotation 2 Positions to the Right) 5741(Cyclic Rotation 4 Positions to the Right) 5531(Cyclic Rotation 6 Positions to the Right) 10957(Cyclic Rotation 7 Positions to the Right) 3499(Cyclic Rotation 13 Positions to the Right) 9901(Cyclic Rotation 4 Positions to the Right after Bit Reversal) 6571(Cyclic Rotation 6 Positions to the Right after Bit Reversal) --------- #23, Prime Exponent 11213 6899(Cyclic Rotation 2 Positions to the Right) 13163(Cyclic Rotation 8 Positions to the Right) 7789(Cyclic Rotation 11 Positions to the Right) 6043(Cyclic Rotation 13 Positions to the Right) 5839(Cyclic Rotation 4 Positions to the Right after Bit Reversal) 3931(Cyclic Rotation 10 Positions to the Right after Bit Reversal) --------- #24, Prime Exponent 19937 17207(Cyclic Rotation 6 Positions to the Right) --------- #25, Prime Exponent 21701 None --------- #26, Prime Exponent 23209 6997(Cyclic Rotation 3 Positions to the Right) 9941(Cyclic Rotation 5 Positions to the Right) 10861(Cyclic Rotation 9 Positions to the Right) --------- #27, Prime Exponent 44497 29803(Cyclic Rotation 10 Positions to the Right) 23459(Cyclic Rotation 15 Positions to the Right) --------- #28, Prime Exponent 86243 14983(Cyclic Rotation 5 Positions to the Right) 34589(Cyclic Rotation 14 Positions to the Right) 14423(Cyclic Rotation 15 Positions to the Right after Bit Reversal) --------- #29, Prime Exponent 110503 125929(Cyclic Rotation 2 Positions to the Right) 108503(Cyclic Rotation 9 Positions to the Right) 125429(Cyclic Rotation 11 Positions to the Right) 48799(Cyclic Rotation 15 Positions to the Right) 120779(Cyclic Rotation 8 Positions to the Right after Bit Reversal) 77743(Cyclic Rotation 15 Positions to the Right after Bit Reversal) --------- #30, Prime Exponent 132049 166919(Cyclic Rotation 7 Positions to the Right) 214531(Cyclic Rotation 8 Positions to the Right) 1583(Cyclic Rotation 8 Positions to the Right after Bit Reversal) 197003(Cyclic Rotation 10 Positions to the Right after Bit Reversal) 122929(Cyclic Rotation 13 Positions to the Right after Bit Reversal) --------- #31, Prime Exponent 216091 49597(Cyclic Rotation 14 Positions to the Right) 134333(Cyclic Rotation 14 Positions to the Right after Bit Reversal) 99119(Cyclic Rotation 16 Positions to the Right after Bit Reversal) --------- #32, Prime Exponent 756839 None --------- #33, Prime Exponent 859433 609163(Bit Reversal) 171293(Cyclic Rotation 8 Positions to the Right) 676771(Cyclic Rotation 11 Positions to the Right) 810149(Cyclic Rotation 9 Positions to the Right after Bit Reversal) 309433(Cyclic Rotation 16 Positions to the Right after Bit Reversal) 169751(Cyclic Rotation 19 Positions to the Right after Bit Reversal) --------- #34, Prime Exponent 1257787 418423(Cyclic Rotation 20 Positions to the Right) --------- #35, Prime Exponent 1398269 1485503(Cyclic Rotation 3 Positions to the Right) 2009783(Cyclic Rotation 16 Positions to the Right after Bit Reversal) --------- #36, Prime Exponent 2976221 3073453(Bit Reversal) 978349(Cyclic Rotation 11 Positions to the Right) 1758139(Cyclic Rotation 21 Positions to the Right) --------- #37, Prime Exponent 3021377 2888387(Cyclic Rotation 3 Positions to the Right after Bit Reversal) 241739(Cyclic Rotation 9 Positions to the Right after Bit Reversal) 1603081(Cyclic Rotation 12 Positions to the Right after Bit Reversal) --------- #38, Prime Exponent 6972593 2509597(Cyclic Rotation 19 Positions to the Right) 2724551(Cyclic Rotation 21 Positions to the Right) 3028121(Cyclic Rotation 5 Positions to the Right after Bit Reversal) --------- #39, Prime Exponent 13466917 16029493(Cyclic Rotation 14 Positions to the Right) 11510969(Cyclic Rotation 19 Positions to the Right) --------- #40, Prime Exponent 20996011 27275221(Cyclic Rotation 1 Position to the Right) 22495327(Cyclic Rotation 8 Positions to the Right) 32172043(Cyclic Rotation 11 Positions to the Right) 16604417(Cyclic Rotation 14 Positions to the Right) --------- #41, Prime Exponent 24036583 28810381(Cyclic Rotation 7 Positions to the Right after Bit Reversal) 3632953(Cyclic Rotation 14 Positions to the Right after Bit Reversal) 26327929(Cyclic Rotation 19 Positions to the Right after Bit Reversal) --------- #42, Prime Exponent 25964951 1625059(Cyclic Rotation 18 Positions to the Right) 3196511(Cyclic Rotation 23 Positions to the Right) 4102339(Cyclic Rotation 5 Positions to the Right after Bit Reversal) --------- #43, Prime Exponent 30402457 20774521(Cyclic Rotation 4 Positions to the Right) 30402457(Cyclic Rotation 17 Positions to the Right after Bit Reversal) 20774521(Cyclic Rotation 21 Positions to the Right after Bit Reversal) --------- #44, Prime Exponent 32582657 4710413(Cyclic Rotation 11 Positions to the Right after Bit Reversal) 21560321(Cyclic Rotation 14 Positions to the Right after Bit Reversal) --------- #45, Prime Exponent 37156667 57916849(Bit Reversal) 7204471(Cyclic Rotation 25 Positions to the Right) 49727347(Cyclic Rotation 16 Positions to the Right after Bit Reversal) 41399867(Cyclic Rotation 21 Positions to the Right after Bit Reversal) --------- #46, Prime Exponent 42643801 40413973(Cyclic Rotation 4 Positions to the Right) 5606093(Cyclic Rotation 23 Positions to the Right) 22111907(Cyclic Rotation 12 Positions to the Right after Bit Reversal) 21407923(Cyclic Rotation 21 Positions to the Right after Bit Reversal) --------- #47, Prime Exponent 43112609 34893349(Bit Reversal) 5296699(Cyclic Rotation 11 Positions to the Right) 36013339(Cyclic Rotation 10 Positions to the Right after Bit Reversal) 48388177(Cyclic Rotation 14 Positions to the Right after Bit Reversal) --------- #48, Prime Exponent 57885161 15624253(Cyclic Rotation 3 Positions to the Right) 42193849(Cyclic Rotation 17 Positions to the Right) 53413277(Cyclic Rotation 1 Position to the Right after Bit Reversal) 48619699(Cyclic Rotation 4 Positions to the Right after Bit Reversal) 15621643(Cyclic Rotation 8 Positions to the Right after Bit Reversal) 34290583(Cyclic Rotation 18 Positions to the Right after Bit Reversal) 12326519(Cyclic Rotation 25 Positions to the Right after Bit Reversal) --------- #49, Prime Exponent 74207281 73421233(Bit Reversal) 72364429(Cyclic Rotation 19 Positions to the Right) --------- #50, Prime Exponent 77232917 11311739(Cyclic Rotation 8 Positions to the Right) 41620883(Cyclic Rotation 19 Positions to the Right) --------- #51, Prime Exponent 82589933 70839709(Cyclic Rotation 19 Positions to the Right) 97368289(Cyclic Rotation 8 Positions to the Right after Bit Reversal) 102472561(Cyclic Rotation 15 Positions to the Right after Bit Reversal) --------- Code:
(* Wolfram code *)
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; base = 2;
ic = 0; While[ic < nMp, ic++; count = 0; Print["#", ic, ", Prime Exponent ", MpData[[ic]]]; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; s1 = IntegerDigits[MpData[[ic]], base, intlen1]; s1r = IntegerDigits[IntegerReverse[MpData[[ic]], base], base, intlen1];
Mpi = IntegerReverse[MpData[[ic]], base]; If[(PrimeQ[Mpi] == True), count++; Print[Mpi, "(Bit Reversal)"];];
jc = 0; While[jc < intlen1 - 1, jc++; s1 = RotateRight[s1]; s1i = FromDigits[s1, base]; If[(PrimeQ[s1i] == True), count++; pl = " "; If[jc > 1, pl = "s ";]; Print[s1i, "(Cyclic Rotation ", jc, " Position", pl, "to the Right)"];];];
jc = 0; While[jc < intlen1 - 1, jc++; s1r = RotateRight[s1r]; s1ri = FromDigits[s1r, base]; If[(PrimeQ[s1ri] == True), count++; pl = " "; If[jc > 1, pl = "s ";]; Print[s1ri, "(Cyclic Rotation ", jc, " Position", pl, "to the Right after Bit Reversal)"];];];
If[count == 0, Print["None"];]; Print["---------"];];
|
|
|
|
|
2022-10-23, 13:17
|
#52 | |
|
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest
32×11×79 Posts |
Quote:
M73421233 M72364429 In no case did these manipulations lead to a prime exponent of a known Mersenne prime with exponent greater than the starting point, or to an untested unfactored Mersenne number's exponent. In five cases, they lead only to the same exponent. ( 2 3 7 31 127 ) Last fiddled with by kriesel on 2022-10-23 at 13:53 |
|
|
|
|
|
2022-10-23, 20:34
|
#53 |
|
"ม้าไฟ"
May 2018
10000101102 Posts |
The mean and the standard deviation of the normalized lengths of the longest common contiguous subsequences (LCSs) for all pairs (i, j), i < j, for i, j = 1, 2,..., 51, of the exponents of known Mersenne primes are as follows:
Mean ± S.D. ≈ 0.345 ± 0.111. Code:
(* Wolfram code *)
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; lcsl = ConstantArray[0, nMp*(nMp - 1)/2]; base = 2; count = 0;
ic = 0; While[ic < nMp, ic++; jc = 0; While[jc < nMp, jc++; If[ic < jc, count++; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; intlen2 = Length[IntegerDigits[MpData[[jc]], base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[MpData[[ic]], base, intlen1], IntegerDigits[MpData[[jc]], base, intlen2]]]/((intlen1 + intlen2)/2);];];];
lcsmean = N[Mean[lcsl]]; lcssd = N[StandardDeviation[lcsl]];
Print["Mean ± S.D. = ", lcsmean, " ± ", lcssd];
Mean ± S.D. ≈ 0.309 ± 0.064. Code:
(* Wolfram code *)
np = 1000; prange = PrimePi[82589933]; lcsl = ConstantArray[0, np*np]; base = 2; count = 0;
ic = 0; While[ic < np, ic++; jc = 0; While[jc < np, jc++; count++; pic = Prime[RandomInteger[{1, prange}]]; intlen1 = Length[IntegerDigits[pic, base]]; pjc = pic; While[pjc == pic, pjc = Prime[RandomInteger[{1, prange}]];]; intlen2 = Length[IntegerDigits[pjc, base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[pic, base, intlen1], IntegerDigits[pjc, base, intlen2]]]/((intlen1 + intlen2)/2); ];];
lcsmean = N[Mean[lcsl]]; lcssd = N[StandardDeviation[lcsl]];
Print["Mean ± S.D. = ", lcsmean, " ± ", lcssd];
|
|
|
|
|
2022-10-23, 21:16
|
#54 |
|
"ม้าไฟ"
May 2018
2·3·89 Posts |
The mean and the standard deviation of the normalized lengths of the longest common contiguous subsequences (LCSs) for the 50 pairs of consecutive prime exponents of known Mersenne primes are as follows:
Mean ± S.D. ≈ 0.385 ± 0.119. Code:
(* Wolfram code *)
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; lcsl = ConstantArray[0, nMp - 1]; base = 2; count = 0;
ic = 1; While[ic < nMp, ic++; count++; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; intlen2 = Length[IntegerDigits[MpData[[ic - 1]], base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[MpData[[ic]], base, intlen1], IntegerDigits[MpData[[ic - 1]], base, intlen2]]]/((intlen1 + intlen2)/2);];
lcsmean = N[Mean[lcsl]]; lcssd = N[StandardDeviation[lcsl]];
Print["Mean ± S.D. = ", lcsmean, " ± ", lcssd];
Last fiddled with by Dobri on 2022-10-23 at 21:22 |
|
|
|
|
2022-10-24, 05:44
|
#55 |
|
"ม้าไฟ"
May 2018
53410 Posts |
The attached image shows the current downward tendency of the linear fit of the normalized lengths of the longest common contiguous subsequences (LCSs) for the 50 pairs of consecutive exponents of known Mersenne primes.
For the graph of non-normalized lenghts, see post #8, https://mersenneforum.org/showpost.p...42&postcount=8. Code:
(*Wolfram code*)
SetDirectory[NotebookDirectory[]]; fname = NotebookDirectory[] <> "LCSnormalized.jpg";
MpData = {2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281, 77232917, 82589933};
nMp = Length[MpData]; lcsl = ConstantArray[0, nMp - 1]; base = 2; count = 0;
ic = 1; While[ic < nMp, ic++; count++; intlen1 = Length[IntegerDigits[MpData[[ic]], base]]; intlen2 = Length[IntegerDigits[MpData[[ic - 1]], base]];
lcsl[[count]] = Length[LongestCommonSubsequence[IntegerDigits[MpData[[ic]], base, intlen1], IntegerDigits[MpData[[ic - 1]], base, intlen2]]]/((intlen1 + intlen2)/2);];
lcslfit = LinearModelFit[lcsl, x, x];
Show[BarChart[lcsl], Plot[lcslfit[x], {x, 1, nMp}], Frame -> True]
Export[fname, Show[BarChart[lcsl], Plot[lcslfit[x], {x, 1, nMp}], Frame -> True]]
|
|
|
|
 |
| Thread Tools | |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Mersenne prime exponents that are also Sophie Germain primes | carpetpool | Miscellaneous Math | 5 | 2022-10-19 01:44 |
| Additive Properties of the Exponents of Known Mersenne Primes | Dobri | Dobri | 3 | 2021-10-05 06:56 |
| Observations of Wieferich primes and Wieferich-1 friendly club | hansl | Math | 3 | 2020-09-02 10:40 |
| Sophie-Germain primes as Mersenne exponents | ProximaCentauri | Miscellaneous Math | 15 | 2014-12-25 14:26 |
| Assorted formulas for exponents of Mersenne primes | Lee Yiyuan | Miscellaneous Math | 60 | 2011-03-01 12:22 |
