# Manifold: Census Knot K8_169

# Number of Tetrahedra: 8

# Number Field
x^20 - 12*x^19 - 215*x^18 - 1537*x^17 - 10430*x^16 - 48293*x^15 - 187481*x^14 - 825463*x^13 - 2179293*x^12 - 8043614*x^11 - 17455001*x^10 - 43178067*x^9 - 93336217*x^8 - 169528060*x^7 - 156843757*x^6 - 282455520*x^5 - 241304992*x^4 - 148557952*x^3 - 44137728*x^2 + 2820096*x + 20901888 

# Approximate Field Generator
-0.114177917587639 - 0.720235656028603*I

# Shape Parameters
-3480268659190401150000066169971429439728192377843167292842933313/1557693513713480163517061083532162296535722111184814250707006853891229952*y^19 + 37719619999956240427056854251147587344723337539305903185033729725/1557693513713480163517061083532162296535722111184814250707006853891229952*y^18 + 799316042732447378220356912802992504873549896747031518151209283083/1557693513713480163517061083532162296535722111184814250707006853891229952*y^17 + 3099592694123846873401504540537712427548544160633993997789559720557/778846756856740081758530541766081148267861055592407125353503426945614976*y^16 + 41843565745813059296285232783592283645957611480800736297597967277005/1557693513713480163517061083532162296535722111184814250707006853891229952*y^15 + 22652785714864979580537010928082521553692675664937703814785512824975/173077057079275573724117898170240255170635790131646027856334094876803328*y^14 + 22304113595926458355478883715166129143765274671054966048178739797129/43269264269818893431029474542560063792658947532911506964083523719200832*y^13 + 1692739343369697012802083396675517479867093473253773366213120150317175/778846756856740081758530541766081148267861055592407125353503426945614976*y^12 + 4932242376555778426552805821032553405148436761714245226638083047363819/778846756856740081758530541766081148267861055592407125353503426945614976*y^11 + 32471619790159705937265966007215864563216254765749128849123185550187025/1557693513713480163517061083532162296535722111184814250707006853891229952*y^10 + 58293190090860855102008810192340991867504057051588880573038474065911/1161590987109232038416898645437854061547891208937221663465329495817472*y^9 + 87051323056548044255969383310426485737503218781051374896794092834110469/778846756856740081758530541766081148267861055592407125353503426945614976*y^8 + 183025323917083972717881994695827307200280028065343986870636015040929115/778846756856740081758530541766081148267861055592407125353503426945614976*y^7 + 218212937231835998269780982695614130495709012720566021679631919477935761/519231171237826721172353694510720765511907370394938083569002284630409984*y^6 + 180824307067103596088376751641678886635176390100474623621335797710737403/519231171237826721172353694510720765511907370394938083569002284630409984*y^5 + 230708565322665731128172859689676706576858194731815116111751322471312707/1557693513713480163517061083532162296535722111184814250707006853891229952*y^4 - 816513493904896576079183977531055048462416253970061255516528859609885/12169480575886563777477039715095017941685328993631361333648491046025234*y^3 - 3632983434341323703457751026828501111112504931449565718708951193311569/16225974101182085036636052953460023922247105324841815111531321394700312*y^2 - 2444526208192028141166748134759288777171650020473658111701881158099232/6084740287943281888738519857547508970842664496815680666824245523012617*y - 168257565690243885856986207905375285253202167972895605521126695861738/676082254215920209859835539727500996760296055201742296313805058112513

76434231666714681090151033235895166353095391085531087651789025369369/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^19 - 147282979747066580429405537606728663415754881322141644872329634985353/3298410788128852254703203968335449192571114604923403958374601419131948244736*y^18 - 16813628308005948507963907251919497800150008148667886257491293282546519/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^17 - 124913414962486476984513214928520637501689540606858471930242085993551315/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^16 - 213446345214538887643799697303225400397768751983146372327660872481267477/4947616182193278382054805952503173788856671907385105937561902128697922367104*y^15 - 4082160528703732129359685692007539614092272016210690502518051446641273281/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^14 - 16239520353686110111085250829153302191851419485916940583514455008332028927/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^13 - 70878997241511884974973506617238567816309101475457553295305242601344970197/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^12 - 66875341177553764709782366255126422599361840062272814778890080868336932885/6596821576257704509406407936670898385142229209846807916749202838263896489472*y^11 - 178910755493825521056860930857524123231166047641516835136979527101364568383/4947616182193278382054805952503173788856671907385105937561902128697922367104*y^10 - 1693795808896487010663410215788951544197407053820300687602386538096076944021/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^9 - 466110742290642848558310112163788405607149897587432382164921567226333799065/2198940525419234836468802645556966128380743069948935972249734279421298829824*y^8 - 9420413592747796819633109937521294763145301864160676648902896553746854647587/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^7 - 9105351877935288819570086771769089726844568681755862892784394183869985963561/9895232364386556764109611905006347577713343814770211875123804257395844734208*y^6 - 22564990748490516209973775517322769120311696023022777240723763875305043559517/19790464728773113528219223810012695155426687629540423750247608514791689468416*y^5 - 6141258731596289545927909603603599006868411479295627867595947812878993892821/3298410788128852254703203968335449192571114604923403958374601419131948244736*y^4 - 2690920850389221384711836845936222093209323584932621255358962296448007790813/1236904045548319595513701488125793447214167976846276484390475532174480591776*y^3 - 1232766541561637934066862979007620212608039905294872521070801698636288946519/618452022774159797756850744062896723607083988423138242195237766087240295888*y^2 - 6129798666255009434820755560636222759307582590813448340090623487149058062/4294805713709443039978130167103449469493638808494015570800262264494724277*y - 282457641370240026878015488550961810392557256782065464390133440873674319/477200634856604782219792240789272163277070978721557285644473584943858253

