RCTF 2020 Writeup - よっちんのブログ

この大会は2020/5/30 10:00(JST)～2020/6/1 10:00(JST)に開催されました。
今回もチームで参戦。結果は355点で460チーム中82位でした。
自分で解けた問題をWriteupとして書いておきます。

Welcome to the RCTF 2020 (Misc)

Telegramに入ると、メッセージにフラグが書いてあった。

RCTF{we1c0me_to_the_RCTF2020~}

easy_f(x) (Misc)

サーバの処理概要は以下の通り。

Nbits = 768
Pbits = 512

・PoW
・M(=getPrime(Nbits))を表示
・check: getRandomInteger(Nbits) % M
・K = [check]
・Pbitsだけ [getRandomInteger(Nbits)]をKに追加
　→Kの配列要素はPbits+1個
・指定した回数だけf(K, M)を実施
　・x = getRandomInteger(Nbits)
　・r = (K[0] * x^0 + K[1] * x^1 + ... K[Pbits] * x^Pbits) % M
　・x, rを表示
・checkの値を入力し、正しければ、フラグが表示される。

(Pbits + 1)個のf(x)があれば、checkを計算できる。

X * K = R
K = inv(X) * R

K[0]がcheckの値になる。

#!/usr/bin/env sage -python
import socket
import string
import re
import itertools
from hashlib import sha256

Pbits = 512

def recvuntil(s, tail):
    data = ''
    while True:
        if tail in data:
            return data
        data += s.recv(1)

def make_coeff_array(x, M):
    ary = []
    for i in range(Pbits + 1):
        ary.append(pow(x, i, M))
    return ary

s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
s.connect(('124.156.140.90', 2333))

data = recvuntil(s, '\n').rstrip()
print data

pattern = 'sha256\(XXXX\+(.+)\) == (.+)'
m = re.search(pattern, data)
proof_tail = m.group(1)
h = m.group(2)

for x in itertools.product(string.ascii_letters+string.digits, repeat=4):
    proof_head = ''.join(x)
    proof = proof_head + proof_tail
    if sha256(proof).hexdigest() == h:
        break

data = recvuntil(s, ':')
print data + proof_head
s.sendall(proof_head + '\n')

data = recvuntil(s, '\n').rstrip()
print data
M = int(data.split('=')[1])

data = recvuntil(s, '?\n').rstrip()
print data

num = Pbits + 1
print num
s.sendall(str(num) + '\n')

X = []
R = []
for i in range(num):
    data = recvuntil(s, '\n').rstrip()
    print data
    x = int(data.split('=')[0][2:-1])
    r = int(data.split('=')[1])
    X.append(make_coeff_array(x, M))
    R.append([r])

X = matrix(Zmod(M), X)
R = matrix(Zmod(M), R)
K = X.inverse() * R

check = str(K[0][0])
s.sendall(check + '\n')
data = recvuntil(s, '\n').rstrip()
print data

実行結果は以下の通り。

