# Manifold: Census Knot K8_230 # Number of Tetrahedra: 8 # Number Field x^27 + x^26 - 686*x^25 - 22778*x^24 - 439828*x^23 - 6020864*x^22 - 62879315*x^21 - 517516437*x^20 - 3404684691*x^19 - 18040067753*x^18 - 77423814501*x^17 - 270480074045*x^16 - 772221453732*x^15 - 1805956942689*x^14 - 3458976711921*x^13 - 5403253574891*x^12 - 6808883468552*x^11 - 6754716255080*x^10 - 4976779848000*x^9 - 2251812674736*x^8 + 104414588416*x^7 + 1222181688064*x^6 + 1185409644032*x^5 + 665387832064*x^4 + 231275407360*x^3 + 41563033600*x^2 - 20480000*x - 1024000000 # Approximate Field Generator -0.320772098097352 + 0.870676434100142*I # Shape Parameters -9750298795088217304233612336963117314387407014376787767712258432217617990461338759949244389/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^26 + 4079326348797736946427969157199594985759981223623848726232362704423789145804727841847477261/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^25 + 835359263527363642110550064639923315477757872064000232910502537915347444267755656233723767813/637966680830926730722745970421922836837962251153746672136961366434380525558298068724548549635200000*y^24 + 106306632685570486164356492213538598449918408058939101538446775546918113908717217396589787205371/2551866723323706922890983881687691347351849004614986688547845465737522102233192274898194198540800000*y^23 + 249182499251713195982489483720315442338478056194938730691689887794208820678758030796860824585087/318983340415463365361372985210961418418981125576873336068480683217190262779149034362274274817600000*y^22 + 6631421510679311172668832841101213088615947421617931136595431011801990005886513412463520617099487/637966680830926730722745970421922836837962251153746672136961366434380525558298068724548549635200000*y^21 + 107573448103993793659438482944565298029693319091086344738108867403290649485932704948784642880689587/1020746689329482769156393552675076538940739601845994675419138186295008840893276909959277679416320000*y^20 + 4283347508587884354912309752704011562492951034939086099969909510606439716087710913745571365242572243/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^19 + 2086500961639079178363595293182409894036448536643355848898643218465829576038152799165695667287233673/392594880511339526598612904875029438054130616094613336699668533190388015728183426907414492083200000*y^18 + 137449750649437005261349089018917210303169792348600628893420887495146631333141902033538924587574137767/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^17 + 560122029008216678923531881480084234952205231781105273758435363287385242479918974683708726285723862439/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^16 + 368737451409889247392633800621818579890890129723551366272261275993740273501236469002933208854930065371/1020746689329482769156393552675076538940739601845994675419138186295008840893276909959277679416320000*y^15 + 2459003410037572951328156201681395855923262712442746896616932785471932857318760425906296811601911482749/2551866723323706922890983881687691347351849004614986688547845465737522102233192274898194198540800000*y^14 + 10645054945244991292181488865267743992221241067854110910162887952813577901544618216424346024614952274221/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^13 + 18658969888686468818664198885814698037939954454788921352551954970879709389556061721040602330158345304419/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^12 + 26284527502864799554859268740840588402290707315009821040096568498655019868994441615076104951143908116949/5103733446647413845781967763375382694703698009229973377095690931475044204466384549796388397081600000*y^11 + 14609884537747026969120495972449221014810400139709546637147757157557250964893615708542926622267704747289/2551866723323706922890983881687691347351849004614986688547845465737522102233192274898194198540800000*y^10 + 614175411297325692812946299494108773345585082948403132567626892277965732943690073802001547564198613133/127593336166185346144549194084384567367592450230749334427392273286876105111659613744909709927040000*y^9 + 276787083041197671322978290860549330057288415716499046960556591170359317678644007104066800143496367/102074668932948276915639355267507653894073960184599467541913818629500884089327690995927767941632*y^8 + 153449430670904820633033151625457288391215162875520917124990144904592093421152197105917569935248378519/318983340415463365361372985210961418418981125576873336068480683217190262779149034362274274817600000*y^7 - 138277194063675417646939780381267617429246626698963092000789737749071332739912197463567646939412138507/159491670207731682680686492605480709209490562788436668034240341608595131389574517181137137408800000*y^6 - 10957277925201244100299459687132087035599782630031713952024806595897195911014813552510449028192299583/9968229387983230167542905787842544325593160174277291752140021350537195711848407323821071088050000*y^5 - 7009537063398911692238537298703379389268172903362019416070153165394756455151204085273368339653999279/9968229387983230167542905787842544325593160174277291752140021350537195711848407323821071088050000*y^4 - 5394881875437877973035824610381165682496097894262202234481431499175184313351059215733332490140073891/19936458775966460335085811575685088651186320348554583504280042701074391423696814647642142176100000*y^3 - 104957738990297014910470702885795366960982269106715138719652948719090316486570413564962331311511749/1993645877596646033508581157568508865118632034855458350428004270107439142369681464764214217610000*y^2 + 104724806529497308784136112083323776855796666087443155750776914184000240507193278962073683331189/49841146939916150837714528939212721627965800871386458760700106752685978559242036619105355440250*y + 3992786099632547683350394925324411677043830427609580933556614180293304651527797421752834226608/996822938798323016754290578784254432559316017427729175214002135053719571184840732382107108805 585672890746919677431907489856034882412887081571464185966486701363949521139762542471010073/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^26 - 349852756504584847658161696064450323480181565616689920824105624319804699321550901756165727/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^25 - 200689209747570047836305833884843103948845061350087431138760020022249877648176444007702477939/101244464325479346276174722542657859446611743884744562132427909769391870749184379087410997760000000*y^24 - 6349619255124973094905110095257664040904485159041641468776120021827287227515744988568647856997/101244464325479346276174722542657859446611743884744562132427909769391870749184379087410997760000000*y^23 - 59299174299894453863908098600407465755946227433807045100887474669883081938873661331062888298761/50622232162739673138087361271328929723305871942372281066213954884695935374592189543705498880000000*y^22 - 49121288145656728229307315684826690743046921855169039500749042245322569008926556993022670461573/3163889510171229571130460079458058107706616996398267566638372180293495960912011846481593680000000*y^21 - 6347478590341076075792427834475546978904765774552436970035401435365635252382714458185744320417759/40497785730191738510469889017063143778644697553897824852971163907756748299673751634964399104000000*y^20 - 251500044193258201949178491868224990631849366025935866649499791858139786493862700507650647345812901/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^19 - 121783030050626766373349031424362301165186333591707929612755005770403563570675855209269763814862911/15576071434689130196334572698870439914863345213037624943450447656829518576797596782678615040000000*y^18 - 7964078422780123968476198363324010215431929677041085724947390563940224284517120349949367519761608169/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^17 - 32163793509281590861536618681354945050987589946827389707743049551369035924034700935407206078285321173/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^16 - 20941079095216402206385660918250653202024883887814865365448014417422684704146404842250548654284293897/40497785730191738510469889017063143778644697553897824852971163907756748299673751634964399104000000*y^15 - 68878933850802008565420416218492691138894984896400126850965677882670539776471384500623176217421365359/50622232162739673138087361271328929723305871942372281066213954884695935374592189543705498880000000*y^14 - 586302614853015483783179997478202770318443502410824453646521164279742336537870626173512854701887470697/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^13 - 1005708218481056317206766248861016355821089251934595433000193037727474272049554582841471930898617614033/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^12 - 1376886722210701822443937881115869415735747089110320518105412334814110986941896386308685245182790735243/202488928650958692552349445085315718893223487769489124264855819538783741498368758174821995520000000*y^11 - 91892852293768010913052500554597055355481518137327324653267104248441404191394187919069505974929913531/12655558040684918284521840317832232430826467985593070266553488721173983843648047385926374720000000*y^10 - 28961606432812396138024955464473386620736881328545315803777378191174791905688107008902461889386420231/5062223216273967313808736127132892972330587194237228106621395488469593537459218954370549888000000*y^9 - 1409829397218935086387415165522425417366686132632678309905779832167053538155809155427505828285029/506222321627396731380873612713289297233058719423722810662139548846959353745921895437054988800*y^8 + 245510436467819476333297972331358650443964649831835745799521449144997364060387397022649285021336517/12655558040684918284521840317832232430826467985593070266553488721173983843648047385926374720000000*y^7 + 2294728176989178064688910764113808226021047670612546687404102225815884321388754234481235376524497681/1581944755085614785565230039729029053853308498199133783319186090146747980456005923240796840000000*y^6 + 70809258936879259402833138037444839301530347527576666168488847621441764198390434614805747489779457/49435773596425462048913438741532157932915890568722930728724565317085874389250185101274901250000*y^5 + 303723494563803595419300620832736990482738220192184210183018801642487391597006626167339628243821803/395486188771403696391307509932257263463327124549783445829796522536686995114001480810199210000000*y^4 + 174639116172465074406308546590971643607963768695764760442610667025239421602385709978244017516421387/790972377542807392782615019864514526926654249099566891659593045073373990228002961620398420000000*y^3 + 45194581799131000028650223871653725431689513353147961104115095449323045331447851562407287767423/4943577359642546204891343874153215793291589056872293072872456531708587438925018510127490125000*y^2 - 1722179335466263917178127320932456371796667914503692605675559055639258677795278912627869949878/123589433991063655122283596853830394832289726421807326821811413292714685973125462753187253125*y - 9513669483769852610243122135674316145185552238480686801722714005732705614676638300949666822/4943577359642546204891343874153215793291589056872293072872456531708587438925018510127490125 -657096087379171181952108830658532299730543344187311755547406099096197695319158998652465409907130826480408899078719560929645982362872803047/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^26 + 133396491419551142171103729097262971483199227022232591292501659331324559387801426612001476679714698515338023013424330543749664329158735453/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^25 + 75112261051319027432777666787040823345406805229297906660241525589439397716080312395001826775512700340058231441045129243042198258050668079457/1004379518255183585746109862018695894647652510546567025402524200422986160311097156120528223415264271603102154634583550635693998605886634765824000*y^24 + 2404181896265498098903834284689217055104895957085208153636536779989765389525564325549689442541284923298368503912465669209882537449247554468261/1004379518255183585746109862018695894647652510546567025402524200422986160311097156120528223415264271603102154634583550635693998605886634765824000*y^23 + 67902615681292328257721910472501658716807877092381996320851167255417591187959305532050850270754775649483253234773774594288999573960558208426729/1506569277382775378619164793028043841971478765819850538103786300634479240466645734180792335122896407404653231951875325953540997908829952148736000*y^22 + 226758091754914947339293454393968540177115168101125768952284601665469419775504730808801930897938814186057522147275050511312885457907588278572163/376642319345693844654791198257010960492869691454962634525946575158619810116661433545198083780724101851163307987968831488385249477207488037184000*y^21 + 7385428030376320459091337908827420839544120126453401067960303031694324646537861663466071414397419930603357176952701486746897650756018624834872161/1205255421906220302895331834422435073577183012655880430483029040507583392373316587344633868098317125923722585561500260762832798327063961718988800*y^20 + 10182584866093128478800657339710773564629632781713565329286716106582734296074769378053422892436646141330141069246161915613550662964266228682468691/207802658949348328085402040417661219582272933216531108703970524225445412478158032300798942775571918262710790614051769097040137642597234779136000*y^19 + 144506411975625555843503181226352318663957848623322557311743493567843731764236225327512055284443426688106140666856086370216556328087799673640990229/463559777656238578036666090162475028298916543329184780955011169425993612451275610517166872345506586893739455985192407985704922433486139122688000*y^18 + 9567747153805565366402010641998592405945573184578523021823862401173558015538984928482803355047921794826361626433809413355907140127974883929592859891/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^17 + 39201976091445920654845936865926422220756057740620265174357977169145812714282853562175605776308277863590597119587683788368325196951940272708834058047/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^16 + 189445880820587690470752535585764394012574522664174821368816945758692222073171085775408401631808527097849485743766865752627705494659928684266120179/8797484831432264984637458645419234113702065785809346207905321463559002864038807206895137723345380481195055369062045698998779549832583662182400*y^15 + 14506763509213635305396022336430020121564653381810821556310639559913670152659415070378517439467660969383662516542350380687755396739195120563070144371/251094879563795896436527465504673973661913127636641756350631050105746540077774289030132055853816067900775538658645887658923499651471658691456000*y^14 + 757929087565518080835672784351186617209941243132075128662811138380320255194161157487855178405612196866384593891392264441125430677703445601746590555383/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^13 + 1335972231968092027007343624684157853371275953005339021896081854291692021355693744289076704950944711479620864512308820953789120322727070862777740100787/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^12 + 172016696443538924865309163315497179785961900270576179309189300720530404758499423476183926551925558872038115080237841608240533142829579896572897877307/547843373593736501316059924737470487989628642116309286583195018412537905624234812429379030953780511783510266164318300346742181057756346235904000*y^11 + 48061300254700447572328924805108452145742359626718668982327394912094172842460503151822495967268699243645946411264184939993262987003344890935388424601/136960843398434125329014981184367621997407160529077321645798754603134476406058703107344757738445127945877566541079575086685545264439086558976000*y^10 + 44696749924842464803153509365170333844728838427676578656972768052067204541223220698248211255338064236857695727148435937676184702419100966762120435819/150656927738277537861916479302804384197147876581985053810378630063447924046664573418079233512289640740465323195187532595354099790882995214873600*y^9 + 253644159571013468507198612695190825713144425047899426520608025438314128377518584102462272440894898501209319659034671633893695423129118717955360469/1506569277382775378619164793028043841971478765819850538103786300634479240466645734180792335122896407404653231951875325953540997908829952148736*y^8 + 11626071537400841255154424997696122174859784679917754285008537438869375817080028545733185195527517884534420895562567489471898338318066729113268090037/376642319345693844654791198257010960492869691454962634525946575158619810116661433545198083780724101851163307987968831488385249477207488037184000*y^7 - 4986621241667328491112249486245158587239855333655108727783904121096411314370329817425761452972627593127415380742228644922740291098638872582291544243/94160579836423461163697799564252740123217422863740658631486643789654952529165358386299520945181025462790826996992207872096312369301872009296000*y^6 - 532922067882694621737963182364649239483444069797164829551550032358632062590742798125582431560431373818868317365327467038953353587573350958242544431/7846714986368621763641483297021061676934785238645054885957220315804579377430446532191626745431752121899235583082683989341359364108489334108000*y^5 - 171487852555762128486495721788020993778925676916733282028403481600708550577371435017162148452894060812680466159772173865453896672043726773433132889/3923357493184310881820741648510530838467392619322527442978610157902289688715223266095813372715876060949617791541341994670679682054244667054000*y^4 - 399786370618571661160514369017014270619367702130772090227736260175196982978799879197480718628908458040903291440981979060932414764144924088315954293/23540144959105865290924449891063185030804355715935164657871660947413738132291339596574880236295256365697706749248051968024078092325468002324000*y^3 - 370577808915094396496781059245488763250882711593706884785870208081373043227512648939649889366509307600029796330626985197787673231767851768818181/107000658905026660413292954050287204685474344163341657535780277033698809692233361802613091983160256207716848860218418036473082237843036374200*y^2 - 15103123840044887481876491772022804188097155102470352915643052100267061133840295603611733036619366413452059227652573342910764415054418252311/232610128054405783507158595761493923229292052529003603338652776160214803678768177831767591267739687408080106217866126166245830951832687770*y + 167851790619942738731916735026910871638308707289671288867582854807446378854424048684737383707873926961772800570722965284826306051647289818560/1961678746592155440910370824255265419233696309661263721489305078951144844357611633047906686357938030474808895770670997335339841027122333527 -657096087379171181952108830658532299730543344187311755547406099096197695319158998652465409907130826480408899078719560929645982362872803047/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^26 + 133396491419551142171103729097262971483199227022232591292501659331324559387801426612001476679714698515338023013424330543749664329158735453/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^25 + 75112261051319027432777666787040823345406805229297906660241525589439397716080312395001826775512700340058231441045129243042198258050668079457/1004379518255183585746109862018695894647652510546567025402524200422986160311097156120528223415264271603102154634583550635693998605886634765824000*y^24 + 2404181896265498098903834284689217055104895957085208153636536779989765389525564325549689442541284923298368503912465669209882537449247554468261/1004379518255183585746109862018695894647652510546567025402524200422986160311097156120528223415264271603102154634583550635693998605886634765824000*y^23 + 67902615681292328257721910472501658716807877092381996320851167255417591187959305532050850270754775649483253234773774594288999573960558208426729/1506569277382775378619164793028043841971478765819850538103786300634479240466645734180792335122896407404653231951875325953540997908829952148736000*y^22 + 226758091754914947339293454393968540177115168101125768952284601665469419775504730808801930897938814186057522147275050511312885457907588278572163/376642319345693844654791198257010960492869691454962634525946575158619810116661433545198083780724101851163307987968831488385249477207488037184000*y^21 + 7385428030376320459091337908827420839544120126453401067960303031694324646537861663466071414397419930603357176952701486746897650756018624834872161/1205255421906220302895331834422435073577183012655880430483029040507583392373316587344633868098317125923722585561500260762832798327063961718988800*y^20 + 10182584866093128478800657339710773564629632781713565329286716106582734296074769378053422892436646141330141069246161915613550662964266228682468691/207802658949348328085402040417661219582272933216531108703970524225445412478158032300798942775571918262710790614051769097040137642597234779136000*y^19 + 144506411975625555843503181226352318663957848623322557311743493567843731764236225327512055284443426688106140666856086370216556328087799673640990229/463559777656238578036666090162475028298916543329184780955011169425993612451275610517166872345506586893739455985192407985704922433486139122688000*y^18 + 9567747153805565366402010641998592405945573184578523021823862401173558015538984928482803355047921794826361626433809413355907140127974883929592859891/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^17 + 39201976091445920654845936865926422220756057740620265174357977169145812714282853562175605776308277863590597119587683788368325196951940272708834058047/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^16 + 189445880820587690470752535585764394012574522664174821368816945758692222073171085775408401631808527097849485743766865752627705494659928684266120179/8797484831432264984637458645419234113702065785809346207905321463559002864038807206895137723345380481195055369062045698998779549832583662182400*y^15 + 14506763509213635305396022336430020121564653381810821556310639559913670152659415070378517439467660969383662516542350380687755396739195120563070144371/251094879563795896436527465504673973661913127636641756350631050105746540077774289030132055853816067900775538658645887658923499651471658691456000*y^14 + 757929087565518080835672784351186617209941243132075128662811138380320255194161157487855178405612196866384593891392264441125430677703445601746590555383/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^13 + 1335972231968092027007343624684157853371275953005339021896081854291692021355693744289076704950944711479620864512308820953789120322727070862777740100787/6026277109531101514476659172112175367885915063279402152415145202537916961866582936723169340491585629618612927807501303814163991635319808594944000*y^12 + 172016696443538924865309163315497179785961900270576179309189300720530404758499423476183926551925558872038115080237841608240533142829579896572897877307/547843373593736501316059924737470487989628642116309286583195018412537905624234812429379030953780511783510266164318300346742181057756346235904000*y^11 + 48061300254700447572328924805108452145742359626718668982327394912094172842460503151822495967268699243645946411264184939993262987003344890935388424601/136960843398434125329014981184367621997407160529077321645798754603134476406058703107344757738445127945877566541079575086685545264439086558976000*y^10 + 44696749924842464803153509365170333844728838427676578656972768052067204541223220698248211255338064236857695727148435937676184702419100966762120435819/150656927738277537861916479302804384197147876581985053810378630063447924046664573418079233512289640740465323195187532595354099790882995214873600*y^9 + 253644159571013468507198612695190825713144425047899426520608025438314128377518584102462272440894898501209319659034671633893695423129118717955360469/1506569277382775378619164793028043841971478765819850538103786300634479240466645734180792335122896407404653231951875325953540997908829952148736*y^8 + 11626071537400841255154424997696122174859784679917754285008537438869375817080028545733185195527517884534420895562567489471898338318066729113268090037/376642319345693844654791198257010960492869691454962634525946575158619810116661433545198083780724101851163307987968831488385249477207488037184000*y^7 - 4986621241667328491112249486245158587239855333655108727783904121096411314370329817425761452972627593127415380742228644922740291098638872582291544243/94160579836423461163697799564252740123217422863740658631486643789654952529165358386299520945181025462790826996992207872096312369301872009296000*y^6 - 532922067882694621737963182364649239483444069797164829551550032358632062590742798125582431560431373818868317365327467038953353587573350958242544431/7846714986368621763641483297021061676934785238645054885957220315804579377430446532191626745431752121899235583082683989341359364108489334108000*y^5 - 171487852555762128486495721788020993778925676916733282028403481600708550577371435017162148452894060812680466159772173865453896672043726773433132889/3923357493184310881820741648510530838467392619322527442978610157902289688715223266095813372715876060949617791541341994670679682054244667054000*y^4 - 399786370618571661160514369017014270619367702130772090227736260175196982978799879197480718628908458040903291440981979060932414764144924088315954293/23540144959105865290924449891063185030804355715935164657871660947413738132291339596574880236295256365697706749248051968024078092325468002324000*y^3 - 370577808915094396496781059245488763250882711593706884785870208081373043227512648939649889366509307600029796330626985197787673231767851768818181/107000658905026660413292954050287204685474344163341657535780277033698809692233361802613091983160256207716848860218418036473082237843036374200*y^2 - 15103123840044887481876491772022804188097155102470352915643052100267061133840295603611733036619366413452059227652573342910764415054418252311/232610128054405783507158595761493923229292052529003603338652776160214803678768177831767591267739687408080106217866126166245830951832687770*y + 167851790619942738731916735026910871638308707289671288867582854807446378854424048684737383707873926961772800570722965284826306051647289818560/1961678746592155440910370824255265419233696309661263721489305078951144844357611633047906686357938030474808895770670997335339841027122333527 503255576300073844933082108834038875524996878201293390766079146984794022327928690227256196613143170681977699739054014076449117537181/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600*y^26 - 4253671134005725063132995502449758828127926780532513209399453089530373827187248792750140219671818729677412612036786187268145936587/559137960393689019510165263051102763818767750680046220231878973680891922457884070656643224080200563159328706026044397169567443414733972480*y^25 - 345212192367514133328644828197995552989736050121251598347967229391390073444123879914402425118546516544825879622768062618539856059820687/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600*y^24 - 2764881585508455732567997011163046644218624725908717131909798607842672235974627650707399975359730504109351366047268150444951374298078653/2795689801968445097550826315255513819093838753400231101159394868404459612289420353283216120401002815796643530130221985847837217073669862400*y^23 - 20836306687550170987776024239600800709261540290424077908634601145684137159991153472668429385365416670525411266061492632859923361796124913/1118275920787378039020330526102205527637535501360092440463757947361783844915768141313286448160401126318657412052088794339134886829467944960*y^22 - 696189612803250232951458771491161150984054432934513782140595493419269129502484918597762474969727590781923576810909753579041587202023169399/2795689801968445097550826315255513819093838753400231101159394868404459612289420353283216120401002815796643530130221985847837217073669862400*y^21 - 28357467107989023319245734289518060699580320866632492852805118490922474941557787624021509463097720102805775874162480102494548670743456323271/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600*y^20 - 3911691245581022443436805586668761966217953908149552963836851800598173229013468612088130264651444054701612212700097391655935257150758266879/192806193239203110175919056224518194420264741613809041459268611614100662916511748502290766924207090744596105526222205920540497729218611200*y^19 - 55540197402898719891288405749564015613769413184562682611634289043412274466906236195596101317292133138135570097492807096263071754167924844769/430106123379760784238588663885463664475975192830804784793753056677609171121449285120494787754000433199483620020034151668898033395949209600*y^18 - 3678988244646152961579272444849811665734881325516542457448455607207859286893164149859403855362997086393956802003060302778074821929313380360741/5591379603936890195101652630511027638187677506800462202318789736808919224578840706566432240802005631593287060260443971695674434147339724800*y^17 - 471231216598724328548868844825034775378543639075810650367020830924667282008185834378826154668962668944360527687109978994587268793823618471237/174730612623027818596926644703469613693364922087514443822462179275278725768088772080201007525062675987290220633138874115489826067104366400*y^16 - 182215502615895661901359173764529662267102112789906206290635680958471030912740154803572817463779307352353279171566304588294650478734734340263/20406494904879161295991432958069443934991523747446942344229159623390216148097958783089168762051115443771120657884832013487862898347955200*y^15 - 267883796172927119944889618787401972221083756513284844002277984078752112492703918341410870335586885883796387344629113762587937704680870729620847/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600*y^14 - 582933473300012168541639960520516581325067253423752440111578902756854900112322109189215421655225493544638774445019433582732038125122745404430537/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600*y^13 - 256662188715055673834560462276741509667718693429987827225954523557114298838036971053889109740182478138653963367856194137341769389687954059442233/2795689801968445097550826315255513819093838753400231101159394868404459612289420353283216120401002815796643530130221985847837217073669862400*y^12 - 145203433425627484515410128468794572163804768344703572774660894975394390108763478037373948532651055750967407850837259532150596157248656138320583/1118275920787378039020330526102205527637535501360092440463757947361783844915768141313286448160401126318657412052088794339134886829467944960*y^11 - 1619262366863310460265940952382185707666957647871312099508533077426815877801128053806511005397069540790580438092753168922013281022997542651978101/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600*y^10 - 85267804820575002907761016010155122458312517316537898340528403821482888489487950119508480687456378269130964096443792774994421530412012512405393/698922450492111274387706578813878454773459688350057775289848717101114903072355088320804030100250703949160882532555496461959304268417465600*y^9 - 19223816772755021201734382421253789854767597920439554299910828398093776321203245318493950988200879876029828741957966767352606989322664310479933/279568980196844509755082631525551381909383875340023110115939486840445961228942035328321612040100281579664353013022198584783721707366986240*y^8 - 2112170077245120255603215412146488350371607224360004218598610886866322558330096618469423991071785625737468390469586044869628364148127330541419/174730612623027818596926644703469613693364922087514443822462179275278725768088772080201007525062675987290220633138874115489826067104366400*y^7 + 15493822586034450239910555540335976630561635605793278707181638911065359976374496334725573749007774087689750141664372816384609698437917919833647/698922450492111274387706578813878454773459688350057775289848717101114903072355088320804030100250703949160882532555496461959304268417465600*y^6 + 4893737386935123330497208270797404945575278736722234883940257029926908680164445112818065092544461951367503532761455021494080831900487197429957/174730612623027818596926644703469613693364922087514443822462179275278725768088772080201007525062675987290220633138874115489826067104366400*y^5 + 781012250282364150030807552526511856802826512092515431193403549387973927405588273846851891761152053501968609411876809180093337418536429524083/43682653155756954649231661175867403423341230521878610955615544818819681442022193020050251881265668996822555158284718528872456516776091600*y^4 + 150309629568196354231217278922157326693747861934672958296950929570391752457423475157211028569897501464452468023147761461707843135778737717801/21841326577878477324615830587933701711670615260939305477807772409409840721011096510025125940632834498411277579142359264436228258388045800*y^3 + 60203472336740033823770456634971521641855651653995908751327722649095168506309921980261760650073204851567779281003387227499889883151244087061/43682653155756954649231661175867403423341230521878610955615544818819681442022193020050251881265668996822555158284718528872456516776091600*y^2 + 19363209769443019370605440420738710390296754061843522503315902832125090639466846702005510855784011061039965557687387668631766529521016001/1092066328893923866230791529396685085583530763046965273890388620470492036050554825501256297031641724920563878957117963221811412919402290*y - 3708315135700024892791637443510621831539251983430525758054202033624737661607102564852353748198847290147159037742820779780837071497076565/109206632889392386623079152939668508558353076304696527389038862047049203605055482550125629703164172492056387895711796322181141291940229 832994181373127891020916965626646919050823839642986287638880342467310217035747115602458591446139310011011052240268411560216622452571/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^26 - 201583278370676098814788112349856154130472210571062525709802430434560964538449191911171475215080521529446541104997374418362262733559/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^25 - 142811052247947222818435528931980122688861871768986712691721507748396020823470049985501015301041627168163666132642967684217663047461459/2150530616898803921192943319427318322379875964154023923968765283388045855607246425602473938770002165997418100100170758344490166979746048000*y^24 - 9132182576796355868476952382925312504747494991269388454871845954669541717373559751954412007925350815411278448997740264642492583534110529/4301061233797607842385886638854636644759751928308047847937530566776091711214492851204947877540004331994836200200341516688980333959492096000*y^23 - 42956051713347119588772176319848695191257095578752058568546617653817551593985055524308156198516256297036512731546922033440134504547596581/1075265308449401960596471659713659161189937982077011961984382641694022927803623212801236969385001082998709050050085379172245083489873024000*y^22 - 573407345659216693597587636427870959259389474165791587315405549107616878837345840367951727181569024851371981844556604301547531459183724463/1075265308449401960596471659713659161189937982077011961984382641694022927803623212801236969385001082998709050050085379172245083489873024000*y^21 - 9331477854203638397286413474159891848823733238216225702483540963272212547332242292321134939060441772516201894846758562990824875678618634509/1720424493519043136954354655541854657903900771323219139175012226710436684485797140481979151016001732797934480080136606675592133583796838400*y^20 - 12856429556706311895130717560106226137288382927179125455225979789623575118577521013838166420298432090464272030522014424264993762196373737813/296624912675697092578337009576181837569638064021244679168105556329385635256171920772755026037241678068609393117264932185446919583413248000*y^19 - 2370022848365941350795910440113541446555177290804039135097442908113487161382487139998894055419789680766643087337324364767297805672170598563751/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^18 - 12060528407221433344878292446999590682818968245567527695942012767361185696141618301447323740683809680436848732253973468810364748482733200703133/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^17 - 49372740905856846334736919984092849049724187158317319330232731997152517261472216871460874481731586542312467802824060709922383435500610496282181/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^16 - 238393632773027910601373404722997160757856646128429419239498692536602331665207123292400898209540632824439243588900520661353940161167348319049/12557843018387176182148574128042734729225553075351964519525636691317056091137205404977950007416071042320689635621435085223300245137203200*y^15 - 218888643395273585521373655479143020649485836010704425689512709225575332621523825010641520517339800204007140869653203962636809373887767862266561/4301061233797607842385886638854636644759751928308047847937530566776091711214492851204947877540004331994836200200341516688980333959492096000*y^14 - 952407614968763800724716887709735404527544641807064370268947812345634256372866493860299673415028772942633541265617473556944976034304496782998259/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^13 - 1678074896674868470937678268407006211703946448491968102792861298766551468079896688082394859701874030104841151647096866136761012555257763903307321/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^12 - 2376521699654732468220490034453395932584147295440033562072378755084528847898764773034714678179526604033395082470433067085997482910465672411995031/8602122467595215684771773277709273289519503856616095695875061133552183422428985702409895755080008663989672400400683033377960667918984192000*y^11 - 1328565128284847018082092077968162173887563404028965242613622741212216782597236874966053907371665223853304946763075625495774579704953726757414681/4301061233797607842385886638854636644759751928308047847937530566776091711214492851204947877540004331994836200200341516688980333959492096000*y^10 - 56235642709426139580637903878037709494599072935342290696714839122731980168154233843202127817273575898804370550371682982815849522801380576670673/215053061689880392119294331942731832237987596415402392396876528338804585560724642560247393877000216599741810010017075834449016697974604800*y^9 - 3202520544766885214663011014232397533329975444417326445311535242253071679985167553582602194806280435848214873520941262020861110485742710721689/21505306168988039211929433194273183223798759641540239239687652833880458556072464256024739387700021659974181001001707583444901669797460480*y^8 - 15040409316847063785453781857930238278641843266257832730827925435741733196779925704639871973513478777306523995730215583712224329065229797482891/537632654224700980298235829856829580594968991038505980992191320847011463901811606400618484692500541499354525025042689586122541744936512000*y^7 + 12398317199509521321870081595097381634489020258792954657107802272606627702383632500875211946337069624376541175451419399867881596833503591515663/268816327112350490149117914928414790297484495519252990496095660423505731950905803200309242346250270749677262512521344793061270872468256000*y^6 + 4014366792241200390707391640075834855943510526492553443059896487198513721473514913403688063613297369704814786517777498949385767361146451102863/67204081778087622537279478732103697574371123879813247624023915105876432987726450800077310586562567687419315628130336198265317718117064000*y^5 + 649821987750265697304551368493434394871344681296392013669609000422289298724446279068182048879588205834063686890366828632038155562604824067621/16801020444521905634319869683025924393592780969953311906005978776469108246931612700019327646640641921854828907032584049566329429529266000*y^4 + 508687513628665067634791571221147328678913321927875368730416371123718569684978750851798283943405549124601191721292406912290292332944475537439/33602040889043811268639739366051848787185561939906623812011957552938216493863225400038655293281283843709657814065168099132658859058532000*y^3 + 10494595819096525465493520871766314556329200974507467968977000358226278189647807636138487327759454641869869439664432494955371964468004146529/3360204088904381126863973936605184878718556193990662381201195755293821649386322540003865529328128384370965781406516809913265885905853200*y^2 + 2675379191844329680598106742954762098442476595542798642910210245970169878902772454972995999531110838968544622172695582884342909924666646/42002551111304764085799674207564810983981952424883279765014946941172770617329031750048319116601604804637072267581460123915823573823165*y - 651420237135441641215196582985274498583977407140990021326752380331056562782707206472442294466204128631793959516159991925149415548631272/8400510222260952817159934841512962196796390484976655953002989388234554123465806350009663823320320960927414453516292024783164714764633 -38277723661949896171592002830805649413304117400366979243723158305487938555065091521416240369386965914464670130357801207998722961392530143/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^26 + 9814424807917965265649864453857855013675680307699280991391364736558575232985544101024161266570642943849166095163445456665587661219202867/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^25 + 6562407646098096121357815624922923713794368335462986170907954691710491097083764521764078671308463765079063576688811467471555196073605007227/13978449009842225487754131576277569095469193767001155505796974342022298061447101766416080602005014078983217650651109929239186085368349312000000*y^24 + 419452847883232554895025971824367439636975215837295715806484308032332276512584716587072115537201521255942693678737499446231974339502543627097/27956898019684450975508263152555138190938387534002311011593948684044596122894203532832161204010028157966435301302219858478372170736698624000000*y^23 + 1972407009441452029681436349686957183576832142956617428253916748953500894614637018317413928192114456008485278357063388376823025070168391853353/6989224504921112743877065788138784547734596883500577752898487171011149030723550883208040301002507039491608825325554964619593042684174656000000*y^22 + 26320843713259437307306940705933501498570536773120438620038993361012545622686988702259023286446077870367879450870186649291533229450433303878609/6989224504921112743877065788138784547734596883500577752898487171011149030723550883208040301002507039491608825325554964619593042684174656000000*y^21 + 428194629519039433991851706940883229160062400341243250143607847955740761815058086674937304025842869610895226335038456539801432414786796871712201/11182759207873780390203305261022055276375355013600924404637579473617838449157681413132864481604011263186574120520887943391348868294679449600000*y^20 + 589717628470078190132496851328555302147452228556273186035062760333224672393947546905176840276900230607689581133051539182207873612815452289340729/1928061932392031101759190562245181944202647416138090414592686116141006629165117485022907669242070907445961055262222059205404977292186112000000*y^19 + 8358580675364708852349055491913605120082477253700065841493461781109647900344444087727855550068950580849283168869832347966482773425212736376747111/4301061233797607842385886638854636644759751928308047847937530566776091711214492851204947877540004331994836200200341516688980333959492096000000*y^18 + 552643993899494987464589639513065409721542628370335234889041465202559490057548608800887419138912128159650643419738291369295023230651844083568110169/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^17 + 2260832846766693298733144409143315923905305496700951058402332948764284010762072861875124146931929222673650870869353865504820050674142210544519769313/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^16 + 2181439337073535204291665670979203592963425536827993927322961551515372855477518709640059846201382343106006398718093654932246220170220474011295233/16325195923903329036793146366455555147993218997957553875383327698712172918478367026471335009640892355016896526307865610790290318678364160000*y^15 + 10004592158475474184038112624498829548026355156073416928601079674186184061481069617976161979510762536047596743256328990101985703374360491374913114213/27956898019684450975508263152555138190938387534002311011593948684044596122894203532832161204010028157966435301302219858478372170736698624000000*y^14 + 43476615474634656460294453486955514760775949862338001256465840233475655422070074432683785247292902890168154016627989850182822709652359442357138836207/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^13 + 76483328317689591980934606205309888704530990716685762817014193719322029417659704360263771317787631167354861369481943595865616388903552325527803741213/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^12 + 108100796450161928490380587122603872040185046577727374944798024528945530070483565858948219269386253145517808673721375162465840671644494427539318875003/55913796039368901951016526305110276381876775068004622023187897368089192245788407065664322408020056315932870602604439716956744341473397248000000*y^11 + 60269681120615441619841783621447696542012497041046968164423961949723677497023682315699019154563796990036758941959798653426317705343736450007249600613/27956898019684450975508263152555138190938387534002311011593948684044596122894203532832161204010028157966435301302219858478372170736698624000000*y^10 + 1270416623696388255995492044712127125145681096409046421279662173177069467567718312889533607154009761579250559185006086017343683791263455195818178389/698922450492111274387706578813878454773459688350057775289848717101114903072355088320804030100250703949160882532555496461959304268417465600000*y^9 + 143568842467038031080657421294240013211807089132928918362038170243980409352690774328705032589822318711433524101277257085143165985025058506655339209/139784490098422254877541315762775690954691937670011555057969743420222980614471017664160806020050140789832176506511099292391860853683493120000*y^8 + 643009991309712598796937916094546226476382618706359357050861841374546952151367776112330370725587220506612161597168882003644626701103308566361985953/3494612252460556371938532894069392273867298441750288876449243585505574515361775441604020150501253519745804412662777482309796521342087328000000*y^7 - 572066236054506393000298198097618260438277459153194153066514337405310395019293980892871633582411843325926293207404102681821571679391657255388269339/1747306126230278185969266447034696136933649220875144438224621792752787257680887720802010075250626759872902206331388741154898260671043664000000*y^6 - 181962116613403397223376238546484110479491766564759260019283861250120822724565827050407115798251570872326155664147327872726546300955498213398259389/436826531557569546492316611758674034233412305218786109556155448188196814420221930200502518812656689968225551582847185288724565167760916000000*y^5 - 29170180166636689353182107674596663332397219776887555733118397602926281773976879147048408270903529895470872623035006852919384064498217859139006803/109206632889392386623079152939668508558353076304696527389038862047049203605055482550125629703164172492056387895711796322181141291940229000000*y^4 - 22589688075535365849451560117011664510628898021969120348503663479647604504864607511578661074265517496469429908796242089640431418392348952802011897/218413265778784773246158305879337017116706152609393054778077724094098407210110965100251259406328344984112775791423592644362282583880458000000*y^3 - 457935534834271112116868804735744066595549346216183200011720148493659689190212957190937414124867345049731409207843172141968584689284479985733029/21841326577878477324615830587933701711670615260939305477807772409409840721011096510025125940632834498411277579142359264436228258388045800000*y^2 - 76430739139394767260603158308476236241704421580747635520401620519040544935263569251790180283580435830024483292237690452491109331594605990549/218413265778784773246158305879337017116706152609393054778077724094098407210110965100251259406328344984112775791423592644362282583880458000*y + 284869055098765990827658376567165749779610564154744005959348717634714310707073218651411782451075200571625891407889519554711132291345786041/546033164446961933115395764698342542791765381523482636945194310235246018025277412750628148515820862460281939478558981610905706459701145 27084885713741608925077026080957702080135880662676837531370005263133041374815446212152415737250479959970217478313214644776607345975037269/424385711938809965808215434655786997738444722766155081155996141023796969145534009628392207076872227437930487873767697451701689551783085112320000*y^26 - 9668388844478207052610509312831192723799492123236650648637475483377064948027481041400556827306301177611751332049475259393008735401546721/424385711938809965808215434655786997738444722766155081155996141023796969145534009628392207076872227437930487873767697451701689551783085112320000*y^25 - 4641348073761092818776974359004395668488473193630770199381430378750800248676088128827152206949999890882833267509014720574954573907207131931/106096427984702491452053858663946749434611180691538770288999035255949242286383502407098051769218056859482621968441924362925422387945771278080000*y^24 - 98623843254217364728680878437285383399160307889717014739278736282061718216999411192965640728391205255856430550722516563356910104704490251557/70730951989801660968035905775964499623074120461025846859332690170632828190922334938065367846145371239655081312294616241950281591963847518720000*y^23 - 1388863118451033835220762003629579812050221048287610799264113307969596862967815945617764561904511796351887321350029512253480923940314605237789/53048213992351245726026929331973374717305590345769385144499517627974621143191751203549025884609028429741310984220962181462711193972885639040000*y^22 - 18504739125401654426619098572990013400432383073022403224001963672954022220808839225645312954544854099667977598972311228375191329134151802903637/53048213992351245726026929331973374717305590345769385144499517627974621143191751203549025884609028429741310984220962181462711193972885639040000*y^21 - 20039915737873687265594064330438741435706090294837624229650468227927853154910717644730724695208136590768173045786935804085439082123710147485517/5658476159184132877442872462077159969845929636882067748746615213650626255273786795045229427691629699172406504983569299356022527357107801497600*y^20 - 413393386497311469471165192849347193895941236386807749614033365874545984804094665232250601407832365267378644005628916679540984068809356318054307/14633990066855516062352256367440930956498093888488106246758487621510240315363241711323869209547318187514844409440265429369023777647692590080000*y^19 - 1950360661558687117549830024069399473520198174010858194705192618585806050788628328062115632900337725660455811537535295864797541393023885314192391/10881684921507947841236293196302230711242172378619361055281952333943512029372666913548518130176210959946935586506864037223120244917515002880000*y^18 - 128787141552652249712493368783957553373888673226610769664505571576244629448874573383956125195972150513298682306115337418578218755101683088624137689/141461903979603321936071811551928999246148240922051693718665380341265656381844669876130735692290742479310162624589232483900563183927695037440000*y^17 - 526367316972770435102008064955735930636818016324445870298551605141181825949689372726287731607202211158724212268061875570135356556333933899277022033/141461903979603321936071811551928999246148240922051693718665380341265656381844669876130735692290742479310162624589232483900563183927695037440000*y^16 - 2538584952831726122467217611709339657384705010000706589652242437389904319662403928973205294614850141162520188889418967343361624809966323847338373/206513728437377112315433301535662772622114220324163056523599095388708987418751342884862387871957288290963741057794499976497172531281306624000*y^15 - 6989764377471520072035960650040240794506745249654563969271802201333339378850181882044951400661624587109312595967206792101693076952369509018377596579/212192855969404982904107717327893498869222361383077540577998070511898484572767004814196103538436113718965243936883848725850844775891542556160000*y^14 - 30433779842603251925352398448792079429705085424658806437030901446357537991739577312067737299398535629764115308017902840854473326571316689505175715661/424385711938809965808215434655786997738444722766155081155996141023796969145534009628392207076872227437930487873767697451701689551783085112320000*y^13 - 17912851771430150118838859749053423124191734505876847643725764799719717753572172720305006105113421026266660987579426809150292613459089997832476461413/141461903979603321936071811551928999246148240922051693718665380341265656381844669876130735692290742479310162624589232483900563183927695037440000*y^12 - 6947720350772619725823472849884962683493339822533465525834235697167209489552503788386156834656509570498572127613445269365875681843068556360525504099/38580519267164542346201403150526090703494974796923189195999649183981542649594000875308382461533838857993680715797063404700153595616644101120000*y^11 - 3911572950253603895660000223753895987827139783253570228685841210912835182329878438756684161727288965108243902902806645753025067377708382256670212009/19290259633582271173100701575263045351747487398461594597999824591990771324797000437654191230766919428996840357898531702350076797808322050560000*y^10 - 614359488079681084020427103511503666472971545190883933302196050171897940681654153084938018592405601962565515242275077567347029363484268386570377107/3536547599490083048401795288798224981153706023051292342966634508531641409546116746903268392307268561982754065614730812097514079598192375936000*y^9 - 35840786745929054197542433605355302659963140595077226658068549054063455545465632950272479212861967458012015277796646972863558297551195042581422277/353654759949008304840179528879822498115370602305129234296663450853164140954611674690326839230726856198275406561473081209751407959819237593600*y^8 - 577613325368666980700755235183189458535860261747050637847205028033392770127875160873262001704589710530438877119662461923256406003915549113006322999/26524106996175622863013464665986687358652795172884692572249758813987310571595875601774512942304514214870655492110481090731355596986442819520000*y^7 + 378558833127727970344866218711605330610065362114195141381735655154703959476116357486675797039302413419913232605975136696106358194519761405417961017/13262053498087811431506732332993343679326397586442346286124879406993655285797937800887256471152257107435327746055240545365677798493221409760000*y^6 + 16280072546332307450398797120515466253528395278550218045741708000468087452225489593551282182504397854189520871406926052160051198113717397674078649/414439171815244107234585385406041989978949924576323321441402481468551727681185556277726764723508034607353992064226267042677431202913169055000*y^5 + 3627323104786866780503089895415834201997810534445231978297705707138345815238775490036536963998409512747984823101703525763051956535275999674531209/138146390605081369078195128468680663326316641525441107147134160489517242560395185425908921574502678202451330688075422347559143734304389685000*y^4 + 17630047835302595068559344432978181324927395986963165800154418369602677638230203994448165177685688927497478409481534108968820165787404771153614331/1657756687260976428938341541624167959915799698305293285765609925874206910724742225110907058894032138429415968256905068170709724811652676220000*y^3 + 11621975940514496284895861933060599095898035168128857769861002481716204011360447203279694745277842359498704984421414690401873342783577298790471/5023505112912049784661641035224751393684241510016040259895787654164263365832552197305778966345551934634593843202742630820332499429250534000*y^2 + 402365767853511518890599631461245492236071848542447088898710989195435776141182015979666281704013975486340417022476760823164481102938052887/5460331644469619331153957646983425427917653815234826369451943102352460180252774127506281485158208624602819394785589816109057064597011450*y - 4746175072976979485550665320736533206845972757845621139185915737789318915405759379695656113795424681839620908926166274377293556451796586466/82887834363048821446917077081208397995789984915264664288280496293710345536237111255545352944701606921470798412845253408535486240582633811 # A Gluing Matrix {{1,0,-2,-2,0,-2,-4,-4},{0,0,-2,-2,0,-2,-4,-4},{-1,-2,-2,-1,-1,-1,-2,-2},{-1,-2,-1,-2,-1,-1,-2,-2},{0,0,-1,-1,1,-2,-2,-2},{-1,-2,-1,-1,-2,1,0,0},{-2,-4,-2,-2,-2,0,0,0},{-2,-4,-2,-2,-2,0,0,2}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {-2, -2, -2, -2, -1, -1, -2, -2} # f Combinatorial flattening {-4, 2, -3, -3, 6, 5, 0, 0} # f' Combinatorial flattening {0, -4, 0, 0, -3, 0, -2, -2} # 1 Loop Invariant 7405286786089963075979772213583482482516575665454190295278642363372232306041682611498048034391113616868703878370790074922246913212183149/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^26 - 1525188907641169340934034387471245152569126633366501066499263143706419805266441121794367077567362696397176503557902912854843355864783701/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^25 - 634815095232956781042570923211014211279646859472268282752316862069004792996931070944481658882834507961339575834817506980061987297287676633/43682653155756954649231661175867403423341230521878610955615544818819681442022193020050251881265668996822555158284718528872456516776091600000*y^24 - 81276361669478056819521617584702877055119103277899888530409310692602455863969038948226059514688218707299425911578195510412093311516021691161/174730612623027818596926644703469613693364922087514443822462179275278725768088772080201007525062675987290220633138874115489826067104366400000*y^23 - 765198080169264865275290739441615472559129816984922948560084181383403014031953639230085089914739394881470397724927975813553502024634718218893/87365306311513909298463322351734806846682461043757221911231089637639362884044386040100503762531337993645110316569437057744913033552183200000*y^22 - 5110993608025118492095452342843628907568143076092839788814322848583389947292607070500069172074223474536140191766884709010731224807718522302617/43682653155756954649231661175867403423341230521878610955615544818819681442022193020050251881265668996822555158284718528872456516776091600000*y^21 - 83239916908521717704100465057679939529351982015347788266969148116139953847750609794878160142055379943862908134868888576586643636564788060994307/69892245049211127438770657881387845477345968835005777528984871710111490307235508832080403010025070394916088253255549646195930426841746560000*y^20 - 114783790582469079646915577673980177810243170392764945988912102322035389747121182063997370108338174252749356477631242488803337292449190209703047/12050387077450194385994941014032387151266546350863065091204288225881291432281984281393172932762943171537256595388887870033781108076163200000*y^19 - 1629334616546691320104299219521327700799209760202345853337375935591006341369510869128372157703806181868754852219297819102971113722950473601342193/26881632711235049014911791492841479029748449551925299049609566042350573195090580320030924234625027074967726251252134479306127087246825600000*y^18 - 107915386668360728779228929473532443356812214591642664236473984142118119214867294538518498539246763313526072404787445101046067850900435117664816347/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^17 - 442384322433049397055787183837684077306808516577085425968183250275826771083091236620545891596817705149844943110936593714978282283293235934058087099/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^16 - 2139345002675295065300366492199979859774078093810513271470311880856094760369987506392350447806305343049993219308880658459696086054383072107839183/510162372621979032399785823951736098374788093686173558605728990584755403702448969577229219051277886094278016447120800337196572458698880000*y^15 - 1967685410691078394098385887685304253554496451699489468784280524555075228732836727679976001970783255727535600705233597295673817542565348397240547659/174730612623027818596926644703469613693364922087514443822462179275278725768088772080201007525062675987290220633138874115489826067104366400000*y^14 - 8577571042885285498188397700095880878760984773356313117382600111356777900093412583409706098832613539274805934569887545835445681774217024575870500961/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^13 - 15142962445527077852035596634910846915438712692934090571896731509829837410980665516633905388456246858643798018796654247121149888968894791013266455079/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^12 - 21489788415666601779113676762757920884541543749486745718698887796211287600150950801814219353257420166240263452316890966437519095695408651360007173909/349461225246055637193853289406939227386729844175028887644924358550557451536177544160402015050125351974580441266277748230979652134208732800000*y^11 - 12038800601186989033951077786233700113129026086609767291175302427308902330721215476357530192561277315578942164818258849896038442133291759706542366699/174730612623027818596926644703469613693364922087514443822462179275278725768088772080201007525062675987290220633138874115489826067104366400000*y^10 - 1021357575993601242166842950813343658900656187164567578582043849330442325267682093939470181577256902226600820510774484989825378463546969307605822861/17473061262302781859692664470346961369336492208751444382246217927527872576808877208020100752506267598729022063313887411548982606710436640000*y^9 - 23324073307161504318935695039679028449305481877349071480791287822973804773147971165123281092644677701437633332624461513240002540934784048424322249/698922450492111274387706578813878454773459688350057775289848717101114903072355088320804030100250703949160882532555496461959304268417465600*y^8 - 276123976263919864800855065522882420240307597261286785511341884238741037091757594040278492022392010959493577165718532202693384135722345507749869833/43682653155756954649231661175867403423341230521878610955615544818819681442022193020050251881265668996822555158284718528872456516776091600000*y^7 + 56234712020200807134564405182593742121589022390017400822411588486450118787945235490830058125213976139930625520156931974569930439238392518310890681/5460331644469619331153957646983425427917653815234826369451943102352460180252774127506281485158208624602819394785589816109057064597011450000*y^6 + 146011552271669040861977239963270607432612547291775775741545319770294456463096587001561125187951419626030498951083958179276580126851731281872423123/10920663288939238662307915293966850855835307630469652738903886204704920360505548255012562970316417249205638789571179632218114129194022900000*y^5 + 2953687261387680566054782885455281532971942289950411698873597655507846332323882360727535339715460378000718536370962699616329868745155634990389182/341270727779351208197122352936464089244853363452176648090746443897028761265798382969142592822388039037676212174099363506816066537313215625*y^4 + 9225556686662096496012662418242830390020878539987285558922491512951532502426895287525656074130252358639428184725435027035160042140730699993114737/2730165822234809665576978823491712713958826907617413184725971551176230090126387063753140742579104312301409697392794908054528532298505725000*y^3 + 188870880856331948549189247009716338627971315202996906687300007599783383606059627291469379790733541740600931857180092251050446477481444254909833/273016582223480966557697882349171271395882690761741318472597155117623009012638706375314074257910431230140969739279490805452853229850572500*y^2 + 169733220895966097164995937532030469822956903823708202490300548002890584269641941085083289896293834400948701187754359214626148567145495580369/13650829111174048327884894117458563569794134538087065923629857755881150450631935318765703712895521561507048486963974540272642661492528625*y - 9418764032868731688072466331536976284261980527422712499325963185733524126076559113192049937191935797445944409091102278316426818497072972554/546033164446961933115395764698342542791765381523482636945194310235246018025277412750628148515820862460281939478558981610905706459701145 # 2 Loop Invariant -16569191570289600681303424623266621818434877686818305543841581704864832785451320682760722969180894443318902119175741905505862094470886447078547912038061162874837934999710139927604947599938795919578359428825616780137299/284987270924624453575811435724000781966676024529211860951239595175368190623371008693055367243314218990187803148054928009428316338486655210584103624036212234989903362180781761566192982354316007231964372620587676810365747200000*y^26 + 673973482471705773012194870967400027675987442935564008520470704880062801309379038002395710549442413481738283660587006839938196809236057821622975549188490691496059419719539327218883496268639369450066392521808284854601/284987270924624453575811435724000781966676024529211860951239595175368190623371008693055367243314218990187803148054928009428316338486655210584103624036212234989903362180781761566192982354316007231964372620587676810365747200000*y^25 + 1894538220048789365282412266159232105313458960446899182130343573816232123209341847270934799002408870011008919559893288442758908498921063908579203077924582152317974332853255257888102606382788721809672862009508022919567669/47497878487437408929301905954000130327779337421535310158539932529228031770561834782175894540552369831697967191342488001571386056414442535097350604006035372498317227030130293594365497059052667871994062103431279468394291200000*y^24 + 182790844397729082184124951477007117362750516323458055092332264630386936950264798504961499920353455151103436240171349897288035297839262807269894495241765394515961200492140670558910819267699816393047384252514714124610410111/142493635462312226787905717862000390983338012264605930475619797587684095311685504346527683621657109495093901574027464004714158169243327605292051812018106117494951681090390880783096491177158003615982186310293838405182873600000*y^23 + 1726534716734868633315782266495391408840127439121910268609537378234999855739285098950237535281587390027242732613457609029415403363648685758140756486374477988810080211050504740241543974093515435512891234259119425885769866093/71246817731156113393952858931000195491669006132302965237809898793842047655842752173263841810828554747546950787013732002357079084621663802646025906009053058747475840545195440391548245588579001807991093155146919202591436800000*y^22 + 1445978465687284063979585332333732300530699937534780042477540773702589521945392653619542415033670377719522980545413403889546659588070575384587670894771245932214923826562219083937181371859899994935914448781032292463017863549/4452926108197257087122053683187512218229312883268935327363118674615127978490172010828990113176784671721684424188358250147317442788853987665376619125565816171717240034074715024471765349286187612999443322196682450161964800000*y^21 + 62998519471068182042554781626828953861669887529595565209779718969536321668187947539940431732767151692319886861916839627555569375550137527499689699295363128825538397419809470446915593709676265057171564009314857095406409412839/18999151394974963571720762381600052131111734968614124063415973011691212708224733912870357816220947932679186876536995200628554422565777014038940241602414148999326890812052117437746198823621067148797624841372511787357716480000*y^20 + 261513588318262775030567649371299580354563371163336424514768271143588649948081792258025202959771577750311158841251088320902128523071002927413151290877819754475990141823176152891981580220565615124813447638628523526492979120247/9827147273262912192269359852551751102299173259627995205215158454323041055978310644588116111838421344489234591312238896876838494430574317606348400828834904654824253868302819364351482150148827835584978366227161269322956800000*y^19 + 3726587372014587156132432667977494075564320363429275087445841172453940002333370043074111029949387047725232938283838468098637516462605777143816029689247713852461419078396235976406611727398896696919600124217439159407050861758793/21922097763432650275062418132615444766667386502247066227018430398105245432567000668696566711024170691552907934465763693032947410652819631583392586464324018076146412475444750889707152488793539017843413278506744370028134400000*y^18 + 82636420523845242494035277109384588504296555470742703551288784526113228475318992963677305614720203111169281290950726923590447325871515888770382500632796187455187014927215845905890728600314663548897111589959163588617537209605749/94995756974874817858603811908000260655558674843070620317079865058456063541123669564351789081104739663395934382684976003142772112828885070194701208012070744996634454060260587188730994118105335743988124206862558936788582400000*y^17 + 1021250594450241284026487096858773187435046081077678759482600398846632456155638480807374755186327233856259576380424773661457660552670662540854049788165273337146651338059150034264934161290828345634834238320901504277381960607735099/284987270924624453575811435724000781966676024529211860951239595175368190623371008693055367243314218990187803148054928009428316338486655210584103624036212234989903362180781761566192982354316007231964372620587676810365747200000*y^16 + 1655044596452992787837569276350517131314871632861696175014369586820027347399929782690060609919949522916344072980422237638693031801408752945437439109133881508823877646311940024639946212651220592719356203150345960920870233288901/138679937189598274246136951690511329424173247946088496813255277457600092760764481115842027855627357172840780120707994165171930091721000102474016362061417145980488254102570200275519699442489541232099451396879648082903040000*y^15 + 1148247202083694559661321568016793263553638740982526047235459010713657738262328428889029290258741627623151229902622353951150706656687595189351280547377081749544261406357658821651166030420469508374227256104166955808255909559920921/35623408865578056696976429465500097745834503066151482618904949396921023827921376086631920905414277373773475393506866001178539542310831901323012953004526529373737920272597720195774122794289500903995546577573459601295718400000*y^14 + 20144234619413679185084983716525094715490872712776083331874134600232178605475143618554050405767399682818412357681762746268492890500356914954674765568901691702050352663850077122885096398641820102603898190879450922683327527866331211/284987270924624453575811435724000781966676024529211860951239595175368190623371008693055367243314218990187803148054928009428316338486655210584103624036212234989903362180781761566192982354316007231964372620587676810365747200000*y^13 + 35793600904315263785617687977624330021978310540101579250323200751661361159413100517178839720994258841147701896965046034398038052233647485463142922083331012178995940811842880698112728982770654101283398430896153003369627353535358279/284987270924624453575811435724000781966676024529211860951239595175368190623371008693055367243314218990187803148054928009428316338486655210584103624036212234989903362180781761566192982354316007231964372620587676810365747200000*y^12 + 17049860239163501736455631384772538045132580148658024563692242401143930212180003875128878087774416193365251037194786188544229335451447791255652298090543097814652648772273527240294597261999633162328521362437681518394967538780245503/94995756974874817858603811908000260655558674843070620317079865058456063541123669564351789081104739663395934382684976003142772112828885070194701208012070744996634454060260587188730994118105335743988124206862558936788582400000*y^11 + 14438706009744315666496410710959640175221313624206038199756987222822107032353576367627769447385897421644686986020576911403960601575275598519432011984423200574390731396174305319210483477592575484820721125572453779324995188775727787/71246817731156113393952858931000195491669006132302965237809898793842047655842752173263841810828554747546950787013732002357079084621663802646025906009053058747475840545195440391548245588579001807991093155146919202591436800000*y^10 + 206116043214963159055895965251441289621887475871802676995820781364429688109792316674624069803536838569598785217522072434098425055994247043442977536251164810686814015471940819403664786452651859343432013947208344496440915794693763/1187446962185935223232547648850003258194483435538382753963498313230700794264045869554397363513809245792449179783562200039284651410361063377433765100150884312457930675753257339859137426476316696799851552585781986709857280000*y^9 + 3584690369154266768560398626058062375721148847939080899877565163389352260333166879018523865148082323760260092110284175023201103318133261483489693841053605351399561039624822845159934159185526490773587711396146421318629024571407/35623408865578056696976429465500097745834503066151482618904949396921023827921376086631920905414277373773475393506866001178539542310831901323012953004526529373737920272597720195774122794289500903995546577573459601295718400*y^8 + 122176239671839697680620532879210097698550574112969859930880914929583765627727873287226969985235784329975637218806191241391399943384427845867606247013500382982861556635472876674974245135328716809917143213485898506637273467688293/5937234810929676116162738244250016290972417177691913769817491566153503971320229347771986817569046228962245898917811000196423257051805316887168825500754421562289653378766286699295687132381583483999257762928909933549286400000*y^7 - 21919596200245308097163543388237492149702230756761440613166876077080306678043598470348245695184930936156214525417177213657318431354186241281026708390980204123444133604127030606164626971534247676871596070902344725332622087598351/742154351366209514520342280531252036371552147211489221227186445769187996415028668471498352196130778620280737364726375024552907131475664610896103187594302695286206672345785837411960891547697935499907220366113741693660800000*y^6 - 88078985888435120064802572449191999583630193226568523467631071372298656253093949084822147181985733184657620059080047620377001685423867700071152079867662746874860054965120410161629334426399669274684545456498104588880627131668287/2226463054098628543561026841593756109114656441634467663681559337307563989245086005414495056588392335860842212094179125073658721394426993832688309562782908085858620017037357512235882674643093806499721661098341225080982400000*y^5 - 28917496499197960184976229675961206266423199060379459989463901597186587714992294055387486838072141574347988655608947334370315253105828052587064810056692114234165441770561095610030051639672117926000729574135420183397804455497953/1113231527049314271780513420796878054557328220817233831840779668653781994622543002707247528294196167930421106047089562536829360697213496916344154781391454042929310008518678756117941337321546903249860830549170612540491200000*y^4 - 11436747379756779459064744492846505646704485158737859536127022175513157732280745983197777855674991519364914858882200323361371635704278899274087045816482491974476496687862384090186348992416501129406281588200625311072142102712681/1113231527049314271780513420796878054557328220817233831840779668653781994622543002707247528294196167930421106047089562536829360697213496916344154781391454042929310008518678756117941337321546903249860830549170612540491200000*y^3 - 14888430697407886600442054553639289520953690521404744570345157070219707074612408629065231188638984762350829918003814258684144637367353829869289134334129866563404036741776796108457884477468233897442056319974229783529685207349/6957697044058214198628208879980487840983301380107711449004872929086137466390893766920297051838726049565131912794309765855183504357584355727150967383696587768308187553241742225737133358259668145311630190932316328378070000*y^2 - 10515099702231836874919135875370157504422080204396377080502815193428059005207136701969164794349686242805480759992378425382032815779100356125761716708956409020786131086731041982831080514110951672252895723249155542372388613/231923234801940473287606962666016261366110046003590381633495764302871248879696458897343235061290868318837730426476992195172783478586145190905032246123219592276939585108058074191237778608655604843721006364410544279269000*y + 530275931238276714255880855888538077960247263587930308808978384713579545826336497675936634065862932551071845759894007034488120059435191663146335365283525945152222952673784912699796496467116760600045700450758741035671107/9276929392077618931504278506640650454644401840143615265339830572114849955187858355893729402451634732753509217059079687806911339143445807636201289844928783691077583404322322967649511144346224193748840254576421771170760 # 3 Loop Invariant 1042305322405999018941350166244963067636538114427188173363266533465110668971923643828193334141517132547478661527275153618792016900489801562478860488229624930779752742034372315942574210078401809206549975577353743176802381212064898154636523846191149639611966817/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^26 + 915343802379171841454535686412292325511530145838652925478496616267443868643679009907958349060027187237817085905914786291307152181357129713385893540961408335389294833286196334019787138375092397458937706737062930363407994855372485225675698184537589596749031917/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^25 - 358079176319779294940976138318572238167877325633215710561219236218672908035477770159995327068668949489052142082640014576138424310492656677394757358438512701450686510710771241315527738879894954618377367838250821795744219955301625062892999030073431083429289868681/43777587950522504838352710538302494720822530620954524345347718153800188296612870054645372532999485350663563450546915216931082434885160364610376659061296962070955302429950695420539349409547079547428481402723625145679181535720454952477266096166281984356086009856000000*y^24 - 11826638539282299005534022455965762426457626801497525854715097076429703926726323810114753006234491959749652782836539005567396782188089299573565615776521929456881850391161993048238365508211374110256301899791730981580498199501484170939610701033581386098054922281113/43777587950522504838352710538302494720822530620954524345347718153800188296612870054645372532999485350663563450546915216931082434885160364610376659061296962070955302429950695420539349409547079547428481402723625145679181535720454952477266096166281984356086009856000000*y^23 - 113712893659860982635667110357201163424386475072786893593690402345580682918389516029778576060308691011062537771903839707188583823000831049786277668761555369584149516380641323024782647354756109695934586967088656514117721990280481441443864323838464291541526459084819/21888793975261252419176355269151247360411265310477262172673859076900094148306435027322686266499742675331781725273457608465541217442580182305188329530648481035477651214975347710269674704773539773714240701361812572839590767860227476238633048083140992178043004928000000*y^22 - 387392974447837395408977901822522125467400658633214417470694950363605802195727825090153373671331432654526090066564369485325680536835625707145259107666853988491507525868324958214786023909847748291912800437455560330451214481673965210027375531040207387872500178940293/5472198493815313104794088817287811840102816327619315543168464769225023537076608756830671566624935668832945431318364402116385304360645045576297082382662120258869412803743836927567418676193384943428560175340453143209897691965056869059658262020785248044510751232000000*y^21 - 12876013449000736675729828407040174710022514949472799523765384089275014070143297143924669736190541440702470882032541237471130932212173416318623570015225858419935852951464093745368006821542317471334007948231080612337138036112975947640313488183872628370531516150569751/17511035180209001935341084215320997888329012248381809738139087261520075318645148021858149013199794140265425380218766086772432973954064145844150663624518784828382120971980278168215739763818831818971392561089450058271672614288181980990906438466512793742434403942400000*y^20 - 18147122260362169270188413561449060708284977619813685304761737158596411356077817113549357812374520141545906356996575748667179867612600551220185366949333834374864453509693725104350306649151921715736839590413541560164248410279194408281764094091518830183632380988731501/3019143996587758954369152450917413429022243491100312023817084010606909537697439314113473967793067955218176789692890704615936719647252438938646666142158411177307262236548323822106162028244626175684722855360250010046840105911755513963949385942502205817661104128000000*y^19 - 263978331236670841941489835438787061525404592449032634802872238059076537035375228187289105167046256130197607698635792022444114572546155569548311356165409138723765224464044227240394215878704689313679198087521626684073391400584785796473541544292154942616000039667149019/6735013530849616128977340082815768418588081633993003745438110485200028968709672316099288081999920823179009761622602341066320374597716979170827178317122609549377738835377030064698361447622627622681304831188250022412181774726223838842656322487120305285551693824000000*y^18 - 17971637302655971006227424718040551940229312878480085975071550170746800685360039094659023052003004622712661152409465244924036205000540777929178542602778401527108027185489117553546826224903487316416702050513607839632936346405741507774665777063127515496422164185177494301/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^17 - 75948057019402679185728305052091046943689829611480460991714386015550209601773315398969291501826113407920139358542722429558601937208007296632930368653794483147091258408378228773500654830252623833522375194823733052423229836599102061812206963214735723681274804936634367617/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^16 - 379609508256604747517236696112216238094708468048236382489228176762701755712680283411516133620036624932593256962031442207705876264151564257934221177375132423227009011809604434085742351924703597705497270553656739018420613384076063967919555320457321461458889941956697229/127817775038021911936796235148328451739627826630524158672548082200876462179891591400424445351823314892448360439553037129725788131051563108351464697989188210426146868408615169111063793896487823496141551540798905534829727111592569204313185682237319662353535795200000*y^15 - 45210098037801124661856249864607794396426457272894032318239099197460252363226415198165202998639139864808150576757261325312261202519707261424478497949180165675450761362304841083657011577773402424598547928673499592556707487468906956752904019467025565703268103605738477159/5472198493815313104794088817287811840102816327619315543168464769225023537076608756830671566624935668832945431318364402116385304360645045576297082382662120258869412803743836927567418676193384943428560175340453143209897691965056869059658262020785248044510751232000000*y^14 - 1636468575520518511267264319285326933448802477277839805814739149603298144981461277029312921084072354418549244228705366532812529118861727509748203502428896228456250658227336097246443083830874186690375661579802281610419241104827292929366613117078632456077119582316320854113/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^13 - 3004506365240963979583261988448347660492265637986405411887169064445661387408108747961036773352089173940666986951270791330219636479324007619058489136911939694687486740501965624805398245246297441209314957025971701348308464153279587527931634205755239369735233866000681567357/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^12 - 4444862827217736780280190012384587618178398190053510281861432577280554963316137394918824968566833301342950315686839118493537980120175842969806938045580978235214887374976554359650081193113035980441585303605720446213870801576800621489428043372111195860537825527145590715047/87555175901045009676705421076604989441645061241909048690695436307600376593225740109290745065998970701327126901093830433862164869770320729220753318122593924141910604859901390841078698819094159094856962805447250291358363071440909904954532192332563968712172019712000000*y^11 - 1303112641656959836532206565896009743708912407287974891420236174578472961221915172027923957449401880457030294653202090074630142239864114888228865771528856871317387599294345256232483553974540903353115149636460115331969156505202199667494332751987492559159437290793910584271/21888793975261252419176355269151247360411265310477262172673859076900094148306435027322686266499742675331781725273457608465541217442580182305188329530648481035477651214975347710269674704773539773714240701361812572839590767860227476238633048083140992178043004928000000*y^10 - 116745899701431228593921822997006988535311363322729590334141906268788465557633859834254540896353048843245192122382032535484709517094677332676766471964201921696382272239249037034322235686504178396974222486317921893612968614415460902824772667757199862946188825922478893239/2188879397526125241917635526915124736041126531047726217267385907690009414830643502732268626649974267533178172527345760846554121744258018230518832953064848103547765121497534771026967470477353977371424070136181257283959076786022747623863304808314099217804300492800000*y^9 - 362114464056683519736080984304055742032530165947040226752892891460665261166337414196600868124303266671800966149809968167497353192527976641247222127016171126941042257767884923235432682494840873247687706394696008260140596612899354052280960058580965372610349735957679539/10944396987630626209588177634575623680205632655238631086336929538450047074153217513661343133249871337665890862636728804232770608721290091152594164765324240517738825607487673855134837352386769886857120350680906286419795383930113738119316524041570496089021502464000*y^8 - 48541998244134180581035691233751949468429910634794003337124503471492461869773596068754219781605058161417772701585321199157721138916477800546591796899309123882678290756299287290679271063828084711466090001688911164360970091550030887478164935198574125097946491140731124707/5472198493815313104794088817287811840102816327619315543168464769225023537076608756830671566624935668832945431318364402116385304360645045576297082382662120258869412803743836927567418676193384943428560175340453143209897691965056869059658262020785248044510751232000000*y^7 + 10428680562543910329830059432738096021404654778161508848111745657591568366060907724444368216776151140138853666738010820513725994819526013357474585767288476676683870650837436177812700033193950905437111768205928280046825759535193651923715505150959734088759282616720226223/1368049623453828276198522204321952960025704081904828885792116192306255884269152189207667891656233917208236357829591100529096326090161261394074270595665530064717353200935959231891854669048346235857140043835113285802474422991264217264914565505196312011127687808000000*y^6 + 1024712791026432624398326542211992184069470619768628731911320491461609203052967972692904875427159951588402842917606790138420958793174068525743874940024348900713714966491499206952742099327346639181552836154142698995254021679233479221036476309697187993079688557824276787/85503101465864267262407637770122060001606505119051805362007262019140992766822011825479243228514619825514772364349443783068520380635078837129641912229095629044834575058497451993240916815521639741071252739694580362654651436954013579057160344074769500695480488000000*y^5 + 358355188416034433418224022544246233942662859731099720727795427799955567687345227995939284237873983231746165898204701446850730763106299672403372468801736971446405900315536906881631732400311707407024604539406026718241070798984639543193932073906566800352190200347978553/42751550732932133631203818885061030000803252559525902681003631009570496383411005912739621614257309912757386182174721891534260190317539418564820956114547814522417287529248725996620458407760819870535626369847290181327325718477006789528580172037384750347740244000000*y^4 + 1192874941801437338673587034407946570966846581905964762942804928919804182188128615149825556066578626627784378799825897960699539424902760009724874683150432679524425523961264448922418383854918607388731935830528500117138994203749133678443367416949206472212929938983978123/342012405863457069049630551080488240006426020476207221448029048076563971067288047301916972914058479302059089457397775132274081522540315348518567648916382516179338300233989807972963667262086558964285010958778321450618605747816054316228641376299078002781921952000000*y^3 + 13149490916135506210784269668290899121482589284177615655461237036055764524795363501654690203985672090776087958156841452124178533413892572871658459719872751576736335818824024847819820178885261477990541919477818884282190521598545686591486488424090946640902036660477521/17100620293172853452481527554024412000321301023810361072401452403828198553364402365095848645702923965102954472869888756613704076127015767425928382445819125808966915011699490398648183363104327948214250547938916072530930287390802715811432068814953900139096097600000*y^2 + 19315012845830196737130898767496933236868025312555145046060000986005472016886031835195874808592743935157935536660985373781271417752755184996123639145386357720086584867499100189825718434860590023877114557074849208816060990951796154508301679029570904209063282441793/855031014658642672624076377701220600016065051190518053620072620191409927668220118254792432285146198255147723643494437830685203806350788371296419122290956290448345750584974519932409168155216397410712527396945803626546514369540135790571603440747695006954804880000*y - 41718227589192469162580948906043509900779720484502300304496877936717925524586689269843098567235639327309246666728511744290228996950918788641586263197013569131492209222562120957995823222065389630274975212358996873419197024681940646629292440963838609776641461203/2137577536646606681560190944253051500040162627976295134050181550478524819170550295636981080712865495637869309108736094576713009515876970928241047805727390726120864376462436299831022920388040993526781318492364509066366285923850339476429008601869237517387012200 # 4 Loop Invariant -1034255859468874403328486177127486666964807172171243683167308351485540474021304445220780151452482287261726080474417201309414650367375874883323257538957578948602323081555392265705455401735601010008755875443126495772705736127819671455328751032913723648802739170579449970525700253260152783074421520686340606452213925438194781437728286928097451031/66939053693820440628874506862012117332111136170396314751637657453316966467729206824741676360235014673440115198430603894946648160604081481811205992976676454075280946423052074984976325805570441772899748697223775004797539513279758094100045400952486686126769906513524995388573384983766314396840773136892196784667970013181004822432504631196971499520000000*y^26 + 58638837158659623879836494083989584845355521678836971334051799142047646108982764970206742144022489803302010802685514284155175542480903338532669666321076115532946443287283309958126457971469124913080045522075473141462301296289851157289472733303580894453740440134170772389319952263645888209562539053159744156524277874864653605019674118572160173/22313017897940146876291502287337372444037045390132104917212552484438988822576402274913892120078338224480038399476867964982216053534693827270401997658892151358426982141017358328325441935190147257633249565741258334932513171093252698033348466984162228708923302171174998462857794994588771465613591045630732261555990004393668274144168210398990499840000000*y^25 + 22167454377609389726359722732482162090209629000425626669178984660602276269800316066060559222082843798208828789043237537058621396593346798794809977178137391693962298563188770821379674301848451286683609532130831621926310214676811005607744209867855114184112461436144123654868835401263962868843824710266901961074839303056149800957339657410067915463/2091845427931888769652328339437878666628473005324884835988676795416155202116537713273177386257344208545003599950956371717082755018877546306600187280521139189852529575720377343280510181424076305403117146788242968899923109789992440440626418779765208941461559578547656105892918280742697324901274160527881149520874062911906400701015769724905359360000000*y^24 + 11364092596046253689995103291988354908524509723442191376722636042848853518995784170513855565597148201279677232069270510744135435673581209881222735012782417417837109709732442821991738644308437138290119632806225443141294584042332102419295065444590734965718586744542146846130532042499324941320291837580098199843634465342728110747568776057908818013409/33469526846910220314437253431006058666055568085198157375818828726658483233864603412370838180117507336720057599215301947473324080302040740905602996488338227037640473211526037492488162902785220886449874348611887502398769756639879047050022700476243343063384953256762497694286692491883157198420386568446098392333985006590502411216252315598485749760000000*y^23 + 26766016983851697048033679024184354391217645804755022017890459003563467995163952747869082281976934994545376804794951892418484658601311443789092204529401311031436635590400519666333655714110030498161120566229635520751065336578708010418766459023023319231326634051638863080390562816824299365157520770566233471583151486403161635636029165497699494583173/4183690855863777539304656678875757333256946010649769671977353590832310404233075426546354772514688417090007199901912743434165510037755092613200374561042278379705059151440754686561020362848152610806234293576485937799846219579984880881252837559530417882923119157095312211785836561485394649802548321055762299041748125823812801402031539449810718720000000*y^22 + 715579806552532173262756465951113498147931346668384719914806645292906847612092856247087635317413109180169166853039901116059558764752929504766820639499948499256180561147651101376564196770301427599368060493487957490314838538206940247092270077193826852932909474591679477194295852204848680078887396246816910446505758181981878872669546530773370795823673/8367381711727555078609313357751514666513892021299539343954707181664620808466150853092709545029376834180014399803825486868331020075510185226400749122084556759410118302881509373122040725696305221612468587152971875599692439159969761762505675119060835765846238314190624423571673122970789299605096642111524598083496251647625602804063078899621437440000000*y^21 + 3887306435770700161314068368655862895703011538681035936261705072539130257313629493221899090410117660454197828676569136981012446030550542918712789255373123288082218204008129525709735517982054702572675431800950575053371947661380682919003398941658951798288711441947209955629746935633135740855798872516818701003546239496438234863254275593613622711743771/4462603579588029375258300457467474488807409078026420983442510496887797764515280454982778424015667644896007679895373592996443210706938765454080399531778430271685396428203471665665088387038029451526649913148251666986502634218650539606669693396832445741784660434234999692571558998917754293122718209126146452311198000878733654828833642079798099968000000*y^20 + 16092601541089359805712379394066961565009841491166551272940344592596809260725430490598332015235223227657583232298168826973696651489079919373888087028414000620691831307034207292557152554015678384403989772044587441316831376899116338690002677669940714361855142646174047685822921964619083028030385188235040533561795215662995996938242217948417927967730493/2308243230821394504443948512483176459727970212772286715573712325976447119576869200853161253801207402532417765463124272239539591744968326959007103206092291519837274014588002585688838820881739371479301679214612931199915155630336486003449841412154713314716203672880172254778392585647114289546233556444558509816136897006241545601120849351619706880000000*y^19 + 228611825174151573434859669235886662690323470787344454263935904251693195114290563095772098806559937756212671322440199726236789936507771516200458005888286413632202876776476134383384961468939735660544734993312371456356041461712895469789703282211246865900668562698837414442608437089789415818511872876082005194464118057913971894803657844993651074713901467/5149157976447726202221115912462470564008548936184331903972127496408997420594554371133975104633462667187701169110046453457434473892621652447015845613590496467329303571004005768075101985043880136376903745940290384984426116406135238007695800073268206625136146654886538106813337306443562645910828702837861291128305385629308063264038817784382423040000000*y^18 + 1683877359995867586546286908335389655966758288194085896471595678578210200300073301133020067487114072798504325089501014403017831861470030393343736073908883545231910430823228983930565307509245742248421981813195490084678588992041267600555523213137856563881972155779207746391006841553477123799684666249623019431570082283428386929385207906537064190473164477/7437672632646715625430500762445790814679015130044034972404184161479662940858800758304630706692779408160012799825622654994072017844897942423467332552964050452808994047005786109441813978396715752544416521913752778310837723697750899344449488994720742902974434057058332820952598331529590488537863681876910753851996668131222758048056070132996833280000000*y^17 + 62184855467883007057520746204296021434339773885674051030491332277831918901521445383314726168691868437575496323064990592654600087458905924235131407693554468855395268646246172575005836364352360363147359836716590236611638598113022676610061772356327776214579928175800702669278055931013201041704106757581060942805488613048831791811821215138362742395740687381/66939053693820440628874506862012117332111136170396314751637657453316966467729206824741676360235014673440115198430603894946648160604081481811205992976676454075280946423052074984976325805570441772899748697223775004797539513279758094100045400952486686126769906513524995388573384983766314396840773136892196784667970013181004822432504631196971499520000000*y^16 + 301028592615880025425718015882252754101357330514709060364833078860140235508121410364629513433395412622435236294114652809248366568084826309887728081291327617036147949376443152217463825895800876831829411320146479413555497520963507443080329515095351770770451265888130038355596598186084796447950198745564235875148417509438341991798527040969669059312003337/97721246268351008217335046513886302674614797329045714965894390442798491193765265437579089576985422880934474742234458240798026511830775885855775172228724750474862695508105218956169818694263418646568976200326678839120495639824464370948971388251805381206963367173029190348282313844914327586628865893273279977617474471797087332018254936053972992000000*y^15 + 277168324876375502632226238993676277961833873241286540001358638417268994846906831791008267452596632020016801755463064428835973988204890201143943716935589489108133059832889968488025874056910963382955343175340001953349001595663728147317623180208348174054771442539078702374387782818004649791497786289976595475568152710096113430766101946488166326126216565971/33469526846910220314437253431006058666055568085198157375818828726658483233864603412370838180117507336720057599215301947473324080302040740905602996488338227037640473211526037492488162902785220886449874348611887502398769756639879047050022700476243343063384953256762497694286692491883157198420386568446098392333985006590502411216252315598485749760000000*y^14 + 1209556055761322801379276548178773411856787978610693701632763406452566020220598253696723001330375518931646352478400881479623036100287216592154605985857974547656243347891196518826146672990880837321270426907088432552350790312879690815448889768697161666106151412200948442069851702543523619085393839409951302508666686654935281368028093039858934459127256167759/66939053693820440628874506862012117332111136170396314751637657453316966467729206824741676360235014673440115198430603894946648160604081481811205992976676454075280946423052074984976325805570441772899748697223775004797539513279758094100045400952486686126769906513524995388573384983766314396840773136892196784667970013181004822432504631196971499520000000*y^13 + 712582257535495389305221813200745055663946346193180639459056092463207060281703220601068644157328027029858139421332969524797061307578606366997386817681469269756239876222128662402504560242845897872028517522353069019803559552468801398375300225174168861710468556667002132354526209662584607373154152811909972837488658383365424117334605657928336899151937486867/22313017897940146876291502287337372444037045390132104917212552484438988822576402274913892120078338224480038399476867964982216053534693827270401997658892151358426982141017358328325441935190147257633249565741258334932513171093252698033348466984162228708923302171174998462857794994588771465613591045630732261555990004393668274144168210398990499840000000*y^12 + 3037214504502383065992178000792248483198456283056885032830527810498078176733718120982367732470842733947628162515954979311816012157396761248917184356588182033058049998033746463778337190562447937117625078068927504560723413133716291442390338625637348363149215935570347046357026439550294855418092388966284487031571232479329875477865115735373322110901104011071/66939053693820440628874506862012117332111136170396314751637657453316966467729206824741676360235014673440115198430603894946648160604081481811205992976676454075280946423052074984976325805570441772899748697223775004797539513279758094100045400952486686126769906513524995388573384983766314396840773136892196784667970013181004822432504631196971499520000000*y^11 + 1703559884118755197749561940002227829118085316816355030775881625590906193183126096551732305332857360783922578809358704003401320828556514072471732318781055196884723782620750593227201756864587151647750619967190136663202969457923374908230227427050513636854255679992220951079163752753178022212005959213807010430075172132422071394171643679165595625187574160031/33469526846910220314437253431006058666055568085198157375818828726658483233864603412370838180117507336720057599215301947473324080302040740905602996488338227037640473211526037492488162902785220886449874348611887502398769756639879047050022700476243343063384953256762497694286692491883157198420386568446098392333985006590502411216252315598485749760000000*y^10 + 72367732127381360764331193744111520938445051008376217696014346228586969322228686555840097327843188665597984015378714990026800036998517460150290236570721228590665154361026471523678045631971037521869135901003344576950121792926388970886314015287954279452971737166330537075311046551238999139553437486047702648667097943412288263893576653635788571837126046147/1673476342345511015721862671550302933302778404259907868790941436332924161693230170618541909005875366836002879960765097373666204015102037045280149824416911351882023660576301874624408145139261044322493717430594375119938487831993952352501135023812167153169247662838124884714334624594157859921019328422304919616699250329525120560812615779924287488000000*y^9 + 414066706876377496006980553769838496778698729852357569191009602697522838166587804952443100534011481968547322178579573115771531573925517029451968186106290522633625403484153260932200449329171147341290999704850623690876354568859912383542295087133021469750165483851858123666349157464609501650594767864334406303364185888877575572092750055779010031064323293/16734763423455110157218626715503029333027784042599078687909414363329241616932301706185419090058753668360028799607650973736662040151020370452801498244169113518820236605763018746244081451392610443224937174305943751199384878319939523525011350238121671531692476628381248847143346245941578599210193284223049196166992503295251205608126157799242874880000*y^8 + 19825702538845690022868244445463594966099603051794347764365066859892464967125643241718655821512473083316222971545275748854014053680725470080854178955737263615516178331381266433281165178497622990013945516650256963734469408196339646729464149924667236220334126309688384406423439562109365818203621684113729091438925264542834130085019604490982456581350875801/4183690855863777539304656678875757333256946010649769671977353590832310404233075426546354772514688417090007199901912743434165510037755092613200374561042278379705059151440754686561020362848152610806234293576485937799846219579984880881252837559530417882923119157095312211785836561485394649802548321055762299041748125823812801402031539449810718720000000*y^7 - 5288533699218759735725680800499557161191311244005172327417321579669232476944398139992853354473853037063142567331085903012596086641975584331378799141197033890741082228898639445732034820125565431272672675185108604850674068895422866123413538665507086581323010918511060322749295893676776310967530798942905081480940192752327500726721043261256752091661858101/697281809310629589884109446479292888876157668441628278662892265138718400705512571091059128752448069515001199983652123905694251672959182102200062426840379729950843191906792447760170060474692101801039048929414322966641036596664146813542139593255069647153853192849218701964306093580899108300424720175960383173624687637302133567005256574968453120000000*y^6 - 430895129987134873189163990641534475655529125981680801844590374281318637988494926630987294028395799220115125988551018429814874969596266991423188380085912555480123397411404380438416371863981491216167976787010905079971518688163132505255721114796068349263464811302223473050282546961568168302211332550890689689452468304472821188020668912373263977411902269/43580113081914349367756840404955805554759854277601767416430766571169900044094535693191195547028004344687574998978257744105890729559948881387503901677523733121927699494174527985010628779668256362564940558088395185415064787291509175846383724578441852947115824553076168872769130848806194268776545010997523948351542977331383347937828535935528320000000*y^5 - 1676575488779677317709145563895490244314483390705895289817358610467684547108270133089223329434669241154541231670029524470921702906523565092499432880676500723621865089503493565894408562212597991940698772999748732596224652322603000552919755188244668490158698146545141492634414823426141915450441963236508269862913127839049547517562731419009799677891428757/261480678491486096206541042429734833328559125665610604498584599427019400264567214159147173282168026068125449993869546464635344377359693288325023410065142398731566196965047167910063772678009538175389643348530371112490388723749055055078302347470651117682694947318457013236614785092837165612659270065985143690109257863988300087626971215613169920000000*y^4 - 655451580234101935567064637870893120822554393704797576229277153759902667203035771602177445098298286548321448286080872114031534319365924580489597340831489968408741388817193149524441440565080566005762937944351815679203616993552140786867446510801198325441007384641701977739213227465205057545076526790059831223462637883755654167630113157352251577040306189/261480678491486096206541042429734833328559125665610604498584599427019400264567214159147173282168026068125449993869546464635344377359693288325023410065142398731566196965047167910063772678009538175389643348530371112490388723749055055078302347470651117682694947318457013236614785092837165612659270065985143690109257863988300087626971215613169920000000*y^3 - 13430611802872549113252822884048513861671845912394702619573110534648532385425693303322222502979416726743153712592308258575035202861220025687257400573206243928911389364485158517058103324392454484272325313206000616665771819145888326696565179866558534538057865158928442983227628630634761822139110935409247123218091289997279075520701652740484206866110491/26148067849148609620654104242973483332855912566561060449858459942701940026456721415914717328216802606812544999386954646463534437735969328832502341006514239873156619696504716791006377267800953817538964334853037111249038872374905505507830234747065111768269494731845701323661478509283716561265927006598514369010925786398830008762697121561316992000000*y^2 - 3972915221218996468602501956632853016726805971354928038009414648458042083474206550702079000204148311742993609052857159448643396893828221064443576864224799486642662495123413818240230304415815766322587296136561978224999295153562221671247124117863451432128870859683939631637202038354169898367824321432021521626516026618163811739818669183998500247511/435801130819143493677568404049558055547598542776017674164307665711699000440945356931911955470280043446875749989782577441058907295599488813875039016775237331219276994941745279850106287796682563625649405580883951854150647872915091758463837245784418529471158245530761688727691308488061942687765450109975239483515429773313833479378285359355283200000*y + 168447216590958299183262850453149075207471857527701998378451987229826156343894661535149960348275838463978590228510228983082201311684505749870368852919820206744708849120466801743236016577958932643578144562722438377768002026425038105814408741704718941047901909954032619713047205230486034071748868705798333670069675088947483377011026992261533102157/13074033924574304810327052121486741666427956283280530224929229971350970013228360707957358664108401303406272499693477323231767218867984664416251170503257119936578309848252358395503188633900476908769482167426518555624519436187452752753915117373532555884134747365922850661830739254641858280632963503299257184505462893199415004381348560780658496000