-84128782845121942928493103952687642626601083986447802760563347930869/7065697778204346021713389074901888177086035496334317441206983089250619062272*y^19 + 85444324398295914563193128964936842954818340705272519997257976723183/588808148183695501809449089575157348090502958027859786767248590770884921856*y^18 + 17916592115381416223048887458944637708523567998007986016673806807104235/7065697778204346021713389074901888177086035496334317441206983089250619062272*y^17 + 125680241663118044973486361818806532714979443755525737876651980461681165/7065697778204346021713389074901888177086035496334317441206983089250619062272*y^16 + 60667407153823594707763187502483856103766350953812784946052059509576469/504692698443167572979527791064420584077573964023879817229070220660758504448*y^15 + 553289842245209421839681093325824246678340346182944514124283054579565991/1009385396886335145959055582128841168155147928047759634458140441321517008896*y^14 + 2121110144651808436540138955432255866767121147931114812688339036837210227/1009385396886335145959055582128841168155147928047759634458140441321517008896*y^13 + 65803024939922487431966423272945631320821716298020570874339507379146940163/7065697778204346021713389074901888177086035496334317441206983089250619062272*y^12 + 55994912076614814356774673805908072061766361378239853147730318066209961339/2355232592734782007237796358300629392362011832111439147068994363083539687424*y^11 + 315977076327934334980570537724443167683409316633147861929022651948962177299/3532848889102173010856694537450944088543017748167158720603491544625309531136*y^10 + 8866957861222965991995648564956614718632319570248941846804115631147771681/47420790457747288736331470301354954208631110713653137189308611337252476928*y^9 + 364214867185222182909186078786731632695065414278159412775760501953180800143/785077530911594002412598786100209797454003944037146382356331454361179895808*y^8 + 7062532728809175199145293588139422466804259546612619104569423674531039807805/7065697778204346021713389074901888177086035496334317441206983089250619062272*y^7 + 3150445901829754411900382295149230627385011436877690411092634738343481688215/1766424444551086505428347268725472044271508874083579360301745772312654765568*y^6 + 1460804674773607198227037308572737575606264843943649720906470823674274342735/1009385396886335145959055582128841168155147928047759634458140441321517008896*y^5 + 887582580621535504904467152376269883597470612227855350139717433229450536119/294404074091847750904724544787578674045251479013929893383624295385442460928*y^4 + 2406775152388534490123386616225760805184775598404700223359051573652710769887/883212222275543252714173634362736022135754437041789680150872886156327382784*y^3 + 101344327737446743929390631407505717921042377612435395769157641585888377581/55200763892221453294635852147671001383484652315111855009429555384770461424*y^2 + 1149144481027255620317328668246111939899030198986174239160051915923771987/1533354552561707035962107004101972260652351453197551528039709871799179484*y + 15681494148977123958382854176119331515549331715545994134983591191869851/42593182015602973221169639002832562795898651477709764667769718661088319

-1683284125617912443974027302229362675276308871852649147962059357769662275549592333504267357/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^19 + 3311030250301768356270886118911331135867277710784274481618107076288127020310190275127326283/10237676768846634682454522537189320666574155780333349143051879751271822576352025730497137091021952*y^18 + 365940495533388943739572132424288243452883525544982470650361235549249605944257299641861118643/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^17 + 2658456972054305602798174089389598003017950065590676185647622018292875956350015886232073001427/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^16 + 70548831997557256869703128859249214751373268122027440232051496218663315777614803731797255043/239945549269843000370027871965374703122831776101562870540278431670433341633250603058526650570827*y^15 + 84707720459534838119789936042686318720384044398875491726955236323601662500383178967299653247357/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^14 + 19488503238704159923824408169458471070191698857225984311392592394171507407418184753140411831751/3613297683122341652631007954302113176437937334235299697547722265154760909300714963704871914478336*y^13 + 1450232336185024377761870018704320672491836576115879991579096679878464438911842570299766455618213/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^12 + 1312487055514422184513849474819876742249274967545869143951982950482454107734621633463278843918197/20475353537693269364909045074378641333148311560666698286103759502543645152704051460994274182043904*y^11 + 1780045760228679327319149097333485058987415874933297927494977217752172934637311282293374571075243/7678257576634976011840891902891990499930616835250011857288909813453866932264019297872852818266464*y^10 + 31996096453689232408705363411345856905400351762524396845486506802039616224434607596644660650442849/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^9 + 8702019373564278213091264672085644540443153255868418872176503340839773000143574077348758069925385/6825117845897756454969681691459547111049437186888899428701253167514548384234683820331424727347968*y^8 + 171030127567493616512737771743244302547316705554329494527189041532901079729684251392137228261236963/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^7 + 158065452746595582463970043625554036338478762176661924174407338834860781956857466063190687375800043/30713030306539904047363567611567961999722467341000047429155639253815467729056077191491411273065856*y^6 + 318881842640213712180705347909007299544448977264071016117253876860938682411674308691657765358321137/61426060613079808094727135223135923999444934682000094858311278507630935458112154382982822546131712*y^5 + 5177438219149431766595443145802565298673940803938529436739492321297820495175122301168544207431603/602216280520390275438501325717018862739656222372549949591287044192460151550119160617478652413056*y^4 + 1978304693649431311746952866327078953834102181746789067409284095239327633021123746799929017826953/239945549269843000370027871965374703122831776101562870540278431670433341633250603058526650570827*y^3 + 10929933568902626828679250524166926961084119713250299925890753224499745389630222604402607888854781/1919564394158744002960222975722997624982654208812502964322227453363466733066004824468213204566616*y^2 + 115534448234385348321482825230520381420960437052036954006512513575734845407734438444332103852051/53321233171076222304450638214527711805073728022569526786728540371207409251833467346339255682406*y + 7434836441289611264459600593050271815626393573637003849480188972516632117359857563819410674245/8886872195179370384075106369087951967512288003761587797788090061867901541972244557723209280401

