experimental-projects/oeis-research/Zak Seidov/a(n) = sigma_2(a(n-1)), with a(1) = 2/factorization_of_a(16).sf

#!/usr/bin/ruby

func sigma(f, x=1) {
    f.to_bag.kv.prod_2d {|p,e|
        (p**(x*(e+1)) - 1) / (p**x - 1)
    }
}

func sigma_factors(f, x=1) {
    f.to_bag.kv.map_2d {|p,e|
        (p**(x*(e+1)) - 1) / (p**x - 1)
    }.sort
}

var n = 267371468906985402029627584331824589490231866674251089650118122233092214285381200321620561660643279163556163016295665324986862881864036872569174557431357298193588877356122201992233005682397834377827553418754026409863692333224834007332425124528341484623689870923732400910458975629806342587735385625878274728910410806768874862700876629899554039571721903367911265644943960848088245359640113750754258150511894213650849266988083415796850730969763215209411575453136377118604584021577268618729224528565262397400126122232124050418444868896833138218712212561555037535244471330420623000175576732982690429091887780940547859550162156264909888871090223074160795099817897564549260817699460137966407200136542577580756685478901859328069410435098619255180453870219639300184597178870727675837267008222629205096913823643989570082803089731012774888632947840877862156143532323524332161339876356380768263559778666423147122045469960289688679878551726303311159257435240050787668045198006038892600138798476414563239706841597916795963905820353362122074904847501380401959790482780977030163262507510728689538266037238970540805629423378855978465481306824132773973195357516653205670675021045593225763574092368728252160329667364150499191619685783117426901768914241620954974917061497415999672864167510006010618925152877221416581062516804995576520740738453457261570804637461312074473548398650613538121679263924863487065334167017022306753514637913128491879679515736118879085828488265693323386775273053919980085251477066666886607584059127969525677760552016156967835414651386132814345668340854587526306576745921374999970558892177880750589286089645649598203164833504097463354134875088295498060226512556074534963808277406763290750300263342535502624996829810141699106957394248075655317880276988073906304748636627570584332196104155640124313123775935840551593992294799031988288120584260093773590729779658650659807476547858416416281568455647037319668911623802873194502814408336846395901628937837751216058648345628805207117219407272113414107345833973199933380747484465294540506227832297382063638438723144043052489112759868527114948763331551823377894308686961184005485073208714000763778846223717146085135483380104930647130409466441389945317021717521100427375421387572621143952816994036810921921259432867759007928207032909738622572182349295614354072350055906323120582604643966827964845185622290534177278333004431862339797076516211845723213331021868498135505676633316968813183856284619645232321626989586160680504973491477168283651656734420023896971752850181656415463062524258970864270715827403250471467569189949968926123610864309189427059021699757480674137564898237257334044007130481297380828960046418546198553319108464611042250201053632996400956436571650777212806595403089156153974496479794563590419085239832124039317279200797665949099956808073199523403397271561164884008860476274571882157511611112653912544268119409700372260557283310083208130074201165427884173685293137735708543239565296518397991863464006590073342272483558436125794903899077324842061185201769710223468562868231245081165252946404699829491090103430424128518881831437243421292409021136072631513477978734636795422174320838741832246795935809788731887253706718735192000082797511399510195666295290463792639375360889198292550834070110996790267289379260780394632726565648923863597113141561390625552284878068505711257419021767941785987904859034459404687414830940151520351230950616966436176103433382907231218899446264372093329781579029620830892496054770719034520568036830575311856813923510482113408785325208378620116311101636438490870560173921895466640392010101597209869126388563334709023885164467279117729981109221136232715667366036446674783871259012244032751829756535445854234975793832061553183538236830356630674464074079226343320159113748020812029612763409028605440237045716742353035683196849544034208215611291415796683669538075243404995198548911501695461299485731337853154019298815389507022227293171594207988679520410671447257953173412968349554929863004844422457852350175086632921387671761679371717923472319743032485300063182732441684377994072493054149018547363307365827596594884701308493347569160324487967672423092425864284372232787063480984168212438320015560802747878102186754164456611082919108869440629803722171045731926081074699699117654753670277264334901465158399781997250175604274274862417363725427153626393924555120497180607959565773489867207091985287468438261366740714967873157744627296253756359803546961644422048205840358666235975715961858555439187697636331849035580458937976538586306006452904454030417486226270183142200191684760002841894163850907407537951832408753854966383649392115247604857973549378401186593917165893743186521870832360718638242255413880031909160722496821732117024420782013909829220663294482903156864343020404666512331354421705706203083484347706103590901221248935793594848071764599933890676416748685240642680442246870126346875581848049847970129612170328133123071763438275211727004018812262285262411466537526682624890148833493273321362098605020615864229827615493331249330038217311891112448385995719374354423383975677733359394376534377529100185636304680458273737366013264463829821183745432046274608304767974483178688058526490471032727190807921929370958840208697557111202287808366576698739719869816571361628452150050576426988450711151766254209516640200620228165315084219697876890644576010678584548724943668360835389483026832605215787934057042741115860663819290051576182851835495762333195196471058791983387433857195928818596509138177192148856362698870364037180036140286762325552960229993111837340132495623130550767901211487452197165755251672235938821335419775754165264589514750365672189663195942057562540674486433416082614118883959410308602616019566676873915644788883210360428221786593848260595508079926687036369150831597281709670142968248750387145063950442119699680608052833811749907601608764106956448572277579181007527657093322577058481216592398062520598972443433976814733360888019722993895226538397112640066238784653843910089997142104986777551305440196704092787431052345466424184919876533879324833844484180412395563908888131245609599483740851860459107467846920224910088032592055815449036291699175229365071333560238945306883699103213469981640575892343082074087530586483844476142411337067842554441976629116669821186608539110118332349161318144262211477506051963484604750994782759713794754816857861207915487620134111074081776554970160979649084625852202157724899955340264763893357424317856923484621387107515352970640757654505474255205941799743330251454783093980181565947276795512954917333479876702634587789223907893879679369175231714319551877846960284796683074538303139276362404344309286954707219951760511736341512703235291212790134714191166496630251596113088108651301076850493480419795754402564440555173258578052028153865277695324759273871045065936093068635424998224904951761963868719162809207155132525255741056763010601701593947624952979902488684270761396234523535276707040671762296321470426150694693467897109160402584264146161053268169013383692115202871706001660507885342424617177396649134575103695134304102095345083011417004273589934999827057539852633612532677596831279359445307288854168600629422093005939520812779136802623247922806145264978687666747841947737598745883749443095476906594883494282781212358967288508581658968087417809179913177882594689970856421904309769325692183725402709150420102182479871289499812953840073641318880408268143667192093496650365171071321995962174172932170450201203319702303526193487586981891409466820297960098796191410023566426555660147473991133483622277605618152165325506859110567592692901402992285816885384925247051871069227904129288347787868912400662629822464399441619629793838081906347751912879588294403649087989932972392853459857260140125078169945182390607367523948945195893851924590683935932443517397712779603801451870463641886986287618155288890459249051853067456600222161786535886332020625426291976383753702464682261221872113005120005178103062404812978982164378162765333489173874109082571982437551315258257956356624921805727508597570500425230777105459498478664011113615752443765257990018885729809641371173523219734600295497947700679211273468035242589200650213329111047118998261023662876588946346623510406787536006518400466177294193699003809961102838868221511175096525492723855196395546171557051879070136170627658156971997239533805766043574809434040620821729812109309050886464663683018446124693592107096245343926861758660399580453503246136180254462151877532991920843604009072172744201785067830421897119165308840116816914029462944128472132610734782878170233198592137746917202061760045198530674303699281876944418668254224828451100610299683613734621891461662247757717308527737031309379516436688506612793792053214301796033061868536788611418494371270771767121793361142054231704017739553419188342699660907200614771424292589031837212960347461872320196250310550426702720560967589675787581317777848280046368196669856077453925443388753751090141378244906615465307867608298708651687444940340397294588848809238303708127872158167817664086505844557552330705268477530764889350741242538672861054645878650243576844759366967362162901302125250612067861582005200270384019260199732432389047414700540458385106387632387932732423342184264340403429374851568124496470979216394903279381035817769270590566041577671536399290716898060244897168640691011897919131330707710982697455105923601974014399233823545314197749334900899783078428106741512974199787063364580109430889758334738557009632262000351647926820723938843528298445440363295863443266164395785399291970610114662253061098949847369877364478963572904893761636205792434459973635431101798421139143210410178754975040331352186470114049594140198505779577852411728949536685796803952839524874925700848371251386450865281065120542299979636137435746619537970259016263819717778507502049822232699223077412844753959827830711377959281997780872433093873868709112737149766261310577300371832616574193695891699064499389811877832199244697843301775789309448830754857930273413445790836986275949398493627275620424783898852178667032846153832977055309745093820570275523522065627495790037704899323449708466619121134761061466699755948535159008652489337346683859641148944249773744335690545642507873790879280537302569375048935914661572616230785547848160013521568819151983808665477178430643882329952855582094750838722156976902368693044536867384754377534106161887001377561271383561894332212237261501106556179716930543165750211800602179496717961554005575964008884194451668807878086568982479461741200984516628705646483619497482724366137196503412608990844135549952334753408557011999511307118434235883850190766903217908637926085459090206701604371712436665450840303795692116094761251600356131650531923293671129607486370453032319324568735117167546868772176094369588512468620428460875321819469498140940469115706183064633799136552080528653210493612475154873631297940591737192573627087140753497974540087424250515443876263703555083915295761401677282779818570006770736455978936338874461837319236584503206856775694995276918923979084734913604423327685513397510822690081225585190635037739041193077113366482340329751869568454933842547340004226150165553546764094763654942719288240460241613250102748606649999435931529619044534891468865016175759629084275441678082742339055686453256336213579331978813589940198530534475258778986749855789745589225538971128164915329258767986491352862759043591520810846590481567469151029194444078553586070835585969403925726383633812537241433725854057067064941715501010800282512032263892793527328715409046542842544685798990241169370684190631746196942305299845954950301251751474871572214328037068172629909035227658554238938856775451544083777733367983423436452339736917401094331461321245916520966512472307686670070542361379142264957049241031439844098930579496393384999542208900389605637779674812538985497075420536388160469478015557192017043618192161565241712269263676196568041657398284792928516133658603886828194083557897631630110961530038240888684752571959715497703026623526331354051614321101716592958664848251364680081250426070449062690148148575966964236818861557810087855843219322881831738559253316966725640862537582630171665790482136263007759413803263646372994648753163776234898865845724919036668263102940602103834533692090491820495815843402677827907092480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
var f = DATA.slurp.nums

