A nonlift newform in S12(K(16))+

(Filename: eigs/eig-plus-12-16-4.html)

FORMULA FOR THE EIGENFORM  f
with 312−3λ3 = 72*(831 - 8*α),
where throughout this wepage, α is taken to have minimal polynomial  -85 + x^2
Note that T(3) is the Hecke operator under the scalar-invariant slash and λ3 is the corresponding eigenvalue.
The eigenform   f  has the formula
    f = Σi=112 bi Grit(φi) + Σi=0179 --- 3 c1,i T(3)i g1 + Σi=0179 --- 3 c2,i T(3)i g2 + Σi=0179 --- 3 c3,i T(3)i g3
where g1, g2, g3 are the Borcherds products that helped span the space S12(K(16))+ and where φi are jacobi forms in J12,16cusp given by the following table.
φ1 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,3,3,4)|W2
φ2 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,3,3)|W2
φ3 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,8)|W3
φ4 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,4,7)|W3
φ5 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,4,4,4,5)|W3
φ6 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,4,4,4)|W3
φ7 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,7)|W3
φ8 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,5,5)|W3
φ9 TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,3,3,3,3,3,3,4)|W3
φ10 TB(12;1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,3,3,3,3,3,3)|W3
φ11 TB(12;1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,5)|W3
φ12 TB(12;1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3)|W3
Here is a table of the coefficients bi and cj,i.
b1 329452273362333769476193253857529026501976960076244762813113577399914785894707062276354585151795793764601845330023393433019790469646765415498839492909897410015117428777010079681691905408202726185091315854797781385538703902655232795563245837973776275572133416778280921001083869892156830635278280971584497349078263488059166728642407075899980818395209390085731088889018523409490966087376366917095195358541719810723724593142877664178372591963127378179724185205212468652546843165062422179522218206057994943456029308100785043291677743208374928519597318588533770402060539657922031625761390187267891890539672125145877966805878407681768975725288593264777355365606349747034869499496061039156069508871876097878984792531361080548848611381263272800298361098267048774750682722138747605441239638240289489014050674701690023018717773976002967143429123517132457919544773157467753137111469394679167958216153544017409225862138905943927920043344633456524219459532271899601552604864840087727171602506439223789744059502912945803058969093300969964614044372758092000425006688038498138000302057220938995373644972349057404613968170220508340567196794698490436873600264489581584209960943877085688525112019756226908228030453605006624944863056269007177205693330104644847112674161446199/3768641036484622816250702510629315903696295931920105613432032714551924627298547392831235600113940661134578706479231331822058842436570608423607032589678028987655663996676455145986583873416485704457948767667042607289185630038402571990766874129436113380327625228436096342683671058390846795302419894938414595070538791378540003263754155512468886324548859891580428331786738308999995783048150074081531178649358190286221435625370620889712946826800596309696591824043840495915841499518545156926282977714665834234041877718378555996877880378073493201193560410313816301204291738598768046470483479866175902988221044149381294322594279755584684174934613849455396544890924541118100451538907797998479582149901001719391060939247977897613682908342524362804911114297490705097493548468092085301286584091390453461363952784328062419300426715781966099170484700987048911679139437678452200156512976815705927330572253594793547168602317809213310145528701681312572425544980035897397808061299356592544758657372412015731831703990906544210570712619799234694925069418235507298114077739708004276827113034050927045554434845066850198656018210625642859674276219003393907410488424460478199594773797397974337268264471641244781835620178122363966388968474585848014977250112979597262848000 + (337336708034624281246940823616497921926575766416344239658759989826582249475023713456417150367610562760985867397077748824887207915048274400997643639388943605005416487705488067809392594955931565252477713731966655555432211961004776626988304726932268063213802812587992832827736676854624113512909255590351900926663195652116043963867253876850865507706077363376722834741547703736597519323372425467592384885998294854597702127590456515888339582972667006396274464919260241611454363287664975529011076787897965936571742845753724561341110221812762831686954442520494308871542587922044925122271677563963912767956137654199230269135381508561177394679460807812182868502502925224386013995922805119290174613165312567094323498662911980836915015867963714968579368205344324789262254877059691637159525937012513484546937917352255418690547519978520511749961141441142180882459089397593548588438197423852674427360427984399608977077356495979897839033416612668741539213040949532931749263156317333747797189420978223795384724200890646527020640841056404003652335763110760320711000899893722247757941913154583870101460983922104907495459972859077600298932311193683361576578392520821731476093415335637588639846242700888905168878216090153331870474505080906919145598970137012159025317358579*α)/235540064780288926015668906914332243981018495745006600839502044659495289206159212051952225007121291320911169154951958238878677652285663026475439536854876811728478999792278446624161492088530356528621797979190162955574101877400160749422929633089757086270476576777256021417729441149427924706401243433650912191908674461158750203984634719529305395284303743223776770736671144312499736440509379630095698665584886892888839726585663805607059176675037269356036989002740030994740093719909072307892686107166614639627617357398659749804867523629593325074597525644613518825268233662423002904405217491635993936763815259336330895162142484724042760933413365590962284055682783819881278221181737374904973884368812607461941308702998618600855181771407772675306944643593169068593346779255755331330411505711903341335247049020503901206276669736372881198155293811690556979946214854903262509782061050981620458160765849674596698037644863075831884095543855082035776596561252243587363003831209787034047416085775750983239481499431659013160669538737452168432816838639719206132129858731750267301694564628182940347152177816678137416001138164102678729642263687712119213155526528779887474673362337373396079266529477577798864726261132647747899310529661615500936078132061224828928000
b2 1023945741740631618771376954262939048998864288112303971656729501612001658392275648464932132721223105076963404475479809474277099800244571128153582725185612885890711353580906956934476727815219298444944069205313608924088588102378009755882733471857940489194936869902670875248062712683211892042595977674806852580480430640397253744088984402566768984583777323075290093445725842629489994152346672560596767781894540733238019169802770338485428880155946969036534308131586948903685211281950814709683268476484590551463794134266488663635015737156195559030055488081358079024761740099962599940762306653651530351075296553756360278590987646623482064949383992703653776892060636547118684744379257554705343219828798921746477069253808230657633217347287017037966386418615768591917518450552726692294508247902867989162661717018958288026799743188955763700061456893636874598491397194344688053162112081505336452332871441750783208801154800962683713357292970585730740390675405114125975771297125210931129999797178494744529462122070564186285382311741587162632857043491224622770616997878697322260819205564834710098693782067286689533210601618187220393323570927405983769019208604630595781596416133538564515269493996625335481317887974655349875300215189659118868375084155104329558443427183021/9421602591211557040626756276573289759240739829800264033580081786379811568246368482078089000284851652836446766198078329555147106091426521059017581474195072469139159991691137864966459683541214261144871919167606518222964075096006429976917185323590283450819063071090240856709177645977116988256049737346036487676346978446350008159385388781172215811372149728951070829466845772499989457620375185203827946623395475715553589063426552224282367067001490774241479560109601239789603748796362892315707444286664585585104694295946389992194700945183733002983901025784540753010729346496920116176208699665439757470552610373453235806485699388961710437336534623638491362227311352795251128847269494996198955374752504298477652348119944744034207270856310907012277785743726762743733871170230213253216460228476133653409881960820156048251066789454915247926211752467622279197848594196130500391282442039264818326430633986983867921505794523033275363821754203281431063862450089743494520153248391481361896643431030039329579259977266360526426781549498086737312673545588768245285194349270010692067782585127317613886087112667125496640045526564107149185690547508484768526221061151195498986934493494935843170661179103111954589050445305909915972421186464620037443125282448993157120000 + (987632509986844944525643376237610409934327727379269597311240926221495864954666854575236576842495755218347217993242884909519602966307523515701319829519604246698369922931801583668354307324942460559457699010947052568158282557957520390414808599751434317033324889888609934343005637748884265525110077430652713072308377571954545106360736824202283890899718147524625814137995592383559726822921083383589732686553999172372432603603698709254057327899015599300500443678126405899908346902707527943386656153683475041266778947693870171463733584236783799717813541392720598801606082912916669985510929751465000608343716199077288136797469666173608820624826716315627901921844649066086173280709063696231845073765613798962723880515008240671977195175263182162363031063913168211928392096035512798093056459572134222333505650103147922570094688070308381291160454312727267465018793605446001202148317819478320386819411299331481542550910007482480168531843564234926979993157335931363052922736347371817777583322971042890497050504906698783772763636559152133566384681703442119384352961655139725300022883752067148179133527096068483005567455272745141591452155016472058703694101524982191828757040172993321042208090179513450532209478860707607090577831734974110046657081432733790450998019841*α)/588850161950722315039172267285830609952546239362516502098755111648738223015398030129880562517803228302277922887379895597196694130714157566188598842137192029321197499480696116560403730221325891321554494947975407388935254693500401873557324082724392715676191441943140053544323602873569811766003108584127280479771686152896875509961586798823263488210759358059441926841677860781249341101273449075239246663962217232222099316464159514017647941687593173390092472506850077486850234299772680769731715267916536599069043393496649374512168809073983312686493814111533797063170584156057507261013043729089984841909538148340827237905356211810106902333533413977405710139206959549703195552954343437262434710922031518654853271757496546502137954428519431688267361608982922671483366948139388328326028764279758353338117622551259753015691674340932202995388234529226392449865537137258156274455152627454051145401914624186491745094112157689579710238859637705089441491403130608968407509578024467585118540214439377458098703748579147532901673846843630421082042096599298015330324646829375668254236411570457350867880444541695343540002845410256696824105659219280298032888816321949718686683405843433490198166323693944497161815652831619369748276324154038752340195330153062072320000
b3 -142346551198013489569890048503207975403030847544657023981495697987486866105223916963218910424188367494511836107608802133547668337483768666271782739975290199957009794400687853951160968724761439111862939172677812467507301329324116134424335533974807532327318894454240474224051620624603410142857316944831430498697397664582962450683590297573078747853335329513761656287723404493409363492749844589117030002463020293222198565402468678947962673335329706557135093751097259483498310873048716630532445253998544462728488463057482029799492424778050130894858045859727845028080101068948219433272740506200024989232945639709423934847696189536314774818613453060240135460374397109848615731157687655868311140280218788505581619642831865500811846186746530312339683878553313477809773300400048646431744320321015547593512008346958134703967682105111888539998397741523363753558944646724057654678740106713730732370114598049910917042073884490083955991641320808196139398025056796016955489167866999054930262244550378607238600048546016763064624387946664133745046727426569064878298575350427556168008882305564617392435867201570816124214657733925716103655739574062138530456668945987806429058297160347134869330349242976289018331081554499882518894219011813638747893332929831094130037546561733/942160259121155704062675627657328975924073982980026403358008178637981156824636848207808900028485165283644676619807832955514710609142652105901758147419507246913915999169113786496645968354121426114487191916760651822296407509600642997691718532359028345081906307109024085670917764597711698825604973734603648767634697844635000815938538878117221581137214972895107082946684577249998945762037518520382794662339547571555358906342655222428236706700149077424147956010960123978960374879636289231570744428666458558510469429594638999219470094518373300298390102578454075301072934649692011617620869966543975747055261037345323580648569938896171043733653462363849136222731135279525112884726949499619895537475250429847765234811994474403420727085631090701227778574372676274373387117023021325321646022847613365340988196082015604825106678945491524792621175246762227919784859419613050039128244203926481832643063398698386792150579452303327536382175420328143106386245008974349452015324839148136189664343103003932957925997726636052642678154949808673731267354558876824528519434927001069206778258512731761388608711266712549664004552656410714918569054750848476852622106115119549898693449349493584317066117910311195458905044530590991597242118646462003744312528244899315712000 - (137455215280678433658222910225537592317608664703566355013026502067234176676936029897675325804270043418614503375910884402907324608698420068378466387444581714217231695051566428554584401572427759590901474112947253956076680022274677750833359315359993559080217168532525031192969557949067076170426333171442028904416065655728006933914628872076787137258206704710836682219173762693595437302729222168956057441663213823136062183190299530885198587309209776697001495963573787590783454528124839461311713035059453137799072278562526379818404529934363605852444902674303700692499995914665795639306321127208875491352075548907965580750418529007636823064614977863465268194730792263999017722831201671790839335916414929624396784553625971278516379486863752668568990120552939850051996857399730741971828975190885675410730558711558971503135987180395439104760908302322285406811724142029822036820280738672299946591548422233594840722758402840085955688641784014521672255186945082436251411794088959342691650738693856113611508012946134348256522757592116173331176775982373854658507278368810781661746062353378939049634645174413926839543031033075746414351895890251607244055391222723382418958610381383495438946237473529863319951556644140473857539557199890182658446077534999045072446371193*α)/58885016195072231503917226728583060995254623936251650209875511164873822301539803012988056251780322830227792288737989559719669413071415756618859884213719202932119749948069611656040373022132589132155449494797540738893525469350040187355732408272439271567619144194314005354432360287356981176600310858412728047977168615289687550996158679882326348821075935805944192684167786078124934110127344907523924666396221723222209931646415951401764794168759317339009247250685007748685023429977268076973171526791653659906904339349664937451216880907398331268649381411153379706317058415605750726101304372908998484190953814834082723790535621181010690233353341397740571013920695954970319555295434343726243471092203151865485327175749654650213795442851943168826736160898292267148336694813938832832602876427975835333811762255125975301569167434093220299538823452922639244986553713725815627445515262745405114540191462418649174509411215768957971023885963770508944149140313060896840750957802446758511854021443937745809870374857914753290167384684363042108204209659929801533032464682937566825423641157045735086788044454169534354000284541025669682410565921928029803288881632194971868668340584343349019816632369394449716181565283161936974827632415403875234019533015306207232000
b4 -1275280520821617833323896254783588119109495450066908998435056228362127905376365549822324105571357324127322287276767334723567091712872315092603464406334390260043988123225877419326686108765620930518955282091130551060490286298057171452116539984107354089117256356703070368242955012080790426179297481759284204202355684458877791346695656608948491963440963694639974165391253689617819513742752446241680198482724231041419188524952733889958128864452578755670862305564503258620588458553585492181831266370807296289545844133353838034576573255374853058550942127564446108173806922213251736085517411975422123549124957886466438629495492075129105204528784143015056569220153531952264204841729230200120344166754414134831587778054274429222698170906817463887725980517895091526781244380662958081244753542954859012193359898151762298809871240140639215417859641853947412847653540288138014392213239019443407446100078293213579706031023724385744379209871701102918406701935857422294017948407417101609230423524507080796935294786752565057409685794176196267223896748789686348708077409277907424925964754974039499774737363759515284788550238125079329438174679413272610537720328556423380897611781295747651656907096683490495987063227757331763107319557879906667755881870583638288296630795662889/8479442332090401336564080648915960783316665846820237630222073607741830411421731633870280100256366487552802089578270496599632395482283868953115823326775565222225243992522024078469813715187092835030384727250845866400667667586405786979225466791231255105737156763981216771038259881379405289430444763611432838908712280601715007343446849903054994230234934756055963746520161195249990511858337666683445151961055928143998230157083897001854130360301341696817331604098641115810643373916726603084136699857998127026594224866351750992975230850665359702685510923206086677709656411847228104558587829698895781723497349336107912225837129450065539393602881161274642226004580217515726015962542545496579059837277253868629887113307950269630786543770679816311050007169354086469360484053207191927894814205628520288068893764738140443425960110509423723133590577220860051278063734776517450352154197835338336493787570588285481129355215070729947827439578782953287957476205080769145068137923552333225706979087927035396621333979539724473784103394548278063581406191029891420756674914343009622861004326614585852497478401400412946976040973907696434267121492757636291673598955036075949088241044145442258853595061192800759130145400775318924375179067818158033698812754204093841408000 - (1231126201424468894250894992908360356226883244231734782935152079591876844643163836447651529434851511732103807755331113334598548702474144665388497018353213567849081713394161791435381057472746289142942082240409780139874800022387792869834785876597559412586562961591511569494201802793276976370500251894042183825952712663610290623136705634789227850046735485267713408956504906865995516131419975400783598067231196091418962127323996724779456027280588320692193555080482525291331026735441025607174347404596925281193578190985492236946160201515481668461204317059006191106766464472170772703198056320498194606512890214515507349109806548771577696902670779845255067110013693375302368046156046550001458806455945266648349381521975641296121116920969964385046591871569333346368745015706675214827982332709217286789756088142779394943180596273989323132893744643009805433289945965198539609186786591468194438693803020471527991025371443735345378432241975496411245708792933080756420310606166828149422532255922896521945066574570792093208245540494783023266966131294099530723603345692681444011353554649844808970002379853121292532603375478102751264126269315492114212136571618207196681603270363592163279976836268334263957326867510086734054984539354092916072855342704183938056644882669*α)/529965145755650083535255040557247548957291615426264851888879600483864400713858227116892506266022905472050130598641906037477024717642741809569738957923472826389077749532626504904363357199193302189399045453177866650041729224150361686201591674451953444108572297748826048189891242586212830589402797725714552431794517537607187958965428118940937139389683422253497734157510074703124406991146104167715321997565995508999889384817743562615883147518833856051083225256165069738165210869795412692758543741124882939162139054146984437060951928166584981417844432700380417356853525740451756534911739356180986357718584333506744514114820590629096212100180072579665139125286263594732875997658909093536191239829828366789367944581746891851924158985667488519440625448084630404335030253325449495493425887851782518004305860296133777714122506906838982695849411076303753204878983423532340647009637364708646030861723161767842570584700941920621739214973673934580497342262817548071566758620222020826606686192995439712288833373721232779611506462159267378973837886939368213797292182146438101428812770413411615781092400087525809186002560869231027141695093297352268229599934689754746818015065259090141178349691324550047445634087548457432773448691738634877106175797137755865088000
b5 -10055729976663582695706200708427250706498957660648874122746192253611805602472632737460241985227446281249185620483428286361230065256890893388290448861696423929748947599820904629698919411768073878054852579305654986151816958440451714199168216694148542593226069969618956893864783271413638198434619516310932750544989101191727820192302257899973878938731030432395143406239956963707809177423521280555444822040385514670904313308630773539547291031993994165425486361512775641158764355524461587946107573628687663884312841194247457173455600098672171559566906229471909794554612010366414450545623310919286161578725872809757754902638595188026612327611423443134308760386278793895606681295640371033304162103224781566992459670506053719134416658020518014228417484746680368681572226576847184260566615959428172650089203115585369471580808419095927555584679869093026391960631955958224088599736058007219870040434389225151899876890506349974936564725262153610085944192378262387942082895103770511340685596812722190878204330958911603614005519108979055936202082101359385828752851143104407111003314987404929719618376893112658057683066031401833887850772432287043241052190066599854461110211262619881211389165757872469797691266839458402327218820530791970054070975789417588904665183746352337/50876653992542408019384483893495764699899995080921425781332441646450982468530389803221680601538198925316812537469622979597794372893703213718694939960653391333351463955132144470818882291122557010182308363505075198404006005518434721875352800747387530634422940583887300626229559288276431736582668581668597033452273683610290044060681099418329965381409608536335782479120967171499943071150026000100670911766335568863989380942503382011124782161808050180903989624591846694863860243500359618504820199147988762159565349198110505957851385103992158216113065539236520066257938471083368627351526978193374690340984096016647473355022776700393236361617286967647853356027481305094356095775255272979474359023663523211779322679847701617784719262624078897866300043016124518816162904319243151567368885233771121728413362588428842660555760663056542338801543463325160307668382408659104702112925187012030018962725423529712886776131290424379686964637472697719727744857230484614870408827541313999354241874527562212379728003877238346842704620367289668381488437146179348524540049486058057737166025959687515114984870408402477681856245843446178605602728956545817750041593730216455694529446264872653553121570367156804554780872404651913546251074406908948202192876525224563048448000 - (9710112635051806523228324610546677346164736352254145056006133467359736444585812818924926099462773900468908388653109297122819952281693204337492261370695633568304172361662940240841901836938730044815001850129252886511335886532799267500175244419754349306812184369139060303297770018798658704432001231397859500906360843192701245576770673932627218005365484159752182577935294893078200944892412983620049736880219315850622204395383431533023924443530982697080665831526837007408438205184933574547945805236138500160838217815312412042967112802011379255299624609316496317423946015076041289048140306459673288730488691102329033329515297844690518136982618305615213645205628358351949572150848082751793950251359075885259537537741565833595968929523582499716711314127460188885545749397832837279981746914149562993402954647195640987639609625272715867832595659815552384184422994708866536883931519943111699403231764548080230644828593851570301057817766866535700868484350869616758833274369777260893245261043390341484417170660149806861507050553502740199457244940443795879538562470580145931572403175035319415375896104580027534891379204302822547799803389361014755622817705943910296076424097013776771992893960414833817850702020809516270377815613215930363870585404015221650003207239477*α)/3179790874533900501211530243343485293743749692557589111333277602903186404283149362701355037596137432832300783591851436224862148305856450857418433747540836958334466497195759029426180143195159813136394272719067199900250375344902170117209550046711720664651433786492956289139347455517276983536416786354287314590767105225643127753792568713645622836338100533520986404945060448218746441946876625006291931985395973053999336308906461375695298885113003136306499351536990418428991265218772476156551262446749297634972834324881906622365711568999509888507066596202282504141121154442710539209470436137085918146311506001040467084688923543774577272601080435477990834751717581568397255985953454561217147438978970200736207667490481351111544953914004931116643752688507782426010181519952696972960555327110695108025835161776802666284735041441033896175096466457822519229273900541194043882057824188251876185170338970607055423508205651523730435289842043607482984053576905288429400551721332124959640117157972638273733000242327396677669038772955604273843027321636209282783753092878628608572876622480469694686554400525154855116015365215386162850170559784113609377599608138528480908090391554540847070098147947300284673804525290744596640692150431809262637054782826535190528000
b6 -66863704265279916650987149134688752501470245953386680143245750668648971153423796665005414596203291289169929566814485267967587779056869866469331932723607214694701875093076526402458460839691196024226619832301291054368518133264834185410217977697939801504458433147756923486158611221490060171106516296281276479666490488402824659148498666774491435190368406810488816585908003247867271204197326845512218639578885444503431368672482117856898089129519786343480160534458316350940259486562022456946229194774961618347356671637120525785278762685216585967240269759353473542518704549276063391970059699352905426187816277116076905369439581598466808152727127685327827808611757095236438583538634438006214111443326927690841585487248082575945023740074153257487358803007788299771687433909112032100412693396153455909578217551279179357563533945277799623886099915506125234982470115212563906661346913652708794890029300419161362950799914265271745810898808539712187485977415685506324604696554191705297281058485941167894002069370637270961650750580204510082611539054554457856435219599284658321047062046685502742165098733231524330190894174801743102078606908290117948245326777414838318319167639272809886243763812523203581984085228141543518188888642823893852362317302583101879477706130325887/508766539925424080193844838934957646998999950809214257813324416464509824685303898032216806015381989253168125374696229795977943728937032137186949399606533913333514639551321444708188822911225570101823083635050751984040060055184347218753528007473875306344229405838873006262295592882764317365826685816685970334522736836102900440606810994183299653814096085363357824791209671714999430711500260001006709117663355688639893809425033820111247821618080501809039896245918466948638602435003596185048201991479887621595653491981105059578513851039921582161130655392365200662579384710833686273515269781933746903409840960166474733550227767003932363616172869676478533560274813050943560957752552729794743590236635232117793226798477016177847192626240788978663000430161245188161629043192431515673688852337711217284133625884288426605557606630565423388015434633251603076683824086591047021129251870120300189627254235297128867761312904243796869646374726977197277448572304846148704088275413139993542418745275622123797280038772383468427046203672896683814884371461793485245400494860580577371660259596875151149848704084024776818562458434461786056027289565458177500415937302164556945294462648726535531215703671568045547808724046519135462510744069089482021928765252245630484480000 - (64656102722725443824804031469583291296123440545261411253509192503001074583340750439216200671278100961571493475436778355921194820602143124913085902318491751817997566653902190334967161604141638666001559482430280771023755634012064339049257066095313091831354503730732907561784957812959653333459542778169063521260759602864715065346433901274245044240185305864838758918922029066900074913858082183159575052800620464526492529731772621201683760829273038426416979404168729821662174744693045612864267274392116930035807613061632436186698208002410936247585300190932224020032510273150794782173841132330431965318660845152312646735848380081717235024243998346337570210819479543933565556721216910832998832183125418883828079583780637204424849087196247441306143837548180085549334172435742978017340206831044963191006875199288216613990053319256583730406242171205290343312770540831690133589833370132212896017774421174578064667929473955509390345946205991631050176518656831090095868384859237942028693800838252899129378010108867321430538575713888822046134294664152293403650213874329140755063383843636903081305210199019232231165484607210407042384838067054717840383472024924805270129571560346670224758737707771593955356800778488325640433072777380396403698219638186746520992466510427*α)/31797908745339005012115302433434852937437496925575891113332776029031864042831493627013550375961374328323007835918514362248621483058564508574184337475408369583344664971957590294261801431951598131363942727190671999002503753449021701172095500467117206646514337864929562891393474555172769835364167863542873145907671052256431277537925687136456228363381005335209864049450604482187464419468766250062919319853959730539993363089064613756952988851130031363064993515369904184289912652187724761565512624467492976349728343248819066223657115689995098885070665962022825041411211544427105392094704361370859181463115060010404670846889235437745772726010804354779908347517175815683972559859534545612171474389789702007362076674904813511115449539140049311166437526885077824260101815199526969729605553271106951080258351617768026662847350414410338961750964664578225192292739005411940438820578241882518761851703389706070554235082056515237304352898420436074829840535769052884294005517213321249596401171579726382737330002423273966776690387729556042738430273216362092827837530928786286085728766224804696946865544005251548551160153652153861628501705597841136093775996081385284809080903915545408470700981479473002846738045252907445966406921504318092626370547828265351905280000
b7 -206450336957246681876213793081211431205665820486240660838457389536413936325768360504519707653280885198476323625174897188509413708113287394237266532552098487066393728999042850897083538406731047921680862045503439235543353655960954884973123053904334082078809703116556548288498928346821208982088519933037914311456111846572977011210281546739367444583629527302134615004581439027377880895363019584166507046870416359840545062737590927020209542092263828983393264644202744619594940339038042982332623139046852495508079965464613284866796807269264999988205208597096372920152102085652991513598655565335575686368430955708334587116815266711176433532391465565361446392900958466301475817235768729474020402664691642418345400241837826624113761073438900922405948482343534047582191126995962999459623708538104810398319337062597459905070249167689172024891143546520005459307926568914316403550151036785946271743152376969987086581104657544209419990566754137751875852377196190917542786174838678307182997190680395433652568607242743271461581469147877167942329215074577942485495060471684699796248998064720108635564262292141919545497832754193246908226277951248673143506401680147837031046572366571567925418268418279219724988009540276108411259935437241985865903684852945953712472764235906289/763149809888136120290767258402436470498499926213821386719986624696764737027955847048325209023072983879752188062044344693966915593405548205780424099409800870000271959326982167062283234366838355152734625452576127976060090082776520828130292011210812959516344108758309509393443389324146476048740028725028955501784105254154350660910216491274949480721144128045036737186814507572499146067250390001510063676495033532959840714137550730166871732427120752713559844368877700422957903652505394277572302987219831432393480237971657589367770776559882373241695983088547800993869077066250529410272904672900620355114761440249712100325341650505898545424259304514717800340412219576415341436628829094692115385354952848176689840197715524266770788939361183467994500645241867782242443564788647273510533278506566825926200438826432639908336409945848135082023151949877404615025736129886570531693877805180450284440881352945693301641969356365695304469562090465795916172858457269223056132413119709990313628117913433185695920058158575202640569305509345025722326557192690227868100742290870866057490389395312726724773056126037165227843687651692679084040934348187266250623905953246835417941693973089803296823555507352068321713086069778703193766116103634223032893147878368445726720000 - (197478015935332298573226964215236909316967887175660130451138222922461076161910544872982445254190845619797328343200559812081237225705870883702690328988151504575376826310403572045150241909200618660660002139734246747768134383781595069243657816485594838968996923255116244630759706269690677233984302252140887285520071142419160726502117396755632490664877639862834041359211015922628866649613618648543505647306243406618422579483155821809006861143327482735919146429230847259864557852669906096400378397627510915781357191173786026891374956189907886312491592033819827929742491076812585690297389958461541158492347378320229939733819522909766196521942162429273930296885483146268604440970226960778555702463178787442150202230284614549551885750375601725271603521991528671786898641223662964553701525123309470872306489128570764475759060783596656174437192717398946401024142786250138573265939257078274020333741655086857588244008260324724368689474374811445363783306826650760554146251192481962888282493583870071211804218433627287995900893687082381560625269253991668432570883034986412679861420532268401486379691990361515570101872131558715093387778840527374076267711077696023856795655703804107082062814575368552905398309130007797647631135500490960448390481482949374606091369075669*α)/47696863118008507518172953650152279406156245388363836669999164043547796064247240440520325563942061492484511753877771543372932224587846762861276506213112554375016997457936385441392702147927397197045914090786007998503755630173532551758143250700675809969771506797394344337090211832759154753046251795314309718861506578384646916306888530704684342545071508002814796074175906723281196629203149375094378979780939595809990044633596920635429483276695047044597490273054856276434868978281587142348268936701239464524592514873228599335485673534992648327605998943034237562116817316640658088142056542056288772194672590015607006270333853156618659089016206532169862521275763723525958839789301818418257211584684553011043115012357220266673174308710073966749656290327616736390152722799290454594408329906660426620387527426652039994271025621615508442626446996867337788439108508117910658230867362823778142777555084559105831352623084772855956529347630654112244760803653579326441008275819981874394601757369589574105995003634910950165035581594334064107645409824543139241756296393179429128593149337207045420298316007877322826740230478230792442752558396761704140663994122077927213621355873318112706051472219209504270107067879361168949610382256477138939555821742398027857920000
b8 -175418163206034146775772514707597504464906999518472773458766230035098952861137361704742001735567932194339563899056587461347654629475454948924310530090265164235222330339455525128880843325749756037796470787775795265096747189413294605395182307010814354935739526813647093731677482606296113612045439360532401910109411983112119141302096659724060718659528876838824715850909267104416142916952577319698291703286786631905453881403645366765427591827701902950890488011634557209361421259861559092776180727559772728698268600834624263696579946136501730813141307479061125478146490159481505579772151741136382261379206267027395508439311174521412938055532631707220996402901340147798099403047216691877271286042979183135174393346162559985696228236732746564258105714718138643380262512059546455567565666703454917126954840057396293611929057204075337817406440354670852116180607352538597956912940235434323562516547194594456666391020290330432313917433922851217679685768805169895208108475378260013939162576014437692304091245218438904010393254485793167585351902873104909368664988673712090513889190836293675381560576243564557629896286248616580806345752450937394088262428144106197200636681353310051650209646824976089350527699145261595450719033299451118774677884203322215820153278505707/2035066159701696320775379355739830587995999803236857031253297665858039298741215592128867224061527957012672501498784919183911774915748128548747797598426135653334058558205285778832755291644902280407292334540203007936160240220737388875014112029895501225376917623355492025049182371531057269463306743266743881338090947344411601762427243976733198615256384341453431299164838686859997722846001040004026836470653422754559575237700135280444991286472322007236159584983673867794554409740014384740192807965919550486382613967924420238314055404159686328644522621569460802650317538843334745094061079127734987613639363840665898934200911068015729454464691478705914134241099252203774243831010210919178974360946540928471172907193908064711388770504963155914652001720644980752646516172769726062694755409350844869136534503537153706422230426522261693552061738533006412306735296346364188084517007480481200758509016941188515471045251616975187478585498907908789109794289219384594816353101652559974169674981102488495189120155089533873708184814691586735259537485847173940981601979442322309486641038387500604599394816336099107274249833737847144224109158261832710001663749208658227781177850594906142124862814686272182191234896186076541850042976276357928087715061008982521937920 - (169331359941367329070788533483674433540340432419097036922269388405778938038094333084027973744564911294672432973244261519752106253463498417247244025753231134310276322538066836294110193398540681170684866297687781834297144556430480972474323607683112594255680767067597631348210249044796690247617931287198787121265922174032086590355144508479750253478838219373875008328450896195790578865931812698446850920003015109813878264484993992557691031831613419287632838040415477616823455802866966018783353663354357410300053140783678093607323426083771157228911990457821698161208995054842240670644741864110508239145164189929255069830734982754660119732108320968404603326413145937452904902717620427832966856133859241452292014209750143507313318727127887452555705795716508341171235491032074930808106719922197053882434169859256630312429936361934300212498559442498381411137050411277760573146060034770474854955438149983818721674574984943216781387908205968568012444908385027329734084351383616490991318043792477281359601131357985181327430488711870246420994453694258957795939037839014257407802143472715439867124284104203608960017192793364923880960120283692601803320175831560964240532184913174248165535857401099246704515759815792282546893852328644944944742951608723714508811031287*α)/127191634981356020048461209733739411749749987702303564453331104116127456171325974508054201503845497313292031343674057448994485932234258034296737349901633478333378659887830361177047205727806392525455770908762687996010015013796086804688382001868468826586057351459718251565573898220691079341456671454171492583630684209025725110151702748545824913453524021340839456197802417928749857677875065000251677279415838922159973452356258455027811955404520125452259974061479616737159650608750899046262050497869971905398913372995276264894628462759980395540282663848091300165644846177708421568378817445483436725852460240041618683387556941750983090904043217419119633390068703262735890239438138182448685897559158808029448306699619254044461798156560197244665750107540311297040407260798107878918422213084427804321033406471072106651389401657641355847003858658312900769170956021647761755282312967530075047406813558824282216940328226060949217411593681744299319362143076211537176022068853284998385604686318905530949320009693095867106761550918224170953721092865448371311350123715145144342915064899218787787462176021006194204640614608615446514006822391364544375103984325541139236323615662181633882803925917892011386952181011629783865627686017272370505482191313061407621120
b9 -13208585053693639814411042240364905553593460912435129491130517702786935673986780360713744781532198207995519518068070961783153751367253870359879902802998534958947572891597813899440622150382127951018215351729813077016419588955646628293091200528985386799845305561372884907273768792809217535903017183901019443935772063429981104439216802653758972824970412524764137528244381190488496270638633393874322295704371408615922635439386008224513800685726870438782970636628809931696363736309456868060812421281640500059678439425233663604327115096935861452991274047477689157412013994991525371100921160773152534471621670755326433625816300759177544279408157970914636451214814592256971842270966511227325520104219242096352350001773430108124455677735017092607495461727690124797137692319151540185705376263492397935102511485773560032419014071367095760124382739680439466342334130093021726443641577934682062554131598033028353274418289427427267847660162415798228724210062756889707808480007187078997346806662286665205282428622800684954596332619071726690242640333491208592205395809928122474667005175949680727062368727432095353215217148361152464301706892885266128441268991263647532782004033880024509327234608659185940656616213073040312126060559942879088458216590049934110970713626850099/2355400647802889260156689069143322439810184957450066008395020446594952892061592120519522250071212913209111691549519582388786776522856630264754395368548768117284789997922784466241614920885303565286217979791901629555741018774001607494229296330897570862704765767772560214177294411494279247064012434336509121919086744611587502039846347195293053952843037432237767707366711443124997364405093796300956986655848868928888397265856638056070591766750372693560369890027400309947400937199090723078926861071666146396276173573986597498048675236295933250745975256446135188252682336624230029044052174916359939367638152593363308951621424847240427609334133655909622840556827838198812782211817373749049738843688126074619413087029986186008551817714077726753069446435931690685933467792557553313304115057119033413352470490205039012062766697363728811981552938116905569799462148549032625097820610509816204581607658496745966980376448630758318840955438550820357765965612522435873630038312097870340474160857757509832394814994316590131606695387374521684328168386397192061321298587317502673016945646281829403471521778166781374160011381641026787296422636877121192131555265287798874746733623373733960792665294775777988647262611326477478993105296616155009360781320612248289280000000 - (12761770629975186837750330263606188933159932154657041419458966788787354665675544500490672302026525739105867651131796327346411696655728845731152453276143342323184286406104734669548577917909112048825221138422484885557403806817946621477754400208344644997121353423486629876702393264861778547632580616829758023669099912588503634399134554238447912012455168425276452231838371949421079437865167772178779061112517806024598449130829132133720943957869337822988760112753166767242915912650483031326470345729354328298058938079889298968199313060458190799909016419671168917798678596154443984844745664056621023676043409650113285569408091037760052557273787248870253227143731102909907164751301653256427541158094586168597848203813884857711580800907244838881152898301174142546347677959949176490852258196884408932082628523314773557476725089708679677815991270322845575304693320554023821015318872485654663582967350706165497850808226866753197815935382790839625697237470132739264705719954459014521112623459131829961748350135066929713844846414515439453649850535862231666836954057655231993686982563810465970111553023617002572235057984349517118219667005987035763574945498798924771857636270167185500010053343721418552999685586084393294355652005875783566578540783035270569704409699679*α)/147212540487680578759793066821457652488136559840629125524688777912184555753849507532470140629450807075569480721844973899299173532678539391547149710534298007330299374870174029140100932555331472830388623736993851847233813673375100468389331020681098178919047860485785013386080900718392452941500777146031820119942921538224218877490396699705815872052689839514860481710419465195312335275318362268809811665990554308055524829116039878504411985421898293347523118126712519371712558574943170192432928816979134149767260848374162343628042202268495828171623453527883449265792646039014376815253260932272496210477384537085206809476339052952526725583383353494351427534801739887425798888238585859315608677730507879663713317939374136625534488607129857922066840402245730667870841737034847082081507191069939588334529405637814938253922918585233050748847058632306598112466384284314539068613788156863512786350478656046622936273528039422394927559714909426272360372850782652242101877394506116896279635053609844364524675937144786883225418461710907605270510524149824503832581161707343917063559102892614337716970111135423835885000711352564174206026414804820074508222204080487429671670851460858372549541580923486124290453913207904842437069081038509688085048832538265518080000000
b10 29847771510277641362238783612011007136575477706047149436299668768010211803367413940064589253096891500310285748628540121211363214744083697970796935237084676766486367789048807029137961859403542848541658065021403478800016673044247869672383862766653949708304069760072358089289007677579100173283506254593308175374740450027060053787205098258777794170425567081975787315176188814394345848927358769851901425605725006133657341577339999764056032072496022372635065733283663602313200461131334801009816536612972715316997826430380190509768938547312335008494101764687870225877368191734237854658320656722285748380878296243491724284842893029258600223391020118266381115504673993901878297738694561859599732374258792682756559908586573571752150625710580211765224126683686120709494579251676477868353521674144969300341714167782436894067783547776039166132841357241210237073014335488662954957893745148482210329318922190277189832142828825534394879202848969747334463561683776787938416473504436083864599602271430501869701582209906852913742334166656250900124770690859734612982963193566160021388217175089129949736981183243826629387198927274004918527184846125115364266391389372430045746157041842444177139288137744973298125216053267343308084592252201547451742808287260656792369337913/235540064780288926015668906914332243981018495745006600839502044659495289206159212051952225007121291320911169154951958238878677652285663026475439536854876811728478999792278446624161492088530356528621797979190162955574101877400160749422929633089757086270476576777256021417729441149427924706401243433650912191908674461158750203984634719529305395284303743223776770736671144312499736440509379630095698665584886892888839726585663805607059176675037269356036989002740030994740093719909072307892686107166614639627617357398659749804867523629593325074597525644613518825268233662423002904405217491635993936763815259336330895162142484724042760933413365590962284055682783819881278221181737374904973884368812607461941308702998618600855181771407772675306944643593169068593346779255755331330411505711903341335247049020503901206276669736372881198155293811690556979946214854903262509782061050981620458160765849674596698037644863075831884095543855082035776596561252243587363003831209787034047416085775750983239481499431659013160669538737452168432816838639719206132129858731750267301694564628182940347152177816678137416001138164102678729642263687712119213155526528779887474673362337373396079266529477577798864726261132647747899310529661615500936078132061224828928000 + (29182388867436361187573427248729008027787530946801672050587076132272971728114771594574823262757359949270299713973065104456036579093450359355395678937069819933934117022221523636031880914886135672629656713379575084422987897882667824374593179326292212630257334156596603166135635809255288696825527843041167411475569875879936416112307260745385151924083606295226370807246873823729565686675856798912436558204587973651225327232471167473011152722012024464644039989283789209960479914690526838124378863929952200444202621138057656518931729434694607532459050983853923489290779531322741077503757137933081351370429644715134913574070266374785166382251544620674315520326850472625450119123622860114950137756036509897042478135143088638150917240329893001296235949838303492044313914730476592867568066962958045399151735111577360704667249257789487208707791188460080115348174350530553401987602860770553209156948378996063356344393929731481602931085766594999064242279514505474885217211636569953163977829652780543457875317894161861668698046467175346488683770727701760828185249166573307214721659847456310432364038022065465324142708210527484642146553404655528174339672142655075291874164183956530232266867472571381203632594676545273544715210407656060545906431736936028278022973*α)/14721254048768057875979306682145765248813655984062912552468877791218455575384950753247014062945080707556948072184497389929917353267853939154714971053429800733029937487017402914010093255533147283038862373699385184723381367337510046838933102068109817891904786048578501338608090071839245294150077714603182011994292153822421887749039669970581587205268983951486048171041946519531233527531836226880981166599055430805552482911603987850441198542189829334752311812671251937171255857494317019243292881697913414976726084837416234362804220226849582817162345352788344926579264603901437681525326093227249621047738453708520680947633905295252672558338335349435142753480173988742579888823858585931560867773050787966371331793937413662553448860712985792206684040224573066787084173703484708208150719106993958833452940563781493825392291858523305074884705863230659811246638428431453906861378815686351278635047865604662293627352803942239492755971490942627236037285078265224210187739450611689627963505360984436452467593714478688322541846171090760527051052414982450383258116170734391706355910289261433771697011113542383588500071135256417420602641480482007450822220408048742967167085146085837254954158092348612429045391320790484243706908103850968808504883253826551808000
b11 888146098335561925536384430195512400127799747940514746350665940691547208038682317681421050071459310560476100621287425471936614483366679891497760951380648502462206961343227572813582105184709285914496321950447265633709749944786325986495766810989860721150686966773067252021664179912787446925691804500690074676360771728953255561515449057399059414496809768799058151945718082455443603600216214126294034177050475787847213463427718752374358490999402235923669747867161383844187816791900591129470632935173227154737459248342306425404700023273870373893454916800683905250417253163052058043364366146098999873292059593336807680846193645965306823011800550513699155037984762044613740097723000160346183060958696961462120090556427828398766629455096795704861628840655506615273651515295367470637988629241841114913315997529497081493918069278095309957353685274789020261060594815000655894027875341447208052967698831547589742381103804832291264756446915184547876028085296511355161176440904767960565514651314460581935632651715126165411208981756152890495128064336821465237205605764121111653993181306833952884015123050127063812380433476201618487097808386518246849435341509625547561303858500489105357441135202939413868266333680741308899111509509441393770107323419771632764720352210531/588850161950722315039172267285830609952546239362516502098755111648738223015398030129880562517803228302277922887379895597196694130714157566188598842137192029321197499480696116560403730221325891321554494947975407388935254693500401873557324082724392715676191441943140053544323602873569811766003108584127280479771686152896875509961586798823263488210759358059441926841677860781249341101273449075239246663962217232222099316464159514017647941687593173390092472506850077486850234299772680769731715267916536599069043393496649374512168809073983312686493814111533797063170584156057507261013043729089984841909538148340827237905356211810106902333533413977405710139206959549703195552954343437262434710922031518654853271757496546502137954428519431688267361608982922671483366948139388328326028764279758353338117622551259753015691674340932202995388234529226392449865537137258156274455152627454051145401914624186491745094112157689579710238859637705089441491403130608968407509578024467585118540214439377458098703748579147532901673846843630421082042096599298015330324646829375668254236411570457350867880444541695343540002845410256696824105659219280298032888816321949718686683405843433490198166323693944497161815652831619369748276324154038752340195330153062072320000000 + (859556563310662736947136222907628780365366060104820402436733916168335902090044608277069125857797093057925650081172525267189181896895795398395570829370743955334035169033610432787302753092039653651857979034048999554437325842520761554591401349140895602999481325800391206280388624365258452879708602799292730514402815345487264619019907210070334667691729404407551063068096426782472422260964916453110007082509375497591665306141648851640761195953597309973810228618478295874914578340716685006069596657644973733339188579389323647363528569711432498025065605645706495090444614159500925681942389370167516943115560578509453649933266274726799491345188641529462466443253309419388519553277189991872077822972993369445470165020564794473249016327223844559931468040659760105648671566632816908421657920660793134606995637063723460682424858545133357766397631382009145313344870138891325549319586408453175291130948313709757523239378758016240205825636866315763848243246591838103919576290274833797721768021451857310590212668503268786946487052929386087833795364627010725531273735771551219657358790881646672160326569645956849451201004270067423333689193059256641591807942184440098567677242868408474455568639181181231576650322342238294738659875516280808474140777316387175821605065551*α)/36803135121920144689948266705364413122034139960157281381172194478046138938462376883117535157362701768892370180461243474824793383169634847886787427633574501832574843717543507285025233138832868207597155934248462961808453418343775117097332755170274544729761965121446253346520225179598113235375194286507955029985730384556054719372599174926453968013172459878715120427604866298828083818829590567202452916497638577013881207279009969626102996355474573336880779531678129842928139643735792548108232204244783537441815212093540585907010550567123957042905863381970862316448161509753594203813315233068124052619346134271301702369084763238131681395845838373587856883700434971856449722059646464828902169432626969915928329484843534156383622151782464480516710100561432666967710434258711770520376797767484897083632351409453734563480729646308262687211764658076649528116596071078634767153447039215878196587619664011655734068382009855598731889928727356568090093212695663060525469348626529224069908763402461091131168984286196720806354615427726901317627631037456125958145290426835979265889775723153584429242527783855958971250177838141043551506603701205018627055551020121857417917712865214593137385395230871531072613478301976210609267270259627422021262208134566379520000000
b12 56544042670391008312817369041480591242977996221856168201911498151008215149184202105483671890839376181522281792238796957608441472480437037174264359666273647425923297895001884915300908859372297392815961591321535576944739808602729831968486417941382974366219251564398700442869419079632603233898521308851726326898441642799754331320103931408071968795156047997773589219619546815156140605715587217903809105772778094607387008077992919170070684724754317989910307429280459195352916629250495645503986820411272182688763964908358471056741605621245489440270423491980144640699021433513416551748796674050062581254221657790468180061432881566687704230768932555910423857231116293200425110808182651822437863951971914264924181949408292892467724955495169958602347783756742778652800668097097789591615379019158797930493275566109970201678170077714677835994693271006719051991459625993339910088724288491160635294359933683061681379548348136506959140615435873182851313753177936679250567105908117335193324673681954745131559304987332832209524075962911533676959828963184100812726088213918297111418324369125654438637178303841807904161358047400097481678138227054120066937247343051041455829700480882186090763010067128863313683582463189949912654120415693583027741441415132431597046889840397/47108012956057785203133781382866448796203699149001320167900408931899057841231842410390445001424258264182233830990391647775735530457132605295087907370975362345695799958455689324832298417706071305724359595838032591114820375480032149884585926617951417254095315355451204283545888229885584941280248686730182438381734892231750040796926943905861079056860748644755354147334228862499947288101875926019139733116977378577767945317132761121411835335007453871207397800548006198948018743981814461578537221433322927925523471479731949960973504725918665014919505128922703765053646732484600580881043498327198787352763051867266179032428496944808552186682673118192456811136556763976255644236347474980994776873762521492388261740599723720171036354281554535061388928718633813718669355851151066266082301142380668267049409804100780241255333947274576239631058762338111395989242970980652501956412210196324091632153169934919339607528972615166376819108771016407155319312250448717472600766241957406809483217155150196647896299886331802632133907747490433686563367727943841226425971746350053460338912925636588069430435563335627483200227632820535745928452737542423842631105305755977494934672467474679215853305895515559772945252226529549579862105932323100187215626412244965785600000 + (54209876465875865911774683973186675471274141999193860021524952852712075979611956219955021927245387194291987054882158091815881031710896645611409369129506545687203560885855858564641269767132288218235501336226161242171005957870620077629261131748928189414596408407143748290235670732561690617155181055102579829162961993220097863796392848570950548264268444252966360701998414843649125266158269046308824222816820260092623009687310689960494876756792463739756621058394989771315747103055979824495464660187026589124872528685777006631220219951137503851986044131150042918299050786896127319505756963132204979150768179115017617369804816881118653683792948901127143077252701712230029117865479066344286574109703017896910996474114270168011006923072564245811507352413129788232141699186618122008291443687336976226159449542721802160504640901819131325095227479148465295937811616272344513986184019701190062407297473839423843499803379288502835586538279352005362440970743205506704194646572994244330068263587335552420568237456985792893062541345474060140723170082195346507390241494278177009613133784769650279859124486188813753881788940478727249886884796678924100898172273462652618116606639406129686706606669416985448201944626865826199314406729172641216393510243855931947086048737*α)/2944250809753611575195861336429153049762731196812582510493775558243691115076990150649402812589016141511389614436899477985983470653570787830942994210685960146605987497403480582802018651106629456607772474739877036944676273467502009367786620413621963578380957209715700267721618014367849058830015542920636402398858430764484377549807933994116317441053796790297209634208389303906246705506367245376196233319811086161110496582320797570088239708437965866950462362534250387434251171498863403848658576339582682995345216967483246872560844045369916563432469070557668985315852920780287536305065218645449924209547690741704136189526781059050534511667667069887028550696034797748515977764771717186312173554610157593274266358787482732510689772142597158441336808044914613357416834740696941641630143821398791766690588112756298765078458371704661014976941172646131962249327685686290781372275763137270255727009573120932458725470560788447898551194298188525447207457015653044842037547890122337925592701072196887290493518742895737664508369234218152105410210482996490076651623234146878341271182057852286754339402222708476717700014227051283484120528296096401490164444081609748593433417029217167450990831618469722485809078264158096848741381620770193761700976650765310361600000
c1,0-231723493946322679978150610426253482324389560684903330203754174767260863779361633679215939762416571242194594204974578676488680500080823633946666698661347160088801002558648351370460444997855400044246648429558083507916103114303760160422601717190779365773704445827466125036470713297179492650853803113956476775292286318181184501633822388598441270124643100517765876915974933673947679946760757365762609383427130812914102548738963791027865813710371602667005034250984550412049004505688687596975349258500537509962656167040205756731389539118754120427881505849729571765173249391695960210088597036855019135650849009781042327733458097216543442523867866317435691089386068106521462258157139351082546724401828611848961016149938563839657663780275840516013206531615098883690200597989274902931037976205766204701934912505032600062388406156719890221489657379917513948723897624059487823566529685643671659946775863409280222957769452759269494088781680226141075145094680336526007711880346842515037724817001126721972670648980364318200576929436585076064084692633929788209398907787524471921403247065720869616054104393340267193896305808148380431372243299975815656534590766702489284711094633557119980970583120860682391580838667931107624440035427702700304482369184744377/34862152704269224396264448540118074849490481798994594144975643724857218097794297498944439150246994858101973244423931617656028708543561728521728669795549988698242340342524960304695000666423552350348588977376352028032670575743241677605240108729308331713205494440063488389857706572461558522829219777858808125660400968122783036185301772783877305347237288193633834003288729028240782380123426685056677353816271225298752576323419958273971724681847737335883357073292083801384999844804364166244439269456564019035770251541676373880475609535545145308182232529214800879449784146892733109476771742382255036856883806996365818193896194920068581460957211685273493343098972048052846959412886087570133022320928299223170116339540869776748818986216075414895116847414550433797718350314049179183673205404481671215026554429003550833671058474803908610525941617460393066838847344014851726191319557740100191102686558649436159046266759167456470568376846708222602389163961628416293267448493420912171844973689778048365981832920433826329902277650123387303898160464737259769690456746779619559367155436658438491290181663756882089268367167578150712502654238343376684024843811525581944522650150485597736401833889870695389097772562835595143392206128133114429440000000 - (223846844943594018461983533787014337650828826968741999417035778487797947337965494694799403908902660946559034043760911294377710760579779845244147718433906010132616872986005699079939138869479497385690301683165309294275062303822233560806742759519636273527456675424610569714309352659294978717143163130904669061259930568049378606442579262150063342659669892466654514393496907421225053823327378031503024370914906993215517089569395456874149566483086396578680950735854755283268370545603741920506878166074902371217810372377298454470515122573022083633318745181641537854250099373518423722452649448555884159543926160177972894257992889019874793798861007700398057954918146442343622267733026728844092213716847371761528516914547321794345528803204899160297434065384576785125123740281448325738967653273534081717818550413446756655756091136996094676753703868620457444334278847327075466368945050183670945335520025957333877591709139889613249946814549692426489761172089821716435315142691351179411870245891358858579243925981273976346273824879160691605790248452618195768466841155231938412069851099201748588266440575402238977712298105016475426756594052963470112687046344140739142443196166418868506231389773758152371526743786734545002268170689205856810876514006717*α)/2178884544016826524766528033757379678093155112437162134060977732803576131112143593684027446890437178631373327776495726103501794283972608032608041862221874293640146271407810019043437541651472021896786811086022001752041910983952604850327506795581770732075343402503968024366106660778847407676826236116175507853775060507673939761581360798992331584202330512102114625205545564265048898757714167816042334613516951581172036020213747392123232792615483583492709817080755237586562490300272760390277454341035251189735640721354773367529725595971571581761389533075925054965611509180795819342298233898890939803555237937272863637118512182504286341309825730329593333943685753003302934963305380473133313895058018701448132271221304361046801186638504713430944802963409402112357396894628073698979575337780104450939159651812721927104441154675244288157871351091274566677427959000928232886957472358756261943917909915589759940391672447966029410523552919263912649322747601776018329215530838807010740310855611128022873864557527114145618892353132711706493635029046078735605653546673726222460447214791152405705636353984805130579272947973634419531415889896461042751552738220348871532665634405349858525114618116918461818610785177224696462012883008319651840000000
c1,1-72628685751774882214811203503194895836802061538831163548549341690371976761935773211979401574081351304194712798039362312171434964949584537178006127564941180370779977386906897367910408549696339746672773236562683810643900998313860642022941284629701042944268506784532705514227135478760470348248889842437536159379925598296440999408062241751122481300347124841794797634434977152955852336681868969219016493305388634410714752355944866061163811233542208627306644666525755033974499723493327594523347426432923239452946508205613644385663296383647573130630096410411196466672876653288024006707129840497823641880355429712902082622003479680106434089181907680306918131550436328543498169247581464569936183842904992954492407755819078618654323480341001192428525136211347035363531865955768371941404983792346070810869349496772660618596296935462765027757931396128418317761929265252750704172710997429151804078092699503177571290876831307587491391068351010055589928567623850983631598373563424406476410625701274360771552926489494674781348595962081527188793824452655772141020839858991981598638565384916671724283706873822286709043606312206030719255559664204727898920346756971849900858732859331730577649770973459013561052810792386536765452232858552585981395630621732731/885590425856557038974354736069655917530114357541904032540152510411451966107663910454311821120941798966163014896711162364884131192998062503727294360502717794498865527168748674101889972728332884985738682552871819032481597717401861444018699098951082957709838298025288024941769714282923297333465929427902457086328328205120739627732098074070957306996831991912661535418603084596880109234451726999356738145005111652155478746212974604327890176341201476804434209045676060595056643926341618814317920780789615887714531614633855964041955228764546697865727595620962274029613985339956640488664627911960957091319509398881415896811873061018863523369334239833193449756108622873872045913043897972111289496543420698652901395608923176770533429513185881595669279261661089107293561710970105654211075684714770899126824021465313997705407165442359107110855601723832572952264577148169784234906253054414982246168941692054975335219904464955963790285445478540430889324898684865525917478242478811974085377576837322775135442588031139214802171357265746768884269686143810896959062560249444179224893447052238949633952691758290964011288095503179157458280095471812647564518716951825990563497692183244366620988515212891718465116409156012679555764012806307840000000 - (70178744825742554321171494573775543831375842646349377256536956670810336549877748342269267553692942349029622299680806559436209550097730116288381970840271780037083877346912698174334808432738743283079885575523577539574374141431306873883744240213242844564562223407097381640350537002002472975402412791962935864600604086557438693922648405683775290415283373889986483584560352187914692957526515736491799616131203548781985794305988131633282906339693063968572213101705600688514311038167862288798361172864903475637140200860792386185235208189706068855417599282857211444867493092265764271068619729967562949226846940989372198363315091588997539629172869845606932985758318406113552754146691025910986267439515823852453858350464545509350531202428592397859763710106482866045239728766971540387156498180514576465487250865029702321049471958206917922950383530869901756399272719819357066495477024604172505538229810606938171727675780660566245958222995490121577947340512956156296634568656764558984323465425230837216227706085222117933214225953131591973210683245521741291924551173529309641348095987578488833139376691560925975196725788903434152036782846139819323470992100877021884886245827154938617494218514508103181726629973190536168819008362054317627804275831751*α)/55349401616034814935897171004353494845632147346369002033759531900715747881728994403394488820058862435385188431044447647805258199562378906482955897531419862156179095448046792131368123295520805311608667659554488689530099857337616340251168693684442684856864893626580501558860607142682706083341620589243903567895520512820046226733256129629434831687301999494541345963662692787305006827153232937459796134062819478259717421638310912770493136021325092300277138065354753787191040245396351175894870048799350992982158225914615997752622201797784168616607974726310142126850874083747290030541539244497559818207469337430088493550742066313678970210583389989574590609756788929617002869565243623256955593533963793665806337225557698548158339344574117599729329953853818069205847606935631603388192230294673181195426501341582124856587947840147444194428475107739535809516536071760611514681640815900936390385558855753435958451244029059747736892840342408776930582806167804095369842390154925748380336098552332673445965161751946200925135709829109173055266855383988181059941410015590261201555840440764934352122043234893185250705505968948697341142505966988290472782419809489124410218605761452772913811782200805732404069775572250792472235250800394240000000
c1,2-976662579916523606806465615338642882543963217296449984978370086773003670306119662114590627625804053981333966484826273597440048257716635885854595182923371685124064015327771589302661657976988994653227952382858011770936679373024345948243914916160065777083630871744313304673134839168547134257944329107453528428048893294028956282541058987907629854260807399480304554197204143305948665890682900361636199773440117847498498617594071271828153697284760601430785840706189246686258193746899569678762759388088360181094204116566331708279200025718053048990107957892239891950815203411847430020219567145601640242267777376768477086787690370800940241812735854069559833180824018680428749837957263057073388431444569970229989212126042175220975992392717886229438454383671002349920488969216058940773167386819113783423436395673176297474466285243432897860475205840242851745143359512871571691567787059700833610847186034317110410170137411080898021046854578068642886187945028889703418072359450426498542095185636589170524475113567942087912151311146182550806950229327665795795422598844539810539264634345429207506527587301636814744133225156359463011933385133027642569/271135741336811411842470596978140226826252656607128323650858531571077979160578585708767870639341315544587384788047491653763558076190479763708904452602700328006641974338792402945571314339614881649207790694554267327678198411606371512966645472006744936776324605791289583947387896636349504965716095152541646640550869471384759854791832161238637455675397338099507121009757943838258744502064963247220046028604519104612665152824404686475076705319434549984040662951789123576620240894208634286235152258817177122612022418127324762893606552705113248625033474753237209969283095146202369870289281044497229512850722082823548626448135646725649984502030202498496390042275461895549351548600616178681935598012740723918734646412000316829981480458724959341472977954496119017800793478079190224080379655271542590824801949842290308203378686491451862257225963231883533055155053321046618414485778597136162141006231129702838424695228840384535061993238716092622578868094966942904506748360229990779839295460582781111665259492054066293416367567455999086471922658768636207114513238449085570160546187682700835699401151907055923141754818528677285665712373760 - (48265944087572528976971251891492687526600381505512401892610905189165202269163905075062683699520048047334958898312557827674505941551065501001555754499784322251545712574171404415347845212296757183988067327272291738769423421101160876442062836144707238201849085954923172421888743066477512374979313693618854138182073787177538134757916293549709647831618610717755539929246257906993524358314558999423987560183821155144118120701737338087888155064833286512152812004381703101553249688256555595030916518832572427984289907803333797236116982126549312206425497024449495167253537421214792010340704821067609004420364158177729551496337518543476380023115583549197295738690988237298455579239137090612079771382428089752255166846781257387333244125643966379075849786547058771908773033922069313089843374280730450645841652906203867935451376396177478490163854899974124019660860484355663389701457030439445282476608981421410909472805681294689350632024493867834322825872623123578480650731724624457027999282333191722980053389283994689830592529967612119084783844274868130800036407560317408507069936859198410772794393721269855409240519491562973381184323796554200589*α)/16945983833550713240154412311133764176640791037945520228178658223192373697536161606797991914958832221536711549252968228360222379761904985231806528287668770500415123396174525184098207146225930103075486918409641707979887400725398219560415342000421558548520287861955598996711743539771844060357255947033852915034429341961547490924489510077414840979712333631219195063109871489891171531379060202951252876787782444038291572051525292904692294082464659374002541434486820223538765055888039642889697016176073570163251401132957797680850409544069578039064592172077325623080193446637648116893080065281076844553170130176471789153008477920353124031376887656156024377642216368471834471787538511167620974875796295244920915400750019801873842528670309958842061122156007438612549592379949389005023728454471411926550121865143144262711167905715741391076622701992720815947190832565413650905361162321010133812889445606427401543451802524033441374577419755788911179255935433931531671772514374423739955966286423819479078718253379143338522972965999942904495166173039762944657077403067848135034136730168802231212571994190995196359676158042330354107023360
c1,3-6072177633268114751199973591545345286210578254096333577563323617465122264163314468939440249908407127345750136413240797451508359534031357524221360740848907694585187159383354253836453103462795889227695863687643062639863736057774970415655996006193465088077965353386661830190445612539304259520066079795821099922988908229801868953822781113480304459748181315911599977670613810308074363695917084324975579824588872354422183124722486734000048079134564171934379361692058418679360606691771026370301674472412820706702994395456456544686035437591183256516013078443511014837610371810299875010380517210226246548075449727878950791118618183249445246651890476419937051429039929374312698705431668278096569710280297093254733912978430751349643061580512704503792500044754243946927717131006893687413060011564786484816432508219325359996124387838863016554462982053773842424995128329714591079559378596330919060664836895552072731316900856011511696052721454605990414730258824341746977131259481729008388313695475700714915476501656963458095760512288815425962922215214513769650134420393668374543598922197408159169234950789771296521108360036218390136910771948791167153553/531426053020150367211242370077154844579455206949971514355682721879312839154734027989185026453108978467391274184573083641376573829333340336869452727101292642893018269704033109773319776105645168032447269761326363962249268886748488165414625125133220076081596227350927584536880277407245029732803546498981627415479704163914129315391991036027729413123778782675033957179125569922987139224047327964551290216064857445040823699535833185491150342426091717968719699385506682210175672152648923201020898427281667160319563939529556535271468843302021967305065610516344931539794866486556644945766990847214569845187415282334155307838345867582273969623979196897052924482859905315276729035257207710216593772104971818880719906967520620986763701699100920309287036790812393274889555217035212839197544124332223478016611821690889004078622225523245650024162887934491724788103904509251372092392126050386877796372213014217563312402648527153688721506747883541540254581466135208092833226786050781928485019102742250978863908604425969935096080432213758209484968411186526965944445947360207717514670527858093637970826257737829609357839444316207479904796252569600 - (13179201989636996734279713660593123733579719449333788288461004236845418565530502473494884681255897245121570486099400557420407620603405694265542625240266752366925877649907091339634367879787705841431616717308910506531984769362213912394951713523149564591888297208065654286831263090364439231581241628351189292845637254115494105447865738536606061257507270214826099628058780230217461893090460619989369940053009792484334977662221247392105005423365539126380217078872534575104474149913978290902889109367623489033941310969240614201655076441215155520799227512151010475125093605276294214175115548654822177458868350226168514678438780322454983802660524433129480647110474358023493609775227653762553985319508821541694769238078485187257454480262733534508862558566850895683904438058162872621562734081569250243552938771805621396503574854151738642280706065011759404412407813917580933286972188017469731807095449050356062633313283103982725588392785392823163618553423710358829713169951406732562682306366726845316105096618880630177841509716947032577578471970635582697648312462314725203229892244033920087001303846217217015675773993188715284105497188826645979893*α)/33214128313759397950702648129822177786215950434373219647230170117457052447170876749324064153319311154211954636535817727586035864333333771054340795443830790180813641856502069360832486006602823002027954360082897747640579305421780510338414070320826254755099764209432974033555017337952814358300221656186351713467481510244633082211999439751733088320236173917189622323695348120186696201502957997784455638504053590315051481220989574093196896401630732373044981211594167638135979509540557700063806151705104197519972746220597283454466802706376372956566600657271558221237179155409790309110436927950910615324213455145884706739896616723892123101498699806065807780178744082204795564703575481888537110756560738680044994185470038811672731356193807519330439799425774579680597201064700802449846507770763967376038238855680562754913889095202853126510180495905732799256494031828210755774507878149179862273263313388597707025165532947105545094171742721346265911341633450505802076674128173870530313693921390686178994287776623120943505027013359888092810525699157935371527871710012982344666907991130852373176641108614350584864965269762967494049765785600
c1,44746021393115074099879943024897308580879845271369518535279426241659886327044235450267728965077527955197566577311683121465656779728237183747968485213161810641520518091212329566353160486363554126135760346127156396497137228217739792652918974091343559145850139169162099222758561292029058995266045601430773090588708508371295695063234186043148927030670182967589150235335893334103543891200949446697954520635668652997077447562483788437628679313054194401066512155990887537855251693213992651442802215084775715624068373992293239179297579816538775011005216544001564182105537047163254142021868529090852646672987489194309964898925423782800719473611542642016080940262554076630184801915411411936931016836637989917410730883178183112901837418366582667809863867510980810105302174442485349195359845844112600251689604343717047498480966433205727029902412061163408702371420878353289895270190146723797807688775130208456934934629096116204854938791119194891330789564133942903085488674388014920184239309549367119921953849458003714399757196471176528358927594963824077571497212306720323333873822790191548269890134368532714992772865105875479781245331527247391720761029/4893707538602823525398490889919123748645342912920600995505567510831082259842155077886020387481866852073818927742831273819870607924796227562538845256760104912971679030368074679926973477807379964615341764708616876774669526439122768717487195396910228038737001230281923080627386727203407468043083018120118583394345477192878313120156464216658227689197387351252111260354537622312399555444464602839033463860165593738505426873423499837616348477017247474819864857650709016036150074499213105736019784078564992555460732680559945073003454096594159123384776845042600808424010281315053996622890275427587405768632313391278552475058148996441084036825132172864947793798997689234202972411001624957390216030894704519189363172075010034986025454495317827308542497066473837351500940128094046289013355965073712603318439796865740469213211860933485122524665442849995739055920847279437095527064182334497867477384407612938712517089137516235406931860699934771018171685443547239991557771842769790420581470874173246424070525278167205157719301821824536029789637167760823859056768436122776103732217810491797529515522373413107194086579055573709167468627361792000 + (19032601898937437554475619116287560721693724731644720115859307291925874590147695448247037186549091664528306926260627510660483183704274219193885015726049069255215653393516898495424710864643259322529845750221202053732931787472495907712500468315933756106886708915629213634247893566154430824865768750073079986907411375782892564631085456312294906101076430545937947167415636836643455057641153169486969824969294679309197409302326246403957291925373425822464857671356914656524481601403842807197851997528986868000341025339868189428749780087083498145466144292367421336038775957454535467697917227399453219550576208121080772098478251806363296054141448433761410380816662533656038576982667192144381462499817269789188173826048032162103758389045793731762507092915317136514146097581607000882566681248085035266004402594808226720403834391896057197325472174174944010208617462017035093303757394208118173776996431047644631048626370388779375501456687994927977789265225069361886600563513691168624351936892291380306870181982212138230068227344320240440137613566138188459268054369600325484835550752955338016725173078844519595568641472666791455655248865002234348409*α)/305856721162676470337405680619945234290333932057537562219097969426942641240134692367876274217616678254613682983926954613741912995299764222658677828547506557060729939398004667495435842362961247788458860294288554798416845402445173044842949712306889252421062576892620192539211670450212966752692688632507411462146592324554894570009779013541139230574836709453256953772158601394524972215279037677439591491260349608656589179588968739851021779813577967176241553603169313502259379656200819108501236504910312034716295792534996567062715881037134945211548552815162550526500642582190874788930642214224212860539519586954909529691134312277567752301570760804059237112437355577137685775687601559836888501930919032449335198254688127186626590905957364206783906066654614834468808758005877893063334747817107037707402487304108779325825741308342820157791590178124733690995052954964818470441511395906116717336525475808669532318071094764712933241293745923188635730340221702499472360740173111901286341929635827901504407829885450322357456363864033501861852322985051491191048027257673506483263613155737345594720148338319199630411190973356822966789210112000
c1,59694048677744346784294780266052261675234619850453873662679876520193217814686881315242463127375832714421598901483466964015544082423988011642961193710724893652778440561580219738977762805743368503500016963457177470589718260369579630596857793961225522012241793841980399806590409133094867486482209563122779285061054541875513359114717419734363713378001981313200009107596357284450593396330636865401397771955451082762919048804571685369967055830147775936108494860644039017332560233604895178680213372231604690355649472305791725039752478201645595358933949952162658635688396048168904137058942782637439181391882627306210058928141616703175959197087896161782075868614826198820709893687548563526191906777783026131552506388471513863787634167507148207136881583852269155317839102048229061496336401077724194590666588792757761279522014991867622369998832052903599576845504705104329078518409255558731273874522580947934534954971200951196005993362158507439097899587717512707022012362521292600016435355942429812980401454263453676675584974798946839111043752115184123595660448338980352259615265040414521282031347312335770069857674878461615745147358961736022648225494957/43534422263410718081944974956720524867948970553341666456017528576353307783555811572874037367038687516048693181200227011901568928098987240396345567404137893305796056654154392352630356058574452165218080338847855735787460107202436150510766090250913388632604362944587987725261232325201512835711266529196574917876097365107845473516911905671391593523099957876738781772113966688091106445233957106856041694500033121897744277465975454555435036051545433535997517773660707406657591062744999788627631999162914173773378677926261271369438727643301639561630974813498976791739995462578720353957231890203817561717753059928814002818117293472339883591596375809806575573635883443427469642568270455620943361810839291402708574778779289271235682443190347391736794053903351257078952363379524635787062814665295747319120840432917627214120732714864283649979423779593562094641471857397872401808762966047693029078811690124702786552024967344430180065832786619722977655313705796246964897938313280055581492764896645200188531392874575457083070909006951072521008612244400289050169012007748216218801809642135030822570087033883001598594207278383716753800909010501632000 + (13770455925341265313508631294687370660481111631531431673411824521376768104965191995411153560748639393233726633765861312507433830705700691279662565463931228392947209001812315434801073394575625780276908140176382298464564897085221739145526612275609066135913172741403831917434735311631703479002849740545074516785781037964388701022969845943220108116356267412332394057925997033603532477310934314263613703570210200722511866298639380300474327007744124329431072546434454995037564768739881275556227842695549179528365553399543630045033512079280211496359810343669336325563186501196547511153919602656930655404860757578888062485019866970548281514662947457950714695195041240109839955493317321630492903312088105708077317111612009510748156664548613099332882401992223090857723147297089619298830606921671056443924160814726721784144078251065766017171978085402565755143561323781438830378801970557123849262733106178519681634748704764084164071435514383391028526929728514158545696541086046630702909397085480904889145656110757210579077633075984819429006127970751050162388778628305588754529475056997891229935978722762533938920054283370181959031581717107113668050177*α)/2720901391463169880121560934795032804246810659583854153501095536022081736472238223304627335439917969753043323825014188243848058006186702524771597962758618331612253540884649522039397253660903260326130021177990983486716256700152259406922880640682086789537772684036749232828827020325094552231954158074785932367256085319240342094806994104461974595193747367296173860757122918005694152827122319178502605906252070118609017341623465909714689753221589595999844860853794212916099441421562486789226999947682135860836167370391329460589920477706352472601935925843686049483749716411170022122326993137738597607359566245550875176132330842021242724474773488112910973352242715214216852660516903476308960113177455712669285923673705579452230152699396711983549628368959453567434522711220289736691425916580984207445052527057351700882545794679017728123713986224597630915091991087367025113047685377980814317425730632793924159501560459026886254114549163732686103457106612265435306121144580003473843297806040325011783212054660966067691931812934442032563038265275018065635563250484263513675113102633439426410630439617687599912137954898982297112556813156352000
c1,6-18295966453818314045718212969107937518576781028262799327643324372228678379728769627601771509436239039403428494797103345834763774180485164025193653214383449953280449986656555983396240545734468638088826411942452636877886705075840404048973437861264578872368039169320947368636657332155179822159736334221845190492197293037761252016932722411128670740386017128603275359962523380206628287115310779953712971049792075659650413255445935522983492243657217935244222199208827652294913043851965371686160165288110918260580318193756407594738975200448764780313201740056233324712024378646468421568970476225400627543202188634843710232825889044328950644101894989903325181213500464427694127856866019617767020068583196588644862672391783430443284969215308002292384010556608815175918054079599573579989277853354524448714445782225596359136911013201753097422016549257168058531590539435398313038010709320723616702522477246506193602309667446751217974276331138217216464461529597646003668852071608817918830298057027304140871328961553494296836089426951305320229309735396478006075532591295774878516838533869047253321549950019770683801620748963401989161320416603111556697931551/2228962419886628765795582717784090873238987292331093322548097463109289358518057552531150713192380800821693090877451623009360329118668146708292893051091860137256758100692704888454674230199011950859165713349010213672317957488764730906151223820846765497989343382762904971533375095050317457188416846294864635795256185093521688244065889570375249588382717843289025626732235094430264649995978603871029334758401695841164507006257943273238273845839126197043072910011428219220868662412543989177734758357141205697196988309824577094115262855337043945555505910451147611737087767684030482122610272778435459159948956668355276944287605425783802039889734441462096669370157232303486445699495447327792300124714971719818679028673499610687266941091345786456923855559851584362442361005031661352297616110863142262738987030165382513362981515001051322878946497515190379245643359098771066972608663861641883088835158534384782671463678328034825219370638674929816455952061736767844602774441639938845772429562708234249652807315178263402653230541155894913075640946913294799368653414796708670402652653677313578115588456134809681848023412653246297794606541337683558400 - (59425733597237931495549588085652736724238907796296746933369677491597775813648409759844714057147898891065288848208623415303760267108954827015455553216254390029194020431907795771766819551076717939040515701084732415344678601874728421458067363093219425039285329846377958232981292303802858179140213157173557345737395172658001071287472694023693049061682027455912365820585713534262123718155228353134860564647895692703282526650394223468295104092672060564031629930759023866777321625991974046683642807540279385802700579161280173607366188378438521226905877762142115958584215520505412256581100333441052701752627981205229461140850893566307705160788866039698422742202064912041960628847105242777977096415206279431932213288675015863912984180982381934174083464453453050127267024273132178586885225224028125845413999848644353720984395482407513556433406500972633144988170733230261013158530759941045753957702133608719967228454025098405096118206560407152905627436519096440565860958176337796955043122504900305995883233149075941702892324159674461280425642763590532966091030615330304174371542460440227607138896918994091191541500594555175681040821612683464625138299*α)/139310151242914297862223919861505679577436705770693332659256091444330584907378597033196919574523800051355818179840726438085020569916759169268305815693241258578547381293294055528417139387438246928697857084313138354519872343047795681634451488802922843624333961422681560720835943440644841074276052893429039737203511568345105515254118098148453099273919865205564101670764693401891540624748662741939333422400105990072781687891121454577392115364945387315192056875714263701304291400783999323608422397321325356074811769364036068382203928458565246597219119403196725733567985480251905132663142048652216197496809791772204809017975339111487627493108402591381041835634827018967902856218465457987018757794685732488667439292093725667954183818209111653557740972490724022652647562814478834518601006928946391421186689385336407085186344687565707679934156094699398702852709943673191685788041491352617693052197408399048916966479895502176576210664917183113528497003858547990287673402602496177860776847669264640603300457198641462665826908822243432067227559182080924960540838424794291900165790854832098632224278508425605115501463290827893612162908833605222400
c1,7-214464759647359713230865299664800745785276571131202020671337071128592327958191656081081767362888003041970705119240352516281757822885868222564075469377996853109604657120074464244484690913900646558554794049178158969319283461807876994801213269231162754933566977864847441521075410839259429378067338745381130760639171045747637877772668452122976102970762003280317403246072629855771151665074460156585086473457041862345767437834926127821517540974450371321833812195496286396340637462013330801993329732095022170266713577652372774360825822459151267596848968461994523263246994103442018399824590783394286019832112154728331531553479676890443338325134678229727094169932961484450757673129328993190370432288969903182868971224295021343138132225334299615805895077879990591059597389783441933503153313134528404010860967922973907918331277413649831922318499441812190881193073450326292006592309960591765162448869550705066802045412941316029825547222666125753561676630464337388266034802505491852767846245773291015600798385345566256589943980421482675111553304806691832543871103986200195432226170176253574751791044876600236804900463888203654429415113982568631196037430049/178316993590930301263646617422727269859118983386487465803847797048743148681444604202492057055390464065735447270196129840748826329493451736663431444087348810980540648055416391076373938415920956068733257067920817093785436599101178472492097905667741239839147470621032397722670007604025396575073347703589170863620494807481735059525271165630019967070617427463122050138578807554421171999678288309682346780672135667293160560500635461859061907667130095763445832800914257537669492993003519134218780668571296455775759064785966167529221028426963515644440472836091808938967021414722438569808821822274836732795916533468422155543008434062704163191178755316967733549612578584278915655959635786223384009977197737585494322293879968854981355287307662916553908444788126748995388880402532908183809288869051381019118962413230601069038521200084105830315719801215230339651468727901685357808693108931350647106812682750782613717094266242786017549651093994385316476164938941427568221955331195107661794365016658739972224585214261072212258443292471593046051275753063583949492273183736693632212212294185086249247076490784774547841873012259703823568523307014684672000 - (11549732675716217020380602163218983079478081752837928435070293623486160938754385048371554441595553483749414398723264905257588843716451997133969344793309899703070167299767348409918249597516155218816993482105847073553272864884422945419039387166815245611538684197730773015890137632221036338666675050077009573337089190214992344632977060133223529910043287547270568695362935113916739342287567792935213710029901722387982035352813383121780590492933582608014417763069247152200249688518420232944838416017013391366457603533540789378210119242601204410752350801421387007935258591407087742728444152337180372970739880862899845696711693038775018046123829809773213094572899694053005717361664937215228893006544276772796349621395271978748311488494126260547177888385100624337523890982922392120905951447137194036117914109868715600368914270450746040220829327994907195445873800682298710837710471955101570330935924177986904716788746067854170621775811835923778572637912111562098034969561567124355024281327479203972569888050840992588122599061877673964542062003819831142648269004269878775463664478437238921318517007795357067357196924754379742547389931728979052283591*α)/586569057864902306788311241522129177168154550613445611196867753449812989083699355929250187682205473900445550230908321844568507662807407028498129750287331615067567921234922339067019534262897881805043608776055319387452094075990718659513479952854411973155090363884974992508782919750083541365372854288122272577698996077242549537912076202730328839048083642970796217561114498534280171051573316808165614410105709431885396580594195598220598380483980578169229713160902162952860174319090523467824936409774001499262365344690678182661911277720274722514606818539775687299233623074744863716476387573272489252618146491672441301128317217311526852602561695121604386676357166395654327815656696665208500032819729399952283954914078844917701826602985733278137856726276732726958516053955700355867793713385037437562891323727732240358679346052908242862880657240839573485695620815466070255949648384642600812851357509048627018806231138956532952465957546034162225250542562307327527045905694720748887481463870587960434949293467964053329797510830498661335694986029814420886487740735975965895434908862450941609365383193370968907374582277170078367001721404653568000
c1,882357963707303492201508703593238045132443569029537194610222318377256175546419342387845625098488328535018346647127193620577763036759927006585117205960547194384365019093572384556961000431079476871502258551686240174768034544527928112421076357102632383331491085561098110618391933941223370606244119951948724162362418923791519394855373402359541907766031920162726816196977725516785353980408650644759416297404900950563155541728766635799778030778899435950160570547341480861232408541470337997396510181308439943382810355542471189436784654867619294518649221722202742311497552546710711956379050306602036690400113893592858936496890558589405821770437512935154218306986600017539245775015884640239558124196997962327489516896339920865064189500035636359514548597352097298039207597516549538034374135244971640911204688213946922548531604927107498540455139651765054762541139645170181028895810313982479872466005804407473441557946782559692061475660308690137031389423367968482738005728204849142525929169287785705389520894621597195988628791236884974948241361923701033541768092711947615523927054687968802034619446405908783244750021910495416084026642966120542639384644251/2853071897454884820218345878763636317745903734183799452861564752779890378903113667239872912886247425051767156323138077451981221271895227786614903105397580975688650368886662257221983014654735297099732113086733073500566985585618855559873566490683859837426359529936518363562720121664406345201173563257426733817927916919707760952404338650080319473129878839409952802217260920870738751994852612954917548490754170676690568968010167389744990522674081532215133324814628120602711887888056306147500490697140743292412145036575458680467536454831416250311047565377468943023472342635559017116941149156397387724734664535494754488688134945003266611058860085071483736793801257348462650495354172579574144159635163801367909156702079501679701684596922606664862535116610027983926222086440526530940948621904822096305903398611689617104616339201345693285051516819443685434423499646426965724939089742901610353709002924012521819473508259884576280794417503910165063618639023062841091551285299121722588709840266539839555593363428177155396135092679545488736820412049017343191876370939787098115395396706961379987953223852556392765469968196155261177096372912234954752000 + (220951751879250846393531287782569777582380660744900781934241765530026916547116152842323892311973781736642497317574578894388528417504080759030702004494997095916392877716905703577428119845494874423033506578734378265447601785609532625449518703408602998321165323661468126575690909085450577168255092200665676082746303399791260112558199121676544988329312398874440826976069761383109168106726971187636007944816426504267536093872269203440328664119297638536529263841011220797302714619129277058937279097323404682944309014553342937124021156635924136106917078045351282051901268554370186866716976030247011738978337952921725778197079979670719614688791687564846709080985876832623066739474516774269105139445930456603550421445081392158102055228277838993310319226443036002640879748117685953079273293712315494593846333323508727799288137966705475441689821760369399353121205629999939958423895612071039656997560212040481797421197721574702147110606647549991415480859462626251239321122206463974409984511614240109287767384949798488594952750419394580569334850746667262993539725335653805967527312139051308427257556963073512241969218673661600530817929607510786560589671*α)/178316993590930301263646617422727269859118983386487465803847797048743148681444604202492057055390464065735447270196129840748826329493451736663431444087348810980540648055416391076373938415920956068733257067920817093785436599101178472492097905667741239839147470621032397722670007604025396575073347703589170863620494807481735059525271165630019967070617427463122050138578807554421171999678288309682346780672135667293160560500635461859061907667130095763445832800914257537669492993003519134218780668571296455775759064785966167529221028426963515644440472836091808938967021414722438569808821822274836732795916533468422155543008434062704163191178755316967733549612578584278915655959635786223384009977197737585494322293879968854981355287307662916553908444788126748995388880402532908183809288869051381019118962413230601069038521200084105830315719801215230339651468727901685357808693108931350647106812682750782613717094266242786017549651093994385316476164938941427568221955331195107661794365016658739972224585214261072212258443292471593046051275753063583949492273183736693632212212294185086249247076490784774547841873012259703823568523307014684672000
c1,9131893336130184135184767664059515361032578185729666527332868884699675180192993224450676455112327904840937828488796871345964103017659830816389699263198726993705698799012696168115610944322229872734106451073237338769593801673599367980465437158912047072484159853843627198624613479635541125388966115842990179582827329073553807667046091863353415813096206763755633313921459249111077740263988969601077624326474060973028264780247809586540952715053440091930535056000473195152545879627541415812966409546482942562603915099216994259821788720265215446922857156924297729666261890228680062690324238677950968656341673880337074262779519366952138823982899600307612427517075855367497801064278351917708811535132376308665077235783125155713096407562857218407292716030173154706839654134864933166778392197068868962520972978815739370885139473153673636985583107915616169165189179192242984018022759112964917608509969955655080731884393699261616047302195567011596869501328083355936850314784267159004806841974589039914886190154493299658485928542744070287152634787625369600505969455533504876388907462482730958313629145747609348637443050885521410761541335614173826976283122501/45649150359278157123493534060218181083934459746940791245785036044478246062449818675837966606179958800828274501170209239231699540350323644585838449686361295611018405902186596115551728234475764753595713809387729176009071769369901688957977063850941757398821752478984293817003521946630501523218777012118827741086846670715324175238469418401285111570078061430559244835476174733931820031917641807278680775852066730827049103488162678235919848362785304515442133197034049929643390206208900898360007851154251892678594320585207338887480583277302660004976761046039503088375557482168944273871058386502358203595754632567916071819010159120052265776941761361143739788700820117575402407925666761273186306554162620821886546507233272026875226953550761706637800561865760447742819553383048424495055177950477153540894454377787033873673861427221531092560824269111098966950775994342831451599025435886425765659344046784200349111576132158153220492710680062562641017898224369005457464820564785947561419357444264637432889493814850834486338161482872727819789126592784277491070021935036593569846326347311382079807251581640902284247519491138484178833541966595759276032000 + (104254225407456649199541495483295851111638854030628479043315585975185585001843342498720459394263308321742037698423743971505108716124051647101271218255983430986029569721002227561043399607268093109760481287407306708246734844703560139493410183623599943901523503089348711040406607141445198731312485129792850389132178554174133058594800808141002182233045344537558622321949619309193580952868351026557921746724761900602076389384985409369348121567960786515838450507724357436502899901482968070361261409553701269170419709322687806783196644698834030546121278063556727428835521711706419983539019554868838117065339813380817814029007180839301085767711361901808113052719905087943057278873776413058297951306663063714066833194195881248325592456062863940262775916654366198673916240465544307750582626805495235237762279574942867045157844381444519548432646248732260330998965927903115384900416750509588116963677583016609351591655442709441044698465587457767529087055918830149750013717031379825413639267850118999915572914890166356144093058665966645666687527241942899425953074466286863649665713973562746694049683756252767633615158968306803500249313854981779259529721*α)/2853071897454884820218345878763636317745903734183799452861564752779890378903113667239872912886247425051767156323138077451981221271895227786614903105397580975688650368886662257221983014654735297099732113086733073500566985585618855559873566490683859837426359529936518363562720121664406345201173563257426733817927916919707760952404338650080319473129878839409952802217260920870738751994852612954917548490754170676690568968010167389744990522674081532215133324814628120602711887888056306147500490697140743292412145036575458680467536454831416250311047565377468943023472342635559017116941149156397387724734664535494754488688134945003266611058860085071483736793801257348462650495354172579574144159635163801367909156702079501679701684596922606664862535116610027983926222086440526530940948621904822096305903398611689617104616339201345693285051516819443685434423499646426965724939089742901610353709002924012521819473508259884576280794417503910165063618639023062841091551285299121722588709840266539839555593363428177155396135092679545488736820412049017343191876370939787098115395396706961379987953223852556392765469968196155261177096372912234954752000
c1,10-317244550674251239877399038386407473380390345997115343254531074114409972122621300373957164032893644811463332111257961271777921682753591451246332993616746748444880359847788685647809948199859532069275995270034560575419774564280022268746602816691198502214508207339243069071289554480044317587444209277496244191929009547002739114614155708960387396490925391661437173767403439349070528363331288317150313460248927878283845620606411541057617652313230860825841608455411223749652489701148546042918273101170915638547357435590754651166585161330231306841949189658453321619663394396187795685804551886460753329920184319321704401494381188150286398641097162159385073517469301375062136406605886763905914816070275789064925211130972935748245427790338253008221786559199112515895832808399907139192993026793644146018458488097002542837075752380124013384502410304604400323338877608119717003015857322976029392561776089052851379849246850263851766664413405530263062191526069947645443375794176442964465216836216643291229622661137688619552484753387664673443268155432781847271676791646485350338276877241634473274310563413265321272480402425993975883516917032953039371647967301/5843091245987604111807172359707927178743610847608421279460484613693215495993576790507259725591034726506019136149786782621657541164841426506987321559854245838210355955479884302790621214012897888460251367601629334529161186479347416186621064172920544947049184317309989608576450809168704194972003457551209950859116373851561494430524085555364494280969991863111583338940950365943272964085458151331671139309064541545862285246484822814197740590436518977976593049220358390994353946394739314990081004947744242262860073034906539377597514659494740480637025413893056395312071357717624867055495473472301850060256592968693257192833300367366690019448545454226398692953704975049651508214485345442967847238932815465201477952925858819440029050054497498449638471918817337311080902833030198335367062777661075653234490160356740335830254262684355979847785506446220667769699327275882425804675255793462498004396037988377644686281744916243612223066967048008018050290972719232698555497032292601287861677752865873591409855208300906814251284669807709160933008203876387518856962807684683976940329772455856906215328202450035492383682494865725974890693371724257187332096000 - (689867318402595414909718014522850851862594912941711266903144893855327846004826975211781712458774549178174614321402877838782930626840710778348589047503717869900524687709933866931088013622028906587350121598306919290034531729053553170007249499396828980738939555550689601540028627107575156505184415068397729225083508250742414194221784076757616509253683129775915946639806582259757974887867433709644255747363082296658750756144604683202117284060438723281371528933989684512517741566645945151065768256074869456881173185410868910172341540828064511223287825204936733448005560006585068446871769886424222840169774016396162722056352447198590358116053918968047274354987813213782226108971345835343298772636007847597867517070342193588488253674711988894757034318409609669776907829246712757986814041148304476006273564429055287697380107861490871250298761613276335355097905707168251989149848592857897189240188926931449479240183355537988283561685443706659901990051917965287298202447447056645097514155225589152608087013514686926554371263697527116028350152914211950785386603771473808943509643278059617526684516376253950961943973030377857221816282642338898694083321*α)/365193202874225256987948272481745448671475677975526329966280288355825968499598549406703732849439670406626196009361673913853596322802589156686707597490890364888147247217492768924413825875806118028765710475101833408072574154959213511663816510807534059190574019831874350536028175573044012185750216096950621928694773365722593401907755347210280892560624491444473958683809397871454560255341134458229446206816533846616392827905301425887358786902282436123537065576272399437147121649671207186880062809234015141428754564681658711099844666218421280039814088368316024707004459857351554190968467092018865628766037060543328574552081272960418126215534090889149918309606560940603219263405334090185490452433300966575092372057866176215001815628406093653102404494926083581942556427064387395960441423603817228327155635022296270989390891417772248740486594152888791735606207954742651612792203487091406125274752374273602792892609057265225763941685440500501128143185794952043659718564518287580491354859554117099463115950518806675890705291862981822558313012742274219928560175480292748558770610778491056638458012653127218273980155929107873430668335732766074208256000
c1,11-343432521094440938448103718381679306271173898395105344128364074696753904719907224664909731723449506761721112642520646724637126095370595769223682857859489216310735139832940366539209798197913986281826087013960180473606906366512875854302876808654907754697408985908133875719842558258406747577445280197388964061572679906481792732186397336272846141917212751070620503285349093749903902395909667876169198267871836570730735680851245072635714545156649577592816296576425784960767235065456798858983450516885294339001037184036723806816325082356127258078251434875992518754355195904626120674900467902747263384520047654930928648632358622595420778997754630377175878318530147655694631102778624382501999733620900285771274911744654013453360106174591013729441158444679602795469039283081864904660854796204465791235261547708060608402423311853516111089881318273575762505967217256640356227432102480820190364867407456777841787919315010084133870024128713829213180760951165083404995262952997965547032638511448025857761013687512719996951921240303020625031791911835227949900254513347913237064303745059724186604305625673660286852846487187316917678884873506202530400925830883/93489459935801665788914757755326834859897773561734740471367753819091447935897228648116155609456555624096306178396588521946520658637462824111797144957667933411365695287678148844649939424206366215364021881626069352466578983669558658985937026766728719152786949076959833737223212946699267119552055320819359213745861981624983910888385368885831908495519869809785333423055205855092367425367330421306738228945032664733796563943757165027163849446984303647625488787525734255909663142315829039841296079163907876205761168558504630041560234551915847690192406622288902324993141723481997872887927575556829600964105487499092115085332805877867040311176727267622379087259279600794424131431765527087485555822925047443223647246813741111040464800871959975194215550701077396977294445328483173365873004442577210451751842565707845373284068202949695677564568103139530684315189236414118812874804092695399968070336607814042314980507918659897795569071472768128288804655563507723176887952516681620605786844045853977462557683332814509028020554716923346574928131262022200301711404922954943631045276359293710499445251239200567878138919917851615598251093947588114997313536000 - (228574220040245036130866468489015197064883383923081817453573598050084515398776953478933391970852176261551502893149754682378098002295904489457608794583828922041792189828042996305006572083504782187788933309513913565071889608377237140652534698785666361618129450841351965197623362462940495373953159161606228726577943075601058207598815781958161371230668589206436027936289441272736567321791063114627740830887156980509410186426690621053682919207394494546552232664323117331239655626278677700088517695109260110823127298820008234458586793682686691096314259719421165060410388288876154376461220510971274907726528473170127913595668793357578768097925677155799586622973838041091407155526470997901698553771898468706712293572237246331241219644789945844486462510545816045419339069885311566814520382565993406980092553497997206877956283081330765367109346927683416606734129794650012483613230887497471444539553814480445674307965251626111510080724930239006928533037691298708097111021906306008900442914057832142745496063977843745579849569279835110268599969038353735578772581108751840950610228773590039486527001354766043108836804496110404663183574689122892739446223*α)/5843091245987604111807172359707927178743610847608421279460484613693215495993576790507259725591034726506019136149786782621657541164841426506987321559854245838210355955479884302790621214012897888460251367601629334529161186479347416186621064172920544947049184317309989608576450809168704194972003457551209950859116373851561494430524085555364494280969991863111583338940950365943272964085458151331671139309064541545862285246484822814197740590436518977976593049220358390994353946394739314990081004947744242262860073034906539377597514659494740480637025413893056395312071357717624867055495473472301850060256592968693257192833300367366690019448545454226398692953704975049651508214485345442967847238932815465201477952925858819440029050054497498449638471918817337311080902833030198335367062777661075653234490160356740335830254262684355979847785506446220667769699327275882425804675255793462498004396037988377644686281744916243612223066967048008018050290972719232698555497032292601287861677752865873591409855208300906814251284669807709160933008203876387518856962807684683976940329772455856906215328202450035492383682494865725974890693371724257187332096000
c1,12175297816951977337392119724648239610599601702556528665537371544902064576330332474810685670685461789249225119165922615395152623503844483511906266854183452961536990650676507415499243486437346888743670001334124746937255574999288413380222307729422146250696357619083275998217218634787631988025809613739658564642672930159221510035010115674082420308681605087576434896196098686691053780684070813835390631873425616338545794090289849836339643396952406182972133103169852497487747496715580832670570416394592312678094855896181018338760748266324086659480576487533698301334995968872684245963121920645204518493759764698865992524568147549555504003521743107504847366044109201562138346088028186639233918084876086328145200732250844987981165824170816462132610167105647775249904941377397192791235256455109669139571489545091139238640187263235640294114226080347619321369860173392548567093979941689223343886381737278335108251674452049219616830668175601593586333716160942987289395196757454108799658053866377298433129076806053263904334676190391326329180255835502392552246537781197231463884333558756648350182610975482736990715978828360837625037791606771454630812818379669/2991662717945653305245272248170458715516728753975511695083768122210926333948711316739716979502609779971081797708690832702288661076398810371577508638645373869163702249205700763028798061574603718891648700212034219278930527477425877087549984856535319012889182370462714679591142814294376547825665770266219494839867583411999485148428331804346621071856635833913130669537766587362955757611754573481815623326241045271481490046200229280869243182303497716724015641200823496189109220554106529274921474533245052038584357393872148161329927505661307126086157011913244874399780535151423931932413682417818547230851375599970947682730649788091745289957655272563916130792296947225421572205816496866799537786333601518183156711898039715553294873627902719206214897622434476703273422250511461547707936142162470734456058962102651051945090182494390261682066179300464981898086055565251802011993730966252798978250771450049354079376253397116729458210287128580105241748978032247141660414480533811859385179009467327278801845866650064288896657750941547090397700200384710409654764957534558196193448843497398735982248039654418172100445437371251699144035006322819679914033152000 + (315304574699202124240357009414623186525536562964161514188680820333386024309066540468654799530509663950940242881200359814702511340423806592555696349291083999229262119204847277756294923371390634364622331506441718226970405897989065099457817417243617722929093033426535661825976746386272606955918989625690816476455715934944582380803645721277845526874203003363613260238309921770714700080469786329237817460029431420083952963589470862454218728548068079382606462910566324511157463357803758985052840606785630003039230855726120703587460497986129387544127044316050198697442406245862863206243202092404477100254335388160140384718062303312030373859770732967976884358541768347266096583396510252534846336258299114426492293393131929013535290993645015585910102517927469012993876001188070257504936477321348736604427086221419633514915774719171733470608619956784809560836319291982441134171655070104297232811703860571732625441174900954870822240060145962534583423177645348515858572084620594382365043122529117633304636678168122024855684510849041039638415186112886767960447903024816802299611684525538335996599984899464645986124005485408346906987102669830413405490569*α)/186978919871603331577829515510653669719795547123469480942735507638182895871794457296232311218913111248192612356793177043893041317274925648223594289915335866822731390575356297689299878848412732430728043763252138704933157967339117317971874053533457438305573898153919667474446425893398534239104110641638718427491723963249967821776770737771663816991039739619570666846110411710184734850734660842613476457890065329467593127887514330054327698893968607295250977575051468511819326284631658079682592158327815752411522337117009260083120469103831695380384813244577804649986283446963995745775855151113659201928210974998184230170665611755734080622353454535244758174518559201588848262863531054174971111645850094886447294493627482222080929601743919950388431101402154793954588890656966346731746008885154420903503685131415690746568136405899391355129136206279061368630378472828237625749608185390799936140673215628084629961015837319795591138142945536256577609311127015446353775905033363241211573688091707954925115366665629018056041109433846693149856262524044400603422809845909887262090552718587420998890502478401135756277839835703231196502187895176229994627072000
c1,131168359379349751494043711361381601225482391449584978572036157251932605178633144598542573822766711714041114093524086726291789173005884340303157985524376808464327351464575400643607895976778507477265422890627512996451168883131607641364189894380600526370481275325848368437377926971818973018559846750699567786913836768886408182889564627742181703793040122722617976045398528226392615516823080440140062566105364442258697726547800268514202076467513162759836995682857789333029895231360857587934286444554511303753345018941587966949108408195672932499746335374746312319144258830498805168349501281972753236872381361387316686526259889966668709738511762844644362143950492929405257750080835231625236879708644748218964197123075125861554661537973904728971519998186197822041859353311683611924268796001256439527880791701626572171559580179007062175614884024490568719692025616246490182393207425403305011172900616154124905252826915052383698894956459461941792279873303231346541592627337533725937471014238402232228817586047921112907917405201932226237693856097632650827303415946493291950805511580583169528909248169358870204212008029587848721577170989863346735762015077/427380388277950472177896035452922673645246964853644527869109731744418047706958759534245282786087111424440256815527261814612665868056972910225358376949339124166243178457957251861256865939229102698806957173147745611275789639632268155364283550933617001841311767208959239941591830613482363975095110038031356405695369058857069306918333114906660153122376547701875809933966655337565108230250653354545089046605863610211641435171461325838463311757642530960573663028689070884158460079158075610703067790463578862654908199124592594475703929380186732298022430273320696342825790735917704561773383202545506747264482228567278240390092826870249327136807896080559447256042421032203081743688070980971362540904800216883308101699719959364756410518271817029459271088919210957610488892930208792529705163166067247779436994586093007420727168927770037383152311328637854556869436509321686001713390138036114139750110207149907725625179056730961351172898161225729320249854004606734522916354361973122769311287066761039828835123807152041270951107277363870056814314340672915664966422504936885170492691928199819426035434236345453157206491053035957020576429474688525702004736000 + (700304436624302647023320379072451237724038202715451658205259772126459262022303030251806320593775982166567232210824268088400632342349974121737256172826581378235787155350538239882204814853050495421240653549185220670670341164812718598179142188807705220821878509577312973928189980561790475414856073386340955092465356078527999569849341383855101538754742348503661009861966765352991925642508947315411343511785015069182421381658615191299579069103544685603604402995405599102721568060152358889371875052794503131095042299094052639753394407049824473142511651674928976784809201014620329698289973210002093590989212236089094147299179194141589701460015638113579195231637614303719398964372651852883167949884524373359545365965981813462643173731585166215450216657486733621888671941481240336051111505367641712195507099824686579519492497927624373094261499874317745807745059609845109673189839494185075161908837756049491436956814045110921447727563129616978802464086389100156415143027758412322156421480773721556416358311885161410800248103206440605598297389912784933719730482021329121757607633940620046483278541124402170627724075316878599442813362201897988801177*α)/26711274267371904511118502215807667102827935303352782991819358234026127981684922470890330174130444464027516050970453863413291616753560806889084898559333695260390198653622328241328554121201818918675434823321734100704736852477016759710267721933351062615081985450559952496349489413342647748443444377376959775355960566178566831682395819681666259570148534231367238120872915958597819264390665834659068065412866475638227589698216332864903956984852658185035853939293066930259903754947379725668941736903973678915931762445287037154731495586261670768626401892082543521426611920994856535110836450159094171704030139285454890024380801679390582946050493505034965453502651314512692608980504436310710158806550013555206756356232497460297275657391988564341204443057450684850655555808138049533106572697879202986214812161630812963795448057985627336447019458039865909804339781832605375107086883627257133734381887946869232851573691045685084448306135076608082515615875287920907682272147623320173081955441672564989302195237947002579434444204835241878550894646292057229060401406558555323155793245512488714127214639771590822325405690814747313786026842168032856375296000
c1,14-471261877083254167139331788792602792825075645622180022948480351831776127414807053167612080841708550176790269999117047618616998209463895251593052630835258945275447594057326627659874839682646649514524576300840448283427911983770013661718893197874785132971711737273271935496195673339005536424518118608348393650452204924078999833691827254743098123938432097252281421842148632697275941139659479962133663713412259199988108001292283531311571426747201498431294723299040002471592559101263816917429995233151181957410324909220585137209167853182044898889121345701191154903266047069565986327710949008951026787399839111616322071316874898014223078520092738916900733759315041261635346109641206990196866862352436595739336665499227532252928278380963844716362911375310880110173546326601745704819447998866326881245921966768794857719572246447872626726387894996789358616724579972206824450067101800257295389710650696858052085046217985227491096661035337388013548977887589945179085234824417092517347999219828487330392166966604571007229378663986769957952780647679791386631718772270486860316162132269922623191673950024651771222433493554134298628852031982276974215819728243/12253850492705395938284635128506198898756520976283695903063114228575954263853921553365880748042689658761551043414797650748574355768929527281981475383891451368094524412746550325365956860209576832580193076068492162166499440547536392550604737972368666676794090989415279327605320967349766339893926995010435050864097621655549891167962447070603759910324780375708183222426691941838666783177746732981516793144283321431988183229236139134440420074715126647701568066358573040390591367389620343910078359688171733150041527885300318868807383063188713988448899120796651005541501071980232425195166443183384769457567234457481001708464741532023788707666555996421800471725248295835326759755024371166410906772822431818478209891934370674906295802379889537868656220661491616576607937538094946499411706438297480128332017508772458708767089387497022511849743070414704565854560483595271381041126322037771464614915159859402154309125133914590123860829336078664111070203814020084292241057712266493376041693222778172533972360669798663327320710147856576882268980020775773837945917266061550371608366462965345222583287970424496832923424511472646959693967385898269408927879790592000 - (718809907489405014887462470232385008157383124871494304832363343480067559586592441219109714965498336733944576211956097243928450856775457999899756750918995656199883207180257312214993291857655944039999844208685244481163636106006957318177397556596577447042806033168298064014591880955931774875592458676247901553124808338223316876858433467174831991562685287731654102864590754323559870763957817084785179954277698045933148095344075192999550313956124770842045010839872817838022760238917012405360444790492755579554885733223852224406149063384903568330208452334584656231915194701949814274388118398160742600434107033813348841680057034326893482649140850473861050103978032200379426099675249536386228984311049832267327517923143933037589714489753746034425948086627939884814771976237637039677312987534663705860895408059489733820221316197268189546823665475534849267846845805761798909736546640304458130864148002508772647641855990350936233720333747480120925310079354886755005180960329041025055579803769347146340539199560304068585647709495775360794483045104832344774949920656831686019172236658929776726698214927043075538517033224522672055741955001155173773379743*α)/765865655794087246142789695531637431172282561017730993941444639285997141490870097085367546752668103672596940213424853171785897235558095455123842211493215710505907775796659395335372303763098552036262067254280760135406215034221024534412796123273041667299630686838454957975332560459360396243370437188152190679006101353471868197997652941912734994395298773481761451401668246364916673948609170811344799571517707589499261451827258695902526254669695415481348004147410815024411960461851271494379897480510733321877595492831269929300461441449294624278056195049790687846343816998764526574697902698961548091097952153592562606779046345751486794229159749776362529482828018489707922484689023197900681673301401988654888118245898167181643487648743096116791013791343226036037996096130934156213231652393592508020751094298278669297943086718563906990608941900919035365910030224704461315070395127360716538432197491212634644320320869661882741301833504916506941887738376255268265066107016655836002605826423635783373272541862416457957544384241036055141811251298485864871619829128846898225522903935334076411455498151531052057714031967040434980872961618641838057992486912000
c1,15-246339494611581737907811675765893907981477877540324392046908981658404824051732180335403365381032556907147009971300830578799771663237812179941997521472830663404826668785532691974847220786738923597803804912921498180004361208212897215631941264929633772846070941194214560354403740236467871309798113724957344198558319524355217627543494021203966160455875500228804112261357725563998661513447976908625936984654011263677850402539662184854767186357286825813716101434861510276513824474789053332193177493958405534437198305264410508786968019026206090823172400077836090086297428429555093026726647470175991265803985485921491626902646012437277420941727197731802337037070616857523741829588524277935355588105967922609254040255232017494294379217107522749744638959296573119035002810909298955570870143665973283816978953113033366999944594350399792414988735694581122484946135754973311505849152304335999702593977701350875612966153421963752330796524061903132721748330321249334642954754750128151553793627440801723215540964036768247423986565247041768901989636559320329993961149207473400031327932386453402171244298885317916961800193555346030166901749455168170588520794673/196061607883286335012554162056099182380104335620539134449009827657215268221662744853854091968683034540184816694636762411977189692302872436511703606142263221889512390603944805205855309763353229321283089217095874594663991048760582280809675807557898666828705455830644469241685135477596261438302831920166960813825561946488798258687399153129660158565196486011330931558827071069418668530843947727704268690308533142911810931667778226151046721195442026363225089061737168646249461878233925502561253755010747730400664446164805101900918129011019423815182385932746416088664017151683718803122663090934156311321075751319696027335435864512380619322664895942748807547603972733365228156080389938662574508365158909095651358270949930798500732838078232605898499530583865865225727000609519143990587303012759682053312280140359339340273430199952360189595889126635273053672967737524342096658021152604343433838642557750434468946002142633441981773269377258625777123261024321348675856923396263894016667091564450760543557770716778613237131362365705230116303680332412381407134676256984805945733863407445523561332607526791949326774792183562351355103478174372310542846076649472000 - (139040834766224751555366074359563591219867793398425121061133312121534960917397673339070068838733814644034038893119542068950953651894290759525556307312166974959160988677471964843618438766188589990044390465934711530583735664971076966979027561126737584480936039107049985625067692259021849482579739214779408430384133718661693888460727818258578805171523281226766068542170640071636566074578556326028364279701923812676976287748924529881738540577494226832273065669542847601065933741960166734392708660541361150384277025169749745390164208485334871417253288378032811513713512667394107329890359114046749253630749416488877062432271896516380971351477530433526128898953724649947008484119922351649321392179373061057980414225840583205073847688553396325528104092075927341701941180161865174926300848305981349938697860770749471070878800376504359919014362030386172902390487610495283160179926035971238801131772715636940221017491408547431727028625634736805569846599940505787644217313576911761442811074119250438046170738067086305648035129654733353163942493169497339609134417939034065945900366083223695159910628789101759732241042464304972478491685160761085973806613*α)/12253850492705395938284635128506198898756520976283695903063114228575954263853921553365880748042689658761551043414797650748574355768929527281981475383891451368094524412746550325365956860209576832580193076068492162166499440547536392550604737972368666676794090989415279327605320967349766339893926995010435050864097621655549891167962447070603759910324780375708183222426691941838666783177746732981516793144283321431988183229236139134440420074715126647701568066358573040390591367389620343910078359688171733150041527885300318868807383063188713988448899120796651005541501071980232425195166443183384769457567234457481001708464741532023788707666555996421800471725248295835326759755024371166410906772822431818478209891934370674906295802379889537868656220661491616576607937538094946499411706438297480128332017508772458708767089387497022511849743070414704565854560483595271381041126322037771464614915159859402154309125133914590123860829336078664111070203814020084292241057712266493376041693222778172533972360669798663327320710147856576882268980020775773837945917266061550371608366462965345222583287970424496832923424511472646959693967385898269408927879790592000
c1,1625092666510376618993165708019140265662385546371313150042846351440290212641734680697695488782795752579947428501846496767648111085825978233918975464687524388866521851824024111426389392258174280570723491352753587278717625962359540930186675052937903337404834393615665944648333737455508640037672734160488040907681702415481755453959357836247358195338183993461827190492298400869505210209181887138653088093297552509265232615767204045876565685774818996888200637511242434851295321099767843780317113753945646971339219255427542828159092549228602427200030640772667148257480325641417616617585144582294617791316325524271700886379005968888238450094214111293517234603619887627401804273343750745803292955973578793475011742781778062136297786005068312953631742325667265165307557559355150556221027212851018437953462370605138327935848144028249270651747173184955368480396679186741775023075876534171562396617471349406479516915216993985058635103558849332006930723479699462393540589849885406185346091743271891973250527876989764303265540154316392804978637167055112364476845389711956939584832723612627142348345674112910022214204967453004385018788272794190493224280460129/1568492863066290680100433296448793459040834684964313075592078621257722145773301958830832735749464276321478533557094099295817517538422979492093628849138105775116099124831558441646842478106825834570264713736766996757311928390084658246477406460463189334629643646645155753933481083820770091506422655361335686510604495571910386069499193225037281268521571888090647452470616568555349348246751581821634149522468265143294487453342225809208373769563536210905800712493897349169995695025871404020490030040085981843205315569318440815207345032088155390521459087461971328709312137213469750424981304727473250490568606010557568218683486916099044954581319167541990460380831781866921825248643119509300596066921271272765210866167599446388005862704625860847187996244670926921805816004876153151924698424102077456426498241122874714722187441599618881516767113013082184429383741900194736773264169220834747470709140462003475751568017141067535854186155018069006216986088194570789406855387170111152133336732515606084348462165734228905897050898925641840930429442659299051257077410055878447565870907259564188490660860214335594614198337468498810840827825394978484342768613195776000 + (33109086115609382561201353215314888103558357268657835008911900879950905300259882793846958268710449940005097854988060275066950845011436749087933748946649297051114276504299588264951485657834303386965617442773112641369227420979527369098348765117498489888408062885162585854079531983076402529852431562071693172311460950313509048362275650670131970571006211683012624030615150426887316550487748224147747980928039207667121681579986089278474201491872286814829361999247426037566793172698652036337745343050885772240221090894263716859292694443250167177357493207575710626709181984394361944753502585015283675786086768575377717754184258298318041497330858653938232809126859917348446387462635001427920458648630104148530052353091519971056317464224605072044748228174946529107498787192172046702716376838440876117557050308129718498413596989885173515332292369137022805047129039277896782263141210098663632375779939440996977851109393663782115445740524285082361229994032258903171668050782860322444103929876389776494923479258152481979066746417927650312394019612097956257116144258006874231646143549580819587142844277297954745535651297363240044795827507920307264428549*α)/98030803941643167506277081028049591190052167810269567224504913828607634110831372426927045984341517270092408347318381205988594846151436218255851803071131610944756195301972402602927654881676614660641544608547937297331995524380291140404837903778949333414352727915322234620842567738798130719151415960083480406912780973244399129343699576564830079282598243005665465779413535534709334265421973863852134345154266571455905465833889113075523360597721013181612544530868584323124730939116962751280626877505373865200332223082402550950459064505509711907591192966373208044332008575841859401561331545467078155660537875659848013667717932256190309661332447971374403773801986366682614078040194969331287254182579454547825679135474965399250366419039116302949249765291932932612863500304759571995293651506379841026656140070179669670136715099976180094797944563317636526836483868762171048329010576302171716919321278875217234473001071316720990886634688629312888561630512160674337928461698131947008333545782225380271778885358389306618565681182852615058151840166206190703567338128492402972866931703722761780666303763395974663387396091781175677551739087186155271423038324736000
c1,174577907967940681845001328345835257377919613503999754628206703962086703840917482271303094027594471919963575969730404221367569369126298168079069319451193095774938381887274445908649799316643062343634913960419440600207937105754558802004037314926859739888731696014629546903554329842670850398889969459903566954257626018078928955358800507990958342646054210454821424729604981155578996170983325530341314982885374824019095289298479007107378339272170920651858051043975522172653304479731263002479553751089347054246043581756540610875251632182935253611448230813452533172108334030861462776485704682510197693766795630335246168050191992771359700581792973326155849483233932942842044559880329825119267106564143664091263242204211353163277463859218968714455061520246466083521098233279980721486845268215167973235317760977121437000974820261056764467735069928540643853726093545932356587487259259256981751059738276525934118980666922346909546724683841006512752945996170245421086607013723625059339699935412088096389800322730466928157487442281900463865947837293106439548868872051775091350636737149292294287048617249530458043682985016281989147923837065771645803471874329/12547942904530325440803466371590347672326677479714504604736628970061777166186415670646661885995714210571828268456752794366540140307383835936749030793104846200928792998652467533174739824854606676562117709894135974058495427120677265971819251683705514677037149173161246031467848670566160732051381242890685492084835964575283088555993545800298250148172575104725179619764932548442794785974012654573073196179746121146355899626737806473666990156508289687246405699951178793359965560206971232163920240320687854745642524554547526521658760256705243124171672699695770629674497097707758003399850437819786003924548848084460545749467895328792359636650553340335923683046654254935374601989144956074404768535370170182121686929340795571104046901637006886777503969957367415374446528039009225215397587392816619651411985928982997717777499532796951052134136904104657475435069935201557894186113353766677979765673123696027806012544137128540286833489240144552049735888705556566315254843097360889217066693860124848674787697325873831247176407191405134727443435541274392410056619280447027580526967258076513507925286881714684756913586699747990486726622603159827874742148905566208000 + (2498193794405469453651480054888300685304775825762580263463200445931765082936535465972723300955841792154349187143280901963955897868145022433261410983934534283148836566994946938460404814587033859771290964118568539088314598288822529490524401869261871476238264956418985877915723465627578133541279979119118667538242582674765216431039861933230362107744693039570109054737155134831462259975935733870029411289936452996344122434876431311464772624330182983817606672226461204752652746273090485398171854588696603991547770840182564053742905370141510670717762256068071530070243941863063539106907263130927088590919125773778304434127383666526400536031961967966725702786425672374672832043146789539379518405376419665732684507158239048994278367254863859063396791303616109045849147164668661102237070829940114220778195204974050825132198091702239366614187766732403116771518140159623686057555931881238634418936313365599559266350440353900879123168391708687162520687296006787944544629678969614202554113413815618743643608039126350509324748199854400565254647546157950800584890687858836378902072285163834817636234697967197635310497890868312248831858001841087484886429*α)/784246431533145340050216648224396729520417342482156537796039310628861072886650979415416367874732138160739266778547049647908758769211489746046814424569052887558049562415779220823421239053412917285132356868383498378655964195042329123238703230231594667314821823322577876966740541910385045753211327680667843255302247785955193034749596612518640634260785944045323726235308284277674674123375790910817074761234132571647243726671112904604186884781768105452900356246948674584997847512935702010245015020042990921602657784659220407603672516044077695260729543730985664354656068606734875212490652363736625245284303005278784109341743458049522477290659583770995230190415890933460912624321559754650298033460635636382605433083799723194002931352312930423593998122335463460902908002438076575962349212051038728213249120561437357361093720799809440758383556506541092214691870950097368386632084610417373735354570231001737875784008570533767927093077509034503108493044097285394703427693585055576066668366257803042174231082867114452948525449462820920465214721329649525628538705027939223782935453629782094245330430107167797307099168734249405420413912697489242171384306597888000
c1,18-431713428601930656052649714332209960687804808952666732667261446233100955845889654972262413058728435544857501581778353812198948070547820620304486227374120861269484975470928377946916122491576036675478598685149524822072131709904540584053367730675530786850250863112979643249934012190680987674426290129633315614206386066689502433897873233783655671052998799075844608906470927970622117182108511637181935725863016082661144290888772472048357456279702812214945241711687198435222327174818371357686231966033242952533613993251051651229002932469582062448034866084916656449143314474914056529823593923681362082924444291495874152115436741981412904063944344630806846172481761897997892832643349020939459534678995671463703187718798776033857698801549195649225268476612281859346149186779860728497471729362646216448993658090617666670579616924426823642318406895992849819285153244105099384688364680410346220407263153857866507050229912265929402193731729189052995212397804208962767461278973274556996356737010665492192517648222403579991389842228525022611154214441195928851943610126445978921591465220329027739865427274504574409818618627026633801459844135238728797801863/100383543236242603526427730972722781378613419837716036837893031760494217329491325365173295087965713684574626147654022354932321122459070687493992246344838769607430343989219740265397918598836853412496941679153087792467963416965418127774554013469644117416297193385289968251742789364529285856411049943125483936678687716602264708447948366402386001185380600837801436958119460387542358287792101236584585569437968969170847197013902451789335921252066317497971245599609430346879724481655769857311361922565502837965140196436380212173270082053641944993373381597566165037395976781662064027198803502558288031396390784675684365995743162630338877093204426722687389464373234039482996815913159648595238148282961361456973495434726364568832375213096055094220031759658939322995572224312073801723180699142532957211295887431863981742219996262375608417073095232837259803480559481612463153488906830133423838125384989568222448100353097028322294667913921156416397887109644452530522038744778887113736533550880998789398301578606990649977411257531241077819547484330195139280452954243576220644215738064612108063402295053717478055308693597983923893812980825278622997937191244529664000 - (500396787666295883829305656972577458077179321753558829158522685727716148101464159450383795504380420605712211089303196088166291095798098027118899755463881673481904998783549856978665601659903941516781551141667130851841126700031546553397964419542640306142273130595405946315306541427801118332021130879912570676530921818354245343912601653247520637337963540762243429519743574048881878979551381920657452924429653353496486321767816295586460913128906518736060755296962979559234972902957587989779763485860908068488980021279156405392176109191642099753293319280366638871146745321086465300449854030354752992631960044696799043933530481432772097722930170725657470939620812775945801750589410384326137456478236853539053591616882759564443044837318389121297796744562106594182220794234723143713232175277758549393995823627222611730169476532650385173176018933290594721692102045310488853218213180445420816404517270979106984704859997361435742523177218512547783209279061993554945821164302480355755454526711770575122689728583850656540648016333623090988797344526164131323924671629268100756787955643755574280395484060224127723147366256233059992794966655779192424323*α)/6273971452265162720401733185795173836163338739857252302368314485030888583093207835323330942997857105285914134228376397183270070153691917968374515396552423100464396499326233766587369912427303338281058854947067987029247713560338632985909625841852757338518574586580623015733924335283080366025690621445342746042417982287641544277996772900149125074086287552362589809882466274221397392987006327286536598089873060573177949813368903236833495078254144843623202849975589396679982780103485616081960120160343927372821262277273763260829380128352621562085836349847885314837248548853879001699925218909893001962274424042230272874733947664396179818325276670167961841523327127467687300994572478037202384267685085091060843464670397785552023450818503443388751984978683707687223264019504612607698793696408309825705992964491498858888749766398475526067068452052328737717534967600778947093056676883338989882836561848013903006272068564270143416744620072276024867944352778283157627421548680444608533346930062424337393848662936915623588203595702567363721717770637196205028309640223513790263483629038256753962643440857342378456793349873995243363311301579913937371074452783104000
c1,19-5352880260774899658419423173362502759831751189669188289341071224069857336844688965223020146892427927294309315724592477362038146413010375147058103395572927990840844007624957439223150854489370648057796289760069704230889595545003118494158002995770066653663270165716068141449922945093142035241071582495196235965971757188561339996495307651241378254787126095756546167274247508269859070733932844868577160960421624863013369767656792537100548506779719613495957100681261517824391592571367268164262234557641667882376551369178021405928533519069191780701367412066107655519678297917718842462398486004123054612711319246625365971028482926243051747727610105662536209838881299451033495780749619979338395295245274124728797787474675916732195674934135698103375246996086976116905395321287466882298415977588418758883134378877326168723810880957827643947557146027206000593754429237376723272526824857632218501436224666031323221906541426048443041748056592335352427830078008114753996779037926840503456258923562076821532462930342398469538421644008745810234892814786458506272696269289746709224680869960637889196836424101598358212215630518076604374955632285211360484753/80306834588994082821142184778178225102890735870172829470314425408395373863593060292138636070372570947659700918123217883945856897967256549995193797075871015685944275191375792212318334879069482729997553343322470233974370733572334502219643210775715293933037754708231974601394231491623428685128839954500387149342950173281811766758358693121908800948304480670241149566495568310033886630233680989267668455550375175336677757611121961431468737001653053998376996479687544277503779585324615885849089538052402270372112157149104169738616065642913555994698705278052932029916781425329651221759042802046630425117112627740547492796594530104271101674563541378149911571498587231586397452730527718876190518626369089165578796347781091655065900170476844075376025407727151458396457779449659041378544559314026365769036709945491185393775997009900486733658476186269807842784447585289970522791125464106739070500307991654577958480282477622657835734331136925133118309687715562024417630995823109690989226840704799031518641262885592519981929006024992862255637987464156111424362363394860976515372590451689686450721836042973982444246954878387139115050384660222898398349752995623731200 - (2865706976032675386665806659766185825355857545123801008138594616418594045037369995886422581939258547879324319371521409140157468570212753872866003159505782363725203161107820968316703484024298041207657236540321033333373428862097957466297772357737347904259950204399712768904215972206408954545560365710227793697983109020167150118456522227200918673671619353349762871746083017512362030565398629510728671179495733008381326886978376432849653062912592414448995113137869090291781851506260641380151614385661807482890738600734213625860450374444918906213491543541871930342593464069043141588115687310052645144640283175930074450135053068561455094605865322483659267686365094815589776973295251306097304596372767828200136992964142491686041404218828989943154109176514734025552662151666391832388542786534774146413278218533263254496540572571103415248746358809382297317258392608891241361466225462549090646117188573393711219122607911187861446482532281802828223198932122947441257583146686695808627327938053744399481159351283255113422586490890885715749022486287402864577270744153020746142990694284854358121985265214138367750864320714768064856698770496155216629*α)/5019177161812130176321386548636139068930670991885801841894651588024710866474566268258664754398285684228731307382701117746616056122953534374699612317241938480371517199460987013269895929941842670624847083957654389623398170848270906388727700673482205870814859669264498412587139468226464292820552497156274196833934385830113235422397418320119300059269030041890071847905973019377117914389605061829229278471898448458542359850695122589466796062603315874898562279980471517343986224082788492865568096128275141898257009821819010608663504102682097249668669079878308251869798839083103201359940175127914401569819539233784218299787158131516943854660221336134369473218661701974149840795657982429761907414148068072848674771736318228441618760654802754711001587982946966149778611215603690086159034957126647860564794371593199087110999813118780420853654761641862990174027974080623157674445341506671191906269249478411122405017654851416114733395696057820819894355482222626526101937238944355686826677544049939469915078930349532498870562876562053890977374216509756964022647712178811032210786903230605403170114752685873902765434679899196194690649041263931149896859562226483200
c1,20340597360085349185003973512339837675445648505687918685141556806212477742445406159745865989969726164550230240637957429733615552398766690255441139941849252115226547447632580824267770272994613681005806011257812593318768496099579062853526691557819237577833105270349663599000981243570850341290197429460819707282417968189594629552875219963066200721253504527247664260356695869389731912897167669383251524411757207713356872246054161341357236308115884996438552656507741480073853221244177909602294002768775362259767038044174684317064856588507182358279627933531281576006915701352309191595779150911264151619474259737341985607287032444032593271770981106656734535186780708226411498304210482015721061434227715795279933874053114579498017030623314511261069362963507659911679779116957570747102293047857102929152670880251602783932463786292242734317721553001008466399550852219720773583707544537324744881544921031443353220003447633431762669411914592900408404127590309558559923995624697236134755923294533605569367474861064985076756034387279235874320580682019213722818358184956279213756116289119834872842805560939446435860102818009762337509054360377458049180891/458896197651394758977955341589589857730804204972416168401796716619402136363388915955077920402128976843769719532132673622547753702670037428543964554719262946776824429665004526927533342166111329885700304818985544194139261334699054298397961204432658822474501455475611283436538465666419592486450514025716497996245429561610352952904906817839478862561739889544235140379974676057336495029906748510100962603145001001923872900634982636751249925723731737133582837026785967300021597630426376490566225931728012973554926612280595255649234660816648891398278315874588183028095893859026578410051673154552173857812072158517414244551968743452977723854648807875142351837134784180493699729888729822149660106436394795231878836273034809457519429545581966145005859472726579762265473025426623093591683196080150661537352628259949630821577125770859924192334149635827473387339700487371260130235002652038508974287474238026159762744471300700901918481892211000760676055358374640139529319976132055377081296232598851608677950073631957257039594320142816355746502785509463493853499219399205580087843374009655351146981920245565613967125456447926509228859340915559419419141445689278464000 + (351450048088265690772345875222703571122922917436520359286704092089319561522628751029272000673245095470184590187954581313043007125479130033014348982675179792201084474032928696969556613035948652639100673849083505925839324261434058288125350252078716588774158442004393765533148136221569202567475709185085294098260749788247834172884318669546221965915415430467269668423376728340730343458655027635739441228131909961705330860994409272343248079969314417340505919086212379912255977863777429233498600802037526343524281340436028912541993378324536272685332185831196587913097926255814287262785281731550149441156082636491664018521440000894340319145397890402209732145119291678290842670009774850227196334249433383960525898819667821149803782976439278609376548695260503406351570507712092989661921286569496535742932095725335541047360464869137535415349171026082911789229053083587367743711715368875087647374985123051074015941580047747712716224693308905341368417016482816429048868231380872289896298767784943576656482961847274611263151620129588073947378558424290025219112142530668894352355163056305741679628887457964982339262214269525257474348423533966396071*α)/28681012353212172436122208849349366108175262810776010525112294788712633522711807247192370025133061052735607470758292101409234606416877339283997784669953934173551526854062782932970833885381958117856269051186596512133703833418690893649872575277041176404656340967225705214783654104151224530403157126607281124765339347600647059556556676114967428910108743096514696273748417253583530939369171781881310162696562562620242056289686414796953120357733233570848927314174122956251349851901648530660389120733000810847182913267537203478077166301040555712392394742161761439255993366189161150628229572159510866113254509907338390284498046465811107740915550492196396989820924011280856233118045613884353756652274674701992427267064675591094964346598872884062866217045411235141592064089163943349480199755009416346084539266246851926348570360678745262020884352239217086708731280460703758139687665752406810892967139876634985171529456293806369905118263187547542253459898415008720582498508253461067581014537428225542371879601997328564974645008926022234156424094341468365843701212450348755490210875603459446686370015347850872945341027995406826803708807222463713696340355579904000
c1,219977203484114722739244928950326429150884541173458752008055004428803717437886687752190282575106669359141393859893766129736380059127211751735796702221817861948704830865544676383305849366390428266876518965892200878370400241204366917397461968825966397983732223008858028544676032736126406047102971010268793855890359201907266851874777841295307112585097464163552299151790775369266699962970930663922191301274798350957604593561320548206764504093567095834442450511582437472817298094640836293276178854759870409900323146854872994447544618850732775927291773734613649921178282872515420576548700327345813630949634824420859351121888090243768184272505608924916595902292040726859139892079602488776476445156834896382447968115590022781440943056452698542073752144538372105053569155654811547561962087377314538698609030657993648917810811163742682542008655300403549165145508628419651636830228414663805709920739208989115407822045297187747201509838171351880346942315483866087156000260916846084920246447174426599911956199007408982065949294655143767718130805686357960674850912748803753980362665486933303260216440328929402675106506266833245533881485135501895226451/1352536161498847710671868375211422738575001867287121338447400848983501033492093647025492818027327510697426541778917353834877589860501162947287474477067301316815903582170539658312729850594854445978906161571746867098515717618060370563699254076222573371503793763507064835391902846174710377854801515023164415146828634497377882387509199042053200858076707042867219361119925361011097037982883048240297573988216845058301941180818896192529999781080472488393717835447369166779011024594940899130089929061935196132582941594090175490334586368722754627279136088893523065767019476637130967945415457718680091370393475835630273562890013138598250133466333328474103773835765679689876167624935203686335840313707268870157116570067892069980057266029083689690543585814352024562466657338099520696901803104236233528741670904345114701368858897008850302882669072610859921562685433015410029857534744658639815924215713543656049827036336465223710917630840200844347255742108893676200717995719126057953502767843449246846629747585441558231274593785684090311673902946764734508199787172966079604469433102344247350748999343881667072745211871635993921937690689014280394077469524136820736000 + (100349925752555254786197489381045751356169982997377705085707277253811329185571171358524871908639500471799262132109886697805662768120676885806830154940525424530017285785178690573306692444472236021403968263963916159127337581570259808008955283919720978100944947324149845012473158630611625390098230488276337219700580783803498970566307938788501753532058129098544368365546604790663812726279300348628514121710269954054186479584378627025149410020105205651844837162447324017750984444163947617325872136530668373109104682109621562688657008808425716754263300222899942126886804985276048082311758352040180741429353820945486618495744448575036871756928261810171763136381376362313470309459922099470109139210234204267467259804733802261540494473406083321585902117843002384524870491148479928528001613289755948026363733724442922708133439183224436131366773643273705171231972605501409128817812289636378055555838749343574570928315777490535216757740335814327184196861828631108290806594893241388253753708803089231855867284886415567031063625499897166860128237971838819811809468894766134890381998906384719024139329338165095250601250926986394785730965998735977709*α)/1606136691779881656422843695563564502057814717403456589406288508167907477271861205842772721407451418953194018362464357678917137959345130999903875941517420313718885503827515844246366697581389654599951066866449404679487414671446690044392864215514305878660755094164639492027884629832468573702576799090007742986859003465636235335167173862438176018966089613404822991329911366200677732604673619785353369111007503506733555152222439228629374740033061079967539929593750885550075591706492317716981790761048045407442243142982083394772321312858271119893974105561058640598335628506593024435180856040932608502342252554810949855931890602085422033491270827562998231429971744631727949054610554377523810372527381783311575926955621833101318003409536881507520508154543029167929155588993180827570891186280527315380734198909823707875519940198009734673169523725396156855688951705799410455822509282134781410006159833091559169605649552453156714686622738502662366193754311240488352619916462193819784536814095980630372825257711850399638580120499857245112759749283122228487247267897219530307451809033793729014436720859479648884939097567742782301007693204457967966995059912474624000
c1,22-1622250516814744878264932627254250470584344685545717292811399568936166206732981189708988738085503229930164151044591162021014932114630258027737325225809163795748889393422004637483671040620360477880040778810210983310779235064160563748742227866886237416200071440886373110407679385396233982659440290215463296677057777448605550813361348024982500504052288604443752991063652117502200378572422431815167815202124168027539657513792769847792776930110576554223712942699609354752555178701081845948049597392673525850229646571715499152905359815109131658791124575639509806796108246979709354527138458099057361321657362361021209563151386775644188969567592418993667229596004135489972235217506951200607676078374792468138067596743901733274974972151132114438385077439667123262521354633701659615577483835159246047526935564104189539869045174390112296795413735287769728229482253248405728521343916731366494702973505846896257354022116340711292120231504293039109035584454352023416584399269780793470588602934365939990915024075822105258789528199699903817509855324210537740583733747584901786034393995346216881687559650541441035555634638294862152925135948845122900833/20558549654782485202212399303213625626340028382764244344400492904549215709079823434787490834015378162600883435039543778290139365879617676798769612051422980015601734448992202806353493729041787578879373655890552379897438907794517632568228661958583115246857665205307385497956923261855597743392983028352099110231795244360143812290139825439208653042765947051581734289022865487368674977339822333252523124620896044886189505948447222126455996672423181823584511098800011335040967573843101666777366921741414981215260712230170667453085712804585870334642868551181550599658696044884390712770314957323937388829980832701580158155928199706693402028688266592806377362303638331286117747899015096032304772768350486826388171865031959463696870443642072083296262504378150773349493191539112714592907407184390749636873397746045743460806655234534524603816569903685070807752818581834232453834528118811325202048078845863571957370952314271400405947988771052834078287280055183878250913534930716080893242071220428552068772163298711685115373825542398172737443324790823964524636765029084409987935383155632559731384790027001339505727220448867107613452898473017061989977536766879675187200 - (1509949194252339257798421524192604878013442252482677808251414621427293936256072396207629546488850663158117398347519165328560981578176071696537194079451409444366712846531446940536672438788131319367996370056597366142068057593723777442243367748172621686934552603327394296761511678406786809498686172288927915359047459075376808262337312216990824540728098822881324131842321463336916447524897332069728825121925628704331872802755622249811527296741706903895709226240814548911871624756021640189090682755708542988909204815314736853549668580686646446146146359980883500447201638628029128871485533574828431866427500905224773062449867463112056859435815497528253498309319100761838013836811216834156794674119560660078049422085392169205482897062525281304849338053156646142461655094802781261813977601024014105709040099977689423428265283023281677297167902713432479097987511708182543534852819704699588159808317586554204882817539803962950166138647329111327505489804791608598036181213934896934110826064195931228179160658286946381664931642422305132399060796637961537653516507227955362852012777359872841458835813705928262476252429384886912292756772000170501*α)/1284909353423905325138274956450851601646251773922765271525030806534325981817488964674218177125961135162555214689971486143133710367476104799923100753213936250975108403062012675397093358065111723679960853493159523743589931737157352035514291372411444702928604075331711593622307703865974858962061439272006194389487202772508988268133739089950540815172871690723858393063929092960542186083738895828282695288806002805386844121777951382903499792026448863974031943675000708440060473365193854173585432608838436325953794514385666715817857050286616895915179284448846912478668502805274419548144684832746086801873802043848759884745512481668337626793016662050398585143977395705382359243688443502019048298021905426649260741564497466481054402727629505206016406523634423334343324471194544662056712949024421852304587359127858966300415952158407787738535618980316925484551161364639528364658007425707825128004927866473247335684519641962525371749298190802129892955003448992390682095933169755055827629451276784504298260206169480319710864096399885796090207799426497782789797814317775624245961447227034983211549376687583719107951278054194225840806154563566374373596047929979699200
c1,23-1472423468161185912362066783938573848325177211616458627236893452617699334120533897598708350926814993012934139268429561404999138370525782437018128328108956955643929886354678551127820778961765553786936870536974959684809936104985833202294942284530487373889352238308535619570010211728306704945303931121921981932842397573277566902676892917058135172953931911762850092990092572487774373927377026760303839437074951596822653411403639177563399038543485273052554779232974712515133340657145962746639432870446086799110407062685963504072566867635352059910189797856948311010987480669174411048064852072252453544061270690490735072110894999525550420992464274411488395853055686985526028908581235916677083961677881540787627926256594308449213876993326174741085524264300367691276943957166180852756186219105664654338551179769325148082456414188506050779161905477271900689135899746709324433804417325567446760493468962341927892934711194183367147524962425896073191283134643187802999059646438438101944576358698892679102007902228450506983427790423809424445982514891270207147104054664001506923437807110363886069148966631064962295535147076407882681970115218847725077/3289367944765197632353983888514180100214404541242279095104078864727874513452771749565998533442460506016141349606327004526422298540738828287803137928227676802496277511838752449016558996646686012620699784942488380783590225247122821210916585913373298439497226432849181679673107721896895638942877284536335857637087239097623009966422372070273384486842551528253077486243658477978987996374371573320403699939343367181790320951751555540232959467587709091773521775808001813606554811814896266684378707478626396994441713956827306792493714048733739253542858968189048095945391367181502514043250393171829982212796933232252825304948511953070944324590122654849020377968582133005778839663842415365168763642936077892222107498405113514191499270982731533327402000700504123735918910646258034334865185149502519941899743639367318953729064837525523936610651184589611329240450973093477192613524499009812032327692615338171513179352370283424064951678203368453452525964808829420520146165588914572942918731395268568331003546127793869618459812086783707637990931966531834323941882404653505598069661304901209557021566404320214320916355271818737218152463755682729918396405882700748029952000 - (774102790379153864636320732571806691616056698784775149727136292257117804256578385352706707391308978263990326243344685251622861380160631061194872427351681482438364867223539401632246672974180683529222033876272803244130420006566003353995928945315546039214185473976236657084264025845893849011620623693295482128484916372601731292970251070302159138636685095611528598618410078036435271056916608665458989282839226149661839667769134689432978232773553217455767543067782257197963967832113990591377527282176735795141639538869225626598182520005945634805731803958883531404865676447329140727863152972451025636168599108628898726256348325036220499529039363823616064803076494351691836186483036320508295808745737633869329337236104351193758338948819107863886939344550391576910008665638933487825810110457889797657564208510229421524951611027444334050181441200359152539362378828272024484991134982324296677130024753064831117035774176372824122250467085065368456099253502622758116056324235600056911947590210800925743137229893248200178192548752621289963703865985687234349628128431653816226184158638602388942394800287247478740979403626826457855063118834027017*α)/205585496547824852022123993032136256263400283827642443444004929045492157090798234347874908340153781626008834350395437782901393658796176767987696120514229800156017344489922028063534937290417875788793736558905523798974389077945176325682286619585831152468576652053073854979569232618555977433929830283520991102317952443601438122901398254392086530427659470515817342890228654873686749773398223332525231246208960448861895059484472221264559966724231818235845110988000113350409675738431016667773669217414149812152607122301706674530857128045858703346428685511815505996586960448843907127703149573239373888299808327015801581559281997066934020286882665928063773623036383312861177478990150960323047727683504868263881718650319594636968704436420720832962625043781507733494931915391127145929074071843907496368733977460457434608066552345345246038165699036850708077528185818342324538345281188113252020480788458635719573709523142714004059479887710528340782872800551838782509135349307160808932420712204285520687721632987116851153738255423981727374433247908239645246367650290844099879353831556325597313847900270013395057272204488671076134528984730170619899775367668796751872000
c1,243504169504419571978403527619739169269069018845413708328474943257595144570024092550711628710993799131113006520626853661211918958713302242742853803328707063334760249929841373008468648995739923454315553966803710150263963880827370720440441037102286612241946662423745530549768220633022258764987581015699551084544359708515634305350134487215380785368230552725191447378729418731244134079658105620934400440566723675443945025257688740083767606604315801353732809110152186088845902331730267131721133101007151359085060912539409176894634797156301708542538399277042463356296742243024810542407511254980851488429143670228168834556099235967384177940221894955982606171195089217504672002571561737276497498513004201835767303821022600453024653393101103050313589093958560508245837717193709328834218279509128912302529237862862136495781799493065082026705713770936300476037037862690830964233042121226336079769548643954239267579469018776326679958557003835421137952289259492890551851119442589174920321548337394433822034671277478268575556045550885501890079466850919217505009755737553261256270576737245028873522923305273233505025217767839703552632841115586386983/751855530232045173109482031660384022906149609426806650309503740509228460217776399900799664786848115660832308481446172463182239666454589322926431526452040411999149145563143416918070627804956802884731379415425915607677765770770930562495219637342468214742223184651241526782424622147861860329800522179733910317048511793742402278039399330348202168421154635029274853998550509252340113456999216758949417128992769641552073360400355552053247878305762078119662120184686128824355385557690575242143704566543176455872391761560527266855706068281997543666939192728925279073232312498629146067028661296418281648639299024514931498273945589273358702763456606822633229249961630401320877637449694940610003118385389232507910285349740231815199833367481493331977600160115228282495751004858979276540613748457718843862798546141101475138071962862976899796720270763339732397817365278509072597377028345099893103472597791582060155280541779068357703240732198503646291649099161010404604837848894759529809995747489958475657953400638598769933671334121990317255070163778704988329573121063658422415922583977419327319215178130334701923738347844282792720563144156052552776321344617313835417600 + (2983482854401684015672877583375362608127590266484067445928906692364629311586867776666885430094776798095752764242822648113974216948237480484690426862924592295468970661227271387894854206201714928860767802888696056875548303825548231333395877983084721931049226920264335390483303731869657892902560152907636443277768959212289688878896687267843633075539226581371549010719511267065230833437204971591827613269439058712425396494280304863702565485931954923574808611029686564553127571773311419850034442556420614231061756713881153858670304909123266610232541052129264425259413777213023132948424733839312968147832253203641097579218920235183417727629522046044577174806035608814965242855370760863382333004254780289560205209196848820353253875841575577713946566071599536405111908818687786999940822526315779621914827842108175620586341134018634416828827387478914757589323228037520718602230761415420287845836785909805282111840695688445377302721680866890545271456387691676593231619907635776983824512132144850130938195057394938131987427352761624237930690843685477120175164743067286804488008559802272779314794308319869831879260781559041303393109067662499*α)/46990970639502823319342626978774001431634350589175415644343983781826778763611024993799979049178007228802019280090385778948889979153411832682901970403252525749946821597696463557379414237809800180295711213464119725479860360673183160155951227333904263421388949040702595423901538884241366270612532636233369394815531987108900142377462458146762635526322164689329678374909406828271257091062451047434338570562048102597004585025022222003327992394110129882478882511542883051522211597355660952633981535408948528492024485097532954178481629267624846479183699545557829942077019531164321629189291331026142603039956189032183218642121599329584918922716037926414576828122601900082554852340605933788125194899086827031744392834358764488449989585467593333248600010007201767655984437803686204783788359278607427741424909133818842196129497678936056237295016922708733274863585329906817037336064271568743318967037361973878759705033861191772356452545762406477893228068697563150287802365555922470613124734218122404728622087539912423120854458382624394828441885236169061770598320066478651400995161498588707957450948633145918870233646740267674545035196509753284548520084038582114713600
c1,2567878342845538633918585305125852495946580296514737618502639679927714574545784137032051252842062410716993232834311539553867452848928723395704994609706079979851608598685371741397090853846148694467361213731536810787078820436239894534396665306325404278304307200671437343207798321040723023162582002128113029584831346892961257655651376647736332068501577349804189183873503002137338786875072974808242782181499516597015622846162071407919913508509997151079281378101445379355261201298145129395421378290493395732323339699501379082508625302287043357292356068080791319044532314265072577975631112643577227483431674806308968061998274912214582208066805436667161731123092018730348991748854123029702918005137860419226468056058049856367266182368241319576073577274146296938528286914796893629837571811111700621839682759088638486092254767056751963941067083640864612176055101406184961554617698367597687635226905669693732850923338720656478864864788337939588445376187048889251568548225890431835529796752936795382099258453125092458842868779266503226967895432308845033144066925707072643865741505417042467781354023781137872229050176376025643223820848643310391/6014844241856361384875856253283072183249196875414453202476029924073827681742211199206397318294784925286658467851569379705457917331636714583411452211616323295993193164505147335344565022439654423077851035323407324861422126166167444499961757098739745717937785477209932214259396977182894882638404177437871282536388094349939218224315194642785617347369237080234198831988404074018720907655993734071595337031942157132416586883202844416425983026446096624957296961477489030594843084461524601937149636532345411646979134092484218134845648546255980349335513541831402232585858499989033168536229290371346253189114392196119451986191564714186869622107652854581065833999693043210567021099597559524880024947083113860063282282797921854521598666939851946655820801280921826259966008038871834212324909987661750750902388369128811801104575702903815198373762166106717859182538922228072580779016226760799144827780782332656481242244334232546861625925857588029170333192793288083236838702791158076238479965979919667805263627205108790159469370672975922538040561310229639906636584968509267379327380671819354618553721425042677615389906782754262341764505153248420422210570756938510683340800 + (35537095967884918783008618598510628572003052190263584709291157036344339456699310350978282829353083433391251223823806877280937465775607324579418307769632622988418948771097206591364540765354491246987501681267022144932880204843090452712379357675973995311888094002090570567567013686563940677436059831521313558507878022284473293088821530035944328237370132335451985241793055822477428786065136823937233501239016629429425038108714336374195937720633368059245776802866942021724812659014471567929401630338524616331792161753985146787756108494010860959910560320065048519543577166743436146172175038962134217988545125208136516828648236674460843564208369569309991127694278601420104728896746446739719993904644759443380488581124040020911727124087122507466032844521614406455338691243316168041600557555587324833019018552861292807412405408923857857179611997595146388332379421469357557720617685152341615368301772431813614642718709407866914955367529666184524866427220103188448989327513072682308213669254363880786096293105037966524601867853331423997393075872467326404364792447413944255380617620377485316147957602333409335074917557274905150789172328947*α)/375927765116022586554741015830192011453074804713403325154751870254614230108888199950399832393424057830416154240723086231591119833227294661463215763226020205999574572781571708459035313902478401442365689707712957803838882885385465281247609818671234107371111592325620763391212311073930930164900261089866955158524255896871201139019699665174101084210577317514637426999275254626170056728499608379474708564496384820776036680200177776026623939152881039059831060092343064412177692778845287621071852283271588227936195880780263633427853034140998771833469596364462639536616156249314573033514330648209140824319649512257465749136972794636679351381728303411316614624980815200660438818724847470305001559192694616253955142674870115907599916683740746665988800080057614141247875502429489638270306874228859421931399273070550737569035981431488449898360135381669866198908682639254536298688514172549946551736298895791030077640270889534178851620366099251823145824549580505202302418924447379764904997873744979237828976700319299384966835667060995158627535081889352494164786560531829211207961291988709663659607589065167350961869173922141396360281572078026276388160672308656917708800
c1,26-27773276861054783802681439978559017270624656381792047395958743558275645108390747675662007035353915931045733425920657364954761380483061462977842957086563070074728960158378444569441197963061329123910463525749204680901836720383319727885225114544561648607880630841809759306264284577331346758805598356332528063826963809182591270920884286758929571145040943315550521458855121769961551106985248556864369720599924996835081730299154288147929468778242552443102600124191635868444686879934495862122967810985194969693643411330621255776034339348516114214838128868794875111376451469464197225764254992877036005268286203534331030083314399817761192360319126664201662050149121811839460010728464374346880161933828248800472205416618172401355050440180139751555755027030000588843088796476429953728699566437766209974579505916089911697981858894847390446142958405111329758753053597808917363625513138862132443109871082333285585108328751575890403407616361677644962090680359975938982942868552289468047742781222203096862024112420761872283848746749705940674166975086515114962929568977735165977681738154689816049965782368905796450596963528047025019439118005896601/240593769674254455395034250131322887329967875016578128099041196962953107269688447968255892731791397011466338714062775188218316693265468583336458088464652931839727726580205893413782600897586176923114041412936292994456885046646697779998470283949589828717511419088397288570375879087315795305536167097514851301455523773997568728972607785711424693894769483209367953279536162960748836306239749362863813481277686285296663475328113776657039321057843864998291878459099561223793723378460984077485985461293816465879165363699368725393825941850239213973420541673256089303434339999561326741449171614853850127564575687844778079447662588567474784884306114183242633359987721728422680843983902380995200997883324554402531291311916874180863946677594077866232832051236873050398640321554873368492996399506470030036095534765152472044183028116152607934950486644268714367301556889122903231160649070431965793111231293306259249689773369301874465037034303521166813327711731523329473548111646323049539198639196786712210545088204351606378774826919036901521622452409185596265463398740370695173095226872774184742148857001707104615596271310170493670580206129936816888422830277540427333632000 - (21964754426077591620848503794523855868195057732723250062750168777580066197324367765271603855689468786619696926818919054110609295293192673032578923010097232301518672329012867622389099723394325908538389251326161603937307687921855265961552044551834251267769279461717717849246543510137879686102796560309798232036134593700372361046606606238176623275916492736958399589907173421227779564395580865582473631790579247789043253167492636026170332703563857920638893425048653114239440199271047108898575279484619631476687940077930419166296262650879703551521181922242900584765969642778852497307633846639948948404101739115534352758344973885798706409257770443698644255689886979623665329997610267463218884146912427195305660838633755148416460885072251248892836288351389627448906410219482762905815180606261643153517206564444831153829304851529704876082327659016563627880339522285529407080076285741776989470760674283791208614502386691383994583182019449551824411563869770030617842534926626022412408735812161477976989919325331535752139260685660533727911764434066914350167129491799056376857890104620726852687269121844420601900002960996800516039251909661*α)/15037110604640903462189640633207680458122992188536133006190074810184569204355527998015993295736962313216646169628923449263644793329091786458528630529040808239982982911262868338361412556099136057694627588308518312153555315415418611249904392746849364294844463693024830535648492442957237206596010443594678206340970235874848045560787986606964043368423092700585497079971010185046802269139984335178988342579855392831041467208007111041064957566115241562393242403693722576487107711153811504842874091330863529117447835231210545337114121365639950873338783854578505581464646249972582921340573225928365632972785980490298629965478911785467174055269132136452664584999232608026417552748993898812200062367707784650158205706994804636303996667349629866639552003202304565649915020097179585530812274969154376877255970922822029502761439257259537995934405415266794647956347305570181451947540566901997862069451955831641203105610835581367154064814643970072925832981983220208092096756977895190596199914949799169513159068012771975398673426682439806345101403275574099766591462421273168448318451679548386546384303562606694038474766956885655854411262883121051055526426892346276708352000
c1,270
c1,280
c1,290
c1,300
c1,310
c1,320
c1,330
c1,340
c1,350
c1,360
c1,370
c1,380
c1,390
c1,400
c1,410
c1,420
c1,430
c1,440
c1,450
c1,460
c1,470
c1,480
c1,490
c1,500
c1,510
c1,520
c1,530
c1,540
c1,550
c1,560
c1,570
c1,580
c1,590
c1,600
1 c2,- 30
4 c2,- 30
7 c2,- 30
10 c2,-- 30
13 c2,-- 30
16 c2,-- 30
19 c2,-- 30
22 c2,-- 30
25 c2,-- 30
28 c2,-- 30
31 c2,-- 30
34 c2,-- 30
37 c2,-- 30
40 c2,-- 30
43 c2,-- 30
46 c2,-- 30
49 c2,-- 30
52 c2,-- 30
55 c2,-- 30
58 c2,-- 30
61 c2,-- 30
64 c2,-- 30
67 c2,-- 30
70 c2,-- 30
73 c2,-- 30
76 c2,-- 30
79 c2,-- 30
82 c2,-- 30
85 c2,-- 30
88 c2,-- 30
91 c2,-- 30
94 c2,-- 30
97 c2,-- 30
100 c2,--- 30
103 c2,--- 30
106 c2,--- 30
109 c2,--- 30
112 c2,--- 30
115 c2,--- 30
118 c2,--- 30
121 c2,--- 30
124 c2,--- 30
127 c2,--- 30
130 c2,--- 30
133 c2,--- 30
136 c2,--- 30
139 c2,--- 30
142 c2,--- 30
145 c2,--- 30
148 c2,--- 30
151 c2,--- 30
154 c2,--- 30
157 c2,--- 30
160 c2,--- 30
163 c2,--- 30
166 c2,--- 30
169 c2,--- 30
172 c2,--- 30
175 c2,--- 30
178 c2,--- 30
181 c2,--- 30
2 c3,- 30
5 c3,- 30
8 c3,- 30
11 c3,-- 30
14 c3,-- 30
17 c3,-- 30
20 c3,-- 30
23 c3,-- 30
26 c3,-- 30
29 c3,-- 30
32 c3,-- 30
35 c3,-- 30
38 c3,-- 30
41 c3,-- 30
44 c3,-- 30
47 c3,-- 30
50 c3,-- 30
53 c3,-- 30
56 c3,-- 30
59 c3,-- 30
62 c3,-- 30
65 c3,-- 30
68 c3,-- 30
71 c3,-- 30
74 c3,-- 30
77 c3,-- 30
80 c3,-- 30
83 c3,-- 30
86 c3,-- 30
89 c3,-- 30
92 c3,-- 30
95 c3,-- 30
98 c3,-- 30
101 c3,--- 30
104 c3,--- 30
107 c3,--- 30
110 c3,--- 30
113 c3,--- 30
116 c3,--- 30
119 c3,--- 30
122 c3,--- 30
125 c3,--- 30
128 c3,--- 30
131 c3,--- 30
134 c3,--- 30
137 c3,--- 30
140 c3,--- 30
143 c3,--- 30
146 c3,--- 30
149 c3,--- 30
152 c3,--- 30
155 c3,--- 30
158 c3,--- 30
161 c3,--- 30
164 c3,--- 30
167 c3,--- 30
170 c3,--- 30
173 c3,--- 30
176 c3,--- 30
179 c3,--- 30