-29105069937797962027793050815506469372046965123052681270275160328911470938471026739981/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^19 + 61907319641150813369748165715195059596035621854738567017603926744326679888088295682363/97345004410488211188225832110121049611331816222778091862163562944135843987791323778842977408*y^18 + 5986680771076373100867642955562640184956708384417203497774546342115899727844797799928195/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^17 + 40029852755929042579912577996575165466052701722667370226927176861392664978985949591591651/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^16 + 4224478167087980296512817375755676546056251851900825594837281027922049220731647773683311/9126094163483269798896171760323848401062357770885446112077834026012735373855436604266529132*y^15 + 1179896409364576279604853242538924054693998890870133214446482554092301440340667233277712173/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^14 + 260368872931153044506810952576152774020994117039679195277059534003884731667052492069820439/34357060380172309831138528980042723392234758666862855951351845744989121407455761333709286144*y^13 + 20041144189800396265882065383593205478400814430526066971326896118242477914764408339006069141/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^12 + 15274049592273659018364443757956079727420033924682060112140057177698429132585289387014950757/194690008820976422376451664220242099222663632445556183724327125888271687975582647557685954816*y^11 + 23644323555520765334861696780567891776278334826866778515017336937860943795154280947081337299/73008753307866158391169374082590787208498862167083568896622672208101882990843492834132233056*y^10 + 337054761933657449744563997714349103891767870684093313543866824113203917211078632148561430225/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^9 + 100689813406121636447679109528841055262331588678686283180390037057724594648579491508387263545/64896669606992140792150554740080699740887877481852061241442375296090562658527549185895318272*y^8 + 1822085698933347213762087284511347338613660195872743726511108348565498471213025820492779192947/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^7 + 1539142563584566471005217064907478324093294348278294667534603742929058750389546564304364386587/292035013231464633564677496330363148833995448668334275586490688832407531963373971336528932224*y^6 + 1256960992153530264072720612252996020126707392654367464860126118163715304393554819840292076001/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^5 + 54593902116554289902985766311681851871963646347263579233982177339830392119461869096177170275/5726176730028718305189754830007120565372459777810475991891974290831520234575960222284881024*y^4 + 14241321132216877990802547608993504810961850192302407237893634357608729814492671536384143887/4563047081741634899448085880161924200531178885442723056038917013006367686927718302133264566*y^3 + 69426740627647234185785901063953259487306122493386284585547085287996255908235735216050276749/18252188326966539597792343520647696802124715541770892224155668052025470747710873208533058264*y^2 - 579149884507078309325431598006956078509683820116963614148613559143330834699241364271295453/507005231304626099938676208906880466725686542826969228448768557000707520769746478014807174*y + 14793966459019453423420489586100009525665285762764326067817856974334637734047045545746372/84500871884104349989779368151146744454281090471161538074794759500117920128291079669134529

7962611420215787824836197179736350408264398147591426140239873391219290811610631521191/492809084828096569140393275057487813657367319627814090052203037404687710188193576630392573128*y^19 - 1181596776310561716279687225958485834873940154789339926751953804981578698219434216805911/5256630238166363404164194933946536679011918076030016960556832398983335575340731484057520780032*y^18 - 12358925919610369829604680029807679202002718871762545868142065445393551914271109486259641/3942472678624772553123146200459902509258938557022512720417624299237501681505548613043140585024*y^17 - 281491360328324904489799611974370893192506676817268440210272899316307150916283033330136781/15769890714499090212492584801839610037035754228090050881670497196950006726022194452172562340096*y^16 - 1793414700201461164502857771761820923783675764254181589722818494172616616826423530215159675/15769890714499090212492584801839610037035754228090050881670497196950006726022194452172562340096*y^15 - 3173053923101755057904783483775148290518185219692653142817077922647152556504642270008915653/7884945357249545106246292400919805018517877114045025440835248598475003363011097226086281170048*y^14 - 1085388133511557839356854352132609489829081607354668288609161858649133509351494975812645783/927640630264652365440740282461153531590338484005297110686499835114706278001305556010150725888*y^13 - 91304257501369291437536355150594942029022092405845982089112839574967018283535642476712852707/15769890714499090212492584801839610037035754228090050881670497196950006726022194452172562340096*y^12 - 16087923145795807337344156115630274463675426554697099456884116079819115175876571974150644559/5256630238166363404164194933946536679011918076030016960556832398983335575340731484057520780032*y^11 - 550646358968924160879625811023946647317605072209478995985074888386112275737826585179770039631/15769890714499090212492584801839610037035754228090050881670497196950006726022194452172562340096*y^10 + 350918486223985527318175643276767246456352932480400888938040774067064193377708026331496763083/7884945357249545106246292400919805018517877114045025440835248598475003363011097226086281170048*y^9 + 154027396882332420176055394379336824304517479029847966283656956189870199297077252931360033749/1752210079388787801388064977982178893003972692010005653518944132994445191780243828019173593344*y^8 + 6373468805472009506983505993969067189412250881124147848496528278798313659096183486164376069055/15769890714499090212492584801839610037035754228090050881670497196950006726022194452172562340096*y^7 + 20236753412577838935846628785526243470293719228925096917993838566150629813164087748579112666781/15769890714499090212492584801839610037035754228090050881670497196950006726022194452172562340096*y^6 + 19910489018476889968341200928672791858708300422825323583441732246495747444427173372644958880459/3942472678624772553123146200459902509258938557022512720417624299237501681505548613043140585024*y^5 + 1272297876716719082240150581293370480204657004149772672354276130212029422343552424677669232315/309213543421550788480246760820384510530112828001765703562166611704902092667101852003383575296*y^4 + 2697438509034494344481649320562483408500117434839034879823802483725231353821635684602871613691/492809084828096569140393275057487813657367319627814090052203037404687710188193576630392573128*y^3 - 2301741099096052783046286382596662098372266358209596249913101260890572575984282103405386108/61601135603512071142549159382185976707170914953476761256525379675585963773524197078799071641*y^2 - 2109185459539758929892037992217308356926406919978618835827051547151880504672945940305680924/6844570622612452349172128820242886300796768328164084584058375519509551530391577453199896849*y - 210849423123480903874511380082166051947679597564227057403463156940503942323023079201315073/760507846956939149908014313360320700088529814240453842673152835501061281154619717022210761

