14, 5460, 1, +22a(1/28)+a(1/56547)+a(1/20747394343)+a(1/1112172624652580034840)-a(1/16659543628852678157467292276729792021493732)+a(1/1935158791774157369273904865018225003578255428480122980428023197249578624178441690588891)-a(1/1363957505209127124885835512884240793998459023127121729037357402093919963807297509924045363898863725240370350258736828290003196083265047648427536096483594890416920389733458653)+a(1/192101772656272840461093253889882006729765149346483266112632319898579674018548001589517906547097285394634716824079702907576266388087695631875123624062288301313517944589171852033492501308176015470781965523300563282459835100131600120908655708837321502419203167289285902116238679534361210040493079293578943190892297229079365962460726940903472365298307)+a(1/1069945917749748864428554056108612328300254110436535419689258500866197678155037797466194618875038995187406928812335167830863809404681388929011922393319496875435968202529043739336233949219701871593990942967544995488519807689641546572527853778582822368535951911461894514746616553279526136133942579858546434331882356568133968504054494021874097247726628002039811645186982714996767573326355774578215123258992716237900710452681285846170860327842778624830185490003658902686013272195292196271895220688882605534448657450396314326831877254084780449612804320730285841753800821259900492979592946139458770884493192301167582290089977909567073856887085002077833435928266927679009130038522928459697543385391087)+a(1/548358387444829499087324755408548699266654445022295769461841500137458219390196805914663842345931653538699438870890440353668973349043774764099690276233711722323263027064478048387124502218201381829619924959876436446455436446452165990749153049128968050649870170722805391642786200351325501110890645166304066842080660973677107138781704184210516603153460915326837318281505481522646763346149830938022705092322540589557727334253746483483651252339591989323376467989136830120207054529490714737046542772114805074600909891780696676701510845645582641881638216212832616129233033343196186720892159113551511608571716848582042764686251426108130516691836006820474472319877388564491053229954042251687578110150873471085716702397842917527941446606626730088475925458234188360879537691706818217034712312996519113210364749515164879591305607772205910594345402776780629290811017431768636225733897628580561686231694473683152672955243962247078179656221578524424408594745227464102321589727473231302573721434064534851699811426060680916775128912849476450552295544565282828239711550036128866303844535120032792786683212677798999001336961751021917103330198552308426766826593104700766826063779506833903071263663920368380077846482981197587854980889375756438848707689672657946873314307667875781770421135514835228222060556442106282715557940960300080436418483616076551699887992887122476872695138761224017232325111209782745182)+a(1/2050076038232166826222287542219461866778480731836831909749299868869156484292962455806866866387610628745246345960463260150952038565939066374379248039816237354605548663277769337502694750114874092069905027663506549407183135510739200189930022953503154768204456064796640628906055488065589113673077020485080120014930207207253108551286079724723870276656146760790142224426700448158664864386999610623227180303818347743379528802143228801826389605243027777516520928511699636789941307435197784897858534744823649148666578461885809849761228617212550413185169069809216397014004444393907497732061026409500633560429345631825372039592479279176154005177449048314485908840288054362987911022181068709838166854078037879876302742637327728600219606291007550743562053098937677350310223637952825402608450394267978900417828839196010176105708175484889366508700914370101764668501457648763464374425054308014830046567757597360308073117903191990953511140801552866858388843971432958065058334998170517425088797257048248181820963544526918487254503364882819306752994095560331344237915766480159079562841173022634918677305868454368099443281239870254050227076076794495811324658269335074228473750900454202454242651008052216751621491810858195204707146022705026273547091295903454234723387072578626613013055616442659227924558051524840248185177558352635156867873018463009353842420296202114446264211521425850564451083028961402747826117417620086268160964321068778479737354449278862665806620922526018654089278232368486475783385598939831108445476875831092934681003498828964314987643732426292796665290560584662787514445308652420231854531469683119872418690949813395054097254381715334399333988636412542900733817520250810492656100017103596620728224165990042200014446061969258627441865899056883128843403112337292090996472713509597542974759891585006470885569142837843456949654155857054273339227422194290141292485674722162676156417925212822770861279143231442993363149670101642724904174072052059084105329972067287660060059190702845203503893322886076293314148712030622159781680806804442689577488594907516835183507718677481578971537251059360072523135141313232304335377583121444068708299926222596139642286744205244692766192144640492165703336871454232489698843660579131540322874532962129937906082487331120960982179392120177388965418247617335200173072759612940278090609930634855899207169500598260523074381734259260312995317401828258890420870349680298673489140694164374395779900054548715591999666651027650877773593428942850762382178878616454155200339429116637830978670328272143720870182699859396411739957690907120038310233512436724720325036861445137316422330726332834721953778674602074398216168268957070168704277604453886535681399854641792820632381107221467829782079323743271653138443392144455646465909079578931661125364316840407357)+a(1/35373985432212642000455184101608248623633645836485895833772079338764545245534129941125931356784285647753179067313382374426757735847654855104805684719537509676997469909645190903824302830755704501039633903084390270263072916934894259503610594523886641417012795683438619200145839374950880996413757391223807367947483273031385995499871292091444938648287637953756099457566767140893509906924860567674299500444106998230590657249111006250755503362691190845868272435831217788595563934856378138037594537589214979739762812133091302595869445182680794931271360920176545521235125255431957243163880112273079032342309148447959317121047191711066357649308435386963745979392461535583470684522890247843986756725901032502494625916674723989947327171395478498096242448023160261165888316714532487083764126226165503947056592665090333865068917910785326985753680854597213843536306570022232796368942774244071194892647989306247650499066749197141164769844510053151721550130028574704784954885712800149409639119614117541955014563430235554238035475898843994916027702387383683093314504776302959089866037008658585698180878294636723552243802887862195268750529951655821726240377814516825390028418820695823121723449836478678685674410350906076922933217121135935023268421530081233851174779045125556751957519297627150951479537322775806190534799087716789655565574591196053538602743262994548874327072269311880546770187094845665746520167454538134107746756914047972573175450898557766358937873409896647414796393174181005558236943870838767496892588982559145219643484578630403926932523324496020058986713351966540850767244077454992345085219150206444534120845212647553599302378125102686600448124563139401696892557315568589346278660647998134709410163544455604868952020871325235241365642502293167369519096701707027885692245974746756651560207385044117919186119961701353032760295188727495571495855482484632632406905122553573887502713846309067860198078187288875653629247763320399812756197440630852115671633061976137357732132191314743042604847904879383469543787754844982411698096064072483263665378794360598251612439797655441801689962675837924934616104070715270565476786050061231382291926307195470873472564384371769270189181768224030426462934180610361179449239868842710406643353577038961936055452931679044896917585465589866879402444988003110698307779766346995297637133845265664589050263014986943373090327783186828205539191850758516160978744232119603233520232544755681078370891087434364340052543941909920596826767520116271219376174173519866965706366181571489996682645646357925027238035485432208102668057529942547135883547679629862228114148150352645181847170527233957372365777899582513364746191429437250300264694007644401627614426390100886926307882762120973450515287258136044152636777730583740358686849535741884680907962340260833644215653771963696261468895476286738864551571003009165078354811173540600622330472905639799016305141292160918249051532235372812813374204892958562182787280540749780155849200847091013974596810264627964142533519906800957012408173548360203184505405991633114796538710936648760147967214934107793380362395952845522056338185687650056033399660211657214548937826476388591560495188986679614607187058930006028110889703404510096411288414658589501041803936430767908855711601044906210646583502766603456194610167841495621384676888240785671979236799006874243931624494746846245656932530949572495618527991840873342027761777515434793707130888269392878578136135395470872009116342081488947525238171712766185548598168661846370482418649023955731766965019943763935932169301458304127205442440469771665140576476583962733206017289074528239319591983247734946925203716633664150382884448199894291110418428415396413729668787859264147514999457813589399825556706935895918686966102216967583452917755935323690764328869026285508098602170437281275431761931288697061286299728102009824701201068222322484910010826359555251909845661416626857260912100058789685714014182374818775185426933259201766906620739106843353126974411514359413853923374871658955097987607794414569744892481741781888759744077858918451158963023243691711225633391541084112293204092308061109185054453833921697141575472830482190868528737553563793036797047463276651141782700833160255702807466271506896913817699563526945876336602796578185825561126740794825089907069037388157302087748999480336149952077788591992444377994359063387767857194947207336370456640578852545238274722876498229354618387781039918939095504542939721603297783641216636987984370703278349230984749879562643588536941539640192271407621053697770886366065000402084749896906719871293267438987368942485095273789711644740798929692641749645775762727277153027723189065313071332141786810613528294400432560658436770125719581275872702659463727567371421256416351847542239650241911681046947484894391503805049364566018879535353842652177011511972640423371898459193440337992896308166252774576361023879498246436437323190173041101395072421369621863726227877625663749461155266725290347643595136535891064257121534683293545370279342564618614639170001119822353769427563580269512550963293905084468585623496237289522497226985353386266796912132149832171533252429217585914765802179366056869137607582348553316149119680756980379275080237920985975551796413632093203712508415123285520300963601852406204224512137556444705363471040408607399814480787734836791623614552018767130583383941353786601290468143996534598094007524272347438230176484387358802308870327432974103767174881571675591231852955886934659379726748181690950367356394541688521024831375455166686660665321289534229248907628275833412435852208424625550433307)-a(1/245987877196789066526339946660934931999628913444607264246454818740025624031967640563670712447432558370278426468543849793839803244500199539077096440617407053566923240221568883476293735250552334634256835863375142681969050887669460570237189701567873379628898544316116253550169845402809539138164609991176228636888878411666695887931971338568871075779612488981952393077082140008877585092777616653832549468808001870876511220935669529044233519486962753145724305133916917759060066045348857398509693036739979340116302547117492036450613223501828862652096889869605225673126972922045986423721883031176317964565936862038686101213377038982017813732189114906083142862719007543073481283778926213334630091254009596198619094367240746248189168472338148672042145877989431305060999757454667569280534372183192231424597801315236302415861332155620388590838644819713784790770524367371867619486105214969439909821074045460743755018614619945460055130534247092283182727521727770060809528858049195714619037012819333613669718820777546405626279410327555817062655809266861177120773876436207006996645039530683611325893016824325720846106543496002824083865763130334339640282497988206605898890025219927036489435070335313185470812154565120675188227543244052428251268618565464564739839917027275000403753996877763656227098167884417525146771301620094295909192606141675075480449825324217947693912230784442649395091855122173303877786767766771255544727780426536816686877422251750648571275713304788857172229102990900984273056099952690205687708126354296208739972533627237038920386985047433314894851244300578500624880417906993997622104087175619657092181357891368795779727350554430196846133209935632526792273535660701521552377108478070006882962910308560314033943083523613663384011916274895856038821949390252485798405193524741268925643828056900181394283388235949528344020832217066849452837497723410339227773509327637613683985878222493170265375772041971224931574759181339774189651526043509163525826815289839173156194445309222790512749243297756186463585916973978935474355942998836924473023842364223277542015181249775615048820713360798369179864161067630788054226772330445987265205836822853915402113362428912639486660950792219638267576575121158365280896777014065379566005675848673953586778235817758159188008865679897658651363020031690584504843811374102008811782811035866023804151028239182683219369853101284062353092422923099186328320066943766799062466942173112702497082551526804011760649963510603162750446544335686519802996915786803403158540597931534198796426264264348685514658927337008276970582656222276235471028802921605385175234211952098319262188812524641870003511993917983205445935127441658306670128021467621283592967685750730115495683640088269749308369616546520592921784961596607835706635209356496262673284472279015795433832791817381827683092707551861398947597193963804174792980053025068685664416505745444294047003935999387211401903931717818766822068021292816496819744832046610562690452273375912532704785977737066334069074002802803276981430717284357952629044843554042635634937950036232783249032772656152813928172250490146136267484404466825745385618670724357517063984404864410131832015124545012387921755346079775760997208338789532282209792627690859257321434170658341626142096998963272270071097868711363273848926011551956790893194530143990860810369142724378343390216662611726879498074547449886183207793280082784677016274208602081249899690399536704932313117775134919566560129401506944139274943825457668639373183546509557078352671150563297221479616614623469466164027195982660779229996479290588699292255096662191996244276921215059897959386608246594567850280061295300420331115046092503205026705603476072763968128529281464461797913704544813601235899637286496139847099599427731628573074431389030158550965990964045589846743885873760730863027646893402961739755445749351018775628111519912414572882713758589704160689842614352575492811153370181063367186475823505118706821325370240450964527024907538090987697822511513368794083342589427633300885561821630180740077128711660034555954891622388242693716483901983845974439372976424408664532215719820169703220423978877277475720337960400158876047865584070167470399725461905633672882473215032692192462787147002221947488546888810256456109705739806911563047973156704865539605501305681524747187541382685902617192473963240004636677019359319208212950945878468584868440191513372652746305170823296060049574754235811287479813728946860890191074232358350377807767830117149301041952852624992659133170573297048317745731952957672898844243917546457991422676933271975936092317305845572364173672604555174635901932013173398525216096934703990137000213752344444689600753108239838939874458286798880960440174513153712399086972486572940389991201870468930308381500092240328959313946139073879449128570492526077397728734090893471931761808388748244783158835125678515517507363831223918706798543645557586541672558651539210575212137942365834314891899946457616058423377991816771696307868305114454939588745557529890420959048003165201076810591837817306146020366618452733045878000189687454133134182789124893336863999026856253303163540374900980889403962165322688916374908551942723163935715849180314384406754393603982973290692849364885383967268378921666757171514258159827025602894222561796402455928038816232066897196057759040694439660177779724448005660997985627559314518671659117749481301949992736756952874328461021971920510903946445790090992911440401293869355956252160363957630358134678286222527801681397843118164093625112853669608496659793488893345379978348095200084524747847436816652066966473082294584881193255873938006903704109783393755774931791640684225382808293080834492092694117580198224305058100373399601034975064956520098436983467722347774712779705552330734416721991409145931857928242660417002434128391598265493228906843585514812219286964451139927546552647246454064342748274049344491335493262636519133734894456007047959352033411144135216791144448078462957684634210118315026989030617765372770416468107081181330754643086359310197339865396784243224294865619706472894061117190877858666648889193822646987113576482326072828564501703113448364926160167089224500858257629695163716731484054596933135582305985685016072219962290365219637210378230569566337713449641309550061272108676973883762824996048719492609184713833206935613852118163615727687253077091565846124624148765490605426840377063264535485477674147251269800631281402478304000688287341813049280689101396681270975927229836687027273427620144643807739889638007801603679651820599820423119743182608955823872000193096551771253654445720638045532406167710452063222762393432699870041663885417202730474123444070772407777586427465856705003085729227209126033163371644791038444303424316643575179124053936381449545484368463051760903870037800742988954851593664880986156415536931803633588020595603313209294823165636959670395960234116549830594776532616219467402146202896473365918001314314245514414429206036975993794675921874539779132968227454793113829685492667668736199050827762737290930291669393336535841049911998122514932133174843999184356695234213265834696737816227559925898894928703219342617212400931563045127298069426828342418357831070910300105863625202752037036274725103564873191776853206739231371836183503935785631974432449911477897217775169210410788214308121276618803029868497959825433747875096002131066393174811261782770862226009319812675481952141050618613094574694997824652789027047654028869641071216242760890222830483969450147532735087483507973793141343122448666277177198333939741413534606082241235117218271887167666455876198459448865329730647410256321846834607985506319453167308705984741140854907837883731626535357428326311625979118632585777772118257544385018715028036265424678669603835298102449242398854241025564632374048795255997371864521185347050390479916402053672219262048146778484494738552890831339542303048473264511574578136061464265539962463771421317269396159215627744386451554647786364726797417754519908013235855390460885381009638689337596637402200406790947085858146906864460843353319207633019970281777624829763873748000864544220751103577160439248752575496546809895709915194521816956818610259815817991291654183193914638489827409481273822757169921541584012727417100275861483712482671925095753221526720424967436252010985537468857387794606615181414467056699300290295182652864148767368998162168159263909639307434035394402608653990784974356300529948998415246496824918790113898121839177450091872792318188907419565505368902675743794984395422504991181665299831865000434936552608916220238016339074165239117828331250271468895253354679682437027631822286644966187770457150686423807726639635585438628147441221408220755650477068473767120517052909328765437990780031186247652892624711196875327335715204331384706883331948359424187294142072698606562782371893511802603228626077652680096604724826873169516982158428934467417238851734833314355256941839005904611843754113390066364623059272851638975076808138682573822329493853799974688392391195329591057833614018494324825347270778566226559314785833011046921413498327985434896977501422538150815384127025665776086680672927565815641403152339422042384370806089025141094147397672291314463899571897188007844771951898055789688394849983710988620154415986468486876689336094561003071864108268482679190650893605616646500692887453359850539210198502498530292355432414353242012198050312811808102328789761189885222212490006990478101356735884540110698625793354467785479512183386128239231747986730750563274342590950157264874962257661838377673801758708344489147744565646541651999044907443754295606370937777696061316227224704271537735718750238242759830426559058218769523750865137381384616333014822035059676679758567101057502196804536521092218594244622817993764833987873205412299550110411182076313033316285941902239342651762086088142160909563639015248844346901816335433698342758685757435790657805558446503203676130451384918961210142301506847518441734349303044084112419737719046626888089919919447850778919299473965072322953937346645712337883586485947937618241485984292503363528765370884610370701318701875570591603590684374913725962863039477864583746351109087059788127947814801654136907583366712773676072907289339340541014526664784413320014375674890211851988385165543207747239307387475699510596101390396489630887086781328515669270134476512683006785450227074334520070289020590751229319963498545812081369980598668240406782861719317135994382584844292042440909157654760779983096440089907118529339246501757259875363204626566555386835432329124061236795331182111195934529425500259306211061738528959724929004022877648199097492535594327342643285873619232683424312862812123820879578546257103318575992112461147315271496747294405653043334837335637639115510446521193453595136410866134777061518037775848612996318234463414503183434313387903913340669301621187318951756102752572456872542620373766967268731774139953024248236584202127673487716941342121096039469301010837326380082026553010318005946040598397920585644215016751859767489533868593303036719808041548675259824077163248991577193937758993480217649356857381617734087904405036777478371656572512662331067790946845559624821358626530)+a(1/10471544288920628809514478009561041028571383190740369106168342556185014320474607450986076150340130304288921079808128546571445745797356517302664562336159939914086732083393880171750958607299093400482050503136794057876745962951085556251735044188640862247619011530571016437639160110073315870212590916587423472117997382429119308883262040980070675093313416996494758011616261441823623339467449637903208171261335912363035181387431019750952031054644304957158873982492985939903871737207675919308743410683601630152660806560902337022378820455495323346910461576050981839724089078459026022386140344062830692837651090939749998754029075726896655578460494653383347719539778247854932406349359063663395065342384536604619190324421778268005310591753816340204791619270423780624090760598158785809920010251844827067239155910170070191301880667378295592375969299081804178846545795031128820784044194008421423360313578576111232671148267977268162231414889323758728072082434291245618737479936011952133186430773673528706770574735196136853634984588251212843035420057538588273163746310117768251414051429832396538382659578585408887713540040763522155037670333408917457999511489639279415305502054686759715267431908639094286420337280952596551643480349996734069931384026175747309547563490876947390759587593875378653581792078322973411839695620081802177511265599993006277110539872510770023937833318728109805523533912062410880599163842442179964228509791095758207424070211972060046171499194443467450072290302904529073783893420854201667250617086270248170059480610565175836996044980049733944506249935786805190268693299351485969887256800687903409771622051604976092200447240754378896582963283767272597003580646595212737742712825682799562442145062108369782469130260873397893925520681488867128921642808788159119014589616362391536118272176752945590024098783261007046798463816592543735422579124973998512794313743267842608362952496904705230030714055809715522472408935479823230073833092980944094113229331352074311436260075720205132234709204106516394235521621948736649264448154067945784331273943413520762780920506376913860191334693905879131806058752836999276552924519764110416060898513373237437758124923199133627734737761804270457743690612510388526058286270431870007132291480870922761885269497774916252282415702463788166050121217463293397050566441527643460825565046355651823536467251592245258575942647259744271822465262747072981793478419145010150607753790021570843733414427758103102731611381958876148235049264938760283519503499318477506178363617650382703532248959570341425888678756933021964154545620969638219727942587721184247138855602878605202221020130837830557694435761043587551780756669676755945388535926511088973498105806901961651963986713116213720182051807935068290998953117905853998196252730650304745822855986190620980954887472005179384968294278469430309386152036073100042312446621071396000431101946141153466911431226532293712848605022377827526796601836202279228125699539699224405155296971935484586063261466230659553303234521446597018577417909140105127471510945320816647739679593147622094977164900375236983733394085108153848471124080251020986563897162887118494508370806200058693188431921943063402908123190571638229917100012190887010415164807763488964210642495506361920298423416476312730531432190934127548540618918176310909457253920326219738757918355618886992012058185298075961661243146956147506002182321603290353836165055676645368950008225162053685525656913575076149030384494184132109829882059402153338428803672303496529060671352125172071172852168031141781090671083509166208614909784497352585394682484027795960091168501597870279331817769435933511970318903735160329839611079044876233289385042027263999687198209156976790136185044855792769488356217009297289058507526983564873144150637924308502521562568597762029000050063155010956545606662655019183348920537750366987251252731227204392243877228575946482092981017766089637604980849999391466779607450603081869683956499569956966162040621731525419902469538297782410269955742348487955419764121475727918212509838776292662257526301850402782430653818647230322894505898156164620286222172639681009312548279805188010114299381678121960766376806650768029603809175160241561228396418684816459559413662805496944455255483073129982860543710107472141910971629163113853487697628179153693878632687313199111456376799356295998859252573118393750190875207713138099136902482121740072131691889606458714585282242519903943765678051787544384021242798903699672608634720086458661620193246803216750823427764613321706060473257288235174343347799745168460768759245725410472098233067739348424445457902306644514276955538055491063649663951592545067683557023767004576485549850360918419677701476685525891062968136966149874203098698052501636763983370414032128428998026957344923353114431533978006802888055679722633400427564261944330882400408343272096922569507590925221341971785887237771569470810787145464712009271153313541176169011636458845625037973514071746742590190162819959708386771178062118699161363467249427348552885592819334193832233080805768706351372629199699746849968879953535529451943746735343662692089790400169666492552693099643230795684356104188089668181503245291344616898000694727698064472912322878188633630402221369711843953056208138542363811974488318240608046295736368410053600954968718484494788322591596731376006326349481810480298507151145956258808396094684357820704722072595204827755121649686757120866562230966577824602374669362703299681432556641773539069781574489434126550255980882293778878058692878517748126987357695623084325779134417387712392989956970430374814690897428354574379516702940744712989949740561160733346254377720733287089626047017250063195879407017920416211731676684127904556422535907952380776170373733855742433467277057361928274455511032020491215772404182337880955365336688643437099345012647494562315733128389166202611497721620829720034222046490962266650737716160509224213155533937786196443372500516346303181326893623793992826886779924929997474957389147156207904941252654015815723743097734527348425327196646311261582867741269495337368104095854710806893826233209838589913560792228250111151268341682306245243276075752007801782483720990734943347328342606570075857743150045035764366358135172553083578838538328587349531927446840415400862116443239508615206020491152399131391194704948310620202163611016801683423432920235357157545170463479471787932073092562486453580135611055375238901056166404398826678412362962560019103479771008048716840020815991593702646083054727916380726235498439189370358302680944061834134213301222352316265998784159929636871138151685611434169356438362377546234071248646474347509980845345846199798604208861451032268727770232506165436330124609199112281425637177055302038728926898622839557235887574992972201485198727746580146154495357928043822283822468644928220055605689755022465862252700330999389918644606145364417960950962073249844485864060278646008968052678354921305785649797056439473759371206848252167697475537904131331002677007057965431574171858208273804242258462572331959413035408597847094288390450044989330976233308398596023292681442494446065955697410849776441463820133680385612442884009316696296427130424507085009831228319849311991054740446951319598041951222916114871576616631356601141775042553195262873054410297322806243661699086537279140310309871304714206871439967403783331812999510723472163559586125298165675978479050663069390604715116019895847512330447625640436371686412266702379299731377559429670132434572940859446153350320859381311145616533307776598737918280214118410096964773987104565665369638908107050460615168976332729883084574506961797360362820877904773579289145665140287015282646936480776983007799765097433684613912324677384532355942049297399265341872528173875400881733367682395402895492853733122625612756859955921661656625375630593382596258883283275211265404361811511880372788688034943126842556587433480765559077378855031589793164331557615448821548415448466150802923555155547979121005841002974550253740772758577273810246229844826616973284088571781404628117868475879169021331953312570343172936966101343140759467190284379651136130669181699666432359384322433491562169988987516249011174805765009941236833948614762602667387392037397031471842360854232503933361792451703545675280025490258775070823792545380342544436933499143500365073989656747906680152822260690353947835385469356353032973838697260704237405676696997351600111266500416582775520307587681237027342355199055986725166501345478073928419557544516507550143773285822294106932015652750595316837086022510176804623129430611006554796560647134894202173766444657117564509779560160540538286260637549845382445703414109311711937050308552462495757593599996830590136257156904639500245190902932038728840926345362435357022956039605732769901962632250821370556550550623096262027426906086787201071305574456266305073089785580590862642538752025940861641127075387021771950317517359058192132158798342571147208909731932440701124333207482155444429792101010514281890110189313995091887129837529240883934254828806602197905734983649329694117273905154120063286414873359958388727586320280265342505059035456775859187025187580883625373153363425018335505751925612488118152429604894150464697739386627641301659141320643465639260165971240788834010415754120908783418058586403592219827378202539906302049504082351285270135963951497688717766325675570121465267640105761556415202142868646007921816733990339067999117121698127797335108279010976378150678152203619851632119710490088641917835267453663649588806132147213041105512722438453806327526145602883826081311900851570582056077874618533422503508635956547419728117302788374219919556131888571005455274667525296845874766802899563086926085992075130393906139333925722448883908493970714018826509194408551708568134278194188057179221725749162625022549356048506572388405447285992354736623016661739884171224381073595047840281725215715109101775326251445438919631588023603049563283229375541319624245638398446833190599548620645185961284340686052396141428454497789062332567247808584667328548328244253137437329859934866891664234327416500470375512417047952803334074773615120332362815225770697825731075822301655575090045632162378515150110515119602518012254648440895178835354404458027642791538918012234476277162800187547763713134437827686178892235008873779533564145671323383168327095195591692134408099744207950106801270446828057026774999210063281936193448595947036678085708320018336098826264146195922076388188442424265233062549791747637172980123116231927690724814739484735409630231900392764612245522290678097465262144110993256437971000084532137998385938218438649487493530172504285899323578965815102436543688012123784728436599665651798710205985978073834445310538936519388537974719112228476541766496230225293540517128573467479897265968519590449164998917599495565498800596628317482161074117150101361454312851304452240414971229763630694774450284983062779535204745397150908415597607794565319869281579677580249610891891884027756585848927858933024884520238068608578145507728681710506832499433939504781159916013379074697107218876834697019643479587968863421645902226615466355636392520573082103590382953117363623408646884615613622026818996173397517282753001839380632923131885105451725958093116090741238992518888626510616761161023143599381871361043644877931928223684305071699210057886161690150335700681634718268348683374608221518963236446357087733141858734759020648516770639416580057763913743106159921958970651521250042164398137658917122571638332502559861453691772193194381778755737883722716213418958466200796419011431943610727851572683156133170486895522019152780387840104690126327307880734610289904023235528354267604369056832576460566443031809785148560433097606023689941624881272980674160935961141328426623940798411448853147547100412756206355371899141165073842013680195682639435025223117677742223751052425772220443364682533705281753435571498517242949829770628029414901406150848889291405910437172263996655287497840890566806984954888694874782317789235629512595486971102658999850975598037002373929086182317557776657625302216527306452568594505606252830360720467724772381641143919122120481024276469231785333356576967491082893250756005654067224728859976546354837114578407380965563574451912745551323847225745223716419809056132219636388211339021026574950498181521642347755737345693229534992722106201185926042303588688430048358688700922289254762706873293691610742034200784550153019148804372347979296019637844735682931726910701027571282428343587913952338532674339111720671282073505336921490827963044518393465658031256443391825921812298288169729967252135013915861115803523914665994411970016784238038380508406285627895702258234457198477850752102453368692063104844466870456835190289056776148363169895732480900921429341934845835442652292203969738827180296404069017252777964479556360549767708544084941586908143086412899249457813432602689595091864393769366415798792139977188033720230280526886192472598733137372211459965453480919565821051997212221394807474647290515732890495765675419840360120725147253776446734999288757629979953327876514328877442926842947313357264500559340253492080523688603506047508005401137759883569602376942891630666902484883493035469159738274901262105045285431432601098405835540196799183269567160183932589317575999558688001188772903426772500068785246469551091787779971053202544499076228368610804553340865959538926874926704304763762656839829046962465383805749783889203154369430485743689555897796756309864676560647965064335042167155002889067748974325032493657002339396417786730693056204072848687374177198415153887160166305625556519102395423638258523209656192388888366617329961358224473544613770749086328514442425109332630688623680970245903621492714303256289269561071576360763736049523967680499126282622331762670325844797767383440415582144194935432623641952264553010272828082998760091319281869870060137225582795134151677974056549035270657211084921006016667434244229885830206432878362317752622518934116954137159375130778256885034951598695508881847717000425789786902985919053151071070157419805085254115025455190708962215437159668823768818221455866631267131914850907831396876057671340946833664373588016024601947861980701966317060838818018040007018387047785283329409878059897210276520994474671769582594319141179585606508523776221169047428531491168953773404504134497770903124380325959327003269975409485094484242043597232884645841244060461187994621030025970898404004421030997497119659256667150644581998595734899583459779934836041192237244935357635629085755905077001118318066504082883767750861986012784382591321223733535182588198225764822679292008575954645307015753298516267916034110433749825550384056246610001533663304649113938554533186438635421683824775449632196012809659041670320650868043591239679195762379756634786372169763343089738349731121659175213476763333325970651910360168453718229571259867766733482296422884058134571092083307517650388533284024124987113521797762762575355539820283270153453151427968898366910619156163711469971293937283411063985908097376240147959473950740296854793751217798189849643496184041489710543023859684178449469622860463344652090953110404657569359439130910944197831387847459551985764304965579739283075820361719694880176423195848031732428589913043222222174003727383254253602409565317666471931621749928439736439696391588543426618862972968078998034470789906762831329942403634635887946556734750907242636370274541346396112466012367876129618536190102085141002312272041965772906789546169287846085049345986471928953526782845445098812538339517166898498090644941628328237706079927214602466973696427308889230279471205886713957346316138981730056076384885057413035082569070086645668866893589368971560204510160317656458749499621972203129153950141463395618061264828787880180294517632629740666273747337434054138342299135451764161967629175255629294797017631332805028131116358649464162311779487339249106421807000149057709989402791712414074348487148818282636213606052744690281717447386407406653082715773557545303605193713873349313456796688255931549297077548688649177144471276254394312438292278735586102129275567911134873515854880663982192720718980820754035001715360183326099414294065124263074196277610878735255549392521732310906620536937413219515332201639543255346618303760770612282757122748241047810143912780253087694388457458577379989924832960069937106228908215770912905181954302506182941795985708713092136082836307088245172228083058151121555916762080304302920804633610641229170931743360409374295821874394030365881413506603085343235466801398868537818402936330523209894620045004120414649769396768648822393842762907110897591651378848420599343330872530780530000229616922919192136785041906560216727664164481107963283927880226094349540387075166759699413742940422526784267053675890509606012014264513866589049102675500107927350270129435719754828188831227355387542661248913813178017340896878525069402109749597768776971586349827109547955429521539051739489697090680986478673438900920953790782446936593876963518334886289346182529523061306264752690702391514949614562128158902758900352275630403126463005096827089122196481521845352784560850940148889127885658011202702703470518991508219862220218486394016786314285676791647191100990540481746537749489573623033003067292792229830528337419738788721214203241227961928259546018327906932859365759463619585132713756648813619808293289883077514193202523373607055831546160391245941235363367680071782431918972643523315214548831402087761561920579079653363273211387212608850437112503590717601886895465441901916008420662951400152739307882444111606580224828149655070429108861763610978645673051973262591012452682633022760559783034670419542964625154538086912682033920572909327117046617441989706342043335940772025954375522824786461601487444675658006229901385024183576905425035352719260504476421782358358010000100325323585888017355694405202518958430367769734462953739284309933204436481235522173047830034674930850795991745654391785932332803024698592339342099387652511345746262637814270232610802619636391137342403582588035520597910339675820972027584713086233827944972452535011188290176830739197841905541042166797993092747796679713067816522383176709758667267874764551488409863377562021166269746224291395083711749820280158434320448809170987103801866962308338445861924660189948588809069510850710806084651527281301432107230569640180692676372019941315022349474970965924083497764852230738669883513265594599156091626190889480746259478100487651052716674327177650651033236334512245628168466599736709587574274862152644377686200692902693893806816764281188491101571117744067589846074700630202818425351203579924559525620498115946168029574420538933168878113294779569342439693727716076739015164485919188974195320452081000855833731522457513854360282570761219244256991582545346187920457074127012163112545120629944333319931679996130693080354158081551302667478007983700293544046214975034947454215243517026583453156493857343103839827184778215411635895930608134666895300382818043867273809401677257497999518849422375706900838561490873746087236897143780223663151885323485257766324861474497411933319437915347807795659478425808394985835927449615566674504674220999899674641082553204669740790790356821416516790786667107175119971507734615116498978870405957818161352730785525692914818545940792449141067505197784110424565994474467723491980273550014255056125403111121476274685761359443864759743948687753013102980749107136200132108977818294085848960413385888111395372518559768790220178533504216925937564911668356358565305273067370575700984254629761670890458520686633761197006332780628560170086417254236370234104677303240740623758554214737487074628326766936790752847487558300198018432901152960212096611428957395014107079032870294468075720176075074981327294415026502853848734314134006074116874150937843012116330046870973061716074728376793593465444223739933480162929878190364423677941760768477037421943661237439787184961356452132912943970427764706317315411227982204115138530497895314886892605418014322392411352230154666535058764522345770286428250147350886046101669387505447095997567813073473474510265798594523431892172173053469491313399804102900889066904581898689399471603581445487930901875673323149279671931645390636167379873912125075985473746235736925837711800288097196133466706223168302484340459105561217450421669415220513327362349771304045748103166414572851128191193399281302674088550278481756211720037336002483077628765872336529283423090390960753945584862911522749380549950941088312395085274242620683352937010125276720605673455148619494667286308841460293651258967407151575998388768653237362883930260789368860714284260681972990431401579045571120175976718355550672053695422027564522210637548452212191566671599986180990303357950469186505828881773517636867923335596348464430383794495315212390351733654805939939682287972630750087471068626782641028451684929080650733817553570697647505236362795760086097967399364381603654619624151881559857592166124091130584688801904554400006112057457041737788977744506624125302614648977452686849468258300478562516638784384260672585672195188465444344585707152214651902708017816976840122464707066149650797593248394192281359833407424162567353181112216824406043744773264775279622928332958756178148820413846794490470057383032645286846128861681055580495031966509420422855763961516168011922397227228786751806514349914339611142207470271909371150391783449482533602622561587835787311035927301387044580619738998461226601672262427083055206862508980813832786241621910063807863412459281312492647273189907775493749541323608197081578975518558333790218747558354979206955779801407595531859897390914646370666620327067813661367137241354962908633976909676679862733537555923980796858355374722803515726971678143328706118954421540088498613286238423247949387811863465623810103592752055344176006483629198447145765285049251684782956018547595585860176407986768299082210347439733589013717887590265795805409757487619371582761260083183900601892364029533061177562200596786959859468330182523935157350287015143796294277853762315180787551518258865417998675449975449249242951924017987628031337896270722120773599534477090448071752200969233277016476663738768335259022645236164520717279941563023468692781561250430887961308024693861139655608854184434294545303421369870507366742423105337689026610241344146374938170807)., [pseudo,5,13,17,37,73,89,101,157,197,409,821,1993,3733,67169,158293,319756321,593300117,17730067225475069,8609087440478968033,10289392658009035057,16304610457477305941,630829836600492385582862829337,1672973837173015162450027727713,322330827111449178785933913347948535218934169775738611138482071558809602272652771110030258455623188469670582786912718175748848105867990621883948721269905996917671791906749,2420277672882521618423105843183783621817690861008954907065884625480531548743035714732592141378191003285632446343011292209785390873503842779333421085611332577028821952362762099348351431112396840082740311045936672409502489921827627311705202796331740557303213870825375620918406595241522294240771800551424214325669977553544831381900213832093,331713178046582791611619446164997855373684791840463076824543548586043589668850910128417649946894392058786327921809311520056047025681071494541673155333736009387210440095158740325051634818329259513196557979972080782286277178843340914457690755230873197363979792669314484248784404708010131532934680561568168900048079320033289501091871693541736198323633833730571132043200349434550601147434469500688412393456300541685851868696235884214819485417850248955428728178377009350143556081211738330953265847121123351638237478023791175441460632255795207419438077928045933788059930957894094102163874678378065729696678085353495850599126673973245344682766230868711248599388493316933225580518269113505498077277,42891879614438080258657147276369564183032902119679321990565928853860190164877405272268161647179375447750671184996547337182936794738768781134884597684235249293123200891734817285409367341112953009897730932240617917780838132068698698253562480232063368869445225252907503057020197341604895314871432282910969163839276662688222171033771201887310706428177876566638193091986633108044657047956805718451761329418165809873275326281740021290628615618439490205355756258152283813873793751961560454240995662003325576816253437336661666600701945739708848057688507643619558972346365888872941149686688716259768388174932782534142547980149699195366906025274926978534283646836233388301995308234784796157142128818200670097427994653276360577807865171715157434754229628220266438937645260876549162651796883495607552698386726585203427735466177099060225035865206142083507582866623830144040228591504326570217621598801718134196527113670488718456578063445914361797934758194428717055785058870802377920786648023872127646607985964490708361305526478259198787602160075458917882523601096523158153396704344203180274892419559751582598097289139979418079697307928616181883255057573186092015299815932836252289766479251260275683636637160155127786614622854637051299915335759902012839477777946068483781613343318916096213188376312351926766404286593578287378648039801686009972562248528548746982899450348259482474671889266570698353,29821798408835925610062359962837199468082718209736620148395548590746994870345148939230648000645323356191858192777446751595702298585014425365456761423281875777402133766708046362427277139075964610039176159673892610819100232977344736079760465358549649774819664368154132823555463176183471567252674814589198892979121960803961694629034968953281776683496307080823224656023457390270681158911525617393300503296990700933200324716527598672456884365497910375422418592033964329971168639525550475695565276381332571314733114739707612728587814604241842819315053582813022245701243208584779825942153202247356580848459578744867047078483092113058364928394921834704160247166396063868855533799801976632058883476641661275462695214654677167961188289134911910715163249731613640611996494146643771491919099904708998780989223963651942685039274706733125392985446676309480139808827696001336136580271488380950634204451595716040342868970199418055344157806342246757510085567371412303490909107416743543206268288848525706201607342615603235467100004800775256316183098002734097440730866149228343250690668008629907058031836638552367295626897100160107632077984724798378027141358163909850514732749081842664546638075485022849499812046443011288015291902636660617187645422577145955062219010976897814446880934239354965438751939229868254074213329272441405718768645808186467462945698557943592853900779077156550050482373515539487581065998407285446038095812866245417940960851746033565965320941405114009374290381634647212933555270438676614430898990632771722643026153034525713426512114649812089305139538888874839372922242014514218477610615998210379738454360505083178137886390634502953635215752064913654026070642175146413140555979758741662862682569088876510244451979483683939454020439787642325578419810146534505797010396967924949439871471624290683845653915975257533609482636680713494311518242351224608865882273308413932163593068995757020883608385368164344521160194082865395687148763299584365236771324693790550803463717753305474523354198857541859066934771540368481844480868496309293333170515665192001400492815383233165152118221057202771312727809753802723053506016128419792558079558635091042443416973196502522987548917077420207390880976874127789917083950685519036602185871934567925156052169747456509687147119509513775534221782349241109789775287861251036835391308416411554364548549544244441235227059763073063602690541736874843785483947272157441279811469375802029654502215966396863642749452838508162112572208735587703447859095235553215572326237336408765093587600970573800435485137449027505102473069254480564954029015864926027370007767859630547133782818101601764046287287187455065459207612115396456254678498085129354427945912714805890219309096109890683977999907642304248788906626800562190926791991579673201769742076994577,1781570736611252764005911701406619400545997703623231799244733901222091645018188912441634173048796287316492183408440400916367595160998027400571874059315229956992053189147128494961167102481055948877178524784381850517237020750649880675619654926130123228565205619319352768957465261070400199548763633533610112249814479276507004978107290291919173464069406554369153375103671392320985964248703449098778433571250956104976505136407941543478963982827068994411158838763617971181768812777115500953699320670710374154768314162660560283914133393283047531538650858822937534781933768582325585615336492905560490625175138827578662747507435247691397684992946686694787010057856625348513291833526656062679219839287667770326029764654885934681630734286319661884760354151107720899944756165661918697729059472766013834852545884451012214572595998585874885257775429398737564612270831064029357825951529632405086598540732766648614068351931943147265736200013129358552657431182572722961964716067213309238255594815784428069276156331089624023200077799767186874016284689588775936695380941012386618023224893160955124673140859188083941048059716711578518876035881031940564845557124380136817116629575991676918263224998243395630694390629234663522980797000627804185381304878934776573144194484368812800219435537949470589970093423269365604336969265551510818215892774506128778577987077010317301177263676270490563656899472686713010229611375264475037261517089158625668673200811148308402984859856065110711639750766171620620665648795143295586124568437443910700378036715456527288794898136538977153843554834566323572995204468740966621383799742426937391748099513055569451543070655605322900506217985453923529153434691561185072132993867859131704923943944840481015033800897592375667867019325935801809825443361593134825343301332815536508212219778086394329417388175896317158332170102569130368539277881248139578032657951629179846444109406704181837956948476848557449651926678581559001698858616040608485701870651314763697656449340807505954800595572662161653434924376817746957066988540025886250670898934860325519852670607678126913741009515107369808135338023766946287996561621107677247139637953607206122538587921015985158579700589930994777571424470922670960624939843186324141505410613808858366120215355014370370815063305080657074046288166975644296563949127222559573398451903184234020141159516489373952930946786131156368502978196267381286738075632583246379154742576234672763957614196302772317679562711260099423560508023238309926889119926307798057897669675355745268582510553501355702407663503612955899950352302038340208627851661269908782194360271167218491084619809584273706423292157000278410136598340791880179275716988052493185519074364637932079804078171787148020291625455127344083086169426075222925584883231486411270831173279842574304648876443408258451525742085686523843940916126893121153306549757039986316277112969729313223642840488899754697689608154178703602117947451875169844157475720143204104102438321233271313512486809723544572585323449092502992368597435154695981573970147774270088908947110182698073723400917689809831714074230552360146281155839858078713185621417479150197612911796249001751987725197549954677397598423449104017505378416538699095994843339273243137650035559213778599011352696719268812508179833466486651481555922966348120580216646637309111949219205773981082248216080077574725234121866758463621782446502966670317205664655758636095849522040125517469379243463403987284620635554016794456983893789465401030785690214135786653884179144187832626432717520906237212208253464588930808365165280321081596391533852261192339859438412237870643768441048090562785989664116628537292202200010455915604723509905847909232878238411199258942012174704392906242291816353768013434027806147632818344156919382578972317522011448388688264598023575758571809624926106237084631976659762927016129551950694984995515160315556922628195719553586261090956132573662138811375249944157262450504205499125565609342064186265287622228327664546607525979313018861570359316405769731912377963159776846730818390591601605220468309240844749722520640823818578858909635115118847205839251575278504836635540101586480223117976825449126301810837529353186310874791608108777430760953293088383165282334260991505042391957146711544479959017417870019349849071128451793990114244380218777577049121448396130641276257847561323106096926558357793508003512612111778358412539049476659653558134669621397924593515710598720623042340886467559699277476172946324084313391181142923381365784732611122757572624787216950437432721416196807262584633039078281061474066894518122886515045233265325193235753498259794789775562607971784479060159807003936026452438049574966537338743226246464153251454297954794009863029913437612138968491723225512080733159513466562927411942591028099304252158849188967454817052928297371654390946699601516718767884867269892619491710879968390734721917970250728083254262955361700881564660952011647855868978511221491616661114730649644962872879530632899351905281516471152622235607774193198546014857254079935671395693147324641610216404065975368691385703589727939171897267722914741751594321936583235019010699485893479663566274652369865655359509552742147336780916099568416492217438079176867353204441837235526012332422999670462951225037734078458265393633487817193974033300665072180222135083396259600275989619278444394427286769844222974978664543010157301029162097277815252215154351238767865854341091390821185934175388865615402549725163939452471918196784755571633889654067032036444592313894615401607949107744959555748090321899940916098480728511933,86669789538399918142625171993905718948256928004627831536246760624041607896361364296621837055668303768029444170097428821334617947813217606125078827119372306679325216672296443031863279002641610154374964549836215174668601137678275806239724282227230106427593740910857460226944318716491409737168899975278021230282973015180101029973182484687849433918631911034303554434831332886979095593695296927302132134047127162576005191081927053345058679514446183143086071955888138986232792720825409254712329250784012889881907369706925648269423750555746120396044386415651059097977561469970931307053807575482095777028727871962250391658917800742510668495979641956769956990257481185183017198782341279877358829586336982416997029233995534006848056740109324242698990625125722170886410450665917390811779264920580142977836562132107617587551597986804979387202075814976742569778724459181125461957136076184281724145115799094706891723196993437866847776597964117244700946948694175963809557647089435435917820074873999242513664769542861755534740601837674335614050387327421401000963905878638212243413348014791413633254626626048259072849755330852022595694490927715776111427275719702532716915886208385649064735106685848460656673583541190688789995647108206392770705341540425255158230331494268472376899142376849369464915156787330826842304084874112323698727914368293187674283832174815294829928176195199123130993647550131411872803934621881800136425340515679070200189651648965010501433543480105219806568969597405556112275394036941215432154652535772182831579156892106845447343433465130390557280730114444676759551749640373880705150348232776329210189566340568492510229216560972567355447464449024948394428606374963390659187278630844288463114001646702316312772750698377711519166999131247019207995796420388686931428343626184534585487135515171764809435719114489296368093186022129356885106103142724614316271154268028540980836281306321389400334655066033878134886432043842958400758149491940004915884990054570037870852218734508343154506245792969494097274217543419591741858944650698811296243879110879096697742112005409207983994379547018763714063854594538253976354933564899616482900795002477193426138152669674237323398250175701037032551675210298573791163189248631964404807533465462029521609999903458687484515657184981492156287855688565678124544826494138273200679506835114141389015403087396968701068103262678735021824593377817615274704296368132623688839760928476020356938848276789148339561757157403173255363517163177208249055600667333919708694406887931009901348528133306412888041458411646477963826069490089303260265402190747401447429706688267746698161384919791984369744810568321531286916021252275158390163783776208579932721548328734434640396299322356673859264167160473720669034759960460936866624073610968640522286789272405818167390784703009427904709926358467331189781089249661500532264572141283654675656979264789704104533354184143241361329325872297904723688314787202903028554928971392458340350369478484370711208517727788320931353671730823564318658515144591800748333387505609647150353300665621401694988349390027019622596233113054179757790572027936398769469811118485439144738771113482925109461208909894971913181540324876464425549021002571850100397576745766895978828888642305657907534451406668020408626689263674468476899898098068292740650150739343535200890597523908448612740087913376891020446881517031022107233001154148936627000947836311661333848898135069319934941027551453219521668923754324376778780867369840125515974591239287702099387321342083354654605657035207846146678841451035900214606822604946761370650486704466323316820261066059744138066283944540701115416561178710396495516117273347859221573294977429640601542421829368991683161251750854219604662883035860313294238934733890403649131883110303872297460680994973893460888380540086762264162206463323745405566814893774151349757008581017654528433387673553381323451448333368865976426699865732658790416403749412909460122439998200712481381853730477339936065308476902134172179895503288196459396941895367589740901662130156885008151832689346015070421234675074671624596520240289165263251446132204462658597153513446566467238380069289270903832723167122146906324529411070784181038711436487697489337230017422198973941401966383717622699182992668042107663728553756287457741604080597351933827084024741082556379942698230488891557869169216101011311074624185863732332912716459264910665926191368487582545523467310487270012182621919979187625963572477687290443484149019848641780518219092592840759777160159544948520593981975749627259095237821919033306352396597718665104203532466041811003392574144477712415102329120461175225806412827913212080197114792685138999167096369260270022275241867016124896951303561040782812401636403368580644691442102371765236798189519733414861575560504370984434568511746041876149479645987776362743155502344892770824446759051647634982356050508722071183363784871438220047991442770837384446693938648780124982435116215763890073955321611830483375222319666017625219945579563417785983614969976506703452641053298512117785996736098022454499684449792735432562664898247313936096680022487236198729399979327613164185583003187350533681247899175782853709455922560037743277728674041060502886016861405202792691315052148980326553616695763062008961130163300107390132901024438949304090456419017251987919921327588104216733016972824932844342883950275394941004498730774258791864366944055806787313996243962727340490635410923778110442792817401737409577358556982152100172392330163770240566780322777499842461954674903936791083899155306837638704078570628232137031681742097755199879477734229816458611376851932530669098526964482345931399663948509376849247657315456121299934910452735683568563807407414320266492278859648250935687458768891360714930593153020407819346190747489700523267294745044281188052036732634838869386965865111258466629913935419129030784548968182270315794845642115602524323610147092069033377747352989823350763537490343579812158914472746526795176754976421402010872124420487798501119178098131044716710106739765777906711751976530715661163190185601012822608866327722630135058871280578668010026354481613357507526926597124279562036199849484162357612176489185079284378900265471189720701011613456698989190497432795212357311374856924047901714521070871129086536757844179511333334381851843030821175159669396523152695263094050165403714949749797905980404187473817597053663198384747411508967093223751067218755895976667822095647470614164389571068450374888904857077351658057681551156309503219693880420133812976046793795626181542915661989722785275144550178381556403471426327561284653309085251027474445295724882885671006090521029200507143263762386127297119748052866491303950486506618505118130886462657484397933705535646968412847372730048586950140802727004001504950961923545766589908671986281170751036627716727138152750311986673362783567633549428329201932873198721785023132480594948541839307397948492282352351850482848367615921852880306267034005441843605112137295182314176447713364182826100378087039181640927951648110135707489448770908829985503343167858517893638681689360785007079631996481044042090376750072095114563834772087423632908251861346089894241667491808757495921382568040582822658182499626407327080028484418263106561320278817688485332956126169492695931211384318328500760718142120074709737422949204401533291685421237216770180561656317782579004283475114319616554878376145042337476698228815710385528786416176467275422178136557460307998399956784866513791369056942913973789121532743375083140159170406054259026166181690198681878387932001383873854672492954362872471470331851772900757784708519287321126661061467776015311080263851933264861442596192112289404138533850746816020419756463620364178439816829957990422844934464444114641412879624900939894158536944217625945345026358784436537806243598780824103910085724096163225637449745858536883253562691131669840693249490155266863632632716161253732267353245787191156943699046094658158128631209634547754725443032678644406595142146111469655778083084929634959683794393248766921157031210110493195668383525911107568270135614618675090266359930960009860898844288364063674162847448421811677549295874188028878578685388090307185142983728420705878336876775020243777289762664252425449077511791682474743102181371570453152554310637458772343703822513655145385711323772642170201139245906627859364824700561141090791007195718140030207424949575989008469231694579080674791845323654355058532890444466983824776268829912672992396622881451747402308942586127565937451107527814162912073078564460571085797653393278533506014582465521706568799655479063937898036066435677446222341292098655968597020071129361255029140191645335428246216560090236089049544208998192035195290206650885558357361309387900149382078258387374117736606840916478983978238879702014554577022740574543405688033811195067662779678334839242568408057403706909666129756470511720219212808805070358422351671196968126028725801156151127348215736535223739307041861227951721015483542246521937048959350232742278630764844304756530610824339117807620324790321661536146534961577666024603750927764835842094171933686301288194842241240839480245811354226471330639749338095169401377471299247351381416494290024514060656538542379840405239054934313705299572493758046648302887521011897165825221717891713744196933962730961217347149873139220508985065836201588311898211655830216651720503228337457471035985365180537407637407403365399712703359945934163498561556783735415012227064314914621159440556054878876566424929773795783307946730354183410109785283556293962820318050125440316832961982918129765058561240700100861216277260606421072554596293965194146053688977652429544695078159521903116938524224117449045830738635864740287647511821821863057471903345871610201753474199457621807699935010741769244159523221435375822927406473664857020809780588643920396569970712166021785812182161572832151055685678207575043868343045602286700575752921310052349040321064643902271105305210554844979739840941517944302909917236950687571057510657842982281672364629215052400758579184189431964101304247270568669377908145809486682049902717659459266847715938808298090964367435089707879461012406873024459388729665086984371121397158408722799305793155726970793144672077751590815827554955876568245846221289984355051319495053715262529150176497729410179881058344190971752858120562278914647565405808199614271064671709476498602548567334760763378526645457460535513840281418444305347503131775727030329305051796456991010713619468710861932913498850457066844761189182229234692796252771616312018668138480585720576374406498068564212135493420702212956067134885389435044231535257049950258586540499229065619886867654239584421309321589324026226893897096100893934520916263234252516089685029096107987226265435421157974194306732692579092693498470510030908399906611759658107406342076048609790680934188130883591101551673361908946433037018676727096079529506788426629226870721137581364841470718191207585837966200652085416549114062301245315401865543936559143679783236128947889137994148091875311152475310250812748234270638344584243065914085516584568115722837135021158179651666357343057704619273212616006826613,6470889541899848983686892508534115581774123188174190993730833921370843750734750874427090184644413198701351556439743574956150258434553807377882805378878206200952376126818324349684644515466196001565587456236360951115473572685944408851637829032544929402534664632714512764121015795921337537421409306661132261469643605711128703879819422080375567526368087935898614136975402945496309087923389998435090233576901540904827551818102890660319552904118466423349894463765198357523496406997267178639302387607250480690488944705096564579123120836270512463562121263454728163840829390811978970042220717452844241738596433974100373843814352764882463197350960249889679551837545588707050720665206252735131951979572401512622902267043360510523119243479046246912880202474654685620442761743261247938969535990923252491199382371311361267598588106987331022277799075299307054947440186421049085876748989190751741671694082522580092662380664741544846060126095332621480245512274967391985938807497025019112424429896402073585185395339647143248343523141426927511621877675316194323974838318074822141133373873254919216677474339364201939671843315062729822651634921343707184666345590396987308024115011273756943509594394363993977109677620541987162727400048540540321009022296387284686771536768303040603638104156953591089317576657563546093845708557224666374845149314381799801675128199286360966076712110757385287582126481220478649059601889758078698847913949910478254248275635404730755088462837259807029486202354141326531629791155893648857551913974879663897739424590398070834748237198661187820347419453557218933710149756619782051145587591376505839670320507871709808249767249489193759093391742273626095549102867930430202452370822824062853928064296283783317630081764139408940545662536956557258223194736027163474411381445120863563378109322580523570496648848381160774567265543910857446832520211485411202728423814308430508086822119435085785431149014462735382738946346573817227428756388639118308636688898770269239741001753694305455491180842142379162566101084937717575720334522735834022752479528013193963319621311622952415387609457350098863858581715555634035806702007045726373695523336537202076549957121600464599768589857970548058669876225331281510300730623977029937276098246602574904265038289577289729554534942678779477606713517659440399932272471580182794496969351234912816875710481520868027236503501266478869816821409059904820747628194899992125654849314705398258037361522758882514150501596968108594914941763404507342321669043003320352959329638904554576255585286431137676985073326666957150994123206397081318236381019559663070625482326723085685752314730929467157813336173153063720260187444749761430956021371833130822299044135228081813775979001892638800509334194390712526101795486874269024813085180825025309248340420787311305955884601291404751499741822374889760220011239478265510561896234546562593898744616181125926836643136974005928296372869812102906941846601226733727785922735339440431784332542811772932993544280830790848050813095113718476148063644526937220687317353254156017280243919270208269741320192323797901608307123668786242669265406432134751893495089150828083093677985577008197092454678239879663423811235816256321807008158218744818148164175470515065687384824226515159637877474770277537012858710155381939314061999553133813620863204786704868359949625651979371305453045081158569081141561428816907573788402865809033659490260223215206334919271316228360877898403508424875020971129769119649901015558053171653455239333575916477318638343536089837467639466705089254274238102300070328576137295798780288545160320770414504095908993758469704844784451710119357575768890293681422144324978480730406333546444283583164416495513545741490958948043239236477446705283023710043610847285673141473509381646137436577136732138420104626243683728435487807256927829563022966835204321763474191676555804845589592703577814051169243511374095659835155309829079839432586987417348780548161354772171478887588254646038553487310271269658182378405796520005205392247354028752996432277001450779334686363593468888115001762069039501626851204982527104489025175385173844190687506370050311943780344935939926970152898273817263070211439840671940087545318739247517551697787146513373062631076372628716019054244096274590525273534270030967058566826826132490269391149609859281654014136554156002150739953152399276657280448904200326711175874004784059290815413417638502966100235773575149299242607050581875163773717526634320461467811894869123697428722115416089042835938318724470602335347450834578784993936674751640548432113721943877823622857951886967175657558904700757721952232846834310492942199853179156951052189152773283807858340025910681968529311533814144039104265818185806690315502019234780126330198689655798631564529041482502101426579105348582900666716941969851007483970239780666217750588986971512612021264964557486205472512197984147683044642156783460918455598074927971068783898726691228907490525405525931352522313088827989850262172811867154972513270267696984142788380787857934927179203633017464944326339244355803603136663259410476716189231181501035907225041183187653507224056667786550061620907384785566331142264583802522235754069624412353995858444098875765767476370610708336193522411016738263847334771717368441113407781863118757623318690483630978824737225130614189725044663196682407487493963879768031840173567708526977622635593822661241810360501105882645830083251225737956202854725252246694670389579898310675270470586250008869763121086576551495095520509490987396610438048694884462017352923495013716858514089314875793084342674962035841054074279822855780339179515170522178809029830670129714393556077928198032698867990807196639537264383918745080416296968085024033292870392039510301594581745406780196555036727805992347650722069473520312644675272511822507653219165776743407272092804621786019256286226112891761738397880430006649704313108527043406269533089379382852030308621025639782635277085359390836258759227935318166939638461594070713895373799082278495271335142774922689259457517314999479669019547076058435426738189365297583589795060432588938420318177881559577953994745097649358554609397508676625482308724308303027572905123308535983458736512330111763733565506312389462080502752401036121532033881044630413546110252722672720905656839396708462908019817259114481389733927268746429698697344288572568220237942600805560063906497746384634987849107818177605982170016106461288496161171689890722782749876535634019904902869812028328563172835281233595007560377589537111792058094905227340002464485505390859249218457221122919526298481402095348989380502019995149721546106360337223870956639981583011058419720370918581455616167537558327109102310163277292006664123031982360918289006414683755913813199488692917298226682138763245679339841168218717612336280986217768208554879140431258987787139352174149694956549790964882694104301008822532832584586475543752274284393401117896773602338374083350703636570258626722156949711720264386431365955095874365333216991739169638495786387441420030139960675024356793882549424308311315395997790898998986496219529640562044827769753616187280391741695581675373730121497764887710743956621073150150442110928549543838346894491577470112073707914182014826192139144548334504093936577924333097396799524728359087634257836340188720584498304778574317356659093634059231913276063104356694417314477310873686763632963422189973491957877384026239558821502530276333902073463668681690431637795180052590772721204383816334669520328486719739012025896583454607580742385488729796239374348075076519387784653606810014365851418577274778367294790109193783045204061721880745366451172904871703219722952629970058045140040525833387637022792794673393200627088076778597099961051452830787998089840620000606122864645912232710346087417520836358571721711669703575171747335774519160967276045036429078689844319041135866158149358734552238232692061995988285915623278971412086602826485532067435019587870114877300610675883414154296610815509366290731903128259095251025861414607535575374074228835510936154356165733302999252538960837420337505811778729303383204556641960037780874604781660624080857665660796102422536428689046937912299751486558187516844234639083253885790802587716903837610720387724075897917158916547283406030849648192219412123908014400553572220564492702899904844493518210921279958516357231171831817543131936349818488594757651627177722166403849807917415333761562672016455238302969494185276847035302584475858026900582148364318505544434838042826807322414518562519707067095512875620453468490535700862738307712458400849022199579759010839577007061657757235504589764822815944832812560661250882960240384594291534178471995324519863409381591368100848168894427949546881755167547442827354015619933296515773847266311777539218198601426516555928011754754197900306226275712171931319482667580964860514413419305855444330716588914372501231023124002232756355005853786888365858686461332520537063782696886931536994994094382349573374944861601922277586448138321217913633896677117158927526676041366530749974620457241629411832596938702909559699988758494559123623750389230461878833630342089236178061370600579145710071635565138869255562099570605198630304257145125937654141858766247070676799380342142585203375042797283911524786583537146695261243313530273382619217727161237101353736133228348944931160519429152189845025868835889043554131595051649193450401839067292937490702060640338027922061066378866183852575616266790966756353818388151403904927906411950175372284317623894854002202578279334792641676175595291356153131412681822256362384517785138514396697278655123612521093416377303737288235609602071132924088786675200199332198622940634467399813267951315218416985646530273180233665594647506074705765743655039394821310710557233291862048463655036641374738995770045767629328306593592121656437229842488615177816870003325946322400273511058850572174994579533189139043108145829306528200098563149048184190858538812155850258055977768317719419749975290531636319033279110769458326952187036046202244540378396707622226865068968535395605978165870498661501026488123359802436078172452194541664403605922921327459350821401397757456191897614453923376103947483569055564843400689568615289150216535260504681990169258063152649669746875696238172989279571764704721769752159056371355143449772952993194352704192997213974303721585911734220516731148270635373296729231045673250377060503102686048453036998077507272565992459465358733620297597621644833369458284836605659982693899441726365773456299367228485146425430102546573749870989460485221533178629307213538665700349669469303436377821028432480209248815582378086574449217191506497337509227059727848950535865040865692814960604960161088651874025042675871763423026467861438941008314463257460210138600386681577571020863017758772753604984747331852103555443785687700450343146937288334692517669583246549608288677986156139530066943594209521392182032536030635003254711368474010542682001733084511943083402252354674142580585584241216030057734655007560462003874431188074664234123038105147624342284621097193877985125855584096467841230927375991904169150679780630317308313626638524394707336995051441655154329264055069914053487907348827152804465484706702681077005245184984108417510064796517207572641881626932555583864842836407322572481005347216146028581861793926280957491776123264170978497701309300189034754049071460577599173203549973397384001568277738454543756995702660136118162526027727105660428466731144720651460756638368758948521108682339311921870042368332592344912402339744866429317518435718190092856945370271057466913725831944475443422827303221517173582931355844960356052874103161005463750658803044642915346508397737356068769183941789135467681078148587703779148518542109888817054665337071010997228012503052086581058409141340435273719137065172492537572316973438239213964501549281290795880183986752149287181916836267863397086151955637195984090149150287479892651429770327596708983511664132584718542852791139734299494362303578504224885226140354125461021301863708211913352232268883130449718158385441189764814150150681896575253298840519952208751436065983240034581660077116221772904295952427497095686662914788513085208151978581066382834814300933271130733528343754814019611238305907882855785013234291583257724537540689432564776139305986562749638217572968736989165750988905058258713834397363288360095619547337778019346646259222180062289966961055448585951327690670599770199585542616802464954487421192523289199398709212391556866405662925786182381208246341222170817097209731580835924634386851954864177824378469384039540344126326568724000155279251424583464030913512129074187754118912716612339626694788634389285963175675143043700623381180136633231143827796264019205135731408634342767299293772076522431118165282635213871239835403328966081738078268489001265909705003303928432368390006127968530589992759391886442221027390765916311200746514745388629165355570831264151204780029402428673824724224982499644138386847454259431606754071981287262552410197393157252391364105844960107975530581564998259449391520503501367371014572265322691232081289461365581815804263078637832370334738787415472371899472496090737399237581308334731719802244850534632233600358672261686313155627058277971427923717382979979832584172046179895385901410189597800042942778209920738900815466239434020188280728957702255550134952709079242175783210796337159785547924699876525010872065127072798260573901148072137917728616075486497648041507058272685590584044228525164926388864069961835458239451099088508414463835659394693011009342009781629755291582208595819808767570570375238325873080368344884109048422046686847941452132045162849818660862276439642083563922482077591875569012390303466307827589379030420263422293491838506784441056272016680743336263070152298507540777960131469341959560069240614809773257159218010978626425916025491898845838371435863436774297088048089753219970669418233689323982472080117821267710250113910748446313728696146600806962891391735323463272379230559596572474988017341501792441616549209175919855317207703324287587941306148410601549940557153586903628560230962382308054882870111177732107847616652595800114586609584142794545784582123724251177540002644980756702460899214696113758990050809457645151343082309326240576116763855046530171732249115983447928663646499803995565185992260292120903858977289777091897272970432571398563858179195319267130673698119120037826557005363150485646376269247771116426280342536146261305329782935044658436807145428499263262289153033343025928795644754200381004724553891170567270168364936638878414851103611066198866763924163797395498137395482596162261543932345239520014402580406410083101453394659839284890300586007109079227096765739515758243245824350236461913711203723347475080563383674338092986078016071880453171181734309900473776906957946189630379346825944680438994940408863226442731301466585534124981122665024300708457528352387515204160655027330862225685027617296207889767230335733953835506361748870095030056325629278969288183981413609970542855654995341058303243090317745396262545864415677037603653220476857486660436933760620815508568218204110113018231289682156791578552960458262139505889466662280825593697161497437745545477960453749685581300827425660118016274593124174330669163710306629025054595349352776456900703747336883625156623178737839012471103788406016862282049466647858381123917420421116616412385909890350789736764550951146026703508698484105502374459537157383986076435993816762894701417997755351919612222523652816222120261472701201553494604122248755736845352567837398520869718653105907724730133924328823571882730439014173441922372211918675823528905406793901290911908018889372747150029574067803536007947148501602598955935568936210023013283018380170422426192372476943865791744443141874485395285158636932937297263273698684473824815839897258391023131517623336743340032932586979858009682078372682822399225423665557713026823820362093916414148333465711717852939801440254718732836976847454230485565074878255468384025605035090570789197183603294783333560094952115234994827378454314971825974582292470365144596578373734339938838110848362467878194875605541082912794256616278573522123283783027174257979717579259721626240010719403728207580035150003484089455573772226056266058151769676717280707524933269969402728584899207279910897437830298755169177290975095088430130877062948110388224568132739194041785833320038747245592322532932070655753104136131890572426916195365154360660084323218776610859635143909805841965490795888189671571297642654849555010173007501309463033736096803612771197657987859671915462462887611686978043773950924087665117106547319292381204090515829497907131764691275482539538985038099706122076907393739207367112871040080696161291436810775207035837768892617758358325520036712465370991706058969907014497157019378316141361435447948461947089724190473855358495921194950997666693897993107600932049526023486596996409150730641966906854586492634102081399635933958527037511470566595151993072203007678280353818848321950064007916854039719408706460905712475087843347438866689792954248093593803763383276769562933984377172604446828952960075662677472773658909445641552189384238998981289188294480980442295075734429802530035111890223042754106394401025633647567775000812732468951963446917190024652066903183763779834096139877091294167098481201214640621794534462711012000048433844182725640734549053795169253139034187409901763410226776600870971126071175279849267570700150362438036799334251543846444339428447938625966614341453033267839616486799798743707375286460740557001484755151970128076146289571693951183925506524261494797284016949001899575686373107456318354235764338376716081368540264725153338021386732793099410166642624588994909442774796633225076570304493045062928268408817688344955549762844810931175844505147729507635736172563260199142141554498239621117719858024543906923670282409322586722161339536137280893004866067324245605859164232475558395842787206660422433425441033689979747463547755648961553846472418897981390372440887657208596007500864113414339238753962391829938871601517800003578529146129712580794040930132881766806342183609334455517162560633183647077658209816574132616172339645270646604197674363367364091076005639714780045170875543731809648144781305999390436983255032417385106314889986617441586155290084411360817712361115743835979559685326066697318554708514934603677653702506506237813181657075742013067710560405507345269780963796346256524863495655417765552993483534318685628529094304968464069108619766282711574849194779823480959618090153291960098508319830124430246560157652055252187782809279354868038596346848050868495866730857397380824294371537555614165917231062178072745411597448629826200339302138539943713304472501108790219045712582363809056083169073134569230038985000787024652581152616872531740090912607067484643188154713897335736466487079960791972638162063902379415535856663088454238383009891565578172856869874239431025152836513596810430891160441904773333530119904151884430168306998742964493195604351299231299338863258649880931759288927292823244491821805498858969423667004367554238198223047610484842424202913653379073161450542390689959491681398826881076300815531899541876678475690251914488737374279089210590301012907830080120319655369530923203120332255478708518389363943275684407775692663651123970810224777131339906870519810136023053374314380723999744483017959590232816710477026268004379840916136385023794768452315472743823195555795827963738684696997411160411797034469221435427518958921294257888920276431479566222560671469027235111271804383513986768908436470046845340249094173306753207931651731019999636109159149189384221989536419274047421142341604924791117041018316138306289991489719732513423616902620943419531207123522026147178178647928050357495892793919248191933385344554938668848150665079960209625830617990233413082113765709721594733120856107835661624207988006725436266226449859286590834439042477681391739243556221891260950260240006826693337842864567153038104860601242977872315523627014494201464698427309831803452064217056258356286964762717755684718658047981807607143398628210526506792418194703536955395715069756579766660771188279838916635556448244612588640231943229697729972364134803237010148152981544686671185264068046969989537242464201045365652226400268520005605551149342869657720065707887950548856852477377679032102428449875684156941878189213158333356769135637915180240797539476020886999852363506215126393952069293311642596023316268683932046725470680053173686789074539756152825681698857417605699377319514014851152767597209255909936284724984640821985529265255979345980531458137870990174707083409648795047901161797062596346813446055932521359159006676270192847690711850847428469600481683616627771419505613029179171485089998702862771667049414980724753833351741943393862107930935227693975180481235691858648287110941292463632031885885059680934404761183769898173122052037984045873194080822925034963281399795362559059730276013530930771725053881200662233435390610690627922503906904682639720090962790750638264631168660624600178027818260073166285551277329456958369077578605391110090175769157584900394956878214986355511173730609261703458391418865230729002245717677130965886143833159521943985020269313182820915606382501537094883983734105784920545757374313112447252627148849934198846307781273449987089807720691414743341030683741996495251401885417281569087898214777768037471214802420297451897653451154793068056928610218568481686919058087561977421546106062886884740640223718041266386348578817439508415838798188802868187849399361988827896869006908836685565273752134798811093986738154501359233280316529332037702415337460881729052038804937947777870910366043927759471063596363144487578624672100691003900683287258984532111194474911272217985509934630428017439016529580132967324431523988630481340720070949786570643838345899931369996968610201800370463592762152579091893076978599935417239026914037745756232250953356026010926577866942060034183993397983885721849442599876522901206378678292849804974209972086344363654276550710359541676440318552526295324070973588682707244459046548884909601198290557681105259285070870937669891778294735320953069886576818129682933439795263543394896682004523273804784648917595649074473143955263794022017389381314672822355124792299680218227656002698453471831682205346986737166893342643181].
9, 5839, 1, +22a(1/28)+2a(1/113093)-a(1/10812186007)-2a(1/127512137874)+2a(1/39607459902580216106307)-2a(1/7061522233235689255725231071663715115695328)+2a(1/10486631320854991392232831568340090082541694282525351757667059391809990997765309021)+2a(1/82196950554656533128604331781786647724535745427534755760994665875961196200941351390954750726224418488112109444583799954171398373336018851114123630259983350135006)-2a(1/1044329610045537687475273636184832970888152768287756220414845677774687731484005759572818119800312941679867142823730101516247129424982871583369968696900268745881658491626530063322540026176621137187443783573859683152055203326676189543778576923410372296918643698117712725294398219743005667378690081906177663821783157922943)., [pseudo,5,13,41,53,61,157,197,241,2221,20593,146449,1061413,76221763273,167074160921,16259345305197985239877,524366973010099763091781525333,2730947470759607351967200727121068643560265610320624973734471553,14208330367213886976328472491936088902185889503322405438047121629029750882681487329528846635763560274445067290465495220040932302868103072024339337735108667297,31024141966318139973561595575992484576585749931310473783990133415175733469108206206610880965841869965697482400496484095270235832991692098743350017804292716775925662542801875188184715434564926382372487137249713991999732692104829134139409236215634496730833518299880815240259249146178329716026199006111423417].
9, 5927, 1, +22a(1/28)+2a(1/113092)-2a(1/5601699965)+a(1/10812186007)+2a(1/1083674151782230257959)+2a(1/83353394080057690599638925946766008813507)+2a(1/44159448209580290514941494896167025656277139243341445194174000052430677850316307)+2a(1/117613589295847139673856801303891702263375697588071131406073283560440761605562833357261461386606135153923938744384133754651080417916978130580171920423955569)+2a(1/145246042064048193159976410900248855439091624279477601836073438854546763368373864743937849345536534875364451213492682521386407657462519150435335876865553621749344336784286405591331625883502540222627065488068610945581020772909913527423590345142964502963228430325050989960500442663270898350263886996952566680238932)., [pseudo,5,13,29,41,53,157,197,2789,146449,998813,2427349,73363481,555938989,28221660217,37563801061,9346445044072160192321,1874189418384302860851066831866703517746206860063405684729958957989,16375285744063706979710348903915903681457369808649734228899410056994197448832873839240826652032396783998720457223714970993045464027437635586015917,18346096004048022377160087267935942331576559843309031430601672205955129893693806333704414468300686481667860453895753760437843584370660496455139052275553065790950855889874137332978202246734147086775642677294397164538878910363859433243201174991085750861357027188201305335939648517664685646992802523320005949753].
6, 6646, 1, +83a(1/107)+17a(1/1710)-44a(1/225443)-68a(1/2513489)+22a(1/42483057)+34a(1/7939642926390344818)., [5,113,229,177553,3158813476561].
7, 6704, 1, +83a(1/107)+17a(1/1710)-22a(1/103697)-24a(1/2513489)-44a(1/18280007883)+12a(1/7939642926390344818)+22a(1/3054211727257704725384731479018)., [5,29,113,229,353,1429,752489,2060921,1583866997,3158813476561].
7, 6729, 1, +83a(1/107)+17a(1/1710)-44a(1/225443)-68a(1/2513489)+22a(1/42483057)+68a(1/15879285852780689636)-34a(1/2001994613678354896260473080240048507073548373974000280182)., [5,17,113,229,177553,3988909,23209993,3687845453,3158813476561,43442135036081].
7, 6743, 1, +83a(1/107)+17a(1/1710)-22a(1/103696)-24a(1/2513489)-22a(1/60932772000)+12a(1/7939642926390344818)+22a(1/11138408110872884772003)., [5,13,17,113,229,3742729,3158813476561,3712802703603984000001].
7, 6747, 1, +83a(1/107)+17a(1/1710)-22a(1/103696)-24a(1/2513489)-22a(1/60932772001)+12a(1/7939642926390344818)-22a(1/5569204055527841544002)., [5,13,17,97,113,229,3742729,13305821,1438329755573,3158813476561].
7, 6751, 1, +83a(1/107)+17a(1/1710)-22a(1/103696)-24a(1/2513489)-22a(1/60932772002)+12a(1/7939642926390344818)-22a(1/2227681622247696280801)., [5,13,17,41,53,113,229,257,3172201,3742729,419158541,3158813476561].
7, 6754, 1, +83a(1/107)+17a(1/1710)-22a(1/103696)-24a(1/2513489)-22a(1/60932771997)+12a(1/7939642926390344818)+22a(1/1113840811032448982400)., [5,13,17,113,229,3742729,3158813476561,371280270323838736801].