COEFFICIENTS OF f  (return to top)
Use the notation
    [a b c ]=
 
a b
b c
 
Here is a list of some Fourier coefficients of f.

2udet(2u)a(u, f)
[4 -53 704]7-13/83116032 - α/55410688
[8 -89 992]15581/83116032 - (85*α)/166232064
[4 -25 160]15-1075/83116032 + (683*α)/166232064
[12 -109 992]23-5427/27705344 - (1183*α)/166232064
[6 -13 32]23-5427/27705344 - (1183*α)/166232064
[6 -19 64]238101/27705344 - (1183*α)/166232064
[14 -42 128]28-13/81168 - α/54112
[14 -70 352]28-65/81168 - (5*α)/54112
[8 -42 224]28-13/81168 - α/54112
[8 -106 1408]2813/27056 + (3*α)/54112
[16 -113 800]314819/41558016 + (891*α)/27705344
[8 -113 1600]314819/41558016 + (891*α)/27705344
[14 -47 160]3153743/41558016 - (3205*α)/27705344
[20 -101 512]39123237/27705344 + (16883*α)/55410688
[10 -91 832]39-117651/27705344 - (5133*α)/55410688
[10 -101 1024]39-117651/27705344 - (5133*α)/55410688
[8 -27 96]39130781/27705344 - (95*α)/2916352
[24 -73 224]47-91369/13852672 - (32749*α)/83116032
[12 -73 448]4715843/13852672 + (93971*α)/83116032
[4 9 32]47-91369/13852672 - (32749*α)/83116032
[8 -73 672]4715843/13852672 + (93971*α)/83116032
[16 -55 192]47-45585/13852672 - (7789*α)/83116032
[2 4 32]480
[26 76 224]480
[6 12 32]480
[14 36 96]480
[2 3 32]55-2082859/83116032 + (136465*α)/55410688
[14 -29 64]551323869/83116032 - (55023*α)/55410688
[14 -99 704]551323869/83116032 - (55023*α)/55410688
[8 -35 160]55-2038051/83116032 + (43025*α)/55410688
[2 2 32]60-2063/81168 + (1879*α)/162336
[30 -210 1472]60-1075/81168 + (683*α)/162336
[16 -50 160]60581/81168 - (85*α)/162336
[16 -178 1984]60523/27056 - (427*α)/54112
[10 -30 96]60-407/81168 + (1111*α)/162336
[10 -50 256]60581/81168 - (85*α)/162336
[8 -50 320]60-29/27056 - (9*α)/2848
[8 -114 1632]60-1075/81168 + (683*α)/162336
[2 1 32]63-599235/27705344 + (577987*α)/55410688
[16 -225 3168]63472709/27705344 - (437565*α)/55410688
[4 33 288]63472709/27705344 - (437565*α)/55410688
[12 -159 2112]63-29349/3463168 - (6855*α)/6926336
[8 -97 1184]63-893587/27705344 + (182211*α)/55410688
[2 0 32]64-106/1691 + (22*α)/1691
[2 8 64]6453/1691 - (11*α)/1691
[2 16 160]640
[4 8 32]6453/1691 - (11*α)/1691
[20 56 160]64-53/1691 + (11*α)/1691
[10 -24 64]64-53/1691 + (11*α)/1691
[10 -64 416]64106/1691 - (22*α)/1691
[10 -144 2080]640
[36 -469 6112]71-2306515/27705344 - (92421*α)/55410688
[18 -181 1824]711232525/27705344 + (466427*α)/55410688
[18 -235 3072]711330493/27705344 - (7941*α)/55410688
[12 -85 608]711232525/27705344 + (466427*α)/55410688
[120 277 640]71-2306515/27705344 - (92421*α)/55410688
[10 -43 192]71-1008971/27705344 - (17925*α)/55410688
[10 -53 288]711330493/27705344 - (7941*α)/55410688
[40 -441 4864]792488903/41558016 - (73273*α)/27705344
[20 -121 736]79-5143061/41558016 + (340807*α)/27705344
[190 441 1024]792488903/41558016 - (73273*α)/27705344
[10 -71 512]79-5143061/41558016 + (340807*α)/27705344
[10 -121 1472]793850459/41558016 - (80185*α)/27705344
[44 -397 3584]8722491517/83116032 + (4518715*α)/166232064
[22 -45 96]87-13202915/83116032 - (2039237*α)/166232064
[22 -243 2688]87-23421059/83116032 - (4635845*α)/166232064
[16 -115 832]87-13202915/83116032 - (2039237*α)/166232064
[12 -51 224]8718585397/83116032 - (117191*α)/8749056
[134 307 704]8722491517/83116032 + (4518715*α)/166232064
[46 -138 416]92-13607/27056 - (5915*α)/162336
[46 -230 1152]928101/27056 - (1183*α)/162336
[4 6 32]928101/27056 - (1183*α)/162336
[24 -218 1984]922753/27056 + (1183*α)/54112
[26 70 192]92-18955/27056 - (1183*α)/162336
[162 374 864]92-13607/27056 - (5915*α)/162336
[6 26 128]928101/27056 - (1183*α)/162336
[26 -86 288]9213449/27056 - (5915*α)/162336
[12 -26 64]922753/27056 + (1183*α)/54112
[12 -38 128]922753/27056 + (1183*α)/54112
[12 -122 1248]92-18955/27056 - (1183*α)/162336
[12 -134 1504]928101/27056 - (1183*α)/162336
[48 -337 2368]95-62553/311296 - (35141*α)/1867776
[24 -337 4736]95135685/1458176 + (78929*α)/8749056
[4 17 96]95-8403673/27705344 + (1005059*α)/166232064
[16 -81 416]95-8403673/27705344 + (1005059*α)/166232064
[6 49 416]95135685/1458176 + (78929*α)/8749056
[12 -145 1760]95314421/1458176 - (149935*α)/8749056
[60 145 352]951216221/1458176 + (128849*α)/8749056
[10 15 32]95-62553/311296 - (35141*α)/1867776
[52 -261 1312]103-12093013/83116032 - (2459553*α)/55410688
[4 5 32]103-12093013/83116032 - (2459553*α)/55410688
[26 -261 2624]103-12252277/83116032 - (421025*α)/55410688
[14 -59 256]10325916147/83116032 + (1390431*α)/55410688
[14 -101 736]103-12252277/83116032 - (421025*α)/55410688
[56 -169 512]1113646697/27705344 + (688575*α)/55410688
[28 -169 1024]11114081633/27705344 - (2258753*α)/55410688
[120 297 736]111-190047/311296 - (66857*α)/622592
[6 9 32]1113646697/27705344 + (688575*α)/55410688
[14 -169 2048]111-17146287/27705344 - (332865*α)/55410688
[14 -183 2400]11128895673/27705344 + (5136063*α)/55410688
[12 -87 640]11114081633/27705344 - (2258753*α)/55410688
[10 23 64]111-190047/311296 - (66857*α)/622592
[2 4 64]112-1664/5073 - (64*α)/1691
[58 172 512]1121664/5073 + (64*α)/1691
[4 4 32]112-1664/5073 - (64*α)/1691
[28 -84 256]1120
[28 -140 704]1123328/5073 + (128*α)/1691
[28 -196 1376]112-1664/5073 - (64*α)/1691
[14 -28 64]112-1664/5073 - (64*α)/1691
[14 -84 512]1121664/5073 + (64*α)/1691
[8 12 32]1121664/5073 + (64*α)/1691
[16 -84 448]1120
[16 -148 1376]1121664/5073 + (64*α)/1691
[16 -212 2816]112-3328/5073 - (128*α)/1691
[2 3 64]119-133161/13852672 - (6649681*α)/83116032
[30 -61 128]1191358759/13852672 - (582097*α)/83116032
[30 -451 6784]119-133161/13852672 - (6649681*α)/83116032
[20 -61 192]119-1290045/13852672 - (10717777*α)/83116032
[90 221 544]119332605/729088 + (5430575*α)/83116032
[16 -67 288]119-22378341/13852672 + (1532975*α)/83116032
[8 67 576]1191358759/13852672 - (582097*α)/83116032
[12 -61 320]119-1290045/13852672 - (10717777*α)/83116032
[24 61 160]119-13831421/13852672 + (8091695*α)/83116032
[12 -125 1312]119332605/729088 + (5430575*α)/83116032
[2 2 64]12453743/40584 - (3205*α)/27056
[62 -434 3040]12473019/40584 + (359*α)/27056
[4 2 32]12453743/40584 - (3205*α)/27056
[32 -226 1600]124-21127/13528 + (1423*α)/27056
[16 -98 608]124-44105/40584 + (4987*α)/27056
[16 -226 3200]124-21127/13528 + (1423*α)/27056
[8 34 160]12453743/40584 - (3205*α)/27056
[28 -94 320]124-21127/13528 + (1423*α)/27056
[10 14 32]12473019/40584 + (359*α)/27056
[14 -46 160]1248993/2136 - (7833*α)/27056
[14 -130 1216]124-44105/40584 + (4987*α)/27056
[14 -158 1792]12453743/40584 - (3205*α)/27056
[2 1 64]12787451/68352 - (1666275*α)/6926336
[4 1 32]12787451/68352 - (1666275*α)/6926336
[32 -449 6304]127-1836809/5194752 + (1145597*α)/6926336
[16 -193 2336]127-8141179/10389504 + (791101*α)/6926336
[8 65 544]127-1836809/5194752 + (1145597*α)/6926336
[2 0 64]128-370/1691 - (2134*α)/5073
[2 8 96]1282162/1691 + (626*α)/1691
[2 16 192]128-3954/1691 - (1622*α)/5073
[4 0 32]128-370/1691 - (2134*α)/5073
[4 16 96]128-1792/1691 + (256*α)/5073
[4 32 288]1283954/1691 + (1622*α)/5073
[6 8 32]1282162/1691 + (626*α)/1691
[22 -112 576]128-1792/1691 + (256*α)/5073
[22 -200 1824]128-2162/1691 - (626*α)/1691
[22 -288 3776]1281792/1691 - (256*α)/5073
[18 -40 96]128-2162/1691 - (626*α)/1691
[18 -112 704]128370/1691 + (2134*α)/5073
[18 -256 3648]1283954/1691 + (1622*α)/5073
[12 16 32]128-3954/1691 - (1622*α)/5073
[12 -64 352]1281792/1691 - (256*α)/5073
[12 -112 1056]128370/1691 + (2134*α)/5073
[68 -885 11520]1351721379/6926336 - (1701187*α)/13852672
[34 -171 864]135-10400449/6926336 + (197245*α)/13852672
[34 -341 3424]13514468269/6926336 + (55101*α)/13852672
[24 -267 2976]13533440289/27705344 - (15361833*α)/55410688
[8 11 32]1351721379/6926336 - (1701187*α)/13852672
[18 -75 320]1351680139/6926336 + (659325*α)/13852672
[16 -117 864]13514468269/6926336 + (55101*α)/13852672
[12 -75 480]135-38448903/27705344 + (15707607*α)/55410688
[72 -793 8736]1437773237/27705344 + (43486945*α)/166232064
[36 -217 1312]143-22421363/27705344 - (76960031*α)/166232064
[42 121 352]143-42039227/27705344 - (75374879*α)/166232064
[6 7 32]1437773237/27705344 + (43486945*α)/166232064
[6 25 128]143-38578163/27705344 + (62641633*α)/166232064
[18 -199 2208]143-38578163/27705344 + (62641633*α)/166232064
[18 -217 2624]14311431205/27705344 + (1326049*α)/166232064
[12 -25 64]143-42039227/27705344 - (75374879*α)/166232064
[14 -89 576]14320199453/27705344 - (22405919*α)/166232064
[14 -103 768]143-22421363/27705344 - (76960031*α)/166232064
[76 -685 6176]151337802725/83116032 + (17801809*α)/55410688
[38 -77 160]151-145434923/83116032 + (6458961*α)/55410688
[38 -115 352]151-21863729/4374528 - (9216687*α)/55410688
[20 -83 352]15193309757/83116032 - (20156335*α)/55410688
[8 19 64]151-21863729/4374528 - (9216687*α)/55410688
[10 13 32]151337802725/83116032 + (17801809*α)/55410688
[10 83 704]151-145434923/83116032 + (6458961*α)/55410688
[78 -234 704]156-110107/27056 - (23821*α)/54112
[78 -390 1952]156-98935/27056 - (321*α)/54112
[40 -202 1024]156112065/27056 - (6617*α)/54112
[40 -522 6816]156123237/27056 + (16883*α)/54112
[6 6 32]156-98935/27056 - (321*α)/54112
[26 -182 1280]156-125195/27056 + (13555*α)/54112
[8 10 32]156-110107/27056 - (23821*α)/54112
[20 -42 96]156-125195/27056 + (13555*α)/54112
[20 -182 1664]156-136367/27056 - (9945*α)/54112
[20 -202 2048]156-136367/27056 - (9945*α)/54112
[10 22 64]156123237/27056 + (16883*α)/54112
[82 198 480]156134409/27056 + (40383*α)/54112
[10 42 192]156130781/27056 - (95*α)/2848
[30 -102 352]156157041/27056 - (15681*α)/54112
[16 -54 192]156104521/27056 + (12071*α)/54112
[16 -182 2080]156130781/27056 - (95*α)/2848
[80 -561 3936]159-135631787/27705344 - (4858373*α)/55410688
[40 -561 7872]159-30646203/27705344 + (1600507*α)/55410688
[46 -143 448]159-115045595/27705344 - (8837381*α)/55410688
[28 -143 736]159-115045595/27705344 - (8837381*α)/55410688
[20 -241 2912]159188784085/27705344 - (14855685*α)/55410688
[30 81 224]15952273101/27705344 - (6689797*α)/55410688
[16 -49 160]159-5551409/1458176 + (3548411*α)/55410688
[10 81 672]159-30646203/27705344 + (1600507*α)/55410688
[12 15 32]159-135631787/27705344 - (4858373*α)/55410688
[14 -143 1472]15952273101/27705344 - (6689797*α)/55410688
[84 -421 2112]167-325616069/27705344 - (89178737*α)/166232064
[42 -379 3424]16796914875/27705344 + (42844303*α)/166232064
[42 -421 4224]167-56682405/27705344 + (94906255*α)/166232064
[28 -421 6336]167-325616069/27705344 - (89178737*α)/166232064
[36 101 288]167-27271869/27705344 + (90237583*α)/166232064
[22 -69 224]16748066563/27705344 - (27681905*α)/166232064
[22 -91 384]167116094251/27705344 + (40928143*α)/166232064
[14 -155 1728]16748066563/27705344 - (27681905*α)/166232064
[14 -197 2784]16796914875/27705344 + (42844303*α)/166232064
[16 -37 96]167-27271869/27705344 + (90237583*α)/166232064
[12 101 864]167-56682405/27705344 + (94906255*α)/166232064
[88 -265 800]175161258375/27705344 + (12729489*α)/55410688
[44 -265 1600]175-81948225/27705344 + (73474705*α)/55410688
[4 9 64]175227857807/27705344 - (78318191*α)/55410688
[8 9 32]175161258375/27705344 + (12729489*α)/55410688
[22 -265 3200]175-29562465/27705344 - (767925*α)/2916352
[20 -265 3520]175-2948375/20779008 - (163923*α)/13852672
[16 -119 896]175-81948225/27705344 + (73474705*α)/55410688
[2 4 96]17616424/1691 + (1320*α)/1691
[90 268 800]176-16424/1691 - (1320*α)/1691
[30 -92 288]1760
[30 -212 1504]17616424/1691 + (1320*α)/1691
[30 -332 3680]176-32848/1691 - (2640*α)/1691
[30 -452 6816]17616424/1691 + (1320*α)/1691
[22 -44 96]17616424/1691 + (1320*α)/1691
[22 -132 800]176-16424/1691 - (1320*α)/1691
[10 12 32]176-16424/1691 - (1320*α)/1691
[18 -92 480]1760
[18 -164 1504]176-16424/1691 - (1320*α)/1691
[18 -236 3104]17632848/1691 + (2640*α)/1691
[2 3 96]183168655747/27705344 + (102851037*α)/55410688
[46 -93 192]183-180891965/27705344 - (90199843*α)/55410688
[46 -323 2272]183-215772069/27705344 + (2722525*α)/55410688
[6 3 32]183168655747/27705344 + (102851037*α)/55410688
[24 -99 416]18362400083/27705344 + (831709*α)/55410688
[38 -125 416]183682484235/27705344 - (46178851*α)/55410688
[16 -227 3232]183-215772069/27705344 + (2722525*α)/55410688
[12 99 832]183-180891965/27705344 - (90199843*α)/55410688
[2 2 96]188-89425/13528 + (241375*α)/81168
[94 -658 4608]18861627/13528 + (118931*α)/81168
[48 -146 448]188166895/13528 - (9491*α)/27056
[48 -530 5856]188-198581/13528 - (159469*α)/81168
[6 2 32]188-89425/13528 + (241375*α)/81168
[6 14 64]188-198581/13528 - (159469*α)/81168
[142 350 864]188-349633/13528 - (37025*α)/81168
[6 50 448]188-29941/13528 + (69011*α)/81168
[24 -146 896]188121111/13528 - (17811*α)/27056
[24 -338 4768]188-29941/13528 + (69011*α)/81168
[8 18 64]188166895/13528 - (9491*α)/27056
[112 274 672]18815843/13528 + (93971*α)/81168
[12 14 32]18861627/13528 + (118931*α)/81168
[16 -146 1344]188121111/13528 - (17811*α)/27056
[12 50 224]188-45585/13528 - (7789*α)/81168
[32 -110 384]18813899/13528 - (60051*α)/27056
[14 34 96]188-349633/13528 - (37025*α)/81168
[102 242 576]18815843/13528 + (93971*α)/81168
[14 62 288]188-105069/13528 + (164575*α)/81168
[42 -146 512]188-45585/13528 - (7789*α)/81168
[2 1 96]191-73505259/13852672 + (144109621*α)/83116032
[48 -673 9440]191222638157/13852672 - (59036747*α)/83116032
[4 33 320]191188530661/13852672 - (166933067*α)/83116032
[6 1 32]191-73505259/13852672 + (144109621*α)/83116032
[32 -417 5440]19178925833/13852672 + (28048309*α)/83116032
[24 -289 3488]191-14082973/729088 + (62598325*α)/83116032
[8 33 160]191-113850863/13852672 + (105146677*α)/83116032
[20 -223 2496]191-113850863/13852672 + (105146677*α)/83116032
[36 95 256]19136725289/13852672 - (30455627*α)/83116032
[16 -161 1632]19136725289/13852672 - (30455627*α)/83116032
[12 97 800]191222638157/13852672 - (59036747*α)/83116032
[18 -95 512]19178925833/13852672 + (28048309*α)/83116032
[18 -257 3680]191188530661/13852672 - (166933067*α)/83116032
[2 0 96]192-49804/1691 + (1524*α)/1691
[2 8 128]19217680/1691 - (80*α)/89
[2 16 224]19214444/1691 + (1516*α)/1691
[4 8 64]1920
[52 152 448]1920
[6 0 32]192-49804/1691 + (1524*α)/1691
[6 24 128]19232124/1691 - (4*α)/1691
[6 48 416]192-14444/1691 - (1516*α)/1691
[8 8 32]19217680/1691 - (80*α)/89
[24 -72 224]192-32124/1691 + (4*α)/1691
[24 -120 608]19232124/1691 - (4*α)/1691
[24 -168 1184]192-17680/1691 + (80*α)/89
[26 -56 128]192-17680/1691 + (80*α)/89
[26 -160 992]19249804/1691 - (1524*α)/1691
[26 -368 5216]192-14444/1691 - (1516*α)/1691
[12 24 64]1920
[28 72 192]1920
[14 16 32]19214444/1691 + (1516*α)/1691
[14 -72 384]192-32124/1691 + (4*α)/1691
[14 -128 1184]19249804/1691 - (1524*α)/1691
[100 -1301 16928]19993321797/27705344 + (23951451*α)/55410688
[50 -501 5024]199331394837/27705344 - (25099941*α)/55410688
[50 -651 8480]199-17836051/27705344 + (107885915*α)/55410688
[26 -107 448]199-383817291/27705344 + (37114715*α)/55410688
[26 -341 4480]199322532413/27705344 - (43874213*α)/55410688
[10 11 32]19993321797/27705344 + (23951451*α)/55410688
[10 21 64]199-17836051/27705344 + (107885915*α)/55410688
[16 -213 2848]199322532413/27705344 - (43874213*α)/55410688
[14 117 992]199331394837/27705344 - (25099941*α)/55410688
[104 -1145 12608]207-446856913/27705344 - (90134439*α)/55410688
[52 -313 1888]207103984583/27705344 - (25734567*α)/55410688
[478 1113 2592]20713337447/27705344 + (150402393*α)/55410688
[36 -327 2976]207-236476005/13852672 + (14614065*α)/27705344
[26 -313 3776]2072033261/1458176 - (11728551*α)/55410688
[26 -391 5888]207-446856913/27705344 - (90134439*α)/55410688
[18 -39 96]207-236476005/13852672 + (14614065*α)/27705344
[18 -57 192]207567635079/13852672 + (6821937*α)/27705344
[108 -973 8768]215-534004533/27705344 - (64852635*α)/55410688
[54 -109 224]215489911171/27705344 + (92763493*α)/55410688
[54 -595 6560]215358487179/27705344 + (103730277*α)/55410688
[36 -397 4384]215-1124734861/27705344 - (290298523*α)/55410688
[6 13 64]215358487179/27705344 + (103730277*α)/55410688
[28 -115 480]215-765493461/27705344 + (54329445*α)/55410688
[42 115 320]215-283821733/27705344 + (4422501*α)/55410688
[24 -77 256]215-947502397/27705344 - (1535321*α)/2916352
[12 13 32]215-534004533/27705344 - (64852635*α)/55410688
[18 -109 672]2151045655779/27705344 + (77835621*α)/55410688
[20 -205 2112]215-283821733/27705344 + (4422501*α)/55410688
[42 109 288]2151045655779/27705344 + (77835621*α)/55410688
[16 -179 2016]215-947502397/27705344 - (1535321*α)/2916352
[110 -330 992]220-149303/81168 + (759*α)/2848
[110 -550 2752]2201368677/81168 - (148463*α)/54112
[4 6 64]220-188293/27056 - (26419*α)/54112
[56 -506 4576]220-2082859/81168 + (136465*α)/54112
[28 -58 128]220932347/27056 - (124467*α)/54112
[28 -198 1408]220932347/27056 - (124467*α)/54112
[28 -282 2848]22067319/4272 + (38417*α)/54112
[28 -422 6368]2201368677/81168 - (148463*α)/54112
[10 10 32]220-149303/81168 + (759*α)/2848
[22 -154 1088]22067319/4272 + (38417*α)/54112
[34 86 224]220-3600839/81168 + (299349*α)/54112
[170 390 896]220-2082859/81168 + (136465*α)/54112
[14 58 256]220-2038051/81168 + (43025*α)/54112
[34 -118 416]220-3466415/81168 + (19029*α)/54112
[16 -70 320]220-203229/27056 + (67021*α)/54112
[16 -198 2464]220-2038051/81168 + (43025*α)/54112
[112 -785 5504]223235144327/20779008 - (1804803*α)/13852672
[56 -785 11008]223-507108197/20779008 - (34556803*α)/13852672
[4 17 128]223741770629/20779008 - (8142915*α)/13852672
[28 -337 4064]223317997649/20779008 + (8804861*α)/13852672
[8 17 64]223741770629/20779008 - (8142915*α)/13852672
[14 15 32]223235144327/20779008 - (1804803*α)/13852672
[116 -581 2912]2311511499803/41558016 - (74493715*α)/83116032
[4 5 64]231-24233285/466944 + (4245301*α)/933888
[58 -581 5824]231-1464107353/41558016 + (215896301*α)/83116032
[40 -123 384]23189279285/2187264 - (2961811*α)/83116032
[30 -123 512]2311978073843/41558016 - (264448915*α)/83116032
[30 -453 6848]2311511499803/41558016 - (74493715*α)/83116032
[24 -123 640]23189279285/2187264 - (2961811*α)/83116032
[40 -133 448]2312240476331/41558016 - (203975827*α)/83116032
[20 -123 768]231-2088658321/41558016 + (160702829*α)/83116032
[104 251 608]231-1228138477/41558016 + (393316973*α)/83116032
[20 -187 1760]231-2088658321/41558016 + (160702829*α)/83116032
[120 -361 1088]239330197753/13852672 - (9560453*α)/27705344
[60 -361 2176]239-186921379/13852672 + (38436987*α)/27705344
[248 617 1536]239312942229/13852672 - (200810245*α)/27705344
[40 -361 3264]239-67427843/13852672 - (65515013*α)/27705344
[48 -151 480]239-198265455/13852672 + (126750971*α)/27705344
[30 -151 768]239-198265455/13852672 + (126750971*α)/27705344
[30 -361 4352]23934680437/13852672 + (29192955*α)/27705344
[24 -361 5440]239330197753/13852672 - (9560453*α)/27705344
[10 41 192]239-262661139/13852672 + (36425083*α)/27705344
[20 -41 96]239-67427843/13852672 - (65515013*α)/27705344
[198 457 1056]239312942229/13852672 - (200810245*α)/27705344
[22 -137 864]239-117166807/13852672 + (57149947*α)/27705344
[22 -247 2784]239-262661139/13852672 + (36425083*α)/27705344
[18 -169 1600]239-117166807/13852672 + (57149947*α)/27705344
[2 4 128]2401664/267 - (19136*α)/5073
[122 364 1088]240-1664/267 + (19136*α)/5073
[4 4 64]2403328/267 - (38272*α)/5073
[60 -180 544]240-1664/267 + (19136*α)/5073
[60 -300 1504]240-1664/267 + (19136*α)/5073
[60 -420 2944]2400
[6 12 64]240-1664/267 + (19136*α)/5073
[46 132 384]2401664/267 - (19136*α)/5073
[30 -60 128]2401664/267 - (19136*α)/5073
[30 -180 1088]240-1664/267 + (19136*α)/5073
[8 4 32]2401664/267 - (19136*α)/5073
[32 -100 320]2400
[32 -228 1632]2401664/267 - (19136*α)/5073
[32 -356 3968]240-3328/267 + (38272*α)/5073
[10 20 64]240-1664/267 + (19136*α)/5073
[34 92 256]2401664/267 - (19136*α)/5073
[12 12 32]240-1664/267 + (19136*α)/5073
[20 -60 192]2403328/267 - (38272*α)/5073
[20 -100 512]2400
[20 -140 992]240-1664/267 + (19136*α)/5073
[16 -36 96]2401664/267 - (19136*α)/5073
[16 -100 640]240-3328/267 + (38272*α)/5073
[16 -164 1696]2401664/267 - (19136*α)/5073
[16 -228 3264]2400
[2 3 128]247-592048621/27705344 - (443830123*α)/55410688
[62 -125 256]24724959441/1458176 + (5668023*α)/2916352
[62 -931 13984]247-5621269/311296 + (12472477*α)/622592
[8 3 32]247-592048621/27705344 - (443830123*α)/55410688
[32 -131 544]24758369081/1458176 - (6181193*α)/2916352
[2 2 128]252178357/27056 - (833341*α)/54112
[126 -882 6176]252-74695/27056 - (552497*α)/54112
[4 2 64]252-346183/27056 + (297143*α)/54112
[64 -450 3168]252-599235/27056 + (577987*α)/54112
[42 -126 384]252-29349/3382 - (6855*α)/6764
[42 -210 1056]252-146745/3382 - (34275*α)/6764
[8 2 32]252178357/27056 - (833341*α)/54112
[32 -194 1184]252767061/27056 - (41789*α)/54112
[32 -450 6336]2521020113/27056 - (322633*α)/54112
[8 66 576]2521020113/27056 - (322633*α)/54112
[24 -126 672]252-29349/3382 - (6855*α)/6764
[24 -318 4224]25288047/3382 + (20565*α)/6764
[14 14 32]252-74695/27056 - (552497*α)/54112
[18 -126 896]252767061/27056 - (41789*α)/54112
[16 -66 288]252-893587/27056 + (182211*α)/54112
[16 -194 2368]252-51831/27056 + (692919*α)/54112
[18 -78 352]252-1735343/27056 - (328497*α)/54112
[18 -114 736]252-852287/27056 + (858831*α)/54112
[18 -222 2752]252-893587/27056 + (182211*α)/54112
[18 -258 3712]252-599235/27056 + (577987*α)/54112
[2 1 128]255183614535/3463168 - (27008231*α)/3463168
[4 1 64]255-41681127/1731584 + (4687289*α)/3463168
[64 -897 12576]255-5621169/182272 + (31347609*α)/3463168
[44 -575 7520]25534408561/1731584 - (12400951*α)/3463168
[8 1 32]255183614535/3463168 - (27008231*α)/3463168
[32 -385 4640]255114489849/1731584 - (21573255*α)/3463168
[28 -257 2368]255-142900113/3463168 + (15166953*α)/3463168
[22 -223 2272]255-142900113/3463168 + (15166953*α)/3463168
[22 -289 3808]255-25593109/432896 - (311495*α)/3463168
[20 -65 224]255131681337/1731584 - (44913927*α)/3463168
[14 33 96]25534408561/1731584 - (12400951*α)/3463168
[2 0 128]256176800/1691 - (800*α)/89
[2 8 160]256-122528/1691 + (3936*α)/1691
[2 16 256]25668256/1691 + (7328*α)/1691
[4 0 64]256108544/1691 - (22528*α)/1691
[4 16 128]256-54272/1691 + (11264*α)/1691
[4 32 320]2560
[8 0 32]256176800/1691 - (800*α)/89
[8 16 64]256-54272/1691 + (11264*α)/1691
[40 112 320]25654272/1691 - (11264*α)/1691
[8 32 160]256-54272/1691 + (11264*α)/1691
[8 64 544]256-68256/1691 - (7328*α)/1691
[34 -72 160]256122528/1691 - (3936*α)/1691
[34 -208 1280]256-176800/1691 + (800*α)/89
[34 -480 6784]256-68256/1691 - (7328*α)/1691
[26 -80 256]25654272/1691 - (11264*α)/1691
[26 -184 1312]256122528/1691 - (3936*α)/1691
[26 -288 3200]256-54272/1691 + (11264*α)/1691
[26 -392 5920]256-122528/1691 + (3936*α)/1691
[16 16 32]25668256/1691 + (7328*α)/1691
[16 -48 160]25654272/1691 - (11264*α)/1691
[16 -112 800]256-176800/1691 + (800*α)/89
[20 -48 128]25654272/1691 - (11264*α)/1691
[20 -128 832]256-108544/1691 + (22528*α)/1691
[20 -288 4160]2560
[132 -1717 22336]263-10912561/27705344 + (194795593*α)/55410688
[66 -331 1664]263254625415/27705344 + (1033683785*α)/55410688
[66 -661 6624]263507807855/27705344 - (693333943*α)/55410688
[44 -309 2176]263-2201435081/27705344 - (542131895*α)/55410688
[408 949 2208]263254625415/27705344 + (1033683785*α)/55410688
[34 -139 576]263-2104241209/27705344 + (102954057*α)/55410688
[34 -309 2816]2633568277351/27705344 - (386012855*α)/55410688
[22 -309 4352]263-2201435081/27705344 - (542131895*α)/55410688
[22 -331 4992]263-10912561/27705344 + (194795593*α)/55410688
[24 -53 128]2633568277351/27705344 - (386012855*α)/55410688
[12 53 256]263-1762992417/27705344 + (563522377*α)/55410688
[18 -203 2304]263-1762992417/27705344 + (563522377*α)/55410688
[136 -1497 16480]271-23756951/2187264 + (167548575*α)/27705344
[68 -409 2464]2712708870239/41558016 - (21268923*α)/1458176
[74 217 640]2713796315495/41558016 + (45353375*α)/27705344
[34 -103 320]271-3079420313/41558016 + (84075423*α)/27705344
[34 -409 4928]271-361184285/41558016 + (79441055*α)/27705344
[28 -423 6400]271-23756951/2187264 + (167548575*α)/27705344
[134 327 800]271-1979228213/41558016 + (5725471*α)/27705344
[20 -103 544]271-3079420313/41558016 + (84075423*α)/27705344
[212 487 1120]2713796315495/41558016 + (45353375*α)/27705344
[124 295 704]271-1979228213/41558016 + (5725471*α)/27705344
[140 -1261 11360]2791183548725/13852672 - (74686001*α)/27705344
[70 -141 288]279-1309364603/13852672 + (159056463*α)/27705344
[70 -211 640]279-659129843/13852672 + (128134095*α)/27705344
[48 -339 2400]2799287307/1731584 + (6432477*α)/3463168
[36 -147 608]2791505258737/13852672 + (162047055*α)/27705344
[164 403 992]279352872117/13852672 - (37248049*α)/27705344
[28 -365 4768]279196639173/13852672 + (10260815*α)/27705344
[268 621 1440]279-659129843/13852672 + (128134095*α)/27705344
[24 -339 4800]2799287307/1731584 + (6432477*α)/3463168
[42 -141 480]2797567821/91136 - (1397361*α)/182272
[20 -301 4544]2791183548725/13852672 - (74686001*α)/27705344
[98 237 576]279-1038105927/13852672 - (151636657*α)/27705344
[18 -237 3136]279196639173/13852672 + (10260815*α)/27705344
[20 -109 608]279352872117/13852672 - (37248049*α)/27705344
[142 -426 1280]2842530069/27056 + (540923*α)/54112
[142 -710 3552]284382089/27056 + (1288935*α)/54112
[72 -362 1824]284-2208547/27056 - (29831*α)/2848
[72 -938 12224]284-256503/27056 - (366065*α)/54112
[58 166 480]284-4356527/27056 + (181223*α)/54112
[450 1046 2432]284-2208547/27056 - (29831*α)/2848
[6 26 160]2843015457/27056 - (124185*α)/54112
[58 -182 576]2844967501/27056 + (76539*α)/54112
[36 -74 160]284-65019/27056 + (391931*α)/54112
[36 -182 928]2844967501/27056 + (76539*α)/54112
[36 -362 3648]2842082961/27056 - (356081*α)/54112
[36 -470 6144]284-354471/27056 + (108303*α)/54112
[30 -154 800]2843015457/27056 - (124185*α)/54112
[30 -214 1536]284-65019/27056 + (391931*α)/54112
[30 -394 5184]284-2306515/27056 - (92421*α)/54112
[30 -454 6880]284382089/27056 + (1288935*α)/54112
[24 -170 1216]2842082961/27056 - (356081*α)/54112
[24 -362 5472]2842530069/27056 + (540923*α)/54112
[40 106 288]284-2404483/27056 + (381947*α)/54112
[240 554 1280]284-256503/27056 - (366065*α)/54112
[18 -38 96]284-4356527/27056 + (181223*α)/54112
[18 -74 320]284-1008971/27056 - (17925*α)/54112
[18 -182 1856]284-2404483/27056 + (381947*α)/54112
[18 -218 2656]284-561863/27056 + (879079*α)/54112
[20 -86 384]284-1456079/27056 - (914929*α)/54112
[20 -106 576]284-354471/27056 + (108303*α)/54112
[20 -246 3040]284-1008971/27056 - (17925*α)/54112
[20 -266 3552]284-2306515/27056 - (92421*α)/54112
[144 -1009 7072]287-15555515/216448 - (22564435*α)/20779008
[72 -1009 14144]287335800955/3463168 + (50882573*α)/20779008
[78 -239 736]28769826849/865792 - (150075763*α)/20779008
[48 -241 1216]287-379548229/3463168 - (560182291*α)/20779008
[6 49 448]28739603427/432896 + (223285613*α)/20779008
[36 -433 5216]287-759564967/3463168 + (5621567*α)/1093632
[338 785 1824]28769826849/865792 - (150075763*α)/20779008
[24 -241 2432]287622158201/3463168 + (14189567*α)/1093632
[12 49 224]287-623596915/3463168 - (195458611*α)/20779008
[26 -239 2208]287622158201/3463168 + (14189567*α)/1093632
[26 -369 5248]28739603427/432896 + (223285613*α)/20779008
[24 -271 3072]287-623596915/3463168 - (195458611*α)/20779008
[18 -271 4096]287-15555515/216448 - (22564435*α)/20779008
[148 -741 3712]2951446244027/83116032 + (813333407*α)/55410688
[74 -667 6016]2951628498995/83116032 - (726782561*α)/55410688
[74 -741 7424]2952653229371/83116032 + (471896991*α)/55410688
[38 -155 640]295-12317623181/83116032 + (8471455*α)/55410688
[38 -421 4672]29515567514027/83116032 + (221327007*α)/55410688
[10 5 32]2951446244027/83116032 + (813333407*α)/55410688
[226 517 1184]2951628498995/83116032 - (726782561*α)/55410688
[152 -457 1376]303-11059607581/83116032 - (1850847787*α)/166232064
[76 -457 2752]303-1425636997/83116032 + (4057625045*α)/166232064
[4 9 96]30313544482331/83116032 - (2864741419*α)/166232064
[6 9 64]30313544482331/83116032 - (2864741419*α)/166232064
[38 -343 3104]303-25448150005/83116032 + (2487590357*α)/166232064
[38 -457 5504]3032359190555/83116032 - (1015969579*α)/166232064
[26 -55 128]303-25448150005/83116032 + (2487590357*α)/166232064
[26 -393 5952]303-11059607581/83116032 - (1850847787*α)/166232064
[22 -73 256]30345713611475/83116032 - (2608610347*α)/166232064
[2 4 160]304-116536/1691 + (11720*α)/1691
[154 460 1376]304116536/1691 - (11720*α)/1691
[38 -76 160]304-116536/1691 + (11720*α)/1691
[38 -228 1376]304116536/1691 - (11720*α)/1691
[10 4 32]304-116536/1691 + (11720*α)/1691
[10 44 224]3040
[50 -164 544]304233072/1691 - (23440*α)/1691
[10 84 736]304-116536/1691 + (11720*α)/1691
[22 -68 224]304-233072/1691 + (23440*α)/1691
[22 -156 1120]304116536/1691 - (11720*α)/1691
[22 -244 2720]3040
[22 -332 5024]304116536/1691 - (11720*α)/1691
[2 3 160]311-5923520021/27705344 + (1357111471*α)/166232064
[78 -157 320]3114794292683/27705344 - (2527620689*α)/166232064
[78 -547 3840]311-1093422221/27705344 + (1452599983*α)/166232064
[52 -157 480]311-1552822869/27705344 - (1767109457*α)/166232064
[218 541 1344]311316677259/27705344 + (5826313903*α)/166232064
[40 -163 672]311-5425509237/27705344 + (1383978415*α)/166232064
[8 35 192]311-2449193029/27705344 - (2202364241*α)/166232064
[10 3 32]311-5923520021/27705344 + (1357111471*α)/166232064
[32 -291 2656]311137810131/27705344 - (2158836305*α)/166232064
[26 -131 672]311-2449193029/27705344 - (2202364241*α)/166232064
[26 -157 960]3114992219539/27705344 - (2476650065*α)/166232064
[28 -285 2912]311137810131/27705344 - (2158836305*α)/166232064
[12 29 96]311-1552822869/27705344 - (1767109457*α)/166232064
[24 -221 2048]3114992219539/27705344 - (2476650065*α)/166232064
[14 61 288]311-2834017917/27705344 + (2717730991*α)/166232064
[16 35 96]311316677259/27705344 + (5826313903*α)/166232064
[20 -227 2592]311-2834017917/27705344 + (2717730991*α)/166232064
[240 547 1248]311-1093422221/27705344 + (1452599983*α)/166232064
[2 2 160]316-9089821/40584 + (868963*α)/27056
[158 -1106 7744]316-3781505/40584 + (333895*α)/27056
[80 -242 736]31610120867/40584 - (487353*α)/27056
[80 -882 9728]31655085/13528 - (194261*α)/27056
[40 -242 1472]316-398767/13528 - (187349*α)/27056
[40 -562 7904]316-6504617/40584 + (18301*α)/1424
[52 146 416]316-5143061/40584 + (340807*α)/27056
[380 882 2048]31655085/13528 - (194261*α)/27056
[10 2 32]316-9089821/40584 + (868963*α)/27056
[46 126 352]3164812551/40584 + (47715*α)/27056
[310 718 1664]31610120867/40584 - (487353*α)/27056
[10 82 704]316-6504617/40584 + (18301*α)/1424
[20 -82 352]3163850459/40584 - (80185*α)/27056
[20 -142 1024]316-398767/13528 - (187349*α)/27056
[20 -242 2944]3162145221/13528 - (601429*α)/27056
[20 -302 4576]316-3781505/40584 + (333895*α)/27056
[22 -50 128]316-5143061/40584 + (340807*α)/27056
[22 -94 416]3161265255/40584 + (441059*α)/27056
[22 -226 2336]3164812551/40584 + (47715*α)/27056
[22 -270 3328]3163850459/40584 - (80185*α)/27056
[2 1 160]319-769932069/27705344 + (1909818533*α)/55410688
[80 -1121 15712]319-3551642485/27705344 - (1282765147*α)/55410688
[4 33 352]3191403130427/27705344 - (1948394331*α)/55410688
[40 -481 5792]3193084836811/27705344 + (375966885*α)/55410688
[50 -159 512]319108932259/311296 + (10230317*α)/622592
[10 1 32]319-769932069/27705344 + (1909818533*α)/55410688
[32 -353 3904]319108932259/311296 + (10230317*α)/622592
[38 97 256]319-5543460189/27705344 - (467644507*α)/55410688
[20 -289 4192]3191403130427/27705344 - (1948394331*α)/55410688
[2 0 160]320280596/1691 + (75028*α)/1691
[2 8 192]32010828/1691 - (45236*α)/1691
[2 16 288]320-15908/89 + (15444*α)/1691
[4 8 96]3205492/1691 - (27148*α)/1691
[84 248 736]320-5492/1691 + (27148*α)/1691
[6 8 64]3205492/1691 - (27148*α)/1691
[54 -272 1376]320-10984/1691 + (54296*α)/1691
[54 -488 4416]3205492/1691 - (27148*α)/1691
[54 -704 9184]3200
[42 -88 192]320-10828/1691 + (45236*α)/1691
[42 -256 1568]320-280596/1691 - (75028*α)/1691
[42 -592 8352]32015908/89 - (15444*α)/1691
[10 0 32]320280596/1691 + (75028*α)/1691
[10 40 192]320-291424/1691 - (1568*α)/89
[10 80 672]32015908/89 - (15444*α)/1691
[28 -88 288]320291424/1691 + (1568*α)/89
[28 -200 1440]320-10828/1691 + (45236*α)/1691
[28 -312 3488]320-291424/1691 - (1568*α)/89
[28 -424 6432]32010828/1691 - (45236*α)/1691
[14 32 96]3200
[46 120 320]320-5492/1691 + (27148*α)/1691
[126 304 736]32010984/1691 - (54296*α)/1691
[254 584 1344]320-5492/1691 + (27148*α)/1691
[20 -40 96]3205492/1691 - (27148*α)/1691
[20 -120 736]320-5492/1691 + (27148*α)/1691
[18 -56 192]320291424/1691 + (1568*α)/89
[18 -128 928]320-280596/1691 - (75028*α)/1691
[18 -272 4128]320-15908/89 + (15444*α)/1691
[164 -2133 27744]327-472456961/27705344 - (75675711*α)/55410688
[82 -821 8224]327-4603642361/27705344 - (608766271*α)/55410688
[82 -1067 13888]327-10468879689/27705344 + (32208219*α)/2916352
[56 -619 6848]3272574278647/27705344 - (776962623*α)/55410688
[42 -171 704]3279179205775/27705344 - (867638335*α)/55410688
[42 -213 1088]3272574278647/27705344 - (776962623*α)/55410688
[28 -171 1056]327-4190764161/27705344 - (106139711*α)/55410688
[282 651 1504]327-10468879689/27705344 + (32208219*α)/2916352
[24 -363 5504]327-472456961/27705344 - (75675711*α)/55410688
[44 -149 512]32713141283751/27705344 + (414523585*α)/55410688
[22 -203 1888]327-4190764161/27705344 - (106139711*α)/55410688
[168 -1849 20352]3353862965057/27705344 + (1169648597*α)/166232064
[84 -505 3040]335-49458669/1458176 - (793686571*α)/166232064
[766 1785 4160]335-8588953927/27705344 - (3660080683*α)/166232064
[6 7 64]335-8588953927/27705344 - (3660080683*α)/166232064
[6 25 160]3352771743737/27705344 + (9009181397*α)/166232064
[42 -295 2080]3356429917721/27705344 + (1078616021*α)/166232064
[42 -505 6080]335358732553/27705344 + (1568387285*α)/166232064
[36 -185 960]3352771743737/27705344 + (9009181397*α)/166232064
[28 -57 128]3356429917721/27705344 + (1078616021*α)/166232064
[128 313 768]3352036938761/27705344 - (9843296299*α)/166232064
[30 -185 1152]335-2777061911/27705344 - (3044599339*α)/166232064
[30 -455 6912]3353862965057/27705344 + (1169648597*α)/166232064
[24 -313 4096]335661313825/27705344 + (3504056789*α)/166232064
[14 57 256]335-287763925/1458176 + (126527957*α)/166232064
[54 -185 640]335-287763925/1458176 + (126527957*α)/166232064
[20 -185 1728]335-2777061911/27705344 - (3044599339*α)/166232064
[118 281 672]3352036938761/27705344 - (9843296299*α)/166232064
[172 -1549 13952]343-819310851/3463168 + (10069955*α)/6926336
[86 -173 352]343478446299/3463168 + (231614595*α)/6926336
[86 -947 10432]34396953063/3463168 - (180331069*α)/6926336
[44 -179 736]343336648469/3463168 - (127302333*α)/6926336
[422 979 2272]34396953063/3463168 - (180331069*α)/6926336
[28 -371 4928]343-2356289971/83116032 - (164877951*α)/55410688
[22 -333 5056]343-819310851/3463168 + (10069955*α)/6926336
[174 -522 1568]3481468169/81168 - (3825625*α)/162336
[174 -870 4352]348-17109035/81168 - (8784581*α)/162336
[4 6 96]348645967/4272 + (1922107*α)/162336
[88 -794 7168]3484710819/27056 + (37831*α)/2848
[6 6 64]348645967/4272 + (1922107*α)/162336
[58 -406 2848]34830850577/81168 + (6881063*α)/162336
[44 -90 192]348-104397/304 - (947*α)/608
[44 -134 416]348-23421059/81168 - (4635845*α)/162336
[44 -442 4448]348-489305/4272 + (4706107*α)/162336
[44 -486 5376]348-7187325/27056 - (1467195*α)/54112
[12 6 32]348-17109035/81168 - (8784581*α)/162336
[32 -230 1664]348-104397/304 - (947*α)/608
[26 -134 704]348-23421059/81168 - (4635845*α)/162336
[26 -186 1344]348-489305/4272 + (4706107*α)/162336
[26 -342 4512]348-25280143/81168 - (4870105*α)/162336
[26 -394 5984]3481468169/81168 - (3825625*α)/162336
[22 -90 384]34818585397/81168 - (117191*α)/8544
[22 -134 832]34832709661/81168 + (7115323*α)/162336
[22 -266 3232]34829350361/81168 - (10758361*α)/162336
[22 -310 4384]34830850577/81168 + (6881063*α)/162336
[24 -102 448]3482606811/27056 + (2101701*α)/54112
[24 -294 3616]34818585397/81168 - (117191*α)/8544
[52 134 352]34832709661/81168 + (7115323*α)/162336
[268 614 1408]3484710819/27056 + (37831*α)/2848
[176 -1233 8640]3512154276333/6926336 + (244465119*α)/13852672
[88 -1233 17280]351-143616969/6926336 - (277400673*α)/13852672
[4 17 160]351-242835085/6926336 - (415495393*α)/13852672
[60 -303 1536]351-762266925/27705344 + (974758077*α)/55410688
[44 -529 6368]3512426624217/6926336 - (350856225*α)/13852672
[188 465 1152]351-1714738911/6926336 + (386927007*α)/13852672
[36 -111 352]351734913361/6926336 + (112028767*α)/13852672
[352 815 1888]351-242835085/6926336 - (415495393*α)/13852672
[30 -273 2496]35133535107/27705344 + (131514813*α)/55410688
[30 -303 3072]35133535107/27705344 + (131514813*α)/55410688
[22 -111 576]351734913361/6926336 + (112028767*α)/13852672
[20 -303 4608]3512154276333/6926336 + (244465119*α)/13852672
[44 111 288]351-3609766887/6926336 + (310819167*α)/13852672
[24 -81 288]351592053579/27705344 - (1255580739*α)/55410688
[20 -47 128]351-1714738911/6926336 + (386927007*α)/13852672
[180 -901 4512]3599579124503/27705344 - (3155680397*α)/166232064
[4 5 96]3592307778431/27705344 - (4940944781*α)/166232064
[90 -901 9024]359-793173657/27705344 + (7357662067*α)/166232064
[60 -901 13536]3592307778431/27705344 - (4940944781*α)/166232064
[68 197 576]3594450507583/27705344 - (2174414477*α)/166232064
[46 -187 768]359-52005953/27705344 + (1364486515*α)/166232064
[46 -325 2304]3592678972079/27705344 + (3009504883*α)/166232064
[36 -325 2944]3594882827711/27705344 - (1258678157*α)/166232064
[158 389 960]359-7097369609/27705344 + (4052426611*α)/166232064
[30 -91 288]359-185753841/27705344 - (1808598413*α)/166232064
[30 -421 5920]3592678972079/27705344 + (3009504883*α)/166232064
[12 5 32]3599579124503/27705344 - (3155680397*α)/166232064
[32 -69 160]3594882827711/27705344 - (1258678157*α)/166232064
[16 69 320]359-13900827369/27705344 + (1913903731*α)/166232064
[20 -261 3424]359-185753841/27705344 - (1808598413*α)/166232064
[18 37 96]3594450507583/27705344 - (2174414477*α)/166232064
[22 -229 2400]359-7097369609/27705344 + (4052426611*α)/166232064
[22 -251 2880]359-13900827369/27705344 + (1913903731*α)/166232064
[184 -553 1664]367-70520507/41558016 - (475258119*α)/27705344
[92 -553 3328]367-14565344015/41558016 + (504897529*α)/27705344
[376 937 2336]367-4038988019/41558016 - (234510727*α)/27705344
[46 -553 6656]3674711650805/41558016 - (282013063*α)/27705344
[46 -599 7808]367-9395770955/41558016 + (528279161*α)/27705344
[28 -425 6464]367-70520507/41558016 - (475258119*α)/27705344
[296 681 1568]367-4038988019/41558016 - (234510727*α)/27705344
[26 -137 736]367-9395770955/41558016 + (528279161*α)/27705344
[2 4 192]368171136/1691 - (75712*α)/5073
[186 556 1664]368-171136/1691 + (75712*α)/5073
[4 4 96]3681508544/1691 - (170752*α)/5073
[92 -276 832]368523520/1691 + (151424*α)/5073
[92 -460 2304]368-512
[92 -644 4512]368-1166272/1691 + (19328*α)/5073
[62 -188 576]368-2032064/1691 + (19328*α)/5073
[62 -436 3072]3681166272/1691 - (19328*α)/5073
[62 -684 7552]368-642752/1691 + (170752*α)/5073
[62 -932 14016]3681508544/1691 - (170752*α)/5073
[46 -92 192]368171136/1691 - (75712*α)/5073
[46 -276 1664]368-171136/1691 + (75712*α)/5073
[8 12 64]368-512
[48 -244 1248]368-642752/1691 + (170752*α)/5073
[48 -436 3968]368-523520/1691 - (151424*α)/5073
[48 -628 8224]3682032064/1691 - (19328*α)/5073
[12 4 32]368171136/1691 - (75712*α)/5073
[12 28 96]368-2032064/1691 + (19328*α)/5073
[52 140 384]368512
[156 380 928]368642752/1691 - (170752*α)/5073
[324 748 1728]368523520/1691 + (151424*α)/5073
[12 52 256]3680
[52 -172 576]368-342272/1691 + (151424*α)/5073
[12 100 864]368171136/1691 - (75712*α)/5073
[24 -52 128]368-523520/1691 - (151424*α)/5073
[24 -76 256]368342272/1691 - (151424*α)/5073
[24 -148 928]368-1508544/1691 + (170752*α)/5073
[24 -172 1248]368-171136/1691 + (75712*α)/5073
[24 -244 2496]368512
[24 -268 3008]3680
[24 -340 4832]3681166272/1691 - (19328*α)/5073
[24 -364 5536]368-171136/1691 + (75712*α)/5073
[18 44 128]3682032064/1691 - (19328*α)/5073
[58 148 384]368-1508544/1691 + (170752*α)/5073
[146 348 832]368642752/1691 - (170752*α)/5073
[282 644 1472]368-1166272/1691 + (19328*α)/5073
[2 3 192]37521725743115/41558016 - (114021271*α)/83116032
[94 -189 384]375-18761462065/41558016 - (209003245*α)/4374528
[94 -1411 21184]3758693163767/41558016 - (1970083351*α)/83116032
[6 3 64]3758693163767/41558016 - (1970083351*α)/83116032
[48 -195 800]375-201689305/41558016 - (79108375*α)/83116032
[8 67 608]375-29679462613/41558016 + (983576681*α)/83116032
[40 -445 4960]375472257005/4374528 - (6307159183*α)/166232064
[12 3 32]37521725743115/41558016 - (114021271*α)/83116032
[32 -451 6368]375-29679462613/41558016 + (983576681*α)/83116032
[46 -157 544]37515482222111/41558016 - (5315711767*α)/83116032
[20 -125 800]3752072970815/83116032 - (500694415*α)/166232064
[2 2 192]38014119231/27056 + (1778435*α)/162336
[190 -1330 9312]3808140827/27056 - (1477361*α)/162336
[4 2 96]380-870995/1424 - (190639*α)/8544
[96 -674 4736]380599625/1424 + (10927*α)/2848
[6 2 64]380-870995/1424 - (190639*α)/8544
[6 14 96]38052517251/27056 + (9354511*α)/162336
[270 670 1664]3801216221/1424 + (128849*α)/8544
[6 50 480]380-22527309/27056 - (6877937*α)/162336
[48 -290 1760]380-8963201/27056 + (1220867*α)/162336
[48 -674 9472]380-2984797/27056 + (1492221*α)/54112
[8 34 192]380-480911/1424 - (5713*α)/2848
[60 -190 608]38020271743/27056 + (6580739*α)/162336
[38 -114 352]380-7670037/27056 + (2335759*α)/162336
[38 -190 960]38020271743/27056 + (6580739*α)/162336
[12 2 32]38014119231/27056 + (1778435*α)/162336
[32 -162 832]380-480911/1424 - (5713*α)/2848
[32 -418 5472]380-1951531/1424 - (240559*α)/8544
[12 98 832]380-2984797/27056 + (1492221*α)/54112
[24 -98 416]380314421/1424 - (149935*α)/8544
[24 -290 3520]380-585791/1424 - (2641*α)/2848
[16 34 96]3801216221/1424 + (128849*α)/8544
[120 290 704]380-6300853/27056 - (1486083*α)/54112
[26 -110 480]3801214633/1424 - (291947*α)/8544
[26 -162 1024]3805414471/27056 - (2632957*α)/162336
[26 -318 3904]380314421/1424 - (149935*α)/8544
[26 -370 5280]380-22527309/27056 - (6877937*α)/162336
[22 -114 608]380-7670037/27056 + (2335759*α)/162336
[22 -158 1152]380-8963201/27056 + (1220867*α)/162336
[22 -290 3840]380-1951531/1424 - (240559*α)/8544
[22 -334 5088]3808140827/27056 - (1477361*α)/162336
[20 30 64]380599625/1424 + (10927*α)/2848
[24 -226 2144]3805414471/27056 - (2632957*α)/162336
[2 1 192]383-7665753787/13852672 - (5861495207*α)/83116032
[4 1 96]3831851493729/13852672 - (1698293927*α)/83116032
[96 -1345 18848]3835038499085/13852672 + (2997746905*α)/83116032
[6 1 64]3831851493729/13852672 - (1698293927*α)/83116032
[64 -833 10848]3835334076901/13852672 - (3647522087*α)/83116032
[48 -577 6944]383-6116197027/13852672 + (2150038489*α)/83116032
[8 65 576]3836065602645/13852672 - (250455719*α)/83116032
[12 1 32]383-7665753787/13852672 - (5861495207*α)/83116032
[32 -321 3232]383-17075367175/13852672 - (6633215399*α)/83116032
[34 -447 5888]3832852641377/13852672 + (947175385*α)/83116032
[34 -481 6816]3836065602645/13852672 - (250455719*α)/83116032
[28 -255 2336]383-17075367175/13852672 - (6633215399*α)/83116032
[14 31 96]3835334076901/13852672 - (3647522087*α)/83116032
[16 65 288]3837807600693/13852672 + (7135943257*α)/83116032
[24 -319 4256]3832852641377/13852672 + (947175385*α)/83116032
[56 -193 672]3837807600693/13852672 + (7135943257*α)/83116032
[2 0 192]384-2043068/5073 - (263356*α)/5073
[2 8 224]384535444/1691 + (71572*α)/1691
[2 16 320]384-1169596/5073 - (166076*α)/5073
[4 0 96]384-248792/5073 - (274648*α)/5073
[4 16 160]384436736/5073 + (2560*α)/267
[4 32 352]384-624680/5073 + (177368*α)/5073
[6 0 64]384-248792/5073 - (274648*α)/5073
[6 24 160]384-62648/1691 + (75336*α)/1691
[6 48 448]384624680/5073 - (177368*α)/5073
[50 -104 224]384-535444/1691 - (71572*α)/1691
[50 -304 1856]3842043068/5073 + (263356*α)/5073
[50 -704 9920]3841169596/5073 + (166076*α)/5073
[10 24 96]384-62648/1691 + (75336*α)/1691
[58 160 448]384-436736/5073 - (2560*α)/267
[186 456 1120]38462648/1691 - (75336*α)/1691
[394 912 2112]384436736/5073 + (2560*α)/267
[12 0 32]384-2043068/5073 - (263356*α)/5073
[12 48 224]384436736/5073 + (2560*α)/267
[12 96 800]3841169596/5073 + (166076*α)/5073
[30 -96 320]384-436736/5073 - (2560*α)/267
[30 -216 1568]384-535444/1691 - (71572*α)/1691
[30 -336 3776]384436736/5073 + (2560*α)/267
[30 -456 6944]384535444/1691 + (71572*α)/1691
[28 -64 160]384-436736/5073 - (2560*α)/267
[28 -176 1120]384248792/5073 + (274648*α)/5073
[28 -400 5728]384624680/5073 - (177368*α)/5073
[20 -64 224]384-436736/5073 - (2560*α)/267
[20 -144 1056]3842043068/5073 + (263356*α)/5073
[20 -304 4640]384-1169596/5073 - (166076*α)/5073
[22 32 64]384-624680/5073 + (177368*α)/5073
[22 -120 672]38462648/1691 - (75336*α)/1691
[22 -208 1984]384248792/5073 + (274648*α)/5073
[196 -2549 33152]391-27248727797/41558016 - (388695621*α)/27705344
[98 -491 2464]39110010276311/41558016 + (453450555*α)/27705344
[98 -981 9824]39115656943475/41558016 - (822710597*α)/27705344
[8 11 64]39110010276311/41558016 + (453450555*α)/27705344
[50 -203 832]391-11122520657/41558016 + (826745275*α)/27705344
[40 -523 6848]39113202999935/41558016 - (671917509*α)/27705344
[10 43 224]3915456087491/41558016 - (1398129221*α)/27705344
[28 -309 3424]3915456087491/41558016 - (1398129221*α)/27705344
[44 117 320]391-3921047501/41558016 + (956753851*α)/27705344
[26 -395 6016]391-27248727797/41558016 - (388695621*α)/27705344
[20 -203 2080]391-3921047501/41558016 + (956753851*α)/27705344
[22 -117 640]39113202999935/41558016 - (671917509*α)/27705344
[22 -139 896]3912044262767/41558016 + (244033721*α)/1458176
[200 -2201 24224]39977032741/6926336 - (333542197*α)/13852672
[100 -601 3616]399251398597/364544 + (4895849*α)/729088
[106 313 928]399101375759/364544 - (6289367*α)/729088
[68 -615 5568]3996202688223/6926336 - (605376437*α)/13852672
[50 -551 6080]399-3012418855/6926336 + (770949899*α)/13852672
[50 -601 7232]399-188846961/364544 + (550185*α)/729088
[40 -281 1984]3991875856611/6926336 + (414569611*α)/13852672
[52 -167 544]399-358292751/364544 + (40021289*α)/729088
[34 -71 160]3991875856611/6926336 + (414569611*α)/13852672
[34 -377 4192]399-358292751/364544 + (40021289*α)/729088
[14 7 32]39977032741/6926336 - (333542197*α)/13852672
[310 711 1632]399101375759/364544 - (6289367*α)/729088
[20 -281 3968]3996202688223/6926336 - (605376437*α)/13852672
[24 -153 992]3993084489193/6926336 - (1139386997*α)/13852672
[20 89 416]399861053445/6926336 + (15355659*α)/13852672
[204 -1837 16544]40722681945731/27705344 + (3162723501*α)/55410688
[102 -205 416]407-556449717/27705344 - (2920168019*α)/55410688
[102 -307 928]407-40887649093/27705344 - (1447370323*α)/55410688
[68 -749 8256]4077143485491/27705344 + (1798451629*α)/55410688
[6 13 96]4073047779403/27705344 + (1256594349*α)/55410688
[8 19 96]4077143485491/27705344 + (1798451629*α)/55410688
[34 -205 1248]40718299756067/27705344 + (1229445549*α)/55410688
[34 -307 2784]407-24055283349/27705344 + (3938381229*α)/55410688
[36 -365 3712]407-24055283349/27705344 + (3938381229*α)/55410688
[366 845 1952]407-40887649093/27705344 - (1447370323*α)/55410688
[26 -237 2176]40718299756067/27705344 + (1229445549*α)/55410688
[24 -365 5568]40722681945731/27705344 + (3162723501*α)/55410688
[18 77 352]40712238224251/27705344 - (3959421779*α)/55410688
[24 -275 3168]40712238224251/27705344 - (3959421779*α)/55410688
[206 -618 1856]41225756883/81168 + (3428959*α)/54112
[206 -1030 5152]412-22933697/81168 - (2332197*α)/54112
[104 -522 2624]41212146101/27056 + (5340131*α)/54112
[104 -1354 17632]412-11933749/81168 - (4498081*α)/54112
[8 10 64]41212146101/27056 + (5340131*α)/54112
[52 -106 224]412-50261437/81168 - (4271009*α)/54112
[52 -470 4256]412-12252277/81168 - (421025*α)/54112
[52 -522 5248]412-523619/27056 + (1490147*α)/54112
[14 6 32]412-22933697/81168 - (2332197*α)/54112
[58 154 416]412-60624329/81168 - (10259237*α)/54112
[338 778 1792]412-11933749/81168 - (4498081*α)/54112
[26 -54 128]412-12252277/81168 - (421025*α)/54112
[26 -106 448]41225916147/81168 + (1390431*α)/54112
[26 -262 2656]412-60624329/81168 - (10259237*α)/54112
[26 -314 3808]41253243887/81168 + (3329243*α)/54112
[28 -118 512]412-470531/27056 - (548381*α)/54112
[28 -342 4192]41225916147/81168 + (1390431*α)/54112
[28 -426 6496]41225756883/81168 + (3428959*α)/54112
[208 -1457 10208]415-6828045265/27705344 - (3078211543*α)/55410688
[104 -1457 20416]415255679039/27705344 + (2469884969*α)/55410688
[110 -335 1024]415-19326739705/27705344 + (6611526185*α)/55410688
[62 177 512]41546856749007/27705344 - (5761897943*α)/55410688
[10 15 64]415-19326739705/27705344 + (6611526185*α)/55410688
[26 -79 256]415-22232125073/27705344 + (27088681*α)/55410688
[22 -49 128]41546856749007/27705344 - (5761897943*α)/55410688
[22 -335 5120]415-6828045265/27705344 - (3078211543*α)/55410688
[212 -1061 5312]423-13106745067/13852672 - (2736153861*α)/27705344
[106 -955 8608]4233902515121/13852672 + (53586171*α)/27705344
[106 -1061 10624]4236843767465/13852672 - (1290242181*α)/27705344
[72 -219 672]423-1721661405/6926336 - (1122104637*α)/13852672
[54 -165 512]4233828941753/13852672 + (390385659*α)/27705344
[36 -219 1344]4232320424895/6926336 + (325436931*α)/13852672
[12 27 96]423-1721661405/6926336 - (1122104637*α)/13852672
[14 5 32]423-13106745067/13852672 - (2736153861*α)/27705344
[32 -165 864]4233828941753/13852672 + (390385659*α)/27705344
[148 357 864]42311527225325/13852672 + (2575824123*α)/27705344
[24 -219 2016]4232320424895/6926336 + (325436931*α)/13852672
[48 -165 576]4234063306341/6926336 + (593183619*α)/13852672
[18 27 64]4233902515121/13852672 + (53586171*α)/27705344
[216 -649 1952]43110078955589/13852672 + (9751381285*α)/83116032
[108 -649 3904]431-721316055/13852672 - (15617058011*α)/83116032
[4 9 128]431-3943622279/13852672 + (3559064869*α)/83116032
[72 -649 5856]431-8535256519/13852672 + (1166866213*α)/83116032
[80 -247 768]431-4099252035/13852672 + (2746066981*α)/83116032
[8 9 64]431-3943622279/13852672 + (3559064869*α)/83116032
[44 -311 2208]43116742983081/13852672 - (1124205659*α)/83116032
[10 23 96]431-4099252035/13852672 + (2746066981*α)/83116032
[36 -73 160]43116742983081/13852672 - (1124205659*α)/83116032
[50 137 384]43110121265101/13852672 - (2327365595*α)/83116032
[38 -119 384]431-10514256443/13852672 + (13677846181*α)/83116032
[38 -233 1440]4316866507461/13852672 - (5445357659*α)/83116032
[30 -457 6976]43110078955589/13852672 + (9751381285*α)/83116032
[24 -265 2944]431-10514256443/13852672 + (13677846181*α)/83116032
[18 73 320]431-16910552015/13852672 - (4217502683*α)/83116032
[22 -201 1856]4316866507461/13852672 - (5445357659*α)/83116032
[22 -311 4416]431-8535256519/13852672 + (1166866213*α)/83116032
[24 -247 2560]43110121265101/13852672 - (2327365595*α)/83116032
[58 -201 704]431-16910552015/13852672 - (4217502683*α)/83116032
[2 4 224]4321060184/1691 + (83032*α)/1691
[218 652 1952]432-1060184/1691 - (83032*α)/1691
[6 12 96]4320
[78 228 672]4320
[54 -108 224]4321060184/1691 + (83032*α)/1691
[54 -324 1952]432-1060184/1691 - (83032*α)/1691
[14 4 32]4321060184/1691 + (83032*α)/1691
[14 60 288]4320
[54 -180 608]432-2120368/1691 - (166064*α)/1691
[18 36 96]4320
[42 108 288]4320
[26 -84 288]4322120368/1691 + (166064*α)/1691
[26 -292 3296]4320
[26 -396 6048]432-1060184/1691 - (83032*α)/1691
[2 3 224]4399639474359/83116032 - (2165518557*α)/55410688
[110 -221 448]439-42624981337/83116032 + (6468145443*α)/55410688
[110 -771 5408]43956728305623/83116032 - (1261940445*α)/55410688
[70 -221 704]439-5084802163/4374528 - (284640477*α)/55410688
[44 -221 1120]439-5084802163/4374528 - (284640477*α)/55410688
[56 157 448]439-8447842417/83116032 + (2451369763*α)/55410688
[14 3 32]4399639474359/83116032 - (2165518557*α)/55410688
[32 -99 320]43965648606039/83116032 - (9101214685*α)/55410688
[50 131 352]43953243509799/83116032 + (6644717347*α)/55410688
[22 -67 224]43965648606039/83116032 - (9101214685*α)/55410688
[22 -221 2240]43953243509799/83116032 + (6644717347*α)/55410688
[20 29 64]43956728305623/83116032 - (1261940445*α)/55410688
[26 -61 160]439-8447842417/83116032 + (2451369763*α)/55410688
[2 2 224]44416999/16 - (72141*α)/608
[222 -1554 10880]444-353229/1424 - (3280193*α)/54112
[112 -338 1024]444-814147/27056 + (7520451*α)/54112
[112 -1234 13600]444-27349119/27056 - (3002945*α)/54112
[74 -222 672]444-18200179/27056 - (12026181*α)/54112
[74 -370 1856]4448334793/27056 - (1502785*α)/54112
[56 -338 2048]444-582043/27056 + (1903043*α)/54112
[56 -786 11040]44434874617/27056 - (1237313*α)/54112
[8 18 96]4448334793/27056 - (1502785*α)/54112
[240 594 1472]444-15628187/27056 + (125635*α)/54112
[10 14 64]444-27349119/27056 - (3002945*α)/54112
[46 -142 448]44428895673/27056 + (5136063*α)/54112
[46 -418 3808]4448107541/27056 - (6143301*α)/54112
[46 -510 5664]44452858653/27056 + (3507643*α)/54112
[12 18 64]444-814147/27056 + (7520451*α)/54112
[40 -366 3360]44434642513/27056 + (4380095*α)/54112
[14 2 32]44416999/16 - (72141*α)/608
[14 30 96]444-18200179/27056 - (12026181*α)/54112
[150 366 896]444-42163159/27056 - (10397761*α)/54112
[28 -114 480]444-17146287/27056 - (332865*α)/54112
[28 -142 736]44428895673/27056 + (5136063*α)/54112
[28 -338 4096]444-579841/1424 + (4850371*α)/54112
[28 -366 4800]4444932693/27056 + (6764483*α)/54112
[30 -66 160]4448107541/27056 - (6143301*α)/54112
[30 -126 544]444-23275595/27056 - (5516101*α)/54112
[30 -306 3136]44434642513/27056 + (4380095*α)/54112
[30 -366 4480]444-17146287/27056 - (332865*α)/54112
[24 -366 5600]444-353229/1424 - (3280193*α)/54112
[20 46 128]444-15628187/27056 + (125635*α)/54112
[140 334 800]444-42163159/27056 - (10397761*α)/54112
[2 1 224]44740251181205/27705344 - (2086868461*α)/55410688
[112 -1569 21984]447-14269754235/27705344 + (3488447507*α)/55410688
[4 33 384]447-34133445363/27705344 + (9606539795*α)/55410688
[76 -991 12928]447-8301843955/27705344 + (9943350035*α)/55410688
[8 33 192]447-11101708155/27705344 - (6146538221*α)/55410688
[38 -193 992]447-11101708155/27705344 - (6146538221*α)/55410688
[38 -383 3872]447-4355515203/27705344 - (8454057197*α)/55410688
[14 1 32]44740251181205/27705344 - (2086868461*α)/55410688
[32 -289 2624]447-4355515203/27705344 - (8454057197*α)/55410688
[16 33 96]447-8301843955/27705344 + (9943350035*α)/55410688
[22 31 64]447-34133445363/27705344 + (9606539795*α)/55410688
[22 97 448]447-29489208283/27705344 + (9275522323*α)/55410688
[2 0 224]448-2889232/1691 - (646160*α)/1691
[2 8 256]4481664/19 + (3712*α)/19
[2 16 352]4482593040/1691 - (14576*α)/1691
[4 8 128]4481703936/5073 + (65536*α)/1691
[116 344 1024]448-1703936/5073 - (65536*α)/1691
[8 8 64]4481703936/5073 + (65536*α)/1691
[56 -168 512]4480
[56 -280 1408]448-3407872/5073 - (131072*α)/1691
[56 -392 2752]4481703936/5073 + (65536*α)/1691
[58 -120 256]448-1664/19 - (3712*α)/19
[58 -352 2144]4482889232/1691 + (646160*α)/1691
[58 -816 11488]448-2593040/1691 + (14576*α)/1691
[14 0 32]448-2889232/1691 - (646160*α)/1691
[14 56 256]4482741136/1691 + (315792*α)/1691
[28 -56 128]4481703936/5073 + (65536*α)/1691
[28 -168 1024]448-1703936/5073 - (65536*α)/1691
[16 8 32]4481664/19 + (3712*α)/19
[16 24 64]448-1703936/5073 - (65536*α)/1691
[32 -104 352]448-2741136/1691 - (315792*α)/1691
[32 -168 896]4480
[32 -296 2752]448-1703936/5073 - (65536*α)/1691
[32 -360 4064]4482741136/1691 + (315792*α)/1691
[32 -424 5632]4483407872/5073 + (131072*α)/1691
[22 -72 256]448-2741136/1691 - (315792*α)/1691
[22 -336 5152]4482593040/1691 - (14576*α)/1691
[228 -2965 38560]4553047111569/3463168 - (194897525*α)/5194752
[114 -1141 11424]455-448436355/865792 + (967125931*α)/5194752
[114 -1483 19296]4551421388845/865792 - (744915701*α)/5194752
[76 -533 3744]4552127735747/3463168 - (383276429*α)/5194752
[696 1621 3776]455-377296781/1731584 - (911866109*α)/5194752
[58 -757 9888]455-249538851/865792 + (514435939*α)/5194752
[48 -341 2432]455-5090435153/3463168 + (181915171*α)/5194752
[38 -267 1888]455413226419/216448 + (307542211*α)/5194752
[38 -533 7488]455-5090435153/3463168 + (181915171*α)/5194752
[40 -85 192]455413226419/216448 + (307542211*α)/5194752
[62 -203 672]455-1905294961/1731584 - (784585901*α)/5194752
[14 21 64]4551421388845/865792 - (744915701*α)/5194752
[30 -395 5216]455-1804870943/1731584 - (1323076253*α)/5194752
[28 -427 6528]4553047111569/3463168 - (194897525*α)/5194752
[18 43 128]455-249538851/865792 + (514435939*α)/5194752
[24 -341 4864]4552127735747/3463168 - (383276429*α)/5194752
[20 85 384]4555604869/22784 - (42733061*α)/5194752
[24 -299 3744]4555604869/22784 - (42733061*α)/5194752
[232 -2553 28096]463-7234346125/41558016 + (3552594379*α)/27705344
[116 -697 4192]463-48892936345/41558016 + (2689111755*α)/27705344
[1054 2457 5728]463-56131843993/41558016 + (583171019*α)/27705344
[58 -871 13088]463-56131843993/41558016 + (583171019*α)/27705344
[16 7 32]463-7234346125/41558016 + (3552594379*α)/27705344
[236 -2125 19136]471-9626109325/27705344 + (316494877*α)/55410688
[118 -237 480]47122296500867/27705344 + (720661021*α)/55410688
[118 -1299 14304]47169873674659/27705344 - (10427257059*α)/55410688
[80 -563 3968]471-48488366133/27705344 + (11729783837*α)/55410688
[74 211 608]471-52980630949/27705344 + (12150191133*α)/55410688
[10 13 64]47169873674659/27705344 - (10427257059*α)/55410688
[10 83 736]47143359019923/27705344 + (1817040413*α)/55410688
[40 -563 7936]47143359019923/27705344 + (1817040413*α)/55410688
[12 51 256]47145711462043/27705344 - (6881313507*α)/55410688
[30 -333 3712]47145711462043/27705344 - (6881313507*α)/55410688
[24 -51 128]471-52980630949/27705344 + (12150191133*α)/55410688
[50 -173 608]471-53255540085/27705344 - (6499504355*α)/55410688
[26 -371 5312]471-48488366133/27705344 + (11729783837*α)/55410688
[26 -397 6080]471-9626109325/27705344 + (316494877*α)/55410688
[238 -714 2144]476-970275/712 - (6862997*α)/81168
[238 -1190 5952]476-20886421/13528 + (7600559*α)/81168
[4 6 128]476-1092437/13528 + (4627153*α)/27056
[120 -1082 9760]476-1625081/13528 - (12717265*α)/81168
[90 262 768]476-13831421/13528 + (8091695*α)/81168
[738 1718 4000]476-44074353/13528 + (149449*α)/4272
[6 26 192]476-1290045/13528 - (10717777*α)/81168
[90 -278 864]47623987935/13528 + (11004523*α)/81168
[60 -122 256]47621152743/13528 + (99979*α)/1424
[60 -422 2976]4761358759/13528 - (582097*α)/81168
[60 -602 6048]47623603939/13528 - (8764753*α)/81168
[60 -902 13568]476-1092437/13528 + (4627153*α)/27056
[10 22 96]47623987935/13528 + (11004523*α)/81168
[210 518 1280]47613929035/13528 + (1135733*α)/4272
[10 42 224]476-11382061/13528 - (18631061*α)/81168
[62 -198 640]47618860871/13528 - (13378897*α)/81168
[40 -122 384]4768801971/13528 - (934831*α)/27056
[40 -442 4896]47618860871/13528 - (13378897*α)/81168
[12 26 96]476-1290045/13528 - (10717777*α)/81168
[180 442 1088]476-11348945/13528 - (47791*α)/27056
[34 -102 320]476-21440961/13528 - (8056657*α)/81168
[34 -170 864]476-11382061/13528 - (18631061*α)/81168
[30 -122 512]476-22378341/13528 + (1532975*α)/81168
[30 -182 1120]476826115/13528 - (27180821*α)/81168
[30 -362 4384]476-3390395/712 + (3434731*α)/81168
[30 -422 5952]4761358759/13528 - (582097*α)/81168
[16 6 32]476-20886421/13528 + (7600559*α)/81168
[32 -134 576]47619660823/13528 - (122927*α)/27056
[32 -390 4768]476-22378341/13528 + (1532975*α)/81168
[18 26 64]476-1625081/13528 - (12717265*α)/81168
[30 -278 2592]476826115/13528 - (27180821*α)/81168
[30 -458 7008]476-970275/712 - (6862997*α)/81168
[24 -122 640]4768801971/13528 - (934831*α)/27056
[24 -314 4128]476-21440961/13528 - (8056657*α)/81168
[48 122 320]476184399/152 + (49977*α)/304
[248 570 1312]476-13831421/13528 + (8091695*α)/81168
[24 -58 160]47613929035/13528 + (1135733*α)/4272
[24 -250 2624]476-11348945/13528 - (47791*α)/27056
[240 -1681 11776]479-2680916553/1731584 - (97068373*α)/6926336
[120 -1681 23552]479-997039019/865792 - (172676597*α)/6926336
[4 17 192]4795051994223/1731584 + (848767787*α)/6926336
[80 -401 2016]479-573240141/432896 - (151634613*α)/6926336
[6 49 480]479486020119/865792 - (667568533*α)/6926336
[8 17 96]479-573240141/432896 - (151634613*α)/6926336
[48 -145 448]4792087950151/1731584 + (675040363*α)/6926336
[10 81 704]479-6281063831/3463168 - (258383381*α)/6926336
[40 -401 4032]4793749773403/3463168 + (1005321259*α)/6926336
[54 -175 576]479-5138623543/3463168 - (184848629*α)/6926336
[12 17 64]4795051994223/1731584 + (848767787*α)/6926336
[42 -593 8384]479-6281063831/3463168 - (258383381*α)/6926336
[36 -401 4480]479-5138623543/3463168 - (184848629*α)/6926336
[178 433 1056]479-1054124261/1731584 + (358063979*α)/6926336
[30 -271 2464]4793749773403/3463168 + (1005321259*α)/6926336
[28 -145 768]4792087950151/1731584 + (675040363*α)/6926336
[56 145 384]479-162725487/1731584 - (978792757*α)/6926336
[24 -145 896]479-162725487/1731584 - (978792757*α)/6926336
[20 81 352]4792364911553/3463168 + (353633995*α)/6926336
[28 -401 5760]479486020119/865792 - (667568533*α)/6926336
[168 401 960]479-1054124261/1731584 + (358063979*α)/6926336
[24 -367 5632]479-2680916553/1731584 - (97068373*α)/6926336
[60 -209 736]4792364911553/3463168 + (353633995*α)/6926336
[244 -1221 6112]4871342730217/27705344 + (19407000055*α)/55410688
[4 5 128]487-26963887247/27705344 + (741870839*α)/55410688
[122 -1221 12224]487-4511946503/27705344 - (12317909257*α)/55410688
[62 -933 14048]487-26963887247/27705344 + (741870839*α)/55410688
[16 5 32]4871342730217/27705344 + (19407000055*α)/55410688
[248 -745 2240]495-61452819973/27705344 - (12857893107*α)/55410688
[124 -745 4480]49530537047723/27705344 - (2248940019*α)/55410688
[504 1257 3136]49523558781707/27705344 + (38130610701*α)/55410688
[6 9 96]495-295271073/182272 + (58978893*α)/364544
[62 -311 1568]495-9238705917/27705344 - (24315263987*α)/55410688
[52 -681 8928]49544349471779/27705344 + (4162442253*α)/55410688
[42 -87 192]4953468775797/3463168 - (475062729*α)/6926336
[42 -297 2112]4953468775797/3463168 - (475062729*α)/6926336
[36 -471 6176]495-32145786573/27705344 - (8356926707*α)/55410688
[56 151 416]495-1724368975/1458176 - (20275945203*α)/55410688
[16 23 64]49523558781707/27705344 + (38130610701*α)/55410688
[28 -87 288]49555730126299/27705344 + (994690655*α)/2916352
[142 343 832]495105359833435/27705344 - (166878625*α)/2916352
[18 9 32]495-61452819973/27705344 - (12857893107*α)/55410688
[26 -265 2720]495-1724368975/1458176 - (20275945203*α)/55410688
[26 -343 4544]495-32145786573/27705344 - (8356926707*α)/55410688
[28 -151 832]49544349471779/27705344 + (4162442253*α)/55410688
[24 -105 480]495-5212517643/3463168 + (419610423*α)/6926336
[2 4 256]496-84224/57 + (1664*α)/19
[250 748 2240]49684224/57 - (1664*α)/19
[4 4 128]496-2087424/1691 + (262144*α)/1691
[124 -372 1120]496580672/267 - (174400*α)/1691
[124 -620 3104]4963959104/5073 - (121792*α)/1691
[124 -868 6080]496-8729600/5073 + (1792*α)/89
[62 -124 256]496-84224/57 + (1664*α)/19
[62 -372 2240]49684224/57 - (1664*α)/19
[8 4 64]496-2087424/1691 + (262144*α)/1691
[64 -196 608]496-4770496/5073 - (87744*α)/1691
[64 -452 3200]4968729600/5073 - (1792*α)/89
[64 -708 7840]4962303168/5073 - (140352*α)/1691
[10 12 64]4963959104/5073 - (121792*α)/1691
[50 -252 1280]4962303168/5073 - (140352*α)/1691
[50 -452 4096]496-580672/267 + (174400*α)/1691
[50 -652 8512]4964770496/5073 + (87744*α)/1691
[14 20 64]496580672/267 - (174400*α)/1691
[38 -196 1024]496-4770496/5073 - (87744*α)/1691
[38 -348 3200]496-3959104/5073 + (121792*α)/1691
[38 -500 6592]496-2303168/5073 + (140352*α)/1691
[16 4 32]496-84224/57 + (1664*α)/19
[32 -68 160]496-580672/267 + (174400*α)/1691
[32 -196 1216]4962087424/1691 - (262144*α)/1691
[32 -324 3296]496-3959104/5073 + (121792*α)/1691
[32 -452 6400]4968729600/5073 - (1792*α)/89
[16 68 320]4960
[56 -188 640]496168448/57 - (3328*α)/19
[20 28 64]496-8729600/5073 + (1792*α)/89
[28 -92 320]496-168448/57 + (3328*α)/19
[28 -148 800]4964770496/5073 + (87744*α)/1691
[28 -260 2432]4962087424/1691 - (262144*α)/1691
[28 -316 3584]4960
[28 -372 4960]496-2303168/5073 + (140352*α)/1691
[28 -428 6560]49684224/57 - (1664*α)/19