-46990254201744535744790100273674356765811318273202280032935960255124374242623209137/5726176730028718305189754830007120565372459777810475991891974290831520234575960222284881024*y^19 + 362338401104205691191691788035354347620627511175607638802476057074504199611626351917/3817451153352478870126503220004747043581639851873650661261316193887680156383973481523254016*y^18 + 10384494155636993957362875133740730234102508787675019546346291386372099156660202567273/5726176730028718305189754830007120565372459777810475991891974290831520234575960222284881024*y^17 + 152313593677285478688343843339432529423567356045122023236573867788637041875942774530937/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^16 + 1026990445396042681760896277953679875876383953018768514997042472273947647989643513877765/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^15 + 37896379015715436704304113716453952044714839026349100602501513110636143565915183737211/89471511406698723518589919218861258833944684028288687373312098294242503665249378473201266*y^14 + 18819341210358789618725826183210719510659834126454829851411040426464033345341627343401927/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^13 + 81669577073701424958398609424862923190792761450404393161781668087778381798174030045042303/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^12 + 74885200506373432832201187780631587789526887821614447425816408962818198946035498634509171/3817451153352478870126503220004747043581639851873650661261316193887680156383973481523254016*y^11 + 783869314845592139057665719666426686972211355272174148896177146369014363316326050531279217/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^10 + 226126692294130378981676449818324206294798300358934825250874833939787925487008798308985109/1431544182507179576297438707501780141343114944452618997972993572707880058643990055571220256*y^9 + 463996167370872700310000501668629980410698555605213279060463926321340687798417705218687927/1272483717784159623375501073334915681193879950624550220420438731295893385461324493841084672*y^8 + 9263488632726664603274934106242335167507843732702874346745585685438458060155483879527568125/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^7 + 16579409363141494284710936237503507763319307359308475158169647204017648238217502085326038665/11452353460057436610379509660014241130744919555620951983783948581663040469151920444569762048*y^6 + 7418997440592155980900388555312529315896860835147490093066318619551191944365049692261767863/5726176730028718305189754830007120565372459777810475991891974290831520234575960222284881024*y^5 + 7002239622708120444779524298873256681328978420250360453998501799528633685868615026335781775/3817451153352478870126503220004747043581639851873650661261316193887680156383973481523254016*y^4 + 2842532138459742383163488772003279342652551037970036357010177195364888957135748439578877529/1431544182507179576297438707501780141343114944452618997972993572707880058643990055571220256*y^3 + 334546483353967313634246732310238931693438644146421299207717540229602568632001838453857795/715772091253589788148719353750890070671557472226309498986496786353940029321995027785610128*y^2 - 2659408335498621967660277055957002493971111532380510971913535911656746291774118503639627/4970639522594373528810551067714514379663593557127149298517338794124583536958298804066737*y + 187918080000131836142768935990623411337456554131192086900237203532890694362919760028416/4970639522594373528810551067714514379663593557127149298517338794124583536958298804066737