assert(f.all { .is_prime })
assert_eq(f.prod, n)

say ("omega(a(16)) = ", f.uniq.len)     #=> 1221
say ("Omega(a(16)) = ", f.len)          #=> 3151

#say sigma(f, 2)        # print a(17)
#say sigma_factors(f, 2)

__END__
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
11
11
11
11
11
11
11
11
11
11
11
11
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
13
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
17
19
19
19
19
19
19
19
19
19
19
19
23
23
23
23
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
29
31
31
31
31
31
31
31
31
31
31
31
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
37
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
41
43
43
47
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
53
61
61
61
61
61
61
61
61
61
61
61
61
61
61
61
61
61
61
61
61
67
67
67
67
71
71
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
73
79
79
79
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
89
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
97
101
101
101
101
101
101
101
101
101
101
101
101
101
101
101
101
103
109
109
109
109
109
109
109
109
109
109
109
109
113
113
113
113
113
113
113
113
113
113
113
113
113
113
137
137
137
137
137
137
137
137
137
137
137
137
137
137
137
137
139
139
139
149
149
149
149
149
149
149
149
149
151
157
157
157
157
157
157
157
157
157
157
157
157
157
157
157
173
173
173
173
173
173
181
181
181
181
181
181
191
193
193
193
193
193
193
193
193
197
197
197
211
229
229
229
229
229
229
229
229
229
229
233
233
233
233
233
233
233
241
241
241
241
241
241
257
257
257
257
269
269
269
271
277
277
277
281
281
281
293
293
293
293
293
293
293
313
313
313
313
313
317
317
317
317
317
331
337
337
337
337
337
349
349
349
349
349
349
353
353
353
353
353
353
373
373
373
373
373
373
379
383
389
389
389
389
389
389
397
397
397
401
401
401
401
401
401
409
409
409
409
409
421
421
421
421
421
433
433
433
433
449
449
449
449
449
449
457
461
461
487
491
499
499
509
509
521
541
541
541
547
557
557
577
577
577
577
593
593
601
601
601
617
617
641
643
653
653
661
661
661
661
661
677
691
709
709
709
733
751
757
761
761
761
761
769
769
769
769
773
773
773
797
809
809
809
811
821
821
829
853
857
857
877
877
881
881
883
907
907
929
937
937
937
941
953
953
967
977
977
997
1009
1013
1021
1021
1033
1049
1061
1061
1061
1061
1069
1087
1093
1093
1097
1109
1109
1129
1129
1193
1201
1201
1213
1213
1217
1229
1237
1237
1237
1249
1249
1277
1289
1289
1291
1297
1301
1321
1361
1361
1373
1373
1373
1373
1381
1429
1433
1433
1453
1453
1489
1489
1493
1493
1499
1549
1553
1553
1601
1601
1601
1609
1621
1637
1669
1693
1697
1697
1709
1721
1733
1741
1741
1753
1759
1789
1801
1801
1831
1861
1861
1877
1889
1913
2003
2017
2069
2083
2113
2137
2143
2161
2221
2237
2237
2269
2273
2311
2357
2411
2473
2477
2503
2521
2521
2521
2549
2551
2557
2609
2617
2621
2633
2657
2789
2797
2801
2801
2801
2837
2861
3011
3121
3121
3169
3253
3313
3323
3389
3413
3413
3433
3449
3469
3529
3529
3557
3557
3571
3709
3733
3761
3821
3853
3881
3889
4013
4073
4133
4177
4253
4421
4423
4457
4493
4657
4673
4721
4789
4793
4889
4889
4909
4957
4999
5021
5077
5101
5101
5197
5273
5281
5573
5573
5701
5741
5861
5881
6029
6037
6101
6121
6173
6211
6221
6257
6257
6277
6343
6353
6469
6529
6577
6673
6701
6761
6977
7001
7057
7177
7253
7349
7369
7393
7459
7489
7537
7577
8069
8089
8101
8117
8263
8353
8461
8581
8629
8681
8941
9001
9041
9209
9257
9293
9377
9421
9461
9629
9661
9661
9721
9967
10037
10133
10193
10333
10453
10477
10529
10529
10771
10853
10957
11257
11261
11657
11701
11833
12277
12503
13241
13421
13553
13633
13763
13789
13913
14033
14281
14401
14401
14533
14753
14753
14831
15013
15013
15313
15361
15401
15413
15569
15733
15881
15901
16301
16349
16361
16381
16421
16661
17033
17393
17393
17909
18257
18433
18749
18869
18913
19183
19417
19441
19469
19501
19801
19861
20147
20261
20261
20389
21001
21089
21121
21121
21649
21881
22469
22501
23131
23197
23201
23593
23857
24109
24281
24329
24571
24889
25673
25997
26017
26297
27749
28429
29501
29683
29881
29921
30941
31249
31573
32309
33301
33391
33493
33797
34693
35201
35381
35617
36767
37321
37889
38069
38273
38917
39733
39877
41113
41761
41761
42433
43721
44101
44201
44281
44633
44809
45013
45673
45833
46261
46901
47293
49549
49757
50093
52289
52769
53633
55009
55609
55897
57973
58789
59957
62323
63397
63541
65293
65309
66037
66697
70913
71333
71597
71821
73597
75557
76801
77797
77933
77969
78553
80167
81569
82721
83561
85361
85837
86837
87793
87797
88169
88741
90821
93553
93761
94961
99401
99709
99713
102317
102913
103231
103837
104281
105361
106261
106661
107137
109313
109357
115201
117041
119549
121453
122557
122789
124769
125539
126481
127373
130369
132749
135913
139609
143537
145861
147137
147137
148961
150373
151201
161521
161881
163021
163567
164429
164881
165941
167449
168697
171049
171877
177013
179717
180289
181297
182713
184417
185797
185873
189977
203017
203117
213881
215953
228929
229213
232073
237157
237737
240517
246637
249103
261707
264811
267601
279121
288481
291503
293213
309391
309403
312709
313661
323053
323641
325133
329333
342337
350377
354337
359101
369269
377789
382357
390809
391999
401161
403061
410497
410701
419693
431521
433889
439577
439693
441281
444349
444641
445321
460913
461561
462377
468593
491041
492103
492601
497509
507797
542981
547663
552301
553961
566437
571381
572311
576613
576977
582409
590077
590309
598303
602713
605509
613817
619897
663763
666461
685621
694829
695257
695621
697993
726797
750157
755081
765229
770261
787153
797813
833197
839261
845069
861571
898897
915769
919621
921601
926161
993977
1006861
1017617
1024921
1030297
1039421
1047997
1063661
1108561
1124437
1137973
1155061
1170349
1181969
1213913
1230769
1303097
1359997
1410077
1456229
1515541
1534289
1549741
1558189
1642057
1732261
1744733
1772893
1773581
1801601
1808801
1827389
1833137
1896353
1940201
1948273
2044351
2068037
2088829
2144717
2159881
2188861
2223869
2389531
2418733
2424833
2431217
2514053
2526893
2574181
2577593
2669789
2673089
2677573
2793941
2834581
3031177
3116977
3119201
3195217
3224731
3282673
3305257
3403441
3436409
3697433
3729181
3904921
4053869
4080133
4335041
4404977
4466593
4546573
4648201
4780777
5106029
5112581
5139109
5149393
5377289
5545273
5566657
5598233
5741093
5867597
6028177
6060433
6226921
6293249
6430477
6515941
6609457
6778229
6848701
6872081
6878341
7366397
7415101
7425161
8686729
8777081
8838617
9306289
9367291
9554197
9945553
10280377
10316017
10350919
10608841
10635797
10807081
11143921
12293053
12799733
12800849
13439737
13632221
13789361
13804933
13931557
15040097
15066043
15120433
15723749
16008649
16495849
16527713
16996337
17117101
17218273
17914693
18174421
18320521
19357157
19622651
21048133
21160457
21430757
21753257
22140121
23907211
24271069
25212001
26358817
27240601
28433341
28999489
30386561
30401093
30646621
30905177
31422089
31639913
31815241
32051521
32464433
37593329
40251089
40429537
41637961
42467057
44401321
46413313
46556717
48521101
52207213
52353157
52613263
53326561
55056329
57362761
57461653
59294717
61438777
62060021
62245697
62335109
64169113
68070853
73784101
74665553
74690449
80581129
85693033
87225377
90161873
96233381
96581929
97236197
97418933
112894993
118007957
123518407
128545741
136593761
138298309
140780693
149914249
154209113
159017513
190144501
191117609
197303929
201375617
206112197
209709737
211457321
213192173
242838569
245108489
249579929
253147501
262209281
283763713
329033281
344847421
362370121
368299513
385173773
405730781
407865361
418216637
429110789
429200081
441346337
463966729
474061789
533401733
545523221
564793651
580083313
585776077
617545889
620896721
631900601
660375841
682798453
709373173
734256629
789485561
805726073
817252021
836119397
862594441
912890009
957077413
974072081
1099851901
1184100193
1187211101
1205476469
1245101381
1326331213
1344621521
1394714501
1556020957
1591050761
1667016677
1787839489
1854465901
1870916029
1884724913
1967909761
2060287037
2404953017
2454725333
2593856581
2664097031
2860780441
3447594833
3583912721
3595460669
3835590673
3863628737
3884426929
4578972757
4916070293
5241759637
5370933289
5674435981
5817200869
5908670381
5972216269
5992372157
6365276873
7068569257
7618718993
7777801441
8369006353
8565362053
8589744221
9004380533
9210094921
9822399617
9855868553
9862960801
10163117357
10175728663
11630662789
12398532481
14581171361
14789210309
15286481701
15320131529
15873021821
15986053789
17388895409
17663027113
18068287577
18994700173
20948654381
22448474161
25085030513
26391465589
28784619917
29884231801
31971365581
32679023129
33228910097
35911020049
37227010229
37875120509
39940132241
40658397961
46910209477
50950167013
52548582913
56015956169
64130900357
65854613261
68166324761
71276364037
74112700793
81732068309
83620542653
95397556801
103308219233
106519278361
110366318617
112224666637
120882675701
131492689021
141240007057
163925565449
174853916161
192554086217
229749039733
253239693257
259673656709
334871136221
336039126077
340323453077
369743445733
371555309093
374857981681
473130786617
508041972769
543124566401
570224410493
591564351481
698055640969
734068527937
756020949881
933224110393
1003617199681
1138519086533
1294410289169
1467748131121
1484081330401
1561920372833
1619950292689
1834838406941
1939592007373
2118912647333
2681104814537
2754860234449
2755070611081
2954582207893
3512477579761
3930069947477
4332543678149
4664271859873
5844100138801
6202118192329
6404459181389
6449552459197
6900597617041
7114472480197
7526762520929
8652738789397
11253827999069
11687041697137
13787361836617
14096422442677
14792524181821
19367027910781
21128683593613
25970390374001
31129845205681
31280679788951
37914772216261
38018082030997
38314069015853
40424000215069
43156205165233
44465885377477
52121407932101
53612736366181
53926099295137
54817060957333
64227038336561
66477837920609
66931191083201
79888608687233
80704506197789
89618875387061
99261562993441
115151997983153
121805027537077
133789102488889
141689134765513
144350375535533
145395310244389
176138041562381
198232106003537
222700989356737
225891692593381
332584516519201
348241960458829
371025171420601
378596050196557
387452679501581
500461204052093
516915517060457
536141603424689
665875608142769
718366793000837
743725463632273
774568493964233
795645516847369
866802946161469
919787393819009
950681236239029
1031090373165137
1056557445252041
1116130730334721
1266394281048641
1338554986152193
1398391370896801
1437605097264761
1755489280854977
2096903463889921
2540150063547989
2667915738779393
3197029661537981
3330806253772321
3641556031360361
4964217204903529
5170354010692093
5608373068250549
5643647422683289
6333320182157869
8948497564352761
10560992272734049
10685705706306053
10827505640180401
11609878101828277
12115165072580377
12597569150489143
15294622838198819
17064618281862601
17506658404758473
22435791836391361
23971944503021153
29361964147717561
29785404613009501
32929326734312273
35943939030242101
36961795559119253
47635391067166673
48943045033722869
71211384778734253
79787519018560501
82161012510358049
92068034618101261
96651783712838197
104015126222878033
220563451410885241
227283554064939121
257248859837681269
275752767315332273
286427361962674901
299268081120556861
319194187072264837
340279479865026089
358552009349685517
555085255645420259
723056888571947341
775138724484053581
786989337307410157
1108161677126609953
1151901497068423921
1186844128302568601
3372302534865493501
4645528280970018601
4931967517859012749
7153080422027546329
11051755510308158117
11322639210651020257
14189041365214758401
14629523839100351479
46144225360479704201
55382193145059749281
58818101915946877561
87274497124602996457
90130760102421063383
90394017882296827493
108296287845728110201
112303014416386448749
157233191743967446769
174755703626689559599
196757088867280444717
255231056742534295697
291081000163038736033
329663070376476624497
352986298465009165097
374962321852666418369
608293308826939778461
1013312702251656465049
1137305622326252307661
1461414386165102328497
2132352693010048136041
4414809325023349385249
20094263509811767161181
33497912852592908264533
36915637116765509419169
37142837524296348426149
51382412567820049148989
65141770839730673716741
137145934026139645822087
137622999605496186757037
244246065747870338744593
262430790843822777741017
815161528991100273513001
1124834146887236284646713
1535872914179099256039757
2071822332113334616423501
5350742474215485559783937
7270657802014923796426637
18261408459873781226578469
101102903473178736400782421
201112580288130000011313433
223210541279346067176819953
233340834216179666084988457
302270393684005690702875481
319524796488942523065991769
598985148789424662896451661
716756047301101434920935097
797093853753817229857010033
1345997090250506677405415221
2025137403803916539729545229
2223159238493342727495277637
2529103071222287258258837149
2741517463686662290741112321
16701310619925904033399185469
23766832861060872749592494333
71959448437394390697988942241
95069808347160950792329191629
101591133424866642486477019709
607127818287731321660577427051
714514684568522333746824874393
816301341931658698538342850701
25356615841525042303531936111433
27430239803369083066006288929529
144951082616790650870762976185041
174744848272521989624011152142529
1650979973845742266714536305651329
2076972408325569501085156643744629
442779263234039928595359287744639041
23681457496792483565772284551226493197
1533593658778351541733118663733290008481
1833085153842665442652283234165143433597
3670069642752746149953071715636474129089
20844252715379252090938485003447004944677
35868583414685685136479546547221261642733
683576449989578317183974334175285829632288317
144443446138859394864059079559303562490597892021
420627012945187300395473697533553633634442700111493
298262825299462169015863848285150715715631063664820201
102694828366309804699865643078019508075248168515758132249
1046183622564446793972631570534611069350392574077339085483
4257731048725707757084882260340699159294457573509180031417
153159805660301568024613754993807288151489686913246436306439
10097301061563252919343669367587181526045085730917118706497781
69424503135165402211355061583638206281794899094005213272251210640038015309007784861
3324362008362213002824313832975897209206713347774096016166856938284081795245682953929
4479616945301898660674760002387934391400228392792622816603378315956666439857992939659088517
14717666468379226741194760004616688514941321542680794972850446978998372817009759134945676082057
8709212682863662847382933316902098056969763579962501793445650613532159896215045917020125732032680709451645088055829