sha256(XXXX+mON1RNHBYwL8y7Pt) == cbe90da9cf6a354758bfad4b00486e42b57f22a484cf187a87601ad977bf8aa8
Give me XXXX:jbM7
M=1255435335378193491742542698864623633636072823424742440142329051275866787884644748670890304886474357390465816661019201181695761077188234637811327457433372947468975721737067093121109153190764864820830790960391812516349895140034497471
How many f(x) do you want?
513
f(531924001558707515897056092227497786905743971704202756058978160367471469869836939146630667590168658520948195839548065208114115093449981651415287827729700315661178865510150326424779361013853078331143998350590959435081077816808562238)=453766229975929033852711487868894089089964615393934360208291791340534119933458565670800989964313904211070877870506412625121852033887522070570112975058398948999307310134890539637535623518228398359269272417380096187994240775901253674
f(260809489057416042962740425779915091597254234062504170183156120795798263622648437112648810991598383307097679752689141851604576086385150244558139187263624155050418873613742599389278000228609333642874775872549345607570520867315249483)=138591464383255527878090324950882430227380593983058875850448359529560018625940980137634036154611110496648141624017426969443256705431853575960608679846024861400957398752796655992553289774037723877756158359895837555523564091323787888
f(943103166124139019508816687090710705957859919974635809023653442596582672039474577968088431497174288339699647407032635650356218862623490513012935467534884018948024713848643822304213125909237801966464851782377524637949956929903400574)=979156771426883693871097863518043393102871330292958275352093566113828959876005497818328566787656014112490134795723148456510687895708626008637619439518334230651182398276090176593568083582482662813301930191755804225266147421009041747
f(21989153399904942345077637656898888797104403092336000407702661139385549062976795156099686696369873925427529253838802500510176734226818705488120828810155344624895710085481849666054817394207228241063436154222747053464204811577516654)=453990043200056619357258213992998558586263591436380802397390675825864983864669850422647232811335072899298125355973662525206351934509471529645131425149082250920373800988718524905131822658710675903947629241319910603763100888762726375
f(1210654306391780018131315929719541426088079780664555715398264399381564946391540775759483868865105798050902167246977743426274928927282655101931103539039969261344909117729422578754295900220806756236519549522509600014749870126456410120)=253102998358814896088787906508279202963347098421616703068735037764876037364949846484756157573413657814316092131845292741091122673970083017659525985289540932497317448255160891710934284312722551887219837406904362581103094922606992722
f(158662093575398208346961342530810668321708272606948687744402410397825928146530292957344139258649621838087041252806141008783176367738899648315816899844530226345270337849276851524435924760263898404017320359298575345081642253305112270)=134201007987947781890682032492159280392866983064238590432060827863653835733670460020259116720241492644444482128151733128417797581813848073799774580755032112663599551150615094855449862277275003188380207302875512359480327888355107442
f(83690494732592308212423343229895746873443747441382027297055213226473330127995972588111165159333640183017511857003573692966013664953666920838689990236341414352030500111583632931310103978198042892505844564869898638254266249638781973)=182829584608265075951252211819648686785805128849016164579555593663872654021470107137986246246355505589698881682481331780701055764818924044869389219786548020448953634332949762530276195394770504865553761190449364091525119110768306740
f(1217818046987687594474951564550076598717867004360204052260347777161703635283419365889771301009845452582554958326665478695081405998448495422802688829231273444878215367885949654140823814754305219929866959985005053960626357782092903264)=849953026125796593559624078614695045241357938538587889131428372681537350818283390005142979103033994588420857688103473238600273638565076554851931684649625784223705033730041927634808502253224884382552256409166398829837492681108732441
f(672395419391207372417986146186998742407200416161209471650506848421534772841362642698989266164347989082585688440255651637720873146119351740133826053341278693096181619127205638371669155656240226143438777987842750125466695446521817893)=897292144342723158130348287528840889643895156449340944802550502322158798815418050846385005106227688702060324773081325918849806433101743034285880915912734834320348044943305116947062375160386632807008867780932795690989688763917817940
f(890490049462423065566222383412068052722036200692532878529047736957699682314673975890377139198478717183073207232696411568873118807841778994149713250515333073134051935293346042677812324604117498225313403175349846246088737295583810638)=1216019591082952635819396948779640600009557416386909194381668789804513568384700725799786893256846596856916191913615324209472754351973847745318258410172941870926115354451394388763267709903635686307167627556268555948018090889363628290
f(73355597962627631422208999940739896083864319394272286520182521530808283726417845448216374333773643276482965392101281495663488126814705676846645582210523051196220297029551914598158615898398403678058437126630410863370156574045064806)=769405361514329949958412767004209596575891876248167655002600171621480635718268485104914626103532949924495658655750144121409290833760262556821979559772238373813467776080720499935745477219095136309596638430033141453637284173875401018
f(537693485839138939994416426812148856389953883363289249763536733717969040812547555962824015531231307520401559851858336140900516525207695829252308390900222094269047327572322597148776343832133849024762292531604038523689179559801755969)=657637141373645719481533515004317759523044476391797130760425422180825998802993624425109789300148496648513346419900617152729756685677645060683801270522647034390268048570158313056991241860666346689100035885748300103739889307564433648
f(293627820336068406412408326823139693930074902373777262362268497100436967951031275417718121844923310399599380374020163045801555673827655781809818985580467131549874889933595821652227652017842449188777639616923527120945834593333486721)=683845092395486915493990752977915655493550593761270613041485274510104052371518414285047829072854952394928745764733713123441167746318838802414393862390214762961468403364533137176755473955323907499854265703955101379817676277135671148
f(1210708123194960490381584715502765488837296352356816332058530711112686944328213211337340542281989758478128108002029014919136278324985583548939777453241440328063552952733106620552920349048493119775941062520546235842352969187118106880)=585413065369388723921382496172392962091395370384269758598139767179014355640382492246205498881012648670269419013891306241935117080599233055798875704953432448835197406059978257034729184083882008978730427808052482458675734552910939019
f(707334043307382156257248702586623763173087986204243638105344153646732819484959475402552471274789854666550850199435508041165595508626022928367923420889299839749119474390134178970587528188271288370293036073632020252529415089613928676)=143099094644384603133002070370358943582781035998462661215494173511318944572663950480669408149153789141671335243650777944367712105574052667392951124534530273821899510400268635680415894160033318689058216291019249759477532329848469858
f(1015511280246758466380495086940589145331521143185022808277408684390728528129922945042111761979689425302469419644913925583759750558826157704132170746975899046801103657634723457986061963566225377496507905440581928267106940988023551479)=1215511176011532845597198068406304312177161305140895902685197519310267348285743341727851755229331167019765733660132824052371204652752565893018222377640284924426526511561517865711979779289413076231221586492384281660889103314822579897
f(1203914437851698829692565600167570308493862812028255994966800789772212400475294687834147585735082696835947962986974176715688714361376752339626128648951325228389641162548391336917218852964195884516934669633434653528030628639002940853)=83226220137306962503854035978181092009755131781836960164519909003573961469966293823694730040889201180082364326726562036005837770072810437603965588652619028498030458186042604129210132000844257242905649649857926164228041958322354677
f(411893541643978876335496418109279757441751256540758503100560676835771744452934632851530973991844861199056912965515262757136738498276738747086189271219719300167757321610538214508931421046238744993566370422220925175438983517286258248)=1110724401544175401438705054915781527664051364208324214396763556245999583903594013810306123383560721893334198948486970990602362214252886239848155493941229741118245395606148495103446325545506762626034904506888447131904352503091472106
f(1099454372159451264570704036019356299509694440242429501894468992458613241643060675878088796081362486049975370162819417998210761692125366488822033065003059891452945741933641438988988106237860508473649851555029093965224001418720506890)=787383080759319857279335788042163552465534301802956989660211084930976215631885761537756117032921947880909002823402112301352400378502258916910761084191140204750079713689418031746607758657679095264579463434472058375879892558038612496
f(1135852923455520004886301219275076389780629778072107118458276790255217787988325384262533323009034538694284064743538351353009696838199107572540869014702410164132782883678008894865619688708005120907730819705331383805172555746517976460)=859929700371696497605202347254626518892919380230329903452300339239725794871738502821439723611244401579699656679694794632270517044819475260404383189879194119871298860656294231652319786964576190157760753635321078972824243942622595825
f(346229676081732220281172143079977789994512956496765265109344173416703709728782644395680506469103027032607872082362722620267606175523940284701632088114339196709577312802603968874004419725447060346621674716658280314710733286510806799)=814894567266738231660294561405552661437744514470181950816608027949813987897812514065288154661941087588681546271329503439995959689706346258345762424738734474340821070291306679495182378673963373215017086098623688312475143313561730131
f(523195633438210159835266449551405394488908672353425554495877359238462001171525775829498047855544118872616069779069393311464228058595433134576602578303590252377462614006890334249696780515676465699981251879117518220715245916400702892)=429791114614842401956260802844888187258031252672434263902108104795443626827986757229659665253122757367718764320115608220096092052814651005345746924988072993152391896416551563456049309065366130168218037373320660069641200259285649932
f(172849848813005836981093659753615053710640093398289835655364220285837236452650487005217030778831479208376270931802035236151600687580351852152470260217218155756569979091982708516027829642223394406144541739044698400581001533480679280)=194140707947859421996921367389437877655783246002416063673049810864815026274572935259431444094869891261985304059695901117629587113343372255846713987359141044426339017616508805759954329665282335095729024585728829145918474378350692557
f(1152512223843612289272162729176050571886378847775192142475369567833137273309358059403006654334211493786346150730566195346313098645444159364594669942812315712127224906767996454820091562579072660471338630028534352746855337664773494362)=444158308548000239409519184175372711902742462161130364884625101438959488919511668584499834952141802341533271248383646085368021659837487773985638784647753727276311654738089777092228736600172872073176165579571104154293810416936016794
f(111623058501538345281420825143885531713678454002187542624009963253675754491736535860205098265787217900593470435764018121529202320888501604179286225051744763942311131200996256964531519605627157754304713156951107502774807694702093521)=674078598904116668014104501135984106899293959820128434144827768896971405147986196726315536016529496524696231150542349941123099338371500175791238490914005283259830209796336864083652837031762330374618953510038931935789499452310692026
f(1421848968555754427017216169065760268639897476147483846788371373368783542245806719391657073422662455409240952088672284143398784994331468057561748615393899646132407311122734527651899437976764730354362699165411315272154951254646263951)=286443285457371276738728981713090931891704750860556406629812491485545804512375398614353565320471038972246308620384153080634402349788931594102076828175380736193792611339348887110424522801964926913834557723744451050021587052185622133
f(1188915515586887990097834983987271819156041612743371997952619151695726925308512584328208390221260729257933153412754740395650806222033342489065463098192454482421563575513699927068582160362675162154847563899580776218491707093563693967)=391201394888910467891864962445012041559806879806741159433976878381093637778165018297180506222218846769186559203124319817502802719614038075923652632295312518146317626593458113962543893140502520963943170769147783358780961720802832618
f(492025890235763028832394411301335371858892709486151002578932631638186034182947916335752553168067785001564615774480168947267523567763482043386821229256741272774709276829841167927311166116104092728682196159679953157406621223896616793)=1079877407746069117727978889595918312601670083283599575775332346896192464738109463005429571762407370657601623437998249168884179774282430321879989025138468911923734684657492949246878218574252052018142517264876608182662731408306927978
f(1318910964743572826988263889854468039055218192249483310977672832209182174062134474836120545040337812772797794579424939510281040769908822312588029894707977153844256777533755238203823673314944332792251416573421749102635189327056417865)=1165437225554700080682815718838294485648061782269474178820577924539843278560017778929416169917313607654450539903051790082095587506210489266378945227328870904738032259606304248994847344778027289940869829994688201002228895108784693926
f(453813176207446695699053739788549590871186729609221071141174650185571183860632304202861218800579869929171231375940342095009646952089748669802298036457649934214917297396473525604084210703560638609439171101692942958554863867773064094)=577236636148557076563102303751824435938145349077769753762765393909419607852531660219736977304661748865716974689135988207547514464678377161330909165349839249945580880184198977628360577058091401394349224072684277242382667156805620632
f(455489374258990220626448497810142623490727096180033345136153196360548279995280125715651835736068342932287469127245729567901856561183206238629113168352292146587700507808768183286217512634722391965414709693965463403900251725754990699)=1125618888985062721979952099881591752977168520453235514396664261892616590934167792536391670661705893781153431331706516799607916543346139903349625578947615531803874196970485191465851331132117123620231524682916642599360574634888840540
f(388794653340922239432199944024569762143088586150651285921323485311303616934159169259340465733612083157507501606764317772665474278029996694822106757660213643334700858474508555826071167496096142128764246267305027057664201597252770363)=23688298863166749295659474839740128084655871385698418443707630405544492117469738730894806643135061085205927483742556781832575430315146199214426144892179771438312248328029327884428661647148222519338447907050628539740586129188573330
f(1141360118444834302117876519909577300185166956997605278451777410101940097781004020307967144820626011678958992989568236667532651055049505275565411591473497823235391696591934973795878140614081556898674941568487257498801645564700697528)=1191704378644942947883556209558601417333058035945832689413063803075084698529715122219714075888252770294364773344759795236826598623430778121979484393500400937179374021093128712264701407551666798535807470659747502653335495630014000937
f(816374750026856199712443353205262016591322773059129801664598378336134412992213479164813134077830053404326112821761122987827565244298662805371666056347078280896426592283901796848668306619001051065656615892921205406808522377000628302)=848450036632381748537403264428666822331628551492656618580674169349814381741212066070134286570306885215320707124757922866237626594358267135388256014938761382190406112059936862389838412459466219275825507771226576527577142865769220638
f(670699023656961598535056217548889851488752542683665891237573813162440811689965315876526372403658054015038512000427020711682032712143614309146769277617233633781974680795718838133150992536605677891489442597194961387382906730844190046)=1008535231685990879220822097830901424544621589107594780448317756953761227829287809749957052998100182076207127596370767266844477525632142234013862063732369447565390059127988277675539218860680401677881214646463048077739511188998191747
f(232369195981205085918704008203274924381584319580776918391040639030719388016854231283947299275946882457487944512447251433254820549143859035896586319224053694528308155969304450892569665180351785517613145322414041231967291553016393219)=130980352397059641305599194078257667255933129729825320714396207906342644172160396842740938173029157365713975392108827241618384114106564139524668763432853941306681432431600713800078322149269304064399512745611688442616814254168480265
f(1320528826035537297446492605488157820252437353201217148963070458004418511757087273346250525998349313465589410844012819864988094763947547967273231089895520179555202896809170080564059827098070512869030385049473109234945054246059699317)=147287744776748512783579246384226961065756830089344872120207086549544584121474529953087919754041917618143523218648481691736268269470429595261966990095813445439927249200769186613118685763634656859717203198212949255031528231995409098
f(1112961297372722211510580238945520978394268280632910421964605733078451865886895500022601531586679920543732817472078486469261324033211752338380952379344658106478762833446860004966822786772499427278226917973685231887187695612576869996)=943126039211340935432514371529728595575589942300059480206550933575121817975781415481839307256221813685729512778625309510896080010119538931361848963557315646819380151522420665577316257212826519539784976593867211671437637844931769944
f(1151241490633060161038278685051105879437631951944010594030263350234008653574533800833527574785467761132571439230348732733604853639875432804862457551360020051152665585427362972816144407366504501148845063262072281129863684400042939646)=349708758241350393210995167642499068298016339832075502150537998807605465692407312482232102618520358222543926768590801960610807795033947202553693728461467779069069053511677375071172525401906360026769388169101222038897738081766375751
f(170089052516339707451601463002920091088578504747688008088180678155601610289314756137581351227046881288712033022988499943660790135814247009190153169735649786086959533792097869104537284834426398184923496685231707274134676567028577989)=1066000816715104425889724418223189350658291537658977174065818284326256526633656241542483197096490579750149988480533632451625084514080849960202296688819228493954791223791484165203617010613693636526767207731447601608480787157028371288
f(71427060115048880644655280638873916937491323804896426370012911481829966428539679228633648168242981789900103663494365642702217720931863945666241530665564109588204318751216583273121103907348252633318986801502826084329996221073117688)=643189908010645254573734778802994624835315136879965961652163455787952693397234403108072682707554144318978800072455055135992023117025791388019949931923391363223550148234041505578424890527689441804419852801570671631807310289852442598
f(241458551419300835669639853224370542538314494725263307675937630354892060741194325530726710020461220224147787464924441548478874099332295660317545731348356131718798714753524625403316009956529392183992639343677393930169174553052348151)=878175853290777268506980970452779384741764465724598317638824293611325421651943038701562932151173643691314272132732484090231418778050437950326262179471461309142861590136355025827724597727195286281353838873056564314860276626167312735
f(130569585463983270402822101795590035652246491868843251249851899345129934808750421036689562693541125154449875316551744544508531150375788644941486567068203084230894056177168066444582616252873341201304431017845680577947377898828921122)=112436310510918417375712904294135380139616361996807037079433181570850666271111661393783024964604709791245028640386414328109816607993570448799669422024419881971458681593469375257846056785011455457630929926839587991146284662902411382
f(182942326994920756860070021706210585387402563731850971656951581256260685640014052717288732259500950414010742262157950742743346235745984803950121149982379191697618702757500651330680918351271743276728129017139150725610009056540419410)=195018760680067155169028353211309152369671334200452011497101813808547061179118240408087497796203068413122659620439131323154905698246798705571796537560726056984579940837567285970293950008037022662086052128819942033215943186842259847
f(1336487144947622736067447399113782069246686938974575086410153090223850201548008715044707703079687454698024607631808982402600759369761092819971319852709721622656633734134595755531719701038378918138904222904713105455841695542959491740)=1159576825883503806442946397246632932813926228127329504351324339202041309450867080723044156562089974273304513103691910770492995141667076222481214559857948456819738262330144673635599254115126150531805126104453885974019684267334801819
f(442299422618164224444019469016722831907989364284684613468476897319574781761188422570496559513822319044351348754997966602270893608341326414237006645231896417157205102602078221153651302910280876398143157438776749341107268869053775126)=597788315354484667422870871156558319235357957742510881894271960087918521046171750162343059961399926515993971252007629479871743007401028295167563247832166569254267593890958484568947181609359696635358430440044362104313227120366680013
f(278275508280829074300899292961339935139046398663351665433381873194689804593166619055906977861700486294245279121980817508585906795808299354686863221864043287255225499814968568297836777245409499582678979170533413775833856620893421304)=1206556407506534780693031285563547912245972040925034035703678427362480340130946215016140106169954479890905381513911770639920458298631241166898250887378928349875177402632720389089306916275748838817995998200746509792316118194603865722
f(1422428158886487239912135894119390443945959735524990973922418045202569334801875166850261186774714499811182344117155032926339335867851815907324125982828773231191236242907792059673479124575854735349009745823979124583839079432866313092)=52541853020981245125447848301922661254512712061620605567917975253293492890431488073125551356754188689370470215227267504983799149719537100302564994799684427411558764302829397149856149947153512978263817455094035482035813744215921730
f(771600960871982620107233321521543132792418230715875274031479725564217166320098368977991484073989899687740639841870828312260571220414771775784636302849994943930677518662254231094698413693752958512147221798419058996783039387862502425)=1119448668167206844028236195399413846272514409727810167380762340800943663890459004546434843143709612713168898864866797060843456547289669402774711746180836731379455871083237737738669703440227380886732082516918743119643540033464877899
f(1206882948199105827283321187558622941109902027488630707807520691766157984929782690085196052209191823491863577018656054030691751651529940170915341542721695710140446650664235319525647068385660408279930183297702484216227958958253048984)=1071731932685403102544072565463641125729248949997306851312600187950976105174405377210362769035237846523549066041610549646146841834750846937697584150918801256944884484440998093014849975714489844799070328551603697541209970050882589195
f(828893534863977587699587110511141190147276865875891029049364098197938534054081338489420013432020875450670999528566754989079503455540288860833158476643601738977410725344149184778846777651998816641074877375935341988065162881326038746)=1116805189999918594793095065418203159194198561686852345127846130331240937139113538514272157229690752725398678727802543404959907517057992072987485532723444001979602549369484903544872765604394923941867313607422195265856234110166902141
f(1345610845143774154664098714970159784428374759628531457869990282133383099598364801891621813342796265811673290380678406247222917912725164904440087002055852528487471903356478922301525843343050069040125767556017477708765479423753815186)=1166427398221791759197535690586669904799616827993661629013981284498170089758615014949307412217040823279165775250385488951287608064274237810110077413705137886988983576783297936311862441224437524658377837014707578907379436952579653759
f(1469713050954993145279632893728154551762890125006837740991411598769051366267275124449714170138841749370416187538606887647438143079624148430221869167996171586367113727637880483777038541880219576771061871100905520770085391706588124971)=612450804599962237094920250197491483723213287516225717473786524082692586230728672485056121893368482603430856877870859399500022525132883814003888329063376373398499552965933881507468962777542802949848121080448393835730729187161444998
f(970909583377021225591396141626074431320463499491806190944855933177363113953748664044289390448394225541798872844822410036821939165811474083886763360796459865128397677612968618237056830796546387119696721059525741984139839916524974132)=201286480776989147877687537176062696165565950116346768018696411967345592667622185660568804091203699244512150739369532136725341150612089810504453438210795176371658743856459204872808372322055729455011279433382308226676067366927842860
f(798027012395733982626605282063741631217595311149194359446070023393017657898861865816652456312197931663322760720504357864931734106101669806102665413652924176855926838171183503438686544091586874031495293362506763206399304599209421821)=190095449918786369701228127237164492834872610273274249491105223159263150290468330610379235378672508447329300785887671953124272850718690472554853566575779248153141891871233367003506039124388244397917610197077370408269558035819622935
f(703587526148996835433376390325125686437440301056913574667757785336210821228254516315670862038079925856508999067752162681149782027311716571047881785040635671867039848909712957608932824987087265335207028673318908189034628136985241403)=128554004371711575429271023248505554258463878316264105374580079226265675594078439447928485258166331809080853230656726686018358330365489802529550411051032909295774543309618372520219506387109839079896719956517542957757787515040069681
f(997723095892198429000819218106534223368456324230070944078042803991280260873811444887130002976439700024786654674242742031897327332122325422056997652345170372297143309656004624793760084853340381197247148589699772326150246194237713932)=268411441514565974936778776191197960208304531980571141629313348061653961635317809061154128340080513196058539413469708873388643475961403094313376287442850188950896292601267650759562535656488344304127823421894325533188485022434714880
f(75075430642308363226536744803113375040027464733706164597388845948778170544328797231699287051225589697392914888357051558918985376097728072393186186332652765397363851623264792975193909404596693595184185456828240907964573378807711926)=733905493135427159946657869512681487678381849232519028777750149480450370993012270747407681463588053856885771889335353465909902672357809652650305966863368973722080314848207914143504386515844245579165096400007217320340033557088961640
f(592583988192946136892602867557678054351040651360493229838979101521311731549063954454396042469575957178967810769203041984229906207963902120845376269723196266888092284137383141905814777587684910341245949389644341652624755642370459171)=672215186393032554569382171264871084148514185253514861381193439287532982554837247044356934573135996978568457860041158046278381265770619713227634468876339336632904766677103535620432381110532306862662115206734517421712082721822146460
f(240014821395028179230375459990675018399169891144396023144087089058675731751476974413453027626386556986751516128476079796761791265387006815177177008279510653143821034901079443575235698671900522399234781392189622832071537884962416991)=255137040603619317725993586870530599872162812649018661249572087163058061629588752502107686721541474006881866659063644177689434878274391009878956023022012618380843935662237770135096264855703509419714037621154291827810106973279789467
f(340250669783189115706629809563864929996959151994426248406707145870251235947900118741748425274680494413223960448012612047995768206005704847276418235790955693186256380274854464604549944783917903738857287820919083667919521510683817905)=499736947050834444385187563621240525991430184218810014519234130019974364161271412758432647463613841411367530044661078915841731928909347144500388398495132311949435802137386732961783399299943530903616335232372334306899729325682112908
f(1125027287556817696882422308188132693197310665591469898493977276718873180145043182912831845519599619268591167237593391645536338123033598500028868052039446423745423994053017023283094511313161383512221383459382372015850324460003304254)=503726033202463032237001133929317412655951506137210789720364203964692958597440546973237514625326334164762236123233032070441292557956127181208457594315917661416933300200132931273938750079244980129896346775664813064343444849152686694
f(398794327764350474873489563135107701210870855333991350184816032554611497783563596695948611575836564727162364934340427675023075096404411823716606620441229355128982376955243996615076029484341554626461037385036354001031344306624905934)=593928934404844251099679276667063517532821189435696642153346498012435657861701256304165833014474470846761603329993386492011745123310230609257282488341265739600211571254289205485941564724643869112000983171591375168523286676615220418
f(1044577561292885519111089850038154929608197394877364394655044934440026076357040181626349145726951486632479803545441202673855366893304803740313715398577385506621301546530690052955715339448018856858586261053886654902312918130418792748)=960364276328606491387082437845185537085491838397581461445402041046973264227555123094508182674211693173118986688332599683012237642252870182602021440597093193384890194797357139908937723106096409898300455058117739829835672582035619171
f(1186046235806215745279888652050293135900749517297317541191767767931512417557885486499382103204961538880862029886552855876442401225680368198644747986452647616049246309623801977238499916750286123795636393819996141430259010029718105449)=894891547725226735130845936318155534398804946117746084056167732893760322201296296124907102358663673106288335954621316431227181345808529650754280022967296631194761942208722555046827035373229316247448404919756664945567292349243216781
f(1448162109496807782701058871099896066326348277700678373838390450213691584997206382570677935477511966219354376936470484186456408550724687773703139108558594144208406413623144000628183542437006866004574173922665860902856853200165099590)=644721471575108938427470505678938602493496772049312369227253173407208059742651247921651633332709810773158850767201668872536423445958517920083798359554860926489312196838254121687552722592330809708849013394814028169076835695632539037
f(431464835599008582390452649193238089784091230153578675842531130992470355536033675679311636604108525959380277251885470495858972888206981513434315775730907749190761034866866314217285698907697067821648568563232984013169103222509828355)=97612905624553194560180057629849790631545476013397225349319388940739200996442472023567734458083160185458312692589279566910819043869496410279649413749515570575450766371401680258913296630650341025506685132960180911819881834812827829
f(1227225983647600399403364445177877470526239969664761243264721735008764915224400899890887963403427743256854984880555790691927142071803074643740908236570983294240682815115004729079692876744837808785942794338933932431902368859019913469)=22438047624945415945953593227046291631210604872139080597911356778761042379525146499328627955021335564590904398473482463732841805490971551876914309663332306074651722078528540963583506079526740449131008201463926866439669150069005240
f(275990407215032787502090016140465004067576279059639092491890036817892005938813777510170042972303201053538247832587643880211129697173135777053771486217463606422800027317574712745255119288227471936175836872024125052014373149166761924)=227306262453798502988447007838212145091850316329705595631676135156541309713536893513429417715961970316622763017674789067802480734294484717432330143990863302272707332428933123021961016579892663750051127487293204385828895267230760330
f(1506279115412908226182897153968558111014753832475201051832836505806234190620826213676373583997531230686800109621783434985538915154035752504425492943803622796875802977875863731598629990428736076882808261988079250865350431547354511085)=943156048097840505372005458726594699113458355318758958660979634860226932497911970036084778573297650439853969833334570239882063298111815375194006931392369132918791226402923614141076537244608806683249479386899092784059629147663338631
f(729697390759216946920265191330156241487906295237528655678060032944752418336849794649659711406991806398805888434693923320256335706119074755595737627567389956094827427745883382446782869537537526513454978602567693119651544945279196659)=463894356626497407975320959363826237899292784764931234394177140146793825554693092171667611886961526024380411781072419110462751424263685486843667747555878606848990244785836268280561014915920115924138797006869768568262769565071048405
f(291341592519102832816534752392063903731581072419905766609502385081325732198176278178152213648430823482185692003311693471744031589535490459508171017008869834571594131403026334647792235587441532612147074168770547983194059423673889052)=840023843263615899881310833984649088760222788262728319475795256975701670194247117959770996167509777376125021309527103041748458001243038132434030727327597102700033470170528209205389093163663893241517536861444059763105638782113433007
f(1233078065670506168793962586672418239387949798480565434163292889027944911853999563440746168901954711952636975078899525705699864725429489049731464422506683304087633642860960259508250835022309040197499369376639254552301097982724509458)=1215127973542121034291745588502567987351181872103199038184842096682658815994442910894998661970969306271211444857119785951304550987998002377193684458805288825469881594425025855826539333188283630244209412992362501525784754173716445565
f(1539943937124844320238795433168037845529502792899456466301175552124321119528408482689784155670035463851120941150581048445051350864562591362782819741279244821578453705991607657966989344971916818072964947868274962664048898992126390949)=1013127167894421255307151266447587224679445551211055451415317083482333234117152837657546178494893110015297282554920413956412209712537062338831377418383834926311987118925862741610221729937269359763098117518294567869105485584109551916
f(962305300545655269806061560770138856373832990894277184000098478387562414955790042929905887252918545407330596218022408411983072358930061675407270921770152294123641464377930861766002271877051379472065875970682680481135865493758996801)=1038550840958217944262187464163586411641424756505921084461968969973229788611518165107650259799336112202343578445548852295401709120018122090690874535289641252981936213821688140208840535170525810994705017332185418012159446301115376904
f(638500363622407340470988047203797214524214686539695796239226253058300745185560363931478551404740180137975279433748243799202883125956520161401535653896285076472070504309276631028879616566469874632890002370455606204166142331408310664)=22640406512362119801722723449371633674956662408585666966520754533989668835720925427418809879343485094282572563851859935378959695608952032203767666755192594735576206910316800241699617804188927223701425080795588368585939737280548033
f(1412516130441605012722594988196092996979256221926119584855502640378468066329974378532161429168513038709912423030155595384833225131480757068931216871920484027781295572120121121271302651411187315905993679971428115645379103391493555788)=225641401883178972978129118517903167655334528029354925546217802324524045944068695375617879309104946308095822032883855580456085151815701334154233392612356162729504889347653392217360146134145633533850949151345930964416001166361173802
f(1427520433855039840384591158934324220454688557902431482259891577712968293505306877316180732469883680986964840168406744051180975777661723315906127906432285347336770775282144256976201706334871991152519023380213322668550460097063132817)=58798939799404157884421664267765713836150427736850956933305214926550813531705511834734832790966233401462134824340458062095291037968244078248175904049100017745370329388127527101016202420710068187212698590116093557548569201300373382
f(1235065788570733431683185957790394745007649100423244426231225840020896348720590455584337055922899071419114911295953265456349865347253415093532388695734272943542752020649822395002193208007115581008430541438104568254000822568347144123)=544263912843891514802111934674775781091806063313691646514445209134301891710708147364104086517061927789987802353182911202793005195969019614133344136895832021353362402589893433215413146452794132447621462166303861238000903940059620823
f(789680037468691262439055831329900253030631742645723641642589798449409457457747468951933068558733430075533395873427962690672834333840908971980131074068325911385125857208136178963569538377513777427604704946156578819425728829688555590)=872701858177111051246552767158993513968053325596213025493928756584317789807678230285567204851262982829581706812928805016653695220777052903823970358790734066017234903504550116342711215121643710320093643485469525877926682623470146789
f(517621810258181008215851849291732713639635003340717863264525264104061267885877120111565992671460922476384955058058418989753338118229018206974049187139238647956380301941126950673999607624444133952421966091029349156669427676312729084)=282956892440353663381442058878395420218677044986307795129316533839846997659902246022420028051728308392587031052713484673398336296799512791919740172739711453674292855145408398089383577055357134604559053779070854794586449534430581387
f(1542357680805647252415565960689739969939669509564463206492815299923143835482041404910792534464158919640680268919725899591184000324899054638199339973420891985236550998940023713633954757568618240129975453353939067599781166543919877584)=360673454378628468623865877418728424671682314685172035609598158153402216098115466187557893332059137879534537516918015214174142594121424773145588619913200393352417026749928156523390288639594796709909133387360350411043559640969143486
f(1490688903901963406068050979515826497801562284774953966923902909289311224731534219408236924455475918380098270573157936336392827990013182474158904679787830771519099685717739677341410153524939726506364754691313029917348625838015482582)=43617871492342986181415687790013269588906773895227453335065506824026787189959609323288237393382070873562186493000706675493255413060531701561808741805650236377046524052835101767378969073735364391180321249375805611004947949804415153
f(1385151248934382506785563239476214179762535215028440902536696833296082613280195927455656852672244281574461423128564604820378210502466651207423948752797247291020946214520198879809236408220291991863242557982173249901901198630845033315)=1027607405332466935475781447091117376170254404417689595035702276967677987452161458646628282458355425394977122039470274544216566496340777559431185673361133198483580348655826698885571893760903866620704455169669056331259458256781896658
f(1339185468744143097637419501567129192770222486645885768685897902802930181504566397929862456474986436805977945284255713897996707459477942609200524497256478138618625708194346848573546057530001829522631467822701400067211734726673039704)=428198445332741841072887606770894443393949351291086676941764014929694537119805968606226698840487708195895064117586476323172355828594219182614585316595657726635350611163806239072386505514486796930906690600086545326916550945035334619
f(1481992944938875341998977969606934638765744010517187042296977795284412892637162498903293627770279204051753169272574443370048027463051760245949943197932194474455055226816931025574739646657066558924564981403914790947018695024325953881)=184551506722073599371285985891227977784473213410816683813847636266384154669497025408832879717378210349727841309841099938813681552716166886040319518644223817919646270700867950076841626135840901455400071793820848465245285560606767710
f(1238153301721792646933459117756716731192120493305520844337717160674662707063038860181843593410342617047495400876547915084270424477096581029772442261998325880447304024876024925478082145759225912914397220664160758019843711926319351210)=387703906261632196467244121070786951707220557100996370193900746647869980098007890057839247367277020951658623723170436949473376140342862006532583050417634844274231174184957520286610014693367259233337310862712729993061198072563785965
f(402126511188551408017261203133370731354980460102011067692736632796530252747836005148263407597376180214637443502739891422240273002390539151836305333175045758826096466235122155824127668868405719634807739188720317562013011918785825051)=225479254774561819947053474733761263283611084965775193195730052529574347132256143261251961690638043519154252812848671399591226729684394844200565532784313811779675065571226682387000018992110437047491732707657134784280855857696620969
f(1143175491548755082398874413953940420597212258039863746179674113610314922547890139792966296835573350469288289731464516569406424715105309502506530945828225177350810314157146896883143287174447999010096354868752844568274433963204610894)=1161813864391854400122771277638420497496164851445811514019601135466283909113973119938817314355319863080226456510890127251111143689766690444446423410188335192433477002024341407291668517476518543608345441146434378124619859339872352393
f(63469934559991082580393654563584995946380589033240591959200812474678084782359487592177138340680237699400624814346517209314808643392589749843666451469569815824983167411061662069935667494650716626009341727633597344721977185289265923)=1019800334457580135414634364881682618269989729168348894191290174473569301766531536432365915351495372990052973787573730382486872393781885027121110891421698587459100890230479805250209363479698426005747696938696027456928102219465349239
f(588960090825942102624639838461751738054045600444101909592184580799091351313662603604603202624705854687140445238418483341821471868939098488595088399029388646293927068515475711326372659684083849662332285516917441807352880260496441096)=1206712094513269168912588835037935180069782251088313132186284670627972052446131270003195057424651566862277223982686178729496850363630476142980738890466580039814873700517025778487166931248175612828595144467097884654216636101216760007
f(680684991470784279897019188339792519442503353937621144733608847173875340674719704223420046934608082313365363114656690463419114638882450325887872559268381653926833407059502576011528546931315085403191518198814352275469081747668990979)=148414215912482063093170043305213697289749367647670339076763002608411359408156921875689524116025081045822398871637654205846407010428937718194274417662852768612591392306925733546049262252087444390187182933017767727209483719657656093
f(623944272045210230594182594586694342394050561893973865836671439922041767411593360967124817464333978732361709741851452720238551840874659388129052962380434729147510627336283932771822733196771578123884338088134770607403707700822290697)=654041818159372700483998191926253510811044213407565061200667772322003470820626361671614790872130579128107848304102830180380775992727695834295015197405060059585052327354578339768553770014663238341884117216833766016244273681070302578
f(162440471011980340058540695495739922059704853361601367615611270879101785608926704683315543910123810905651489401237215567076650050735814639807628533029882514320837137949351234285648568114407512424945868466970309249998780774097239803)=1189202455423122782409539505311767650153468794975099271650017107964731422656836654277369338892030129075145509087239870433684017462807185656612058755426744391514619612022552341677198678994061842728130630908914911495271216141415386253
f(1476054951222070831764000051351557550283948319652628913110134718900789279367950990304662128822587071348853468787577179899055047692859220731779223833491253340138444592879150313496283320490627653321278298532873096252996777419879183826)=1170828046812137574831223115297395096673107061804319985899021017222267694268183542466320422056693645788496635957826244555062773972751646092461622046133696403515616328596757105343046805557791837151895916458781150402832065596186487851
f(93711021470198097795199238812261836533641937153538263853641855461194621065089516979888390178737989273300923711259497917090301236232674589818841817321847084756497357552351974328211986729068255788708371954317844249910914763929470282)=160778938226525425321091178347704822424078379337053549516382815529791825928766134335015794627131886466905931261449846120537201005861544068757832522849805825360236065091175243707548899754165984626484347029254560914310618711284184766
f(1075173231483608300741487586373360674494218109180993896721178794568731933097491562094913084989958702409600590847326838293852408044445621581616172070952860810981940835397859939939451724661884204038044176587277704066763545849767840620)=222534753334170816432709987748755009093093746908939825912110357801982671143106617330368515587056307916125454765234895538115015005004866513400492410157935425335020207154716051354472997530433678171174885197675256292143669768148582003
f(1371738347876659756400704053732504809597910550614004803298533994289866850456797369161041718220453831919548829059255279548632890939611172359198252652473728046126069922446870255020706660320176256826131594263900906082467129777709709005)=631909171142821838638093111310079642721578675782271457286627187215354894154654873905806355251740415012815908578874120127199914964861927041840236482999576715614335510763094424580233192824064782480392968006001669290646239114097136108
f(1186725518453944306797791249259331523787091539379170354675940626199710663726828379316573364460212749007769324073488218701658734585758040293572477070025137187129410076988294277139095579352422770403752785378294705684294598602706839453)=1090448940734638630317364637746511562841726881214889020920415482621984638364679636243204126082587662039119896035430537065085412307912079081470343745742340906910671367893759069039130542146709287299585169323514563777759852231975319809
f(496426635570987109503584197876151915883451159601429818211157593496057142175836139468548871666382723230280390470600861098876408195907066906994146124967142432423132239391227605485396447088161404524663787986053171610137373566699232975)=217248281399603829733290857298868419439911292313593157474505314954694429841080590018554092044013071724020419527424335497759840551779187368330131639622765252257593117634101437349427113254200663446121167300291376209631829550260539323
f(603596248196581439796817648050156257805241313404328787960032624540402592174920519895949685328171897855654138263415816430782335026659654113814286265683336169166763058035747439548207235434172610171382480326656275340775567508292687928)=462855509728136367711969044870225780867447212846383026926677944817614192740389625899293454973855003084337016198812443068754392852369433685133155366341128268708019740003820873279612252283220851000082390931596288155669974718649191325
f(145523318408747374246173343069269833747590471952941848340687307302175704535140152914288184341286475212012371511871236667753829862551224805237087840644225533650066016103903601967313717645574185970912522784453531780578165372101608082)=73894453998280312894147424858785231563217051498942624341979315615460045100176040598334875283444779338422501536034631715449595664332722614341636334630181301554579146214958003543302312239998060892200720486085241405402082944309321699
f(1404707318941102157600648362579843404475334194725897539282413219424676498003377052782325936432997576496066211702459876968898710400727348221026128049461620642168880372853112768416671618924176590068730903748932180772181644822331504325)=290739510641681166207948526732051421741775768991244612498144641462718449571919978729157878605886151377354675063559767328698701948932047545730554890607065405454618340046399296929849577177120037172317865958898126877032671761202163527
f(516165849082792799846446728403721486864296540559965536785188975357905219708580315868875025951327285398547730673757191801336596778517644480795975444089127381599415889981042155459898758774180456496624084120168095213899222128525754777)=645694735291014527406632768108213901059750201960135939849531429454456028210251532677729929624968445497388900559518814669991418234728451197630491374283005371908349023564259432722922765670888293294496173955915433657927581392462174992
f(599248928947553460730887343883986762252998933737568667774449218920959582350194023310747198608426520345698548680121601087957706379836217329178304508911485846339989178471316780868620212781196405466496573264639893639205856638967188985)=1242846174396577974057391218779310609794334413228869357649587228245374788890760652341576204993030730270884413319377049110548526680133708871866736481242644185768627740562018809093802057495014482485527173107160659125125118891765861110
f(20962291967959564788478955375430764936212390101004495065334412671078057538126101090716044679999032032860251601271777822529119906917343193476607909155056647901027144291677371319609924115441622026967852719623664003947035040576681706)=755274423533818520833677530156728310984476131251561872050341621652992872443348042269890847104859971697409886987857286971988480814060560864283742755142767379767087037897167692826912950407432161329210129338366809097560318757873032946
f(1481385510930483428418751057097053842123701260186486424395394946203598114433421591608066210272546141972448680810411571275855368932326176560288539788500224838309271240155207474623888949740315613354282257491906737048969303576918505960)=1026592730469421113187881499543081227579491582330563322297090988845245176118337074833060024795251078981572635811664189507711925423635187810401147074088954604912551601563526136259043984882744752383395488051601088036485955238723070855
f(485822812311950774497144186270004236096763461594330933393033153912335380473203532463134856719603775273224105672709189098231229827960379962504947064028312689177766842149747587664752391593807898478886699771194025181663527565201298121)=164145034697942662964576541106446774965524926452795558401567344082591913125948617733881185578577244606856904872702827138239807232994388952185520978595025981696791160692195180947874886055253294847427036198103911990868963909343391252
f(81100931362097088569242712197860286656555978016756895493592971303024758594372085499272804611206856885243579721108297565778330177476383911070151943982059543726897286849998197256746139379676980611550708886290892158994840806613795797)=1051833576890439436448368781376977139197521345338794303908543735083976879353387605127397649113609214446381943368805613937037297001804560433178353836857098475162077458195467471488757830224756152392152983910515628352432351440999662279
f(165226487920498821644733242687898569676643082916209172814452687879392066102947364890278264540325810251000624390884212492337894853183119541850491469242409482515871240198989330721573004738946768943659192731043371329481113315343482657)=675393088276218368173118203931195713468245833080254769316517310656641014709095924799442680983478763374497669564786226276921781180028250308673388446907227727714158983076362645648238291542282804648459812850909797795519769290498341870
f(912778984292919964033076956521325126735999639979534770795718731557403718976011785660731617857420824380993419620258474101912295228972057311861644245790113503763237953564298228526764712005198017394444144027219318886215242174991342290)=1002206037276552233052965893203937451624278905914792194574512330117188796541031900592956437261242213581733243050618167352452507872856634669977959903876609238815771157919344323347862565902531088851938827618457167221319892850789822373
f(1474137288046565570261378441045716740485539783410277387378949043878958723788679411148163398715476099552661931836729400104592076754658902898119634878465752104986235667348923872390047393285650570294911376110363735555234806678456233649)=756360182655123678923209051368561443806050626312185625080727762870495504976879303817545471357481390825540535885207022722291253734187768096342441156824306852067774701593145999234902163514726167851069408199483772661645897992672213103
f(330760497203727322121125208688521222841433837829230501148938569981426008098039189001157941856899036754104765388273189572473969007887155757176840316866983591224393344079787434753200813361048499118374691309743032885046930671798446867)=1138849923329865104605593812437657347067348067362386394097460930602208834265146860835468534850524681795715996951219729652989440782022727230189388659994371664445861929696043972444112650491071532252415614594975005833816350025675434234
f(1545170029208870916463135223279525876313465181071814920781146699254430783256836820221641259420843646251292604713455859894258533764815106700762728824446186216058386571489726377864993385413253309969992113839583361658405147258870700677)=58554283929749872284959279414057073011334045321580322991208516766964840785862131756257511812674028933223922402889117356754922567270002540516113341452364275863466797413940036960740976863531328120551201297442122115340619211549865945
f(249243877361214225284235061936038238087965347648869348525481290232613083388334490545891486560076787626563311032940466785611237615544141033893810978312975649297156688802761252441627122653735547058164108072963604739977352252956766350)=192348947034335005126379194923705791598571424118617643253660796136581993448713680984350740293648021549147032639533270861485137688665395625796384442641868466116668374614852579648639348335643371326859114134282788794034949523928198907
f(742560120598865624934450448856474487156187328435159864375280225020853735119618695663073836342599069333332454214765796792347901760881018716136946317765116015989005634996859084659921074402897061155100608337066995508469208856060807922)=171983500655788267088909004201020392267297401469726462253850299645154022422418717760323554068832077059502692237542597488704512863799825736806378931014932898644998734653327770272693968217962069244355397884977665109978014687929105665
f(956925221082451340839743689066515844803694792992520386025954487422119567361307774790643810355824170036282016637709285908887325285144557950460373490597409841892063649907009907149441600740938979008687785727991457213265422895976538152)=835659258711298441675749543424923041158213811975981525953842405103326373233791975437964899774074820181249495767647359371295409038363594791915222439092079270324199955326927758135440834409418292539903923998801356241978750262640459748
f(725028471026796043426152778849190684453413739339144540595616946574142872526766511910284242381786733749774492437137610815264782647446106924809079787720692854741344683118935170225059450418743002200912335143804939200901851409914330180)=320900445688805839638097011834000563022762161737602349032917555227245860917892399301540568538920853506255745716135246947229405022334240746996111943167245493409125547680423697020890902846153552931869008039852304891896213783921651036
f(835776260583037477897434768030321130226288388190398346583350376268540181711651035514320487276159382354363071430314671132732402376520115820013027338272069156719066182506492425097436542859549937887628086904413379937479750667514292270)=639967937374539145788001880216444217322012213736657739383598784963401320156838021746512531086660771287163115606681594440443144364662333743883217311406344834849838150280561837138737092191342733896472034599894453998285901108435015720
f(406079608507905393924350055048152344591847638444531991149076925688795913903460678065801001077569518720466852962479338671951119550243481689755844926022899007113238022929327775773793848810168890286755752694396358818785047015885325181)=144811964497056934908042000013454547328178679375628043405932941085655295059729650232009403660738416533316202310884324521657267512727081566025062201887458916131674548596752655516509809984778182759108375609340395802030204617200715364
f(915021492494163923408325941645043754302175404371157893539312820784156430010755135188531678572811954749149071009627795621704130115806958483772640356358681682090987034623592875090322264917776541762621502512062538108664706517447545063)=719893904727749498890604150343365402323623199506508965123709511183370904729204578646462252608417402536188991024727665706535040143192011094741110248608089049032942324554617891634698914083646651940151844881119724283747069030672264690
f(1455226096988667597746950321035372816555938095346813875284771628167512161710438258374999776900079387237842362930277685491798070838823236739796148998525323080623660650832389040933254539120265597078131931682290977438712156345047150953)=1233860121348018075070533835317859663201432275544945618982939074146961383178296004323896487407774462023367493134239243566178500873777934044652599680190136578464351212740240681595872065902916116386482997395812942427205713832240798977
f(1236489203595412035871655023840871697305683618364971398159627646276117243676503641539752244809936274998220747122690407233387890812976163016070958491946136194258164718613884221538249568967724017109847908561004919184378627691821787043)=580044344845918058844702191584740181207602602122739642261573567767423298761782575461274443625500699836777460813547221799316738510290197491957360985062778734664815836270819640560013656629290983956743872818884942820026751444516957194
f(218366163690421403020717777134078909577597269031633234549927518428427002042526931073511866050047716776391745879301978119481289097477055829669711545343920823708869104586762230932886127355705467827457349813559661660718053085831814990)=275525976103785805660616906147456831506592715383663106281955647430759171248102786195397496237315879344012010301410322070564295023883603059553620262153647456581082000032468033956172745131230108577225469903052868334309345326717231610
f(1160874530100664541763824736672616124947039894510255550303468485723925455704994708215466340990574292293969001672213979715621559982330057058734622606181979599783888732888257934048888375165569425005790056215915884247830680389903276038)=317102287957621207888919036451882802636889331881429946080952228789965457140134154004620872955433197617949267779067340304292591462428840636953344689102245439044727705682441187260331684952169259342522050239990564625250750335263928039
f(3754573585580165430394770582617330669106081001851490610149790631145946755864900363460696724634646822893012750062426013517079327622421083612206444341648048358949315477759560636014130343371015362432976001501426124703739002342695743)=34002794636452741377512735828400763465622258096504900142513454817930635872185566594561200516636301174552918757249955823487831678810182124283439839623918899977903436393051808610358176612817919124940016694795124504132576567836060015
f(1198889642392039259412729456893385479272471331131137358792716021168892528860525274331471795747952821323360710902478316562397656229274958505532134788440471820257773024617357799796399099492765534150708595234071562527259963058641683538)=1133938459469195233066959624327096327708391392311336891219239869470465405545444327192307634964421233243429898092288837814068733807832527014358927384149846388132608828516918550693111950390964568603490702948892837186961301400015487252
f(356030288267671150978052018692149861032913719678626094895041863959105906492366832759716557675243324569592018101084047113757830481121524906805024397669791559863231575474007952895186207641534202866847107157546670485588575779265472659)=1113955623778264697980174604905781407501255602206061086671561767392242134802760639553617041922288088781862305027236406052343429015046982484898851978317591406152464594271079188631968056476942788125892090167681007943498115977057131066
f(162567289814025723013169486793730264974984489238817254774506395439638906507325114903074980008613006812096646584681708457744960900180719482725113353396220557487849226205317713784164911639279120145791558060494246363389769536769767966)=881326691757021760288503734889075208343620487615317453398464366667320980501748356215620128730921265759146744562654995203146682977628946296998826531102735154664624642298608516468855773347304679172043219755204566848002886915171315407
f(1234207919161600493570910023376012049059212407165872783097023784533165266911080746521659300084802554869813179960919919591716139848540189152804617138229186013489999585700889088159403074633193479930601777566941256651060126594348442997)=539417752711282954973809459284956278408240566031752081649996073806102275355559994791805179697599358971054619068861199554462144696810434707375112481973085215320100041147750253312693559495440961698866036865360158841324337314963712175
f(232703331836308867697386172896745406108342582635225175279721574504204544226118642986058448476005436894716182726646239906860916652055227931272481000258980052182510049404094637419313605766342272162093486855248620217648657268432432107)=788704183829903779145292367916300585677760391589721879577092322358993318526814044675298767606333816632292547330441536056072368628396378391022872132548533932060824573699249012876028067431539605218146950960654459727705244628078413675
f(264357649252305259447047539302602862569769171610059313634992676202361866957408651226268932649895824277265062859710496598674668840204080042004143611021602505344712251559036698571385624681819495382990180923706938970463106420973969920)=108056841248391881963430409035580046882219647802013406952701411060104289426064246079105614078435377813112055601350370756649418569161751309539066836416589678353832177590899284388459729826609097174267870696167127426566519602343892153
f(1178174031494438214348894154831796083333703908274726215359520135472724957297719782888227355940656615882519023200148465913297476361747820313788536656780261126615840613416858231229887780393259196042969519790239172483012121572821705828)=229248328126578014116149703185441720597675943410247760830138691645286206295337898905874802802662269812699394955831426528192190027861226575862198308763786026284827594460098596692387924730124287557040227780988512127168937421165727913
f(465764054174462473868614441312743938234243724236162429875435203602754995945315490209799206279738798566535114505399537324385181892899163894741844993870204386934329718888127542381297868954993975980657414944201094626103351785224026722)=717067645180866892686746622635741609302668567189581078784269307686109525080029553972623764169762404619076698043942120113387106039201957994493504623349378721182270727918650101167465782547091238769086821943241210806122154267913253949
f(713953867136940004931917617421492903628808508178743583618948772457963208755904829161949693787641670960701944371592023509159508815793805735083860762458179223304656814715471272493250392878148413364013811610257793915960082832398771148)=803429728003331268126001608884808242203984785866112745212304037159590520655781689957790407506665113570126389551876755169877145135988610701158468387497496943778008906454066514323300496467338615932058308295568636086820496965028139222
f(1229923981874219918271122394774198405102757256207975451010544210800749047975495074853298742442003168608089963563217144315472327863395585507461815485548504078190204820613227916645274320840494686400233116696879232338503545616901227331)=771939821524182132150657843065080824208019565377744640954183627834676694838145973816829388055144553240366696545198904939193664587731968692540911293509694627114954968671672734862166600502504339909243002195760213571237767236728540047
f(1306384405819844445268513929017715584607959995422272241891039778100139453556342025856067129738371515947549728829362501258840391994106077688882138209660458088054344357181289699347586404490024719077553350763550670645138795729472463435)=319604389298069657217722465328055774570229225470265331379952265583227496391647398426271777010388862436571335863828722869978112796222217143685184272970842375563203631364556497568697465265088591234001220353507381889620966852102053597
f(870048911263750543718334487510186251486057428757801661095765907752130426085715103589415760370557670842285955113682739011098094765584221763650777113618585537288161382195506455429174188779180357396485361144319786440616506578318105956)=675716579709724597763237103502440254786041934556592947607513396901784290892975604379691915214633253953526330853707616369816719236927607468623648524977726197314795646583940055979847152674842537269312230268478417186514039328205376733
f(762202248337075201944412002742840730609840986350354737608402272109550281350499779524610545190120534795710828045840347097762821542387930724120004490207983444668472295411841629795736742354736015227373242854497118249165924935470356733)=198744834247065743024526140033294295924420589231115815341144884993108073476535411910187599520910517382787665698953525384413578259898262663339808197283890828897623796957514832502288509773480257100968878332112342231783869590264699420
f(985392685655507489152206053909663440419729202544435438466274737504009000346480839389472250115299610998183777537739346752486176488355109762079920873315588085952604544725607948166144564521928677899209838850994847970556372663127337931)=388270486062144415150448010463568102710390836189102496868384106561333561819457149220065277539363942846666002906307731218896368954178194416756095608985702018348726712910053428114058678297440165675579473328381329712189930596593731528
f(440334848482941543561232402364123919864365243526113849152316048185704846010262271765010328281855444663206581573272484557961010474403301089871294551337170058155027990946096014800176393473754170541988407040818726547339035316773743068)=776048289115540777585448647466562884892186343200057299276522345318218834000099693786982161144327137654564192474701488320694377219478052859611987710846392815905603345917054934815241054879917623615410362772335972746205590364481879338
f(1328264149245874844495647855825613012702391199114054595195655239228945110288774224414804231339647911132787089227539329161318477681474433931783659361890351742758471958296822703428297513964416189278647007123124377599793625186123107429)=880532017137831719252379510220263345573361584738924075939714500865552855559342805889114917050601954845035972614951623145276363417941370735329650468593490347515926410670590901950938411242784666794323392957171523636591625954961996791
f(1180275817788932605251324117376070163554460545721709706805489720967295765040619613134555985859793401883480603305785626123601460134613098577198888799450256662829828235159520208558757554932249769868857251361207521777821126305023016429)=413393848062012998446533728865869997838210177603405836562744468085317613851085859190660527435401996907283060354450622941368471357457481362779608519568265925756973000982105842622351538925440645569000079393255552299098872089011958654
f(661530198252963103487200143184843492631177885412669107655064992879564014879682816272808631899332212163344989856694138180205333652360378081639500137328502917992684343691977416016116587395781484098886984650346475293457005788554528828)=684730222364399941335529234811050824587016851980658173759207300505373466363667740919256685314571731389378130292516975432935907025757259412354658212923656126635250696511065962482620971349053821367588030333657382845137841760410928099
f(830864021838600695412612937093317491363158174354089106048961845051044822916255307516303733058460963200484333092511420306961915903572393896421878101031182039869230641813250929255578292918631686531701088396415624382695323872056642314)=1161792473445431847808692384577977104776430691004563744178716906753065317935145395248015325131152412867655544350474162246521445791141623132204057755011314887006664610202830296269151459494742709827244455531427268056898310432178420369
f(421183984242473204217617253173785958834873528938824669670041347909431727207338219595887621618310591095306687549052856555616836413180312133779557221778384503926080040423361689846810613744142860370835567014343559738823296490709881342)=365886964224404933443437821494626976416327471045252992885348262918543253842001614087490920995202072822117687847284395578879623913492125323039063102080035060333525262522701802515162106557882917786724906861189544484683256816817683959
f(1013223010225526349446545558657124786065666783690036877941244299384472722400838272029707898430663251273511857378119616314255646475157832456121006352608840613828801604723185801429290474785925069218118522069240575566127092328338204381)=388169066191096634763979887327988935158399461490883413385279945227446454383479646902589501823648343236189817687775816387059220923556492666270142445011141089280821948466841250767495691015158942550939014594955437159385877406725311781
f(1084561349827868973443108725726236761407788228334247225931268117188767630595240703220995577635312956945673155536440002572420797919970036806178469463181438915628028188403403304179167895023824680298790248307988763138012828325439221845)=1220133054155559371050259285020435436417517358115839606680711626870096783055616388442406610016562106612119933194969473529448397258941124942448430902967741720240434465813170286603760369701351935282608082990464155095587503117255705825
f(1326892272134645474465265712472898714651804565012820231172701869720340419594059190144993195870444528785546719593942841480585633218822927673339517747787318203387699758707875779615630410840046748228548135964051240465427477344459774980)=1157039999075246145563441139722563556275404297869715618913759570531343799120533549360123721210531569858967026652484932476611901517182396041981451717264337446015047283791792076426749368261432614852104263746513814993059758706049127105
f(897043545765627788494710696169223094521753438136596614462033007934958662429759907290998142799824404438372989093299924516812419870166975829822740073034300216130350942055445925246290175689361124927575029125528442425220783515818331730)=597319687798804841472373565673472714680108711383608777804317719229497461171158380110976432322704739148765279228329660483152474579338125837424449477858490117542878376892423837719163507410476804461849644200072357485743884908946116659
f(1122163986857025961944258307257072247723136862749769242949409472808627049473961493601179653325597777868002529275438260692654320575561396628069316165224513388490018714805739316469568618719511017152199826593799405171587152277654566215)=909330960674749922705109733735350237240891339179918647869256353620126120713103349995183917014162838069754700613932423877320051035599256478195005924646388295383242009990859803672097844985491957784307136630916294489776197413708150033
f(1190992708244713272568136811428401325354434998259175136227086429016661499458827828420098275536007822464403751176478705862224904563737832055871164737472050902794646668889327420180850390531015207422988178125239815867445552739471574278)=1157171722824067126258650359780524026963704596148027829054654275997538686367640031441279244023654149215338530126110840055085545866638958748032987434579429600417675963916014525484982801893580733746433820883910339658372422780710940285
f(493328445815973555719986803246488175917695706648324958845047536527767800720681877824924560522869376664263594009010128769278955708097437343599694576181166753408730148602658005016025306270089548572377691954617775529590680894869784810)=192421320581473930722277288649723572203036487414780111898262836717205225234297285313233806299007138467835790198190350177688904930501584274834366709056982366365776512019680140195038055261569215853754179907087805617552471303154889790
f(163472392066086231595469582904644854672169851988864085004363295284621421872125754697884799178148423337877704111254452904402003536920733973915676308113135184049116323432818056048813167003066042559558033063748297800089766024638118790)=427876065691398579912471281549748696540288910277602627370072486567835336216099943976004782247828463617489855850531491551121007497058112943855311437633557555058686508802985114601124333150483116980910754519204355245593550507372375496
f(832666120856040663985609312842955566363048198880596302465143695575468596571508939812252554915391527975918767372095529774226445799473773922943980907695181862630342657522559085507332779819898455668489367562221706961371629260902141308)=794106688806904051458896509821138585814987261887448992959494186507994674975298558619809539467186898654627406259042303474512858297953957329299251480317617085690858742533153028745551456864580196457281176902839126201208102942680625525
f(804714680079997433839960079484836103767925764132103754517623423766873164999298669765015124279056417656117512520706966095370256582351747927377187261868323373026296086904103525428219562289376513699343678258143703392875213945724102901)=264409260629281711268781825753088850328167763944764479211721740120013975016049996362742609787019699489044134519959048101421774592230103054955201347674687322477991556563486032068068081337397801599144977915329023132301407639438917504
f(554242115186671352898178110102575379433308570766368817038741181739693158909973388904042455418866939128625711364969455112081994209651931598220880759037634600735647876628618968343962446756611277881567120000534545536563060493285405950)=529045973947171451681545557680141475878453138441648671064919287201836438415738237460517321086408729383072227822676367398258475206076670356510178344466994036713914725989481166523351403374832044066148454946469839518599312252234680976
f(1033413611166432996050976594983917705574658769737251287675748822598233519154942152679652949726038598610330984312229321594211193090279006839765346480583845361189914393669100861630751150065444317410335509437297364285646985531982719939)=268142570157141685829051256985613842460055089520273929344304805214371023062547483349009705925688603046657846663184341917823764682701618510863309310359822876770744363243435251694583579112762442633003974501355069709559555414925242959
f(966033754481472530657059308564995447967712293056307359571692748364246976876069458495566821097670360623425233541291544692929936140074151426518823498052641402531710116312380119526225554351486963765944329860574261870094353397815837837)=439014361009615378880271930922307107655280714746394791854896325611587536626963642437475695686801364384084437859558653096279163157695755812869635263499359602989922690492045778619464176445455518655386564575693220211090231933667135450
f(628504497460939215346904368184987746035587283494803766128965770232880160664274727789933162390333834207582778764064274875352661794857533084654115022587548246701074408861590326139616537770101626848689867247635258799239349632151476176)=104273215140407261712078383383654394242519943349824133198155307300000688263110818785957221605977161405827007638629702194028899720669439055071255188593320642616624919574790876914831113271879719087740823981699256677789253249872951718
f(1275303072881550181167511485783452783696885888989897628508925860459559883675004057718779414525117758201926286553441711283527123675657609115359525054962308877468250129368024513534864872492473375751131454034989523446638619976910925027)=730757660595851251648720426337327639694946876261109140960408046375167560629755417405962337816812502318552713274292835572058839619382585732149095910219538420625758218563338228471930369315968417027592078574684058944284343164847657170
f(214387062048774241264305696551308805621395642824089518446680967667374365026296009084629124198193186921979191228095549451204280693842135340762991589204016904404408932829826172598588863563341561339639920744002115032426593837364981448)=748330604239378691010283485556076659350121547087253399164126157958201808253853022827250513421872894059588271525837045365495289602111574168019061995017360079743691254827940465545478866194058144030765280959645786549515353181514448100
f(968805331568343105358405677074682849687799384919411519340740299162418476750184358209248890311655565436770636434982325364753579455263539920665867510574778172266122877680154447126019569834144919981210971864993244701785920691104426290)=773099164175332701145688823456002434482819982198780698750306358289285258757739851907532817752758921889680594630694732752551897861581715792288117247280225450663370453582233501367097791191204279260650455483150654612902408212140407123
f(971575747862581845897939508681723689138283616143500210929938077991244998529454964577956536715325653851480898555106098505801448339220988647799497913501866058614245604865655026614379780574020150547981355373507557018295395012736435490)=682716012013383081527121105785436213115803596931027731690430354440218812736669306723114248108661003007960081588058172476128884944225125158610143058251828746314755487226885295250478517616629617720046669200017063007769953093328777551
f(3888277172718165650751539492426130700802102973917540374848436440094764718848215703430840790868730409314564417432758221531449205896992445338019119802797818332609856889189177199742662902684664269840066672291091969585134988143134091)=247060844132133342829682569147669097550133890760736053744957009686250111296079172623187024205508645755051830120104962322845935844979306676972008844998218682452591832721568229542992646891284774392601063847924186133536920570435809319
f(939081113590989740136784836200243971199783758065295984424936185798299400255933441291232492079251303324271289875528429210668623145891706799410612884410780105296236351864042419518669382363464253528994176300940962528231226172025483058)=1174126804250116906926909847391433658194038563188544762003412665294806780590746155244823357052327315065918257865954508594177005371649213771810694854565098887254078203361398015790189679356937398152206454371109369179337277604313032250
f(1322319426763325317652407627968426790756980052160951933190126449121985516531541551307967864886037051816150762618918784111092292960407175051405480333759880473778132195465541849431359264941841977288420068575116342386481668309120393439)=1085505236036702647150619806951839032455591032887091948234193249081510182157315645828518283775084045398293496185912892471566901481778436561644201432680838453817103306128573717064564723181123041333744666494204927327389865208440675237
f(1495510185381942991220210115020138607185590593631109373846700145781115508538608920903750748418278749721105346695324847358402368198016325998355361067290209248983509525523016124041059404983745610846019147425672422374084175940189094944)=23839500395494870871874417143193667679358723439725063498207860084505230177808787523256486406522853451087910462657475406010636611724070826065245867315452184161282719621521036922870381074583828443309102789398963226981594772947102314
f(1510804699683168668920721746929847551401294878520688328082681068231873983319620821133483702196967497770205245482230446220729347599566779856975420282076268133666439492807897385114270633434616546237727963888862213677917911442298305)=462654992906107565256187340545217975765891282128233701188024287661763461357861951057324652513253156525720035171539983338713968898480429153007969071134094355934784437730519312870305616541648683794816922386314547161955374311401502241
f(554383255780228301808290417072284567273256833866658699094528512883260422710933831057111302016967876848955059043805508131772979188329425788584596469966532358984588927205076105614088605593292484966010427403167023372103490349528849189)=1090974353525620951271053123071860718084505447989959225711825941212331203830910484975193180262478262032019310647526960643844442563636548949153643687532475032057343750213120040146192135716888672759007788979847338240222288512270320278
f(1490275348167116158297640648595658254130246745867401426166001740518843889456385869884970971725810942761108741504349885028768201120609439362293381212497425158674828362163059362315239882006723776574887287400776914012687740892953005612)=817964039972346340035118567355187236554170942072580762941913684772179657190818406973882564693034475599081383936097713269021975714129280382078672822561818447233377340924191663492693280869088099483404704404025418682319239481117403470
f(1080994234843590573881126128898854566402379390515831954752258600076757587897035409261551269135561989236155260630961288980822370447874253467365667323959103543004119362475243363504928950523213217249764833928644586192510507516061497303)=223784973475208022416541763033585027803417428357459820637830921099739633985230990832214632053889575022144316924793818144884171351940559394517817828590682691218939104967815137683528435573868375190102274448044424312611669681888124020
f(1033024844238865032377345397028044630496119039084171362291280032828936223785916979382025508814964245570810536140469141564995640140447117650527567931065631372770113696705055974834372724704101373551324988437823538203765921094581245058)=1190997638306046902787289710095669078226242709927308170732429454979689975282936243327377339829153012145883018365430092723659611516871006693192085643365623996249310337673509131684579660903954505491332898732294395604474352757627496742
f(1368213591342029731715729452626422785757671352068343749430142455089744385579070823841621733019838598410263276238756795623790284613403678171154445766242283917720200712979871061400354703024376773455755857195088012934673992361782343483)=420439270007876420067779871254355212873121039570915991125115821581423349122638586354189251682515714946267625879839546865503094447177092517080502958689757232503125966842020573967043424858953241369019020665641960717485017767272035435
f(633548684485257470075570238586061348270817131084568533879776472040622364028680088473069674590301012857120938089948148144080896091921120658783415433003574117822679463172765883271215199183708268626875393661879650768165868601998662751)=1112964565080129139723936207254050452649322435090768938822573487636360519308765121408129545737362392360051027595708382049322849032275676836491876468430065754206632626739036013625437966988910393958096741896089402229187498912853479815
f(1147714158155977466988454861831065221248558071516064305239264118552005951968932421103606522067544972884905960076364851057510083868784002244147479168003902290607529160626701566184494553207718946148327859839133370697262068336005038471)=431115566002058254029197386619983551600100568251859996677180646814648585147064178936547481688047690466098016715262993745110897471341048525484317603998691984037331577270442361834056014788920266305125138688199288680366563358863202177
f(455480094398826639033827373647194557498361963076372647361493962898783032117926472947824348145760072260233901094222458649012825705091312864099344344711037742930192254814006776563316134962087148106721469006670815572417463182247504044)=209926599310175588080095469621411949337762280039462051094378286375276097320565436333197674531252513873447523256608161329526533485658635855966577342926039926313713914954272631678636991641166142624495421719911130415281049189748342065
f(1313683330257856712020025083728090143972634330647177830999538551339411363615842362264963426738100467035930701737697161624833989167765916632352631209472714080885489948884670541043598898607490558174640904636969094040336730671196467309)=80953152533369266549680414324850812004066032425790187122686142394325759138771583273880491247464335213740223568241850005607069411857309598295927697116226922069597480296047936115196240360739877679083887686568215835293960688913436679
f(1158579468847881978300505250365242483157195390045954487840121539019316878428463737384496440168805761826905230228808723290465492251788379247394043980769636401263677332214755841860745388047379007200681768326992789422246046387376184528)=538232753642574562178096884344408976825128505190322532763224777453302371553649335063351064635590586099209779014132188369809685080722199883695518874244144191738912212273311044988023146752354819057925129011672010259245859676374131015
f(366734989891455814657702511916555964633816046582183678800358813490400921454465072934740307695991668816939912178888318065578797270554785806886678250787432236234844489665607624745355853770613383556283845150356534736537907255324877327)=490501287547275623886586242197051055072957582235310278567771220809235792267624682040988824980870379913241996928596141690190279921561404374928948772139233503212700257875902190611616369550537948898677644750400946663983672863171844452
f(702975592834921937942796521187116205149374341466211141791784187557115470365772633936404177493139494572111681584908173487950365158276670950038436528259456812556591898292264182549274416578252674945084119493634207632452586801319602570)=405145138791756340143694512185025993485023681299537760267702676003866655199951538427437391912484505769598071070625604342129664820992058231101974919533210824640101070373939146277566338909054449104578759443567324362955584989658445411
f(719479396275250093952279484751931125555338722630133790794269165042046852220149286287861668554175895027567078438677291691446847370732391840428961088604009223101662718204113413167813162083969940099798206409418096001896648034235911687)=581392469991009173232980940304095804526750061866385178094176150856158397683408042734888560383344969440894728770541620350111752050366247464040301160604501079919346920291822538033415330372368395327506688188607307614504762290624656874
f(15311972328168203616223281566462551642803974953554208981617669765160894795201542564501277385731576804695728200466619051031716272834708601772711652787111045186464028584593585372679362587094405126308403856808477940774824967427996003)=982044442113939826805273633595820912628413865263775663969377922748968879199168859348105421305936390782955958706154889985126131554082290940217437385742218687084489270251832248518155270867991074472092549469701906811565133022713275700
f(726067155215565064391438538307160024900592474883680349260386390643863997904966777685901421292231309683317337323649793980142024047173009737236364004938308321674452250932900909830043276102267172316238551369506544953845360193559657575)=119448002738441535646576493488452849378000495868837461072996096342721029839993595783475877472716177139857388207539608355961246069870417654747534060971337569738628817724861040573268040907437985513279613723181811739622585816054830552
f(312074968913993798448199830667306584160271089399736331884470519451949814170812351743042736751763047480015461001543624552816195170140755400515384889497198154845940665418539907069720942876801405380888677233390214443476463884504365593)=379585162597449594273838792229193414265588548077308833330892737067214092077272177873703774784352418893105167871307772233277546235443098942240413051384299191316151564128059342605678116973669729885048702683063153119207467445095446319
f(1320376412493950910675070751539768061502034869831833152392849369546542709401953456359193070661492669080545625918960359890112326141528819302291576622021824059696310900790917046107797817571566568464830565989395283929726307114162254709)=1239904720275882460601710659633636176452641080071283581062033158996000081000734683787118114756848324622064725271415701208653772919803602625752014242881720248270079723682985014715614442992936659723308442466884536248212626183919548077
f(1029014733460472992366316955821630339360146418743116097162634746812736322013186479512887631325557624325538377151747830797499290948543445140380148075067534987677597824128834874402511798651141056038017568367930317655025987734440992393)=705133522358523894314774162070285024989964748204306308742277054927852039106575306442510300779274360475776542135076185982741063011760877865565160895979258796254971433677249607923099304878014042201026918701927039025881382391286730827
f(550051100304818154363833134943347660356194213422461478866938697137636075121791159054254119817453309839687123673080986640301532384243264872726726267800592354166346817043294083027776068961950741068615973303518951526361949684787588253)=264744054293907834421878644578299832213018634878719849316663620102674970464907037209875762218500902069042655785670360117260351379940543602697851709941951541508746693082456320995511774197519354639557336703876394332424511871020643462
f(1236795724965741357397516985040076523226313707668363121557025656334535102028955257586926315630052119011221068527579267009619308712118943464354561985108254569615861577709996002443038866615822559256808751481757761922277856963556720010)=233974108182366075640873782077543527026794107241494618295241640075247971898419338147794297406766065525017125308276796742928728405897446603291719380293200970884574416478082816100747744824692583478428060917118286286307085579670477414
f(1256958750597425569885313556661612973762101761810131999105856745637613564977747390983300230221670778682091306954944497865236372967541947608859020562447586804548458413465368975027235645696362402393636728960348964567454666269180746493)=766317830456684071771991021410104822223669507181591307308388862066094871799104941587492658958727436017117069681201374243185647531604578446695811231995855175833567671542607063109024067791890047712171993493148818798862432496298406557
f(81283813911709059398881590967317735655352882027568281398380723109617015384495028893661239129677840271185659658537039179303066949359510371993530303697829167816183558579159592632510494332149353215005823211804918249778695593842911995)=227633011400138734454306972953264608861587300125616439197205514725872096271167971348155871243289213716830224724974574118371634386937583509153789679732146474347943769090803652018239284328715994928907309394426839811334712201614826609
f(152703202095283054111035873529131644638567629163547519296543651645276868787029881555522027083423335980098102662653858384042644495565561524668537920608741057647814799385827884038292790987636548311494883504781582188668131581641817654)=943716147950587210228335760538220788742887738306294152025027990352469325772554004850152942600351434279151206151820676051505081883274220488369473593346446530608878817189596686988794391411354148536226983046486561946589040051791512469
f(603761569373514866767749256933332529492863474498728952245744970044867357036292138960112848541801115896010020713152571342634423597129129366869336764051435140171344043413958769784029311395213401826206094078764394254081602839916492278)=599905032968644157362930310622797141359786587052333809796770376801020606581236837473439802983373870098121963005606044287295197759841253974479221229629486794459147547846820533137515069594615291484039738653924449992870280798478321024
f(1080576041559790637315969129961456964466434963773246975713615682431857584813780900997939537250920005099318901086395136831867489341731022032629863052945616672834605997230553280580255400909822568341633287571097845218142996408080671195)=518593078223851421255653902418653479448618485813914916065212252817959100780886533029498366030517241737639861277848483304473182472660405841141571034557518341348150309317973491207403440229050428815465299652459739982413514611431103475
f(225677502683793429057003746516658947991428451021479168235131685895405021585086746468471440322469391910876663771903671338450109348453603403175128415183918169858472234420751950282223720880440620046385800483472601221164844237685990494)=674964340401838653231761286519482730020215404942266085690949523966720803051841145580007693073257575597435834187595103830833737375286395022680542222861053534596002298473230130483452056411910208107266086611260020803166893680386883272
f(820179240615839381681842680026389884875767361641189820447341260545437980235590477645911488650754475519030411477821094261991663476629576085026530170792216540997064143407314878629894386681530342307605680512109319382705423978985200424)=1253006449234705844232690217429937886557898350845326503559896362407078428996122387679173922326089581018089272927427238378756670780368580480657640741382483206992952295523723024414059417147788977025199022576165523227423832298208265754
f(1476972837507877315622853867399544724876574285255629196204129033081688193614922211369735522381494801397965432493888999081157997040117188811770773243819184953179784175988553768702617250939149895514196734283809896226630903872374211643)=298858413256045590738754808500837031651641342093910913137823741525958038821571880553500808827518697843726868758102853598480833857108678242883249690339569416137182184160385135603548188576427706097152377535606165899894592501700140414
f(985546776768407579446865393656947504354705029710563224965182144773902119995207583170847459997046199207298786727146890072474694120976767690684697294498409735528840944282540359437073067334787232767799932067868844720882579096065958532)=1229156382297679278107846885542880688957590218002059654681940744737198412022203699797615990363269779926165303496049806077671210671698444607693783786961926578247734045626837598941275354491304041514276368223713581699285527884977455196
f(1345897875972537991828254937808220730401843945552726507285948715878434819719526926486513698968846534723712741563699650593577910250721905457383683734000465773926897007556891873047497862336119964415010876062576825975453977763788703857)=376631347435394251342434443344626968903896305613894964770126602940050854782769503468551627022143479963782514136435371883090612732172655403769059103943421170456145074901775057579588187228070367520701617491548512595835767144441598137
f(339103769564942003073158528075884681586037559769843284887684426577272757423216389255146610905772453167897464150774999261503794941542984250531503477100794582922131177322484437589590952729961682579936773090827989396357012886670061846)=815336675988442628502012587903468235917141157673395586793904180469573013060279475776416996356744417748898333581568965018246800089714084425960209477695402733625018224210489124492962297258446163943841222695762302544669360365384145819
f(685506462663765055706939497361393043294024094198834968224479197327850627834255260205817281957040026285719690903126380394828961396973518447117601487898940560157470878576683711665258130903184605999437461003728020982434515346900676899)=1201229554584802512221270078929435987712338466143863450468045947488247600606463783958013632650549434095922140328989281337990902137810361175621199094323768606002320313424608419123936764119968190607751935425802867871690757953568173678
f(650957725421373747706911678767565204795333215571985010949591861071928841866704117364834117109621789849001179576493430205944961175560649458162594587367825707522421537482909738943918191054895692705519134985950678815582862315595320747)=860399000326934165731941940709958493344424313616175809409735088063993315081383657896755435542861255287010434994418831135895565582128757648031419811829696925708073401760760895970707463461973015601119018863544924725124594238066489803
f(944504718641165073084407611330827801929755127644866720213482434150529260911137523390692339356722066762366893409079472897351060144261664970740782572272760121729444418294534442228682166179263325541656615074667371094639590849500852319)=991849057506953038710595664529839870879573853679919091905422384587184315148774658125498612446963963442642280490050300207612780961295522021496873687148288719276816288124704881616750928886656888851550056910570077316936688528561660395
f(1076078975461457941064110951155231078455513379900333147203310313063690938135679599028867993263218958111022879109389334813180388523515140965296031453044726800107574715537471553710401141874609846740353199459407017256125051663005602035)=1025173399220247210336028385409411588623094239414564249021463592734256927363373358711833751551356723231021724156099321111468589071980279261972497026430835718548067233865048229970391029520397293666719336724441210608665884424617210972
f(377748589587336887315568351688994243343517476586723627206516564368625914523767888189880588775079581033835165368543848246752978964279822390364731112561757251157524696453100494848061302782655852681340088386947418464016272047964979210)=478135031035633882299172996019224207646005241326197965268055544149298522665537823300506997861098097525036548140549100404825983653767727850133323325065083135300979991926832078973970038548266490297175679406616693060519192505393527496
f(442210454638796349937265805037080895005536675661851654035603601336874070534917827438019925941635663771831475001001590696663736747619075760435612970001521030814643548976405294849726550947045647688518240705454264721354276266129585254)=1011842044050784497923599904669557923993806408568760882058993134359407514230340244881164449391904719095979153418326787424018376861097700631696870486187459963147497204791828347247012815642688974747692270788960279361919759847377247996
f(572204618071898525360810564687434055937187657490027315607744732134593124569665610890717101768845988002214213399606466866757727277327272552431455565722425940332656137822826390035123730520303969075386526954662862230192362709766892643)=830402683046643920989201399235832981610630503244173059502173452499031940622030630920554283726575840293449810047908140870749103695401867683131945256780560465882263362152304746408773613034552093374848966894257294036558261544420990288
f(524312705644183130840705094770629888126116278666786831471372533442106940146272313380893174785340315622552740003075998404947016536692799090968908690627782799367049924178349260114427559498003541229095147335932979358585252008711573300)=760465125097478589693374961878935962203445331177316868246005736906122641507275500398003510638615437640474742799729826601661643398457072731361507822393610664442583393109031370276274025886345058456734704007433851003051844351162560116
f(900374710447429019530062995587549595920355316759318326910036050306458333920905230536292766949818579510774543583020905298023379430676282466409513572744703990896982431308502018162623263608423099330222544029029739511786718961214680016)=335909233803844480930746921480775146612039395318761866029946047524726885741533873684495516233560771142416953052190873712717756643468101853396924737544015427655997763470056911833201506209127074994970794832069348401196135266763573744
f(170991641170918988612474854420570476390756942146111974314352433719071299751968024788205255004378303515378132894798437631794586009421789688038446238054222736131540550749377571973555183214520069552815278888249864866285209320756090526)=991821348269324948440526287507170289771845372201890855501236763572394664365424218905888420997571635668095301345644244718343870176084835327716473162974942630171375415858314848618526133475269314672994137951689949329064909354368843833
f(183855305147125664905191134054557452512710736806541435336397693478622923394896422388254636788948685709189315934641557671879150678602927674581584543746097367379105917320118752530464153879515258230321557850159913931666421524331252130)=90260397039425366390296472461203895565703040786916336125683913956389680259925020996628164515031612111667749949839000345520189457384966704995080154313815089274159021868557974572884265007883593423126051746769740619530820467465134813
f(780170144000138634478728878298088280952004804807756832959205891642533136629709693242438737613007689425649492194915861495501222377302445560649047715821205660574953164923549515992884976447828235249503018978386294338695229034219435249)=336221703931388008648869531096709432768276518311786112669978351730093853229631080137892918153610018663676125795616499204192208000687795468951051459455733797235370534397183247839943253990074018003997739291354201739650892081185205989
f(1114716553465834867539671761609549741717477028125708526824205668294110400415818658138103777050290894170793977816726132950064232336795228179036809636642776210583631538828628711601883248591965086516931031245625831206756559726851930376)=1119055911638267697902880394157222682157588632202368329749228312554157604056689687121424698423324521779044739136420173548390889735207472243417952892784834380795250644219579569566677554906371482900982562319611142048585433727059381103
f(1198078069993646832535860947303329641216900043910981832617852152466688575553722317661737048859002690147560296659180742241873530900423166034915304964372272248564763440976862224220823127464345733612041594624017040348724961096969936670)=1174534536907289245849208452055961946309627684126309845684317975293193833249488914739009533130549471390587913633612034005889081205914841649497463843874481731472783695383649872877871406959914341347559383167050168775306746148947481972
f(1403628717266483352287331592674285671990628259460804031894303664883224613683028198823185626471985347017626136275605311961981779650171599775105475923685533222968225138211817081453905598845140959211735380002409874269286118498747362963)=589041488305912139040503430354630142233192221072710505312796559771696224938172248095050648253859082719378679289112118780874072964230619438449899601279687995495535358857169710531586591504291529800025799685290185346938770936448090068
f(1043574976554237235270553017212065933453011034707759194895584947869439580044228954858874066972380832251619728993233883431719523026028954398361850145501456150754647541959350432790949525120694877375039844112722220495401708968530112652)=542552286325833990031144313722354600104362410717744238305808515137297989152757983096814758669939351300282009557331875031818559160546957378386692678652315662878503786098684119888319755480748826139586407411844143052963718035422837901
f(873472303210059758425664715615438742045782738555921546877062463201836864094236230734273978420914756863465418388681474916789595164392804550701880709279904833100941009550302879479106977541860640809966119717527546000664030432938888440)=1251564771883956563321536338365766067008881590036304762493759108924187054040779951492838648805443358643088745521612983953945988892859183279887279056779500863153612907186598686485404056832862380661360784613257907573878645036185028835
f(230779445928809386616516550089188164050374586501129595082249751154973758130283835259890805868691628903038671323618678420989349759210714862631200176778011622530928220436481786519225690514271432014082892493309019775439094954043589257)=474702691097749678916129747160056211678500555464046594572508994437084093443378845829792480999973786139543641761329030852480700137912946338438163789539079216410036339104165932928696440154408625961091928299684706281079556385387750299
f(692829001696863112267015830486668068925098235968442469006563628637614402073481025156185235283586656216324926727695500931330643837397791879386308441959207334585004637500496260064480068158932147109446167740988787952974983340014001961)=87801802071230705237831648710225045152684473162864444135234555608498818803947364474717338986604403470611700838896768798008273428857043351114407201999278612885345085623112586342903860894604406287469780125960881008903678133208824101
f(1126132613780934950289874316119500336872821123220998104745785753763274146762650882484596476214938802007728715617978887243825540026815389180404469923503849515059283841652668617292526961214358065855127584319372879056007283856878620760)=1183843610731711016782331414374981416460655399994403568658640694865825967156366823486513676170114565010660402259297547210886132155284615428831424567946599238247999187936536384671238519079342433685861689864747183474343175425286602098
f(1132407245341952710249697016649794492901761706173910039003577770480578929175232950661749142388252968817569676219094237412248836189462706864671626516027633126402903386575974867044949412672789752090352699238458210255330844604912708372)=207983976146087638442180886514032139356272386770512174791707439892813834841787155997910070709408275855766613728052421954557778507534639858470649719937488657019040463147351013644024259372958951246544037652931150870344186848829756077
f(939592490080713290913797792783772878184173998490728318800565969527853446265750883611379854802066560524978246217692643828659492107110877985818931677467864970022474391002248516012095906939535134617727253149934964980348561998848755076)=136437544430561915410264892078949370205957435676434687277940628953394500126296402403344429725638057030452163680408164298663935452639774093999512973325187327204090934781196434201604938092742656862179128425122787909623189067162051898
f(920281586354019886941383450297051916559350084809412876323780784315764904485809876022321072145329035281489677060682226257661496355660027259860730844001307627532892176093752118637238925301958982172683908855192300385280824552570378715)=1108562989698528307979584759720108758372130380090373882641170251459338090829499275716040394638947948569843359830084998332108143945989633071609943688964286618508644946725179916038050506741783827150508611286954583626640627177997355166
f(1304851624584237932425365122880567284009478757069752784845293517388038941637034686557530001627459818401753403097881049533820681111054754483270499362040198019410257617391411348999404870431282548214407126641521642914784380626235622934)=1103452664782911952170901531905363524047930203867423258418273391964575496125429867717142043934085106885205303004159055179064657880994403762315910374809230471679807409129551683420888559418482762515181737362758425515435337718251849432
f(1254870761231650254726344373911492714536385085604369022489919899502405582484394195313455293939739456018307148039111665971671745731869909688155853176937517342852356367919397558388967186424738294029593848278741711672182531256088431857)=883412375962098969420755342336357558866316437407032747941221380725817932705468088030333441912212565124536251993818064873630408354534505319797750892970015336692844932729052003805441335978993627498065525539170299338102421470895218531
f(783771113040450960434883556084566071079303606666413419603071864630643014095912335780957391485485582915270720012115089651194749210842944839935413759118669992551944017040972139367027302868972856249293056749797097519169149156017354744)=35502671209694843542822242227059116366742279776696587610901918077213842908680496651912433636616386341723638913402007126218878510544809801059949480424783819247272141180796073652577801141242139433864880156454186776647093509554110701
f(329041223631083788997408010467351938742068138695278303503043790981765532951597004966816364625827913374947800321833761770480090561263273479829185283514915585597969091351785428377601879031120055301340456318660681101517027880148323307)=484885763838062543043402748592224769922372309921927727306632098047772007023436102758242044885409565199159593310386957541543941421374172363764215375421105548511925184579598116223879754256903610638756847547234420998640664316925774768
f(992512384562080724860049760596902527199663235247013946958977667198959021332342318214352986600897219915584004724843842096191511295718374382789374938208769692353717420265114678617935800811111209069104599779410313395322051297690985952)=263476096715281872968851857634172461694079880362575899899912396417603325131025026382345850999378026713201864767686069322722112264396213717165540047690402629781572812098994283728711516819556394950809128194557924893587237338482118169
f(1222374377933646697708084213180672005592488050445473916737145058691962184621649313425383769512247069855183228839982396067123316618854322449943441416284401910812898383590232177883168695902263145395291561309560693914155325576684791704)=41932634796053580235266519633936719530880435145883774262253198802139181988289394379733278381489842383432941594879572926682523145166610804382982264324358310447490902951825261711621945011424666314729756694421807638691615095668919586
f(1504981289005854901800326120487123502740545607798950555115758808135142448028880744147419777538477172494279497572711624402655492821233290884816134783904792790528362816483658555189190393908159695951197723142365626192699220520318503707)=610577214212053177308275175773981498149570775713431667147798172636663251577042341876101992750448810861266897195956425494831441911080316364224580749919666293001228682636777948529495059713613861706517974751011278056137395601791345422
f(977742503009962522523223975304124130376571734234903304829828008524237875027269049940483466122290336052909806835259592644587259128382318836920118653418630673480938564901346269738292907038113810948029973101600258927384724047853078336)=725794354828348624560685787914685108779674155242387767305386644078583293667110795214015925191775060503939200564779880475259682889780884605118615033327345060167981753847349027514574123385721035842922663342120276749599747960944462612
f(616025679240375334531219863338271377867250677641527814609979790300334630599401999630885111176351437029870388531288219674860953881508118885547981549707894257470665448443643394715912685219301322703841596315441005017682242476528251634)=580526798761065976365127119437464980211019024983630628213307094339455917607870590528315334487616010086723411945378735542879497369138623914749220126119554586564681368598131642089302544849510321820297434065874954587656173073394177688
f(545100750285949829132554039988027304190740694851299294640112246599137840585581192815539194657192593479316793340528452664830859339725504636427442417212188253264029350840716377265306190785925954260348015077386870220215548817424580987)=90086557987427375618488550892152035144637366275281653915764561879051411746986850540887449256950176646509093381870329845087858052759430465171360312009508627915596162339307418173010727683624677137500315054252996122340511899372586878
f(1307898387198840457202309979498037833716589272729698658700189846241443228576387991385038275750989389912463751814612500515954249455967727259211075892616233338905666597083825030858052342269318120845002884499975149052210339561432697471)=284513181430405259838829565380358539956145817915521971001546255577025625233856650257326445650714052825643922329980761274605191300751682581102376176455850184453181925486637896134183259728976882005406805886770627042469192670364609319
f(761952624688356511425114778635851355242172105081266300969538257236898669964871209439711932478565626193902524159323711057851430534492259177454882731916683987412577445793277994652612975350059751703431842581855036687802874409706179432)=799286149398124911043205786792640865659132763534446550612206764183190021038345350983230100602423138918878219775276847044548027432008900530244927373566481248037686478170990665082919709931284325935316151320549328277016362859678732574
f(1363182570350130664903708502067610660184391098095041679433665042046451183663777614947981088906917117121964961189713077948788428466879615469518922124977922761947365379224058659846767299633518130249057328524325585439258395649982605742)=1146823009617659342098522834979707709886132927627526545557900634310919275909286646159387689356395503144685284751651353022053353306733920593710392803984129818475382023298840358790585673261768743561974574854593974083890196156143982479
f(1142586147497271060234383748429574540771133698366781129954920979517555218595221559906517426301526463051483472826047418668994117992752358452312622031874363943566393841758220300638260515517572275640752424532994471923665825094537688617)=625281902646731424638106228255966061234499053123728136888764751401974987531113100030255979994286779621450981038382044227352978185658221134695402017773223523887498296701008083008868950706600807928450286671001170300636804380554397294
f(142392093621903037166622118693485886058821386840104206217450170415948203054022413872428727869794526915066626688300110765052883632377668175982851466693929352929263655371034320245366323759088484278590583769777257658693285864974188223)=550362635480549975755536722536711961198833161020206332721981203650510616247114692365269166878963381462603761287721437890261802450938268632732266684129183829187251554121006735835820739778616056068772171388936951394043339675806969513
f(1073610143187794690388144353903584127856160819913733564820138922451677091064067682917192699006135392545964597124379160006987832850764379279086045468514646284442424075296283232506235950426403336847015902641299076798248309726102196290)=788330535199422099513683473251684049072614479312539561032494619444293764277535127984625007839026366967988643612223719741116867893423772343250330270440047420456644909656639452010289551583313522171478755085730993548068437276795951022
f(978745834447558312911785081581867405338839034988533187738505157511938487863514526572684552283388595981065255995221089609028308189789183662745273033786912500804860715532452341726346031460885480793296627735387927385144455248716365586)=226921317633962546833055908324857221787957570046940759853589065124653451010801984560064727896372230149545401601048178074152837397930532993931890361505853522865963363038034415069574105934370552563361353774620928282649902352600080902
f(1462402976673431376795987044035047386662117648926669898368582622993520427770272761560195886872489692625949833160158704698156742251970158405303800664193408400822139128609459011815442549947798077435828111309039271518639768532106619597)=110301574422663501849085094265594872446979539868133690584044435876885639958769865200048597807609651524363158196302000470944134783048808096933692633842668977372765214345643665972566206601474630683545228393718690097976753562293247167
f(597200060687511228671890471851021654149413775559321286905453419690035307347035662193603787295682052569290742207070177039514368025206230358834686780941178163644451087073617047377639574477828150828188733781992320792902880354959291967)=760032116448971672397572181845824004362066102827665319690957118918405619770294877272617218206338597422736548477192499242859839335030673537246668561079039871537514375996282798755459291264597902854468586660444820598181674317761111081
f(858425992808047622908589364464439524161487608438698774456183812188726006571198911789713596899785894105954940251514873798659930958883134552039852858794652320867051973193782372544010225751757923384002552801283645656704354839962229801)=754909913353771915909701739943414227046559789441793153595497371056662099235292345989854343862457398497548304924794226221579805063423361694775234361979215534924387093369925737880059522101563014346249191204075391186694369888457478391
f(226450325258615309249404247737395108976941327207093155810396493865628357303314066134858209755133005665440923054052228478549215013507498687609359469882588682623930383521309100159763963100236173671824885690040908734824187315633738245)=122584371192034686928112985250359106547490448826718950315609694471598800670805539492142332097965420176544546801237902517156399977480181005893668186631028337469516761535719413398489326882071805288088131376369273746586825835120103350
f(536272790164571635927334880019370315369342394753270831751131269953321347829190389215167332474887135962128803807291162349161961694723204850721329909258691462619306402551331371643208750127763388867422042993845527575465437636623001873)=450468965220239664024501159038684962019794495014240812778767335157485698772528211819654692539649758577193613410388662219337283843084448181409352286036751972921164569064341574556745684664194419737459409999416640139058268262367530199
f(1007726972192010739252183048580039628424362155176681755537523231738647181310354845643221145078476745670454475232438057450215820794320177379175698093737497222344958969713752806741917047404327433209858368219396129744409745742983684681)=773095090590136673821973506490810040516457792087417083609276652265126557626109052962401331081272243761405801252201280362353458825471537090911074248538199009936849027853662271116907720431108079468145657649603541780763248698812481020
f(606518135071038162112472796575855632455377332870517391092541441493778334821256876778277356524675823673546551441337508279731952515974567824050712974797288188318712485598514660120572972165669004843723131965686549303464364372858941754)=127080284719616805803397340507730726784440919025365977117850011717694998006482423008019994958186627159212913195499921879882141660441285685789324263589305787857599979207746424042630223909721449309690027506636674907309952631730883690
f(1533873839324026086135059555033454217522214928509092582601387240222369804215864518009941405608035828232535527171494903546021560667106135233050339623367504806804694135208964728529766608562373126799080800683168183314381961582036990740)=300149035724345351614398968097973490822911943964679625112691577334673032498617461679875077747968913106637058869405302535664262628265593208749068865391239390664890348730948434466259485654768130619668132612858811863505915574835240011
f(436854469862983729775180173467056416985339876478950111660123077865865280173425178122481023431991250115804621077808184842044508396014342217823166459066231427747145209167642155619531784952421011859977700573683205840756420537367181841)=447792128982596924318955256390158650774847494842444841982844070853615645818840205660761539689887397881425812980938411219677314406606680367424938101158477571378731882884380829398502274141183941682660616412697303321512643098685240957
f(231709518790492805904427314615090736185216896040895999930792843571612444328492169423466677567137102220893019278338640661357403877094112676571798124661064231999533911636037609277744866467828337633212462120091066991938827479661587188)=866325156833233520822651701550173103959169540046612945179366043370890755754303519373794767751921555880008887598802419010827323752713060123857324541777627122818015152085731842799616487330744564416053075217406261871872735499658922763
f(750457664270671559700665087657354115953206960293246052133789945041456113976738653429453037552837194166950613291084475624894524294885834319474717022994372400748713636809430789313822069237456715966362473960325307561660463815497695181)=351389947608916707062057644610973520170062293586083959090674900918291752209104580291353538514935371078059976731842169257517008971495599070174810485410077813885511341358214008963848824958650658982587292649083234292467712882622723558
f(182316540550474310873659157197147397499489334255528082591709473043522737165780340831975808704888487676053961712999505650834188371875446920360986350824357665232924241438063406099399704539595725667609401984645025849460917542931969802)=1007460861320271450247859932547830977125766912828230519337448820814473043044208644990484999025469774951369177959452106391451994281866054616794734753759984324900914992997352709741392002835551801030894988147582918991343170024045181368
f(517245406109088010396954971177267161530355657217259065647803355791655732108433965365837605510258208472402640359445735208978745187297562504498333502509938853206859326723339550231192408234426566943852223458771478745554764142569730247)=1136440974409307195058842720642648529978701996040859945203620126696641956144575182927973317714530518940306718761028133797350105312746031101706855609108104356391023421766753949598328519442698994901014093772095185556320451808917712417
f(25501978134430742927133346692152353887015006755114208302932059464151358723387360041459595581862759451634441089140516535338660584050974740866119781237449080090396142111142836425838229179182933071585321180374142096077667236789674581)=682781779806902496878907228089897551214301741932798682128677464101727594445284380246113861134264155393324387052793610770115977156396766131350886204968651285222081663055442036366677398634017812365717479684932012120017154576546165015
f(812628370690918102045264495570972150928181592643541867739306703035547986956431798753048310047431841953693379584080228451698369540436839886373199125532601075316084606195074918289366124728979094546274564543907543860169729885974621375)=397937645185032269356464518290116200877091168964786409605877809659047969660456509639305712224354960313711472355805977059756943493920109266345073641916754600308747395407563056830450902682308350518217357620417293272136119958820649117
f(268519346951056766646318105855094189677965886024613494487742441299716336063882431276013055903156866803356252152107114674646147993121842898561076416840383766210470512517606853574687833529685101214845929908167398949973395414591315287)=890844792972517506088529411367358486731529553642242847798501352465594609788965609090172496815835706576015019102333591574768473668576659918724916414234117749941588204220025264516471763986636449558288649159026182411932421584458637649
f(830467703961187066228848538385747438596166921608490812238360041040788383384029703227876176928331450782988822258896991888870719558257427823013810945475103765746295488354631297247134278808968252891052384682569467403188343981820947744)=236876130286909745708223398458614998556195969446902946636980173448231343218186774159933019007345364347354428839689350844896346875174199539172982265489649987210347907268047753389663994296831906707129117911459847463239991366661118963
f(1254860923907565256993348758988437793121209615348107318808038297463327905539047707861921213555467089858834479960158251919103731438321437933819906921443566853349947498890613504822005470376232546896354529618119279087585638380992605637)=123198413565284470346458861816979239791330213977873024743158682773927324876436588602498894754748550571436892451206749705385513978271397447439768869905227024924158897196226648290823106239220365821828317181927169813902314954021631795
f(1507107245506494255190512183615490919808479941585768516960044083396081095011596822514888082970710311192638472349883953387490443059724657857493348081690568858443949417970286382221131280723750552288069881062224178616950283869936850202)=1240466466584152409681698282418427208936910988833014346078754352112526217110445066098346409476203279951129058753215212927778883850216610034218799986940120943540771769109266716694410041765134186530814206401344993394170971977910413689
f(762240982428408319119673055313186204457970994195023686466747439463964583464756273169619594965460711727193385612753265164500474065270024126155827805334766768396709776541435293561046332011995578852847752866873483696018289346158985346)=575494036028526251918976273900601268021206513237373798344208801230849867696643252115678157708664073955138280323858906372757418330349823486895730234287301507430002429177897106754370023511635509457634524646594351806216794417487358163
f(169644681332505060798984917299496788744596130112446608877159393059848236809199136462399096247122510321627673881349314606982266064340426297767376250480431465915452276616871040447821079365084199131321691349604747328547280870959683727)=241490071331977554283437388543386562272081701525022246848156608952230224894372613289134675492763597188526022331019004890992839225057340531517937064178862067656859693121742735053364360398619843471576481667505838098577955217981812455
f(956812853850325959773577096671188095186573868999810691355838952373484749340898895568170879770933856274687384701023566752719728229333940674890403141917179949451424589776377875042638497623628597779838266888828766295901561800157340991)=291634596323501177987886327096541686799376609996295120737115269797326082374156570369829166017753161043305589690075528561069815522767006338051773002979916814324422279902443830814054915558603564335864516171419160486637127283956987469
f(1201645748315112927403001261155172186859015718828391245176198047296533162180453855971187362898753126172504779503177243889280796461259944945255161764165962472215641028849788966094483592236425894626804044154551603198265752814906299773)=1059286444062842645646570014351319527859783772235484789007369916247606277640396986626277930012153576597143528528459775683568275663099302608858852843062452470982332439696272607984468076467981476911646268830338304208873271348938614188
f(1225027828975409573950511498090016436028837529230987985684231891137888474098784755227495280892593931209973129301169207575600277258447372335372750348340330689949825013915694028454190593761274546914371073328705329364380829801245748135)=33455057760231508665723846329487204726831321817406726483632740083008718933906511428566710512450771584282287701936731244957846694076118280094356305325921059355860391297109851984061976103942494277161770583082484475780353406119599711
f(1305559946819066921672754934687834783258412199272665982700845366967317512144785894856195018356882757017577255265165010096278903944099284815789606889255591220947119506811396339906010637226069588276198179371012733524462372136099534379)=125185173984792773452424829148450781438427339900419573761301263521563878529617730009862025653925064915779440494578036211509562412308701523685405721707948095667340264404396442390026323376124734912084780120633804084647501959937453774
f(1391894370498178809168285042756188723003584416310076104265812048739615160612269275290365934650667161087090685960282046717810728555313409757452634070777952393655208442455520019074000260010576068623049138225177102398701748007344671154)=158360858931963599193184341650736639650419262969285244884756645202692633880917503916100577204376980187846668818311721571902362209366878293415620074281066539312164879915008882763366393554672324976907440714074096139862060109962026107
f(1038430039602781421135750702096928629196753860134818766011592762705233059777636492939411036504551456079915014696321780882314755167224117705439615384072042554025382004966179083648090338995810681540273845525237155648557349119008939871)=829095582416669666138108858255384477759086561713448903381763250028416321029111450118812585416772327038588524017821999395577747946072702830100744348415744992333218305950513877693618099183274101222036158210196407884246983121352361988
f(153838717871174930579916087850698863108200050492300118235195594232710154725508118019196691002076137292780838345715428917029234542018699924765108941603499636004852757761408658602332654329726135599896663931667978300936254698280761836)=697679956055702258118577104432543835424491244476068884405440705277071669945048401916967265662442129671778027503175878601971523135455458315615241849244090755537446742118914235529764118141990021890609532626816605867566019342432093324
f(201063047640371554281334416063084284610798453716511701287853151625451445025826497243648843325388625667895845090554628830077190346219384360632770117839017314119122591190973836964299021948721952465902262739259574697189409802762232055)=1076204464243665989136404521683649747271821911189229404610558028672306338264766157432961540153049123788372140864132801382038206824759711061705788267131219350999586955406614829550338610919235367980861205659078641504507478720616452950
f(139557304943026161174105264039976060926565255231669284530573569226547132292035828360466408090520581945614142644502125381900669246166057773423779454955084928670776682488200274051145170821843134273963738525576305226183349626288038424)=1135644071381001907882925435722267894188567822034208216606650924072316490997090655839933117583923761980158571671173035117447907507325826097965857816952995580952064319025459539312802994341266617144769716902186436887809902334680846991
f(449786720880604041147596289205516013502573727736397769488668134468329809952477284680962116595294837112922980063111142367418879365730304070792266054386476468614174515876612700915194468941245179738885249064248244256908964507240342868)=1136604111272774758904125356123717767740103049892747318912273815690927654197950078666713758286218369802277886224808575791929038695605782576329686035963074307757709009748672165488522371620847626478831257747781444236704843974932693412
f(465842229880727332305753606620908744051083119033968303203303466620259017539401601264939788506345328476802460845791623197756571978591271355383697460348790036148819315910761327036024812611362777350763134249662524074789672667258718784)=604208021365811291863492015565336496860481170185559304967862609138033615313627541830520555891224487325937175145757268479906717516614489458203336269465366791032049676069293712061984701998026213098237763562898021147940612439724152300
f(1238475687251776074983082483185489245529346361520149161388470053086503720101127413675353543957210937258039203526142360261442973651193944777515036022475296434522580574022910356581574449854654425689240261901575638432127814459182869446)=505148281991732802726702691554444794392140371642457321326870261916811648198191625815206215089456531799466788452492623264996604346053564352964959267622003932007947384347740301691619693005781139967875141003472235029738801052655570032
f(605567393102390565524691409551971494702921038214476408210120905299617182542001184065677725785349242893900411718941328847297313776392142499005456544417722345844248904323274537722126415714184530307144636741696348413440568810481150546)=61852527765185034340617811517163649804290492162893641278844806307227762806309204969092180649851226972521096441473281992323969355815127273651640920523274123572267172487771912004620430313370518304425957567677172033238440786037608813
f(1259042172060775923670268420834917660221072575446477213131038264459559243247488736363549784479459978278818253980691527955700167387470123864588816301228373182246880148964834039500138310013822919184424999457600725183071529493236532835)=136940914534892734927477263669600477894419806913295359119656943059482292514278053683273587578403596938098028997421487339831318962100390297851171030633379608262891070721631209654096166344525291991107646223153590430340169759321127778
f(1199407037302279312770520432593363614383221635294615230933605992335813809894552866794237391080061402818567995008805888460553414081752896024908989156893915382905573340120656564251386316387005863444251694609518605546867751694635844247)=503671947300950353895385734783347541128964843892042969544587841501909933895705827526181317031217414458642039785506622170352674661074877032880139822644693691131414357771911191841067739249151933050002133317439257550112521802049286324
f(476904185241272687008286622322227724643656970094866505923802357542592240989292278664290869804968246338170019863746783974059432118149854637261247754151511020664062074717974360731923502301778771292212513791667057385773661410752613020)=642390840431705239035304176175325182873589749876760318507563977314800925600326906342378034980288650489594017519962349443903885418288183137235513721131487062422294501056805524886350960048431230787508888181952223245790328792708503134
f(643958754582453594737613081387233696852947554102710822241584893835103205211558029014544811805494180054420351582638459167865454212413472513357701611959266489947792768312637656006965627305049390397708993509449236742219150372368052690)=1081308317258663852300736731361325347511601093666952572280847190426683285839902846132077260331232118101166042271079819787311023879009770296526971728494985866827569144677985562326605928547685503808407304560332795014939715400773469684
f(1344360222546811458798449524139485974914790256285725765537792131765678444199303418691782297228883516584364113269958613473900655509971853845459785053691165160975788112217103833226964024890984120811867076960977515628723809211423499849)=1114966215454238797847286304540734719719730795900437360995220260387686537086125666528644561027132732231051043714066344820403234772553962190109745418656378750417745895508524799686879755332200023281720634020151463397379845151361417188
f(1113612111176410015910089123112696465092722112983998095518364363553893761489232305976593149940173914788517351845523866283135089168756051838842772283573578140428832235819144327721483253187845746053013407692099820433626972126584913043)=239787619294903455881426242884550160102485888684533818317902720607864480197600530511445368741051477399319709701201494934109914635403124031538794725780980969571077414359149358250661466527731512461866399195623804639410523801518544086
f(69928471877756373144681562066439749254553874687369343723604995602049321803760597623495456643609450968069294220814048152770044070580723682447270782270830915339632775242200371912456795620751938987204723985507938421418652062628741266)=890296457011097810263127994540914072122856099757809993620341260210311765622548949989687384024796409124197057972275477761415583982083430032307408325164772883019036725764887336693157933426338026110116851662979056414913165832412345541
f(1291676342419414147727288923523390271580686286550932552195899519795162707976203979878974038672110965585744843225583216342387623464099662014562268751701495194760252948309517474214323769313986905637597408314586602725757074796704441140)=490863077523255455834060211726350741203827883110352719531108256626743783390256738356230699160337196168439984703275313873317987028093899653265700996783414926426450326658625521201750944558531413770043470429865810811720319706232255962
f(134914260500617314297779294193405668041523258152050047025043485096735470173578468685662619797454625447329462966477732689226809019518252860684260975443858819456851656878158028111711815170390569753862976066985521232864844341342013973)=533830961126527317661401373072065357083662938221493886713040207450074943119809932694786028328167088033063634861769706627542719240874563351202197327177214938355852239357525266404181228510754458401338479501528114659754684231247333378
f(1544089326416537706275311986949268211670308431598108321026052417093407129048068964161045333163643678523957356173307902207411312309176922195274046636379612806227242657032409040363985874553513339050776659317593025829774538312743803193)=318362514532645529892439165391798740057063062647600274301108985245453014831640206360070754885583926256757037175625728071332682463502647072979969932479538076065004608825020622139314820230151216626336844552856868868449507497532074205
f(1476692486190526719960658169070290203244863866665612002728000184466986819032570881011980015891001334908295489114122445821878325831363515264513107864288580239933562624761297230994918934785697547637353593537550996048068128998890413489)=243869878488709588398164768333205662002313295406323082095669023895506723503501307931266967022740750141817932864131353682487168234511613259489280065125701065630934252179088522368214544485967434127465403310385479251976846777968668868
f(801931513226818865522882682780227464030090156134279963358567287800219400783082427310387491616547659311105679943136864811560272486917528747090393231149391836519299446907686532176768429413397827118195696205508434210119676997402377365)=537828672198050724981999950320248948990425435512555503410678885820896928535437675159680637613604183476987184508110742417285629356879831888863235201707709348605423295468936037457809847527616746719160116512276574571790879408334086145
f(518088733511686443331595364088338721067049282412425398577377378870067361098260675481225375215042395170204750960793568014286311187143331669340081647735018782712829825275565177101704460539638184562463765871247850177294844041889511253)=214703195672136084222997252679364711133040400640564153178408154681396270694291902483285508603478496505446566561513120245331468802463806872897281832194115263976200722543635869571254994456320122062071468406446196739087718432106798604
f(34665137551229458479749145497957082101157497518765467185402240397845454262227000208300189721067540447118747425610662801809710875207560195272945939340811729238557216539257702763697322060872028152576834818269623134694210281427626835)=482768239557077035763676189464837858662066445852918597438261445001874699857188596462651103456620846859477696983118118724519425844770472875576492418044400165280941441365078614285324179000566746947260208206382130503681063222736296989
f(1173918759691381795629845949960668693069540492822698714543779934589270581554648058106365564876612876379544355966511940622135818519875697934067547623520455608239371301009846543050073561429494002530711257667918166584169693045623545102)=90175597170239044337811208907249148902642154831774235888005572646330343259719693647925520040143239140243654550500620788752750285102923438792951081590795660687036127502476876214860168754292325923984401678879722223104120547280502609
f(23681055517718116407977389936305791206979627672746694745529317626789077778728479375113514337919193564947119836395563592143303446681581283814964910845622609353439756567388335217822181267683255397782141878156717055733618258698106878)=635862616782611203655983284852786239551445403799366347701546657015123779780640216288488621409998791343412157096974531636999405336393583892528860335733643357431674503789672396671393755756499441922632708124839013314479913772294855794
f(405043712171215116132597807892132651619716479763707168794781962652992648172362497671219540684224211642994081354239700677176805848612698104228879138249560962188007857676003629151672333982175754719935191284135304868724221243455355030)=1215902081192668116494762700351927067088728609681233001339706097332685076875845683250155668686563460539297794734557940193254144565370221492959297199739967243616513312345316023091750669062980612460991258663760875293299760194326325285
f(372372095042710909361486798836394230645885995690482028684495545174866907026828277149890727096890864079294412037499176602058430767952825157743090687944068648613529847176247788511607175030971669566674006238542585415591837616743786624)=1101782376042498276497115033887057416722566199676731316470867121729422850153615707117006010651371313370791380752464504053464444532003460849729589688987569553627610313949137922975463287541809175352605036628345392313437621280854035256
f(763585563140100972870939098478380651501084425027841768239292770296708534295029594133193148752727429333885571882799887746812684028335916929696751388895444248652397680603973059717930033890725561862663714374816402511051488693188976135)=431452775398021983742515130008126275330245961745865925853146090309623564903659314378238132513478843365547210335497476494981237711904016508465113395050060220825944995529166393359463301777098926663360756041959887685753299376371509781
f(1029244511824151441734860681447806862354875652935982483885165000316596098281921955019493183859753758628698574569128918297267342469358711897115760371924120559565939089609725866308979526078646270914146634097651594013788803886618795979)=500332668846533917363112089952170502948366308950721513244222734591592895647548611337560737801749142310843029562001138627763414775936272200355529902309303074280024491810320372191323508476875367596798316949335892911414849608339729834
f(123621606500076232700642278532001205227936755104283009737751195332755904007056997705243527901146726939174807845556356239840219077892241776279516918585283075573889747242977843807766696586495459581201366521010070038646692462748742712)=301917318761426306901320620927583881419600994684217121308511115829435153200833814937139904253252394316400171193162998714750449537525247601156212914951489581901589230354171021693105867550232558939289381924937787371568327799031506136
f(636987551114519288300059649292757586061582822632337771099493231253344108594487774284221279512129874901538673455645297867746619186075721622256012044754220435493635057720004790503667086742047552887211758352946182841056796443465219551)=256846396626753278581216729039652691440140596288509702224324804211996682072090841172947379573173858343183417325098396847289592075793946583429499558770575998106288990936319870653493075558193129333790694222120491376609315045477142446
f(205341425914027814174876617971825677769791769531231701629570185853523440080879950596484749286598636971331790286197593448714068700433386573897289893824773099601272545720711751958318860972853254723486488534759757973322230561059356524)=960263284158944334766868291924889689269147343544534263949742057534265414614337185277764262067799866247783008914655494787122728173493372182888319738974763879100453587764614998095856454352711084998730497379895070842763730872799943792
f(303088965816582463085878751856557873902732338060213623636193113602350498775617659962675507759320617402325370012081059361567346043452497987229947216953081633659696953444579960553556773504873319327987040202030337197842191194923691034)=470000077653001721643981507539883619396472688985521112607582402653389555663207271214463185390441670685789868740726306342220232017364914272862877430773957228846590418971518269898901890230017735269352211794095820963788106770933126556
f(38632913551153318953492912834402519226181111975816616785379011835416038129607490109239406365623505350502999841041747829063907920920359959476938823099372151604061466092209585685247949544073272851480658371235262639241876187158330909)=262687515487559085540313346670486016780317800371049175803183159056490848984709029251665408754411474861347945645896372461580116959829454659134629627415211639308593894335220894369024115686202631884015157048068561894798446490640559452
f(726396507710637791047282875839732968203556651978127649197305476898423844842674546469563210114670784986878979630041579965630020570535913681851651815306611958144874906647106863157020107216540541763389793640834058260820323914227555133)=245416546626951934141661847399162975342215700284568977955835999017371615365246462242926324117179951016901027066371047170526292567104593567164324867299844623863299731847697058289659112155420330087517963433252709556328881674758660536
f(1281891255084191006819097071510500026243898120256064454097952271259725162695372907538685176197640701817361227349115676121707045418793271225613656596729810834572894301333762736225444106352486943231536038168081220484744937136591899219)=1024665519862862198031310212019614090253672099886025853048703543031999647659765809917479757068612085212456821681220837644567430049582554137005964220253914264081515699016245446277627082029695396234160865525931300540356224246145858581
f(185607084059912649134765387932732155526795392027186915101100956063441203145430041374141299558959453092022982566305425400692613318200535308394017855143524991159614516547867051610961578748247009016100830428702429414925001539123558218)=987496405135189689773805398759755092834708411483725458352834326267883164040404037505879483476265146776544032636350728987086840557350975540353710087284430404335149192320761502683077994108994099200200157645697966006963803458169841725
f(963741083997194552816734422736699114226842648467754247315146974549967622502047232552048071018058910814214607365406390442849450021939875154709603918868487873139031858714013817105850047977089834038061516805513942635577419454988131828)=1113300671345186195850670956872092255710277049781843907836534267972469156814630650820417921003340443893383980637947555114382661424270649871147100988927330285731784417035304058163422136596101349026224212625887194029353070210268558510
f(1482583705808841553514539264262599783246149789139141362872348816395320676347301199763864405709177173349721126523145471855182694707489922935355843196174320136483678708127331151150475105735800784458963079575241480675301575354824811184)=1146021351287874174758422488869511210050062670083679808579846512511747906482737920854636543423884363798524040813679925962507439792921117282794498858781386790757148798851826208150674250713085022431879651381222595980453562294596232077
f(16738927182860869360060791709119010415511884199390267774132546689846669902296478658500540377948092824047057084060339732135390317685266437040409398134641476080745522883596865956000303213395441994639199726403943382666468185420668697)=956035183429321075107291006738569979702908450754001509987628297935942787372174462369883791326323832969778768228008017476212866407850585189846762211490016190949632518809124226525686871169168409805882914981723761426323355058596450901
f(249302703373120989456353316740926511098860888158939525331060800548907464184934768205019606560364885925307477344303770762139815931641862459649052008915457771099997374915770365813051538107827771386506012126436788285262204370263282082)=1044893937827358446156431605356005493167266698991723692810244342124063077593909652536101233634146550397308549131539614230169808086704697532039235368707281655990673292234209629208460308249677357795090324084730711688037581263007282213
f(28358300472555719748755645768882833294014157993939430227248661227728196145801711117970411997294195626493698685638314980264038163185583388686557534800179343907375986989045637419245900755573669847423203338505648714573912012596190442)=49006642641269060132437765061970453438302775934716550254446985143861010756718809723459152402837895879004667684849991749805239337771932545266239029893072433435522439985930439486694860305504546962048667501886343061968874414973850879
f(1149272635713116837306645304692498534287475357323810179461652886245710317896116592150881443349601792139547758653774800955632193122886377199392225368442252256526898486675653712805118348983147176112559426776130035146891149823381539788)=908628665170473232620366323069723614340698061864778034499547104704631784655414862455614908799098627185160801631955764255033637125238689785807494858874985624554893387768438017181314002806446062125223518899955893715615062466122496781
f(1137529665348016003194011298084360713406983946599660129937202138452539624294856044260840861491607726233059783010354065121694998227474593569760472322100248731990419816291361083113279105184201715922794127334366240893404385277974296496)=587561893679775937500234384195292067300366910731921224216978331970753459049374766804162830693495895380770966327251663271919153661169963213273501068556567632282010958377178664307938797641702390780860699183066654797061964764498849111
f(1158482272538834779001661385214112497260504780064351690689861160425350676085436907357928152343308292317520877490692779836644442131031670924962951592952855726725257151419763413075636035319762798800324994187848119684905569340378511482)=864285001990655611569827491624920815503659457351496742718773242626591451852876446092895464038939001699334553126660510823488807307207528374309018103523881422243424526160909531952817298259190958220310472416555442341213929955685633984
f(837416235572141605840913611761563586324817057318810791103252746465599843802855719756214323734267497495852311344762735101689160250926014081545457505602093425998174888280524167823545166202711544496345788620269731879423710470320808090)=639610140541062525855232044015551216885752094660562118277263585616378522341962413497918067290255575290206057418540181556227480393018280550910681259799888292627547837951555530061612113347301652379794347252575967977211815717454099962
f(1474685867499127087758967187531322341724453978445104491825006188501131508688308491697771442315179592867406140212389245447431333723304791537675869188579021440136242551882533688311631687456993203788748859583372312365536001535388323742)=472499787426858821006230152356916490660197631603652152601167576038057148428845563054320958962011175662259583605906655905681656998313993689782180101868439659862459585461892016765746255001763524097070416572625409668580965216279477629
f(288606592922828442410976804954045225833182111541656761928234871992033885083389371217076215349025329450022525402864594375803086867131831220838137750889906771559298717798940396303127906394775300011434581931860118553040460734483897122)=172448769846769906524130686083666609696120852082084042084944991053146425655747183935928208091199003581814007602143207215312838840496985399520763284153209877093306899197080579343575431825496140299163310882198809586286042421262138295
f(721366394495033217460094239012279974998999491165182760701435112877809358170393017788130210124723713898638533002303865236728676151273869793891916016970725235044155497694029308813925835364485063994617157229300608943969214279748648805)=833167689161628336745831836079011655358488876869923191668484120365558008929039620114902094802453959259094612314579355261996086696565805453322572081660281854774890297683251625940056023424732782287533528184942157329166652926618221798
f(1041966557500530531163046509275415397016235462275212268664596928824641758269477508139823326135905699647791293443417151145240267358728518805734256619571352507089762165979901829891870904488198315516150953918799930464421017025939157663)=252288110710859353014277412405544304680246127870665784953376435837351836203591112319688188186888344821806829667611314720767434916476354522385976519368512939817803372411742269132161523445934484427903863404411204125670907419892833903
f(196330839600462490630842860942724828471176132469865135512226160188001433555862085152931519959164899340194636758131989292398886084355870375995046207819023371825162011898505593405328976654789376521258179058978764914715246880701208247)=1217741260629887041377003754272925377953392923461498860579278683210775418539714873561637928180911273667888970652443352357843582472698229621549335015425188611032051182768992412293692746981019606231375194528283097052822615181148613340
f(328972754177569815760280460723565628821587957229449732724562948862424647996124822566589201922012750067825430784692906956103207403016611207622372952528118460272741109242621241575555192480906544130986040397894554587653208936933520605)=407965828768437189275008411669789671267597569028000944403105849241300718875125387186620532975513421358118129412541447104846538079696431338788017660017080985956510722630319262613444089575334298888709696113313705391174070729078728026
f(330075336904009447910482124251779740339447054862839615728563924882675609863563771670520306528790392534225232547810986575834517157587017984100886573752193907339911346351580108614100798920370014636048637733179316739027586729263701854)=1217184157031980514071014571785842122547530232983036552095796952299805029512237592838125499373274231760722219525990777075939281668664939253466206058875911310235784865848181369632653525915671646266543340349256796662162131552247410962
f(1328321829009999215190770810630176621466981356194880573204210350068053886802344745501388115486637375821374458462730361607729700394275391222457775865127406693293310448532036819411298941378554657508525845260097931905573191066918902757)=787448806237428939079599555707194694369355383559076191937454597616564597224241255736552436236357540361016612263913897585177213804561726192077676122796258271800966366404306095620825556408763823760453932860389906714447038783645692830
f(115316720416485869321961076701879167368052696446496435980960668789068665342912756316587661647819649943732489577962032771712613896067394718603344296625197215476552119618523991885306074720163201047875073834793469370343715134146799248)=527933517332651000374441202462095407136645719446035393809010596561858462295952768752217487454680463356657540271335252494482240399365194366248692299722196031445841873378426149985041480838028443319193741671828304080412032177318239499
f(1345591430165814370659439244440342597604681597193716336487470672711112460840956478459446161613007557163394684806908348780916036553292019401182207057841292610628106245275217156903309650063665326842556027166986706093135675300027733548)=944848872028444473782533388950848380988197431935985430313537049375077454481038227632384752270629988406092964056863205032524379971469958635545219935460212410879166634715154150618822103980492167611778829081752923431719152069840228047
f(353562135331523521106300142790290219509052537277205921114614812656303005002602510863471329174243131070040941075240540650107529689190969252106901237404928210193938767902658155055733057178960753736621468448006559150435800656681293849)=591435430833988513661131063827624188065364224916195999900240034610242280740546097503356860032862704685967133176370082455927313848549439241186618547780261606708794277724788267535639437647273185762458891554369560086987046714473308761
f(1362747352238208118412776040839713465292774339440875731928334318166912512597584983786305827190542588414867140347094647806322857541976958343363326503007528213043245901184149986838003373137260186260644681271829100406739356561516701480)=514878005544530696595515916973751809802535639133283275309875292598269290970410664074370528864095757473951678167440667164010152058257424084576978993579169698244967615163582362462094990864891723252864082133066773197695381973256850652
f(1344033749125529765606249239487547900590762348787363255931284327551376493491113060460665328790849280540558657066317831322915087943658469681366408256015122756504072192131369750657766972468677611614654067407107605622866965109847462862)=9229123702838656785345928513960418777776998794064896650792928765574598885539619901936702485770825869983929750560440810648415313659932825733537371534681649044815595547949504797949754138854287643252173864709820891891347223840911966
f(477271107605782691851370785810846172205773143696954982531755802728096630469151640950548063259745454371658862387364634668018908979784347245132285792018247785280621660414368710722359752415939148450826949521373213299766634750451216627)=188053625843711860824483505853378503910784320440485595506146566002446336601325887551510487302670821405682219650150123893404959263350523846313205943083287713538851091254599472779989660318159414971787694665523381218160916124940036053
f(942091657172576148381006102465554138582468319514541901996670668435570379957581577260934866410222985979755012807036315086313729131313261357510519695813839159756910923768659531096624360801188973400300808397922998044845670418267769090)=694429400438798348323254995105829057613912592112018710242837237575543397948010306601329828723940330023797293277264323205908041241131393855066457710179897959960115184654982299514677938585162699087016693081064978274638356387317160953
f(519502480138120365376953557738858472893755944044769518580186228731760028286854765001520886636429169812790891767780557640236942465855193868855064192509549755316296054646520259663246859056329996842064255628069536337725343325929186656)=146746677401599387489270325400535609824917805124237822497611318527982944191530159312876072111495632694529410968746886493543041157657325072568555276931950892579835850452051681084334479681787968927356870281506332072015893301725003694
f(1415320646488089602718066643880759148370404529363347420797806384249637745416187255635138820132588461753266990312424097518839281147971522596117016459237121824035011890858203698026639882088011244304501948933512511525694213712020836203)=953158959448862750680581393351613379276337044355494624916757893490778840278851618232385508421038000010347512780497511088137594093398194469357430720472326099831651153840138805465993235577210723759833721435873677092302771631407253321
f(56781845430087152286469243002143882378101416517774036443600554855098762881928513874095216561705990267575967462459846500852586512493410534955341212970231938723147509646647372948672148534802650139616843666155530183752373253509011769)=1095397805416647960803130381956620732663083731459164739802422635589557171997787912836976383806239777106569359385526176459047924668182311650190809930555730088942200604764362725005667056482942570078922811963636879943760300177836991242
f(1531489379528878287993932910964917276516017860167053984171817665036461806229667061484575643056842279698186946002133817756181206824885986619357796027702822403619643323563383021848014035890108130076190559957744659106883754855983676823)=1183099886298668151785965604896539029525436528134879140313850852125043017126324263691773819450265119192136639309435670815142937321468384225160606144111806045639156523065287569570951635564563046640269519651981763911002259494260059078
f(1139920287520229714165453849563454414293927583019297710374739481946589223945939849284739241803264299429370901241528339538742483866266189932373201300755603361219577251985419446118319054451008774884029500592705002556870479078549335360)=398206682416152406609109320685242912347704392675452989370917122287080930125535745686257902255939061165572266114295617299955606092660186231951489092206925801919744214132016300475455446562331453045761990411199697982975217168325176364
f(3459806970877478347842370371710534844251747022132969600103586981705682551580177898476443376192333947358290085064179490688092288903669680773551208946630519014426019132938231441602475013628841193029619407326985420285556315491230242)=265488300669295667760904562234043245769373040855083411650468632741489085762003592499131286496077525725983139310316750659717520685442239875707271819998255959386376962947881615192500983773599753877079482130509015192996623341628480720
f(1152074761294492589308797313093868204079531238157716896130352241144547843094595819080563876868154792466813275996852603402514487667873726694895858482470003181284537861484539384313237414293448042768868785761493039624260064762002842242)=168871598028014977468179893888238423345163258620455523626044163054311347056491001859178040995084600502512955874929613282534100431398168860583553802972339555645708516151629808502380073561524822803197283854942762993577180100577112438
f(1269216018199277661682184311276100269932368199241612633377252166938198665372770298322393369764167707608902403785284094949752915482625465260766607903045351954903767061984803333611709279959106460311957176100523297529183439697412153551)=953793753854778980115755160667093223741897222059737705536262824688852714835651948259577133463079435886374800091992844296129115449163467622419790945107702822490485781424185642791204701790032832611675108445462972284404515866945678897
f(327028308538368073739585422310058387005330902260964935807740882172993164991242637569999586371048322013255136080257345747528049681262273513782615616533427297498874629939376036676774093100376375788969950423746009782647346696030715326)=1017071084240319442384245886010964285250770659969713849664230202522622467754316881324077513957329583506415532759569304998976957279330394166680505340953596019210997045611682931292386359620970474620056792185774553060270121717817740888
f(526465153519495789849417153033879815162564193856126806688527681587406103516545988326016608752832173094497958559722183853345760486257281750927164170833753763640381210112286484691778965074595908102803655457299289322385456268967100173)=643782902213161931112491902085129740167411006523922805519789150541403764940666404778093341441108718956798205581648143081014443088457356603759782681553092226224591299756023950980938876864287754086633330285222291487093282944376204816
f(923483279681356978520269410834877344522823945413297429480727051716295099442177814611199465203026474774220822911668073241191776487690945693662696866167394976653549984612867063598186878467116434957370843895637073441322549969792382979)=438699221620961830181555948222130190635012744036199027448558521062075401916230898075200889745003279250909153237120870626138238293355095943805223828794308006768424496131627953852975645539784664733697254793026654868091097451231130761
f(1031153708755556618044350180706965370009723313316637132252016807191186683539068555413962086528684520338486689255111825241352799041685810821563073489556234513730676688098072428083104643272640541874211965664738082782768153119532092689)=1170386115070736366676011970325148721393875547767665151485933345578843370631084284438467456398839612146149183986470164631326045271038491401399668646539285029469339727631391307487628675001292529560182145620786032136973898580997387055
f(44875030440104038827683827254565436937599125202570418137569344532448996603683518868560637428400274874947440995611471780759117379239792445076350295530786546589797455890786938593627936313320509620531238494024146353800724267882846956)=21038375711303793715643296271034370299865688806493148212332681579789447158328844035766521178674679958888916706526867326802795728833778611514969914502475423408447272752801257325345894838500746447033840151293761643444215911855607046
f(547396731797949069093342550875260884835813774648713020910964781500944017053567343338285921595373478403733743785328140484748112006175673904759947740934960893429111408885006139986609969872535422998877219065974075911156394805192586424)=771969510905362825849526367291935458491668774948773624168579285768409391214299417994686699290687564680874176813437038329734190148384696716663417644446702791258368375845335485552311881800086326697073213964364537731194732989924940105
f(1207304113891855051210275401757975270500305716682100784738167593919179823135844301979489581267617518562293243032476876639678149076222211197408106409795577466015863807308489153243407388293854062334321021964721725264386446732482606079)=319591536261789358112873502727548748692378182397093248731533992186937769305314469749869036368985598973015885929235269499569888767711501864026922604456793612158633995945075087076433806405033251462606887111837257369673588658151020566
f(1093207169498018469217493448924553114963025197332193669396377389219096239784892678583290001214843582451764013071873279431987335795181558893097017137002633610162989212310337726495976143456438518538612163443608750381387779331146188405)=564045844688324345103017207932196731780616174889920897345715551584282072146145457078878831279357730166801955050608993794096819832918805995647874650025015993246481236621890997348607039323702830075460355883174588538677507349359858318
f(1277053282056969598816070786650412022225626205282395691371686577896540649575769005824527794532224454723652161580404926828349061693005187163349747388988411624521648914475891047346420714636508236366797051042885035987229954242611769105)=214407911807169810735715546582402911328623573690709481745921088039521719930819070337803157937584242682351629500268445441519636810848993218413650565927295070790238700986441179369447403205053735824633824991866096706838407597215530293
f(764457667052398151350561319748827874230118172714174356957863084205071791403187069815085405365860351087207173061607791265514423729615759495622109297940555684630181979426401795603136799195628888853823415381406982775757718436607877573)=175925242388964184980505090045913820986141408450255551393864282033323655892997361471849851525785088920445932140754782903642802439541058146271792818252833297623540282441145157642774022093255248143779353662072860222198160451073470561
f(969290965491668800840334688305525792029898382757281053089943594280167758161989351305482461867928396139718586837496901222613230937383644219202633817098138244676080264999899323543103910153975434864215038649824528305074962368878462508)=299712208799107153702725797723517817060544866035058937626110630005318363320686613048515377916834168597424780244666450950489889382848446917729623223483985507646606199535085984881548444532283387169823153232063747413416533312762122263
f(651559474014147917354697804637552680192337825862449657114940957770770413156107886241306625157668278183516500118758427594974834842059711807850676813260952412021653655600815651394510773191554177054304480615093468320042199878178750664)=204800682141786366488701515063102729056278403947415813790415084264728818959238922991013321564921621298559902631728413029200220519747809534700080143761480735291964734286697187842104160475460932454669507951519976272916437298546868102
f(1289479317121937927863568516246573705933495402897545543825726286800039296273368145592729793865984349340339912656296190607861146846132625812563921057685683561201648081562661951269102308911666008311300217566395972087954444887582620774)=758151137372367628347685564413012415796315378233139640363007272925544811105721652384992891600764983192785900330958385769745544254468703293033785795737807311200726751485256511771186913705223052686663860353743723912009718394956663573
f(232780414656296800084647771510423889960845847989896483455740036379272836439512663503119720161958107462647615670696268175337794290212483772723951150621993788843015670662603650803479140979596511489177307998550654946890320561019332879)=867648878504108658451295912219144333693367284313212078017213209334075398130210995190441654070924762448091972543438398510933850217408290628186885606227457736236897619775230031084228643034854790629701547649169262917640760864962735211
f(262724361494554253054963547372779678626754309810083086361594396957073962685098280590651608310562185699618180893239707772370295958638295806520127889911331104502812276199164246107941643260963739427355295626890436551606830782089294223)=618251563763264355797265107917971147345450466744620319990550168067009065444917866281998665242695076582363421184897317751769380934662183530332593096448721036142713766733060685492890052914108350212474892764928336619660063035963100330
f(944050121805123099812844215648837905491802145289352847638019629241107636120801257674996498516116815561534485627364220002075665072069826605457812538845280168735595261165739036652778600936897182076298766251953184640047976590084743191)=165781917206414624731293471158856669341819657964781260642099905167338295258770939978093366786670381647161444996232396258620745734836821920093718928915296856826487332686329686038200473549382290521220789884632745803072925012962709550
f(230797688044754424078580885579541701708589781502128275362500398823723728680690795223562016828722087470864560176291294434734727259174847285508300819107399120726486100081170033632057444515565864149673280931828032128177467210013179757)=1118683840513127431570419035589525415009498587352280112855293028892224766580620567676017776796513814647020169923622836363679556913290770117998105635573558642834555125136106032058773886331165797865150340512322338699422475938387245380
f(920379319380275363644976982878178574417780111497365477606181746815860807934924298699067548311279308103273600419470275576565003403936211201173342869419318153314814468770640539208176633869807129467021177697144411779831282623645970604)=569828292613535559837611135440850946087289428295069864200443284243384326074074241486431858423498222812459671306369134487314874200766088943183038785187865292458531923598715335947322554334046364392618439085731134174345549911259473347
f(1172981455431468624801831265431724023248289639337691288612953464623516862158789187961461829384510883071410621156989243600834076082085506791266344159032159666558488553519732343506600112390009618083904075607889539083876106246220819041)=1118822054754616450045404407818394358162070999815707432193269352366140094769153843879077956779951818617546270429945489672686002554070266034455814190426214560641075006910976883256936461889439451809303350525858861876889317111736549498
f(106537099332660387935454512048332666352569442993269320256146657917659531057960515188151567217113732994298257100446241808119503406373353441358733268839114224139669588351774619858515119697407865310807530618316995031644347272658030522)=777500244086314740941277354249042475384399610748682720226681291372695822849973234400232818907451478722034169593823895925857325295124973740393916783590105697928451856356515850077143379912134894312867727651035797982074633183663912968
f(966797928544796235042907874479057657324213473536624941327469231716006245188443043565694341954099285935861907878154983009060219699732355694374322675634919412367729359588821609434998230073643081761442112566961483119087947104093215355)=137345558452549348745206821823688876198754788388504781818859140788015572672144180611628657764834099601918931128368831906478285323114719858611086841377545778249698402777576281493496542432123370672190825365666414907178339500015770062
f(857948698510303607075788024715577707284266384332424950779297892820025336580727882665188007239186344709985288036894495792512767303813507428297783312417066524356847759703771041060948281243478982597868125894358742281810904886578297588)=231317401592685864279061566892201944798300106739172047321554321303498145225294822982923436950152774810519456347166280809084236576658846405393971455392158418573849680555644956646486693201894378895142803138435126345913093993924364468
f(132003231007136702387529747142894481144769280806190623216244430079282559152318535342978472234604930503342720898346196570667240101290311725481491225028624114764747558192165291931039135632171308346691090488658498175339021615658026517)=1010332750342009182140555927496336767337595178834577642488307793499693395009769465603121513448242807260432964414161384714892688581855139005602139095121532101893456419143877495424054244736027492473109730387280088002838367332905626193
f(33383923896209134772737587122991255045902291156695138873404314363630259546026707551189345333174162024607120440752149358988660842933905166760816346066230892068296456215903217801018818669518182328726845019704325872315296389357662302)=271599305568004342290156390820861397534269156906003490125266636189550496208488308758735048221552314022882622268213564602578308731470041160687688662716725453788442883727657806512947877079374401005048211511134561823506632940837215041
f(389106141952803170059857104601727981017305834975137544394950163812524529728619901093754831327206911744490202793028188386199957480284161518294962556709861491082786874817778324862343909232594722200258507866592612566557273200456360863)=872272392791622232880789572312962314820802834999712950290318309474136009584899882537264689797472235668956918177262430424325313331300558567501845825820087640559042169737269895885924855448727280874278057841109901319204328942871692865
f(146405725055259370780716245864193579503598008418560535561790570572240017252588960563031926593921285540059087612203159302098213898633954254064740706713330868371029527123667652950312230724796583291247651517168384609263919056437673281)=124165976070283545145774230333720578331862813518330398900010498982048441049834110376949612711455905365423646123400678738113139407551403118959263610481554180158495229714397157338985630280064944668098367268042551253826990013730573892
f(839534543042519436161819495752455393016240487625120890866187253374489814160385182914748703955426995727279901385808634400791404903842853855355347460903616611700426033855157218513055871038543064876298084103521334778178119028428745390)=539500380740631373575238315623258384529919902132720380235059349024644888860150220209012654861022046587942843737042817822350946214962747474275962699435525119621505300699646933203018304951760850513504451361329570984097852799754864832
f(168746329895704625953926011737323886781981567203452463458562256404690489696753702057042512898258799386805119284235045914922993247895905281517862687411506593197768075351765369231650826536043378001131892830076041137731728134667503759)=1115668491156850011486798037985065011012466983201456087301622152681721160588992091303795424543366811575955188248498818445991319922636733204303949032790732892281391108347319677289222845823084182038306794705800909710893896514790037179
f(1295734143496894215896295415168214871125488542538769905384027996865235932888473388685750782287562363908851612980873569756048865858078833882649644127119684117353378357952037609227578487549384661842262909850123326120194487111138000382)=187077905739425913204129126937991850171138617951535078964241782378169449782236168022160386397451649554111965641199899584182028341896936470459964497302230606414455448914382943442490279900581397193256954301872814614389853554480232042
f(1107444316689158403016530774392381912459635985530645414877628532237255678812265868011921973879062572456223075101586659684596586059032108680736361479558328475048579859625970715081514337039333936693509335567590132671402150295039518098)=1237360007963307681627709587190985621252222228108150996254003057147319250537111566790093640755304912883386231305998510964135196005621112852814245724652160628117304562344823158636243852413779200366399723759099764689234012703408651419
f(1091208769078012033282872644059243086000080627559737034691680434524943277201085466557460321041228875150276661939597046369278993769167546015218444222154363381777463970078581116812324327948623396209957258521211372182623870394368019787)=724890342034003368073442372472019747109442152262302229993619253909858575305396667595749294824840538734703296959322251388562013077163001195044949247132252835865138368997046314784029774618329276028104412848008987604107843524616695211
f(1382370754264793726257614117661362345998850934491818634682874605013400711130188069185296365110360931804192043264036453395564363280700183283528672698079274110284742670572800658703345032197228092700591752616632413172106507845211503808)=42964072456935537338705175624722652952763710029448113648494132883936677961322934919627127255129354013762282760119160544614569358821278035319614905755669985963954207401359663367211041935196243603858014370619126561838260721149558428
f(988540409856854990375975700686951880248412353117743299408651637904571405680959696801016362970649460105012631856487763029674118800515287684066816776717617759217377199585456356777203577112796512917186824263797080226490018488248034008)=729925846392044737831777485939477210565041106771961202645183888613196389629448370710691206604382565596810717907433373008565078574333751077937762044561023734087024885342180138671884160200576009220069925541756342429446060820970158746
f(271389544335849237982855701705787004403112475074358719071832577415231628827829935966825400874785937461659923913709381929195858150664727311163937480409490743172071346299084719550621039624101194593910918361288544111093030420753096628)=250563039321071395068062758826149253997251630735691661832245318497143966145649963508153213955267589752835563109040887535012564196375622485787357192777727743715563099313101952503724956236747321393479108523553133264784146598084651900
f(1285305458624234020463869186216357477983346718953771856564153032914158700477315630510859346343421119410573463004548497641962191683219488272411126959730219391522911383996362796263421914144648649322338479187825920542987063210725753585)=140965030247667140339144512791910493391194086634965485440263248790263111827400106668320322053050055237296102755349209465207240810923290296955826637014544108618554887915842776837057525193508962198147970439291995345658247872497816077
f(980595325229890370137209143776141042979110453428573316384681361023896495949853677765306685187400887660555781946043314159014359927526374394280474934762827480930320680272518771684029156909089231844389591205107238591203617238840542419)=510596010054751373432294758467071541429775884843621317102322205572765752713056364081308862435223913600073130429318409147127073628293917986436611541527855327129036638736028218646664226973861787294226039033316788664466312251111751115
f(714862450670900835568155498262136816010196908030745941428451425926672054583791830352355359137264036641155676175121897138556943281006708325137297368837910346295981359831183628244897508455614701656006779274986262709535839738951639733)=759937791582976354575532986361289175905420639785737858551227490385930458545808200548535380693870400398052833939628412042106823062410451417237681822499376821168771540159350812722663846065875819362929003190179432267167693669671570343
f(991836759861204604729014513893819733488080664798056700194086142806299727469480688090141816920723103774758501420902723653405374328977258618469077945384674526645249989500762446997394558615704531156254975133325206139296998415658158967)=774653735953409802185452113558642835727476469617348760936617460673712991659123048912748049545597347348276157670874878153993805959238196388022603302555298307667418007456105835643501553788594416586212239022351699027528906348226122627
f(1402748897759509262663458899649922604418777823386867666326875531864477465095121099100281143397465958095830903424994743661968382515836314958775503622292903833833278381660415491506718318374387607847081923651514943147889352447436650919)=121294590671470154159154561621672616371008417608633411329669825018905392089480412699060614574443031964872273334969577375815923494782315712407496796130089130886975010846878785065421618252210911113525560152126489087330850527918682147
f(1447849786339246398291774417173550738731262910240271837208739011117744818086641169982292541773268237987629806908595369039514084001437125526322519271133039996624360423437248377353253761426753634862151947273518848568349829358360053248)=715281643241952382630192048493143494314878847842645055087967663937365637096191796651607657811128326002661227119473401202914946345819641333723855244292798071606642889921422305735683998810901074431311988555062368678243766438806720883
f(899223276216420400612167406965377052770849285034111064199519194321336533646656293090584771008541076331172602168379683795735668803067979643088248188424776534947560621609279858530289615599350260828182744952237816760783998114660085053)=330614979342835012549123128092792829184178463062003191214760149799627984671540503683551048633715797752988581893263936325848717024621370926050511043607892486066964844499541048658344791547775322506951210409902883952898867863702451608
f(874150511818665031284334297026114917608196417641573347067186235979381111062000449852899873248186300957237670818707206450805750207930701611263365396274353057909085199323861141324326914795015494629953750685849744089748504356576824167)=81938596780274332019176013658169346894237991560305793104279234171442136839252389770525077975314745659483273106613549636590289443053659679422745122855808833552618429306377204835045705372746472579795939966337083007651944978124781849
f(516256617028071900842958405483157186053355210750759811592115919295819509391538215837258956984542839349933346757592235914098900296762282850036774185269681588573483189688890576640225073121839974678380052517807083136720156230708463551)=125462589708285184246419059037751768417621074488554433782391171683622498926085010469688308412759139072850140942184415724343556383857169215191903060734525241508507055879233855309670074299467829435374445596730367269987687337727729310
f(232202921586494331807893759474575736239134285746177289469430961363561830136677424356061325308180199246614092400163671380861182965273615436522464266193884005778411092796014930262110698752547224458766932322847878053002974095454033428)=349791702366683679976988004776275187824810233068332922039888881248172462229607984873538443656368233648634236717692117970182423914082166050498601579784654523350588076946985400424652300071163503391208252183278834395245633387303757219
f(1480334383657069689823349311445737444821468672513406909940022063275204908987226289427640505101795008332059501990119055814968148628980662409529013412256775368575090871469642458262830990154767939579959117515043413549659928757819835399)=410198575448575120115687832004813764950348665197193790920392880881871965457163709185142257869889996593616687493664506017016405723553558738267802614885591551159633124499698651166354761156725727905680490519423476875804889113719885185
f(494044839741378738868044459941575328839305220243816577290401534484119335196714420271011318577501699028528524423385903097494781192301329420477440647458670169435113279634562342327869429029979030737119978572721199011441520333679485853)=204067038611015623604481817728915518734961059662418015707491242742394060411233277603319974526695632484190117110091646398166240003893389047799156388176808177613383020078867585527638228396969739948238319549620723658274837355984865319
f(329425032125661711837788635641744804237975480885394019407210497806431095826179396600391831498727087302676905869677798010170224701810118947637293770644507872446930712941665052565465439056748417442096982426201451430491968408555437495)=103067963961777215669980663389817423989477229699841238065258509035661337729123620372257762066526590241348042856805153298723466542838167442962492022262580045013551831994546220259450691115912272901521493845154040846932666167116310036
f(551387648199316868997621235032408404974040947241723444586449634081174986963263983988664747549759672778180957742861434491090593522062098070994076393072465484690818127680012557731716174181079306599337193185322500990239150382394689843)=482199940085232212561071605006897530860791982953804958897518679388343745790264242101171796241071833017027623170822244955875337546706085025331499085861400704833724129808921579302232982520506758606568712315493069545047322682223030576
f(493950487224209341301715450200028900917189128247740480209683995697066919789552261587526785231767608892126717668518491909472147109811499531928346498428557730904953326184538830209372269589441396136705198721707904506889753482742389116)=495605344548051836876814096563140938067007431507277806600524532806668546521986231431163970875382193877977620730981447368199490913404796006746330669672366457047046370054585370296731472202861753343722691238633447198523564911728726437
f(1171517478645144112523363265039853300414477080035100120038873942141437841475506460830775548702972825496169071572141464813250310560034781221411173540800436405550871780575929061862480652026370681941035948010837954470169435453401132180)=738081453104320506836807360664873452205127506183584149489218321773882272922935647428666049216631887772254895260483467647031852831930648216431911078553979811848490678338092016412990314017410599680926308772767707146442968771828474963
f(253451779137480904093813875375663025243855301782782830491588351656295711619114106515796437522871772468453637025936548129331373451378421472285326653392019845544638902027075860722198770832260567540259556681487698571839794981413800711)=918318615633728732121676565428687873692983687062981817115727047449851727471269008508783562121158479279893302255079793878717335475733455154754854233519082927495493935997420876512769380854020824201342749360383874070046802338543764314
f(721980645443457162110418764972560278153202486259533987227812680396732942334693325638602174414413993610304940870659534129871611394114160510391263333175449271593127879356996916205095065971841303543896725520248057297300359436436698381)=56125873889434570528785050807195485042389517162973017350098941980135132167600454478519276365201859275797704479670185667280701115701555393022582561979327618286736721809155600104457831413136052094900068500881683134653990711666221634
f(828808605752144046238679020267624864038778276086191387584260775917901262189603327740334006274649694409652581096881261431995945820530255089342324216028995149643178708868257933756474295783728746381519908429430098514253330273355779943)=1135374402770051366173629891974073363533354876629343073421761382998272871420757536416390088253306534143468780066523430276547997642509092057898190680302543469478088067321744759403411940794232431489379042768664178353311791595451218520
f(333702726478741003701269982913066917969390505629933057955070504772924498632619747865912046570822135047344072035904996868648346783501160392865993376176063608223790854617061080119487250618801328813169933289925476339699755629108859670)=811933207884939192010155991625329238711290126964278490388133804228875793572849565720586028975710261957432616805213288320453048221575732178995512409854710307464160802173937981899082870601942354485795357183348793020979098858032346250
f(1054892433456621649016625563036199966141794247113709026110252709604217137693203946882182466313132198240668327107674067396961387571320999057341541650363876234011664037699661735899656181595086607200096138568143318183350207925026270362)=123276401717234179525921208741743526048374730017088239728493212119458281034130768642523730744696484405212253107133489857818519693978029000203555789111339413480309295363566984399635758902229027176748740150641094196923369791656771231
f(868600229800606871801961135443502982886878333694387227398435509503003545859497803366856698301360858119964005357540987263607065604344676970525997533188776240493641005108693842368043327793109807505313188690970420082330335609163197825)=456633251796388092787325293058924130073741369198548128752618645102358462017248766765167123398325171444345604442978839209821348457287674984352704084389880423441383346974590819208674941579020350457593645212104649947976730846532852093
f(796043983686066386471730316405634561061932625773031951713267537560815743581223112468028272153121184676917242307381699191375002851102694738712710682440568389343903357523389543385527701012416988625268103691425356841377156999104249709)=868824984495568401373940962099956418936785272378275102284570636388106317265783751785200600221698765903975321818791044996856445017236732610916901909873979495800605773298228825895902400764776809126064706102631732629241078149453945539
f(1096619699544286036443230380196506962646599438364714295418647258073350476584927398399819798817159287072411456230025808359169887883750109544528005187171831815680502787988495773582186734431948355051693601780060283493006173706571087515)=150759710581522612559275620267343314607261783515275052362827826913267816953467738089903795129334139821683201480381621535157647759249898325790828224318994787318668921474583268277137618190855428272208503529102520869313354395398789042
f(727235404915173042130582602678801668510134928359365537445857751106050672384676014519572180088799004706002353074730785020084283660369798650519284959080654883739247234265800520345834616134712996799264924138780798162537509443236446103)=434580216034562357089019018757245621929652084861978567220491482544919842781482101041083177741323567357785075788019347990280781198946836359443383764892003132868954369767483879790032212371272014995112547087262570625712986241190402256
f(459552091200127545050338935886491462531342547788120912157891430344798289540807696385298359910809954791533703895360306103400038371725580922137760101019379937282707441016898205352275674206469669860810213643672020856385571511461843547)=876605501639065834836688691863614231294740658757971335743431947565931488709187621266077232298597116220747316940213501598863631787812031277857867589088773750318505511999232599511374639758718479247185847513579626683184574257493454447
f(434615487154963553857967514907683291508259197116186859988040180961539617635295955404802518696067019980993631275948055834929588438666766513852323589823295387385670381171702046151252917482713473143890283302841772248954920086035600839)=923795135862833344993167353991163588683584687582109678365358458212850894153744485373466663000904308447608899678892788269231655401036367602247814057752320982619738003947474342958232499675764939026199414288937599210629041740691952418
f(1177794429075395036997723052138345364375834031222575714557417883500802644073659490872625333907320713742682924126035913638975765162292564219651957481663750921078603955584465486999966866855680511388967227337607250688691156647797628967)=229189401361464431941049640679648341678630304555820428067645371077355358660117077127820478472588984143460354368403769142927472221156100119049722515656447295768149680414005548144732162942409168411194644971394045311634001537863355082
f(1260440977498379759252756204439860729425311847521087865292813739620501597095965784987809563854141218102136352539790643479471297671464109639442537481563193904110573752192798178296697290843450285792714020590486913077751552594965267977)=83168708195165989316834328036186502630749340485789631069680150320271462772325019297741006411941261141648192723951049037716931071915566404306518703923332637003675059459432119093474861776846104012434203856977631928335148331599063974
f(1338486106510259761398735378864560261387836417834357843933945725866502128636218655971948159637186575581168670636164035409869360327699857977784092407930917124345255955125181703081273596825059536538648199996248754009427751407850160395)=522788153522067623632649403573660047672286213419268916290787819902092447778377757869190922915194158413630866746412191450868516206993667626208778619707121263452586645530727508080818080404400674357249273000149979463877329929028883843
f(220138095877828454751596007434823706131648168987036859221086773038117463379446974833961771517487647170146553749226984256698302841397253852633939967463179249444602804249100092063762291193080672358305537348353586182130075918266654773)=1123150279363385278505854727867251860168118822769469131101707767122016872014929107496187230850983486355027273298231693666025064232024792227053848898119189386748045265008927273393631362713497774026921620954074372046457610378209197191
f(1356321090915455753442833886617373696248529227283740934712693622018803001027832645310033822629431067548315587864078367222110694641637092588234513062275781564325199379711660526110662731999682207451167594874099281932820026564557253653)=1191571245725945565022804020375810401017568749364994394183523438793081465387978474162523157631055922281572413399778995893073971218781707585409033804013470057670791708088414452409737893230044212361225821121149208852370061158906315533
f(462814063267916263413241072588030097009539042177281700736355763484761079101335179951381091720972789762642621103282658569450127428164128176109092691970417032545066984258435251447334191484853597574261989117316344256850537750679743807)=84980902323950651604568712051682703186755142184612259900068832075753331512963605808815000789958039754287116741756812191207501935399982043602316679349542734528140787702122208639923341561922181768211316390203077877386386302483548439
f(1256079989665675997986990482055519377508456787848489660937295233079623021491424249625814083942401408502993381347623628463560264117114198509837567693729301878330660500155140097724989366660891169583373234649492723539576958620470147015)=1047084937906555975155451529432677226637458763935246487656319725158791280077409438467525913683282568941974875333421251377504994573956823498616923443004003050129424166089759708324559142037380192635079410672695694375673971319742307496
f(691718887212155693297939868381497190031867358626705772145441345206483936542246882854441384849360206159129950315459127812377075235093149713774208330832641437220987883311009085072818535602073483731796494083566051596001135738923109902)=1190788500196368554042388042798256749607410249527327897656575485667971182376149304211088436853291698304483338891818538738150845327445650506083854889285820191553795641628784871827849321168806148085891318984415511165528525456854237604
f(1011007920793465313037980077547852270408302959427889802147050479818158002573986066041563242085328116298369109582185614001643596582452341574142132478111049443463848546253018312164456624430579970482190073254583996464387364492177173799)=328671756387111093835465501972465805831982080501415642100919276361035016007579127748606803763864080913901155491832112184583331478154827050318770606087165448356325223415030674577268822919202359807676928829563994841354926255322306671
f(1063852530087986731712205788537996634618324336474015024429763647621294282123434656439190850355384601629364942583810505805015697942909690018456061685093823574093609468500534505685122417835328513127675293337051296574347068640814260367)=631808431103039180483973900676607530017293158192790159787818667398191222858192559083959576816354604006710041217028303686302122707655501689650267569220808196625375931852203551580265189018442211617521233550606867669256665594173688655
f(990218467328795084776403660735128230237535955428902729972406472453182464791838753939015247025020218825141888229319605892171159893922159763870293895231562391909668144308443764048491785075756111453221779193741192377220405747531015882)=257692664837885154638419129042584847221839311081648225810656751088402355945071334750231107354460324982510236725543307289767720670096781109623070902890265370443980064764615895500208759917079954034149597642665378865590495344620542932
f(511738353024352893120976851677704258571781323252304915825053326382002411371996338381655147749968253803238747404955270611079773541052177111525925393994703174765416707785252448416354394901898073326399027993257635801767608591512222142)=90972961580477462880645821862768164888636522222727226636106080380973045813137695907630636890785223183504842663995243050658283228324168450470618640905670586554310010483889022430078096989171597642089021907488844496698208024053762141
f(389367423720719101058521405962951504013708181105211707436599936344639425692650879262896356744775823527363956861092359388005084883913611641263021961659786733742086458664505472688822794187853331507477978310971892529943288745788247226)=978593712786123129720406255278878447432060288200039278029909382180319855027269273223104395895810495997094530410948139555384057059815086386138043998938344578952316936699167182201531256700152758517891791528380204927039942298582991752
f(294554186027267622864632560501901688175653752198717547000700789602400159902735107993747831189939062509449474809175569374717719861717736543763035694425549953059308180219066290427967704379543016297484000106152873311243861376356925727)=76716049534450908485312514282707087615342986697213041879378461426758375870574568091263359084699603255098138635237159665428542480670306441428084959147078905836125967035281423110283149245287230113206078435176892643947663959456737028
f(489721911273123609736155716817941923662296149517020007769863096309291168879404386177835624708135765692695729517451480839831253988561905063372193213901725703960835415671454389814481408545219954690184709256003063540685583520181057848)=998973101863373453194892619985155205023632121240612882461968001346753092231785985523355523886819495847392234380867434581997261689508002201137136470105162784043146890479208123806004620897301249818242918505282054770121093146201183146
f(67512610964703247569545861139637925718584888396992069951682080578879191312936797906290770243699848174629401396514094894828324884271371037188867407527203105472958162854331841689335854418082474302387927469724164694817665926361292965)=469616270746841320558396290403413742206319786331611053200609607979310733303736753586935459290381185124824667528881195395952901411773267886998908003969170704296782266016563537946737689033020082598625456773755484843096509516752429393
f(1334794531904256269747831199959183526490220056940513176082741163247526317597874336502524871548608258835205503221536848485319892131492028553476035901881571698149823176510173866265047160432200143577179353772535770747480176462378330286)=838890535021173151982422951202353974444114707687984161478413060559670669124372293730537681915368106757803376427327654266318586172192441682170035189234464591383473180966298783360534639244811040453108034402990852702764969896108450792
f(1349764981532225435640483931022570655767607612849960927443529573501619829705931040378549461526332285894420163951158977111968460082769769579885082929497336128694480673790137715973213213248565406417294864494229679598050231076645249536)=429003287360978936333785504512063303941409100146909675325530131880311605666332686399648681714115774672564093169736674235997862533779752254212243686675426577169169020778095939586617560734960255780596376959337053483218234017232758416
f(724825614995358119035549668092901665236026509186316406714244110637682382582404403685423151208277019501764523393023297495443000742084396216090910896937129133780272820696492676420845175825828336015750795645150387069486086330817824486)=211267844773631161141196796031335460371652172136552974923586450403922948229475922367469788133682683482029232980013427985251040150341347837878996007798849611032584438722471074277435114867926855097762465526319707374019559887005409140
f(1501326070553511464284040877396390844555782781044739876142893457525502606402680458103885377970717923317733899401118365688013092652672256969489337982085864231689017806268365841595436222495425628903782330474438711247076448365506610196)=1234079760832086154185683468934069887893180082428448276903885236982748793776995867656428957663854568104725559631899564168351499619945309229188242471591488287456694227123160768443544092652474635710397092230055344649357805770278288404
f(1473165313820580004255807883747296891659098428664391585335713562722121983092031110510691381755673936586558477965246271203109931776938376467557500021843371959238581728383453661492202530152276366855998369211254714349701822335652768955)=820698889418989522081860554238339066620584481658684083750250873349897119727324989544035378811570945031810370310735634219983590043180616499351446183645183099713212474222893687984545396305695919867633470364085718976355101281408597251
f(226176313232121352276766068914397474660866633273619024391697382088225160820904683784416127811071779314301718757275173625383803103642656063462798042020417878922473456744255083139650777193297102615738838324366287848130521793369834915)=620745987887054462847664205562263382070085470049750916713495107841596159469107241139832164582143484009793462184404245320479533991603321728317619115292276579396257874103543421044077818667119358433655020179912843717568866608845319161
f(40553034519769560236298082888597533034322744399924900354254527953683309426977900165431205532733078656352234515854498980318140181581887320526976148606832972612394274478023214341611297066849738190032253963642141332237457068826647170)=1190466223631490880347695837675568427478959845866147762309665507417134381643756646346494973678428493212716756462531045845093725504474179121259698655043942468059125833043530505226367202336881636230613451352134227218062744261725411020
f(327932250305676865188808880660613937030201893815085865170677716702375004262282207568672891660369123444537874743817521630941656809687575050319447007227461260289646552601915287221601561105092920849720083841505296487658874638370621618)=484775827704581486782508036915290897501987582387876296944392975401756604158062251340760458088912488630524640451299021804190778027580689099142926933717231742142271885291348327467737648430909831942872983526395114180114710338224456193
f(1506183354593767405868051722834264471953781962584529054778769556798253213426002492199979991603006496856414640146186176159884421314174640616525105304277318833343923848399391114631701867693959709516425450502404478044440803837570684095)=638079127360981304921040294695860868253040834894223472011718169251664619749091066995342378624070937269022945294146261162055437836574008928358187086054405992204417682786291579691699849295923662187280001679079612177400127570136997089
f(1233868778708639927445184615954120002502403636367614182361795929603162536777919454671404833563033567135287282496955496883427798214908405519933219608977934641123120593064247339444605914025972996490668088785284118003627052354082964848)=239085835300374041759593434396432182725392068549336623868320405889598656011764193484474764947436332173788977930516690892688995986216626869228493437267571455027576768253231971565162396449812916318934919293951878096128822424259304439
f(517552703698998872257459604999014560458824520760070443685973791572270619651511518845480951662360473438210253855806985502940535253576137698413920337589011884371581151506652689395090555325510928511438089434959796257862389867368991242)=171282121168930081262300530771240633430940694965880290743486021106956514813234620147416875785857782867673122337504618794875232293595783744934947844085578415029027605800402732432968499498578087180191690524505938300134503481944872260
f(930430760572633364413340532258741799053199572995937752350521291156221964345795812669070099973356124185352111757144869481301792581515670601290481711733726076391507328353082056524683095926457460283577700516172520809885365512560439871)=416753491329582703311001252325044558003033309198674134336686179262764352548587843099456728512637181984345360205661848941568276336802029961429823122533685807938670481310136007603819194197027927110568793340055033548879599860486675401
f(1528093652681745102715789211016532579543163172773657404370572930200373382004825455954721661972248680522044305998195221764434930175603085802556264104011275182889602782515583038763024506490596173099512582463259153436175917930432605078)=186511071416088430627079861379715778368204444104206451039070533625689038515403429445292455312954881699221025490861994847631321991909848981839591089129900623487197795834825280410271144158128378885084552330674049403206392994149176883
f(555062635053403440874825505238610714926640740172722936028622778992226769716132270739956317321886772774335621327912686239394948616767371449033725823607678638804471059420266766396244897553017031199293920316974041176714787930217930284)=1227250476314871266096851575063174033812685834282892590771313430747457738818710796544926349920326863370035048544529259357577519041373889203889013197176025439600465152373361258298227235669402634488089609586550278969310189880945481027
f(502532538173154404024439251095122226567676583103998681644962173367789723835943460791647134292765622783158165574877954783323943591587111655660183199635071530640073641492141280568951261145455218862886816903375211657875022835476535580)=783191274186210211401849517745247489048832884321337091863878083908421965962039300155390886534582326279112232037854062422561815813494857236560378576306550989988634339897895469557214700692522626181751626645441008155042310229400166936
f(1215889368203619636683376617042248129621664140284789073480083677723606252965154923394684766929060308448823625490386853116443960891106808451986313070002396408719642963251098697868067617792457172890621192643725089859396515419194913663)=511331018596779451929743376786083013344611172986091719024768550474039828897330349287853617482468712938289686783373587212656227588472670966506823926024492398946006524450490477929397743812945986750254671298917523497923812124485778944
f(699004918007093229583957898961186661150211239831886085540180882458450703214428924881372397251961498869880399309549120260614196868851868491268191263159507147293162735123490333768093226704897939508767098841071977043510416686559152335)=84154945652987189414751595065641824326912686349384027198589868497898838212607409771285414194998156436596182173845689808720445508320317620753349079787228369563641892138765156520477613623914724413789064024497028981885532672710366362
f(549858867455917885835893713611365139135889028095526935734493832119726383790541128485344168469252730369771445692591592584092855075748367452471504725915847368718869722957022339662862211289217301278527012656263624922831827163707176012)=201520811457537697843719520716593490441380497560637622818884502666572905912664649123218599984454143139531409374124287523405617036444205177518991604518735209309272236692067166153510649754370171444494514636422690750195442546834510116
f(60993376706367715482131007441384479027692000537216378995832822764880697987323617466974814872258628067035222971097801403276008489930310601112606352740952671458671787675935516522155227224554745486847009030221950709182762314356155185)=1215797459841428243859773080541019077974962682225694856427233929099965574272006775611939225903076692736586605995459678165320986045321353603951479023266531607825594290628858871703065245886416587149313491489239654978020325414596796852
f(1026366700458758093545755486398116286760373253932383403651788655048176669607444609551262071577774122007260619987230461681706805781165203966272307518251201445330948355190922863607730256478081275717318422161531574450283858937481385103)=581925827208649481054755794449148910892171922158826452591383950293415520532791951898266637221458062978450747540531652440622636070538159617419637595080839466011518877331202291587821421331615377154404616959367797342356569954947886554
f(1438450513937726521319950374582401398609391989052844740080006611817625047345295564673533075808047455022419186431940086669725357466802661608430856765141719859802179644982610069140109844348268223910347185673859233583264197266048197236)=929889552915644442949280465923816685468314140943780926812094507177215676669894166967577460290410118149181772489487694827420964238776575155378261164924551471280300017240507186792226442954403613296183118293679287091860862175662333068
f(4459988971408272587133166009670882408635176189484989943596876796962187870846819502375808848394978387404051427723918123190213580626830211371228854123687250359031668458063375726635987733648711697430916125519292222684591994476130277)=1110031475952283427874903472859505974791598957892326030377822969412808579546820799646234084721969374646870786955365891053602433711596084741008126122526648583604042509274667015018568472262132741619521311103783028030460440173793160398
f(951855025890057839565210865164768999879964942215159595268605665519325749091776941973196604205513205288335110620967048239451825118248737784793592750577760212283453876540237092531001840241256492189589238543607738748135264850239814553)=467833195899828285897046669620986300868835355359252064647278329546909228524077513378131990770490923196866943551046541546609780395029349655008144610002423049457179511680971019113630280756807265048236988484001389677224399458963039029
f(54456005520090370709315895159771222345266722506110189286770113397392792056475467561821614269268010345271270262713150413214007965189368051369363809957337357259596014118028775299072225314578503887821489260295776143995215755827227723)=939807395092087121820807583848965780719900530482179181936994142426624618054852891952274532943055652849542287389725295522922383262471488932883650286454488337274767906028970816732362503240764218708647158623204322700886119608990371371
f(379052927819505395401362609711520703477102742343622719666032037568287869176684109172457215994287552097733726550293504885162411480959007907219876956375419120929667693835468757522424107900126948589136056755742037178716030715726067531)=937954517134896064467646754548917618631093504369252363260445834724974751090412641183820202910791642557439546331747508237427543898990148942437978940647952626654450668096718673038999857114940946851183946892680365456587710823956460980
f(160085229233356389405144261472712354441779463017555090792651815645243642555449887903187844069902567379813745044179936878032212733555541334880183678941899188195640346897555893468607469156005299286539376446892977873467712717145036902)=1196787011883862772882635595824405894669194565106961303100768511881075457576700506842841719437319333196437727522226599503859722717074921117695949617562221266280538432421715684354492731865408688545372658215024265825290800267882440051
f(108539271844686329136402683165923083537105645585989776419580235769274670725848036601083301910230745065098264067113866736780934985002403312467216936464037122687286543344068815065257031154427286157650009994033655930083280783937963925)=1148038001163860497343940605246757213186777803757582472609564144366938110855085221441990243280697691602529772314604264817229754806010479394225814489220791925739760757172572326827884047687249912770920433600982201851030424299653786093
f(1224229032933649133191771257209180925916400581689096658127059870536937967352879348155901072310056073982745943438867579585681576408622392010943872594202230713987245681116880175266811445803175416975797175484342118055664001722117397816)=565845454129959034241817819919222746112517633198215674127602501097251455144591848545515896810723102778906207217331117124688047604588115284692621355263246070408121501174245833266225621991611258669241257826733615479815611901546989088
f(67071396630018403767769768397980607023511134228238347057525963915023947673822528712120627746175414641066588032816995131612667304144460896946074126380021451217754749850587299844002532375136276313144457232935565130211291283102651500)=187084109544573452957686227964890592937656594072036408310828185502638700660348274805777340847081308207554191416603558123805827979981875084392300952085116096933600959122758364487743114268544031532786432061355207445671325917738183565
f(17067918865814986174051182621435758832288612504286101098471945637501208467600599051599556546659162385138612701325139224582963515747007400014887582032285044681992695391927326877036330615575943097139600309076797434578520187365564515)=85528962030653574691284525803280623943519399488593073840558121572614625729360299470112794292512706175001967832992878852834646244911152390480463972375457869695488493121163300292039384395562310095006038707516513102001441616834309286
f(1341383895440434098824858020120174140955871833450514224462856248104645724174955311399603575778177081186667261033035083118087422090760309133230106538028447624548502409497554378619616473545791177135306771935846560678376667837996133590)=299345942236539467746475223191417737465823039266335682925970241699711756762352307198372952216359587062929990660478030486833111536421308225757190697715746665549851442323723439824553011849510897969111123112552927475977108092887248708
f(613707897230123519508125374219133799331743916628917867061775138807354162263481391024476590173917760831018010666366141486992253724669327896333330524612173970038279090644995034160834368873734164170650455857107139007600328153331764815)=785444289262877873712890935595429469904818668366312905940718744832086012749252281951194310023217219964018908090852766035536199431390110658703001269942448557916915223305654785970825926444834784454748571723968469805247423109565652832
f(221901901150787556313839845550702189432726882705395359127147319961871154562327662373470844095273874261445248999709226410935202297685606469945117356547721479470824437072207666870957727242324430203108053764255004709589627202062817147)=368874983103535297280091488217416781262600650108103075872726114628893783591414863515508058516681022949020998466133835086194546452279167100281524433886294269878360576961413278276823506457194574481602889201839120090395572286419844701
f(1156280409365391620475002278236048954469634331140577209522393178004790651645836261694905071259825815202697609121924373049066857500667050340428433278291831426404722634844902846049273816428124150624710955393649541745097877793414219291)=112025406527872295996196041463056780346727414253717499017137955015854772615908891726207186567563996429888922725151602428649213839374977750548253371125916821660224865990059755108189468939901619944250726748158192991151289013932439928
f(362941127450449209646535074531492334140513188517805195982327104876109322474969717834666070008951577214076667321114470068010292159007042552540099565856270359031862376906118674605850675299339839670280283876629022700873364986400888718)=1042525531587712525845945395686471822341114600863909335446753020346599995118831490552196644049756365174984134733291350128246199270020632546989905815001366767974585990894011995538974658608473933350493877419808588777775568614739614281
f(1500598640132758979947297135485689312509374331234015481162459271391724151615062668692160578904782895575187083153512685284662920246909655316194026987429717463451454716379109313848488200422545207374678698369196168726230506232217099514)=242032776890921584171968163403570851996101097708570765810309985282271181757386473931499986489826700515886643102967919346642508754244268192007245291393876507432605594830647608459409813589966977668916365366835625333950560089538953685
f(975199940108483214693814573100354185082845698931628033291907131467703637321999658352848980104859507819534432770709775473961330016946056051520507720483190707745653177234142712430458895957487303243018259452304564070394162028037179489)=1164173404897743179866922924173574485269448042385576152758158046956331637726294491303763759013685493613479847655381939137261886469975711627162765614827417474471739275246924489491037198234942763546551275793387243431763893043869346025
f(1235890847604704486799460541315427907047551706389903058721912743496457757282465554475171622260459977956064897371622580502689460582719089683894688435686102184425553634582858966371096921379827915723817616213737167584116933404294727311)=807389802483533229934499344607018196373685897904843909653603313939530914690807169426181888568917152093153921567106844535925949504345687933477710543774769007500842887501661034485814006399742497521392945255218346579428793690604840012
f(283902734818247443704848397883650899465857173623944985200380810853635863090063334017627089808111433588985621202630571186893512275937373127833433058397999122683381758880331438848287172860981133883076968682266721892911476782890436679)=1049662843428978460513874304801108882864581447956888833421708861417195625351415521358124932037508093805304268817577500545898125376496701720002102962701771586983508675644742786970205154500716305722407050313268658394339639823508617059
f(712813730964833985505835467034924394925381036539522047649163363234614226865739123073996223277827160557833076838349504634246914823653742414635808872475394983310190457054244547375313912166180182355881820710572205481076747955463103897)=244123486472633554970025946611407523951969382329832552814720418541170045315044385876428337250584781610804211177918843481125097646801218690183213824742976543109471024917807579545313484061869985638668961909655081051362297693376910722
f(690624499407620439467732881667311149732044378267775536779084952149174350592426142158634545971336990800569438679362712083103209750031744042160207665286101176522510043299566107836928520259914309798600331544307464232494863107131743104)=268568145569959987558256500395277028597735418702128476949337069860836181563547895660033619867328066977614266865147835023453488072438062599586680383371980665129893081951380467910705283098968627266491189906582019418653367107085983251
f(432870853302429196397115557426656755879558897845704484334973768756754852852555233687068858409536913467960180044916634690938048882585708708356812895942487047860060950636038589157325341306658607827851330550071278283908212648253065853)=594926390842271127757361669726481668781942365891656689797905747548194259889798758060247123618836590995520499851216815112083381299467269352099192256066561597436776952258095848907998425813584823520491446308580081645237906010028839860
f(1300131412428365410396557595339803198937538363520892790125929303545938523504110697472637955153167503307515095454764945842724929709099825540499843691351153124950072694394102104278706381315531041815380540412802218123936577094931915805)=413625769238218833902295587741310234610632306728108201581693321099456368899431879484486018384115333736492331442232599847465508194403892556350768507452571152288651168916479770630903395513913000772296505066397213988730211468854647014
f(1045030375913400467976821694856058394754338618863235345485369995409983952173777574639266811478550907928999216090371368333408184268382554967599329737196673573562615146710246775330929659787982414520746494309165938100035315404622666206)=1192089736663465770373591128281302609221971571958037918698833857151204649873141148953873814318610240797480827471858925659938366855532523838628569073978972244881602038693565641464753610595722599540824117077300450332028474548470917877
f(601390903780108522984299044137110827111824149703531499497733123672274489217543803813640150287292617727794876386407562308735278187344822449157860353025540408836831938672877423609070144925837695127506960055546640044598023849015278947)=279100911629694897952310132144560484375708968950661038488425237099902572906973228768468897215982332476617972426865852880032503272677858521679635455292999672231661221781261643029763989758606912845943032440221890715771601568975772406
f(1421169748667397065484182018455229141501348505564923379230938771878477155866574088255864038445253915519636028741065742668623361334708951547148323625387191329088632159850544149459263049980101803843152722003031060816314563233269431515)=388229366893522126728616256304617023482341613859979126562309605111321900642200968410955386508300778335612849838984219122052990871000888119010938176137929445095175611851469046468251941238095843054816773069343659133660225576140560786
f(783115506968084568441381966172106735732271723388419719161622266323435348358985892111195579338633149173637158535954509250681274427284789150911499569841213824338650779280942163940896874104620339663081293590408027138075802314947440266)=1048914359748479400925062439229179732169783844840756273249127584013646957790968481812972814600311587343876376297478405218532639370638205364311948513740992740575965302433405820576652029207656555990302082246365375635935039173988765139
f(697811779484094492933924038211906932879504495718077000757721645298213150359876214023257287656065631787826718015821336938921118338917362164311849452946780339745190396208282895529313255308282903780127112953886383870096981114826177434)=225315691729270414312034518208034767699410920804561368471896442427639168862266420334441334823242103449493746206871364286676153692121287413158451192114556071810564094686731595299988961352413415257619975664239955626595391075749156995
f(781890070236652816826211098052161012749694542321464684744344514079585134263468343000646188984400877921094897086810253909729565832205239493301157766484551259487094066215500980658880539502683537503932857425528639472373339858291181953)=48544205654414832116632365111046541952012215288720346149161644000515623382962689096816262087266499274343389985896734370489371483314163563488557146567450742676068482415248986275630401415015611368465235007438653168896297393703672454
f(1538397180347885511346717809799805734585128363032376233705066089159010634493762145065694598068173633026194296428240539312628979538178876122281827311479470590571894021310225801578089338179839693162971601973107057470713776752739322220)=846458555102465413527723695760337060572712790488553297457998368963104758719386472596081114094449159494926669043268101364944530922777839175606059096662565397568283094723769594217431798581088157495230710960749804388928482319024266287
f(1185441260864508509216485321364052168282429432277954875058005263453968201866326464768897699207392817645903507454186165842106106594528667724516688849395262088940553743440683774897982388231219362558577347543275633599741460653078549168)=338417822294794728104209815774096762436724763271086563478415963721424979219656738010498795861333541089848519422016411771328029564569486588864970024177163004143639794345916642274970663934847424660908044709379662999715538193257471211
f(966810240165723521515471176338907859274401535326268469547525782445578598040599161699060062803383231426530877011603675077465518418465172153322434891411402298550819735406935945584627749761613180401193787142144508497140440077953134031)=927686715529866598434953939242848561909349699894088025458859438136634686735873059754855171059331566757878658598216521979823430697598538129814827675640746645529947141290904392332041338435266914398635151027019108546863701738242001274
f(900124837456134295550664187135526282467584329360984731240159768828455556768720580604976642488954774285931058663525496348015197982270508168257427569112227475670797224598386399510111635344037934257341415781991030030102603637531923637)=496970003181660947299961106799700626284360181973734521985026503365310781120738565327212440867167424175059501675398540631185629857759957063623926934986884113940660653617129295245798429965408308672025922791342122788725403130604584941
f(859071721496191415113754607988739478665493714853013227692177560459950187455649342736139348245284856614132860403899046808587876421197645609777489641674135444417131080669606795740650712875699113010704389444878310548652526319676990748)=411219793772160925081353231569169378773780005460017373492811191609814993851913888110389581723704258971257335060413447225226415944587391101868451139882619277107715103918764075244671246514866918360692312497969670680556057312286887731
f(1072764975885309949455464075241751002087353668797007734545927344603655755621042159993273400928503226914095699806863114978798932986145626379619440335669700626695961364922275727526561764620227925484793711921510422207576203218489283399)=991526898672350006719184873224412563505857032620690748775374431434425871987221059398708828262130399598922371148733680177594835763434512302927689441031876282270506907741786629826570735841449164939610065587081298711778030840744315861
f(328861975716443341255968807687192074322108034018823819394673685197406343287439997569064380532700693677567733426333369839111409836564453191682367847003775612525263857353838152996184905897715421061371784225870584533791787530069198458)=824179611749057053925447924538635469784396013993157870094074264906756395187452332726453486143354649677143158741395187972020862562184443393121816303588318377048149723803165996687987179746533550163904546560052112318350130109619626085
f(753682920856715931425634140472969907449987766170032832195042967246363630590814999143022855511602809269554791241210491048312573920492631671704125783701277474414463292140339582621383004198231632141790154646818812168450540269088918753)=74007830215765171020435627185912596599640704070253619560170557472621256872287193923817652235797992293088767452488919572359299443442074878889126725156835586368508010369575431112710141769158509572719899127859310954063054277048752218
f(1429477826093482087547792239072442968917965220993722954369535636547838343776556496751513866006067159058738312008484063701238498383930787401244213816580124354207268404555284090186809154181904357199124444487762320028493613412523307320)=737047437156433623559117661452987406524469275365443059911743626116824526907081090237041055557115671126415901597131140731744543907864296410168683888367053832460805854219321354519017666904039242076049223545323878228278927789912495085
f(973262610022153913811478661756041722409182841187699718938183819098036621261391843578684175482319519044320604952032468994560243189068810817799365635430990679153557788472622691329199889812441659896398672097417291189690387877972773085)=687781077702955245814496791467794317564786583785701298495103149101973889527156059536048344525921898450424541039451479983998451452194341082114597061880779347591387178428015674815578334664109994979313628840000432989580801190110121516
f(446964479193871221084998443222200435651049481596353997853258138222642635261019081056020892302596756160251978768674098724469503765586055510603728062017877934470168789551881140956667911124386154308772595915281893981320820085278730883)=9066657096777339412494262307994410293795463819548445187576003600540612333331167267549912527922381873518975694430858690793327156781484924791398870374141677330307656928844837914380501125062220619554522426928726152904613195693637635
f(505935302635164633766145719131315222052806953062971238232599287943795154731959785464289955793612975307964772480693036163247809763127590737203320520275037914265744964756762165803333176986873178290021995391251194903349291217061231333)=10170575561569422775155935466221329811361337500696851851610674137288179905744901184463344071942800487111829193634763013558969992681296111123115328944602534049404860619869647012221040570357790555647694976385532351274223168182380211
f(1302285932231577164513485762755533231981648468460540809832974944742734604010490366657187772746276584021449906062332609731100027164054202932439025853082354203554549362885486674756587211993362498507992386444192853904257499361747822004)=1213436177995185683681170327965225408563357142107838142410231573190544151278965955457760954637296335956145409131563447760062910314434056138683270239551704847206591991683029897646840472892372614037198000545517939224700596561621219126
f(353447977917797209825798419956624855348717198090868007132001338034129315252527587213855165872999797627201518725386664263508108169339778391199079412761521371168506511456178320404526622292394642900270114322644879983848287133547236273)=678600907556490809217652289204810214220585899291696865258935902776487848906733268085878575675671717975753186628405999074932101712843728916435819247684708161409646433635909741911482362454120950014660625954558283317657597017486047689
f(439837620622698472948534651307851893095321706349263894330549026363332060327032901466250197469642099070186417811026927488332444375034366737143953590650603718720661465594572149720167340960145921014876447673916571016384932908357769807)=418826352744416111777481661979474462916102905336321930826913853144656143448430286552085869486315638248116707403053148978734594685277769343011203942505298439631609644648640725224858765345140332164484365042400676843493909156666327480
f(59985961973171275053979926472977079741643784122278804368333973874839248109806982575442721320255686953057934385871952702889065255936221113707417331793909913866044194529025043544479000781861268124194565564850764637416384514985439263)=608595738558725657863624364535648602414975388522816393063705379263300521411035262331909676265344218488017093373220935707702399309521015972456970249133753290699286635425844592961696050739156493610111815025249430078575136235767027762
f(266084918281278026263829631737958251143437635069517396142063369978420943820192429002557962440707267727718925703615925171779073127506160368513394373604646328926804373906152859585898733970995476682953323433968284625826067047543551603)=635662827894870625357695620316585921582465549740247903498966647536752244737432139971348001690694191049395268594348227379092601859127885517766656734875804485111066494140006006614913782522184000470111897773766864944740015885549702285
f(1222860479901316311611300102773626852629154986180691206361949018699360408037723383506098950788501948331445009556248890310575708598444007265805263204166073108038645600943006812782273214951091421930050100260451558553385674321156205202)=1048170730606379270140102607837912916546798780398965319836540644498164714402098200483700078061802523235987269115301617805043188324339931382639582604498883563462095176827873509807582461546185579797089980082400143699983547243350841921
f(180302054781234353515380628430258393325202608300563609979838912098634238197565335338945530039960396599093856233916149422120114345370046772497320255759775424657132180270052144873864094563896830601682356372784629588511740207378747566)=1187340110540985030453841968565001994907639574927687839263326954199223813786895442668274266892636530102557215599956530374404195454829178816520892969026004972133699488649346375294559936062539702392031195009276710420730548333085683177
f(712560136142765891082822651425559848328491680840243234625096539830908156632087118596821185063880816798319745975376162802674099623637191464102356764082800596116235544149517243988551410077364993040624394837550988418423056352968981157)=844591051633400999178711318472229944826620230862149911746447372477501391094133126361245480530697946253727916167769994656903913261995343292232635771762503671543732160946294828539888850847608539893521673111197114528750488973180186769
f(517130810429122932664028233843241918820131975460235376377918059706101058043242552099391938183596079879599330261740841317183030013821941682693669604809757330775129105540994856088387908743805188152609016345957011850825306799114452342)=396490430538080688429177713031505723409935687954089976004030431016608408612316747792905869097194542954666778284764184559153477404372263099840283677854524984490967917893314695332411585238923362297599396639135920081085891367520740268
f(168177501317703948668600552672048338335812387893189012829041314227276677834656705465817533786775341908639771918556952739568134602256752862820002274455151175810135355360249395926049401224080449616689162800036476164561135286634168620)=334073917809594487661665741898153702624093462852280113279246273911795338933231345130020804579423466877951668842602223700994382499877048374049885597607072052462390449768921648826988572670404656934747167013347385761643666900073746060
f(1307668643584584372456450790898124345840094813380611821573605564826052190079388127631455863476710383625980838581672641626890528728506623659968937890370564866021997665114625069145363437735265230766779862377950441128041005341802741779)=1177023304234111027599428531276093578348263859160806734117640639612547339714458158355591869686337342597780509032907983435414835662197979549177804518043643673968535326068861987855209268214993660369942384853661277742815241044367602846
f(687231642978583923673784436181904616077453912880673297111995614912955958908514830673887138337591044339819326132649951660689543679397004041334881014762249346312886556475039703031090239396911155548510636516747443714792945148543442111)=983268348578042473536331013290230825083971730828449818592910028972862419243658880407558860582060559579894437005845478277281420063921203714402677099622638822467251982845017024445021003310366511468583002958032686001841821455085399672
f(877519853083436815604694018046437820293916334723423059627803884589098671328176275219720246326974101150592534722681133296377394765294964062634100612760406548856903782557037963729541218885834316141478785095741930845951913309503154497)=545697953759886419340657073817847052106956807549631895042397219091367119033229198521249554478727572231281313168948742649627003544446411261132359669215141342843096914605831885353074182289134411469619706041481545279825106493063407042
f(1053650019313253919970121116602460159409223441279381691712154002093757788075000104108173054891545223138280191181766528152929999895350001148234727002577030577840113569082105653978177925595850415151870232712170817819185666732717631213)=620068894719828976093642191478360452828348976033555264169544713229426098082114783809794746696175881098658270395803415409137005300649941975709518734758126502176874617228426029796708934990877777010068587403185746084263767425023549072
f(1244584874948731948682233990851584327770270496001153505421196863296577856794648913576668556305586524120456381165944508058068889118018643233290101734138295544620172781053946600416415196975145075043715838340202170502155164204877753490)=414781889973729054778125310537732383993415622461529490884911114035901664972712689638435145084616818353721717066788724432587570952591427896847223706183509714560565733180449183422241230871554786992200125761240745770606534803420803448
f(771337989212995256420186155126410583712260682087677265452651626836864742342830690194686376518063030449575303527095585379924887899389245651956188378659365767285000649413834254859684410840913054407086275102426083689513778044813496646)=232003279271274461680722334338270961035261493010708854248912837416363359532066702620679435526034665623305749968555493624389398442981512548191224589179843944820969470274465136296511410284695148414031753342175561296447680447454623608
f(569439194664409238786152602041538169444509841005157681577382541923125084378411180701208842556880557797027365074511499123398952204212672999786815043615783441460110742306128596779131218002519291384101338254287334299964179277752513152)=1184227705453363511171986244002985778767405207027791256901244054419904807113554276792735841517119697024707405952718698489083975891392636719714405612032323555783739861280098694194435794497164648432081746533916016066472525499751979158
f(317959587913295644638003264118963213854085164700998604282898648349957210854742629911611738148288406663961761067172760731397403367079859689432155750937935302491677865213399946732023928679400583278298118747031548204376392781792570983)=1097647560071212054102948478330148366113135907329371589712164239685006664582179134010949160089531929737454763381941854008862247586033548346845161947602796987271537007442025635080089101204640374599644576416697155155070254654307812039
f(1142983675879230216211522646900387236586047930754553549358702567453280498530894168765180956365359625472771320613347850290203105385251591356935260823166382773588485129613018875326150949726308557905239713026171138832741696568110726270)=1099793158180931955869002318452115477268626843529637395058126750094869435528629354073879746526258773354045815940033569357400729570544933132116118917407198310592327957536286607080890689904351542228807619932984806587746591528538806157
f(1465528994699450474822225157417993114361654624588539641585288984069704161279840969830697613767385553368307895569378959985183869079440798093346492279745002835432467620904135087067395351079145732707503046650177618208140358887168041111)=1037591550599448864017540739100421277437236947203766191531577855833571873368608691531217339343066347059467610521592318888072476430720622593705231098529973288331199034230233215103020843666019434398000455469527973675278745111287334875
f(381621102359853934266476435203926297047975504410960497996563048812210706458917455878335666255975582118152563652788500514720935381857521049640901168577602286189062508335107339996838477572432919563278401980986064665150478081083801501)=415233216148019134079684260633469613555889492940973278215116136423847533427587067302753439395139566258018064567372135217995621433104895124145980739163458552789751972308606397597551630613141978700435200999988049911997984404219953923
f(806576716123360057939554835167001134340935944773458409597232801040041015751657538591501288247781588524678694017292400962394279775297240702722205947525066071575473441648905076057083633081169855431031973938572159698900577261252419780)=969899326268942985266506267282078173150094947653654738674033514258897372371321535369855993793163677340866875538687076730444069405705809112900189614777971742575151581210849222400806511799070098675704574631137979830459712177575269599
f(456131393230734220266563955975219970298490342319490654341129282352539929579873081879493986700599953244055503880338291729922728684747073623026054179043161227927805903640542343383257216612257517230087451425842017699129318688855749877)=851380255958014558822528227193859614633166382235944031528915568119565974285115692079760061318143700127341021195136307606338968404437061011745835213611111391999729122667647532876057139733612161569107838796431230405655786821400411041
f(763880109297755857159877027755001074355944102181046525202869729192268008723127987679899452103148202257520780105801417993794171250157402489110700729887183195705445037285570320131406275192901516615089053838064129222483103287053408748)=1107484724828686209924026958044673828867873131995253611681570928121610803552688105344276151156306094278675656793749956434551491527089537866194706426263416633860866373456841920387091493098847910968003923140979914846974062015396647958
f(1405232788389536957006618925215225163520158460494238148261687419059965969734737377301243661140695985911951243286497445265290592676089765090703959806144530560481545405488901171757051663396478173561565972182191730293834706979697048318)=318759687844103559541639723495461029963371486407280762650992909784154461465160381851572866546982692199546619734916501370989249159766998732713933703952528719272562687926128123582151260318267800776823677684306688288805522176345206147
f(907448828947785460455158100682820131393806708590154571591682824816378073318720023093186913456240960916768508888709833815653281118943832842199370587712588321545024836372134013010217663057841203583363349819276389963393013972285573277)=14650782353918697779663212662958892449555176352665308622395484151155684081893911149389086517970780909542731800007612864340828661028270166827217686381751712490058654684002365094169319978081949283800124820166881734311832285308828314
f(257258419466142955475689289074249618481920287685356039366956772986415801744484127887272769419190816315534877913107849633065784167563992524857256155816330394210553470744168893409671155904363286009531126134929103436952533636619918807)=397100689366227903014766302145260821575916138496086639985176147835031077354986430533180225271861080330307172316451119461543657578339799123398498575228155734612053043978437200525153659663097370356367681448352132260053403474757941465
f(1403088911755079704382003512559203723817857796137767825272053128670277342706407618670830289120340326862237203711927452974790491863985700519041583369726578709738823122993394459405779589413372457237553832848666230237299500679646913296)=1090221997312427024009924201101259170851307903692588926728920233588206771621116819598015182267987115390303713764368028657985001310519149815784720273998796153029256940886862702315464794944270417840810746816207243500327236094627841245
f(103895717592638327148347084908342540264892036241719194527300390368938982798962600769886135912185632730111825709926353655919592592077814863504575717232415412007003221857494289801849338367012539049834656280633330770964581727232916678)=555059770777040101803152288855070368510839270745371417310586996935888215006458349729297133636402376037668323992527799800443089480554325720651526312299432472514677196617523903554235127502693547058677581624644717383023766273329419287
f(1210870588292148613643138341067852928937671640688186989083747942813790342962781844416674753580392718385638945625078850221177078223258346250123935290671647565256021270038516682069293662630703419515210488567287521097204892760927009737)=795909948907319903170319967871515413856737571981729376513130441628888100154990233224432067360432992318841868416812308145117535686671299650294828739702929160900855502976996408824655241392217825224657459358763084259161294304364997659
f(935672235868359954786309385598228876274904957374575779510706727393179855190857927861847023060748232585421313951184039355247153414965978307238350512228548210368703285322649871696838335190704171875825411564040572370982594574122147165)=1060920521218422255501771638076104485250902818419657030221108255170316730831792820202580825528796972266066664822894412209618306924775357279537635453485782255399280291932039256222553236920829735970546338989311947737022213881707817193
f(1210258109909202610888852083155663819241583774308237276585305802226123572418436188319069793654464093964146133742660399950988147974953096634966565822449719888943846219691226436929444054210079180642738282327222663935130011957678703910)=110627484469620595646289295234002079957226322614746461941161431435993296019125514679367875513299948088291449508549763565018015234991651131218068778124653760594861972320162141975413294514948880911397068648067594684231932271865858154
f(127200145951182961093114983873137703701765624147881095145680741241996855041814905522758744073107769709946644703213484050966764175054842762828907593378598150631058940025008701770991534094966267699928279421085482143652678022184746722)=589157092775017075677791620657971887676554174618254135307938417428655559288470655398848340001184507540421224246726649309545123266190688891314770454292577970107774299167625086951100778275638460350201492117482981982213825811684418636
f(1040779059383319749325856255522891643969027465806520365182204249363082238557012904030908571013343774068287232740313865815197998846797277626638383216900632184294981995810684748433295458274514132773682660191983227845271986145818341125)=120835560245641143186603845558784303101884827747323103790827973613216576534703808102035618421070122194452807459114168550785375342067690669420748387616507680681021720380619841376123101082530919783584651534594018929808282342634358912
f(434983048369163665440010734394555739266638779192271495589824222475037635951236731735130735111521370916768669958609405482153391655169495655956648649074030978892373098130290275741279996952537987457933241100607171802890388451853545307)=1142724142329374330444969752024334500684877832018118687761575433548622858220092328251694276426453445799965496038809281767923879443442255218290497971904485143287858136150210788004526486669256595369537177343959393721744970936036550569
f(829248515113331192428462059854633388759540629261551604947084221271815469206693742451608702732243884814022087063049286390587571855373389132638503882370392466924308038769152570347445128889724559061059779212394629517926048328105252069)=360793521416432469968172900463317196036968346055952815134763763738616506242259894715220397552502989046049894608160682883077797213911665496768451976792065119776915565150393797887625811035400434637692030094750595687547831125628964376
f(675203540795186750297057226261189098392565890734252524357859123360253907155143669303534501814946071466347557657796329298455114154911493550326534020471626748665312107774303483207557956022416708076085861804601280111255780463113925545)=617350664737182639508693357884636933817448653824414364261130400476174125790054101909672039673343615827594759547159062770878386612507509813708393291492745067227078689753588514166368243111040942364840052500238953476011346610441907632
f(820413134880625123267504081428882458638758031157305815754565471607824740186543011574011646850106979450793566625339714610674557502265403343070485514809205893059282104492910567407290101338583823054179479981738034354191131834894056772)=74575297923820253154565767926718857483475501056899664605262423509333721008280834414121588980830715921773053233358900200735350628906037625597725674233898865234377315108410560710764891924061893113677193494551486740127466429949485196
f(593725300218932963510116260688511985211743963756577793684403050673804354035869452478399495107764722240514269434231943966293536304547889378695745091837819282256275831891739836020229700961677722905140780330034803915067511486077991096)=318051767818426386640645112121462461310286002964038483231638383378540032670479732922945383448574867012548512009863079954431186089880850439729696022371667998908881840125527608802886106638476105104905874040752479705468554743097454651
f(499812290639640414800969181782290696281883418861989794013604750901036647200627553174211100003486654760172994632160457163940596586052076699662437318617413023578334255964070381864392813097270439392092930825365002840436578350234707297)=50874554134998894027047346287542583675143148119103976356877264072573115666490297866700789741183879709661991546832795144522750414185051221121512531868767618324328330598780059820157656138875069233488714396629839316027391779630469851
f(934563989819518546349905112727121195669444940576177771386400685077588310101435031505887951212396758476196025833015328336360955713034855780711359328938286379965637179537197961112459541604673223782926804244330722007685027269724078043)=979185694198723834793952652212315910102093179867407036100488065695008928998723130410378533480263213195739252893195410798581501358936202068843915036345958972903655561750997721796361233638152744469788254599949773963965383480321928481
RCTF{A_e4siest_sh4mlr_s3cr3t_sh4rIng!!}

RCTF{A_e4siest_sh4mlr_s3cr3t_sh4rIng!!}