-5610937937904328361594125799243778471029053466253544219877936830114391912788026405035/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^19 + 86792610218114479233319412125654726817649872869710368365427478576164977253936718359/676006975072834799918234945209173955634248723769292304598358076000943361026328637353076232*y^18 + 1082528164647410913922520043318404170051434585029359231968952619083904533209649161083773/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^17 + 7327348878403217908417290779694813040153096696248341528452257979695992277333506074386215/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^16 + 27018840638373188507196545042130821902845682705384127470798337519583997331600621066898431/292035013231464633564677496330363148833995448668334275586490688832407531963373971336528932224*y^15 + 247258495640087381545035227246606710665255942761111213910472896509744116792684350790333951/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^14 + 62456001511316907469439351553627672493483614501962377558335829243475599775170457206611479/34357060380172309831138528980042723392234758666862855951351845744989121407455761333709286144*y^13 + 5038273903994037959445375942526636948112310513250513212628420596052489174699737056306877137/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^12 + 4386835857262789549980122876628411783097103767460979157537930867692614984678337550852955449/194690008820976422376451664220242099222663632445556183724327125888271687975582647557685954816*y^11 + 29562649610362390934133002043083237057501591724319365896368484188535843613978893565993668999/292035013231464633564677496330363148833995448668334275586490688832407531963373971336528932224*y^10 + 125017735638702273308442653595052203333517718621401543088534211242510277537874882855900011067/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^9 + 134558522590385271818848903346320598329933893417238382340522907709763926536452271673794093127/194690008820976422376451664220242099222663632445556183724327125888271687975582647557685954816*y^8 + 897067656180554002935686410190917844604529054994836698486729368104690876050804872304236386415/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^7 + 227910012662224803645649458110860994662985992730160726710280858940322797819641011228311803673/73008753307866158391169374082590787208498862167083568896622672208101882990843492834132233056*y^6 + 2930865997081072189673130693971715464033366020562103734317460947580871437082962479922156457167/584070026462929267129354992660726297667990897336668551172981377664815063926747942673057864448*y^5 + 10471750344367731733370280299759661157954708905776222544547800378065851639857064164688211477/954362788338119717531625805001186760895409962968412665315329048471920039095993370380813504*y^4 + 279467300534171096627646920362395604525888486082968685859428315140779672448512473430157842047/36504376653933079195584687041295393604249431083541784448311336104050941495421746417066116528*y^3 + 40334319452417694738417117519582745465189241308220123385974355052462832518018832036521355021/9126094163483269798896171760323848401062357770885446112077834026012735373855436604266529132*y^2 + 146393462193859107755450176741625791625454236662802883375527025438976858436898519901120144/253502615652313049969338104453440233362843271413484614224384278500353760384873239007403587*y - 57742603545693508776265385747827894213098233459044371425330038319764617499702483901444975/84500871884104349989779368151146744454281090471161538074794759500117920128291079669134529


# A Gluing Matrix
{{4,-2,-4,4,-8,2,-4,4},{2,-2,0,2,-4,0,-2,3},{0,0,0,2,-4,0,-2,3},{4,-4,-4,6,-11,2,-5,6},{0,0,0,1,-3,0,-2,2},{2,-2,-2,2,-4,1,-1,2},{0,0,0,1,-2,1,-1,1},{4,-4,-4,6,-12,2,-6,7}}

# B Gluing Matrix
{{1,0,0,0,0,0,0,4},{0,1,0,0,0,0,0,4},{0,0,1,0,0,0,0,4},{0,0,0,1,0,0,0,6},{0,0,0,0,1,0,0,4},{0,0,0,0,0,1,0,2},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,8}}

# nu Gluing Vector
{2, 2, 2, 2, 1, 1, 1, 2}

# f Combinatorial flattening
{0, 6, -2, 6, 5, 0, 7, 12}

# f' Combinatorial flattening
{2, 0, -12, 0, 0, 0, 0, 0}

# 1 Loop Invariant
1837953548666006136542461736268016389800578026946037961673203376619599274368841707231445/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^19 - 1809938266632786346774279344580157373360752912576868824939355106620751868320713307661075/292035013231464633564677496330363148833995448668334275586490688832407531963373971336528932224*y^18 - 400434672345306834338843490902994004395434350334612704168640051102685851371915700046498931/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^17 - 2882214509957950051870181717923931267976314922281533980751680710421703042176731105070648125/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^16 - 9710240274692300868756920093306853363128097962222209743935666884740515416294403404377224591/1752210079388787801388064977982178893003972692010005653518944132994445191780243828019173593344*y^15 - 90394574371235596382113065391423440619486535154098273339845375711463504017967254413120664873/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^14 - 20482777466029268642434036103058594058774445481472911755130012870820105677501891658021013141/206142362281033858986831173880256340353408552001177135708111074469934728444734568002255716864*y^13 - 1522439141069499292272726555913724549541504071679851596903725220784561298378227632089978182699/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^12 - 1354154411745699678295453440407785775554334265955681782380010587114246859271767128236794417715/1168140052925858534258709985321452595335981794673337102345962755329630127853495885346115728896*y^11 - 7271278219930893278227984609608157539992517177421838271026376421116219282960488805077445765935/1752210079388787801388064977982178893003972692010005653518944132994445191780243828019173593344*y^10 - 32281175195406405683298005637199576053114519196551166513326628129285330400569463585124501692653/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^9 - 938106585646456188571915268649300892975119942330434512769826619074617196510603421179945402007/43264446404661427194767036493387133160591918321234707494294916864060375105685032790596878848*y^8 - 166371177112187915942098049871080874298969174616952601047881996892991150495275574711407080997413/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^7 - 73910656271548582439377255844417615510818156991698049002977927992863034819581242116306884438349/876105039694393900694032488991089446501986346005002826759472066497222595890121914009586796672*y^6 - 242146640579472623183553782230858779390910609335601611582190447581407949296893359743978019590753/3504420158777575602776129955964357786007945384020011307037888265988890383560487656038347186688*y^5 - 957827446585389610939447583203861724523021277530145028571649915949315911616817056192450989081/8589265095043077457784632245010680848058689666715713987837961436247280351863940333427321536*y^4 - 24746203640397755039699112051397647344438372952158280182419616959099255578586866518618560467959/219026259923598475173508122247772361625496586501250706689868016624305648972530478502396699168*y^3 - 159055246500567509745240919644510890167820649565888825055099941620770726743027316972856874288/6844570622612452349172128820242886300796768328164084584058375519509551530391577453199896849*y^2 + 45155883423640901808789162452887037230029290837916692101642335030849443273087117373144601609/1521015693913878299816028626720641400177059628480907685346305671002122562309239434044421522*y + 348075208026371882484889896789829414757229129993413297281419206044076831745744532698940974/84500871884104349989779368151146744454281090471161538074794759500117920128291079669134529

