collatz.rs

// Rudimentary implementation of the Collatz conjecture

fn next(input: u128) -> u128 {
    if input % 2 == 0 {
        input / 2
    } else {
        input * 3 + 1
    }
}

fn conjecture(start: u128) -> Vec<u128> {
    let mut result = vec![start];
    let mut current = start;
    while current != 1 {
        current = next(current);
        result.push(current);
    }
    
    result
}

fn main() {
    let result = conjecture(std::u128::MAX);
    
    for (i, number) in result.iter().enumerate() {
        println!("{:4}: {}", i, number);
    }
}

output.txt

   0: 340282366920938463463374607431768211455
   1: 340282366920938463463374607431768211454
   2: 170141183460469231731687303715884105727
   3: 170141183460469231731687303715884105726
   4: 85070591730234615865843651857942052863
   5: 255211775190703847597530955573826158590
   6: 127605887595351923798765477786913079295
   7: 42535295865117307932921825928971026430
   8: 21267647932558653966460912964485513215
   9: 63802943797675961899382738893456539646
  10: 31901471898837980949691369446728269823
  11: 95704415696513942849074108340184809470
  12: 47852207848256971424537054170092404735
  13: 143556623544770914273611162510277214206
  14: 71778311772385457136805581255138607103
  15: 215334935317156371410416743765415821310
  16: 107667467658578185705208371882707910655
  17: 323002402975734557115625115648123731966
  18: 161501201487867278557812557824061865983
  19: 144221237542663372210063066040417386494
  20: 72110618771331686105031533020208693247
  21: 216331856313995058315094599060626079742
  22: 108165928156997529157547299530313039871
  23: 324497784470992587472641898590939119614
  24: 162248892235496293736320949295469559807
  25: 146464309785550417745588240454640467966
  26: 73232154892775208872794120227320233983
  27: 219696464678325626618382360681960701950
  28: 109848232339162813309191180340980350975
  29: 329544697017488439927573541022941052926
  30: 164772348508744219963786770511470526463
  31: 154034678605294196427985704102643367934
  32: 77017339302647098213992852051321683967
  33: 231052017907941294641978556153965051902
  34: 115526008953970647320989278076982525951
  35: 6295659940973478499593226799179366398
  36: 3147829970486739249796613399589683199
  37: 9443489911460217749389840198769049598
  38: 4721744955730108874694920099384524799
  39: 14165234867190326624084760298153574398
  40: 7082617433595163312042380149076787199
  41: 21247852300785489936127140447230361598
  42: 10623926150392744968063570223615180799
  43: 31871778451178234904190710670845542398
  44: 15935889225589117452095355335422771199
  45: 47807667676767352356286066006268313598
  46: 23903833838383676178143033003134156799
  47: 71711501515151028534429099009402470398
  48: 35855750757575514267214549504701235199
  49: 107567252272726542801643648514103705598
  50: 53783626136363271400821824257051852799
  51: 161350878409089814202465472771155558398
  52: 80675439204544907101232736385577779199
  53: 242026317613634721303698209156733337598
  54: 121013158806817360651849104578366668799
  55: 22757109499513618492172706303331794942
  56: 11378554749756809246086353151665897471
  57: 34135664249270427738259059454997692414
  58: 17067832124635213869129529727498846207
  59: 51203496373905641607388589182496538622
  60: 25601748186952820803694294591248269311
  61: 76805244560858462411082883773744807934
  62: 38402622280429231205541441886872403967
  63: 115207866841287693616624325660617211902
  64: 57603933420643846808312162830308605951
  65: 172811800261931540424936488490925817854
  66: 86405900130965770212468244245462908927
  67: 259217700392897310637404732736388726782
  68: 129608850196448655318702366368194363391
  69: 48544183668407502492732491672814878718
  70: 24272091834203751246366245836407439359
  71: 72816275502611253739098737509222318078
  72: 36408137751305626869549368754611159039
  73: 109224413253916880608648106263833477118
  74: 54612206626958440304324053131916738559
  75: 163836619880875320912972159395750215678
  76: 81918309940437660456486079697875107839
  77: 245754929821312981369458239093625323518
  78: 122877464910656490684729119546812661759
  79: 28350027811031008590812751208669773822
  80: 14175013905515504295406375604334886911
  81: 42525041716546512886219126813004660734
  82: 21262520858273256443109563406502330367
  83: 63787562574819769329328690219506991102
  84: 31893781287409884664664345109753495551
  85: 95681343862229653993993035329260486654
  86: 47840671931114826996996517664630243327
  87: 143522015793344480990989552993890729982
  88: 71761007896672240495494776496945364991
  89: 215283023690016721486484329490836094974
  90: 107641511845008360743242164745418047487
  91: 322924535535025082229726494236254142462
  92: 161462267767512541114863247118127071231
  93: 144104436381599159881215133922613002238
  94: 72052218190799579940607566961306501119
  95: 216156654572398739821822700883919503358
  96: 108078327286199369910911350441959751679
  97: 324234981858598109732734051325879255038
  98: 162117490929299054866367025662939627519
  99: 146070105866958701135726469557050671102
 100: 73035052933479350567863234778525335551
 101: 219105158800438051703589704335576006654
 102: 109552579400219025851794852167788003327
 103: 328657738200657077555384556503364009982
 104: 164328869100328538777692278251682004991
 105: 152704240380047152869702227323277803518
 106: 76352120190023576434851113661638901759
 107: 229056360570070729304553340984916705278
 108: 114528180285035364652276670492458352639
 109: 3302173934167630493455404045606846462
 110: 1651086967083815246727702022803423231
 111: 4953260901251445740183106068410269694
 112: 2476630450625722870091553034205134847
 113: 7429891351877168610274659102615404542
 114: 3714945675938584305137329551307702271
 115: 11144837027815752915411988653923106814
 116: 5572418513907876457705994326961553407
 117: 16717255541723629373117982980884660222
 118: 8358627770861814686558991490442330111
 119: 25075883312585444059676974471326990334
 120: 12537941656292722029838487235663495167
 121: 37613824968878166089515461706990485502
 122: 18806912484439083044757730853495242751
 123: 56420737453317249134273192560485728254
 124: 28210368726658624567136596280242864127
 125: 84631106179975873701409788840728592382
 126: 42315553089987936850704894420364296191
 127: 126946659269963810552114683261092888574
 128: 63473329634981905276057341630546444287
 129: 190419988904945715828172024891639332862
 130: 95209994452472857914086012445819666431
 131: 285629983357418573742258037337458999294
 132: 142814991678709286871129018668729499647
 133: 88162608115189397150012448574420287486
 134: 44081304057594698575006224287210143743
 135: 132243912172784095725018672861630431230
 136: 66121956086392047862509336430815215615
 137: 198365868259176143587528009292445646846
 138: 99182934129588071793764004646222823423
 139: 297548802388764215381292013938668470270
 140: 148774401194382107690646006969334235135
 141: 106040836662207859608563413476234493950
 142: 53020418331103929804281706738117246975
 143: 159061254993311789412845120214351740926
 144: 79530627496655894706422560107175870463
 145: 238591882489967684119267680321527611390
 146: 119295941244983842059633840160763805695
 147: 17605456814013062715526913050523205630
 148: 8802728407006531357763456525261602815
 149: 26408185221019594073290369575784808446
 150: 13204092610509797036645184787892404223
 151: 39612277831529391109935554363677212670
 152: 19806138915764695554967777181838606335
 153: 59418416747294086664903331545515819006
 154: 29709208373647043332451665772757909503
 155: 89127625120941129997354997318273728510
 156: 44563812560470564998677498659136864255
 157: 133691437681411694996032495977410592766
 158: 66845718840705847498016247988705296383
 159: 200537156522117542494048743966115889150
 160: 100268578261058771247024371983057944575
 161: 300805734783176313741073115949173833726
 162: 150402867391588156870536557974586916863
 163: 110926235253826007148235066491992539134
 164: 55463117626913003574117533245996269567
 165: 166389352880739010722352599737988808702
 166: 83194676440369505361176299868994404351
 167: 249584029321108516083528899606983213054
 168: 124792014660554258041764449803491606527
 169: 34093677060724310661918741978706608126
 170: 17046838530362155330959370989353304063
 171: 51140515591086465992878112968059912190
 172: 25570257795543232996439056484029956095
 173: 76710773386629698989317169452089868286
 174: 38355386693314849494658584726044934143
 175: 115066160079944548483975754178134802430
 176: 57533080039972274241987877089067401215
 177: 172599240119916822725963631267202203646
 178: 86299620059958411362981815633601101823
 179: 258898860179875234088945446900803305470
 180: 129449430089937617044472723450401652735
 181: 48065923348874387670043562919436746750
 182: 24032961674437193835021781459718373375
 183: 72098885023311581505065344379155120126
 184: 36049442511655790752532672189577560063
 185: 108148327534967372257598016568732680190
 186: 54074163767483686128799008284366340095
 187: 162222491302451058386397024853099020286
 188: 81111245651225529193198512426549510143
 189: 243333736953676587579595537279648530430
 190: 121666868476838293789797768639824265215
 191: 24718238509576417906018698487704584190
 192: 12359119254788208953009349243852292095
 193: 37077357764364626859028047731556876286
 194: 18538678882182313429514023865778438143
 195: 55616036646546940288542071597335314430
 196: 27808018323273470144271035798667657215
 197: 83424054969820410432813107396002971646
 198: 41712027484910205216406553698001485823
 199: 125136082454730615649219661094004457470
 200: 62568041227365307824609830547002228735
 201: 187704123682095923473829491641006686206
 202: 93852061841047961736914745820503343103
 203: 281556185523143885210744237461510029310
 204: 140778092761571942605372118730755014655
 205: 82051911363777364352741748760496832510
 206: 41025955681888682176370874380248416255
 207: 123077867045666046529112623140745248766
 208: 61538933522833023264556311570372624383
 209: 184616800568499069793668934711117873150
 210: 92308400284249534896834467355558936575
 211: 276925200852748604690503402066676809726
 212: 138462600426374302345251701033338404863
 213: 75105434358184443572380495668247003134
 214: 37552717179092221786190247834123501567
 215: 112658151537276665358570743502370504702
 216: 56329075768638332679285371751185252351
 217: 168987227305914998037856115253555757054
 218: 84493613652957499018928057626777878527
 219: 253480840958872497056784172880333635582
 220: 126740420479436248528392086440166817791
 221: 39938894517370282121801651888732241918
 222: 19969447258685141060900825944366120959
 223: 59908341776055423182702477833098362878
 224: 29954170888027711591351238916549181439
 225: 89862512664083134774053716749647544318
 226: 44931256332041567387026858374823772159
 227: 134793768996124702161080575124471316478
 228: 67396884498062351080540287562235658239
 229: 202190653494187053241620862686706974718
 230: 101095326747093526620810431343353487359
 231: 303285980241280579862431294030060462078
 232: 151642990120640289931215647015030231039
 233: 114646603440982406330272333613322481662
 234: 57323301720491203165136166806661240831
 235: 171969905161473609495408500419983722494
 236: 85984952580736804747704250209991861247
 237: 257954857742210414243112750629975583742
 238: 128977428871105207121556375314987791871
 239: 46649919692377157901294518513195164158
 240: 23324959846188578950647259256597582079
 241: 69974879538565736851941777769792746238
 242: 34987439769282868425970888884896373119
 243: 104962319307848605277912666654689119358
 244: 52481159653924302638956333327344559679
 245: 157443478961772907916868999982033679038
 246: 78721739480886453958434499991016839519
 247: 236165218442659361875303499973050518558
 248: 118082609221329680937651749986525259279
 249: 13965460743050579349580642527807566382
 250: 6982730371525289674790321263903783191
 251: 20948191114575869024370963791711349574
 252: 10474095557287934512185481895855674787
 253: 31422286671863803536556445687567024362
 254: 15711143335931901768278222843783512181
 255: 47133430007795705304834668531350536544
 256: 23566715003897852652417334265675268272
 257: 11783357501948926326208667132837634136
 258: 5891678750974463163104333566418817068
 259: 2945839375487231581552166783209408534
 260: 1472919687743615790776083391604704267
 261: 4418759063230847372328250174814112802
 262: 2209379531615423686164125087407056401
 263: 6628138594846271058492375262221169204
 264: 3314069297423135529246187631110584602
 265: 1657034648711567764623093815555292301
 266: 4971103946134703293869281446665876904
 267: 2485551973067351646934640723332938452
 268: 1242775986533675823467320361666469226
 269: 621387993266837911733660180833234613
 270: 1864163979800513735200980542499703840
 271: 932081989900256867600490271249851920
 272: 466040994950128433800245135624925960
 273: 233020497475064216900122567812462980
 274: 116510248737532108450061283906231490
 275: 58255124368766054225030641953115745
 276: 174765373106298162675091925859347236
 277: 87382686553149081337545962929673618
 278: 43691343276574540668772981464836809
 279: 131074029829723622006318944394510428
 280: 65537014914861811003159472197255214
 281: 32768507457430905501579736098627607
 282: 98305522372292716504739208295882822
 283: 49152761186146358252369604147941411
 284: 147458283558439074757108812443824234
 285: 73729141779219537378554406221912117
 286: 221187425337658612135663218665736352
 287: 110593712668829306067831609332868176
 288: 55296856334414653033915804666434088
 289: 27648428167207326516957902333217044
 290: 13824214083603663258478951166608522
 291: 6912107041801831629239475583304261
 292: 20736321125405494887718426749912784
 293: 10368160562702747443859213374956392
 294: 5184080281351373721929606687478196
 295: 2592040140675686860964803343739098
 296: 1296020070337843430482401671869549
 297: 3888060211013530291447205015608648
 298: 1944030105506765145723602507804324
 299: 972015052753382572861801253902162
 300: 486007526376691286430900626951081
 301: 1458022579130073859292701880853244
 302: 729011289565036929646350940426622
 303: 364505644782518464823175470213311
 304: 1093516934347555394469526410639934
 305: 546758467173777697234763205319967
 306: 1640275401521333091704289615959902
 307: 820137700760666545852144807979951
 308: 2460413102281999637556434423939854
 309: 1230206551140999818778217211969927
 310: 3690619653422999456334651635909782
 311: 1845309826711499728167325817954891
 312: 5535929480134499184501977453864674
 313: 2767964740067249592250988726932337
 314: 8303894220201748776752966180797012
 315: 4151947110100874388376483090398506
 316: 2075973555050437194188241545199253
 317: 6227920665151311582564724635597760
 318: 3113960332575655791282362317798880
 319: 1556980166287827895641181158899440
 320: 778490083143913947820590579449720
 321: 389245041571956973910295289724860
 322: 194622520785978486955147644862430
 323: 97311260392989243477573822431215
 324: 291933781178967730432721467293646
 325: 145966890589483865216360733646823
 326: 437900671768451595649082200940470
 327: 218950335884225797824541100470235
 328: 656851007652677393473623301410706
 329: 328425503826338696736811650705353
 330: 985276511479016090210434952116060
 331: 492638255739508045105217476058030
 332: 246319127869754022552608738029015
 333: 738957383609262067657826214087046
 334: 369478691804631033828913107043523
 335: 1108436075413893101486739321130570
 336: 554218037706946550743369660565285
 337: 1662654113120839652230108981695856
 338: 831327056560419826115054490847928
 339: 415663528280209913057527245423964
 340: 207831764140104956528763622711982
 341: 103915882070052478264381811355991
 342: 311747646210157434793145434067974
 343: 155873823105078717396572717033987
 344: 467621469315236152189718151101962
 345: 233810734657618076094859075550981
 346: 701432203972854228284577226652944
 347: 350716101986427114142288613326472
 348: 175358050993213557071144306663236
 349: 87679025496606778535572153331618
 350: 43839512748303389267786076665809
 351: 131518538244910167803358229997428
 352: 65759269122455083901679114998714
 353: 32879634561227541950839557499357
 354: 98638903683682625852518672498072
 355: 49319451841841312926259336249036
 356: 24659725920920656463129668124518
 357: 12329862960460328231564834062259
 358: 36989588881380984694694502186778
 359: 18494794440690492347347251093389
 360: 55484383322071477042041753280168
 361: 27742191661035738521020876640084
 362: 13871095830517869260510438320042
 363: 6935547915258934630255219160021
 364: 20806643745776803890765657480064
 365: 10403321872888401945382828740032
 366: 5201660936444200972691414370016
 367: 2600830468222100486345707185008
 368: 1300415234111050243172853592504
 369: 650207617055525121586426796252
 370: 325103808527762560793213398126
 371: 162551904263881280396606699063
 372: 487655712791643841189820097190
 373: 243827856395821920594910048595
 374: 731483569187465761784730145786
 375: 365741784593732880892365072893
 376: 1097225353781198642677095218680
 377: 548612676890599321338547609340
 378: 274306338445299660669273804670
 379: 137153169222649830334636902335
 380: 411459507667949491003910707006
 381: 205729753833974745501955353503
 382: 617189261501924236505866060510
 383: 308594630750962118252933030255
 384: 925783892252886354758799090766
 385: 462891946126443177379399545383
 386: 1388675838379329532138198636150
 387: 694337919189664766069099318075
 388: 2083013757568994298207297954226
 389: 1041506878784497149103648977113
 390: 3124520636353491447310946931340
 391: 1562260318176745723655473465670
 392: 781130159088372861827736732835
 393: 2343390477265118585483210198506
 394: 1171695238632559292741605099253
 395: 3515085715897677878224815297760
 396: 1757542857948838939112407648880
 397: 878771428974419469556203824440
 398: 439385714487209734778101912220
 399: 219692857243604867389050956110
 400: 109846428621802433694525478055
 401: 329539285865407301083576434166
 402: 164769642932703650541788217083
 403: 494308928798110951625364651250
 404: 247154464399055475812682325625
 405: 741463393197166427438046976876
 406: 370731696598583213719023488438
 407: 185365848299291606859511744219
 408: 556097544897874820578535232658
 409: 278048772448937410289267616329
 410: 834146317346812230867802848988
 411: 417073158673406115433901424494
 412: 208536579336703057716950712247
 413: 625609738010109173150852136742
 414: 312804869005054586575426068371
 415: 938414607015163759726278205114
 416: 469207303507581879863139102557
 417: 1407621910522745639589417307672
 418: 703810955261372819794708653836
 419: 351905477630686409897354326918
 420: 175952738815343204948677163459
 421: 527858216446029614846031490378
 422: 263929108223014807423015745189
 423: 791787324669044422269047235568
 424: 395893662334522211134523617784
 425: 197946831167261105567261808892
 426: 98973415583630552783630904446
 427: 49486707791815276391815452223
 428: 148460123375445829175446356670
 429: 74230061687722914587723178335
 430: 222690185063168743763169535006
 431: 111345092531584371881584767503
 432: 334035277594753115644754302510
 433: 167017638797376557822377151255
 434: 501052916392129673467131453766
 435: 250526458196064836733565726883
 436: 751579374588194510200697180650
 437: 375789687294097255100348590325
 438: 1127369061882291765301045770976
 439: 563684530941145882650522885488
 440: 281842265470572941325261442744
 441: 140921132735286470662630721372
 442: 70460566367643235331315360686
 443: 35230283183821617665657680343
 444: 105690849551464852996973041030
 445: 52845424775732426498486520515
 446: 158536274327197279495459561546
 447: 79268137163598639747729780773
 448: 237804411490795919243189342320
 449: 118902205745397959621594671160
 450: 59451102872698979810797335580
 451: 29725551436349489905398667790
 452: 14862775718174744952699333895
 453: 44588327154524234858098001686
 454: 22294163577262117429049000843
 455: 66882490731786352287147002530
 456: 33441245365893176143573501265
 457: 100323736097679528430720503796
 458: 50161868048839764215360251898
 459: 25080934024419882107680125949
 460: 75242802073259646323040377848
 461: 37621401036629823161520188924
 462: 18810700518314911580760094462
 463: 9405350259157455790380047231
 464: 28216050777472367371140141694
 465: 14108025388736183685570070847
 466: 42324076166208551056710212542
 467: 21162038083104275528355106271
 468: 63486114249312826585065318814
 469: 31743057124656413292532659407
 470: 95229171373969239877597978222
 471: 47614585686984619938798989111
 472: 142843757060953859816396967334
 473: 71421878530476929908198483667
 474: 214265635591430789724595451002
 475: 107132817795715394862297725501
 476: 321398453387146184586893176504
 477: 160699226693573092293446588252
 478: 80349613346786546146723294126
 479: 40174806673393273073361647063
 480: 120524420020179819220084941190
 481: 60262210010089909610042470595
 482: 180786630030269728830127411786
 483: 90393315015134864415063705893
 484: 271179945045404593245191117680
 485: 135589972522702296622595558840
 486: 67794986261351148311297779420
 487: 33897493130675574155648889710
 488: 16948746565337787077824444855
 489: 50846239696013361233473334566
 490: 25423119848006680616736667283
 491: 76269359544020041850210001850
 492: 38134679772010020925105000925
 493: 114404039316030062775315002776
 494: 57202019658015031387657501388
 495: 28601009829007515693828750694
 496: 14300504914503757846914375347
 497: 42901514743511273540743126042
 498: 21450757371755636770371563021
 499: 64352272115266910311114689064
 500: 32176136057633455155557344532
 501: 16088068028816727577778672266
 502: 8044034014408363788889336133
 503: 24132102043225091366668008400
 504: 12066051021612545683334004200
 505: 6033025510806272841667002100
 506: 3016512755403136420833501050
 507: 1508256377701568210416750525
 508: 4524769133104704631250251576
 509: 2262384566552352315625125788
 510: 1131192283276176157812562894
 511: 565596141638088078906281447
 512: 1696788424914264236718844342
 513: 848394212457132118359422171
 514: 2545182637371396355078266514
 515: 1272591318685698177539133257
 516: 3817773956057094532617399772
 517: 1908886978028547266308699886
 518: 954443489014273633154349943
 519: 2863330467042820899463049830
 520: 1431665233521410449731524915
 521: 4294995700564231349194574746
 522: 2147497850282115674597287373
 523: 6442493550846347023791862120
 524: 3221246775423173511895931060
 525: 1610623387711586755947965530
 526: 805311693855793377973982765
 527: 2415935081567380133921948296
 528: 1207967540783690066960974148
 529: 603983770391845033480487074
 530: 301991885195922516740243537
 531: 905975655587767550220730612
 532: 452987827793883775110365306
 533: 226493913896941887555182653
 534: 679481741690825662665547960
 535: 339740870845412831332773980
 536: 169870435422706415666386990
 537: 84935217711353207833193495
 538: 254805653134059623499580486
 539: 127402826567029811749790243
 540: 382208479701089435249370730
 541: 191104239850544717624685365
 542: 573312719551634152874056096
 543: 286656359775817076437028048
 544: 143328179887908538218514024
 545: 71664089943954269109257012
 546: 35832044971977134554628506
 547: 17916022485988567277314253
 548: 53748067457965701831942760
 549: 26874033728982850915971380
 550: 13437016864491425457985690
 551: 6718508432245712728992845
 552: 20155525296737138186978536
 553: 10077762648368569093489268
 554: 5038881324184284546744634
 555: 2519440662092142273372317
 556: 7558321986276426820116952
 557: 3779160993138213410058476
 558: 1889580496569106705029238
 559: 944790248284553352514619
 560: 2834370744853660057543858
 561: 1417185372426830028771929
 562: 4251556117280490086315788
 563: 2125778058640245043157894
 564: 1062889029320122521578947
 565: 3188667087960367564736842
 566: 1594333543980183782368421
 567: 4783000631940551347105264
 568: 2391500315970275673552632
 569: 1195750157985137836776316
 570: 597875078992568918388158
 571: 298937539496284459194079
 572: 896812618488853377582238
 573: 448406309244426688791119
 574: 1345218927733280066373358
 575: 672609463866640033186679
 576: 2017828391599920099560038
 577: 1008914195799960049780019
 578: 3026742587399880149340058
 579: 1513371293699940074670029
 580: 4540113881099820224010088
 581: 2270056940549910112005044
 582: 1135028470274955056002522
 583: 567514235137477528001261
 584: 1702542705412432584003784
 585: 851271352706216292001892
 586: 425635676353108146000946
 587: 212817838176554073000473
 588: 638453514529662219001420
 589: 319226757264831109500710
 590: 159613378632415554750355
 591: 478840135897246664251066
 592: 239420067948623332125533
 593: 718260203845869996376600
 594: 359130101922934998188300
 595: 179565050961467499094150
 596: 89782525480733749547075
 597: 269347576442201248641226
 598: 134673788221100624320613
 599: 404021364663301872961840
 600: 202010682331650936480920
 601: 101005341165825468240460
 602: 50502670582912734120230
 603: 25251335291456367060115
 604: 75754005874369101180346
 605: 37877002937184550590173
 606: 113631008811553651770520
 607: 56815504405776825885260
 608: 28407752202888412942630
 609: 14203876101444206471315
 610: 42611628304332619413946
 611: 21305814152166309706973
 612: 63917442456498929120920
 613: 31958721228249464560460
 614: 15979360614124732280230
 615: 7989680307062366140115
 616: 23969040921187098420346
 617: 11984520460593549210173
 618: 35953561381780647630520
 619: 17976780690890323815260
 620: 8988390345445161907630
 621: 4494195172722580953815
 622: 13482585518167742861446
 623: 6741292759083871430723
 624: 20223878277251614292170
 625: 10111939138625807146085
 626: 30335817415877421438256
 627: 15167908707938710719128
 628: 7583954353969355359564
 629: 3791977176984677679782
 630: 1895988588492338839891
 631: 5687965765477016519674
 632: 2843982882738508259837
 633: 8531948648215524779512
 634: 4265974324107762389756
 635: 2132987162053881194878
 636: 1066493581026940597439
 637: 3199480743080821792318
 638: 1599740371540410896159
 639: 4799221114621232688478
 640: 2399610557310616344239
 641: 7198831671931849032718
 642: 3599415835965924516359
 643: 10798247507897773549078
 644: 5399123753948886774539
 645: 16197371261846660323618
 646: 8098685630923330161809
 647: 24296056892769990485428
 648: 12148028446384995242714
 649: 6074014223192497621357
 650: 18222042669577492864072
 651: 9111021334788746432036
 652: 4555510667394373216018
 653: 2277755333697186608009
 654: 6833266001091559824028
 655: 3416633000545779912014
 656: 1708316500272889956007
 657: 5124949500818669868022
 658: 2562474750409334934011
 659: 7687424251228004802034
 660: 3843712125614002401017
 661: 11531136376842007203052
 662: 5765568188421003601526
 663: 2882784094210501800763
 664: 8648352282631505402290
 665: 4324176141315752701145
 666: 12972528423947258103436
 667: 6486264211973629051718
 668: 3243132105986814525859
 669: 9729396317960443577578
 670: 4864698158980221788789
 671: 14594094476940665366368
 672: 7297047238470332683184
 673: 3648523619235166341592
 674: 1824261809617583170796
 675: 912130904808791585398
 676: 456065452404395792699
 677: 1368196357213187378098
 678: 684098178606593689049
 679: 2052294535819781067148
 680: 1026147267909890533574
 681: 513073633954945266787
 682: 1539220901864835800362
 683: 769610450932417900181
 684: 2308831352797253700544
 685: 1154415676398626850272
 686: 577207838199313425136
 687: 288603919099656712568
 688: 144301959549828356284
 689: 72150979774914178142
 690: 36075489887457089071
 691: 108226469662371267214
 692: 54113234831185633607
 693: 162339704493556900822
 694: 81169852246778450411
 695: 243509556740335351234
 696: 121754778370167675617
 697: 365264335110503026852
 698: 182632167555251513426
 699: 91316083777625756713
 700: 273948251332877270140
 701: 136974125666438635070
 702: 68487062833219317535
 703: 205461188499657952606
 704: 102730594249828976303
 705: 308191782749486928910
 706: 154095891374743464455
 707: 462287674124230393366
 708: 231143837062115196683
 709: 693431511186345590050
 710: 346715755593172795025
 711: 1040147266779518385076
 712: 520073633389759192538
 713: 260036816694879596269
 714: 780110450084638788808
 715: 390055225042319394404
 716: 195027612521159697202
 717: 97513806260579848601
 718: 292541418781739545804
 719: 146270709390869772902
 720: 73135354695434886451
 721: 219406064086304659354
 722: 109703032043152329677
 723: 329109096129456989032
 724: 164554548064728494516
 725: 82277274032364247258
 726: 41138637016182123629
 727: 123415911048546370888
 728: 61707955524273185444
 729: 30853977762136592722
 730: 15426988881068296361
 731: 46280966643204889084
 732: 23140483321602444542
 733: 11570241660801222271
 734: 34710724982403666814
 735: 17355362491201833407
 736: 52066087473605500222
 737: 26033043736802750111
 738: 78099131210408250334
 739: 39049565605204125167
 740: 117148696815612375502
 741: 58574348407806187751
 742: 175723045223418563254
 743: 87861522611709281627
 744: 263584567835127844882
 745: 131792283917563922441
 746: 395376851752691767324
 747: 197688425876345883662
 748: 98844212938172941831
 749: 296532638814518825494
 750: 148266319407259412747
 751: 444798958221778238242
 752: 222399479110889119121
 753: 667198437332667357364
 754: 333599218666333678682
 755: 166799609333166839341
 756: 500398827999500518024
 757: 250199413999750259012
 758: 125099706999875129506
 759: 62549853499937564753
 760: 187649560499812694260
 761: 93824780249906347130
 762: 46912390124953173565
 763: 140737170374859520696
 764: 70368585187429760348
 765: 35184292593714880174
 766: 17592146296857440087
 767: 52776438890572320262
 768: 26388219445286160131
 769: 79164658335858480394
 770: 39582329167929240197
 771: 118746987503787720592
 772: 59373493751893860296
 773: 29686746875946930148
 774: 14843373437973465074
 775: 7421686718986732537
 776: 22265060156960197612
 777: 11132530078480098806
 778: 5566265039240049403
 779: 16698795117720148210
 780: 8349397558860074105
 781: 25048192676580222316
 782: 12524096338290111158
 783: 6262048169145055579
 784: 18786144507435166738
 785: 9393072253717583369
 786: 28179216761152750108
 787: 14089608380576375054
 788: 7044804190288187527
 789: 21134412570864562582
 790: 10567206285432281291
 791: 31701618856296843874
 792: 15850809428148421937
 793: 47552428284445265812
 794: 23776214142222632906
 795: 11888107071111316453
 796: 35664321213333949360
 797: 17832160606666974680
 798: 8916080303333487340
 799: 4458040151666743670
 800: 2229020075833371835
 801: 6687060227500115506
 802: 3343530113750057753
 803: 10030590341250173260
 804: 5015295170625086630
 805: 2507647585312543315
 806: 7522942755937629946
 807: 3761471377968814973
 808: 11284414133906444920
 809: 5642207066953222460
 810: 2821103533476611230
 811: 1410551766738305615
 812: 4231655300214916846
 813: 2115827650107458423
 814: 6347482950322375270
 815: 3173741475161187635
 816: 9521224425483562906
 817: 4760612212741781453
 818: 14281836638225344360
 819: 7140918319112672180
 820: 3570459159556336090
 821: 1785229579778168045
 822: 5355688739334504136
 823: 2677844369667252068
 824: 1338922184833626034
 825: 669461092416813017
 826: 2008383277250439052
 827: 1004191638625219526
 828: 502095819312609763
 829: 1506287457937829290
 830: 753143728968914645
 831: 2259431186906743936
 832: 1129715593453371968
 833: 564857796726685984
 834: 282428898363342992
 835: 141214449181671496
 836: 70607224590835748
 837: 35303612295417874
 838: 17651806147708937
 839: 52955418443126812
 840: 26477709221563406
 841: 13238854610781703
 842: 39716563832345110
 843: 19858281916172555
 844: 59574845748517666
 845: 29787422874258833
 846: 89362268622776500
 847: 44681134311388250
 848: 22340567155694125
 849: 67021701467082376
 850: 33510850733541188
 851: 16755425366770594
 852: 8377712683385297
 853: 25133138050155892
 854: 12566569025077946
 855: 6283284512538973
 856: 18849853537616920
 857: 9424926768808460
 858: 4712463384404230
 859: 2356231692202115
 860: 7068695076606346
 861: 3534347538303173
 862: 10603042614909520
 863: 5301521307454760
 864: 2650760653727380
 865: 1325380326863690
 866: 662690163431845
 867: 1988070490295536
 868: 994035245147768
 869: 497017622573884
 870: 248508811286942
 871: 124254405643471
 872: 372763216930414
 873: 186381608465207
 874: 559144825395622
 875: 279572412697811
 876: 838717238093434
 877: 419358619046717
 878: 1258075857140152
 879: 629037928570076
 880: 314518964285038
 881: 157259482142519
 882: 471778446427558
 883: 235889223213779
 884: 707667669641338
 885: 353833834820669
 886: 1061501504462008
 887: 530750752231004
 888: 265375376115502
 889: 132687688057751
 890: 398063064173254
 891: 199031532086627
 892: 597094596259882
 893: 298547298129941
 894: 895641894389824
 895: 447820947194912
 896: 223910473597456
 897: 111955236798728
 898: 55977618399364
 899: 27988809199682
 900: 13994404599841
 901: 41983213799524
 902: 20991606899762
 903: 10495803449881
 904: 31487410349644
 905: 15743705174822
 906: 7871852587411
 907: 23615557762234
 908: 11807778881117
 909: 35423336643352
 910: 17711668321676
 911: 8855834160838
 912: 4427917080419
 913: 13283751241258
 914: 6641875620629
 915: 19925626861888
 916: 9962813430944
 917: 4981406715472
 918: 2490703357736
 919: 1245351678868
 920: 622675839434
 921: 311337919717
 922: 934013759152
 923: 467006879576
 924: 233503439788
 925: 116751719894
 926: 58375859947
 927: 175127579842
 928: 87563789921
 929: 262691369764
 930: 131345684882
 931: 65672842441
 932: 197018527324
 933: 98509263662
 934: 49254631831
 935: 147763895494
 936: 73881947747
 937: 221645843242
 938: 110822921621
 939: 332468764864
 940: 166234382432
 941: 83117191216
 942: 41558595608
 943: 20779297804
 944: 10389648902
 945: 5194824451
 946: 15584473354
 947: 7792236677
 948: 23376710032
 949: 11688355016
 950: 5844177508
 951: 2922088754
 952: 1461044377
 953: 4383133132
 954: 2191566566
 955: 1095783283
 956: 3287349850
 957: 1643674925
 958: 4931024776
 959: 2465512388
 960: 1232756194
 961: 616378097
 962: 1849134292
 963: 924567146
 964: 462283573
 965: 1386850720
 966: 693425360
 967: 346712680
 968: 173356340
 969: 86678170
 970: 43339085
 971: 130017256
 972: 65008628
 973: 32504314
 974: 16252157
 975: 48756472
 976: 24378236
 977: 12189118
 978: 6094559
 979: 18283678
 980: 9141839
 981: 27425518
 982: 13712759
 983: 41138278
 984: 20569139
 985: 61707418
 986: 30853709
 987: 92561128
 988: 46280564
 989: 23140282
 990: 11570141
 991: 34710424
 992: 17355212
 993: 8677606
 994: 4338803
 995: 13016410
 996: 6508205
 997: 19524616
 998: 9762308
 999: 4881154
