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

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

FORMULA FOR THE EIGENFORM  f
with 312−3λ3 = -72*(521 + 128*α),
where throughout this wepage, α is taken to have minimal polynomial  -5 + 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 -24396469124729731488588031588389794404157224491395311192295367643435754928019328950557166325624561590422763762894827199183049373717809068380329952084833986931965695816539583313745990736748075560302680533586221642799457899347704834149484805448369586388100357771590227823431329614920440196789402192975422005382130830091873367596462287869182110129507583536297337754312521880153028767936334050856349173614395523324622370048017826270395219777746177319054044701667379264888691496282229786758594444497243048176082253141257388858642291011129323795933490724031948537345611482385207859048621442897200585139341451622650676799556136436667978781595461666360621076878041385074445707796843496335762621693740039009605422576384261347589100152114093527492148965359001058103938715845991918753617551603536135055479793632216510692276789023295038262900188336110887950526984175612490847738187345402242993993871735130506391738237726112151713022739801690209274025417140764812112561678833188415934257478060040892331410202854997496348267409780941581758877588765205467035333522637313352032933625465108189780737303649361948541817577655857310918704722116659872792104753335022580396074617842527992476860099077088802167034907242240203172014509532686488778436485647950056663894217969179/387784470933367457142295823092549359694355702042636532665389528286241800798312978327992308941351670631234000548424749696651826483715721978537920562154924331077519536027027318392469304538420173019327667400393503056368006875625102026252771199598985055101718976787629073700153024340631190054772951933343666198860880957933743682964649946285976475737138746975159390733821682889414113690347790000110245467172279781077782258317260813015998076796749708981198685620123149786727629163942553107731069262183237821835178428739129948821260310931276059732513016791604989006236997348424387986909595207992079905352135826133852875299470536647980512382390780488018331644601342492341501222808963247625929801349955233101149972459579038548066721497101856373775596621977163031912405342074525631238241059669981609862405549658830787083544795118901301747879561189678598836292289861650315095939241848570568513021627513597916739998109579422303941645176873180595861646851878324155658546816137224779886461491898102150998649612310904016936312238820264244185075150072725174377202558668948991228809975118191192150485903631952652020193476433389626010244862274743075038098749767074634375807593582050582309094037886207328231459438789645966973199594664658518395057078449704271872000 - (251101786870528707990469434880111498482493527250716152119420625826434546756532153440869498471299364515280753328054959453350871748397483346805874687510581953794532962527875246971816909198457212610396689821046072507787413253468890032203488425638749054360120573620965695751386027880464518600368727239843403491781771199755142943695408719157725394874056577848250638002042933417303075310495078246621790321780034718658787978685542619603330491545692105812614874755487645416811341260812547708567757151395120338484731372206260658065832036540684634171869361908384256208993217523326072423316885328789386327238091499074004124202322291217174634772403122885845877262772301079773290128369719623614644138827443753518439893279377599595071220801557685630227952252680017793080185664551703886891892433944241444741334824941835724123970270027389084379663058369678399506339706374235466686170961956347160193047773012878644044119688970786951567337771865386620262325564852036622907581214297562529094774994077845162426420686295915818469725155353895826899870274768122704102918463391830146264183446534302579635406853509355733982383212337383391850679947992471686672491141416786322602556300407241069115734627886503406140236297311415676189903091289329113920422896162670127814748875767*α)/48473058866670932142786977886568669961794462755329566583173691035780225099789122290999038617668958828904250068553093712081478310464465247317240070269365541384689942003378414799058663067302521627415958425049187882046000859453137753281596399949873131887714872098453634212519128042578898756846618991667958274857610119741717960370581243285747059467142343371894923841727710361176764211293473750013780683396534972634722782289657601626999759599593713622649835702515393723340953645492819138466383657772904727729397303592391243602657538866409507466564127098950623625779624668553048498363699400999009988169016978266731609412433817080997564047798847561002291455575167811542687652851120405953241225168744404137643746557447379818508340187137732046721949577747145378989050667759315703904780132458747701232800693707353848385443099389862662718484945148709824854536536232706289386992405231071321064127703439199739592499763697427787992705647109147574482705856484790519457318352017153097485807686487262768874831201538863002117039029852533030523134393759090646797150319833618623903601246889773899018810737953994081502524184554173703251280607784342884379762343720884329296975949197756322788636754735775916028932429848705745871649949333082314799382134806213033984000
b2 -74505720456308909366756388465174027807326547827508860427723085589467804552225886565337309796780980889761847169760220493236562890203342547815888335719116872699461707195438766113116287055973344442072973651479497730533474293379539299941410583662776486196371906335229679864641333947738915161459395942136167793687150448679130933804734338830686379181743128932195520642975834861195132850776348080709750872225420052722148020652908271922092460235946293436649002936710453753988705362578892432945090500549477128078716500315235428197706912968187925361972274292076624861487571715379533522547242646141939141953736622561987444985611528306599072099671672276004517058632556154107022013817403099481851143613042206274023614977518452341539461059185546521535120671374389912068099936552886318747428243511813994193128401857407090189939107953918898553234600268956378997715691756397067757987641390296929291549288259456865822090919575717721272009594884900387941407542146353408046987715251493482138263404503464908553892493442109555875326268994078560506382849446455938335352375182049296193049606942906872430772811463146720628019795872299019356882772551668282871365079799359271425093381478283205156169808014211244261075827676669916477241216979939984035016008537509370155854619293241/969461177333418642855739557731373399235889255106591331663473820715604501995782445819980772353379176578085001371061874241629566209289304946344801405387310827693798840067568295981173261346050432548319168500983757640920017189062755065631927998997462637754297441969072684250382560851577975136932379833359165497152202394834359207411624865714941189342846867437898476834554207223535284225869475000275613667930699452694455645793152032539995191991874272452996714050307874466819072909856382769327673155458094554587946071847824872053150777328190149331282541979012472515592493371060969967273988019980199763380339565334632188248676341619951280955976951220045829111503356230853753057022408119064824503374888082752874931148947596370166803742754640934438991554942907579781013355186314078095602649174954024656013874147076967708861987797253254369698902974196497090730724654125787739848104621426421282554068783994791849995273948555759854112942182951489654117129695810389146367040343061949716153729745255377496624030777260042340780597050660610462687875181812935943006396672372478072024937795477980376214759079881630050483691083474065025612155686857687595246874417686585939518983955126455772735094715518320578648596974114917432998986661646295987642696124260679680000 - (819492538922082341578125433024216121943302118435220497191619649160301857565578669993473334941577562681316237079782446198825667632377471253422493509378196222463247018493183508329674788503715262400973116443716951059083664072583152138595378944043444688234358252736354444065549032124339021489438941103517983287617727954332922506172021960296767106529213112220244771226382454301156403127189493258593395036389758205170804772189270904919071148102615117844379397187112227255802107934437868912467591696475010289568704144858657856203674898375376954805695920218562174070854203199020353597346934592391748318428506403113120993159915829099657816076219199624495692829557344274779091691327061669422491865549504897243549863646441549022343417582541874405662361295916495997359828675439209711657634890730213708227169349115552358076338389369339637823637923909195870816981320575975547523804705928666412144101583007298878856122283216799708596488929192958508954706131048630578049007867910787165695848113948643817345514667525796734208214721078187936027688740166062293892828484216094991265576504848646051167548183941405508537569685559169993031150274787678627796734224169959533141668555789384856198672614159895890192382147525066019665194108685512928765985851788254930875232653293*α)/121182647166677330356967444716421674904486156888323916457934227589450562749472805727497596544172397072260625171382734280203695776161163118293100175673413853461724855008446036997646657668256304068539896062622969705115002148632844383203990999874682829719287180246134085531297820106447246892116547479169895687144025299354294900926453108214367648667855858429737309604319275902941910528233684375034451708491337431586806955724144004067499398998984284056624589256288484308352384113732047846165959144432261819323493258980978109006643847166023768666410317747376559064449061671382621245909248502497524970422542445666829023531084542702493910119497118902505728638937919528856719132127801014883103062921861010344109366393618449546270850467844330116804873944367863447472626669398289259761950331146869253082001734268384620963607748474656656796212362871774562136341340581765723467481013077678302660319258597999348981249409243569469981764117772868936206764641211976298643295880042882743714519216218156922187078003847157505292597574631332576307835984397726616992875799584046559759003117224434747547026844884985203756310461385434258128201519460857210949405859302210823242439872994390806971591886839439790072331074621764364679124873332705786998455337015532584960000
b3 10361013447875556932334205154815892766570318496883743033646382187139689950616557820348133326318707382572888708390273062848010264415219639156423656288744915654908606555865539958453108425084341432450478696535313635316200347089706979946807213747461869134545058009174228818471632015466789126636199865235261956934950238325088145420619256248808921704306742224230586344671820251636572378384373320721442597896427119270374275986693290116144509471651066914965799176023092967316932090800630280035264824638807047153176240814191129460023862264996703577769608313415473142929176786995632439350840316911367878543043181527064359730835786690957747013356595451104051226733481332375847048767596014369196757132970264727641266275293102730510707370603181721301353319570900011826496999057994456695510104145240563457161298332483324318689075385629147234259481730791582636703357568827839936070976079381042610369167558096170041626420123501975052043220582075844968424085391211517736243705842362463287831009723270734514194170771699156795823800215312053713875552169725733229164124891868329847363385434034822182753717680998737041666783978413202904716506289521579840979711517798488553912758120184086262320943789759413159131838030725029801061791660586057082208268995542619394051422705393/96946117733341864285573955773137339923588925510659133166347382071560450199578244581998077235337917657808500137106187424162956620928930494634480140538731082769379884006756829598117326134605043254831916850098375764092001718906275506563192799899746263775429744196907268425038256085157797513693237983335916549715220239483435920741162486571494118934284686743789847683455420722353528422586947500027561366793069945269445564579315203253999519199187427245299671405030787446681907290985638276932767315545809455458794607184782487205315077732819014933128254197901247251559249337106096996727398801998019976338033956533463218824867634161995128095597695122004582911150335623085375305702240811906482450337488808275287493114894759637016680374275464093443899155494290757978101335518631407809560264917495402465601387414707696770886198779725325436969890297419649709073072465412578773984810462142642128255406878399479184999527394855575985411294218295148965411712969581038914636704034306194971615372974525537749662403077726004234078059705066061046268787518181293594300639667237247807202493779547798037621475907988163005048369108347406502561215568685768759524687441768658593951898395512645577273509471551832057864859697411491743299898666164629598764269612426067968000 + (113823179297737761566938642395461489267827654089607016860252660460213293096639025740536878631157288455626436288065508458685222542623289321666829358353599294743876700470714745879194454796659746828989437574819959114850974479136530891973548281591227100531327221804384108327119846576317652855377688471881857601234694946794260615821080544442408652509633106417752566203377077664480188089891969206257082670866802480635633266439302182985345412463601461149428083142057393884210622011490562991339483011635579871291199870811471660212376814239468603453261505638448598420072744610057862291729268142548792759743956773194617143641856199992685512391742371956752244327099894209171818165471585148566592752864302014733784698413326743403976065143014103477983090658569738083763672880911584867290968030719039742038115576206350469504371699974044379369365611031270345459170098055676596650266144318946812995937421682458559304480846724476339072417880032958541029823511932834073295014689296836375817924844888860706724781375391057759665393558070629677568336663131539501835773734872621129359120985445612794346293032497279787278334217235276466334242807349497109336543410809614284721506839976217313159193765802706081604608075982180771204867110651311607870453341253450402635224675589*α)/12118264716667733035696744471642167490448615688832391645793422758945056274947280572749759654417239707226062517138273428020369577616116311829310017567341385346172485500844603699764665766825630406853989606262296970511500214863284438320399099987468282971928718024613408553129782010644724689211654747916989568714402529935429490092645310821436764866785585842973730960431927590294191052823368437503445170849133743158680695572414400406749939899898428405662458925628848430835238411373204784616595914443226181932349325898097810900664384716602376866641031774737655906444906167138262124590924850249752497042254244566682902353108454270249391011949711890250572863893791952885671913212780101488310306292186101034410936639361844954627085046784433011680487394436786344747262666939828925976195033114686925308200173426838462096360774847465665679621236287177456213634134058176572346748101307767830266031925859799934898124940924356946998176411777286893620676464121197629864329588004288274371451921621815692218707800384715750529259757463133257630783598439772661699287579958404655975900311722443474754702684488498520375631046138543425812820151946085721094940585930221082324243987299439080697159188683943979007233107462176436467912487333270578699845533701553258496000
b4 92816936320369569999365169681392866820108833175272867129199070567643340288573885906888071425806525132041108952339589956622711603731034254927906130894664813725963204500914700692744523926899674421830250292080708003353943047146690328101027057967610255714690944995342803324213628834412233928444435512201570607274419343251164816624780879981615663500166386387032714369123662389335139933199268565160436112204503486541739648020768916090503194426198103504807321429471330868879047524025885194501264578568367480222327511051357920074200582345157580017953221419115535995835752304247265573427570544348865320807995122584286610418269074596256782293689953675468173310076888081578656816433985933986058896721510558035877931591659364757185301921227209907784458486642151321457029081188263952694650468557630229265454953263793482473031373663551146209593749722644382784214929721473977789190839658857472641201901220994402088983115562335818783118503862418177209996535412259391810501526792747483507191969262123433790408091090259506025262503632054333817892593994705234679941789954213692816368832609074548914624681875491679265436086070670855431399051192807180194614989914673589175124489108786199551835680698543867948593500775044834165713541123146689073926155543165244268262413385669/872515059600076778570165601958236059312300329595932198497126438644044051796204201237982695118041258920276501233955686817466609588360374451710321264848579744924418956060811466383055935211445389293487251650885381876828015470156479559068735199097716373978867697772165415825344304766420177623239141850023248947436982155350923286670462379143447070408562180694108629151098786501181755803282527500248052301137629507425010081213836829285995672792686845207697042645277087020137165618870744492394905839912285099129151464663042384847835699595371134398154287781111225264033244033954872970546589217982179787042305608801168969423808707457956152860379256098041246200353020607768377751320167307158342053037399274477587438034052836733150123368479176840995092399448616821802912019667682670286042384257458622190412486732369270937975789017527928932729012676776847381657652188713208965863294159283779154298661905595312664995746553700183868701647964656340688705416726229350231730336308755754744538356770729839746961627699534038106702537345594549416419087663631642348705757005135230264822444015930182338593283171893467045435321975126658523050940118171918835722186975917927345567085559613810195461585243966488520783737276703425689699087995481666388878426511834611712000 + (1019953902075925772890356920263389544113136748302757259376421590388825335263463821267851192401515328888976873421434687684778361577411034782322293196487737471351228406744504988890176783990067597435857817363349100957332590970770149547689147069988593600303702413541872649646102280272468803722538381545778826368629247782637595566131403076322373213599871012883167011878941347895038640694709785229594537796784269895668148341615895445144646514805523720727330717765091481013396172377149475793905838972673413405104859502795070629814207230166479125469636691092205623144018236839257562921991205183304159750145765201194512840817248940426986080269040952223705548699046960411652478666276140847887456295022062458987180631342571364987908849522812581380457663017452395206189064663428824408903014763636270827278514401290860302156452377144595808658418753221835193888371334771243649552323154331971088389816520040918557113313389273317913824217767078029744841385549244546224796705072662325831560030860519403508294868096863881258119448652187989423690324093763963508842934091668560929019580114745295241299771597568418190581380063238538553800167125883586661651749684968252566565205065876016324247013991452688533926033468132822719789343362588621651136585008700011223375290994537*α)/109064382450009597321270700244779507414037541199491524812140804830505506474525525154747836889755157365034562654244460852183326198545046806463790158106072468115552369507601433297881991901430673661685906456360672734603501933769559944883591899887214546747358462221520676978168038095802522202904892731252906118429622769418865410833807797392930883801070272586763578643887348312647719475410315937531006537642203688428126260151729603660749459099085855650962130330659635877517145702358843061549363229989035637391143933082880298105979462449421391799769285972638903158004155504244359121318323652247772473380288201100146121177976088432244519107547407012255155775044127575971047218915020913394792756629674909309698429754256604591643765421059897105124386549931077102725364002458460333785755298032182327773801560841546158867246973627190991116591126584597105922707206523589151120732911769910472394287332738199414083124468319212522983587705995582042586088177090778668778966292038594469343067294596341229968370203462441754763337817168199318677052385957953955293588219625641903783102805501991272792324160396486683380679415246890832315381367514771489854465273371989740918195885694951726274432698155495811065097967159587928211212385999435208298609803313979326464000
b5 731927160450897105970991599704597775106604094413416424104186527285475912525505973108290316831066698855141646255479342488658495970071077981791947665480686696405032992646097495954613872368684362453868004656700444711683296018325516111022736929228142308408589088437907194715503466803343930546748786752219074421056420332424196841209832822525128795916502624585335558613024811470786218648227876318299074301488712951410163599926008125070835958593223317889427974759683265348420553654182827011375757536575872500087373526584159558505483497605261922565130439591293183659146741266228145014928423583666707386063203924302952269024645874550549685638540061665742445637889787396925395837062717055529913747277926965330057308344277544555289584896391563522378549774819947432915298159131525500194040316739756162034734158630766183643606572527974684253015834257807151498422026492677780099967734185484736323693393827718269156833881434807144663515034839452605668147170438887424818438094054649670526926312062017691165501976638178445967494463702311519199092813806837764218663088790573389492498969236300179491105894090761816138773671845021273891978305731350918409299399582664589953830718695666846280930399009252433586135888625604239914994587532275431306494237648634924622874031676877/5235090357600460671420993611749416355873801977575593190982758631864264310777225207427896170708247553521659007403734120904799657530162246710261927589091478469546513736364868798298335611268672335760923509905312291260968092820938877354412411194586298243873206186632992494952065828598521065739434851100139493684621892932105539720022774274860682422451373084164651774906592719007090534819695165001488313806825777044550060487283020975715974036756121071246182255871662522120822993713224466954369435039473710594774908787978254309087014197572226806388925726686667351584199464203729237823279535307893078722253833652807013816542852244747736917162275536588247477202118123646610266507921003842950052318224395646865524628204317020398900740210875061045970554396691700930817472118006096021716254305544751733142474920394215625627854734105167573596374076060661084289945913132279253795179764955702674925791971433571875989974479322201103212209887787938044132232500357376101390382017852534528467230140624379038481769766197204228640215224073567296498514525981789854092234542030811381588934664095581094031559699031360802272611931850759951138305640709031513014333121855507564073402513357682861172769511463798931124702423660220554138194527972889998333270559071007670272000 + (8040824337149920557724213875182380449035766638268316678619600573690715743264763031531521762677283627068958401004833733637845540797439496807300449477333345488408989914957320528154578089626213146995694775654169712081443964366434332160636658812924805871498322613594098502122246640751722350195729216809925450137467825533069036699388582966853826025850934208606296575860305000689100003577467798437140983402838712289051444953343121452874729275152420466089251712104473438391736824599905417500945979902051158856223204399432764962504544645766593693558763022753739308196249042865007522379994521879033726578695650651273675889211626049940202462826005560918571031530355913794337917557146482968109130666284657006646429993363783917721871247674412046356874550048637560479492424655170605063761951352263560315108424850981920417039086318978048755085191701343848682767893800833060778874345327422541276563088788987112503562405119891934982588686850206589158000923845442206190185387269717138287037253506919775276577067057028553045042267316796922713313803295493226290403110434741095234336279626585395890217773627990586992849916228229810053068564259688188238360652791190322795158656905516554726460883998476882678894246411904455056473456928388369294155611601020307429359895855121*α)/654386294700057583927624201468677044484225247196949148872844828983033038847153150928487021338530944190207375925466765113099957191270280838782740948636434808693314217045608599787291951408584041970115438738164036407621011602617359669301551399323287280484150773329124061869008228574815133217429356387517436710577736616513192465002846784357585302806421635520581471863324089875886316852461895625186039225853222130568757560910377621964496754594515133905772781983957815265102874214153058369296179379934213824346863598497281788635876774696528350798615715835833418948024933025466154727909941913486634840281729206600876727067856530593467114645284442073530934650264765455826283313490125480368756539778049455858190578525539627549862592526359382630746319299586462616352184014750762002714531788193093966642809365049276953203481841763145946699546759507582635536243239141534906724397470619462834365723996429196484498746809915275137901526235973492255516529062544672012673797752231566816058403767578047379810221220774650528580026903009195912062314315747723731761529317753851422698616833011947636753944962378920100284076491481344993892288205088628939126791640231938445509175314169710357646596188932974866390587802957527569267274315996611249791658819883875958784000
b6 4868776345914392901716903236235849034498421607352576785402175223905704938933585290180288029181375131623173972348284889347064651319604499831319545044198651431461642110570446930072587003577795216792949125963792813242628482358591918311084725877299220670573279679247573490806606655496932389907416050415373740213241180268300956192829111937446170460199063481860950071290827514057781270415546310979241897810462680033388307658373936752287042694336930078660564646717413527650214145756865651110609902124404464367550327561520922765932219839711664201132692635543844423865304562148713248173458222114354205108375309691014639505070992172240867593139234071565815991538662479114619864929659973236523808251659078587985626840698395220923037060671874602194080035232752308100583141542280991097057007550934434338042694729528746649357070186605495940161519859994025700503723884924910450821852771476398588098161847293599228754452884824488216903798457284837580413770139930822561617991975671570737157308121039568719898660557806668359535849277520017389007589570661511905019161997362750856177324358420052557460747439548705336930200488228067498869001811179092506854961578752634282494854176599681527281644967861060891594410997271746923643297062966687643399349309729936180012057673532227/52350903576004606714209936117494163558738019775755931909827586318642643107772252074278961707082475535216590074037341209047996575301622467102619275890914784695465137363648687982983356112686723357609235099053122912609680928209388773544124111945862982438732061866329924949520658285985210657394348511001394936846218929321055397200227742748606824224513730841646517749065927190070905348196951650014883138068257770445500604872830209757159740367561210712461822558716625221208229937132244669543694350394737105947749087879782543090870141975722268063889257266866673515841994642037292378232795353078930787222538336528070138165428522447477369171622755365882474772021181236466102665079210038429500523182243956468655246282043170203989007402108750610459705543966917009308174721180060960217162543055447517331424749203942156256278547341051675735963740760606610842899459131322792537951797649557026749257919714335718759899744793222011032122098877879380441322325003573761013903820178525345284672301406243790384817697661972042286402152240735672964985145259817898540922345420308113815889346640955810940315596990313608022726119318507599511383056407090315130143331218555075640734025133576828611727695114637989311247024236602205541381945279728899983332705590710076702720000 + (53407712312869701502797259827236303503130653090880730756694748575994904686129454316265353951265858303195848242062796747846144496081901538305830802485986069244675248484886717175353949481718325809397507315637773943466066693494280225168676314386340943594217378464090045691124649428243973109170983586356809114003769962951832011108417742602534856234236358433509423927119059726003313866175802268402353189139249908879741653039601169676643126890093672034474182825982575757345630005897468636829666711644756074172833525518355697909498102413271051222051896437938835211899742682999429818453541953297931043115336325507740695642440198675429716004247900877654705502731298732856695815714224921045853564828339383762107297676095182832491056975837703955810845924919662369132451348257803875639793449844236085394472357624007657105151418622985665812899962277679740712927225503487987562755970551895101577899231591538709801201738326121317820137467703900547601767515677026563497244659982385892599200152224291811935397454690026548248475873771637068242037211866591481831608661118087747241381487129611402469524868113285687727661647675036769545630663927571597137387732878000905338868626530833594113418441761347893467531443784287703562110543993532243790423256499600757413760672721471*α)/6543862947000575839276242014686770444842252471969491488728448289830330388471531509284870213385309441902073759254667651130999571912702808387827409486364348086933142170456085997872919514085840419701154387381640364076210116026173596693015513993232872804841507733291240618690082285748151332174293563875174367105777366165131924650028467843575853028064216355205814718633240898758863168524618956251860392258532221305687575609103776219644967545945151339057727819839578152651028742141530583692961793799342138243468635984972817886358767746965283507986157158358334189480249330254661547279099419134866348402817292066008767270678565305934671146452844420735309346502647654558262833134901254803687565397780494558581905785255396275498625925263593826307463192995864626163521840147507620027145317881930939666428093650492769532034818417631459466995467595075826355362432391415349067243974706194628343657239964291964844987468099152751379015262359734922555165290625446720126737977522315668160584037675780473798102212207746505285800269030091959120623143157477237317615293177538514226986168330119476367539449623789201002840764914813449938922882050886289391267916402319384455091753141697103576465961889329748663905878029575275692672743159966112497916588198838759587840000
b7 14986211058681520517081624136864139775442458688914239750246816747596180144462333348328543946818478955766741625412416586544999222483144247658390589131099406271002851895549185269651174257676383498403895257461168504342545500520244461578037808138671105770811702808515659920115996228550270173410114246383568835569150100655609790268136435964766821126675252233797667444770833752118161094226167586923659695661297529749393702035904357723333941907427426117415533042287257035499872842795661693746867651809688528350385838225506772472298927818252568775380672438428442181741888284748436777075882371549794573005005783664329299648735370403374901222522868134906605024445486748710057822242796536296960216477130203027454037280798153557446738719427359397190989442794261154023185680727729662880836593046168239876355643468310558806329702598534370995937448931812107902698581573350923759366717932144925776467740365877987477948693106307562699696559001356768651962739750551301081900976815870295171410381920990584635762547266287116572570529802442501796282157783564248925886533148144724477419501000070284007469880365970420271482667232836853488509894882470120863153632016772586371315753171719973873152076894796530436713465185932227547944460798088486202002019010872698585163748258684269/78526355364006910071314904176241245338107029663633897864741379477963964661658378111418442560623713302824885111056011813571994862952433700653928913836372177043197706045473031974475034169030085036413852648579684368914521392314083160316186167918794473658098092799494887424280987428977815986091522766502092405269328393981583095800341614122910236336770596262469776623598890785106358022295427475022324707102386655668250907309245314635739610551341816068692733838074937831812344905698367004315541525592105658921623631819673814636305212963583402095833885900300010273762991963055938567349193029618396180833807504792105207248142783671216053757434133048823712158031771854699153997618815057644250784773365934702982869423064755305983511103163125915689558315950375513962262081770091440325743814583171275997137123805913234384417821011577513603945611140909916264349188696984188806927696474335540123886879571503578139849617189833016548183148316819070661983487505360641520855730267788017927008452109365685577226546492958063429603228361103509447477717889726847811383518130462170723834019961433716410473395485470412034089178977761399267074584610635472695214996827832613461101037700365242917591542671956983966870536354903308312072917919593349974999058386065115054080000 + (166287049584696345643178671593200864532879287545509036711764799659246172044906850304902256397786011044288179072443426803247401810018714587392983981264622547555905930114457891263173660131319826885325658675143073689624590016543202413485722457804350019563496984987593459215603205003058334212567633007930605185682589339020222786132690254573790732977947472311316291575131534510911715198116953770912160917603217130895814608834521795994511034106131842871479771849446225998412177707971631971434046079975011806777814214672220722212472554095613325156306243332868653252148850324352469024841758592568021793003493311313653622794510524004392940356161719747916978614819008445292611444543888061411329889025723936851288605770357996075868270315491931052952769739877771211536674887825666814943187960762166447051381213373046861513204001036084242646597496347675781063214405243315528994694111128077907482415369394713548097260203744284365566494487290212849030415636209017058075213574695441540614724844774997111346783083326336809032432877795326633650527679957579986896143914536478324238640079568646749640721301541445369326345412089302503247588690895395692597686324174726247263300917099294670297791372445546724983945147400571029512731764410711638846519892186205528102102578085937*α)/9815794420500863758914363022030155667263378707954237233092672434745495582707297263927305320077964162853110638882001476696499357869054212581741114229546522130399713255684128996809379271128760629551731581072460546114315174039260395039523270989849309207262261599936860928035123428622226998261440345812761550658666049247697886975042701765363779542096324532808722077949861348138294752786928434377790588387798331958531363413655664329467451318917727008586591729759367228976543113212295875539442690699013207365202953977459226829538151620447925261979235737537501284220373995381992320918649128702299522604225938099013150906017847958902006719679266631102964019753971481837394249702351882205531348096670741837872858677883094413247938887895390739461194789493796939245282760221261430040717976822896409499642140475739154298052227626447189200493201392613739533043648587123023600865962059291942515485859946437947267481202148729127068522893539602383832747935938170080190106966283473502240876056513670710697153318311619757928700403545137938680934714736215855976422939766307771340479252495179214551309174435683801504261147372220174908384323076329434086901874603479076682637629712545655364698942833994622995858817044362913539009114739949168746874882298258139381760000
b8 2553385214254721151539511437652973946877211027257876779381625375513070793566725676249599406442924468823195765325057601763973002682095397444737717656139060184037458156940746675252918098496753947345073493305793293295678031359157304984968793168354391508960441376155545842825788318659320990150371388882668801087282629299732868475489200253437752865362464222824091041793703869448364158290320973576241022590077764119885666011837366900892265771976466664336648819572183223105927588885878512121390686525280923244204466977508371344709869795802205513512769293531230632874253883952563210604217317413788269526222023814164895502144005848560011270451424047658892593408537999384793205948823463019805893737241933188522896899526823613766129580040204554399389527577832075314283778124517271925505879728513334682927450236611179952860251829991000722730606495583073072034468222775114063443533800687091375625672756327740688259628896454142853478927511212147455173168746648531990038245945011399045387549949886839416898876912758914086001078336261963760299008531649279230982537750856721200884339263842210695060655219870725452108119511018133423418282960297199042686701263663447348948246951990859475809451096160364679702901640940282558670579591012945347363068431526613982358963160371/41880722860803685371367948893995330846990415820604745527862069054914114486217801659423169365665980428173272059229872967238397260241297973682095420712731827756372109890918950386386684890149378686087388079242498330087744742567511018835299289556690385950985649493063939959616526628788168525915478808801115949476975143456844317760182194198885459379610984673317214199252741752056724278557561320011906510454606216356400483898264167805727792294048968569969458046973300176966583949705795735634955480315789684758199270303826034472696113580577814451111405813493338812673595713629833902586236282463144629778030669222456110532342817957981895337298204292705979817616944989172882132063368030743600418545795165174924197025634536163191205921687000488367764435173533607446539776944048768173730034444358013865139799363153725005022837872841340588770992608485288674319567305058234030361438119645621399406335771468575007919795834577608825697679102303504353057860002859008811123056142820276227737841124995032307854158129577633829121721792588538371988116207854318832737876336246491052711477312764648752252477592250886418180895454806079609106445125672252104114664974844060512587220106861462889382156091710391448997619389281764433105556223783119986666164472568061362176 + (28061329772749796979651180605728972193946430101003964980455460545061328359946051835510958805583145889317358936249638625331953982831679331629919142360760062326356797672710739216775758940599754096325696015581902155846866068512849699221980469663513984559622899130425357877188341926929686281120145538510505230642000993366445742332293000294038290254783023695420027308154636620322280957368173173954987271885502787639194511082795286433099635002619159923430484780598639870835556300955394081633774433578570674553398641655693849384914204471027028521732140618213223365115472022513650926186231554099730679510911232936697553817297567345654120679796467407967072560668570320080465804358926187130281252025622218589502786924596801575316242012161232713180978076049030368601470719334499449761266264903143216269760684673728004192036581692636753135626798784286520217428470129213895837272468191750869197275832937160375219547641389429504802283064392576361661354877733295722685629898048956294718095507604115873011763531398559664612674140191859182444682397237122978910067674902202505471884353986225029266822386356825651737778664661307105932987133587814144361074190618860602768218821049466435083363323923614270961536016982027401873589654120349766051160068592057496771218120431*α)/5235090357600460671420993611749416355873801977575593190982758631864264310777225207427896170708247553521659007403734120904799657530162246710261927589091478469546513736364868798298335611268672335760923509905312291260968092820938877354412411194586298243873206186632992494952065828598521065739434851100139493684621892932105539720022774274860682422451373084164651774906592719007090534819695165001488313806825777044550060487283020975715974036756121071246182255871662522120822993713224466954369435039473710594774908787978254309087014197572226806388925726686667351584199464203729237823279535307893078722253833652807013816542852244747736917162275536588247477202118123646610266507921003842950052318224395646865524628204317020398900740210875061045970554396691700930817472118006096021716254305544751733142474920394215625627854734105167573596374076060661084289945913132279253795179764955702674925791971433571875989974479322201103212209887787938044132232500357376101390382017852534528467230140624379038481769766197204228640215224073567296498514525981789854092234542030811381588934664095581094031559699031360802272611931850759951138305640709031513014333121855507564073402513357682861172769511463798931124702423660220554138194527972889998333270559071007670272
b9 961569810396445958064484998783711559324371634497283573252985715875958193728334855264987438303612700662676524610919229410749963848404066882450832755591917706783955241640999112851529374787760803952069401112182960672699957518659017501430393198550243953125068457787807983478921192897140661728621854820648062675106469979459360579590836636435695069336802613117911820946911969980556325279660393121458541127561500326852096177365160546198831283131204172694494814006719403750999271326018875159616076428446103847859474635775465251699615295160854763151135137525209072758066912611660126657814512065049040468558472650683293375256684218629756612710145097224175920023261389218472870253726727369074838138535946147839390800508359302975224120207644428336210087307406436192682503034110988571603089587099605255685408086446286927195877300106616665894912968924990219390528043042218411185121305364629793085478375123705464584410535440412247608230747752543462583441225720020284993278031345142012917035325791780688238015788319537766903691037444241886997190743221007770929794207129928544289765786855282502371394011647937575052739261998662995621974801027026553162832417607079893053471171442999758655227181789659481442273156985438179792549308821164216494608025226663850619601119722279/242365294333354660713934889432843349808972313776647832915868455178901125498945611454995193088344794144521250342765468560407391552322326236586200351346827706923449710016892073995293315336512608137079792125245939410230004297265688766407981999749365659438574360492268171062595640212894493784233094958339791374288050598708589801852906216428735297335711716859474619208638551805883821056467368750068903416982674863173613911448288008134998797997968568113249178512576968616704768227464095692331918288864523638646986517961956218013287694332047537332820635494753118128898123342765242491818497004995049940845084891333658047062169085404987820238994237805011457277875839057713438264255602029766206125843722020688218732787236899092541700935688660233609747888735726894945253338796578519523900662293738506164003468536769241927215496949313313592424725743549124272682681163531446934962026155356605320638517195998697962498818487138939963528235545737872413529282423952597286591760085765487429038432436313844374156007694315010585195149262665152615671968795453233985751599168093119518006234448869495094053689769970407512620922770868516256403038921714421898811718604421646484879745988781613943183773678879580144662149243528729358249746665411573996910674031065169920000000 + (10557370318510776923912930105508227191584728778597588425268477697497582090423214225932171351787570511667658977099884496955493531284749827372044694950875795923279355373170460977873653805279555687262382638179214748321989132576677981560876489334965381906996449331516084438885824090531908472306553929908543827466306149828537072657147252200103069079288383540737273424797927728099830849722792737126106104456821752641956125886796002553324419628357661898362073325651982440485584763216785904467645566757707758533527214844447860395373842358929028960060550026245433297444455946987946014413435579329700277667842538333800232107986852584575575390823453403708357674060126585778606639616222194025371889013776306066054942846293627571775405606309961404933319301951349227688949311752735903663907256468989302764499956146636936104147909701909250307943441186627935235996563525058960781556787999781228240996357858526668142784883651440833368541188265150358073335024211297720691618427866283803863888457748995480306136758215919508144775542157207523920654116381348318253852057714945817689392056895234166570765416577541140352570034311348631741040722603508741504845016044564554696212155443874834055975671070492065849857985216456683789326149386519224491508702046893718750012941415667*α)/30295661791669332589241861179105418726121539222080979114483556897362640687368201431874399136043099268065156292845683570050923944040290779573275043918353463365431213752111509249411664417064076017134974015655742426278750537158211095800997749968670707429821795061533521382824455026611811723029136869792473921786006324838573725231613277053591912166963964607434327401079818975735477632058421093758612927122834357896701738931036001016874849749746071014156147314072121077088096028433011961541489786108065454830873314745244527251660961791505942166602579436844139766112265417845655311477312125624381242605635611416707255882771135675623477529874279725626432159734479882214179783031950253720775765730465252586027341598404612386567712616961082529201218486091965861868156667349572314940487582786717313270500433567096155240901937118664164199053090717943640534085335145441430866870253269419575665079814649499837245312352310892367495441029443217234051691160302994074660823970010720685928629804054539230546769500961789376323149393657833144076958996099431654248218949896011639939750779306108686886756711221246300939077615346358564532050379865214302737351464825552705810609968248597701742897971709859947518082768655441091169781218333176446749613834253883146240000000
b10 -2180350129699236747404331320935086258734765108300891571506243037998212933173531615281207498616845317648462181849649440167956381601466361757731394987401880166029645292550254065490442205317716026150392032539143371622023792233024919151860056166523502623978832795919088236339888298245621824091645788173252576618497217452613499700232859823073326894148035257682322638328144134942636782106222590547405852718827247059680001605072609598821874412936064581538127182222875197755909402581463434249679688642396979247904038546427003758583082740916095141907819670544045554706753939622396059300100998543847261740606947061487358569477729958077612290558285636938444525385931321405374827670568386102936778603966079901934607339324384822374319599027641602699472938257776704983255853504055855810429430571027385508557473879007950973092131783053749943282709529983749974660487065353405111992186377527141406075070003429173097118662727683006975484055897452903857573660234502952168185394568604916995990847946230827035227143437577552349360382686511859936106713167949398451001987419841318090688206164594682015996544222931827150094246659650341423742044918593115003995347298159594072733409718395587348194711767063114378807223397005751907333111510677553956170432814242134045190087573/24236529433335466071393488943284334980897231377664783291586845517890112549894561145499519308834479414452125034276546856040739155232232623658620035134682770692344971001689207399529331533651260813707979212524593941023000429726568876640798199974936565943857436049226817106259564021289449378423309495833979137428805059870858980185290621642873529733571171685947461920863855180588382105646736875006890341698267486317361391144828800813499879799796856811324917851257696861670476822746409569233191828886452363864698651796195621801328769433204753733282063549475311812889812334276524249181849700499504994084508489133365804706216908540498782023899423780501145727787583905771343826425560202976620612584372202068821873278723689909254170093568866023360974788873572689494525333879657851952390066229373850616400346853676924192721549694931331359242472574354912427268268116353144693496202615535660532063851719599869796249881848713893996352823554573787241352928242395259728659176008576548742903843243631384437415600769431501058519514926266515261567196879545323398575159916809311951800623444886949509405368976997040751262092277086851625640303892171442189881171860442164648487974598878161394318377367887958014466214924352872935824974666541157399691067403106516992000 - (23635268416678979663162366111683127304150986868644020106518723106790101453553912072863632589025913033224833521158150879026967961280276843189206046048834454002223368226086149635105048899589757656796707844052304446508463287444463077802575814246225988645942800097191563191016337454306598679741980064538236862680813586922991847366687956227851977755063817624848719266369186815795099782315892359642044764332237310646106942531265393615749306201154875608675346374459518193936480393203946554966333081638489795517040205874365785108693261003434779012209596397839611137965485931642658231660472576255567347545674042090227781794690528395178475282508391856045562663959240061385244261979898058706892645554593344564676454749821777494057307433450543656170700176338312269109250996975363081281745304999404415031734364812193821408759046499256366820225515699619710226690545067716564509822617131669793569244465029575219581770276173423702905775853676421134491576877634976631905745074181888020036857353677463668285463702177311871861374189389362910524856193055857951651795651709289610843340828578685188046321110677237497796777591262483179383004848520133841287361854887567474138793969903354286054188037460590865213459801617848165152646912025385518137240813648225083123671929*α)/3029566179166933258924186117910541872612153922208097911448355689736264068736820143187439913604309926806515629284568357005092394404029077957327504391835346336543121375211150924941166441706407601713497401565574242627875053715821109580099774996867070742982179506153352138282445502661181172302913686979247392178600632483857372523161327705359191216696396460743432740107981897573547763205842109375861292712283435789670173893103600101687484974974607101415614731407212107708809602843301196154148978610806545483087331474524452725166096179150594216660257943684413976611226541784565531147731212562438124260563561141670725588277113567562347752987427972562643215973447988221417978303195025372077576573046525258602734159840461238656771261696108252920121848609196586186815666734957231494048758278671731327050043356709615524090193711866416419905309071794364053408533514544143086687025326941957566507981464949983724531235231089236749544102944321723405169116030299407466082397001072068592862980405453923054676950096178937632314939365783314407695899609943165424821894989601163993975077930610868688675671122124630093907761534635856453205037986521430273735146482555270581060996824859770174289797170985994751808276865544109116978121833317644674961383425388314624000
b11 -64687552445242283920508472957066725104329099528732167052783878630015258380222643595417705025727620755636837036951097997553111705866357652141296205198826368153294016462104943088438557550974761362701979350394653180106932605878627942422934687763203303031922564516140641025192492487511817534610389892460622682197764462727745446294380146436727252205299167391655305492818774497354475334678411100932736690315087388470157123422571502128924482639262007528397735152052612237771517355043642285997951192895226677845061437764207688641800887809737868293591875225479262060109440394422267750702179737347596615143235679607062301974281007664073774583440828651471383273944880070912297609141396555159257849517003771201843484047971311168696695249205943125227848891063098830221916176520678594497936723675129492060640195717484708498912093570708423530081806122623516390567334328212776277399221248441773925658350084376307153450849551360262692141918964076337530029283377635622364464740297549888655010175355973318446940887554119060451947169293149243624684004233071042526948663642608811344165487745034780542160652928445319919553066354068060734702842389303979426126981034291167060966119963360241000136510830585489329037743990794334862870767337824935703516415719281552799127174124951/60591323583338665178483722358210837452243078444161958228967113794725281374736402863748798272086198536130312585691367140101847888080581559146550087836706926730862427504223018498823328834128152034269948031311484852557501074316422191601995499937341414859643590123067042765648910053223623446058273739584947843572012649677147450463226554107183824333927929214868654802159637951470955264116842187517225854245668715793403477862072002033749699499492142028312294628144242154176192056866023923082979572216130909661746629490489054503321923583011884333205158873688279532224530835691310622954624251248762485211271222833414511765542271351246955059748559451252864319468959764428359566063900507441551531460930505172054683196809224773135425233922165058402436972183931723736313334699144629880975165573434626541000867134192310481803874237328328398106181435887281068170670290882861733740506538839151330159629298999674490624704621784734990882058886434468103382320605988149321647940021441371857259608109078461093539001923578752646298787315666288153917992198863308496437899792023279879501558612217373773513422442492601878155230692717129064100759730428605474702929651105411621219936497195403485795943419719895036165537310882182339562436666352893499227668507766292480000000 - (708941956128393740322184831450472498016390419695493674017336519278698704316140678811535081202839642611449095409069940152266567880696204592976589211205823314257748234110791756425791158505016735285059049144252045810901885249562112818718434641958547751714538361623414312207319396395477847137607244488987930905851625290380867796017678981992071640199699559012583608810068670841892223539181369083742957646599378370681683232738405851010725444157873077020340838115575737092700380752367876599013756242365582207152222335898404269297910778544958504546867816346118580601263967858954257244455940368310815192739793578828826129393085526443732964041043681120521144214209374349575376369477385870325303984915809321275987146949083840872680821728347814371106247792781925028983407855763931563539907507954439771608251218405209534695981852536732109824745862702263792396066101181199020697600250707637594587226546478290691152299015257551275572194725902401101281954526170358078909598399880220358260410554614557440194138198867567338838501310104059988574508114455999693685988962103894296972406842800067964883988109605749709163606720430089365220350837809568115945541329595057543847019897729535192111027265264384273569747984644443090809927588605731456044434675973480363030255193123*α)/7573915447917333147310465294776354681530384805520244778620889224340660171842050357968599784010774817016289073211420892512730986010072694893318760979588365841357803438027877312352916104266019004283743503913935606569687634289552773950249437492167676857455448765383380345706113756652952930757284217448118480446501581209643431307903319263397978041740991151858581850269954743933869408014605273439653231780708589474175434732759000254218712437436517753539036828518030269272024007108252990385372446527016363707718328686311131812915240447876485541650644859211034941528066354461413827869328031406095310651408902854176813970692783918905869382468569931406608039933619970553544945757987563430193941432616313146506835399601153096641928154240270632300304621522991465467039166837393078735121895696679328317625108391774038810225484279666041049763272679485910133521333786360357716717563317354893916269953662374959311328088077723091873860257360804308512922790075748518665205992502680171482157451013634807636692375240447344080787348414458286019239749024857913562054737474002909984937694826527171721689177805311575234769403836589641133012594966303575684337866206388176452652492062149425435724492927464986879520692163860272792445304583294111687403458563470786560000000
b12 -4107201294370558994710461132699396950073042142154355213537288681986493339587314470918652717492287569867143208479121708941167803171801327193365843465343174631378466993446738357749374278520873192515422370948681073806961855677014319596941736731098789902820539086059262910222208758841076730008571756696076497291020006706143187387593627962410171229971562465840657645652992361282817422117275080877511445257052453685586528801471946911378676042079084712269124792232338973037980132166680754567593547991907690761076261556637796916067338090449355961156952350489659235788084796882629350329321870492475690940925903856872946763891401526172835135198651486261042405624783056055831330635033015194909602973257426682789979126383733238980049373879854073149089095079333806366322957180599820673609097701199265376558653186624907571011553800834753819880345837861825782157425953035258330190450424289938849420307261473681269849673029439333230581914874973253421839094920535550162480386038927849973039709106231978945930538761469341268999184404410716791005212066173168697726098694638963639400662515049255589251133560817203790019097735737524253109950096227682587453292461490009467377701040400351689377176505128262281986612329855400819279710596171118221967481543155159491465495526937/4847305886667093214278697788656866996179446275532956658317369103578022509978912229099903861766895882890425006855309371208147831046446524731724007026936554138468994200337841479905866306730252162741595842504918788204600085945313775328159639994987313188771487209845363421251912804257889875684661899166795827485761011974171796037058124328574705946714234337189492384172771036117676421129347375001378068339653497263472278228965760162699975959959371362264983570251539372334095364549281913846638365777290472772939730359239124360265753886640950746656412709895062362577962466855304849836369940099900998816901697826673160941243381708099756404779884756100229145557516781154268765285112040595324122516874440413764374655744737981850834018713773204672194957774714537898905066775931570390478013245874770123280069370735384838544309938986266271848494514870982485453653623270628938699240523107132106412770343919973959249976369742778799270564710914757448270585648479051945731835201715309748580768648726276887483120153886300211703902985253303052313439375909064679715031983361862390360124688977389901881073795399408150252418455417370325128060778434288437976234372088432929697594919775632278863675473577591602893242984870574587164994933308231479938213480621303398400000 - (45465340650315864192190142383492923352745521522061671389754741313698733034539670703106931581807165826669616393967154789831231226797014650281207665670416834829140755679054695679715341939907858374699505578772657233756726319641734122957632691745747636998363654187926666191351432518720231548029157185444094968757614370694297527960628403950815999507306619729707853199020289411991045876609612099065669256313327030032331814558704654704049463942223645110918294516524293092906270858510163075967054981955370947025324893218676605721689550372062183070149421114659276657849577984343590779901448332419726543200766672309924004870799152732547978399823043777953123668850982321907425836690190030722877102178384963138227761057139552534161289110492610521106221725241318022198938321213153604439007788735353586236909358521315167724025427473557064099163100149728619082820629650780188353582320453665243667688008428985492603313987518692718622551870554909571747099418100846861215321871233219068660863902900489408087499219576623618727342486884225935089716427497157468036309440324010987898723502000992281480902957702207124678891833269814973761357725737180706435202409059756016097261853178379967201184828147891162309553455361815503495125494545051042301341719634118592719917370701*α)/605913235833386651784837223582108374522430784441619582289671137947252813747364028637487982720861985361303125856913671401018478880805815591465500878367069267308624275042230184988233288341281520342699480313114848525575010743164221916019954999373414148596435901230670427656489100532236234460582737395849478435720126496771474504632265541071838243339279292148686548021596379514709552641168421875172258542456687157934034778620720020337496994994921420283122946281442421541761920568660239230829795722161309096617466294904890545033219235830118843332051588736882795322245308356913106229546242512487624852112712228334145117655422713512469550597485594512528643194689597644283595660639005074415515314609305051720546831968092247731354252339221650584024369721839317237363133346991446298809751655734346265410008671341923104818038742373283283981061814358872810681706702908828617337405065388391513301596292989996744906247046217847349908820588864344681033823206059881493216479400214413718572596081090784610935390019235787526462987873156662881539179921988633084964378997920232798795015586122173737735134224424926018781552306927171290641007597304286054747029296511054116212199364971954034857959434197198950361655373108821823395624366663528934992276685077662924800000
c1,016868380317393916440243718096238747993744691953290370956225459947264406693144694697229847640995075640198122256508944515054539055905013184258526222663752225147380563562864489186460961578938417051993877847609335029164004231894949638569309425269312265867860889637260493561772290009787437082096567022233177733282226072463822065385857928690203634710858433601534163801367178143866075390621849677228206297145125244807748704330070097956601153095827884287397311208073672140532444284981105502901348033500740792729303373227378313344281013747990980632810489424512917845206103698219926271030688250249497383985464915418575771016272592577403816575517826742105528985908418636473102321295123075217433503383386553781219462300870504574353888470245844573768796734561963210421621363223613103169497041049038042019568812642310963027956688440566010864175898318025164071944910292808161598302689287406356178923847361968657303447749948066576098613688361786417377954705862448662953334706417094008881966014994835585792921613346759533511094159761658279595455178254547403926405106663505593858287323010852018629235612981446766851028929694092626474736279518656257290584310899857082731208667892748740723163194476825730701044831261490968197380507729900573131971664375626517/3587235109723740416883509193365195164879564655839774914976795983515763423427680523250344418771719163400203042300274453856977525302530893413826604698063688961262074050620545885876363167331577829071942331202534153091475269177601449972390170856830070797219252532567147829589143077237321811337838108425448027122950779688565492783112068873089681330821577850793783037594464134189175715045225454287322211451230747014774067581475501324465452451000299406530871750888718262235949126549946401494105519151651176411723254741721874071675195777164314183100951188695077086353792100271635458929011403414850606985865039868342786733138934308747447175757868026751973886279846916830984843842603299371498016489557376738516617529911360935040978417268833307032377487551822457410291539299021027308077550408267185565591141614811719600862663615976274451940575896770022704689508833742509876024417269690583934507313696750444643213512960434735319857420207762998659264171809179978968083108242374475882850990787712229695849106403403598924543463223608201886977102259529440094574890286185484212495496774676858839434944772024658476364693014286574940257517349184948280910894632291810324273767667761380252001134888727085155353644249517086667622852670783655772160000000 + (185236830070130127536076075411158852105814787284672991416293329248661030433566947694854245841243449787423704108530719687674138438866612080092972263540975107273683030309805475852233858637835738290126246311559036358166087707779193912678726638342297593835774977028244266494055692681499576833407387968926600198990905325478468094858759566327779535467855570537607991703631249478321602581628771087151777491366905026282883888759165999544612286436691488256593699069262749657377857638908182464828471640417170258047441212237517259962743522465475777650784450185819567241048005993798768689245267046936386001662155963426004846998749159138938172420219168629712467714386279746435268038952968146890922638100845782634592746967507367878391617913609589148064948443541182548909850192444323933407643482264314392166222155252935565315319038562216463671910908512786616598019554789588401214166544215909649694153181400972705646079249066989580831619312402810143922379572457546275414364492948162315611986182930667309263122537644989736327622150225067627898503458520644696882647079116426083914103255357630888574847234692695116187354690267626253750498570195063123954230867594453847750200060937974361759254473448590737840143429427056046405761771351887444225106914619641*α)/448404388715467552110438649170649395609945581979971864372099497939470427928460065406293052346464895425025380287534306732122190662816361676728325587257961120157759256327568235734545395916447228633992791400316769136434408647200181246548771357103758849652406566570893478698642884654665226417229763553181003390368847461070686597889008609136210166352697231349222879699308016773646964380653181785915276431403843376846758447684437665558181556375037425816358968861089782779493640818743300186763189893956397051465406842715234258959399472145539272887618898586884635794224012533954432366126425426856325873233129983542848341642366788593430896969733503343996735784980864603873105480325412421437252061194672092314577191238920116880122302158604163379047185943977807176286442412377628413509693801033398195698892701851464950107832951997034306492571987096252838086188604217813734503052158711322991813414212093805580401689120054341914982177525970374832408021476147497371010388530296809485356373848464028711981138300425449865567932902951025235872137782441180011821861285773185526561937096834607354929368096503082309545586626785821867532189668648118535113861829036476290534220958470172531500141861090885644419205531189635833452856583847956971520000000
c1,15287434822594816846480033102857626675351997569355989897152157782593807422644607829126788586964669903391577041201300985094681569743348881758968174514259140937153227907608825108429625367291222994414971304810722663018036518704397167168583365079676056853504690526565863904804406736171600093708598173974056232823907604843478132384580624585098598087579230576235892191065290396383078774049374123580679726253095980829899453938455627476475774148865591951008386315166157031605361717849067632966042291311657219982195872623886239438314248128884226004298244814187657459961299713230874473442982697376736592166033816326498891941832381405526052862327292294044165461238833186069324078016862543355012966772267623300720213173810327198459026381236594165898890230398015272808062109236085776942350877621987628211242039765470484226360061190554890683186553192519974500173504698230753886872666816667923189103623169793965764703735281976850368314347726409542458131142479721742605854993109587287054215982901790395678026099978296614649880116236867499657124157743999685381143904732940190550980937687713199293537286094381898190661339208930387468997027023639049933396397806279393290734258117254881098142312895186532446051397831493607701330665388392844594653913173891151/91125212358983397268798181003027870875363629930391071355403037736009841574650219053252665212917725026677921107053661887338757437954856815877320649750131813271911650932798503426214580280739161435552058405795207872059017151287950260945744318874919239882620853847664172879874589169265909956252555718778845377304038502478420281032161481305941201311323930569369075791151352288502151985094382316906015634080951760777677883998259953372591892775499146637475784963895703455671115341918061309101903143617618666151583974539497893402306451688368495226869663890033965512213384653549648400371168099752339759840091446129725822616952047674324218253260885707259408786258368054437454753914629359637708085392404022215023561700740764493242351706265135066615289527811371676327072582914724059037686084648356083056219621368991505381869217496730032310638009875781707684029589842567440837891004158171618516164042492263492435439540731462056593441553822156141321550876623989711123383331869493366937229863021699682361659970619407583309034781883051412055507347953295739840849725300652446590852430388580471458490696845619531483124854297784253931248217984680899276301748521358795007716498190351578824395033499138473691857040327111890149439939815669760000000 + (58046315369212831383933767237658038268925918945325791305868135543793724825662512411177197693509820961932345390257022000963299914895148800443180297782599112962833822415692411627342929719255410777364467669235854971413360327815570306282373630873765174111941413925248846724625189981024860352099529189604933325715429183690074052511687772497913608138414454603752288487738959369349672869392895500154168065549015813288046867189358067069455898022021173799214439864119036296308375782273889165171809187299545144286915433971192885304467102950911280198634782078114213519909458741556238497522758604882500763975480124471040931896925940690883224676019677505497169277860337656815625237824978987447781974282211306640243367500202319196614935172572079803970656801863856918877296866011335481684772801499197955362172870153593644785934961572551918588725395695208704632082302689024536267104965008955860094891310882489451567558209877290029746218290893838189859723466630665021546978151332692676622421913704594469481066636974540872525274804647257771083713645287359190903596701757201716247739761527303949990465890314176198519174574541822627173450413703976410954023355782218186893987071152821716545865829540448435932805148612117216692213768244737221286688753105723*α)/11390651544872924658599772625378483859420453741298883919425379717001230196831277381656583151614715628334740138381707735917344679744357101984665081218766476658988956366599812928276822535092395179444007300724400984007377143910993782618218039859364904985327606730958021609984323646158238744531569464847355672163004812809802535129020185163242650163915491321171134473893919036062768998136797789613251954260118970097209735499782494171573986596937393329684473120486962931958889417739757663637737892952202333268947996817437236675288306461046061903358707986254245689026673081693706050046396012469042469980011430766215727827119005959290527281657610713407426098282296006804681844239328669954713510674050502776877945212592595561655293963283141883326911190976421459540884072864340507379710760581044510382027452671123938172733652187091254038829751234472713460503698730320930104736375519771452314520505311532936554429942591432757074180194227769517665193859577998713890422916483686670867153732877712460295207496327425947913629347735381426506938418494161967480106215662581555823856553798572558932311337105702441435390606787223031741406027248085112409537718565169849375964562273793947353049379187392309211482130040888986268679992476958720000000
c1,2374537260094152897552926355753940450640224503883001907439532519664985647168069575996982660706878237066088648944662096861001730498074145037398420129102697563522153737921132758488720392061209609075112342958387404604919442779195167006232654547192439519589680828140973341113190342658506629506884682847091383674788743659031948425246508988089396186789663415248731149175878472605702758893083327142480741520867677425353015895808875197934863308997538722214269903049069922688697460295367146502927517983707267734851417289291353472993034969100705769542419606541760081141572158470110594136593469029956242572167911736604829521873051322896136930485652734252525455414389352058157836302160194422930782771656469569646923041354616881401829146598053945106487785072978804873819482161524801595641452331203620713207097993265615937047834650078316223571801927814657104933417225829701102781255387087424972949309902527634839513705645828286207470978891514702733190551613581187074682441921832262118059282167715002844445797731179425682186607734817341988755688037221700402176622803121589285481031895280657644718881422361399066816053412084828000898312130799664417783/9299747485236583020025602971456021972751421693207239959639145376181267174047047883565071849250027381186320708283119169673735285877615509340695717475432654656644136316765203649227165128147642303757570585620430221765426083898976669279754841736482085353652765899405556397958898879307079413371693387845899175134210780213078694014149181166079818113053249917073573636053199729520406375588271950525584074310503907786832985726679758613574481909241397929671412448967338360404478989866410874394818942052865921414250325399991032671690822032463967132023620068413813233718757846528525992002825724766906748518830207453439278730923635428792252573103342250096268848286207445264259248857975007902751191416167334114303139853279727011318111097933795175520658025642090421663185110424951527496547616798196020264836495027115811872144271919872387942589654563837519170431101769734301518651788976128857128431910943538003919948150959634714981428508483461485576330188946234588090710470072938773051850465235837554391830307829175544067504032473357745130320233121573565944791110484947937947552737365817060006247940160029120959326895017541858408404090880 - (7137700033930322210925053081670369653090260325843862452453960768026684886152266304552598788877397006305302806555636587500736385146834226851987056393428440027050246382998936442609607178333567313600976432227708549045646178572652348999748946516509074245213097144989931741696532797953600539287339252905273115480851206224355552668479763919756591434602971411805651528377376162659032590549218941781831604214513420005510035568738974467804941583799465994565354541881146922439626207756983089309299888196768019855336070459501927687043552186046859258526332432431710256892540364519693855121700452268479706061339564324551451733429183940481738104182998086755815803227401613078046113858919128257192454693263191623766837475571579760545982168512970552904579986862843021957441256856945716775241915811933124979125750116464134653814200016393518401460497339146218106045900220462974304020660119435110220392643892381423498154542502960649575280350792277930773401531763390770664864296681277981784364380495880700360175755704061202377286125736841183845935321213506486569302692170809482578364783680049431625395445084791063468260897132927557734949534051343107581*α)/1162468435654572877503200371432002746593927711650904994954893172022658396755880985445633981156253422648290088535389896209216910734701938667586964684429081832080517039595650456153395641018455287969696323202553777720678260487372083659969355217060260669206595737425694549744862359913384926671461673480737396891776347526634836751768647645759977264131656239634196704506649966190050796948533993815698009288812988473354123215834969826696810238655174741208926556120917295050559873733301359299352367756608240176781290674998879083961352754057995891502952508551726654214844730816065749000353215595863343564853775931679909841365454428599031571637917781262033606035775930658032406107246875987843898927020916764287892481659965876414763887241724396940082253205261302707898138803118940937068452099774502533104561878389476484018033989984048492823706820479689896303887721216787689831473622016107141053988867942250489993518869954339372678563560432685697041273618279323511338808759117346631481308154479694298978788478646943008438004059169718141290029140196695743098888810618492243444092170727132500780992520003640119915861877192732301050511360
c1,36953930833542571267019903840834438140079909665992995229630984330951235234666223427589434334796715344347998196591887079830567827371649757563300437387876477630545822272090913808929744584422201528471279687026121025755586520486067377133864299481815381825159766064540264906320370457974698454114052448157192967599902899011232992261673848390295568673722435262170064570620684334488941075637894124518304838826479698212289199213380007168197212067709539123174936683457781711964055522842760241076979646754060986202874814618819555774007111964763936733757340047825244654031198857793117924135005397856350160175904186033250592684174971220410183868476734096730493871899180758291895393906261770428591240842743745662361804604062797064581218926321326108168021586928175010148813380341056284624718354949930732563633841439151033094901848699637727269117220065619536120243887154419183451190804212318688635652169181161793567111838705990486419099576096842668618240639010981580729138016389859121709154635695974142548540802292081853993149891163588428301084389827561404454696826035408043296327313439801772582928268744462503855200981391284593098752906387897602000059/628534657622886300663799373243234588503199535127110011065266377148802884866628063854742787052760471280178916835686674915880040011038841320957365732822344935414569213133096522499491160385150997081546149924691146022766728429034285234079982407017409906660669695270168639310325579429030194834776518626826289078036314800608077250611461899500567017296012753016007045747043843788275741246655621483798096056847850319385953518079045754572620156624591032488136841378482178841130304142695355648753280221504041585238987509792497380569448661504461226854010183934174963382371219972272791183639255880797835417134731262370378838365873291049407415285605200351334032504860916990274073371090724672048011557782343960828763934911319480764948198343111673931741025181327490567580786773548448065283907893947041369623432077694723836875957688377582081637093894659363364622239981678594171605431254938364136956087774114982333899943995892553150468961263020155576883005873607579057165259356653792937297479719387641607171979425696002288700272539578661395014746790285661698337606087948205461282874663344877159042964231505416451044162559806277326912828211200 + (17038158490650517457985638229685326987493129718096739570745502640877584166788638124668873026600425959883913970034467120119665328456023230360671445464833413474361614034909879738087549282711959971566738116723311410542684905704821367595080877956509516061408386097338250463546687607473445512367358710246605418313352815771119702445311510701469489701569342700529170800790049843389370553156368864491216911144600034381860249183717997876951936605001768633193774077271786166975859109490154967216826609272524471314774821905460890800319472893947936671895905346830049429137226473520581346041876641565269964391694628722502476110250961446337117663473098293134504320532595738097109266534387589156029973991411162079082641082118966102424679269969701450649254196417047329513881175694057570847594903152108794020358452137966615864094499303649463796057037569376110461169322729990945383770648712657650246288831996821143033950142564062904455438245645097699487229219933521752045769114841772956611018458114221683701043567990981275644769366521640345568451036846896285242815335753861099589870086903307726218834130808571533811299541697452577717741047262842941207*α)/78566832202860787582974921655404323562899941890888751383158297143600360608328507981842848381595058910022364604460834364485005001379855165119670716602793116926821151641637065312436395048143874635193268740586393252845841053629285654259997800877176238332583711908771079913790697428628774354347064828353286134754539350076009656326432737437570877162001594127000880718380480473534467655831952685474762007105981289923244189759880719321577519578073879061017105172310272355141288017836919456094160027688005198154873438724062172571181082688057653356751272991771870422796402496534098897954906985099729427141841407796297354795734161381175926910700650043916754063107614623784259171386340584006001444722792995103595491863914935095618524792888959241467628147665936320947598346693556008160488486743380171202929009711840479609494711047197760204636736832420420577779997709824271450678906867295517119510971764372791737492999486569143808620157877519447110375734200947382145657419581724117162184964923455200896497428212000286087534067447332674376843348785707712292200760993525682660359332918109644880370528938177056380520319975784665864103526400
c1,4-218058847662827744243193631832429733177280741313163493643374755838827752159318761142660585769601920763443789642506062991924988875009493547891594142022037989198502418735950142796693820240763351416443351109166825684525638029292179619555048286811240447343545704478912649928727286132222239716559813397032542171517626731534634041719134933497132930949468071442035241173875242488897263411688969093419167401411275533608562969684461713769929063885871930865267456803526847489878543784039103287094028369438918859912873821914252923117582923366019747314700242109047358179352631425241382832131341390496901474999709777766294228320248762500954105124258279181160632744298725417884289320188162118058754352560818496875929893993228864725036638885321689489091507643796614404846577728683581628783772298091757129780025335304798307906706008143983819984334807751925842630725064814541245086761248432791265961021666698138485253608957625121435723047185967059192089530089149410500266366094298292976657322790929746885340733348815967667458205626568066868867492952836436081960165857984048419115269387325772456630586515739192341436555471062423940766419066873364276209403/167850406409795248062159947732294013850638609668477148278724373523478871124095206692719800398550134488634830165040930740125662483523466113913218820160902474838768411449644193634396488298538165551561101332406729067374827045221242215029129114737311192339885317182939999217261046823061876491128808427538070867458330974090444802465449393593244947352719376920533680130433579003027305863855083953083347666404260459392853198497080420213925613049674957740716831309131355961027027984006126630803753682174316716863821700456816566667179383561479142020293942644867443458659134427127813012494166750325292450964325355821499730072958392544992829175551547029075678320722570062438659018236602157024620064927198617452976383193584022489171777859685649901771416221085442085385602913914520807074378856282835795974257544777180926797378053183998898347977880357953727300557900143233206115061929376345875998632936511857152765222454154903402484948504196461690747461712433908882028593002294883408866780195565965873800171771811766942133482853734963388366528063707940735556057107803146667070649694268790216860970016355978839300426721007259096223051677696000 + (1005884632415604954885690206993845391276615223652865786250787124648999418133112671419891503268381614835916961387300451320102071105912595277263602126611375079153297155057016356529152546312339013393108973570594836387965714991030860522901787481414558062868122915928459623824797108176047506754250316609584716235395397653420357781752767289637064256891615015981453609861025865358725500698446108970607501949891168009280855382738091027093070721048560527041128478835881963612063637116584339598567730288700023987722066572336019470930283355862032476579980053925874931402241958298376562707013486980251251365484288721513992238406773751867309968405245754560783646745739410780858240042412249207950241480732345145969541510423627070767532232061502618051703126136081370164522712157348992420715902510672433215615300678400219820082157228378176738900287350280670200337879145440919864728387302023323463589797778358430039809077565363712497979882851948619648035074364993598028820673749905142981094854347690221644764583564847126060427623203702448698122553035559961824967017233709352113696430064587577012220565258381115049199006029123397250445891358985730093481*α)/20981300801224406007769993466536751731329826208559643534840546690434858890511900836589975049818766811079353770630116342515707810440433264239152352520112809354846051431205524204299561037317270693945137666550841133421853380652655276878641139342163899042485664647867499902157630852882734561391101053442258858432291371761305600308181174199155618419089922115066710016304197375378413232981885494135418458300532557424106649812135052526740701631209369717589603913641419495128378498000765828850469210271789589607977712557102070833397422945184892752536742830608430432332391803390976626561770843790661556370540669477687466259119799068124103646943943378634459790090321257804832377279575269628077508115899827181622047899198002811146472232460706237721427027635680260673200364239315100884297357035354474496782193097147615849672256647999862293497235044744215912569737517904150764382741172043234499829117063982144095652806769362925310618563024557711343432714054238610253574125286860426108347524445745734225021471476470867766685356716870423545816007963492591944507138475393333383831211783598777107621252044497354912553340125907387027881459712000
c1,5-266268740220870652743798326788845789310294794612642383658944244142049103625640834952869169047518905427973954868734483704004812564394495810104064578928261989586539102950083017715234392932864628441162254896238356042272603201949965012427071933616437205709041976050786320116540692964243557010713582477791785367963283247894860632169943339959898105858682862401855225622845201206317795149202305282373283152023357038809310833088461905605976188681437950744794598951863378732529843738431049175679919343055754180866819062215189944654784836253520701981737671688134227292078523870763610006365734872027361039649076001180625010067300102322519205933298202429734026872426873297696848735782624599241736023895674575392358395433588237195063440857538361743565497195531790540290357645752962919731727930741922782716714330588578550589521662264836986202452154557591300036625781728656222743461509708516407086566355342772822627312314582354697689667957393673985969645672460342445045309524745632943020479856319878881964298697093487822943274854576239612093183266577789735972496629443402478794275479307472122542592772424682131604796093721361577533429159083066442352645139/1493197215421538526760974895026487547215281071610772711087532026864868037519950958738435344345501996410895449148204119864157893453424754549371994624151388416165683788256034746571591159903795520746687557453090261783366461394288170744899132604703120367055619781659434233036754272537958453265081879771378678436909312345508596962732637805405507051649791577085067618440337118810930912964854826846629460840332301046758822053830027418223082253689908424061416931326032542629296440945718502507630192756622721513220557847263840177071227796162918447412534913768740777008231659863729024559148107410893801643778638365388061598729037860080256208345706562370657234341147983275454310626232812788891020097592358900861677904890123464063672135839763541526158518702776092791590323522183577099733674305492107240986995118337801524789475161124854199703611223664356358065763079674202601599590923731972912883838603209481230999418952162020668506101893331723200889419393812053414526363348415282805278876619754832413326328082037478717219463466826234302908633654745840783506684031016792750260499680215157769195189265502787754416596110080576920000267724783616000 - (2163098976075960971324805973122921647947804875346544116680041221083131940689394572258149618617118294351600588643117541574746701959149387861734039839902532017262903735783991344108183216486873308762021824478336108652576469151252576194245629134727750004197789933132197182342848960069755872817438018490771601362832008384293998760427540718680701939241066511525332568509105245781723124405319668002482965500752772083468300914813106087782256501206487633868582679822498645403391632722794770124947389268207023679828107038906167820227123712169771408388590599614319818453590517775262495029720432609665380435667141573840110947153329857346180784459564946013030004613613211324835307928184099450565087769901193160809905963609853018681760113772506432071099895804535129499270725660636743927641398190825891624572053349373016485012203481623021499679538703697445723780682682810005494951216061997150474642833077634356693591224289175404822472204301073946608133944931276035557657097604613441534990787328887942197391589355032048763606621467036941049233508421018258560299162386471935259251080167285052466995144623646646605223921657780600674366040303337633047179087*α)/186649651927692315845121861878310943401910133951346588885941503358108504689993869842304418043187749551361931143525514983019736681678094318671499328018923552020710473532004343321448894987974440093335944681636282722920807674286021343112391575587890045881952472707429279129594284067244806658135234971422334804613664043188574620341579725675688381456223947135633452305042139851366364120606853355828682605041537630844852756728753427277885281711238553007677116415754067828662055118214812813453774094577840189152569730907980022133903474520364805926566864221092597126028957482966128069893513426361725205472329795673507699841129732510032026043213320296332154292643497909431788828279101598611377512199044862607709738111265433007959016979970442690769814837847011598948790440272947137466709288186513405123374389792225190598684395140606774962951402958044544758220384959275325199948865466496614110479825401185153874927369020252583563262736666465400111177424226506676815795418551910350659859577469354051665791010254684839652432933353279287863579206843230097938335503877099093782562460026894721149398658187848469302074513760072115000033465597952000
c1,6737527315729144943708512973757175434285324988395897394068953894330427995211430111484537222671993759339818861263768844483278732567797221971153889616082398432565196533517565744231033393938367732568928742150080596692953356992561704473397926796436741964824896009250901788927980703505730072370162422032737352276796891644571262330456663270376548254096389524597120052898826787265318109519939395652498050283035451696308678708989693338991369057167610771992929437810922988619575922585514987266447051643325155687104639987285007456505558023911934948578928237560753340352437460090652756971139460994445244279397407905868706650186025449268039877613297194621274382821524597592246542025087829612597430023434327804302072707287330407702862298964766673511992392252026068197029976859728670427584693754407925741605957680122112374695014707139430076707015869180144724380776612324233657947613581345427064586638604196162812424378844591347624846705687542854376818516774386613844382859768103983366043808240858932678536396810985474499667023599247259063707391583555370004215304743568720713138444269194088512663537654583046996119936852627588704210567785058505630316193313/76451697429582772570161914625356162417422390866471562807681639775481243521021489087407889630489702216237846996388050937044884144815347432927846124756551086907683009958708979024465467387074330662230402941598221403308362823387554342138835589360799762793247732820963032731481818753943472807172192244294588335969756792090040164491911055636761961044469328746755462064145260483119662743800567134547428395025013813594051689156097403813021811388923311311944546883892866182619977776420787328390665869139083341476892561779908617066046863163541424507521787584959527782821460985022926057428383099437762644161466284307868753854926738436109117867300175993377650398266776743703260704063120014791220228996728775724117908730374321360060013354995893326139316157582135950929424564335799147506364124441195890738534150058895438069221128249592535024824894651615045532967069679319173201899055295077013139652536484325439027170250350695458227512416938584227885538272963177134823749803438862479630278482931447419562307997800318910321636529501503196308922043122987048115542222388059788813337583627016077782793690393742733026129720836125538304013707508921139200 - (1848660922827332244321962872950413861222637642982067170193922850380784617369275911895692963802180378182445495868913643635127978386609805213349041686211320958645619676945817949223735398665278488190887757116091917794856270772718694777374799322398159027344214627542536964403213567178628171976046917990234086489116099569755687595592062351281399646002573549032590781315418312389560135883701321211070581182643101699698956492952158983092514776634766588683938129582948335955182404983862689243962519922672014186752283152710351716056940694257001644342089941988660261897765241408313920077540332741382889207864003619029641862984463710503846669405018305115550729765274442589550802984061886801390466882749003272253042700339708187286682986361910291671345743633743534120693784964775768376100963845269066540077421958288192554678149822572428564468528793490825893276829763981977801995664969919010945914450044776534718066216320817705685400951230783094985505303782911817251078142195223675031524344622207767357153774282876712113088215686607174796455110684010695150884072228660199818098015240793385722868316425101699536602325606720768859040851742413408973467659*α)/9556462178697846571270239328169520302177798858308945350960204971935155440127686135925986203811212777029730874548506367130610518101918429115980765594568885863460376244838622378058183423384291332778800367699777675413545352923444292767354448670099970349155966602620379091435227344242934100896524030536823541996219599011255020561488881954595245130558666093344432758018157560389957842975070891818428549378126726699256461144512175476627726423615413913993068360486608272827497222052598416048833233642385417684611570222488577133255857895442678063440223448119940972852682623127865757178547887429720330520183285538483594231865842304513639733412521999172206299783347092962907588007890001848902528624591096965514738591296790170007501669374486665767414519697766993866178070541974893438295515555149486342316768757361929758652641031199066878103111831451880691620883709914896650237381911884626642456567060540679878396281293836932278439052117323028485692284120397141852968725429857809953784810366430927445288499725039863790204566187687899538615255390373381014442777798507473601667197953377009722849211299217841628266215104515692288001713438615142400
c1,75273436916839806652281102001214045310654760420961060133308828232417113203251237412016711435999582008035559001523911748497939006033161807256149577384659613514373738353663501099798405215062162155138788181692255501894346544983248825034368522348933282539644307916368521900130604139657835792198161297033751032529599968112433993408839763304611692310568990204912322846527962672854868138596111255454738686289968265996422640827405623578961909469825774869204464744944897437085580126274139712552357041414385297926510930190718466030925514941589757070992065776669567928660455745114429116200556267560867337282403436639672551307846286328288593258715669944011505499742443233257717119110433915760601490798788648568860203627815538691466925514753586587814175674497045647086411563622612976505390324095814592029510474318364797490317825971724701659022961724533373472902741727610784117603678874564497417980672616990172503220307748216929869657891675709424637913311922486923917063771286344489109851310013371509467517563866090283898844041699992767983076625952485370484194352529655497403124682386406935978843373211469961561205909884541742758571070254768875901983313823/6116135794366621805612953170028492993393791269317725024614531182038499481681719126992631170439176177299027759711044074963590731585227794634227689980524086952614640796696718321957237390965946452978432235327857712264669025871004347371106847148863981023459818625677042618518545500315477824573775379543567066877580543367203213159352884450940956883557546299740436965131620838649573019504045370763794271602001105087524135132487792305041744911113864904955563750711429294609598222113662986271253269531126667318151404942392689365283749053083313960601743006796762222625716878801834084594270647955021011532917302744629500308394139074888729429384014079470212031861342139496260856325049601183297618319738302057929432698429945708804801068399671466091145292606570876074353965146863931800509129955295671259082732004711635045537690259967402801985991572129203642637365574345533856151924423606161051172202918746035122173620028055636658200993355086738230843061837054170785899984275108998370422278634515793564984639824025512825730922360120255704713763449838963849243377791044783105067006690161286222623495231499418642090377666890043064321096600713691136000 + (61501505036279124707588076454500946481918828247019310087617714018200810583565327371978378735235108361736609290741801914428551538535128755631817471677322989097707387210776579658105154705852951989646125566485072577388149182531283662315689973592603063445904375852924953548003473211824904529944596502965541147739050595667943122703919270809841768215586410489002113453253347227560658268173851387663322157733366372016143322716130336860762894404577571064358829564036055463236400410217550277573488941599030581337929412664141375851322281555229078846963678321362151041492994495185810166633772345880763270051210982457447210906499502292089144796890612834565369971142721951007327165087736301293540571223343209006776663088976017616841130736756289353401379049184708930278318573308453842517912093450738440254310665901706950158699005310693908052515754949405852860705537237439936461520433877500655400541895414287389650066682985718386225147303761318163145571006388029299052279110104013742760611027153921510003459979335129452597406043192358866417116827569220175141317213802453280277918162444008407118678044189902824935087019437819787848026109689918037539178699*α)/764516974295827725701619146253561624174223908664715628076816397754812435210214890874078896304897022162378469963880509370448841448153474329278461247565510869076830099587089790244654673870743306622304029415982214033083628233875543421388355893607997627932477328209630327314818187539434728071721922442945883359697567920900401644919110556367619610444693287467554620641452604831196627438005671345474283950250138135940516891560974038130218113889233113119445468838928661826199777764207873283906658691390833414768925617799086170660468631635414245075217875849595277828214609850229260574283830994377626441614662843078687538549267384361091178673001759933776503982667767437032607040631200147912202289967287757241179087303743213600600133549958933261393161575821359509294245643357991475063641244411958907385341500588954380692211282495925350248248946516150455329670696793191732018990552950770131396525364843254390271702503506954582275124169385842278855382729631771348237498034388624796302784829314474195623079978003189103216365295015031963089220431229870481155422223880597888133375836270160777827936903937427330261297208361255383040137075089211392000
c1,8-2996151331853160306506585685353806688515553878166073743930445613709141271315234587566777771808349460818443603474874393019292495680181172127948694222323514014789945458679559427829924885371684028993559436430993637329573744072857337156828557315768682542134996526546538212574951391452833922045715998860011942311632062587824708315901166821567074642600943401263035997198207325615025369208314439649506555581517342454453357240230647751530692202734383451939693895772348537608997549419520161046545477063395901430680858873542970037624314732294563547078629971611291722876959797956948395487344013042889279500367154553770985601494080070452710408000957311970854099490485648360525308659607341503001922853377791660053067734887149491927197792085391955266624628927496584783038588750939444739056705087799559685945660718066482095409082511991794132404036020325750333348052868679660773485379392997217776833416450719302875078829127986294505704192192981607278293612964470149633291170986355931304952681055056885573453859087159402141678035174421022239001588482547841532631433748933194988103097376842863592375725178386730795454321896922492121382387360691000697124794277/97858172709865948889807250720455887894300660309083600393832498912615991706907506031882098727026818836784444155376705199417451705363644714147643039688385391241834252747147493151315798255455143247654915765245723396234704413936069557937709554381823696375357098010832681896296728005047645193180406072697073070041288693875251410549646151215055310136920740795846991442105933418393168312064725932220708345632017681400386162119804676880667918577821838479289020011382868713753571553818607780340052312498026677090422479078283029844539984849333023369627888108748195562011470060829345353508330367280336184526676843914072004934306225198219670870144225271523392509781474231940173701200793618932761893115812832926870923174879131340876817094394743457458324681705134017189663442349822908808146079284730740145323712075386160728603044159478444831775865154067258282197849189528541698430790777698576818755246699936561954777920448890186531215893681387811693488989392866732574399748401743973926756458152252697039754237184408205211694757761924091275420215197423421587894044656716529681072107042580579561975923703990698273446042670240689029137545611419058176000 + (1166190547746868509771847841514488188331443205381362497721110622798676262343037241855019029543656581771393397694354976573998570605036408161272908956616758070742538406034125572768640034334525349407431512018005578841469516313604740875276329892869218509992752792786825740650057648310183708571983202785252674278489920309908910311186741525242188709665291318277161364411560255377378793429074020381645070068218151417021762377768457332008602465274068530021031343934662047511235597688458499387507541363766143319225939427194381734942839886039785078221243462809312615555934038228785187481169702591656067053892510379603220014896064900183354320539218632993239443189150318712789630941869321269821299233507598257236165119807185042034490810185523302416860485595845144950989708717662486687808385170389418820455467634865355377241778960556639304521797325912840526411777379715689726444334547171499958604408911620098886553433370630686539812114135186711864500953205372226880685716670493606545340911047066725070432349738909526022961037435365824694053212226055976481254145882603496391649249279518775286689867915677189505759895239604416257398085207246840578124599*α)/12232271588733243611225906340056985986787582538635450049229062364076998963363438253985262340878352354598055519422088149927181463170455589268455379961048173905229281593393436643914474781931892905956864470655715424529338051742008694742213694297727962046919637251354085237037091000630955649147550759087134133755161086734406426318705768901881913767115092599480873930263241677299146039008090741527588543204002210175048270264975584610083489822227729809911127501422858589219196444227325972542506539062253334636302809884785378730567498106166627921203486013593524445251433757603668169188541295910042023065834605489259000616788278149777458858768028158940424063722684278992521712650099202366595236639476604115858865396859891417609602136799342932182290585213141752148707930293727863601018259910591342518165464009423270091075380519934805603971983144258407285274731148691067712303848847212322102344405837492070244347240056111273316401986710173476461686123674108341571799968550217996740844557269031587129969279648051025651461844720240511409427526899677927698486755582089566210134013380322572445246990462998837284180755333780086128642193201427382272000
c1,9-3023847267308780196027618569457752185165411370128239763826188221086299713348889512671448827217449691130702145930481891662555596355688572903538067163962354783366769643343601490490066284482748998180816518165499475848854051175518133686562064975286012840327849690150643069393545768621036839345169342874895622717396694165218785346282972748540262686055450804450546601025768025463219740466562497922937873541907827983318076450333479256670898990394541738262840716406229733224285955764598003708603002369056852620712541627914381489292382441011040084674590129332976996605481829967028084771552417938752288240423603804342905443798846984354731484600645086167441796920639912451723182196996150951469932445856180662617272278821730031203417696105623533829231145241867770046441859272664224015646457117728126065177030339843959644956027601542256405434668139744773667578554332740512196381230751647371243964944925066245065759475852865717707643829764649122057693924370532673499821034623531823004825672146189472630651027275366552785165961890362795270032524680119037576535786008883015271659960788416798782842755537542982828501538029337905556792873864799992348193903227/1565730763357855182236916011527294206308810564945337606301319982601855867310520096510113579632429101388551106486027283190679227285818315426362288635014166259869348043954359890421052772087282291962478652243931574339755270622977112927003352870109179142005713568173322910340747648080762323090886497163153169120660619102004022568794338419440884962190731852733551863073694934694290692993035614915531333530112282902406178593916874830090686697245149415668624320182125899420057144861097724485440836999968426833446759665252528477512639757589328373914046209739971128992183520973269525656133285876485378952426829502625152078948899603171514733922307604344374280156503587711042779219212697902924190289853005326829934770798066101454029073510315895319333194907282144275034615077597166540930337268555691842325179393206178571657648706551655117308413842465076132515165587032456667174892652443177229100083947198984991276446727182242984499454298902204987095823830285867721190395974427903582828103330436043152636067794950531283387116124190785460406723443158774745406304714507464474897153712681289272991614779263851172375136682723851024466200729782704930816000 - (42448843371837467549300414216854149190582971622965097167986037372913009715501500529890078875313562990391209010022456302676191300684268876995902066184551541659166253285268326044011534403345000727600832002891738890381300579325563504509334147241413840683030896540178409538975387136592125909814688540601439976621666179097599323194860360913940314722063911915729284141497357644215078401860817123480638427090405888571723172454662328276040012844125584818966260130466269142708321622861439355462125169503964540374377020434386662526812207381822064602757953337872094038161474769167952240164883351861025070777768971119982264499468503852691120904659842773822113390494480990824910413587509606501441712423356854427652654214151246618267198200215653557896419469328927805260722168739975367336692593594068984348828604659459892081882508993190377790704793777704129365555438798184331273955508929533953247292712702208942441875235862808384900892080681901003534854721431481760320576512840507659409539217559143040451157117535328802809178800615222032180139657224162089486390082505750664700214603579755142339908775702158021574926710823706747554297474555919338884104151*α)/195716345419731897779614501440911775788601320618167200787664997825231983413815012063764197454053637673568888310753410398834903410727289428295286079376770782483668505494294986302631596510910286495309831530491446792469408827872139115875419108763647392750714196021665363792593456010095290386360812145394146140082577387750502821099292302430110620273841481591693982884211866836786336624129451864441416691264035362800772324239609353761335837155643676958578040022765737427507143107637215560680104624996053354180844958156566059689079969698666046739255776217496391124022940121658690707016660734560672369053353687828144009868612450396439341740288450543046785019562948463880347402401587237865523786231625665853741846349758262681753634188789486914916649363410268034379326884699645817616292158569461480290647424150772321457206088318956889663551730308134516564395698379057083396861581555397153637510493399873123909555840897780373062431787362775623386977978785733465148799496803487947853512916304505394079508474368816410423389515523848182550840430394846843175788089313433059362144214085161159123951847407981396546892085340481378058275091222838116352000
c1,1010418258411107049813383977976440840996914627378892616859169308253860456968476942001154849915188337925298406791660393707641907135265198059350511533279868236418622842265531273253007273940912848822498873929390858851400780519752667375127435871481660933780167935167588805594817803899699723789264839085229631321428942026410973496474552073345755475424774421775751632956488975968375814520169940746297712985457151358056034873697343709117688654791377811263138937593794851114537400537072177857509132936204637112238139156708711537663482237073699883304733281053093599065551880364293030418947512407878743766651021881210212178093375698644929014719060172966026489339766664610751490840455395263586264968363353543065893085231876964511134884377802805578118077505688453229139860879795847204685375098984711911418586747756607784130651266652735032243448646873318895750356876885327061528749392672032519142843425778387593949949755620509585692424296778330542463063737365739886667430084260655764067974665342801559174599495454623972463893919697395449481707381542670907983219502293023298553050900778463924079933564543429533667617770689974814353407366432029989522932436347/200413537709805463326325249475493658407527752313003213606568957773037551015746572353294538192950924977734541630211492248406941092584744374574372945281813281263276549626158065973894754827172133371197267487223241515488674639741070454656429167373974930176731336726185332523615698954337577355633471636883605647444559245056514888805675317688433275160413677149894638473432951640869208703108558709188010691854372211507990860021359978251607897247379125205583912983312115125767314542220508734136427135995958634681185237152323645121617888971434031860997914846716304510999490684578499283985060592190128505910634176336019466105459149205953885942055373356079907860032459227013475740059225331574296357101184681834231650662152460986115721409320434600874648948132114467204430729932437317239083170375128555817622962330390857172179034438611855015476971835529744961941195140154453398386259512726685324810745241470078883385181079327102015930150259482238348265450276591068312370684726771658601997226295813523537416677753668004273550863896420538932060600724323167412007003456955452786835675223205026942926691745772950064017495388652931131673693412186231144448000 + (21636804492490173368870536482506916895096166826095510514182367716800876385013089003629931772253451525370216856740688174457323848546286288064326738400428268856707163353881469924906042075801234645174428347123315222889968256101937534877081019507881070479564378733235648641006195145106489311785460841942337761943666056903197225026887234560872197417521878594498593880825611552375129572848823724098337895925363036242521103307554318676033536304861298834525545347934833825718392269060422046163317885175071353063452099561863267316741314897511366463895564953272263878247146021149492899656882433622126192098566722638255721479287818922325537399194177038556619363462736253272491910306801711711011755556598315338589900825171645885573180725280010270004154898411411693566582440836663870865067729844025555152937664357799289552483411808159446012536760769528948537457782516932723130361226988600392506442878270099177696126728987509598821039404777867960642373403743012227050390157520147099923529228326198814570925881026917281812339541058685431315537797617810993686985516965480966938048722604382072810823880251248168488033498490856258117184133149211091930994391*α)/25051692213725682915790656184436707300940969039125401700821119721629693876968321544161817274118865622216817703776436531050867636573093046821796618160226660157909568703269758246736844353396516671399658435902905189436084329967633806832053645921746866272091417090773166565451962369292197169454183954610450705930569905632064361100709414711054159395051709643736829809179118955108651087888569838648501336481796526438498857502669997281450987155922390650697989122914014390720914317777563591767053391999494829335148154644040455640202236121429253982624739355839538063874936335572312410498132574023766063238829272042002433263182393650744235742756921669509988482504057403376684467507403166446787044637648085229278956332769057623264465176165054325109331118516514308400553841241554664654885396296891069477202870291298857146522379304826481876934621479441218120242649392519306674798282439090835665601343155183759860423147634915887751991268782435279793533181284573883539046335590846457325249653286976690442177084719208500534193857987052567366507575090540395926500875432119431598354459402900628367865836468221618758002186923581616391459211676523278893056000
c1,117570331659995361877649692500743009554096952380500514998519328324858187960701749419444198716943568606769929969749545780506175216582690438999270292801524780832767535713472817720818227246883395211576524283567358601740996984744255579050960962173052897435590804258788256255707366495614824648312809274847769216362106307199311565609479932807183736337570872144374914579612799909741440443499219437741231171824033822600468904360144705761456170112192465943300668694361290390447025213903213117198292755824602987473343837487773668630012760355975399503434105600337237592571991095767082296650024208828537651199045223869750533376453396759929900913995282963871253492324833877485913997629057414643427882487925808124180026790769033628084969411516906514870020940724288793582240261799721233940222457762148518114344068342044382002516194282193082894676196409216088848941400443287213122110490012725066034057704963209893258735537845288828152230275749747169246394409911432078270875519442079273767224517267232181933240464770587382524038754124928592499116905607472934249693707070441705511810830097170334856332736233614870787331832575383953199642430372516487681953984861/3206616603356887413221203991607898534520444037008051417705103324368600816251945157652712611087214799643752666083383875974511057481355909993189967124509012500212424794018529055582316077234754133939156279795571864247818794235857127274502866677983598882827701387618965320377851183269401237690135546190137690359112947920904238220890805083014932402566618834398314215574927226253907339249736939347008171069669955384127853760341759652025726355958066003289342607732993842012277032675528139746182834175935338154898963794437178321945886223542944509775966637547460872175991850953255988543760969475042056094570146821376311457687346387295262175072885973697278525760519347632215611840947605305188741713618954909347706410594439375777851542549126953613994383170113831475270891678918997075825330726002056893081967397286253714754864551017789680247631549368475919391059122242471254374180152203626965196971923863521262134162897269233632254882404151715813572247204425457092997930955628346537631955620733016376598666844058688068376813822342728622912969611589170678592112055311287244589370803571280431086827067932367201024279926218446898106779094594979698311168000 + (116567023229780684652973661744625710828057236969505068934082245852522380719929036458502246211560600232530953246553142227617914650073761042951630731966770158866654894164350653743198290383631209797116366081846016305641910659346760134650281956998953211085703388531470604349894605237226764991193094189296330252777785474197778716881110699069271183771957770245301956847206613066077525427426626714398684278873087124488703901031840044687331815261964261547807196129041461588041462614982536012898103923213645333473865785897797467706705602584321262443386763758447597491775229559146554776960928324179866117428570416887935574866918626090986161079493758561930545192770570364451768550040514164282524901553077584062906372906983537359258230678708780745788661120935093147449452814013783672115754724138989395122745243712997418892793398540727093251766563598728900521324268403454588181836227393950525870744103021329950184679097726739154676674182921340184747055653127537962904584107955140900754926798942457800872178924224044302003442131915093344665197035251410005486793633781406572151792242429582990016410278534424368374133346252415112545382865451142233569341153*α)/400827075419610926652650498950987316815055504626006427213137915546075102031493144706589076385901849955469083260422984496813882185169488749148745890563626562526553099252316131947789509654344266742394534974446483030977349279482140909312858334747949860353462673452370665047231397908675154711266943273767211294889118490113029777611350635376866550320827354299789276946865903281738417406217117418376021383708744423015981720042719956503215794494758250411167825966624230251534629084441017468272854271991917269362370474304647290243235777942868063721995829693432609021998981369156998567970121184380257011821268352672038932210918298411907771884110746712159815720064918454026951480118450663148592714202369363668463301324304921972231442818640869201749297896264228934408861459864874634478166340750257111635245924660781714344358068877223710030953943671059489923882390280308906796772519025453370649621490482940157766770362158654204031860300518964476696530900553182136624741369453543317203994452591627047074833355507336008547101727792841077864121201448646334824014006913910905573671350446410053885853383491545900128034990777305862263347386824372462288896000
c1,12-5294616444571959119156951057993525214160792608893151927063225498541855434393248379813920838483449744423079780270552912216214681468938456267560251447051304092825352259361763544062572914085858028219805459352300786735644001721712116118107219421909367023230876767785648537084783396445819673782444090334343775643860926406557859203209333987715920136142021395120590314963764281654237731471016354377129449155347367640297791557755990206797159236887343177074840118800112442547924244688229807446539000401331758189236724628537300173814157659939234277493062229352336849276367213106861765518137164755557934076172452495592378376535697962875512803018266734735773926428010792138203226312274536277028748888571069459456298116374126294198862190232577215308466352849280941121708841196402921125731352940262445066531830997312000299287483668864036454048701481583913611978885657947580090338139389686795645288383790704916948754517905905066256178548427674050669613921252549418096256333173418037652446606540952572150745359210213401100142726518539161038634406004849630985035781158253507812329452214811956181315460627272407729108869512403963296296336330865906346990794283/102611731307420397223078527731452753104654209184257645366563306379795226120062245044886803554790873588600085314668284031184353839403389119782078947984288400006797593408592929778634114471512132286053000953458299655930201415547428072784091733695475164250486444403806890252091237864620839606084337478084406091491614333468935623068505762656477836882131802700746054898397671240125034855991582059104261474229438572292091320330936308864823243390658112105258963447455802944392865045616900471877850693629930820956766841421989706302268359153374224312830932401518747909631739230504191633400351023201345795026244698284041966645995084393448389602332351158312912824336619124230899578910323369766039734835806557099126605139022060024891249361572062515647820261443642607208668533725407906426410583232065820578622956713160118872155665632569269767924209579791229420513891911759080139973764870516062886303101563632680388293212712615476232156236932854906034311910541614626975933790580107089204222579863456524051157339009878018188058042314967315933215027570853461714947585769961191826859865714280973794778466173835750432776957638990300739416931027039350345957376000 - (22847485695682660797082952767476067662450635473446843099873909995639135665774707024819236517957363740084620673423026702217828708330064151013374174258245506864166620600282358474194904186230612053418803835299177374830999988064010303846811632706771282044219756339173470973586891075665698975306026518185881953909651927423113949160598667978231380927928243504228829527472134576083277611885697458232961039089334789150444914963050024126319765781936493546157726838078450731959408325413670125469139944536627085435193465055282349065735865246982201993075829133710789663906752337774185356444429613100798865678734944981277954733406360872458862112859045761805081214880354269903451635777480369320637443150794683333163316294564052712519821996092206520754539891505387154546055628031868888808474121765985765973364707683849818939848855410207632890316017357054851453704984087125034675435556222303383827507157919300705091252461567950645543354447797742317024816888684259611457457480808370957914520275779191629535503463696523894902003945143759015464781182277628047167152569929770814262389506283424660216992232139388607964730257804517210346779417141076980753918279*α)/12826466413427549652884815966431594138081776148032205670820413297474403265007780630610850444348859198575010664333535503898044229925423639972759868498036050000849699176074116222329264308939016535756625119182287456991275176943428509098011466711934395531310805550475861281511404733077604950760542184760550761436451791683616952883563220332059729610266475337593256862299708905015629356998947757388032684278679821536511415041367038608102905423832264013157370430931975368049108130702112558984731336703741352619595855177748713287783544894171778039103866550189843488703967403813023954175043877900168224378280587285505245830749385549181048700291543894789114103042077390528862447363790421220754966854475819637390825642377757503111406170196507814455977532680455325901083566715675988303301322904008227572327869589145014859019458204071158720990526197473903677564236488969885017496720608814507860787887695454085048536651589076934529019529616606863254288988817701828371991723822513386150527822482932065506394667376234752273507255289370914491651878446356682714368448221245148978357483214285121724347308271729468804097119704873787592427116378379918793244672000
c1,13-25213462157353684237231232721793799292422665092136998598234145612295279987371906550044798437274736644884829986477824296138953880564540808577027015015352416069289279158824592108364284273837485215834037773373597838386540364640265969274009869248920293217078339721843169219434822782285356804549863536204681247596300968437986496055019187971192508743524553304212632708196125081281322904336224158666956367056109274601893780471535874832393422117244976023317568876144476192492054501504179962934629990517045206582951955409494256633005568708562075077246473083433228973139233555718746262052179073431756435229801883662986452476520064198018944229039713771388219578799775149676006546611997067676349487561122437768284692939600330092268078709871378696376131998134405318660709874378958431349890234652496169590817265369478998416899665802521009176628910843643545007333252952485773170531043221610586483510094246330782470243914139858312168724816306553543882382921052507979642927425384474252898411554854133132365449697350045360046404842476524535834665374913562761759819033352008128773595699823298539680384244471422649620715921306832390324681331907466864251478619/14658818758202913889011218247350393300664887026322520766651900911399318017151749292126686222112981941228583616381183433026336262771912731397439849712041200000971084772656132825519159210216018898007571564779757093704314487935346867540584533385067880607212349200543841464584462552088691372297762496869200870213087761924133660438357966093782548126018828957249436414056810177160719265141654579872037353461348367470298760047276615552117606198665444586465566206779400420627552149373842924553978670518561545850966691631712815186038337021910603473261561771645535415661677032929170233342907289028763685003749242612005995235142154913349769943190335879758987546333802732032985654130046195680862819262258079585589515019860294289270178480224580359378260037349091801029809790532201129489487226176009402939803279530451445553165095090367038538274887082827318488644841701679868591424823552930866126614728794804668626899030387516496604593748133264986576330272934516375282276255797158155600603225694779503435879619858554002598294006044995330847602146795836208816421083681423027403837123673468710542111209453405107204682422519855757248488133003862764335136768000 - (406358581521955256116072723808833615959130325150532368756159333173985447161796005290408994835754447511309716566587580592382380804294129883418082050457160561909051652637066903879411713688040797022752756322678513810277929675989785704874476154968349669213584848294011741682564269249626265723809175717939018963246276705927437343175961711013522363539573013639135044620957685277140315250729545728297985785563004671864683312712569820860464608717576913486291945944580493247386089959696933729693753088653563616262370440808948199529135108259209749506782763821750827235488150896621444599415479314341913386212571045363288093727275050385142810228809545024043496539679368100938505830169665113768190166904288450766202011236406657925692804497692747939399976133611977780196870656753618550253592896681137479328418402174861815763133441376569083356363073854351349376775971963154240988460193329572906553209076503401706601396921798048127214102519947495384543806778647862668768407524483520022924586468061241825580469276117092683226827837790672462186787076439695639731688688091202776073575628153549824868817294436266323220911716731642751888607974369144057747767*α)/1832352344775364236126402280918799162583110878290315095831487613924914752143968661515835777764122742653572952047647929128292032846489091424679981214005150000121385596582016603189894901277002362250946445597469636713039310991918358442573066673133485075901543650067980183073057819011086421537220312108650108776635970240516707554794745761722818515752353619656179551757101272145089908142706822484004669182668545933787345005909576944014700774833180573308195775847425052578444018671730365569247333814820193231370836453964101898254792127738825434157695221455691926957709629116146279167863411128595460625468655326500749404392769364168721242898791984969873443291725341504123206766255774460107852407782259948198689377482536786158772310028072544922282504668636475128726223816525141186185903272001175367475409941306430694145636886295879817284360885353414811080605212709983573928102944116358265826841099350583578362378798439562075574218516658123322041284116814546910284531974644769450075403211847437929484952482319250324786750755624416355950268349479526102052635460177878425479640459183588817763901181675638400585302814981969656061016625482845541892096000
c1,1413323114126018287392275320799148170283625226805941586010078502015002805117242589100682028463734678431625725090051953744771945845661317874185886450065226639827020629626251138477328885094335836290680365521831234437099941998533451350345206765696613349691801008623518003411936502437193309186553585784209861782395321338016428492641772176689480620616174061251876795518072829940577917950976116305125744301135390816483944732646311024348161168766534948118173883095924970035746007325241780582477970835910949176152392698735147404454838311107488970478417568100105622992993972025710265789187958919813108023093435005061259154657702614476913399345162544432604339881605795248742606446342989379623803607696595582429192877822910110718215056616893900765299129230195530357536378976983474937031621996116295367003378137581178299666183383726803103671101259694325279525620720342778864930905613637436638505535354946711022505862066494277998200397387653296759110028786556517054932458171661287158801065756050743024654622683492574496743955145364653269822474846025607122762924376475486641996101471576924684936834028898967424850665838215320328736840468789097439782376224461/420297651435193947025729649588030476716663640818719315421443302931641246187774955703856347360423418218905949448881291391731113326196281834627395370943645286427842942601596640373285332875313693843673091905365195390690104998082265386123639741216666272769992476277993022472565710293486959026521446310233727350749652309888760312088599603840933219869211863862255840863836861399552142770141520114091054998443780392108406048075515121110316004928135627183140714280778968860233175226846824332811676441108196642638916982464469837014091199092220822785355499116620791437851603888145168930407837791032712376427498284171435895381995865675564603811153310344449690928482791932849764675216684522561698753887463657878022574649434357861954557384999168064093471790873160119126706314139270784722577748918541601090039630697103846900349606431003728969417562438824875706424901270565192253332540909633793582297504004639458870448999270872990646911946476973695116541585578453512093424806216118637380495687120717922513540460584460362498285741322106126062448752930215779184425311313761041722818009965694868663412597448031233772654418489304271828651749486753179017041412096000 + (82963380734551512442044874001691356378342159639506568945004584715097024835942453680568197877014047146634413342667629899996157547293257769029482826267932889910619052755130473900524411503836666217065024461858389820882095578434631148428410663713011132992346462759952137503585161964609680318866106764350818048847728702449921844497783992036880747499475341217605871538923328941823371710540197984424703101493992274190274626361777444067703734966131970279893282553316797857882308710769370271489625328397771333662360885222993424261807867354440634039145204585016256733616359584231248994130618071728875679887742613914912387178261891911591026389745964896577006329029533244216806245644527470880277987847805726460856744153298996252714565777274178626365189862110034636819844748819297588091289803628134797903276445475565066468360866648358799839686558898395008195176400020257501209832930567518820622856034228164219342708325180545829948565457213925042804723685101006377480536229202381707060885663023630367913979423450779801118497205535295226683091609390656769602606417779073463606029064598619302883860293962776801917595070261353149987912721503617718981545233*α)/52537206429399243378216206198503809589582955102339914427680412866455155773471869462982043420052927277363243681110161423966389165774535229328424421367955660803480367825199580046660666609414211730459136488170649423836263124760283173265454967652083284096249059534749127809070713786685869878315180788779215918843706538736095039011074950480116652483651482982781980107979607674944017846267690014261381874805472549013550756009439390138789500616016953397892589285097371107529146903355853041601459555138524580329864622808058729626761399886527602848169437389577598929731450486018146116300979723879089047053437285521429486922749483209445575476394163793056211366060348991606220584402085565320212344235932957234752821831179294732744319673124896008011683973859145014890838289267408848090322218614817700136254953837137980862543700803875466121177195304853109463303112658820649031666567613704224197787188000579932358806124908859123830863993309621711889567698197306689011678100777014829672561960890089740314192557573057545312285717665263265757806094116276972398053163914220130215352251245711858582926574681003904221581802311163033978581468685844147377130176512000
c1,155256510874836963296301606778765008421384212198150352411066797931308687219704138004116062979144514160729470910258829548630374378594869530240429041402272703741675757360422199277985995707571879573210680735184734077534968255505362585518940176540352162310886370335325426713757825408387976566973524035431735716710076725187656708803266095430735994593486258072419169291717173288533136346996182862164981926197087435070392121960898278925491478851808283457006396129898064059579471597461249290997568668674011702003597587448529214869499906294976958195322279822458163569497928281364305910327154484850836662510288292308787542966919858912820219766872192009046511722186470771400519417757049061741702686286590019465646947585258676627937547348735848692448278692608856792190305558676390020999237781253127604026721140052240335339554863031598543793538795783285357464337506165669841504901518599387850725510608986504893011239337092409365008123156183262425632908212808511819025612181011601879775148420691573426126239418518146754773370227612857560082090135740922471092063032845180581012434226450793949333649741320037205815844407165863442334403209510273773047753223311/6724762422963103152411674393408487627466618253099509046743092846906259939004399291261701557766774691502495191182100662267697813219140509354038325935098324582845487081625546245972565326005019101498769470485843126251041679969316246177978235859466660364319879620447888359561051364695791344424343140963739637611994436958220164993417593661454931517907389821796093453821389782392834284322264321825456879975100486273734496769208241937765056078850170034930251428492463501763730803629549189324986823057731146282222671719431517392225459185475533164565687985865932663005625662210322702886525404656523398022839972546742974326111933850809033660978452965511195054855724670925596234803466952360987180062199418526048361194390949725791272918159986689025495548653970561906027301026228332555561243982696665617440634091153661550405593702896059663510680999021198011302798420329043076053320654554140697316760064074231341927183988333967850350591143631579121864665369255256193494796899457898198087930993931486760216647369351365799972571861153698016999180046883452466950804981020176667565088159451117898614601559168499740362470695828868349258427991788050864272662593536000 + (86593938961697761061847311127074921463084248534805439805855962956881267966566874980695253021484730854816199741051904732180791189530642115325069820906734062049086104879723724099017694464010313257214158502933197503696617399137832466044471193558660659579750212436590910957933440404165931336709114969419741011684446077271536781277852943389484153900786347736437629485971114931285787418419041361300360219411980412083780559669675997592172715716019458319732702291100138859175468901292948562494947882169083487161700231898347049417475688800704232052472957019094724364880693417778660922848680494629279011569895819862521945880576277752458769284994030089039237531085118936086470417807828582255620239257955998354080805010891398555536226247357419996386654168490640953530640377214451486689458943943396585432186693580790889161690362652107762195864366225424023918626550178333036949289345485086835309395009041300075887404297651051530331129396608073675217196822768085780342161828417701030439521880061688193955290836841141604434864841760553245392803998573042839973247040322395546357388209826109345537106464675027431149190904630035824263059371685411222713513083*α)/840595302870387894051459299176060953433327281637438630842886605863282492375549911407712694720846836437811898897762582783462226652392563669254790741887290572855685885203193280746570665750627387687346183810730390781380209996164530772247279482433332545539984952555986044945131420586973918053042892620467454701499304619777520624177199207681866439738423727724511681727673722799104285540283040228182109996887560784216812096151030242220632009856271254366281428561557937720466350453693648665623352882216393285277833964928939674028182398184441645570710998233241582875703207776290337860815675582065424752854996568342871790763991731351129207622306620688899381856965583865699529350433369045123397507774927315756045149298868715723909114769998336128186943581746320238253412628278541569445155497837083202180079261394207693800699212862007457938835124877649751412849802541130384506665081819267587164595008009278917740897998541745981293823892953947390233083171156907024186849612432237274760991374241435845027080921168920724996571482644212252124897505860431558368850622627522083445636019931389737326825194896062467545308836978608543657303498973506358034082824192000
c1,16-672623384790281352541863657343415027186143561311792857700469279964460669623169508600975373865370365141162156877979782476992440749281398335362658363030439385241809914019186721887488243949472634331219046626856464294199265806177961932942327901084359341019087183865840776552382806640741031361647371823200067924310671334677226897965399866815408021571107654820131461037862380607724459604717641651842336704742914192730414599538104343381305912765163963490606356896039267023747290024925847032098519953535130426735143110535576644831688248329691119742538079539517245656593772198525020417447992569264297235537128910292140522123557722814347151318887425738104414152421074124171748308937871175107587224039143333853165211461473878910171462619095504495108391020977753561037368993857935617174723942637942062067447487728594088191692947963452153554111157837406411569593620695365145894228788924160007648551886273825221497503155475312944067497939319573615631178593054359898738239893647466630499527378366849831464162052753442966064631638314899422116929707441792219804712494679551084999805436663446246728824106918530036861694676027872741754723543772443919859625823/53798099383704825219293395147267901019732946024796072373944742775250079512035194330093612462134197532019961529456805298141582505753124074832306607480786596662763896653004369967780522608040152811990155763886745010008333439754529969423825886875733282914559036963583106876488410917566330755394745127709917100895955495665761319947340749291639452143259118574368747630571118259142674274578114574603655039800803890189875974153665935502120448630801360279442011427939708014109846429036393514599894584461849170257781373755452139137803673483804265316525503886927461304045005297682581623092203237252187184182719780373943794608895470806472269287827623724089560438845797367404769878427735618887897440497595348208386889555127597806330183345279893512203964389231764495248218408209826660444489951861573324939525072729229292403244749623168477308085447992169584090422387362632344608426565236433125578534080512593850735417471906671742802804729149052632974917322954042049547958375195663185584703447951451894081733178954810926399780574889229584135993440375067619735606439848161413340520705275608943188916812473347997922899765566630946794067423934304406914181300748288000 - (5289004902799024170396812795805710621428109769543285278819268760749369764797122048536719199845422910787666432252302611115714243201095764052767932061382133064180061884736905221251577872314256148278898633200380552190544578869572123977325064266131916058442239993546862635913763119248549035962011545404155995080168724260740743430899462592958350207565180085176802570152348959870704085027623365068385174085215414319433045443966318501213897135269324562167254627045170106128143049504635734341494947324009995660079486995926714113443705455555864543511383696222722381130655729545676765968493942356551060639008296680344133536575314459069607972547929779416450380503899960406710837726406531038368405669114183968853369460533995990257649699294445767328318905039927238246707745331039031886598147966439752258230132544603132229024147223694281869375878468771011182294389200956707496607056530414081814920566544186797857544377320110621904018231803598300971601051527731860770213555585183212912538528841543237802307362707424338891320334588378811376374264949020810337093927791801096160992099739015810259412856530819822251150308198421562392433712946561262235964299*α)/6724762422963103152411674393408487627466618253099509046743092846906259939004399291261701557766774691502495191182100662267697813219140509354038325935098324582845487081625546245972565326005019101498769470485843126251041679969316246177978235859466660364319879620447888359561051364695791344424343140963739637611994436958220164993417593661454931517907389821796093453821389782392834284322264321825456879975100486273734496769208241937765056078850170034930251428492463501763730803629549189324986823057731146282222671719431517392225459185475533164565687985865932663005625662210322702886525404656523398022839972546742974326111933850809033660978452965511195054855724670925596234803466952360987180062199418526048361194390949725791272918159986689025495548653970561906027301026228332555561243982696665617440634091153661550405593702896059663510680999021198011302798420329043076053320654554140697316760064074231341927183988333967850350591143631579121864665369255256193494796899457898198087930993931486760216647369351365799972571861153698016999180046883452466950804981020176667565088159451117898614601559168499740362470695828868349258427991788050864272662593536000
c1,17-97098284437168294675115466904298718229669477994520810592554439686549606199882742492638458366137807972292347147793627298864083944404280806176239072292478822550566742214611301442384510926673122966300486021330246289553686140171131415069663860543767996997493429200904655944602855815689495813128917487843369849514470566627351962727518177079099964127813615015339998715323147941734625336800534231920069688814736207228191483205673263217945267348706130370279742900608255607918207164667987058170795425675327722167623958482885179588836540624786352212875448132479798591436924006250984315158928057714713869346978517316183009404808853543066905009003800211016372672598636517555468853235277721428991170539293633265105867613005229123658575094785903443208101981810817618445094064052841560668481941874666404818499668748617376790546448361719499288932187112298265948194848749192633302783327668872962351813243742625517985484456992558251395696096341968358999839951318435158439414179442765401900185411154766508081214917833247935328524277230212708032007161130248000604743712691283583568774018323587220780120060653261714952282444800505635777849387016021149163277223/430384795069638601754347161178143208157863568198368578991557942202000636096281554640748899697073580256159692235654442385132660046024992598658452859846292773302111173224034959742244180864321222495921246111093960080066667518036239755390607095005866263316472295708664855011907287340530646043157961021679336807167643965326090559578725994333115617146072948594949981044568946073141394196624916596829240318406431121519007793229327484016963589046410882235536091423517664112878771432291148116799156675694793362062250990043617113102429387870434122532204031095419690432360042381460652984737625898017497473461758242991550356871163766451778154302620989792716483510766378939238159027421884951103179523980762785667095116441020782450641466762239148097631715113854115961985747265678613283555919614892586599516200581833834339225957996985347818464683583937356672723379098901058756867412521891465004628272644100750805883339775253373942422437833192421063799338583632336396383667001565305484677627583611615152653865431638487411198244599113836673087947523000540957884851518785291306724165642204871545511334499786783983383198124533047574352539391474435255313450405986304000 - (1615900750990155968756318248792650940805474441967597655398582400452893146682858907569959183885309191475001690752863728856595282788239691709895970793310042045690684063872674320615810824546284894420027588910832911193648584985423279517101341675114261783711948914534307026425726310843322949085164508774773529557434303701778225805690836874588354945151389799280017332629891125192759413511908423722572265989436077654916589018779550649561538837568659986060753189967618146276618284628627185802214062773447859470750009684625979310524131305501740233143519814631651968234841409344361948882841704424307277975251815867313212202272591415016084107019724306574647056397312989517723851003387385935158649821350306869698366299302828881344200752854048867835250894761856409286714909325218620449500371964855923684821457786736246790421745441007799983528219428384625093483795413914716894919968202079632380526064264941599094406433670962299895910205739150740750988138302105746690863156916033459554403086160670842011852054647580867430440525618513789737392861048599567497245637805294833869165288986491969490286244937810106715519881268951803262238654836102327431966579*α)/53798099383704825219293395147267901019732946024796072373944742775250079512035194330093612462134197532019961529456805298141582505753124074832306607480786596662763896653004369967780522608040152811990155763886745010008333439754529969423825886875733282914559036963583106876488410917566330755394745127709917100895955495665761319947340749291639452143259118574368747630571118259142674274578114574603655039800803890189875974153665935502120448630801360279442011427939708014109846429036393514599894584461849170257781373755452139137803673483804265316525503886927461304045005297682581623092203237252187184182719780373943794608895470806472269287827623724089560438845797367404769878427735618887897440497595348208386889555127597806330183345279893512203964389231764495248218408209826660444489951861573324939525072729229292403244749623168477308085447992169584090422387362632344608426565236433125578534080512593850735417471906671742802804729149052632974917322954042049547958375195663185584703447951451894081733178954810926399780574889229584135993440375067619735606439848161413340520705275608943188916812473347997922899765566630946794067423934304406914181300748288000
c1,1811076225392944657335103621850283435675870284579248053811671977071771716516837132599495139138510964405332848635491450355917828685283281178226303901015451623419553864193854989709115692785552067090429630696497438685508673413810284951443034421957685432291545749570770984185929503967227194055056450339380615312532839564117880879624542240078528987517799750110863855288967426631421216958099018717818587340644463284216793279426436481833085893532776314622622300378111136497936858844373666547529524703848998074045873660744557858813205839867699511313117210179440032696931441240395667287584477967795230623061106686974803107072398013819722383560437761986821049732318590543536293176315167484147001819020942681710794427242830133047020494833468575301341852640291749250890386871051241713212888639655433477668534736850954854495828126308588278734625903994486538272956492282741436409272436371030915646118210379622333346524256876868565569766261681654126473205197214384837676808260340242228225208075964214219986893720657230933694270755778979293505253328040751923058354542550089075671874435417166876063714515765163161055755034322020812176848143185051647881508281/3443078360557108814034777289425145665262908545586948631932463537616005088770252437125991197576588642049277537885235539081061280368199940789267622878770342186416889385792279677937953446914569779967369968888751680640533340144289918043124856760046930106531778365669318840095258298724245168345263688173434694457341151722608724476629807954664924937168583588759599848356551568585131153572999332774633922547251448972152062345834619872135708712371287057884288731388141312903030171458329184934393253405558346896498007920348936904819435102963472980257632248763357523458880339051685223877901007184139979787694065943932402854969310131614225234420967918341731868086131031513905272219375079608825436191846102285336760931528166259605131734097913184781053720910832927695885978125428906268447356919140692796129604654670674713807663975882782547717468671498853381787032791208470054939300175131720037026181152806006447066718202026991539379502665539368510394708669058691171069336012522443877421020668892921221230923453107899289585956792910693384703580184004327663078812150282330453793325137638972364090675998294271867065584996264380594820315131795482042507603247890432000 + (102783641091845521989498859300799026397806791518352845180405715954557928652787718069614348475687803379576369470610596852876817764951690925517507345887399942055545107621883357198121448452956870946851509872996748805554866278762158132823242937030984321120985699323589386504308547779482033535806989313479891944961765698923364847358580372114608849418152081901850795074296317017473165126277320101937532388930908218551477797091768736828597443177058671183975553235344796399361844597162267838285028989463248160855627395762609512467993460022347741683277878261246275337166082789235016016252699327311818241754054780275836455825507704190279286486786218265182924525261957470680231083081951162409664776277526271487457841441593520968064629246678401986628071758544088062177124467977142746698243069855932624066360563018220664859619485691917092883761155713591691581603769628944795010288836324274984314930951213970405579085848466491046017909543007713350763215269467182461977176732628330235961924280385185671284665009842739835881067470675382017890413327064438402473018193044970053100188546501799543322776936109536904746080129463664412470967311008374849348973*α)/430384795069638601754347161178143208157863568198368578991557942202000636096281554640748899697073580256159692235654442385132660046024992598658452859846292773302111173224034959742244180864321222495921246111093960080066667518036239755390607095005866263316472295708664855011907287340530646043157961021679336807167643965326090559578725994333115617146072948594949981044568946073141394196624916596829240318406431121519007793229327484016963589046410882235536091423517664112878771432291148116799156675694793362062250990043617113102429387870434122532204031095419690432360042381460652984737625898017497473461758242991550356871163766451778154302620989792716483510766378939238159027421884951103179523980762785667095116441020782450641466762239148097631715113854115961985747265678613283555919614892586599516200581833834339225957996985347818464683583937356672723379098901058756867412521891465004628272644100750805883339775253373942422437833192421063799338583632336396383667001565305484677627583611615152653865431638487411198244599113836673087947523000540957884851518785291306724165642204871545511334499786783983383198124533047574352539391474435255313450405986304000
c1,19113156174418194325283248903712715805880180814370181396201030608835437522858298094102549539286447046461076810370566493121879792723009501155102402825989070066503179613109034060470576773792736901788260594664566231239915619628161575144728195280879575931556610846692300757511436412683298677149890998110986203945818168038743125058625223975266185472118808219130514172445749069554591455913773096737972239981985141363407120340320012928009689426701116125784262810583222301823794833867454998294740379212961315414918564990687154724923690101611282740449661084487425188636675338778471053641270579818546148205164365022391417308370257612243784438392506096208671020460893296009643487969323435188599102925160465477310655944776664882411424935948721338064735143677498442244436084537939713985204957868661017467125483293890444649316585427249037546898335297870720230778717501844147976652789855548455571039026696318080834596017687719678436436786272016220990309868111351579460032012358926703014841636274233929384966340351149472876540329554028309828441433964807163490824094421455186131703152665400072032228502888631649388394683290783507319215861366191405716922671/2754462688445687051227821831540116532210326836469558905545970830092804071016201949700792958061270913639422030308188431264849024294559952631414098303016273749133511508633823742350362757531655823973895975111001344512426672115431934434499885408037544085225422692535455072076206638979396134676210950538747755565872921378086979581303846363731939949734866871007679878685241254868104922858399466219707138037801159177721649876667695897708566969897029646307430985110513050322424137166663347947514602724446677517198406336279149523855548082370778384206105799010686018767104271241348179102320805747311983830155252755145922283975448105291380187536774334673385494468904825211124217775500063687060348953476881828269408745222533007684105387278330547824842976728666342156708782500343125014757885535312554236903683723736539771046131180706226038173974937199082705429626232966776043951440140105376029620944922244805157653374561621593231503602132431494808315766935246952936855468810017955101936816535114336976984738762486319431668765434328554707762864147203462130463049720225864363034660110111177891272540798635417493652467997011504475856252105436385634006082598312345600 + (1891647133852870753051897328636016405405961745323931902059894493436755288579326783787874515103569587670970418002988007660699616175381314644820725615718998765541960658674215210437806524412692903636341996278470636936541627010478653117454828492278816450497787642346877937555057532498557430031239866795608462060866208055994993798430883317382939098498901519382367748902773311525350178683394294744495762780980058310568641099403554909252673007627044403020309368489660486800453595596613036819877502759292945413723932004033637030392171359486137291885788196341204258492829426756993343311009841059104702592116925118290779266395020088503422368478796808815189482699066849345928254635810330444429016568161870502972447948413674404517163588691053582268129028932591851864658784583987296297446227858450373602020859364903995562777498490310835640115642142955922989739748414326740164086959327869419838569573017131719455835316815301414590191856943400740851595615541676779799214713137870186003101612505022184658479510769863531097137432746388503678645367891231545952290691326122497638101406491191506700234364478082949801567831877482817116208189442255384481179*α)/344307836055710881403477728942514566526290854558694863193246353761600508877025243712599119757658864204927753788523553908106128036819994078926762287877034218641688938579227967793795344691456977996736996888875168064053334014428991804312485676004693010653177836566931884009525829872424516834526368817343469445734115172260872447662980795466492493716858358875959984835655156858513115357299933277463392254725144897215206234583461987213570871237128705788428873138814131290303017145832918493439325340555834689649800792034893690481943510296347298025763224876335752345888033905168522387790100718413997978769406594393240285496931013161422523442096791834173186808613103151390527221937507960882543619184610228533676093152816625960513173409791318478105372091083292769588597812542890626844735691914069279612960465467067471380766397588278254771746867149885338178703279120847005493930017513172003702618115280600644706671820202699153937950266553936851039470866905869117106933601252244387742102066889292122123092345310789928958595679291069338470358018400432766307881215028233045379332513763897236409067599829427186706558499626438059482031513179548204250760324789043200
c1,20-1203787782239790791757324942389546087951754965356127231265925723895321761286670047492751034391704592680986042147765687767760639814410187797318421130385459078642187228709489923938267385889039529082580062786174261652886683614640926629238429076023235236511986690798986260537276993311593869245988256831457929311066736841127085369276315156121209442077686630523528570390794131390260131337957331763291481444765470400329421188581340015719757770629441210656199091748729101991545447369566755442270568874539897727326957311222191881988714518307760417914844298672966500298802335017366444915254897953063053954764828848330840469008204158206068919607048931391923404962171919923099421995456752228771058589049932016088767776708304006935500275669974537247387626907476561917818429192014137292775193843830016348000866660820980070082379547584298612015813042205492573380939406119998328845289122245330522180606967332825856650347074778519081065335394435035675779222962638725103362633137340524345202392243678228563596331915518439637981393933062463207185171604007932018147166321362637972512999402473474191650258936595355706596901315467137145484466844791317601331/2248540970159744531614548433910299209967613744056782780037527208239023731441797509959830986172466051950548596169949739808040019832293838882787019022870427550313070619292917340694173679617678223652159979682450077153001364992189334232244804414724525783857487912273840875164250317534200926266294653501018575972141160308642432311268446011209746897742748466128718268314482657035187692129305686709965010643102987083854408062585874202211075077466962976577494681722867796181570724217684365671440492019956471442610943947982979203147386189690431334045800652253621239809881037748039329879445555712091415371555308371547691660388120902278677704111652518100722852627677408335611606347346990764947223635491332104709721424671455516476820724308841263530484062635645993597313291837014795930414600436989840193390762223458399813098882596494878398509367295672720575860919373850429423633828685800306962955873405914126659308877193160484270615185414229791680257768926732206479065688824504453144438217579685173042436521438764342393198992191288616087969685018125275208541265077735399480028293967437696237773502692763606117267320813886942429270409881988886231841700080254976000 - (88529205076833967981662105272607013091773713344133679322884981544716098006683787123997829581517500360726680542190417749539430484306106482901247635511506966358365031923103066075885786152099861027666077339666348736309523971740458440205961748495022217135444028686096293697531761515887938300247698422210117919486808594999958575038331726986409983222795681509153830362242197064834428936872927266963310288922530920598645271191394152951928725096813962244236846443524022943887909688401343430896090905204617130976734692564093610098815739823037450630487155607558416320341197214379949006186605620063203476986954580057427225250304020948948139226689895606355134664643959363439907719274063407071712036857679055122492109179848433788040216641680472145847893611204416533467696029931691947558069303123274052263465824630274366141657712932064578420550920225494889905174821566671696339706024909512879323140461650574578697937905227243948336879541424155480295101057825581691437803670261853201888449891616769999684095883143348463481639803495855706909666579309148124760681439493259076927876530540772615201416319009905497060066823488264340669556464794783894921*α)/1967473348889776465162729879671511808721662026049684932532836307209145765011572821214852112900907795456730021648706022332035017353257109022438641645011624106523936791881302673107401969665468445695639982222143817508876194368165667453214203862883960060875301923239610765768719027842425810483007821813391253975623515270062128272359890259808528535524904907862628484775172324905789230613142475871219384312715113698372607054762639926934690692783592604505307846507509321658874383690473819962510430517461912512284575954485106802753962915979127417290075570721918584833645908029534413644514861248079988450110894825104230202839605789493842991097695953338132496049217732293660155553928616919328820681054915591621006246587523576917218133770236105589173554806190244397649130357387946439112775382366110169216916945526099836461522271933018598695696383713630503878304452119125745679600100075268592586389230174860826895267544015423736788287237451067720225547810890680669182477721441396501383440382224526412131956258918799594049118167377539076973474390859615807473606943018474545024757221507984208051814856168155352608905712151074625611608646740275452861487570223104000
c1,21-3999427343525949138292817599822472287313932730334087439172732168822524218467362364741293985960628201128534828070671744855769089891048219281334461945771289289877052792658083964363145248205592905682213514745325144154340692344808233117121750620662233240334953525686056174431769036107597307864068105082421101939066288336312020214302597063063404360347937941315931627228725566887575042066950541147510156895468093922183836824310375288780319020967506389254216857607702253256375426239423092372385132140063012733365911599865773924795952195296951771894311474305579632056598861489671346847154814615915116193501816181902081000093091887138105259899445977387877267381672146933179941907945804123542076921920192008897872530248289997911563781965009847103719349172412764496627293458393495363296402685556804754952167629599243381780768656242441329768055806033052805288453353377353164136191027030575673003622569769823310823283806752535770886422375071579832253049481810862441454504265763902471864165763634592436855860691795100832821428306771743874595664005027368979567606018812660242597653624536919766985136854762672998466954503276954653848474598401599381143/881428060302619856392902986092837290307304587670258849774710665629697302725184623904253746579606692364615049698620298004751687774259184842052511456965207599722723682762823597552116082410129863671646712035520430243976535076938219019039963330572014107272135261611345623064386124473406763096387504172399281781079334840987833466017230836394220783915157398722457561179277201557793575314687829190306284172096370936870927960533662687266741430367049486818377915235364176103175723893332271343204672871822936805503490027609327847633775386358649082945953855683419526005473366797231417312742657839139834825649680881646695130872143393693241660011767787095483358230049544067559749688160020379859311665112602185046210798471210562458913723929065775303949752553173229490146810400109800004722523371300017355809178791595692726734761977825992332215671979903706465737480394549368334064460844833720329478702375118337650449079859718909834081152682378078338661045419279024939793750019205745632619781291236587832635116403995622218134004938985137506484116527105107881748175910472276596171091235235576925207213055563333597968789759043681432274000673739643402881946431459950592000 - (66983394945323539443922375725972759817532488297411290945930473175208249076016410379062872749631315571118659643177599883693732907320725730641158744423901026263702561483385186325254854211621519442032116548391450018518834054263849420886935354933527713582788765525181267680696678912432617252939018188187889006544811185421933298721304615213537280243803822724485173343422575936245848506840590230548909867021687559023362360035721211489654414358423750538101407967083017083907739443627311521223437888213150567393267768789409085324094590674872954718373818838838003494654141249489919152067591571161483352874661582936169370074732000383808331405516540916951217659286361078469484273421119233666304864632876383802035765612835384395666369715838114549186490063303204996379382288507052884300714472459140340052880806579366818399390321554789927697795799479479046756933744812206548982912448139374045555490332992193408055291779162017319016640719171013510125124513747440142047104563266499195759133356002807892905679408154296156068780239177479844931970009022819829071150805314507040635208757132118564363790245688398809106090824258417757287198910637153896739*α)/110178507537827482049112873261604661288413073458782356221838833203712162840648077988031718322450836545576881212327537250593960971782398105256563932120650949965340460345352949694014510301266232958955839004440053780497066884617277377379995416321501763409016907701418202883048265559175845387048438021549910222634916855123479183252153854549277597989394674840307195147409650194724196914335978648788285521512046367108865995066707835908342678795881185852297239404420522012896965486666533917900584108977867100687936253451165980954221923294831135368244231960427440750684170849653927164092832229892479353206210110205836891359017924211655207501470973386935419778756193008444968711020002547482413958139075273130776349808901320307364215491133221912993719069146653686268351300013725000590315421412502169476147348949461590841845247228249041526958997487963308217185049318671041758057605604215041184837796889792206306134982464863729260144085297259792332630677409878117474218752400718204077472661404573479079389550499452777266750617373142188310514565888138485218521988809034574521386404404447115650901631945416699746098719880460179034250084217455425360243303932493824000
c1,2238950173741748450696129743225886960627286307166550237047335115615378660487101485390604394141581074305521119263235404085014334631458593002887626223251861693518565976614248296859691195831962800368929277010530753442103241521962596727356011340498992395287213316953559353548449495594736391060359721979148118151669408142974491493692943887056549910174557003484981097466328182922295511376977670061093566046233046184589105092198005494943512098666462215527161487511297155485711988336309241355132809249381098468879933687795965024129847377058475158636649661459789130947501056941495762544972239606427369808952911779451099167278450002317437369533023758493473136139636153764058778179400127781783533488992216826402214063668217568766120868764222049982761533951218080559092929499941887108155245268373231181285390090359444979167857413343656581221049995409762260375699896615058879549127834511692292001242772080549881006249926952419394350626691167103753825489478779615089023391365712972908883497611468103893574389249525883810488236788892232968734011096222351137714546254582723917499529987889300073460962737104093213023318723658173996280461505553528055647/705142448242095885114322388874269832245843670136207079819768532503757842180147699123402997263685353891692039758896238403801350219407347873642009165572166079778178946210258878041692865928103890937317369628416344195181228061550575215231970664457611285817708209289076498451508899578725410477110003337919425424863467872790266772813784669115376627132125918977966048943421761246234860251750263352245027337677096749496742368426930149813393144293639589454702332188291340882540579114665817074563738297458349444402792022087462278107020309086919266356763084546735620804378693437785133850194126271311867860519744705317356104697714714954593328009414229676386686584039635254047799750528016303887449332090081748036968638776968449967130979143252620243159802042538583592117448320087840003778018697040013884647343033276554181387809582260793865772537583922965172589984315639494667251568675866976263582961900094670120359263887775127867264922145902462670928836335423219951835000015364596506095825032989270266108093123196497774507203951188110005187293221684086305398540728377821276936872988188461540165770444450666878375031807234945145819200538991714722305557145167960473600 + (450023470903890520566431470406701946749218457858076912190270380823983669541456718762749424727077322017724133346458864306190556889802764233140414217931992578874101689728894865958265353026937434881524859022700922161023942410127667185452261078100843333969352597583477111501210417313740100168117542673004014275220767551489075795351857360377770160407815271150982950537805403254966233728115591959379071232652597288721224650322756148293777416484280915126417406722319243518359886508828453692351316304172862275669824972205054735299743318226190199174679761140918172529478245164024887684610481727502469219285127437445457290896302149642538162264481697668046510993548248398908828062081187019062033460039691534598207335188424366449922138980265664222970468535797449556695325475167496280364740363220456035467299818965307175986042828837583480512093882228965504558863925096286321842650934530642701880320598863380471040079334758665350636287145534290468352409940705690079088817392154490969161667104839262294301459758006683348271142664545275710562420672882400239286693909415034409102067206066140545912237549583328009594322006383592486051753751706659723*α)/88142806030261985639290298609283729030730458767025884977471066562969730272518462390425374657960669236461504969862029800475168777425918484205251145696520759972272368276282359755211608241012986367164671203552043024397653507693821901903996333057201410727213526161134562306438612447340676309638750417239928178107933484098783346601723083639422078391515739872245756117927720155779357531468782919030628417209637093687092796053366268726674143036704948681837791523536417610317572389333227134320467287182293680550349002760932784763377538635864908294595385568341952600547336679723141731274265783913983482564968088164669513087214339369324166001176778709548335823004954406755974968816002037985931166511260218504621079847121056245891372392906577530394975255317322949014681040010980000472252337130001735580917879159569272673476197782599233221567197990370646573748039454936833406446084483372032947870237511833765044907985971890983408115268237807833866104541927902493979375001920574563261978129123658783263511640399562221813400493898513750648411652710510788174817591047227659617109123523557692520721305556333359796878975904368143227400067373964340288194643145995059200
c1,2331026641563829393165149401286602160678691475213251838871191170502941462517593063550836104843640930643490216441683108348803848208989414802339212783645035526683560193068665848523663127496638083970315228697073193331197532538682290018301310992804902707576070684300709875410327972818300751180559810133809826877799777749591671110278138635694512254143578001561056728898624214601891412045997459467539148296610322063287716041582919686835406652563505950656016846749217254726505773387823965205520924176062379821862366506116570438277411052063648220199968622559976862826476314450572870948633029895113649303504039917763165897586870666740419610373337996886600383700168061404229736101744642512933599462232358804252272892911438144445247661017496286393369640506995492113190857542850431862048750815113941900284051413336254519783565954157947096016911058190646559117160823282902085344897942252202204881773686218372881732782989890013535665957653994536893279001422672257031845476912218061573817701089428116047102381751526031976452250466270816013120646312439265258543731192487327268033879137956607601420762787064732562741235344305901689048343490252009206699/112822791718735341618291582219883173159334987221793132771162965200601254748823631859744479562189656622670726361423398144608216035105175659782721466491546572764508631393641420486670858548496622549970779140546615071228996489848092034437115306313217805730833313486252239752241423932596065676337600534067108067978154859646442683650205547058460260341140147036474567830947481799397577640280042136359204374028335479919478778948308823970142903086982334312752373150126614541206492658346530731930198127593335911104446723533993964497123249453907082617082093527477699328700590950045621416031060203409898857683159152850776976751634354392734932481506276748221869853446341640647647960084482608621991893134413079685914982204314951994740956662920419238905568326806173374738791731214054400604482991526402221543574885324248669022049533161727018523606013427674427614397490502319146760250988138716202173273904015147219257482222044020458762387543344394027348613813667715192293600002458335440975332005278283242577294899711439643921152632190097600829966915469453808863766516540451404309899678110153846426523271112106700540005089157591223331072086238674355568889143226873675776000 + (519968846319432043439231998945982964128004335437454896073982932267641780567215895776317869318764646309083354948304188464017335749754770834506258066843930991281673804088405622275537059758846760798147903735359041909020491561064529241694821809502371258083564006203773046776721249712663525698888555688068631916905782110126720702869240193714959707379326427701369686252633929103280932968559465213518615035543880245170066506637295370353036316239505626434198089253251842312001049711312297214075635240409656506284943161877714511559387080258158800208541116882588881973593733710831676259664808035807486908504346050513941886553517216893082844011852468119015976950318444809796622076238149523288604373638608148772767874129788423257669101024911480312361786401471152995135163825182489862567948529370224839584275527754445292303489301279527105107764715777684438802686600263223735922487510920384518046214499820345520690609866997191120681275476490042069796264560714139830747714758511399993105363975950719315224561505700533984937510294638396296620808300340152770026218882684673525168545273540155602840171296184290366305777019452989377824439186870637767*α)/14102848964841917702286447777485396644916873402724141596395370650075156843602953982468059945273707077833840795177924768076027004388146957472840183311443321595563578924205177560833857318562077818746347392568326883903624561231011504304639413289152225716354164185781529969030177991574508209542200066758388508497269357455805335456275693382307532542642518379559320978868435224924697205035005267044900546753541934989934847368538602996267862885872791789094046643765826817650811582293316341491274765949166988888055840441749245562140406181738385327135261690934712416087573868755702677003882525426237357210394894106347122093954294299091866560188284593527733731680792705080955995010560326077748986641801634960739372775539368999342619582865052404863196040850771671842348966401756800075560373940800277692946860665531083627756191645215877315450751678459303451799686312789893345031373517339525271659238001893402407185277755502557345298442918049253418576726708464399036700000307291930121916500659785405322161862463929955490144079023762200103745864433681726107970814567556425538737459763769230803315408889013337567500636144698902916384010779834294446111142903359209472000
c1,24-82120072612248715433011617288810528000553423334908436207066567851279519473419266918833835740232870666562579986579193931814605231581765784679379659536921597020674663997569025584561468240545487087130946890761767232320896767898973346280835167426456421778767096737956158030630262810259974598873733460379733475991523704245249981714303464913029686139553653346829310905594530813373816202823501115774306966142578095665375981997159861658519065253490397327507064484465749382483105134002878258341328320576678673877494587092515202110401020855992393681139016867751642779855348463574070930307609012183334463393649462195529098817755366375066413405774012637735870938714101494418121687430911181192067562657823327851115653538191851189506819203197285587736596044062929535679872810177356141819597385979660567205482889130926564472327827803207904983330363219390836778262818907071499460084473189112842266913126980742377175842403719910263286917826851331260694464443061969220655830631134946773247046432115946085510431245975167799995607981701898844435531477589347230520201118152695233039532105443692251638448492409431794057497162462369583421889549605445401/25788066678568078084180933078830439579276568507838430347694392045851715371159687282227309614214778656610451739753919575910449379452611579378907763769496359489030544318546610396953339096799228011421892374982083444852342054822421036442769212871592641309904757368286226229083754041736243583162880122072481844109292539347758327691475553613362345220832033608337044075645138697005160603492581059739246714063619538267309435188184874050318377848453104985771971005743226180847198321907778453012616714878476779681016393950627191885056742732321618883904478520566331275131563645724713466521385189350834024613293520651606166114659281004053698852915720399593570252216306660719462390876453167685026718430722989642494853075271989027369361522953238683178415617555696771368866681420355291566738969491749079209959973788399695776468464722680461376824231640611297740433712114815804973771654431706560496748320917747935830281650752918962002831438478718634822540300266906329667108571990476672222933029777893312589095977076900490039120601643450880189706723535875156311718060923531749556548497853749450611776747682767245837715448950306565332816476854554138415746089880428268748800 - (20826505049189517972668960981405258187926414696686006914166548889049290154746000782186106125922792791464918290644828383434169894020917827641262907664576808714439927090330046526748099506233716285802274427227266989812564320419837187923506428494892962074484270826200164923949824595838343602367344268778532203487827941200577667951895725568027355337095274986870953386948197168140663210374717433858798731004743517419466777046061174479622398029754198007358595873808727171879012048970804566394750041756546786445314229254020056054296674734208729821636605629147693344749643125659594410847889117025142561250453766496135827248982990156915139658296817048717385525473884994896404877793861372311508651396820501686330129477435934267571902663545153175312185756086119389992481771428093240394331855592489419283331549552343428270998989683027368858741699491699839630233704030364119299698156164397840599333849801414118430908657818978309610189547885464452034614316619798097805135578553641937019564280169744479690708126816111327510109088313659742876981299366944479993975684448084818791460597878725835142818063593448296603400637197394575573974809139421*α)/65785884384102240010665645609261325457338184968975587621669367463907437171325732862824769424017292491353193213657958101812370865950539743313540213697694794614873837547312781624880967083671500029137480548423682257276382792914339378680533706305083268647716217776240373033376923575857764242762449291001229194156358518744281448192539677585108023522530697980451643050115149737258062764011686376885833454243927393539054681602512433801832596552176288229010130116691903522569383474254536869930144680812440764492388760078130591543512098806942905316082853368791661416151948075828350679901492829976617409727789593498995321721069594398096170543152347958146862888306904746733322425705237672665884485792660687863507278253244869967778983476921527253006162289682899926961394595460090029506987167070788467372346871909182897388950165108878728002102631736253310562330898252081135137172587835986123716194696218744734260922578451323882660284281833465905159541582313536555273236153036930286282992422902789062727285655808419617446736228682272653545170213101722337529893012560029973358542086361605741356573335925426647545192471812006544216368563404474842897311453776602726400
c1,25-57168755194430375911104387624670855068280072565920064419817901455136935241014138711982452185898788497448698965109721197956998793977454583764144017041874133037809258553290165131262305080021670592537382108113274313315431614153910380753045608340574627795889375631443610405696268704219040299031598382606147158835648339486503633080915063576431077289873782989251273854535869225303442295374607568804451252729089517516742238453378281897728310575998697407796547741393858311494460979629504601249338281381552240136020671604330923293343884777499162755862271538719675528882069490384368874326081511965869521610438111078122027055068147539395432752372324115962896304856635485989193425116164657225137434388208826734092183883255056331398951166009868337483381466154012611171701873549894107713318977776300491149985596469471306643151376800157133130483474764854340704416315589447692839040000473377314470848721631529856547648915934311100479355216750889243884584173452109023736680668125319318163477538857139859039042673976135158191593357278996676562905664946725099857717870341732766037856792520652473230338568817712672055098768076873330673522955436401/8252181337141784986937898585225740665368501922508297711262205454672548918771099930312739076548729170115344556721254264291343801424835705401250484406238835036489774181934915327025068510975752963655005559994266702352749457543174731661686148118909645219169522357851592393306801293355597946612121639063194190114973612591282664861272177156275950470666250754667854104206444383041651393117625939116558948500358252245539019260219159696101880911504993595447030721837832377871103463010489104964037348761112569497925246064200701403218157674342918042849433126581226008042100366631908309286843260592266887876253926608513973156690969921297183632933030527869942480709218131430227965080465013659208549897831356685598352984087036488758195687345036378617092997617822966838037338054513693301356470237359705347187191612287902648469908711257747640583754124995615276938787876741057591606929418146099358959462693679339465690128240934067840906060313189963143212896085410025493474743036952535111338569528925860028510712664608156812518592525904281660706151531480050019749779495530159858095519313199824195768559258485518668068943664098100906501272593457324293038748761737045999616 - (23952413434186774946865266821247313725248991278340470538140001239059130117489753585801110240945016200502610806255096598704163554741391134626813439763075909915484204580707280737569524001496595153381600577601751113860554630536815755550378079864262636314391662863972374268780380090571872543281784612243039761558915197125882595367281564750620183089563468868003922087745354097192171217322251296576293232925010066290865839159123464448984125421569144354489133204484191474456900310929174281699270650099325478811103317319653272753173157157431165787668516824037340693377054700641077972709711805473304222753685411668639870523137025518340048892898196473443589618865579603848282466682570085848495559128486265395867983400686553418269666313358964335305401626259745589890036558811735165276508545305687469070547887349038798872861442327515282247525394572531080694839792956303596907671812744562916192056673464098893015693488422228945195631391780384168024507239535141879091381961639016099555520390555454064944566697878367877817973677127866063401835647206632315089068766322190278158379328335106949328568710383602069676918319156245886174891928843773*α)/25788066678568078084180933078830439579276568507838430347694392045851715371159687282227309614214778656610451739753919575910449379452611579378907763769496359489030544318546610396953339096799228011421892374982083444852342054822421036442769212871592641309904757368286226229083754041736243583162880122072481844109292539347758327691475553613362345220832033608337044075645138697005160603492581059739246714063619538267309435188184874050318377848453104985771971005743226180847198321907778453012616714878476779681016393950627191885056742732321618883904478520566331275131563645724713466521385189350834024613293520651606166114659281004053698852915720399593570252216306660719462390876453167685026718430722989642494853075271989027369361522953238683178415617555696771368866681420355291566738969491749079209959973788399695776468464722680461376824231640611297740433712114815804973771654431706560496748320917747935830281650752918962002831438478718634822540300266906329667108571990476672222933029777893312589095977076900490039120601643450880189706723535875156311718060923531749556548497853749450611776747682767245837715448950306565332816476854554138415746089880428268748800
c1,26638658067981975800991613005184031896955078899209845781484222737710400228569869586127471066284492956188829492719232199622125266802093498096927420297429055646178924821476211487826781904222575652229126645520762730935476287455500768912827045678543626810398971263681221589648991297528873382703244175595604392969407702952836956344229848480258273530293507884660645039930710094756999962057968197998617297400993788405858502522582445459727947513553815677255183290207779515146866317517725174889613075788253043547564835062452626875778926982373390858642435228365266580126935795684858237707360342059800776612612501302786151563355985900428642818449376139355246954315909001802361143832414775865802822820790045352972587115782251911362075474334815490034257605367435025283117027288198743053046660352919153095182768110127535773002283657443853002420818199261765594995902580429344622476978890432410147576135853755702149053184265694513175229864584557059248818778444721377163067505495702524301097537153454393115509629696890483383726920525106734196745763588955164520166310156829422700042706444422507926120013874717088345076743656116118715466222284263207/8252181337141784986937898585225740665368501922508297711262205454672548918771099930312739076548729170115344556721254264291343801424835705401250484406238835036489774181934915327025068510975752963655005559994266702352749457543174731661686148118909645219169522357851592393306801293355597946612121639063194190114973612591282664861272177156275950470666250754667854104206444383041651393117625939116558948500358252245539019260219159696101880911504993595447030721837832377871103463010489104964037348761112569497925246064200701403218157674342918042849433126581226008042100366631908309286843260592266887876253926608513973156690969921297183632933030527869942480709218131430227965080465013659208549897831356685598352984087036488758195687345036378617092997617822966838037338054513693301356470237359705347187191612287902648469908711257747640583754124995615276938787876741057591606929418146099358959462693679339465690128240934067840906060313189963143212896085410025493474743036952535111338569528925860028510712664608156812518592525904281660706151531480050019749779495530159858095519313199824195768559258485518668068943664098100906501272593457324293038748761737045999616000 + (1197521043470905508019500175694306761649319230167370771345023503992660958484146412878633417474556496198063636533476399458458633290711810712773179372179113566030249122764046076742066751631065078915664360899227375023048347314849365052649388738405566347832709639657868313129027309851193932520452073253335877584449866928141090992257395116587533862914793714833941266918269160976681991479083512540225929304954549867134532770903938465213502380927178087963774347648471047860032394584611152572334038567769684857638094799617636005011533981959098516479866985786374204210871947468381754606387524977850144130889636737097192956481070402678397198102288589641845939163944669352745638527835235893169735716757907251148616481323333855766723217892892293606811216076397248695061620925097836261130031545743475096608549985595999782465511706043802433292120276490978403625922422528072016636415169180787485122366353506569650081001083632505074777245955910736669818867814934119096148222227294825284393753162867258976027772179374958356822728269024719274047993781178665923637363848006831036653816416092332664547663045171007158999853094738334027927039347893*α)/147360381020389017623891046164745369024437534330505316272539383119152659263769641612727483509798735180631152798593826148059710739729209025022330078682836339937317396105980630839733366267424160065267956428469048256299097456128120208244395502123386521770884327818778435594764308809921391903787886411842753394910243081987190443951288877790641972690468763476211680432257935411458060591386177484224266937506397361527482486789627851716105016276874885632982691461389863890555418982330162588643524085019867312462950822575012525057467101327552107908025591546093321572180363689855505522979343939147622997790248689437749520655195891451735422016661259426248972869807466632682642233579732386771581248175559940814256303287268508727824922988304221046733803528889695836393523893830601666095651254238566166914056993076569690151248369843888350724709895089207415659621212084661742707266596752608917124276119529988204744466575730965497159036791306963627557373144382321883812048982802723841273903027302247500509119869010859943080689152248290743941181277347858036066960348134467140323134273449996860638724272472955690501231136858894659044665582026023648089977656459590107136000
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]711/11403264 - α/11403264
[8 -89 992]1577/11403264 - (7*α)/11403264
[4 -25 160]15109/11403264 - (263*α)/11403264
[12 -109 992]23-51/3801088 + (89*α)/3801088
[6 -13 32]23-51/3801088 + (89*α)/3801088
[6 -19 64]23-979/3801088 + (89*α)/3801088
[14 -42 128]28-11/11136 + α/11136
[14 -70 352]28-11/11136 + α/11136
[8 -42 224]28-11/11136 + α/11136
[8 -106 1408]28-11/11136 + α/11136
[16 -113 800]31-1369/5701632 + (3035*α)/5701632
[8 -113 1600]31-1369/5701632 + (3035*α)/5701632
[14 -47 160]3111671/5701632 - (1061*α)/5701632
[20 -101 512]39-3547/3801088 + (2769*α)/3801088
[10 -91 832]39-187/3801088 - (1839*α)/3801088
[10 -101 1024]39-187/3801088 - (1839*α)/3801088
[8 -27 96]39-27643/3801088 + (2513*α)/3801088
[24 -73 224]47-5769/1900544 - (741*α)/1900544
[12 -73 448]475159/1900544 - (10213*α)/1900544
[4 9 32]47-5769/1900544 - (741*α)/1900544
[8 -73 672]475159/1900544 - (10213*α)/1900544
[16 -55 192]4718007/1900544 - (1637*α)/1900544
[2 4 32]480
[26 76 224]480
[6 12 32]480
[14 36 96]480
[2 3 32]55-122075/11403264 + (217873*α)/11403264
[14 -29 64]5529765/11403264 + (49937*α)/11403264
[14 -99 704]5529765/11403264 + (49937*α)/11403264
[8 -35 160]55168773/11403264 - (15343*α)/11403264
[2 2 32]60-173/11136 + (775*α)/11136
[30 -210 1472]60-109/11136 + (263*α)/11136
[16 -50 160]60-77/11136 + (7*α)/11136
[16 -178 1984]60-47/3712 + (173*α)/3712
[10 -30 96]60-13/11136 - (505*α)/11136
[10 -50 256]60-77/11136 + (7*α)/11136
[8 -50 320]60-15/3712 - (83*α)/3712
[8 -114 1632]60-109/11136 + (263*α)/11136
[2 1 32]63-96587/3801088 + (234369*α)/3801088
[16 -225 3168]63-68651/3801088 + (114817*α)/3801088
[4 33 288]63-68651/3801088 + (114817*α)/3801088
[12 -159 2112]63-15273/475136 - (2661*α)/475136
[8 -97 1184]63-252043/3801088 + (22913*α)/3801088
[2 0 32]64-13/174 + (17*α)/174
[2 8 64]6413/348 - (17*α)/348
[2 16 160]640
[4 8 32]6413/348 - (17*α)/348
[20 56 160]64-13/348 + (17*α)/348
[10 -24 64]64-13/348 + (17*α)/348
[10 -64 416]6413/174 - (17*α)/174
[10 -144 2080]640
[36 -469 6112]71-130083/3801088 + (84969*α)/3801088
[18 -181 1824]71-110499/3801088 - (79127*α)/3801088
[18 -235 3072]71-343011/3801088 + (66025*α)/3801088
[12 -85 608]71-110499/3801088 - (79127*α)/3801088
[120 277 640]71-130083/3801088 + (84969*α)/3801088
[10 -43 192]71295933/3801088 - (26903*α)/3801088
[10 -53 288]71-343011/3801088 + (66025*α)/3801088
[40 -441 4864]79-205789/5701632 - (197305*α)/5701632
[20 -121 736]79147345/1900544 - (182291*α)/1900544
[190 441 1024]79-205789/5701632 - (197305*α)/5701632
[10 -71 512]79147345/1900544 - (182291*α)/1900544
[10 -121 1472]79-327437/5701632 + (29767*α)/5701632
[44 -397 3584]87-467363/11403264 + (1040425*α)/11403264
[22 -45 96]872108381/11403264 + (501545*α)/11403264
[22 -243 2688]87-3986851/11403264 + (1133609*α)/11403264
[16 -115 832]872108381/11403264 + (501545*α)/11403264
[12 -51 224]8740865/393216 - (3715*α)/393216
[134 307 704]87-467363/11403264 + (1040425*α)/11403264
[46 -138 416]92-877/3712 - (89*α)/3712
[46 -230 1152]92-877/3712 - (89*α)/3712
[4 6 32]92-877/3712 - (89*α)/3712
[24 -218 1984]92979/3712 - (89*α)/3712
[26 70 192]92979/3712 - (89*α)/3712
[162 374 864]92-877/3712 - (89*α)/3712
[6 26 128]92979/3712 - (89*α)/3712
[26 -86 288]922835/3712 - (89*α)/3712
[12 -26 64]92979/3712 - (89*α)/3712
[12 -38 128]92-877/3712 - (89*α)/3712
[12 -122 1248]92979/3712 - (89*α)/3712
[12 -134 1504]92979/3712 - (89*α)/3712
[48 -337 2368]9555463/3801088 + (101931*α)/3801088
[24 -337 4736]95-844569/3801088 + (464683*α)/3801088
[4 17 96]95-1828089/3801088 - (123093*α)/3801088
[16 -81 416]95-1828089/3801088 - (123093*α)/3801088
[6 49 416]95-844569/3801088 + (464683*α)/3801088
[12 -145 1760]9534067/131072 - (3097*α)/131072
[60 145 352]95-1107193/3801088 - (314837*α)/3801088
[10 15 32]9555463/3801088 + (101931*α)/3801088
[52 -261 1312]103586329/3801088 - (604619*α)/3801088
[4 5 32]103586329/3801088 - (604619*α)/3801088
[26 -261 2624]103-2978855/3801088 + (203061*α)/3801088
[14 -59 256]103-17232853/11403264 + (1566623*α)/11403264
[14 -101 736]103-2978855/3801088 + (203061*α)/3801088
[56 -169 512]1111113209/3801088 - (110059*α)/3801088
[28 -169 1024]1111675865/3801088 + (986389*α)/3801088
[120 297 736]111-3299911/3801088 - (848619*α)/3801088
[6 9 32]1111113209/3801088 - (110059*α)/3801088
[14 -169 2048]1115102361/3801088 - (463851*α)/3801088
[14 -183 2400]111-2927943/3801088 - (1077483*α)/3801088
[12 -87 640]1111675865/3801088 + (986389*α)/3801088
[10 23 64]111-3299911/3801088 - (848619*α)/3801088
[2 4 64]1120
[58 172 512]1120
[4 4 32]1120
[28 -84 256]1120
[28 -140 704]1120
[28 -196 1376]1120
[14 -28 64]1120
[14 -84 512]1120
[8 12 32]1120
[16 -84 448]1120
[16 -148 1376]1120
[16 -212 2816]1120
[2 3 64]1191037427/1900544 - (1875945*α)/1900544
[30 -61 128]1194447795/1900544 - (1122153*α)/1900544
[30 -451 6784]1191037427/1900544 - (1875945*α)/1900544
[20 -61 192]119-2215005/1900544 + (999191*α)/1900544
[90 221 544]119-2399053/1900544 + (964503*α)/1900544
[16 -67 288]1194205443/1900544 - (382313*α)/1900544
[8 67 576]1194447795/1900544 - (1122153*α)/1900544
[12 -61 320]119-2215005/1900544 + (999191*α)/1900544
[24 61 160]119-632797/1900544 + (765591*α)/1900544
[12 -125 1312]119-2399053/1900544 + (964503*α)/1900544
[2 2 64]1244803/1856 - (2377*α)/1856
[62 -434 3040]1244803/1856 - (2377*α)/1856
[4 2 32]1244803/1856 - (2377*α)/1856
[32 -226 1600]124-11671/5568 + (1061*α)/5568
[16 -98 608]124-11671/5568 + (1061*α)/5568
[16 -226 3200]124-11671/5568 + (1061*α)/5568
[8 34 160]124-11671/5568 + (1061*α)/5568
[28 -94 320]1244803/1856 - (2377*α)/1856
[10 14 32]1244803/1856 - (2377*α)/1856
[14 -46 160]124-37751/5568 + (9253*α)/5568
[14 -130 1216]124-11671/5568 + (1061*α)/5568
[14 -158 1792]124-11671/5568 + (1061*α)/5568
[2 1 64]127354103/475136 - (908761*α)/475136
[4 1 32]127354103/475136 - (908761*α)/475136
[32 -449 6304]127-1065955/1425408 - (1877995*α)/1425408
[16 -193 2336]127-4147495/1425408 + (377045*α)/1425408
[8 65 544]127-1065955/1425408 - (1877995*α)/1425408
[2 0 64]128-187/58 - (41*α)/58
[2 8 96]128187/58 + (41*α)/58
[2 16 192]128-187/58 - (41*α)/58
[4 0 32]128-187/58 - (41*α)/58
[4 16 96]1280
[4 32 288]128187/58 + (41*α)/58
[6 8 32]128187/58 + (41*α)/58
[22 -112 576]1280
[22 -200 1824]128-187/58 - (41*α)/58
[22 -288 3776]1280
[18 -40 96]128-187/58 - (41*α)/58
[18 -112 704]128187/58 + (41*α)/58
[18 -256 3648]128187/58 + (41*α)/58
[12 16 32]128-187/58 - (41*α)/58
[12 -64 352]1280
[12 -112 1056]128187/58 + (41*α)/58
[68 -885 11520]135303515/950272 - (39825*α)/950272
[34 -171 864]135-4665525/950272 + (18223*α)/950272
[34 -341 3424]135-4803325/950272 + (1406447*α)/950272
[24 -267 2976]135-3000735/3801088 + (5027613*α)/3801088
[8 11 32]135303515/950272 - (39825*α)/950272
[18 -75 320]135-2126597/950272 + (193327*α)/950272
[16 -117 864]135-4803325/950272 + (1406447*α)/950272
[12 -75 480]1351161153/3801088 + (3091485*α)/3801088
[72 -793 8736]143-633875/3801088 + (3337177*α)/3801088
[36 -217 1312]1436685261/3801088 + (6039513*α)/3801088
[42 121 352]143502317/3801088 - (5915687*α)/3801088
[6 7 32]143-633875/3801088 + (3337177*α)/3801088
[6 25 128]1435566797/3801088 - (6534951*α)/3801088
[18 -199 2208]1435566797/3801088 - (6534951*α)/3801088
[18 -217 2624]143-3972947/3801088 + (361177*α)/3801088
[12 -25 64]143502317/3801088 - (5915687*α)/3801088
[14 -89 576]1433874957/3801088 - (9874983*α)/3801088
[14 -103 768]1436685261/3801088 + (6039513*α)/3801088
[76 -685 6176]151-5084827/11403264 + (5320337*α)/11403264
[38 -77 160]15130870455/3801088 - (4032293*α)/3801088
[38 -115 352]151-100403899/11403264 + (28086161*α)/11403264
[20 -83 352]151133882309/11403264 - (12171119*α)/11403264
[8 19 64]151-100403899/11403264 + (28086161*α)/11403264
[10 13 32]151-5084827/11403264 + (5320337*α)/11403264
[10 83 704]15130870455/3801088 - (4032293*α)/3801088
[78 -234 704]156-23909/3712 + (1583*α)/3712
[78 -390 1952]156-30629/3712 + (10799*α)/3712
[40 -202 1024]156-3173/3712 + (6447*α)/3712
[40 -522 6816]1563547/3712 - (2769*α)/3712
[6 6 32]156-30629/3712 + (10799*α)/3712
[26 -182 1280]15624283/3712 + (2095*α)/3712
[8 10 32]156-23909/3712 + (1583*α)/3712
[20 -42 96]15624283/3712 + (2095*α)/3712
[20 -182 1664]15631003/3712 - (7121*α)/3712
[20 -202 2048]15631003/3712 - (7121*α)/3712
[10 22 64]1563547/3712 - (2769*α)/3712
[82 198 480]15610267/3712 - (11985*α)/3712
[10 42 192]15627643/3712 - (2513*α)/3712
[30 -102 352]15682555/3712 - (11217*α)/3712
[16 -54 192]156-27269/3712 + (6191*α)/3712
[16 -182 2080]15627643/3712 - (2513*α)/3712
[80 -561 3936]159-5128387/3801088 + (8825641*α)/3801088
[40 -561 7872]159-18264323/3801088 + (7987497*α)/3801088
[46 -143 448]159-16092803/3801088 - (1938391*α)/3801088
[28 -143 736]159-16092803/3801088 - (1938391*α)/3801088
[20 -241 2912]159-8107715/3801088 + (737065*α)/3801088
[30 81 224]15914470173/3801088 - (12690135*α)/3801088
[16 -49 160]159749121/131072 - (449411*α)/131072
[10 81 672]159-18264323/3801088 + (7987497*α)/3801088
[12 15 32]159-5128387/3801088 + (8825641*α)/3801088
[14 -143 1472]15914470173/3801088 - (12690135*α)/3801088
[84 -421 2112]167-5307005/3801088 + (5929815*α)/3801088
[42 -379 3424]1677387267/3801088 + (16990295*α)/3801088
[42 -421 4224]167-39438333/3801088 - (8165033*α)/3801088
[28 -421 6336]167-5307005/3801088 + (5929815*α)/3801088
[36 101 288]16722743971/3801088 + (13447767*α)/3801088
[22 -69 224]16719410339/3801088 + (13472087*α)/3801088
[22 -91 384]167-2210593/131072 + (200963*α)/131072
[14 -155 1728]16719410339/3801088 + (13472087*α)/3801088
[14 -197 2784]1677387267/3801088 + (16990295*α)/3801088
[16 -37 96]16722743971/3801088 + (13447767*α)/3801088
[12 101 864]167-39438333/3801088 - (8165033*α)/3801088
[88 -265 800]175-14765915/11403264 + (652177*α)/11403264
[44 -265 1600]175100888645/11403264 - (90965615*α)/11403264
[4 9 64]175-46375675/11403264 - (4780399*α)/11403264
[8 9 32]175-14765915/11403264 + (652177*α)/11403264
[22 -265 3200]17545177495/3801088 - (4107045*α)/3801088
[20 -265 3520]175-77550895/2850816 + (22316525*α)/2850816
[16 -119 896]175100888645/11403264 - (90965615*α)/11403264
[2 4 96]176-2/29 + (74*α)/29
[90 268 800]1762/29 - (74*α)/29
[30 -92 288]1760
[30 -212 1504]176-2/29 + (74*α)/29
[30 -332 3680]1764/29 - (148*α)/29
[30 -452 6816]176-2/29 + (74*α)/29
[22 -44 96]176-2/29 + (74*α)/29
[22 -132 800]1762/29 - (74*α)/29
[10 12 32]1762/29 - (74*α)/29
[18 -92 480]1760
[18 -164 1504]1762/29 - (74*α)/29
[18 -236 3104]176-4/29 + (148*α)/29
[2 3 96]183-13948309/3801088 + (25398559*α)/3801088
[46 -93 192]18343566699/3801088 + (13057055*α)/3801088
[46 -323 2272]183-6547509/3801088 + (25495071*α)/3801088
[6 3 32]183-13948309/3801088 + (25398559*α)/3801088
[24 -99 416]183-17583445/3801088 + (1598495*α)/3801088
[38 -125 416]18336254603/3801088 + (11137311*α)/3801088
[16 -227 3232]183-6547509/3801088 + (25495071*α)/3801088
[12 99 832]18343566699/3801088 + (13057055*α)/3801088
[2 2 96]188-3239/1856 + (28261*α)/1856
[94 -658 4608]18818617/1856 + (9317*α)/1856
[48 -146 448]188-5159/1856 + (10213*α)/1856
[48 -530 5856]188-5159/1856 + (10213*α)/1856
[6 2 32]188-3239/1856 + (28261*α)/1856
[6 14 64]188-5159/1856 + (10213*α)/1856
[142 350 864]18816697/1856 - (8731*α)/1856
[6 50 448]188-28935/1856 + (11109*α)/1856
[24 -146 896]188-7079/1856 - (7835*α)/1856
[24 -338 4768]188-28935/1856 + (11109*α)/1856
[8 18 64]188-5159/1856 + (10213*α)/1856
[112 274 672]18816697/1856 - (8731*α)/1856
[12 14 32]18818617/1856 + (9317*α)/1856
[16 -146 1344]188-7079/1856 - (7835*α)/1856
[12 50 224]188-18007/1856 + (1637*α)/1856
[32 -110 384]1887689/1856 + (18789*α)/1856
[14 34 96]18816697/1856 - (8731*α)/1856
[102 242 576]18816697/1856 - (8731*α)/1856
[14 62 288]188-1507/64 - (535*α)/64
[42 -146 512]188-18007/1856 + (1637*α)/1856
[2 1 96]191-8287743/1900544 + (21709485*α)/1900544
[48 -673 9440]191-13608351/1900544 + (10402093*α)/1900544
[4 33 320]191-6267967/1900544 - (1572051*α)/1900544
[6 1 32]191-8287743/1900544 + (21709485*α)/1900544
[32 -417 5440]191-40498223/1900544 - (4789971*α)/1900544
[24 -289 3488]19111984401/1900544 - (1089491*α)/1900544
[8 33 160]19128657521/1900544 - (13771347*α)/1900544
[20 -223 2496]19128657521/1900544 - (13771347*α)/1900544
[36 95 256]19123835985/1900544 - (11773395*α)/1900544
[16 -161 1632]19123835985/1900544 - (11773395*α)/1900544
[12 97 800]191-13608351/1900544 + (10402093*α)/1900544
[18 -95 512]191-40498223/1900544 - (4789971*α)/1900544
[18 -257 3680]191-6267967/1900544 - (1572051*α)/1900544
[2 0 96]192-13 + 17*α
[2 8 128]192460/29 - (316*α)/29
[2 16 224]192-543/29 + (139*α)/29
[4 8 64]1920
[52 152 448]1920
[6 0 32]192-13 + 17*α
[6 24 128]192-83/29 - (177*α)/29
[6 48 416]192543/29 - (139*α)/29
[8 8 32]192460/29 - (316*α)/29
[24 -72 224]19283/29 + (177*α)/29
[24 -120 608]192-83/29 - (177*α)/29
[24 -168 1184]192-460/29 + (316*α)/29
[26 -56 128]192-460/29 + (316*α)/29
[26 -160 992]19213 - 17*α
[26 -368 5216]192543/29 - (139*α)/29
[12 24 64]1920
[28 72 192]1920
[14 16 32]192-543/29 + (139*α)/29
[14 -72 384]19283/29 + (177*α)/29
[14 -128 1184]19213 - 17*α
[100 -1301 16928]199-48293417/11403264 + (7292251*α)/11403264
[50 -501 5024]199-32961827/3801088 + (14928585*α)/3801088
[50 -651 8480]199-50539715/3801088 + (21763785*α)/3801088
[26 -107 448]199-1455267/3801088 + (132297*α)/3801088
[26 -341 4480]19936315517/3801088 - (14383671*α)/3801088
[10 11 32]199-48293417/11403264 + (7292251*α)/11403264
[10 21 64]199-50539715/3801088 + (21763785*α)/3801088
[16 -213 2848]19936315517/3801088 - (14383671*α)/3801088
[14 117 992]199-32961827/3801088 + (14928585*α)/3801088
[104 -1145 12608]207-18057745/3801088 - (25138189*α)/3801088
[52 -313 1888]207-13310129/3801088 + (19710451*α)/3801088
[478 1113 2592]207107204815/3801088 - (111859469*α)/3801088
[36 -327 2976]20729316231/1900544 - (6689637*α)/1900544
[26 -313 3776]20720892047/3801088 - (1899277*α)/3801088
[26 -391 5888]207-18057745/3801088 - (25138189*α)/3801088
[18 -39 96]20729316231/1900544 - (6689637*α)/1900544
[18 -57 192]20719323063/1900544 - (2413413*α)/1900544
[108 -973 8768]2158032931/3801088 - (7560009*α)/3801088
[54 -109 224]215-23591293/3801088 - (27182921*α)/3801088
[54 -595 6560]21578111907/3801088 + (81964983*α)/3801088
[36 -397 4384]215-217789373/3801088 - (37048137*α)/3801088
[6 13 64]21578111907/3801088 + (81964983*α)/3801088
[28 -115 480]21548210723/3801088 - (4382793*α)/3801088
[42 115 320]21555868643/3801088 + (1236663*α)/3801088
[24 -77 256]21516030851/3801088 + (2488759*α)/3801088
[12 13 32]2158032931/3801088 - (7560009*α)/3801088
[18 -109 672]215-3556349/3801088 - (15225673*α)/3801088
[20 -205 2112]21555868643/3801088 + (1236663*α)/3801088
[42 109 288]215-3556349/3801088 - (15225673*α)/3801088
[16 -179 2016]21516030851/3801088 + (2488759*α)/3801088
[110 -330 992]220-14199/3712 + (17573*α)/3712
[110 -550 2752]220261083/11136 - (283153*α)/11136
[4 6 64]220-60535/3712 + (39333*α)/3712
[56 -506 4576]220122075/11136 - (217873*α)/11136
[28 -58 128]220-16933/11136 - (152593*α)/11136
[28 -198 1408]220-16933/11136 - (152593*α)/11136
[28 -282 2848]220-106871/3712 + (61093*α)/3712
[28 -422 6368]220261083/11136 - (283153*α)/11136
[10 10 32]220-14199/3712 + (17573*α)/3712
[22 -154 1088]220-106871/3712 + (61093*α)/3712
[34 86 224]220425755/11136 - (553745*α)/11136
[170 390 896]220122075/11136 - (217873*α)/11136
[14 58 256]220-168773/11136 + (15343*α)/11136
[34 -118 416]220-446789/11136 + (145903*α)/11136
[16 -70 320]2203767/384 - (3973*α)/384
[16 -198 2464]220-168773/11136 + (15343*α)/11136
[112 -785 5504]2237287331/950272 - (8314161*α)/950272
[56 -785 11008]2238820371/950272 + (238415*α)/950272
[4 17 128]223241738465/2850816 - (94600787*α)/2850816
[28 -337 4064]223-147165359/2850816 + (13378669*α)/2850816
[8 17 64]223241738465/2850816 - (94600787*α)/2850816
[14 15 32]2237287331/950272 - (8314161*α)/950272
[116 -581 2912]23185452443/5701632 - (56533201*α)/5701632
[4 5 64]23129507515/5701632 + (269788591*α)/5701632
[58 -581 5824]231197227339/5701632 - (77480657*α)/5701632
[40 -123 384]231-148781333/5701632 + (56958127*α)/5701632
[30 -123 512]231197416571/5701632 - (17946961*α)/5701632
[30 -453 6848]23185452443/5701632 - (56533201*α)/5701632
[24 -123 640]231-148781333/5701632 + (56958127*α)/5701632
[40 -133 448]231-1897513/196608 - (1376965*α)/196608
[20 -123 768]23112462059/5701632 - (86671441*α)/5701632
[104 251 608]231-306041605/5701632 - (15143761*α)/5701632
[20 -187 1760]23112462059/5701632 - (86671441*α)/5701632
[120 -361 1088]23957069965/1900544 - (8909079*α)/1900544
[60 -361 2176]239-11255651/1900544 - (27370775*α)/1900544
[248 617 1536]23990849533/1900544 + (5832041*α)/1900544
[40 -361 3264]239-63037795/1900544 + (27575913*α)/1900544
[48 -151 480]239170578285/1900544 + (7828329*α)/1900544
[30 -151 768]239170578285/1900544 + (7828329*α)/1900544
[30 -361 4352]239-84343171/1900544 + (7667561*α)/1900544
[24 -361 5440]23957069965/1900544 - (8909079*α)/1900544
[10 41 192]239-63359523/1900544 + (34644969*α)/1900544
[20 -41 96]239-63037795/1900544 + (27575913*α)/1900544
[198 457 1056]23990849533/1900544 + (5832041*α)/1900544
[22 -137 864]239-6533171/1900544 + (69225*α)/1900544
[22 -247 2784]239-63359523/1900544 + (34644969*α)/1900544
[18 -169 1600]239-6533171/1900544 + (69225*α)/1900544
[2 4 128]240256/87 - (2048*α)/87
[122 364 1088]240-256/87 + (2048*α)/87
[4 4 64]240-512/87 + (4096*α)/87
[60 -180 544]240256/87 - (2048*α)/87
[60 -300 1504]240256/87 - (2048*α)/87
[60 -420 2944]2400
[6 12 64]240256/87 - (2048*α)/87
[46 132 384]240-256/87 + (2048*α)/87
[30 -60 128]240256/87 - (2048*α)/87
[30 -180 1088]240-256/87 + (2048*α)/87
[8 4 32]240256/87 - (2048*α)/87
[32 -100 320]2400
[32 -228 1632]240256/87 - (2048*α)/87
[32 -356 3968]240-512/87 + (4096*α)/87
[10 20 64]240256/87 - (2048*α)/87
[34 92 256]240-256/87 + (2048*α)/87
[12 12 32]240-256/87 + (2048*α)/87
[20 -60 192]240512/87 - (4096*α)/87
[20 -100 512]2400
[20 -140 992]240-256/87 + (2048*α)/87
[16 -36 96]240-256/87 + (2048*α)/87
[16 -100 640]240512/87 - (4096*α)/87
[16 -164 1696]240-256/87 + (2048*α)/87
[16 -228 3264]2400
[2 3 128]247227066873/11403264 - (304930603*α)/11403264
[62 -125 256]247-240232941/3801088 + (79888711*α)/3801088
[62 -931 13984]247-479588999/11403264 + (275601109*α)/11403264
[8 3 32]247227066873/11403264 - (304930603*α)/11403264
[32 -131 544]24730685171/3801088 - (2789561*α)/3801088
[2 2 128]252-86805/3712 - (326273*α)/3712
[126 -882 6176]252-142677/3712 - (87169*α)/3712
[4 2 64]25240715/3712 + (4735*α)/3712
[64 -450 3168]25296587/3712 - (234369*α)/3712
[42 -126 384]25215273/464 + (2661*α)/464
[42 -210 1056]25215273/464 + (2661*α)/464
[8 2 32]252-86805/3712 - (326273*α)/3712
[32 -194 1184]252224107/3712 + (96639*α)/3712
[32 -450 6336]252279979/3712 - (142465*α)/3712
[8 66 576]252279979/3712 - (142465*α)/3712
[24 -126 672]25215273/464 + (2661*α)/464
[24 -318 4224]25215273/464 + (2661*α)/464
[14 14 32]252-142677/3712 - (87169*α)/3712
[18 -126 896]252224107/3712 + (96639*α)/3712
[16 -66 288]252252043/3712 - (22913*α)/3712
[16 -194 2368]252-114741/3712 - (206721*α)/3712
[18 -78 352]252618827/3712 + (160895*α)/3712
[18 -114 736]252152459/3712 - (473473*α)/3712
[18 -222 2752]252252043/3712 - (22913*α)/3712
[18 -258 3712]25296587/3712 - (234369*α)/3712
[2 1 128]2553083549/237568 - (11755881*α)/237568
[4 1 64]255130879/8192 - (305565*α)/8192
[64 -897 12576]2559151593/237568 - (6892905*α)/237568
[44 -575 7520]255-27840109/237568 + (7162567*α)/237568
[8 1 32]2553083549/237568 - (11755881*α)/237568
[32 -385 4640]25527692643/237568 - (2517513*α)/237568
[28 -257 2368]255-17412291/237568 + (6975591*α)/237568
[22 -223 2272]255-17412291/237568 + (6975591*α)/237568
[22 -289 3808]255-22800433/237568 + (1821943*α)/237568
[20 -65 224]255-15586269/237568 + (4639287*α)/237568
[14 33 96]255-27840109/237568 + (7162567*α)/237568
[2 0 128]2564600/29 - (3160*α)/29
[2 8 160]256-10472/87 + (5128*α)/87
[2 16 256]2567144/87 - (776*α)/87
[4 0 64]256-6656/87 + (8704*α)/87
[4 16 128]2563328/87 - (4352*α)/87
[4 32 320]2560
[8 0 32]2564600/29 - (3160*α)/29
[8 16 64]2563328/87 - (4352*α)/87
[40 112 320]256-3328/87 + (4352*α)/87
[8 32 160]256-3328/87 + (4352*α)/87
[8 64 544]256-7144/87 + (776*α)/87
[34 -72 160]25610472/87 - (5128*α)/87
[34 -208 1280]256-4600/29 + (3160*α)/29
[34 -480 6784]256-7144/87 + (776*α)/87
[26 -80 256]2563328/87 - (4352*α)/87
[26 -184 1312]25610472/87 - (5128*α)/87
[26 -288 3200]256-3328/87 + (4352*α)/87
[26 -392 5920]256-10472/87 + (5128*α)/87
[16 16 32]2567144/87 - (776*α)/87
[16 -48 160]2563328/87 - (4352*α)/87
[16 -112 800]256-4600/29 + (3160*α)/29
[20 -48 128]256-3328/87 + (4352*α)/87
[20 -128 832]2566656/87 - (8704*α)/87
[20 -288 4160]2560
[132 -1717 22336]26322847871/3801088 - (45799293*α)/3801088
[66 -331 1664]263197674079/3801088 + (7591811*α)/3801088
[66 -661 6624]263374731775/3801088 + (124973187*α)/3801088
[44 -309 2176]263-30558433/3801088 - (62281341*α)/3801088
[408 949 2208]263197674079/3801088 + (7591811*α)/3801088
[34 -139 576]263252931679/3801088 - (22993789*α)/3801088
[34 -309 2816]263-358779425/3801088 - (97289853*α)/3801088
[22 -309 4352]263-30558433/3801088 - (62281341*α)/3801088
[22 -331 4992]26322847871/3801088 - (45799293*α)/3801088
[24 -53 128]263-358779425/3801088 - (97289853*α)/3801088
[12 53 256]263-207685953/3801088 - (102510717*α)/3801088
[18 -203 2304]263-207685953/3801088 - (102510717*α)/3801088
[136 -1497 16480]271-265283861/5701632 + (213287743*α)/5701632
[68 -409 2464]271-223351447/1900544 + (192476053*α)/1900544
[74 217 640]271121333833/1900544 - (149136363*α)/1900544
[34 -103 320]271238069979/5701632 - (148741057*α)/5701632
[34 -409 4928]271-529287605/5701632 + (48117055*α)/5701632
[28 -423 6400]271-265283861/5701632 + (213287743*α)/5701632
[134 327 800]271699256939/5701632 - (290240321*α)/5701632
[20 -103 544]271238069979/5701632 - (148741057*α)/5701632
[212 487 1120]271121333833/1900544 - (149136363*α)/1900544
[124 295 704]271699256939/5701632 - (290240321*α)/5701632
[140 -1261 11360]279-34743303/1900544 - (43490011*α)/1900544
[70 -141 288]279-306950215/1900544 - (85636699*α)/1900544
[70 -211 640]279-19032487/1900544 + (189172517*α)/1900544
[48 -339 2400]279-3687453/237568 - (4218009*α)/237568
[36 -147 608]279-792680471/1900544 + (72061861*α)/1900544
[164 403 992]279470146553/1900544 + (7183653*α)/1900544
[28 -365 4768]279543005113/1900544 - (11687259*α)/1900544
[268 621 1440]279-19032487/1900544 + (189172517*α)/1900544
[24 -339 4800]279-3687453/237568 - (4218009*α)/237568
[42 -141 480]279-16204653/237568 - (2823321*α)/237568
[20 -301 4544]279-34743303/1900544 - (43490011*α)/1900544
[98 237 576]279315171593/1900544 + (66210981*α)/1900544
[18 -237 3136]279543005113/1900544 - (11687259*α)/1900544
[20 -109 608]279470146553/1900544 + (7183653*α)/1900544
[142 -426 1280]284536515/3712 - (32745*α)/3712
[142 -710 3552]284497347/3712 + (295447*α)/3712
[72 -362 1824]284-102429/3712 + (60183*α)/3712
[72 -938 12224]284323427/3712 + (98071*α)/3712
[58 166 480]284-63261/3712 - (268009*α)/3712
[450 1046 2432]284-102429/3712 + (60183*α)/3712
[6 26 160]284555939/3712 - (47081*α)/3712
[58 -182 576]284130083/3712 - (84969*α)/3712
[36 -74 160]284-315517/3712 + (190999*α)/3712
[36 -182 928]284130083/3712 - (84969*α)/3712
[36 -362 3648]284-276349/3712 - (137193*α)/3712
[36 -470 6144]284130083/3712 - (84969*α)/3712
[30 -154 800]284555939/3712 - (47081*α)/3712
[30 -214 1536]284-315517/3712 + (190999*α)/3712
[30 -394 5184]284555939/3712 - (47081*α)/3712
[30 -454 6880]284497347/3712 + (295447*α)/3712
[24 -170 1216]284-276349/3712 - (137193*α)/3712
[24 -362 5472]284536515/3712 - (32745*α)/3712
[40 106 288]284362595/3712 - (230121*α)/3712
[240 554 1280]284323427/3712 + (98071*α)/3712
[18 -38 96]284-63261/3712 - (268009*α)/3712
[18 -74 320]284-295933/3712 + (26903*α)/3712
[18 -182 1856]284362595/3712 - (230121*α)/3712
[18 -218 2656]284-1108797/3712 - (77545*α)/3712
[20 -86 384]284516931/3712 + (131351*α)/3712
[20 -106 576]284130083/3712 - (84969*α)/3712
[20 -246 3040]284-295933/3712 + (26903*α)/3712
[20 -266 3552]284555939/3712 - (47081*α)/3712
[144 -1009 7072]2877872821/475136 - (8336331*α)/475136
[72 -1009 14144]28751837345/475136 - (18548523*α)/475136
[78 -239 736]28718563749/475136 - (44277931*α)/475136
[48 -241 1216]287-104484415/475136 + (10173429*α)/475136
[6 49 448]2879776661/475136 + (25845237*α)/475136
[36 -433 5216]28795349177/475136 - (8668107*α)/475136
[338 785 1824]28718563749/475136 - (44277931*α)/475136
[24 -241 2432]287-4486279/475136 + (22383221*α)/475136
[12 49 224]287-43091991/475136 + (18527253*α)/475136
[26 -239 2208]287-4486279/475136 + (22383221*α)/475136
[26 -369 5248]2879776661/475136 + (25845237*α)/475136
[24 -271 3072]287-43091991/475136 + (18527253*α)/475136
[18 -271 4096]2877872821/475136 - (8336331*α)/475136
[148 -741 3712]295-119338663/3801088 + (245825909*α)/3801088
[74 -667 6016]295-2542557973/11403264 + (2391495263*α)/11403264
[74 -741 7424]2952067570187/11403264 - (877228961*α)/11403264
[38 -155 640]2952978842603/11403264 - (270803873*α)/11403264
[38 -421 4672]295-1522082101/11403264 + (1093210463*α)/11403264
[10 5 32]295-119338663/3801088 + (245825909*α)/3801088
[226 517 1184]295-2542557973/11403264 + (2391495263*α)/11403264
[152 -457 1376]303770070803/11403264 + (75787847*α)/11403264
[76 -457 2752]30314980559/393216 - (39673165*α)/393216
[4 9 96]3031618290931/11403264 - (271605689*α)/11403264
[6 9 64]3031618290931/11403264 - (271605689*α)/11403264
[38 -343 3104]303216330419/11403264 + (312049223*α)/11403264
[38 -457 5504]3032053784051/11403264 - (186707641*α)/11403264
[26 -55 128]303216330419/11403264 + (312049223*α)/11403264
[26 -393 5952]303770070803/11403264 + (75787847*α)/11403264
[22 -73 256]303-595731245/11403264 + (605723719*α)/11403264
[2 4 160]304-3358/87 + (5462*α)/87
[154 460 1376]3043358/87 - (5462*α)/87
[38 -76 160]304-3358/87 + (5462*α)/87
[38 -228 1376]3043358/87 - (5462*α)/87
[10 4 32]304-3358/87 + (5462*α)/87
[10 44 224]3040
[50 -164 544]3046716/87 - (10924*α)/87
[10 84 736]304-3358/87 + (5462*α)/87
[22 -68 224]304-6716/87 + (10924*α)/87
[22 -156 1120]3043358/87 - (5462*α)/87
[22 -244 2720]3040
[22 -332 5024]3043358/87 - (5462*α)/87
[2 3 160]31188786659/3801088 + (379528439*α)/3801088
[78 -157 320]311-314772125/3801088 + (365098999*α)/3801088
[78 -547 3840]311-240970237/3801088 + (164414199*α)/3801088
[52 -157 480]311-1469960733/3801088 - (381248265*α)/3801088
[218 541 1344]3111095693155/3801088 - (194395401*α)/3801088
[40 -163 672]311143762531/3801088 - (13069321*α)/3801088
[8 35 192]311287768099/3801088 + (300005111*α)/3801088
[10 3 32]31188786659/3801088 + (379528439*α)/3801088
[32 -291 2656]311192700547/3801088 - (168334345*α)/3801088
[26 -131 672]311287768099/3801088 + (300005111*α)/3801088
[26 -157 960]311-186157181/3801088 - (144578569*α)/3801088
[28 -285 2912]311192700547/3801088 - (168334345*α)/3801088
[12 29 96]311-1469960733/3801088 - (381248265*α)/3801088
[24 -221 2048]311-186157181/3801088 - (144578569*α)/3801088
[14 61 288]31128757571/3801088 - (123896585*α)/3801088
[16 35 96]3111095693155/3801088 - (194395401*α)/3801088
[20 -227 2592]31128757571/3801088 - (123896585*α)/3801088
[240 547 1248]311-240970237/3801088 + (164414199*α)/3801088
[2 2 160]316-619777/1856 + (491027*α)/1856
[158 -1106 7744]316-563683/5568 + (773945*α)/5568
[80 -242 736]316-147345/1856 + (182291*α)/1856
[80 -882 9728]316-147345/1856 + (182291*α)/1856
[40 -242 1472]316325087/1856 - (126445*α)/1856
[40 -562 7904]316-320387/5568 + (319801*α)/5568
[52 146 416]316853613/5568 - (152263*α)/5568
[380 882 2048]316-147345/1856 + (182291*α)/1856
[10 2 32]316-619777/1856 + (491027*α)/1856
[46 126 352]316853613/5568 - (152263*α)/5568
[310 718 1664]316-147345/1856 + (182291*α)/1856
[10 82 704]316-320387/5568 + (319801*α)/5568
[20 -82 352]316327437/5568 - (29767*α)/5568
[20 -142 1024]316325087/1856 - (126445*α)/1856
[20 -242 2944]316-1211507/5568 + (1123513*α)/5568
[20 -302 4576]316-563683/5568 + (773945*α)/5568
[22 -50 128]316853613/5568 - (152263*α)/5568
[22 -94 416]316622127/1856 - (394349*α)/1856
[22 -226 2336]316853613/5568 - (152263*α)/5568
[22 -270 3328]316327437/5568 - (29767*α)/5568
[2 1 160]319-569057821/3801088 + (742104631*α)/3801088
[80 -1121 15712]319-559971863/11403264 + (634187941*α)/11403264
[4 33 352]319465560419/3801088 - (80313801*α)/3801088
[40 -481 5792]319-1738368093/3801088 + (158033463*α)/3801088
[50 -159 512]3192070413347/3801088 - (789427401*α)/3801088
[10 1 32]319-569057821/3801088 + (742104631*α)/3801088
[32 -353 3904]3192070413347/3801088 - (789427401*α)/3801088
[38 97 256]3192111410441/11403264 - (530732123*α)/11403264
[20 -289 4192]319465560419/3801088 - (80313801*α)/3801088
[2 0 160]3205791/29 + (6133*α)/29
[2 8 192]320-1751/29 - (3421*α)/29
[2 16 288]320-2289/29 + (709*α)/29
[4 8 96]3203847/29 + (109*α)/29
[84 248 736]320-3847/29 - (109*α)/29
[6 8 64]3203847/29 + (109*α)/29
[54 -272 1376]320-7694/29 - (218*α)/29
[54 -488 4416]3203847/29 + (109*α)/29
[54 -704 9184]3200
[42 -88 192]3201751/29 + (3421*α)/29
[42 -256 1568]320-5791/29 - (6133*α)/29
[42 -592 8352]3202289/29 - (709*α)/29
[10 0 32]3205791/29 + (6133*α)/29
[10 40 192]320-4040/29 - (2712*α)/29
[10 80 672]3202289/29 - (709*α)/29
[28 -88 288]3204040/29 + (2712*α)/29
[28 -200 1440]3201751/29 + (3421*α)/29
[28 -312 3488]320-4040/29 - (2712*α)/29
[28 -424 6432]320-1751/29 - (3421*α)/29
[14 32 96]3200
[46 120 320]320-3847/29 - (109*α)/29
[126 304 736]3207694/29 + (218*α)/29
[254 584 1344]320-3847/29 - (109*α)/29
[20 -40 96]3203847/29 + (109*α)/29
[20 -120 736]320-3847/29 - (109*α)/29
[18 -56 192]3204040/29 + (2712*α)/29
[18 -128 928]320-5791/29 - (6133*α)/29
[18 -272 4128]320-2289/29 + (709*α)/29
[164 -2133 27744]327-125584665/3801088 + (48573739*α)/3801088
[82 -821 8224]327186172679/3801088 + (303265835*α)/3801088
[82 -1067 13888]327-194024249/3801088 - (145708245*α)/3801088
[56 -619 6848]3271088887239/3801088 - (191022293*α)/3801088
[42 -171 704]327-17056985/3801088 + (1550635*α)/3801088
[42 -213 1088]3271088887239/3801088 - (191022293*α)/3801088
[28 -171 1056]327319600871/3801088 - (123201237*α)/3801088
[282 651 1504]327-194024249/3801088 - (145708245*α)/3801088
[24 -363 5504]327-125584665/3801088 + (48573739*α)/3801088
[44 -149 512]327340113799/3801088 - (380208597*α)/3801088
[22 -203 1888]327319600871/3801088 - (123201237*α)/3801088
[168 -1849 20352]335-825614287/3801088 - (103733395*α)/3801088
[84 -505 3040]335-539960879/3801088 - (3993235*α)/3801088
[766 1785 4160]335-872595183/3801088 - (915956371*α)/3801088
[6 7 64]335-872595183/3801088 - (915956371*α)/3801088
[6 25 160]3351924866321/3801088 + (247867501*α)/3801088
[42 -295 2080]335-99743599/3801088 + (26385261*α)/3801088
[42 -505 6080]335-1445594799/3801088 + (131417709*α)/3801088
[36 -185 960]3351924866321/3801088 + (247867501*α)/3801088
[28 -57 128]335-99743599/3801088 + (26385261*α)/3801088
[128 313 768]3351001469521/3801088 + (69607277*α)/3801088
[30 -185 1152]335-63037487/3801088 + (334585197*α)/3801088
[30 -455 6912]335-825614287/3801088 - (103733395*α)/3801088
[24 -313 4096]335-174959183/3801088 - (653368979*α)/3801088
[14 57 256]335446180337/3801088 + (243736941*α)/3801088
[54 -185 640]335446180337/3801088 + (243736941*α)/3801088
[20 -185 1728]335-63037487/3801088 + (334585197*α)/3801088
[118 281 672]3351001469521/3801088 + (69607277*α)/3801088
[172 -1549 13952]343-394958737/1425408 + (204332531*α)/1425408
[86 -173 352]343-186771497/1425408 - (311501*α)/1425408
[86 -947 10432]343-131295219/475136 + (79560913*α)/475136
[44 -179 736]343247197445/475136 - (22472495*α)/475136
[422 979 2272]343-131295219/475136 + (79560913*α)/475136
[28 -371 4928]343-5460349195/11403264 + (1017058049*α)/11403264
[22 -333 5056]343-394958737/1425408 + (204332531*α)/1425408
[174 -522 1568]348-5607421/11136 - (571945*α)/11136
[174 -870 4352]348-455933/11136 - (1649705*α)/11136
[4 6 96]348-5627869/11136 - (408361*α)/11136
[88 -794 7168]348470369/3712 - (198243*α)/3712
[6 6 64]348-5627869/11136 - (408361*α)/11136
[58 -406 2848]348-476381/11136 - (1486121*α)/11136
[44 -90 192]348463553/3712 - (143715*α)/3712
[44 -134 416]3483986851/11136 - (1133609*α)/11136
[44 -442 4448]348-3760829/11136 + (646615*α)/11136
[44 -486 5376]348-1017375/3712 - (315747*α)/3712
[12 6 32]348-455933/11136 - (1649705*α)/11136
[32 -230 1664]348463553/3712 - (143715*α)/3712
[26 -134 704]3483986851/11136 - (1133609*α)/11136
[26 -186 1344]348-3760829/11136 + (646615*α)/11136
[26 -342 4512]34811025827/11136 - (1319977*α)/11136
[26 -394 5984]348-5607421/11136 - (571945*α)/11136
[22 -90 384]348-40865/384 + (3715*α)/384
[22 -134 832]3486562595/11136 - (1672489*α)/11136
[22 -266 3232]348661507/11136 + (1326295*α)/11136
[22 -310 4384]348-476381/11136 - (1486121*α)/11136
[24 -102 448]348-1010559/3712 - (370275*α)/3712
[24 -294 3616]348-40865/384 + (3715*α)/384
[52 134 352]3486562595/11136 - (1672489*α)/11136
[268 614 1408]348470369/3712 - (198243*α)/3712
[176 -1233 8640]3514655085/32768 + (3340617*α)/32768
[88 -1233 17280]351-17898111/950272 + (217177605*α)/950272
[4 17 160]351-414826639/950272 - (27185531*α)/950272
[60 -303 1536]3511637751051/3801088 - (219571713*α)/3801088
[44 -529 6368]351310809609/950272 - (28255419*α)/950272
[188 465 1152]351301842921/950272 - (435832059*α)/950272
[36 -111 352]351123772777/950272 - (178949179*α)/950272
[352 815 1888]351-414826639/950272 - (27185531*α)/950272
[30 -273 2496]351102798027/3801088 + (179299071*α)/3801088
[30 -303 3072]351102798027/3801088 + (179299071*α)/3801088
[22 -111 576]351123772777/950272 - (178949179*α)/950272
[20 -303 4608]3514655085/32768 + (3340617*α)/32768
[44 111 288]3512421129/950272 - (397676091*α)/950272
[24 -81 288]3511130591979/3801088 - (3016449*α)/3801088
[20 -47 128]351301842921/950272 - (435832059*α)/950272
[180 -901 4512]35931851127/3801088 - (618837925*α)/3801088
[4 5 96]359143727639/3801088 - (522968741*α)/3801088
[90 -901 9024]359-879300169/3801088 - (803917733*α)/3801088
[60 -901 13536]359143727639/3801088 - (522968741*α)/3801088
[68 197 576]35983520535/3801088 + (698690139*α)/3801088
[46 -187 768]359-1167655401/3801088 + (106150491*α)/3801088
[46 -325 2304]3591171915479/3801088 - (325394085*α)/3801088
[36 -325 2944]359404940567/3801088 - (6358181*α)/3801088
[158 389 960]359-714141193/3801088 + (1434069083*α)/3801088
[30 -91 288]359579387479/3801088 + (857694555*α)/3801088
[30 -421 5920]3591171915479/3801088 - (325394085*α)/3801088
[12 5 32]35931851127/3801088 - (618837925*α)/3801088
[32 -69 160]359404940567/3801088 - (6358181*α)/3801088
[16 69 320]35945030819/131072 - (12171817*α)/131072
[20 -261 3424]359579387479/3801088 + (857694555*α)/3801088
[18 37 96]35983520535/3801088 + (698690139*α)/3801088
[22 -229 2400]359-714141193/3801088 + (1434069083*α)/3801088
[22 -251 2880]35945030819/131072 - (12171817*α)/131072
[184 -553 1664]3671882494637/5701632 - (729052007*α)/5701632
[92 -553 3328]3673241892573/5701632 - (1499039335*α)/5701632
[376 937 2336]367-3019196083/5701632 + (511036697*α)/5701632
[46 -553 6656]3671031221741/5701632 - (93747431*α)/5701632
[46 -599 7808]367-7465612051/5701632 + (2278390553*α)/5701632
[28 -425 6464]3671882494637/5701632 - (729052007*α)/5701632
[296 681 1568]367-3019196083/5701632 + (511036697*α)/5701632
[26 -137 736]367-7465612051/5701632 + (2278390553*α)/5701632
[2 4 192]368-256
[186 556 1664]368256
[4 4 96]36822320/29 - (1776*α)/29
[92 -276 832]368-256
[92 -460 2304]368-256
[92 -644 4512]368-7472/29 + (1776*α)/29
[62 -188 576]368-14896/29 + (1776*α)/29
[62 -436 3072]3687472/29 - (1776*α)/29
[62 -684 7552]368-14896/29 + (1776*α)/29
[62 -932 14016]36822320/29 - (1776*α)/29
[46 -92 192]368-256
[46 -276 1664]368256
[8 12 64]368-256
[48 -244 1248]368-14896/29 + (1776*α)/29
[48 -436 3968]368256
[48 -628 8224]36814896/29 - (1776*α)/29
[12 4 32]368-256
[12 28 96]368-14896/29 + (1776*α)/29
[52 140 384]368256
[156 380 928]36814896/29 - (1776*α)/29
[324 748 1728]368-256
[12 52 256]3680
[52 -172 576]368512
[12 100 864]368-256
[24 -52 128]368256
[24 -76 256]368-512
[24 -148 928]368-22320/29 + (1776*α)/29
[24 -172 1248]368256
[24 -244 2496]368256
[24 -268 3008]3680
[24 -340 4832]3687472/29 - (1776*α)/29
[24 -364 5536]368256
[18 44 128]36814896/29 - (1776*α)/29
[58 148 384]368-22320/29 + (1776*α)/29
[146 348 832]36814896/29 - (1776*α)/29
[282 644 1472]368-7472/29 + (1776*α)/29
[2 3 192]3753449372495/5701632 - (1686839581*α)/5701632
[94 -189 384]3755384923615/5701632 - (594967325*α)/5701632
[94 -1411 21184]375-8690945/5701632 - (1460211101*α)/5701632
[6 3 64]375-8690945/5701632 - (1460211101*α)/5701632
[48 -195 800]375255182015/5701632 - (23198365*α)/5701632
[8 67 608]375-519077425/5701632 - (486490909*α)/5701632
[40 -445 4960]375-3235878185/11403264 + (3193222075*α)/11403264
[12 3 32]3753449372495/5701632 - (1686839581*α)/5701632
[32 -451 6368]375-519077425/5701632 - (486490909*α)/5701632
[46 -157 544]3752066250655/5701632 + (759962467*α)/5701632
[20 -125 800]375-11153681545/11403264 + (7423979195*α)/11403264
[2 2 192]3801777049/3712 - (656427*α)/3712
[190 -1330 9312]3803577113/3712 - (1381931*α)/3712
[4 2 96]380-35827/128 - (23783*α)/128
[96 -674 4736]3802728121/3712 - (239659*α)/3712
[6 2 64]380-35827/128 - (23783*α)/128
[6 14 96]380-334599/3712 + (698325*α)/3712
[270 670 1664]3801107193/3712 + (314837*α)/3712
[6 50 480]380-2839047/3712 + (35797*α)/3712
[48 -290 1760]380-87911/3712 - (272939*α)/3712
[48 -674 9472]380-1887975/3712 + (452565*α)/3712
[8 34 192]380-26771/128 + (3097*α)/128
[60 -190 608]380665433/3712 - (293675*α)/3712
[38 -114 352]3804432537/3712 + (156373*α)/3712
[38 -190 960]380665433/3712 - (293675*α)/3712
[12 2 32]3801777049/3712 - (656427*α)/3712
[32 -162 832]380-26771/128 + (3097*α)/128
[32 -418 5472]3802990745/3712 + (539861*α)/3712
[12 98 832]380-1887975/3712 + (452565*α)/3712
[24 -98 416]380-34067/128 + (3097*α)/128
[24 -290 3520]3802677081/3712 - (1019179*α)/3712
[16 34 96]3801107193/3712 + (314837*α)/3712
[120 290 704]3802548985/3712 - (68651*α)/3712
[26 -110 480]380-4652967/3712 + (1198805*α)/3712
[26 -162 1024]380928057/3712 + (485845*α)/3712
[26 -318 3904]380-34067/128 + (3097*α)/128
[26 -370 5280]380-2839047/3712 + (35797*α)/3712
[22 -114 608]3804432537/3712 + (156373*α)/3712
[22 -158 1152]380-87911/3712 - (272939*α)/3712
[22 -290 3840]3802990745/3712 + (539861*α)/3712
[22 -334 5088]3803577113/3712 - (1381931*α)/3712
[20 30 64]3802728121/3712 - (239659*α)/3712
[24 -226 2144]380928057/3712 + (485845*α)/3712
[2 1 192]383-220653019/1900544 - (548561583*α)/1900544
[4 1 96]383642188821/1900544 - (273992111*α)/1900544
[96 -1345 18848]383-897986619/1900544 - (195803951*α)/1900544
[6 1 64]383642188821/1900544 - (273992111*α)/1900544
[64 -833 10848]383897809957/1900544 - (290093359*α)/1900544
[48 -577 6944]383-348276731/1900544 + (31661521*α)/1900544
[8 65 576]383171437925/1900544 - (622525359*α)/1900544
[12 1 32]383-220653019/1900544 - (548561583*α)/1900544
[32 -321 3232]383837997685/1900544 - (145430191*α)/1900544
[34 -447 5888]3831060627349/1900544 + (24630225*α)/1900544
[34 -481 6816]383171437925/1900544 - (622525359*α)/1900544
[28 -255 2336]383837997685/1900544 - (145430191*α)/1900544
[14 31 96]383897809957/1900544 - (290093359*α)/1900544
[16 65 288]383832900581/1900544 - (444201135*α)/1900544
[24 -319 4256]3831060627349/1900544 + (24630225*α)/1900544
[56 -193 672]383832900581/1900544 - (444201135*α)/1900544
[2 0 192]384-12925/87 - (1087*α)/87
[2 8 224]38419327/29 - (1003*α)/29
[2 16 320]384-3553/3 + (245*α)/3
[4 0 96]38418430/87 - (25814*α)/87
[4 16 160]38445056/87 - (4096*α)/87
[4 32 352]384-108542/87 + (34006*α)/87
[6 0 64]38418430/87 - (25814*α)/87
[6 24 160]384-21162/29 + (9970*α)/29
[6 48 448]384108542/87 - (34006*α)/87
[50 -104 224]384-19327/29 + (1003*α)/29
[50 -304 1856]38412925/87 + (1087*α)/87
[50 -704 9920]3843553/3 - (245*α)/3
[10 24 96]384-21162/29 + (9970*α)/29
[58 160 448]384-45056/87 + (4096*α)/87
[186 456 1120]38421162/29 - (9970*α)/29
[394 912 2112]38445056/87 - (4096*α)/87
[12 0 32]384-12925/87 - (1087*α)/87
[12 48 224]384-45056/87 + (4096*α)/87
[12 96 800]3843553/3 - (245*α)/3
[30 -96 320]38445056/87 - (4096*α)/87
[30 -216 1568]384-19327/29 + (1003*α)/29
[30 -336 3776]384-45056/87 + (4096*α)/87
[30 -456 6944]38419327/29 - (1003*α)/29
[28 -64 160]384-45056/87 + (4096*α)/87
[28 -176 1120]384-18430/87 + (25814*α)/87
[28 -400 5728]384108542/87 - (34006*α)/87
[20 -64 224]38445056/87 - (4096*α)/87
[20 -144 1056]38412925/87 + (1087*α)/87
[20 -304 4640]384-3553/3 + (245*α)/3
[22 32 64]384-108542/87 + (34006*α)/87
[22 -120 672]38421162/29 - (9970*α)/29
[22 -208 1984]384-18430/87 + (25814*α)/87
[196 -2549 33152]391797709767/5701632 + (814079771*α)/5701632
[98 -491 2464]391-3493484041/5701632 + (505369499*α)/5701632
[98 -981 9824]391-1346204211/1900544 + (487730697*α)/1900544
[8 11 64]391-3493484041/5701632 + (505369499*α)/5701632
[50 -203 832]391-3688078889/5701632 + (335279899*α)/5701632
[40 -523 6848]3913460613783/5701632 - (1415990629*α)/5701632
[10 43 224]391-2006905945/5701632 + (774615323*α)/5701632
[28 -309 3424]391-2006905945/5701632 + (774615323*α)/5701632
[44 117 320]3912335856999/5701632 - (1407605989*α)/5701632
[26 -395 6016]391797709767/5701632 + (814079771*α)/5701632
[20 -203 2080]3912335856999/5701632 - (1407605989*α)/5701632
[22 -117 640]3913460613783/5701632 - (1415990629*α)/5701632
[22 -139 896]3911246876061/1900544 - (891440887*α)/1900544
[200 -2201 24224]399-241443715/950272 - (147172919*α)/950272
[100 -601 3616]399-303037403/950272 + (209318345*α)/950272
[106 313 928]399379101341/950272 - (5415671*α)/950272
[68 -615 5568]399-648116827/950272 + (15428169*α)/950272
[50 -551 6080]399-191815923/950272 + (86887433*α)/950272
[50 -601 7232]399859811997/950272 - (78164727*α)/950272
[40 -281 1984]399590835061/950272 - (225285495*α)/950272
[52 -167 544]399-630238219/950272 + (4132617*α)/950272
[34 -71 160]399590835061/950272 - (225285495*α)/950272
[34 -377 4192]399-630238219/950272 + (4132617*α)/950272
[14 7 32]399-241443715/950272 - (147172919*α)/950272
[310 711 1632]399379101341/950272 - (5415671*α)/950272
[20 -281 3968]399-648116827/950272 + (15428169*α)/950272
[24 -153 992]399280962765/950272 - (282028151*α)/950272
[20 89 416]39978635325/950272 - (174378231*α)/950272
[204 -1837 16544]407-2399830757/3801088 - (255336625*α)/3801088
[102 -205 416]40715177271/131072 + (17357403*α)/131072
[102 -307 928]407-2090641413/3801088 - (1105875889*α)/3801088
[68 -749 8256]407530503387/3801088 + (25968719*α)/3801088
[6 13 96]4076896437819/3801088 - (1400880561*α)/3801088
[8 19 96]407530503387/3801088 + (25968719*α)/3801088
[34 -205 1248]407-1657565029/3801088 + (1286076495*α)/3801088
[34 -307 2784]4072420423867/3801088 + (678618191*α)/3801088
[36 -365 3712]4072420423867/3801088 + (678618191*α)/3801088
[366 845 1952]407-2090641413/3801088 - (1105875889*α)/3801088
[26 -237 2176]407-1657565029/3801088 + (1286076495*α)/3801088
[24 -365 5568]407-2399830757/3801088 - (255336625*α)/3801088
[18 77 352]407-235538949/3801088 + (1820176207*α)/3801088
[24 -275 3168]407-235538949/3801088 + (1820176207*α)/3801088
[206 -618 1856]412-10055275/11136 + (2771297*α)/11136
[206 -1030 5152]41211335829/11136 - (2074783*α)/11136
[104 -522 2624]4122978855/3712 - (203061*α)/3712
[104 -1354 17632]4122978855/3712 - (203061*α)/3712
[8 10 64]4122978855/3712 - (203061*α)/3712
[52 -106 224]41227928405/11136 - (3989663*α)/11136
[52 -470 4256]412-4151513/3712 + (1412299*α)/3712
[52 -522 5248]4126537301/11136 + (856417*α)/11136
[14 6 32]41211335829/11136 - (2074783*α)/11136
[58 154 416]412-4151513/3712 + (1412299*α)/3712
[338 778 1792]4122978855/3712 - (203061*α)/3712
[26 -54 128]412-4151513/3712 + (1412299*α)/3712
[26 -106 448]41217232853/11136 - (1566623*α)/11136
[26 -262 2656]412-4151513/3712 + (1412299*α)/3712
[26 -314 3808]41211275143/3712 - (1160501*α)/3712
[28 -118 512]412640277/11136 + (348257*α)/11136
[28 -342 4192]41217232853/11136 - (1566623*α)/11136
[28 -426 6496]412-10055275/11136 + (2771297*α)/11136
[208 -1457 10208]4152050703647/3801088 - (1098201693*α)/3801088
[104 -1457 20416]4152300062237/11403264 - (4496843543*α)/11403264
[110 -335 1024]415-10222598531/11403264 + (4595771113*α)/11403264
[62 177 512]415-13875154723/11403264 + (5069594345*α)/11403264
[10 15 64]415-10222598531/11403264 + (4595771113*α)/11403264
[26 -79 256]415459514143/3801088 - (2246227805*α)/3801088
[22 -49 128]415-13875154723/11403264 + (5069594345*α)/11403264
[22 -335 5120]4152050703647/3801088 - (1098201693*α)/3801088
[212 -1061 5312]423126331613/1900544 - (550692343*α)/1900544
[106 -955 8608]423128218573/1900544 - (997987319*α)/1900544
[106 -1061 10624]423-2717483219/1900544 + (882025609*α)/1900544
[72 -219 672]423-558688563/950272 + (390347073*α)/950272
[54 -165 512]423-3907605523/1900544 - (20392183*α)/1900544
[36 -219 1344]423156555261/950272 + (491193729*α)/950272
[12 27 96]423-558688563/950272 + (390347073*α)/950272
[14 5 32]423126331613/1900544 - (550692343*α)/1900544
[32 -165 864]423-3907605523/1900544 - (20392183*α)/1900544
[148 357 864]423519050557/1900544 + (768882697*α)/1900544
[24 -219 2016]423156555261/950272 + (491193729*α)/950272
[48 -165 576]42340630869/950272 - (8517375*α)/950272
[18 27 64]423128218573/1900544 - (997987319*α)/1900544
[216 -649 1952]4311644107025/1900544 + (816589757*α)/1900544
[108 -649 3904]4311939001889/1900544 + (1594148797*α)/1900544
[4 9 128]4311221023585/1900544 + (695158205*α)/1900544
[72 -649 5856]431-1423486879/1900544 - (462228547*α)/1900544
[80 -247 768]431-1210840847/1900544 - (325277507*α)/1900544
[8 9 64]4311221023585/1900544 + (695158205*α)/1900544
[44 -311 2208]431-947023455/1900544 - (490149571*α)/1900544
[10 23 96]431-1210840847/1900544 - (325277507*α)/1900544
[36 -73 160]431-947023455/1900544 - (490149571*α)/1900544
[50 137 384]431-1393263823/1900544 - (1679693635*α)/1900544
[38 -119 384]431-1492915311/1900544 + (445853757*α)/1900544
[38 -233 1440]431-892948335/1900544 - (167154371*α)/1900544
[30 -457 6976]4311644107025/1900544 + (816589757*α)/1900544
[24 -265 2944]431-1492915311/1900544 + (445853757*α)/1900544
[18 73 320]431-434109375/1900544 - (406678851*α)/1900544
[22 -201 1856]431-892948335/1900544 - (167154371*α)/1900544
[22 -311 4416]431-1423486879/1900544 - (462228547*α)/1900544
[24 -247 2560]431-1393263823/1900544 - (1679693635*α)/1900544
[58 -201 704]431-434109375/1900544 - (406678851*α)/1900544
[2 4 224]432-28894/29 + (22*α)/29
[218 652 1952]43228894/29 - (22*α)/29
[6 12 96]4320
[78 228 672]4320
[54 -108 224]432-28894/29 + (22*α)/29
[54 -324 1952]43228894/29 - (22*α)/29
[14 4 32]432-28894/29 + (22*α)/29
[14 60 288]4320
[54 -180 608]43257788/29 - (44*α)/29
[18 36 96]4320
[42 108 288]4320
[26 -84 288]432-57788/29 + (44*α)/29
[26 -292 3296]4320
[26 -396 6048]43228894/29 - (22*α)/29
[2 3 224]43913332153919/11403264 - (3257380829*α)/11403264
[110 -221 448]4391018657739/393216 - (347741377*α)/393216
[110 -771 5408]4393728717205/3801088 - (1229372575*α)/3801088
[70 -221 704]4393238757141/3801088 - (529703583*α)/3801088
[44 -221 1120]4393238757141/3801088 - (529703583*α)/3801088
[56 157 448]439-10758216139/3801088 + (3815284065*α)/3801088
[14 3 32]43913332153919/11403264 - (3257380829*α)/11403264
[32 -99 320]439-27679623233/11403264 + (5563284259*α)/11403264
[50 131 352]439-7665682945/11403264 + (8630888483*α)/11403264
[22 -67 224]439-27679623233/11403264 + (5563284259*α)/11403264
[22 -221 2240]439-7665682945/11403264 + (8630888483*α)/11403264
[20 29 64]4393728717205/3801088 - (1229372575*α)/3801088
[26 -61 160]439-10758216139/3801088 + (3815284065*α)/3801088
[2 2 224]4441187975/3712 - (3533077*α)/3712
[222 -1554 10880]4442313287/3712 - (1340181*α)/3712
[112 -338 1024]4442737255/3712 - (247829*α)/3712
[112 -1234 13600]444-209965/128 - (59481*α)/128
[74 -222 672]4448084999/3712 + (1358315*α)/3712
[74 -370 1856]444-741241/3712 - (118805*α)/3712
[56 -338 2048]444-4539705/3712 + (1560299*α)/3712
[56 -786 11040]444-5665017/3712 - (632597*α)/3712
[8 18 96]444-741241/3712 - (118805*α)/3712
[240 594 1472]444-51213/128 + (11687*α)/128
[10 14 64]444-209965/128 - (59481*α)/128
[46 -142 448]4442927943/3712 + (1077483*α)/3712
[46 -418 3808]444-4963673/3712 + (467947*α)/3712
[46 -510 5664]4442184007/3712 + (1535211*α)/3712
[12 18 64]4442737255/3712 - (247829*α)/3712
[40 -366 3360]4443862567/3712 + (1945067*α)/3712
[14 2 32]4441187975/3712 - (3533077*α)/3712
[14 30 96]4448084999/3712 + (1358315*α)/3712
[150 366 896]4447341063/3712 + (1816043*α)/3712
[28 -114 480]444-5102361/3712 + (463851*α)/3712
[28 -142 736]4442927943/3712 + (1077483*α)/3712
[28 -338 4096]4441750631/3712 - (2436629*α)/3712
[28 -366 4800]4443671879/3712 + (619755*α)/3712
[30 -66 160]444-4963673/3712 + (467947*α)/3712
[30 -126 544]444-11955353/3712 + (3364331*α)/3712
[30 -306 3136]4443862567/3712 + (1945067*α)/3712
[30 -366 4480]444-5102361/3712 + (463851*α)/3712
[24 -366 5600]4442313287/3712 - (1340181*α)/3712
[20 46 128]444-51213/128 + (11687*α)/128
[140 334 800]4447341063/3712 + (1816043*α)/3712
[2 1 224]447-2457174779/3801088 - (1862226319*α)/3801088
[112 -1569 21984]447-3965275963/3801088 - (550516623*α)/3801088
[4 33 384]447-2575682587/3801088 + (632426097*α)/3801088
[76 -991 12928]4472030992613/3801088 - (261012623*α)/3801088
[8 33 192]447-3059665467/3801088 + (20475249*α)/3801088
[38 -193 992]447-3059665467/3801088 + (20475249*α)/3801088
[38 -383 3872]447-3285437019/3801088 - (1386244239*α)/3801088
[14 1 32]447-2457174779/3801088 - (1862226319*α)/3801088
[32 -289 2624]447-3285437019/3801088 - (1386244239*α)/3801088
[16 33 96]4472030992613/3801088 - (261012623*α)/3801088
[22 31 64]447-2575682587/3801088 + (632426097*α)/3801088
[22 97 448]447-941985723/3801088 - (1395626639*α)/3801088
[2 0 224]44823988/29 - (39364*α)/29
[2 8 256]44858784/87 + (67040*α)/87
[2 16 352]448-189532/87 - (15988*α)/87
[4 8 128]4480
[116 344 1024]4480
[8 8 64]4480
[56 -168 512]4480
[56 -280 1408]4480
[56 -392 2752]4480
[58 -120 256]448-58784/87 - (67040*α)/87
[58 -352 2144]448-23988/29 + (39364*α)/29
[58 -816 11488]448189532/87 + (15988*α)/87
[14 0 32]44823988/29 - (39364*α)/29
[14 56 256]448-130748/87 + (51052*α)/87
[28 -56 128]4480
[28 -168 1024]4480
[16 8 32]44858784/87 + (67040*α)/87
[16 24 64]4480
[32 -104 352]448130748/87 - (51052*α)/87
[32 -168 896]4480
[32 -296 2752]4480
[32 -360 4064]448-130748/87 + (51052*α)/87
[32 -424 5632]4480
[22 -72 256]448130748/87 - (51052*α)/87
[22 -336 5152]448-189532/87 - (15988*α)/87
[228 -2965 38560]4558310887/29696 - (14961997*α)/118784
[114 -1141 11424]455-6598009/118784 - (89653517*α)/118784
[114 -1483 19296]455256497607/118784 - (72589133*α)/118784
[76 -533 3744]45564433851/59392 + (167567339*α)/118784
[696 1621 3776]455-355351599/118784 + (58428571*α)/118784
[58 -757 9888]45516122703/118784 - (43274821*α)/118784
[48 -341 2432]45514831529/59392 + (71879355*α)/118784
[38 -267 1888]455-152897845/118784 + (62489051*α)/118784
[38 -533 7488]45514831529/59392 + (71879355*α)/118784
[40 -85 192]455-152897845/118784 + (62489051*α)/118784
[62 -203 672]45523726009/118784 + (93144203*α)/118784
[14 21 64]455256497607/118784 - (72589133*α)/118784
[30 -395 5216]455257559661/118784 + (13953467*α)/118784
[28 -427 6528]4558310887/29696 - (14961997*α)/118784
[18 43 128]45516122703/118784 - (43274821*α)/118784
[24 -341 4864]45564433851/59392 + (167567339*α)/118784
[20 85 384]455-104213349/118784 - (4377693*α)/118784
[24 -299 3744]455-104213349/118784 - (4377693*α)/118784
[232 -2553 28096]463-4039829411/1900544 + (1585750873*α)/1900544
[116 -697 4192]463-1834804787/1900544 - (1400357287*α)/1900544
[1054 2457 5728]463-9358186393/5701632 + (11596773899*α)/5701632
[58 -871 13088]463-9358186393/5701632 + (11596773899*α)/5701632
[16 7 32]463-4039829411/1900544 + (1585750873*α)/1900544
[236 -2125 19136]471-8389723413/3801088 + (662804447*α)/3801088
[118 -237 480]471-7877419221/3801088 + (2192713183*α)/3801088
[118 -1299 14304]47112883811499/3801088 - (5654535457*α)/3801088
[80 -563 3968]4712026892619/3801088 - (1533680673*α)/3801088
[74 211 608]4713788626315/3801088 - (3296241697*α)/3801088
[10 13 64]47112883811499/3801088 - (5654535457*α)/3801088
[10 83 736]471-4711295637/3801088 + (2512323039*α)/3801088
[40 -563 7936]471-4711295637/3801088 + (2512323039*α)/3801088
[12 51 256]471-1938831477/3801088 + (317394143*α)/3801088
[30 -333 3712]471-1938831477/3801088 + (317394143*α)/3801088
[24 -51 128]4713788626315/3801088 - (3296241697*α)/3801088
[50 -173 608]471-10061572277/3801088 + (5092313823*α)/3801088
[26 -371 5312]4712026892619/3801088 - (1533680673*α)/3801088
[26 -397 6080]471-8389723413/3801088 + (662804447*α)/3801088
[238 -714 2144]476-8100515/1856 + (1108201*α)/1856
[238 -1190 5952]476-1279779/1856 + (2615785*α)/1856
[4 6 128]476-4447795/1856 + (1122153*α)/1856
[120 -1082 9760]476-4447795/1856 + (1122153*α)/1856
[90 262 768]476632797/1856 - (765591*α)/1856
[738 1718 4000]476-2531619/1856 - (298391*α)/1856
[6 26 192]4762583101/1856 - (929815*α)/1856
[90 -278 864]4762583101/1856 - (929815*α)/1856
[60 -122 256]476-795075/1856 + (1136105*α)/1856
[60 -422 2976]4762372941/1856 + (2629737*α)/1856
[60 -602 6048]476-7615811/1856 - (371479*α)/1856
[60 -902 13568]476-4447795/1856 + (1122153*α)/1856
[10 22 96]4762583101/1856 - (929815*α)/1856
[210 518 1280]4762215005/1856 - (999191*α)/1856
[10 42 224]4763613165/1856 - (1267479*α)/1856
[62 -198 640]476448749/1856 - (800279*α)/1856
[40 -122 384]476816845/1856 - (730903*α)/1856
[40 -442 4896]476448749/1856 - (800279*α)/1856
[12 26 96]4762583101/1856 - (929815*α)/1856
[180 442 1088]4762215005/1856 - (999191*α)/1856
[34 -102 320]4763981261/1856 - (1198103*α)/1856
[34 -170 864]4763613165/1856 - (1267479*α)/1856
[30 -122 512]476-4205443/1856 + (382313*α)/1856
[30 -182 1120]4762372941/1856 + (2629737*α)/1856
[30 -362 4384]476-3720739/1856 - (1097367*α)/1856
[30 -422 5952]4762372941/1856 + (2629737*α)/1856
[16 6 32]476-1279779/1856 + (2615785*α)/1856
[32 -134 576]476-4690147/1856 + (1861993*α)/1856
[32 -390 4768]476-4205443/1856 + (382313*α)/1856
[18 26 64]476-4447795/1856 + (1122153*α)/1856
[30 -278 2592]4762372941/1856 + (2629737*α)/1856
[30 -458 7008]476-8100515/1856 + (1108201*α)/1856
[24 -122 640]476816845/1856 - (730903*α)/1856
[24 -314 4128]4763981261/1856 - (1198103*α)/1856
[48 122 320]4763797213/1856 - (1232791*α)/1856
[248 570 1312]476632797/1856 - (765591*α)/1856
[24 -58 160]4762215005/1856 - (999191*α)/1856
[24 -250 2624]4762215005/1856 - (999191*α)/1856
[240 -1681 11776]479459943337/475136 + (216233409*α)/475136
[120 -1681 23552]479665024481/475136 - (31022815*α)/475136
[4 17 192]4791496678889/475136 + (469306945*α)/475136
[80 -401 2016]4791282778673/475136 + (200523233*α)/475136
[6 49 480]479-316001183/475136 - (125800575*α)/475136
[8 17 96]4791282778673/475136 + (200523233*α)/475136
[48 -145 448]479-1090032919/475136 + (57469569*α)/475136
[10 81 704]479219857525/475136 - (34409855*α)/475136
[40 -401 4032]47978721981/475136 - (317786047*α)/475136
[54 -175 576]479-1473566443/475136 - (467971935*α)/475136
[12 17 64]4791496678889/475136 + (469306945*α)/475136
[42 -593 8384]479219857525/475136 - (34409855*α)/475136
[36 -401 4480]479-1473566443/475136 - (467971935*α)/475136
[178 433 1056]479-535325687/475136 + (25135361*α)/475136
[30 -271 2464]47978721981/475136 - (317786047*α)/475136
[28 -145 768]479-1090032919/475136 + (57469569*α)/475136
[56 145 384]479-1255509991/475136 - (63933727*α)/475136
[24 -145 896]479-1255509991/475136 - (63933727*α)/475136
[20 81 352]479-518608971/475136 - (183909279*α)/475136
[28 -401 5760]479-316001183/475136 - (125800575*α)/475136
[168 401 960]479-535325687/475136 + (25135361*α)/475136
[24 -367 5632]479459943337/475136 + (216233409*α)/475136
[60 -209 736]479-518608971/475136 - (183909279*α)/475136
[244 -1221 6112]487-21621918173/11403264 + (24376406263*α)/11403264
[4 5 128]48731272066691/11403264 - (8235061769*α)/11403264
[122 -1221 12224]487-5871590429/11403264 + (16327432183*α)/11403264
[62 -933 14048]48731272066691/11403264 - (8235061769*α)/11403264
[16 5 32]487-21621918173/11403264 + (24376406263*α)/11403264
[248 -745 2240]4959865516571/3801088 - (4490850961*α)/3801088
[124 -745 4480]4957622572507/3801088 - (1252453265*α)/3801088
[504 1257 3136]495-6941281445/3801088 - (1109079953*α)/3801088
[6 9 96]495-227512935/475136 - (293658699*α)/475136
[62 -311 1568]495-2199293381/3801088 + (1877863023*α)/3801088
[52 -681 8928]495-7844479301/3801088 + (3270653551*α)/3801088
[42 -87 192]495-142401735/475136 - (89481291*α)/475136
[42 -297 2112]495-142401735/475136 - (89481291*α)/475136
[36 -471 6176]4956830389243/3801088 - (176272017*α)/3801088
[56 151 416]4952224231355/3801088 + (2534439791*α)/3801088
[16 23 64]495-6941281445/3801088 - (1109079953*α)/3801088
[28 -87 288]4959453571995/3801088 + (345111407*α)/3801088
[142 343 832]49519614400923/3801088 - (1955475601*α)/3801088
[18 9 32]4959865516571/3801088 - (4490850961*α)/3801088
[26 -265 2720]4952224231355/3801088 + (2534439791*α)/3801088
[26 -343 4544]4956830389243/3801088 - (176272017*α)/3801088
[28 -151 832]495-7844479301/3801088 + (3270653551*α)/3801088
[24 -105 480]495-234333639/475136 - (40827723*α)/475136
[2 4 256]496-208640/87 + (65536*α)/87
[250 748 2240]496208640/87 - (65536*α)/87
[4 4 128]496208640/87 - (65536*α)/87
[124 -372 1120]496-516400/87 + (123632*α)/87
[124 -620 3104]49633040/29 + (2480*α)/29
[124 -868 6080]496208640/87 - (65536*α)/87
[62 -124 256]496-208640/87 + (65536*α)/87
[62 -372 2240]496208640/87 - (65536*α)/87
[8 4 64]496208640/87 - (65536*α)/87
[64 -196 608]496307760/87 - (58096*α)/87
[64 -452 3200]496-208640/87 + (65536*α)/87
[64 -708 7840]496-307760/87 + (58096*α)/87
[10 12 64]49633040/29 + (2480*α)/29
[50 -252 1280]496-307760/87 + (58096*α)/87
[50 -452 4096]496516400/87 - (123632*α)/87
[50 -652 8512]496-307760/87 + (58096*α)/87
[14 20 64]496-516400/87 + (123632*α)/87
[38 -196 1024]496307760/87 - (58096*α)/87
[38 -348 3200]496-33040/29 - (2480*α)/29
[38 -500 6592]496307760/87 - (58096*α)/87
[16 4 32]496-208640/87 + (65536*α)/87
[32 -68 160]496516400/87 - (123632*α)/87
[32 -196 1216]496-208640/87 + (65536*α)/87
[32 -324 3296]496-33040/29 - (2480*α)/29
[32 -452 6400]496-208640/87 + (65536*α)/87
[16 68 320]4960
[56 -188 640]496417280/87 - (131072*α)/87
[20 28 64]496208640/87 - (65536*α)/87
[28 -92 320]496-417280/87 + (131072*α)/87
[28 -148 800]496-307760/87 + (58096*α)/87
[28 -260 2432]496-208640/87 + (65536*α)/87
[28 -316 3584]4960
[28 -372 4960]496307760/87 - (58096*α)/87
[28 -428 6560]496208640/87 - (65536*α)/87