# 2 Loop Invariant
-1239301630268486397865265199520142175071376042610559485999307415006488173089301693968922958911928197688926279185763160367855225207406301688525697/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^19 + 3021978845235193605389954744967539569266245001804658511966744659312515428109005521382446315703068894221475549593548146419835788246335592091903/114849831631979621873495007339939368011714211922413722818019537374748278512376030206863235832017020998557170934194051879583256949862399913307840168448*y^18 + 256720553149927578556883027901909917470403392879511296503789311675637854177073424990646780185967475618206009895824583886755500904654886653408447767/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^17 + 1736695230206983201748124856885328813919323941399406887947457260416157940040635274853420110387298464866388863026648749280794668763061077075956955029/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^16 + 5871443499866908670803059050227975918676094634258152211561767778599127034263791557765178444668766490638965943910229305884762458371934308766472726493/297690763590091179896099059025122841886363237302896369544306640875347537904078670296189507276588118428260187061430982471879802014043340575293921716617216*y^15 + 51817874454530843417309626442478942377534352209594880849648328737143548887669483638196851165084326646447042576597612906613894184647775067137550622941/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^14 + 11517784532097009287128576038728727339142215860897932482650969518683298998820212576159427863974162792598407257425363107749992441914741794788630984805/35022442775304844693658712826485040221925086741517219946389016573570298576950431799551706738422131579795316124874233231985859060475687126505167260778496*y^13 + 881930916442043137372901148333561308003787665753839861433883493447051422104713240218539962065244908081671314051937346717756617962218307962667199458675/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^12 + 76935037711937014562485251614914382450586247903363688663582620762160335118612169478065012070136996158161535040959433700713486954195399501974386192787/22051167673340087399711041409268358658249128689103434781059751175951669474376197799717741279747268031722976819365257960879985334373580783355105312342016*y^11 + 4192634768736131601506481558644503746720147498889441573173062260491401409145319189765391241355233349716960167475180700720644375598415837780627171629845/297690763590091179896099059025122841886363237302896369544306640875347537904078670296189507276588118428260187061430982471879802014043340575293921716617216*y^10 + 15578751288988149504782623875283052643023880926391274227097529101300565326401659197448747632047597739104411210284292252210939008497162918228584626474513/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^9 + 13756509231728864366700475954880571468055850815405663502913207861687639430203765715912735481225573570123595600339478083415571146678363860699075591740597/198460509060060786597399372683415227924242158201930913029537760583565025269385780197459671517725412285506791374287321647919868009362227050195947811078144*y^8 + 83965731416979841049907302538442814932908114361700955631725215378454942657172194575157010893334883929504310739740106532793756293744845609333638797941517/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^7 + 18226475581248527870353079751893711474431781036515839433932444174301033683119021657274631470732162268819023582278947767325864751334707449958506196438219/74422690897522794974024764756280710471590809325724092386076660218836884476019667574047376819147029607065046765357745617969950503510835143823480429154304*y^6 + 75837989202583370358365949770774300074936243497866551605865270585290946170644581567671855053746180410540006750825927123107615568401468220207165118011661/595381527180182359792198118050245683772726474605792739088613281750695075808157340592379014553176236856520374122861964943759604028086681150587843433234432*y^5 + 143666659411033186150233475903018800857572388907088892691281934463774852477284960716861752730009839401119923010960929157802143925431514720505315436029/324281877549118932348691785430417039091898951310344629133231634940465727564355849995849136466871588701808482637724381777646843152552658578751548710912*y^4 + 6677330649952978018128195085971436055502396023989061727079787836444756047568458139013654880271108214195370701968153146772218428624536327307924522159611/37211345448761397487012382378140355235795404662862046193038330109418442238009833787023688409573514803532523382678872808984975251755417571911740214577152*y^3 + 935893780649567995722001570590310380133920400750639383052017302888091193563721320524112025208501172472865786033318578697752447118616545264420032892963/4651418181095174685876547797267544404474425582857755774129791263677305279751229223377961051196689350441565422834859101123121906469427196488967526822144*y^2 - 106552605495058746446236322619541611285644737716762167910150404288986061005768354755185852325946662308100202960148756932445829124076109669632006257811/775236363515862447646091299544590734079070930476292629021631877279550879958538203896326841866114891740260903805809850187186984411571199414827921137024*y - 3088035904854630506981284920875669147831509972313841612505700216070231718201970278650639445888320213689283628488982230961619516129795028719735266125/1794528619249681591773359489686552625183034561287714419031555271480441851755875471982238059875265953102455795846782060618488389841599998645435002632