1000: 2440577
1001: 7321732
1002: 3660866
1003: 1830433
1004: 5491300
1005: 2745650
1006: 1372825
1007: 4118476
1008: 2059238
1009: 1029619
1010: 3088858
1011: 1544429
1012: 4633288
1013: 2316644
1014: 1158322
1015: 579161
1016: 1737484
1017: 868742
1018: 434371
1019: 1303114
1020: 651557
1021: 1954672
1022: 977336
1023: 488668
1024: 244334
1025: 122167
1026: 366502
1027: 183251
1028: 549754
1029: 274877
1030: 824632
1031: 412316
1032: 206158
1033: 103079
1034: 309238
1035: 154619
1036: 463858
1037: 231929
1038: 695788
1039: 347894
1040: 173947
1041: 521842
1042: 260921
1043: 782764
1044: 391382
1045: 195691
1046: 587074
1047: 293537
1048: 880612
1049: 440306
1050: 220153
1051: 660460
1052: 330230
1053: 165115
1054: 495346
1055: 247673
1056: 743020
1057: 371510
1058: 185755
1059: 557266
1060: 278633
1061: 835900
1062: 417950
1063: 208975
1064: 626926
1065: 313463
1066: 940390
1067: 470195
1068: 1410586
1069: 705293
1070: 2115880
1071: 1057940
1072: 528970
1073: 264485
1074: 793456
1075: 396728
1076: 198364
1077: 99182
1078: 49591
1079: 148774
1080: 74387
1081: 223162
1082: 111581
1083: 334744
1084: 167372
1085: 83686
1086: 41843
1087: 125530
1088: 62765
1089: 188296
1090: 94148
1091: 47074
1092: 23537
1093: 70612
1094: 35306
1095: 17653
1096: 52960
1097: 26480
1098: 13240
1099: 6620
1100: 3310
1101: 1655
1102: 4966
1103: 2483
1104: 7450
1105: 3725
1106: 11176
1107: 5588
1108: 2794
1109: 1397
1110: 4192
1111: 2096
1112: 1048
1113: 524
1114: 262
1115: 131
1116: 394
1117: 197
1118: 592
1119: 296
1120: 148
1121: 74
1122: 37
1123: 112
1124: 56
1125: 28
1126: 14
1127: 7
1128: 22
1129: 11
1130: 34
1131: 17
1132: 52
1133: 26
1134: 13
1135: 40
1136: 20
1137: 10
1138: 5
1139: 16
1140: 8
1141: 4
1142: 2
1143: 1