# 3 Loop Invariant
247948814486565779983661169047765911313706100446344530563401186467292013299755276693882767751473241599628214523218903885038284205142918081610768801113358244802227129038908473/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^19 - 239375722277752560012736047935733717470337963954268692467618607250296511709146681255525299073379703891936472801778127243608470718540886797688838423143632044485673534600101091/20450489260424965719303580189133906793551773890546588875489388066452562523981266886956735853132782525930518242456513156032202571751767733585012495360568604423661397244064792269094912*y^18 - 54575561414988857944339945753915433651354922988167572697773353262087657421946517817408467746578653880409516807562752644494817937496770900236398547264360078462905270692755311663/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^17 - 402702364337346472286257726616184552130594795556006445596251690243914762573818045773054914099195318973882553351602071080535355469300736519539680759590552281761078597721331809137/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^16 - 1369441651181335023324701263564897583403493792308268428981749428826409337841114539152307944175854602815122988296953266928417504274304471524322261430049477197815802134005755758051/122702935562549794315821481134803440761310643343279533252936328398715375143887601321740415118796695155583109454739078936193215430510606401510074972163411626541968383464388753614569472*y^15 - 13025789108669204931514084493773363850076850516671016127507081057054578882643346679682495882084696552242765771317243431046555160735305097274882292988647074362927846845941626277501/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^14 - 3018739825226647910941488652634101694051237314079271783083448552790331628931814851745872720239840860180836326292822153377990600978090282444514747116510912189979897420002510996361/14435639477947034625390762486447463618977722746268180382698391576319455899280894273145931190446670018303895229969303404258025344765953694295302937901577838416702162760516323954655232*y^13 - 223761605773688014193696035134956335681707411887542645299295094047796212793664370496831508273938601103310862177874423776947400861419830060106419055895787420170171979846340463947287/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^12 - 208501736485557111888332488493114809349340069685118252759411762674460276591550948958535082515896005838407988315376754117121627224108303339737763363076781957367749363972931210020159/81801957041699862877214320756535627174207095562186355501957552265810250095925067547826943412531130103722072969826052624128810287007070934340049981442274417694645588976259169076379648*y^11 - 1108086969017915449423189821713345126735035168584682645160601551129553779551712460868910670688702486322891862140792392386060947286883718066527011883914483611095224977944995910792003/122702935562549794315821481134803440761310643343279533252936328398715375143887601321740415118796695155583109454739078936193215430510606401510074972163411626541968383464388753614569472*y^10 - 5191334993454373680937026918546920515562042263060182653766585952890393643488096203461548135576255441288727501897947176676961686233054221953848118960911534362041107065606542692813969/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^9 - 1391060732586469559719536786734356694949919853500608617255188746902518495051498509089549614370129730790391331738291944155715267746555611345236865033508034882112002574219231982544651/27267319013899954292404773585511875724735698520728785167319184088603416698641689182608981137510376701240690989942017541376270095669023644780016660480758139231548529658753056358793216*y^8 - 28037155690195350748180909061944160269950297432748469485931927948155332654801789332546524864157423152971918620087400349749636641380217911847601528687571418817850822870614817761804985/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^7 - 13117462963092122224989222906728520187528744663998575666812183669676616890408123071729068298469787266435633522410987129267063157468966820329269209111224107953326930989112518618838677/61351467781274897157910740567401720380655321671639766626468164199357687571943800660870207559398347577791554727369539468096607715255303200755037486081705813270984191732194376807284736*y^6 - 58452766632908563686925596375747308123487924857420080417814714442587201520768920507736982921672696808746743475428736696188359448595968126629875514978787887134903823985372794258234869/245405871125099588631642962269606881522621286686559066505872656797430750287775202643480830237593390311166218909478157872386430861021212803020149944326823253083936766928777507229138944*y^5 - 227743039510787452313937262360751042350068948879613974733977478320576753950288662096897196052190150734298892814320789511585369329127308839979719888094654296606397457308616943203443/601484978247793109391281770268644317457405114427840849279099649013310662470037261381080466268611250762662301248720975177417722698581403928970955745899076600695923448354846831443968*y^4 - 6363130838303161543338707050456583890603026663572731555043028452208756810689566895395547801537058259951309195684432683026444490428002181158894603002106063259540517516017874569123527/15337866945318724289477685141850430095163830417909941656617041049839421892985950165217551889849586894447888681842384867024151928813825800188759371520426453317746047933048594201821184*y^3 - 1162646169690845747695478255825781238186474878020534137185280800495498710287561278267773595463425393460193345850438892846385509544772003274960579264741301771954141228728704303337363/3834466736329681072369421285462607523790957604477485414154260262459855473246487541304387972462396723611972170460596216756037982203456450047189842880106613329436511983262148550455296*y^2 - 9487920540263424578094964739565307269324012124178863399782837015927671112444047765096833477346932317787468659344102280274010433984897197063257810988670369159612788127948162388627/53256482449023348227353073409202882274874411173298408529920281423053548239534549184783166284199954494610724589730503010500527530603561806210970040001480740686618221989752063200768*y - 35067304525098262293647490089320610635241188687325165759533085807661156507530111011486574351705257312716886507160241391626844183051309856798738177853181635872538707068962195139/739673367347546503157681575127817809373255710740255674026670575320188169993535405344210642836110479091815619301812541812507326813938358419596806111131676953980808638746556433344

# 4 Loop Invariant
171399162841067734805951073914319605625618596087366520435842725128425178042702112266086671312812361853493215637479072746117652298811660026638828947133382570773516158427951129879175879976710103529192717725823546634062051576803984228433/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^19 - 35513622987086488556178442678947217122989677828674864608473897214552455111122726497896453522704160504420353273561433132886180978274733867827995252865807680312451371637301900935212934255994884996722332503686303252130803902646093844103/1954363824508356752602229867351733463344276027772532825554373447447888841881930397345370608559910050172020775644561141530557547341306816630811990186137786940340796103306031576146849940459829835291388631530927715316633255931472416243306463232*y^18 - 35852371936782689267776167160179320724052530097779040817503914559680937341787110848396974248400770758918739199188614443811703601728487058436358055298367760519377371435967881502562889097766565905006218994209283804328653259071841337454689/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^17 - 248932826543784100218125055178926053654554892996961274139515733864958286563119011175951197341167061936170672525218720241435235841737814122753508986068564297547217204071354895794840429810892818784637800263186063981565351552987047729192401/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^16 - 106030041595264946294398712067947491617558115837509181054654419818609103115818391870300531481979744147886980920423989933510979302961982858044731353225073910404767610953075014622826555931947457689791817946860711027279285207605463253975071/7328864341906337822258362002569000487541035104146998095828900427929583157057238990045139782099662688145077908667104280739590802529900562365544963198016701026277985387397618410550687276724361882342707368240978932437374709743021560912399237120*y^15 - 7656735302562390607729540090163311437437131026984180863481917376160862554250017589683758234677057651175603271790799676423770314442603930930208480964938274594387627814808484510443891656182003952612275766801423433744816089503166719672657419/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^14 - 1740459603816849659768300231718053169819465786920576402750672127451905417231933714735160210273362648899561628851115237193285508922789520715754093031573941172392568296838963119403545546165270525096523103554092335361305496757833198145131797/6897754674735376773890223061241412223568033039197174678427200402757254736053871990630719794917329588842426266980804028931379578851671117520512906539309836260026339188138934974635940966328811183381371640697391936411646785640490880858728693760*y^13 - 132104424365053549478887647775856006592500408268534199854477405476777498515960459549107245529489715070840620651479171312333280215313029793083994968524343546754532076017077940730498393576696715040594602583268500618726418215726685935717925389/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^12 - 109822555118535018388005805404616524365749926474268673546483390336724664227808741627279749208314633074391480058947817339992873960799939969511528638478777866483329064554866580145143405062850170259127969845645473176770600104135449919296737769/39087276490167135052044597347034669266885520555450656511087468948957776837638607946907412171198201003440415512891222830611150946826136332616239803722755738806815922066120631522936998809196596705827772630618554306332665118629448324866129264640*y^11 - 80908556026244505030147090073864948086081551052460162629292578820939606309029341442949250119628247985068821363304704452388043834064128145650014811161946588471650011222904134471273543805309884599719732244424675302511037246031053818579876861/7328864341906337822258362002569000487541035104146998095828900427929583157057238990045139782099662688145077908667104280739590802529900562365544963198016701026277985387397618410550687276724361882342707368240978932437374709743021560912399237120*y^10 - 2574120249273308620003364856947475831085215945144588198497709850701718185869877872189782263779196157327552662136748887139402601880157484958486154284086223899287730423700190754263530909565649916507691833029823668886928131619523710245388414791/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^9 - 761143121796732819295787620317685304414598802962033816245962514832049749616103345036554826659905144431799680751849172836206720818814167780735915181222445221145672721406231497660764941570018611399805480070338766426124074260560026418993238567/13029092163389045017348199115678223088961840185150218837029156316319258945879535982302470723732733667813471837630407610203716982275378777538746601240918579602271974022040210507645666269732198901942590876872851435444221706209816108288709754880*y^8 - 14123943828678948467743854250780061104541692388059503210997984090829812144446258314269379180156702864099110603252220270558897611128950176607482440923040027509731438528930511657221969242428028772506600531729754855732971299139666271647276476951/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^7 - 12900720163621024001964870481474060041217605684357043123834370715712207460834640973533074675688531817281652357771768994874966319231934923746030004116036573136021032943584819225832219823393280662075384451829365179417489790123922269750236666779/58630914735250702578066896020552003900328280833175984766631203423436665256457911920361118256797301505160623269336834245916726420239204498924359705584133608210223883099180947284405498213794895058741658945927831459498997677944172487299193896960*y^6 - 21712246081406295497078757001171444319265357429756503004239615033868754444014946884004641992826500638513197694251736437503613962946945523776057552865838009039917306504435996472416330216327681674432977331273650846507107878327543920308339011827/117261829470501405156133792041104007800656561666351969533262406846873330512915823840722236513594603010321246538673668491833452840478408997848719411168267216420447766198361894568810996427589790117483317891855662918997995355888344974598387793920*y^5 - 60042022546714303459434255871917890365297561453795747411713924674961955361524402653930816204419674037791139279107619342873134544706204463066532368369411946021344241307478763188630888436714300468446974911717871080462950080233748713764558319/143703222390320349456046313775862754657667354983274472467233341724109473667788999804806662394111033100883880562100083936070407892743148281677352219568954922083882066419561145304915436798516899653778575847862332008575974700843560017890181120*y^4 - 14502656868084558863313824773022566918473726145381467105834876064682616216159645713791623687545460871200972168146308537227036344646956111295686471959282123206510064310269644034766930166193595248491210667319297867068326955286934560511141416839/58630914735250702578066896020552003900328280833175984766631203423436665256457911920361118256797301505160623269336834245916726420239204498924359705584133608210223883099180947284405498213794895058741658945927831459498997677944172487299193896960*y^3 - 881873633499873239484482221212283736047558257327647534734081128317682599924775228379307646759267112110429656288532169967886534286501528049460749447508797499129636622130391476594669043859787670479707761467033931090755159887647430878010259077/3664432170953168911129181001284500243770517552073499047914450213964791578528619495022569891049831344072538954333552140369795401264950281182772481599008350513138992693698809205275343638362180941171353684120489466218687354871510780456199618560*y^2 - 3696651179589704998697621051753980699040154631474158374831421037276911039005877016690808646008423095315189688776756186388319981082094425419193147377233570982852914807038183100052033480866735576814440849525138030414784907252007797931827709/45239903345100850754681246929438274614450833976216037628573459431664093562081722160772467790738658568796777213994470868762906188456176310898425698753189512507888798687639619818214118992125690631745107211364067484181325368784083709335797760*y - 61995543555848108889612890358635780212103233314965995913980511410648374466754491151778848181712608602146026390905072423348348245118702987025339333845456745041282599032645399386714699344920073567423372135773970989454268685498708132751067/2261995167255042537734062346471913730722541698810801881428672971583204678104086108038623389536932928439838860699723543438145309422808815544921284937659475625394439934381980990910705949606284531587255360568203374209066268439204185466789888