# Manifold: Census Knot K8_19

# Number of Tetrahedra: 8

# Number Field
x^31 - 9*x^30 - 136*x^29 + 699*x^28 + 176*x^27 - 9935*x^26 + 28606*x^25 + 78716*x^24 - 199292*x^23 - 357112*x^22 + 713658*x^21 + 198757*x^20 - 2286498*x^19 + 1518165*x^18 + 6479048*x^17 - 1589134*x^16 - 9784501*x^15 - 1443772*x^14 + 7580034*x^13 + 3003504*x^12 - 3158849*x^11 - 1837778*x^10 + 758298*x^9 + 540041*x^8 - 114853*x^7 - 81122*x^6 + 11707*x^5 + 5821*x^4 - 759*x^3 - 129*x^2 + 12*x + 1 

# Approximate Field Generator
-0.416318658943502 - 0.120144916086587*I

# Shape Parameters
17390815915527379138240324995916341232608226838718266325165842919512551538144334775299401352127976388976145077/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^30 - 150495554205639965664623670401626652165523360537121157529786772253739374491904423507143566392602342288411800873/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^29 - 2417247665047078340922105538269228300208693048176310811673501833523180907831244227150933920850597477866778693969/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^28 + 5659525696157765014528661152291077004469949406618806181383975065895286426595853145473503510272000772170664499601/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^27 + 3489093911961030161543910970148889899407649540454142710437080374212706889433111858496800855435559840101991916031/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^26 - 170351771716643512923927479425734341767890812251274062185669307550175802451434551621253036543305410651995471006129/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^25 + 219249544851196355358940215103923534448794583623742951218927352757094992702061868794064065979050384601509875784085/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^24 + 1520630238789682177030517471685867793238962052939555091925662045440604828642816264100312038978068907998462191422797/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^23 - 734731221572550448668347255739111487883316656709554274511132367882760899370855744845988971945145345461037298109652/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^22 - 1806733131974699905606896202288633882947805033763193214656422256152205224067422252285112554454635012840773039856001/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^21 + 9906012448989224093182679685678444039281542619196701274427996247422786992191577443974072454918147537680941136781289/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^20 + 1720291283454340919094212622969541508269331650195143723668306140182054943416600889564554393849538934259801320216861/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^19 - 37372048105920717576893768331214124803262319474292431555741950429198636408379254374647209548254408689131455917014395/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^18 + 3366422339229583521240245264172572267113111393634117705347727860628337168810932828124226426763960024979421583895085/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^17 + 117306837656011068821718910750734047868096991103703191681710872071128742604477754614655424316267195061426954070227663/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^16 + 12999680929741521571626379516949027632419611386918510403326926380865509465281309252781195764401868936688708768105853/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^15 - 41391225202909206981499268787342804972422534482316504843028482908263412985091844735898624132738151345032940348282944/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^14 - 41222784712947670434407649851892868678858302452548575487358386283790845774961293636384711736763843271244336232627793/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^13 + 51567941656915428596379330444973044267576132058005786823690803907861304959502068477067845612297343704272027540780449/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^12 + 21975804227923556083883424505893104203588029655553215420109405156849530957443471298782006436057552412570866714969198/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 - 24398128293001790661597660721185584024280358063584279214475339671261710056252013222109102652645931768579458724232005/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^10 - 10087673878930048963342390048432054559199131254012538339405278429330844232958300174649657940718272123882902147355937/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^9 - 818402629288785552592880391722704395039960469811151907092536901835145694405771537168927181423376401206771744537415/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^8 + 9077873462997708344373521336020241744590146962069934772488866123264334862920040630897084467091078147495034956040031/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^7 + 1150978597548194297877206860731520121279663711916839560885249630815905386111283149471095888219137527809817916812629/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^6 - 502264747434264781760213286672214686692593842073012683506812598579771131306897559662583931223716830584837164254955/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^5 - 144462792408654039734569112668964755514750386540548855154725949978475154037827164545069880836853617618881577918075/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^4 + 12566482533317296391944156656568642255333660121662826582245946290240069245317913430460456045230552717666599660499/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 + 4210065154113184523381299313659239229753016698353445556549018301078250525978230522114636278417647083989672301691/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^2 - 736678506355063503232424750328420338724850308212103296440061656410866970915870251728969464468434860820695817999/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y - 48192807631062069269309418094263526280565217370911187875810618443239887971388409511937668635802694862808447991/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068

7518036865034974039927061978609012733167040961141415716706146310701922974125829211133226075338474314177509319/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^30 - 64832837895880109290903465211057151922160439945739936574499065144098260477339240828005729459714348490299672928/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^29 - 1046646304757397891727284838374002461434683164527476622025024050665998773071425088207099153930358635863580125490/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^28 + 4859386539078745702443338031083453790412169425423489816619357273324042981716991251481471272916031618745733355694/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^27 + 3123356523830915170846114707105871082348140603228457235901305461301028623335604909259714177376899195171817129625/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^26 - 73379811856181983561818313723338166554540080561551244474653599855424881880181717394382985623435896145893148693426/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^25 + 187518329868173352275536294935403268013317985626853997106510773794077316790901604889794919432916639147306899293573/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^24 + 660335034132682252420988650504480670623684292799939938892798316920170988880360288290640435400005720868449821670890/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^23 - 1244420298158207891720536122938249582480820007481574859840599679435227970746880772293580493843094135999521066577177/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^22 - 3135376416627390975527765198893805737223859042516373169578325485479163666346564937973038899603808416830195178270441/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^21 + 4149466250322207009205192574281943439104663373559054098569114275858796686510612615154240694137366751705433853087224/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^20 + 2972524268608655587583595018010121766745453790293724668446887837690126389813008529190429255457520677437249771255609/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^19 - 15949767612895828958055959801779759066228285770811404009208400175469066577829966847867620396595638194891227048975412/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^18 + 5482553490969857443989831766424148432677904829701438243173853721846416221087917795321616173843527184282567397185857/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^17 + 50327246527555222224419281577024888982916060141772978364617511140521172590919939048655764207293660232685558146309957/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^16 + 7182723054637300080127316841061691632478890375298074508275586306285517465888190683774759876105331179750450603159023/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^15 - 69484976909292707347495059751333809608660126885602041199938056463839215550659001263307289364342295572404755330816348/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^14 - 36923754133008766390638369046855584032294924043713300581582042913627800512441582406375149723172720086390384497816528/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^13 + 41166428837986115504454462811564221988958849340891417807229189257429847615289903465265128393706885712005003330203347/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^12 + 37218198797992054307856686365378798056700980025868074981489428721453554051637373637320206388275747459663072180201276/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 - 8531995987915553371599288656444990558824266655810005159026539507241659746689232093860886143707937273864124159922805/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^10 - 16102631112786037303099562363025302184650877355977755869221935007114887992070944145380175332497832622890421943941770/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^9 - 673628963270967256876025702212984719028345916087056670371771517091911647088901510698930395471370932108849410179566/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^8 + 3388269333236957127925616823279869395058886610383009720804411272681856629043324834414149337085730374358931067477798/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^7 + 428551754860155146489577909821859110164053226235469292508517939616271539546573738789112829587750745134817916401557/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^6 - 356316997091606004826673809292792820325138216075524467925948780447588559717930286549155917902007605788004227845092/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^5 - 42023234701268416655923567709061363405645345495585726230662461145690143878251462747242773593524896013826680375744/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^4 + 17741707224044284427251887156103733250159254011333568122737545869587202103954435545432880375122046356253239424111/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 + 666066816591293021124586797340251698826999343175652432771451600853570326076749369589920542834922114249024732393/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^2 - 201788775645722291606013747941092613461055179616811380484399418985674419790237190730559146784354533023043451594/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y - 10398637777391628885299910525405892442511905292288024957385439840248150090428592905403501235019804796608671678/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267

4232252262544414533413491905472374756223375918581332159079554235959214882211177881112502464852772423291349089/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^30 - 36724492212172281860582955493678413413836104929721245067986027527313292741461485574356682222411961978579773367/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^29 - 587175867445536003878239643191440559675127926738036940183267222548529594848091310934698139777741018013935835316/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^28 + 553314732913396472659663321871042383307234692777656349845251135905034465704905797019981300260326855462107770301/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^27 + 1601491128133421464873574258488247632162103635696539165447979881118965585506389493357723721685102585969625114664/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^26 - 41357681925987936066621154899169765674100229401104607452174848843155580892068385498231761786164822729535471794851/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^25 + 107810299226620799570894820543684418404426056618148921684632910122055926018537909297680794577044671978735410498318/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^24 + 365380802353778951317777589627014178945621345371140425625980787197136516871644226485146895138589864845662751768482/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^23 - 718744646659365947928612766555259609628333832773218592514472438674324542607187233474026004743949057459439823032266/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^22 - 1721166777103718787837307691725303600646403317242456556460911202848563233794619415836630340749750263628266269998964/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^21 + 2419584329779355193482953626530698488115272764197079832524316907068395052054768012929522696591728937953580775115648/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^20 + 1518285587497281607333605166052172157721630917963216647506613891830094408483759983854633696549818971686137477574021/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^19 - 9033583466573311061154671335892186924527174599545410301636219529952120789901852771788415791792231176998409192867721/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^18 + 3594932349475998654588767242787654474125041972894615196554520126018766136066067547298589411883349534346152342825979/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^17 + 28023688144743541138458780644499106044384638512323783294205375615401709291430545037590614128049183766596358075457681/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^16 + 513094989199295281134037238477184556765268191736997391260343616229716688996174281862812897524246923199041748390514/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^15 - 38874327447485976781060999262209951926409365645150130983119280293791819966068078470915218924928197437880989456211624/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^14 - 18566132999291879874362266417420480122447876878008595680123053171020479013873017005684856261380392192709004171943212/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^13 + 23703325635256740300680435768233250526788070750086961393439830318455021072176450521858371937691777041677441444823329/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^12 + 3861375281699882958026668105942472867074724140519765926786509854253157317709866078049659696850853143757346237222123/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 - 5650003627615391581193922042176405894866941973179618637271506464894935920116071909961465483686082448021541426873056/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^10 - 8463941473750961884359652871453923419641275475536448251229231157413491982728580569408125013360082066255510143984873/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^9 + 95791968100067178264738774848470304304451947295845441798957831518401224845839623971621411292245879370865497660874/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^8 + 1806407213570119210875084481494395095367893112074593515557276661193165441364627168718377200152227964094359937239248/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^7 + 116538831098651403697494078096786371066718937634778267117189810855527529620526712271769595119348767372314789664651/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^6 - 194079484955713181521803119600561488810307265387759114625226387608001897599738122383059912381889563177424549080237/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^5 - 8202985829516838627275581359793735775383300115575769595498672359932342838207465875749670128987524533200405140234/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^4 + 1925293247422015077930366967922509768327248651183801584194462367704518178979813496016031318508036135967575550663/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 - 459133912354322208573166517932272803897132385771817085277466204059368784431288322455198420667196371326901624296/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^2 - 60050915918081016011835583278874269648742478678150456121555195549872924330501244150353529817743123823129919747/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y + 4054352605573087640173400623477971147110449935239983826892507375602355092095845738701642797769994650331636301/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335

16374625510062250237018306482530103516257859559447447940831188402656004009917002866480495380375000070484879913/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^30 - 141377868907029948968247885908617390370412009552238063164379620896819549802480654645487392191335088035724660285/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^29 - 2278752189907575673061794957373350843750099698344328340267767656211331697525869008924056187787173644615744333685/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^28 + 5306115878694290605612814192664316421194580382563808419765768980425690969300420556347970950360485550604659347761/3440783410445986389807957117869617061133897360602441906834756263294658002991532819472983263189569315114386136*y^27 + 3386816115115366293148076602010057483444220635363515851376587742395788636513803160744979079592216833302212650907/3440783410445986389807957117869617061133897360602441906834756263294658002991532819472983263189569315114386136*y^26 - 160239986286173368391894830183125065590884780829012218227984297987464255391074754536688197698335692904163454919477/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^25 + 204876263962687844288241341535585462436236186215678283328685284448281374975403895079147106070792945326060101962391/3440783410445986389807957117869617061133897360602441906834756263294658002991532819472983263189569315114386136*y^24 + 1439451733970063152724027873918437175322457449982237472283478802924674422807735719721226412904688072661320392796613/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^23 - 684496655960919417074456313739504430739592631265254881750609745991896771035385705358185911428138242900791542333551/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^22 - 856722864679591384332725222644367101530705966021467777757208469328013370168381381931056284956079020739746944321189/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^21 + 9187612162013442145758182866277339526105722540689830404079414956937895071361298945146521068291868919522979654120193/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^20 + 829407625681122123948995437913423027912614357882749121476374758365021750194943732305724237569631006621796839004179/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^19 - 35048396193069183466759603124599513632588029776879927747912105942544303053085321866246479743247638326196480340858463/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^18 + 3006251851947998758220616846202660317514248504046090936435455979686088946344663331844511988318191795256109701239711/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^17 + 110607260860913407200187792450074867644193082138074315970698414539397212274840755814196482949136932126205918397971331/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^16 + 14378269159528725774081305498028816326684630534550405585504124856901140969130187014307495919410424764183599126302393/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^15 - 38817649134626608957521983280666697168474392573436709216432803900337707226221331964725292708816691373967912169030071/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^14 - 40198367630433197442678587429142691259839572117025829927540586719136708164649320559185525860685986005869449143683543/3440783410445986389807957117869617061133897360602441906834756263294658002991532819472983263189569315114386136*y^13 + 47572558297154028895491049676121736777875534028987436887100010273640622952043988457499499429351139523394972666251561/3440783410445986389807957117869617061133897360602441906834756263294658002991532819472983263189569315114386136*y^12 + 21022306894526354235974468303885929640257169025718292308612932485787384153411703310379786245499663354102667864810755/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^11 - 21259150483623114684484800373781866397526607787309733599742107164181658234304033615254123782014125498479787527291017/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^10 - 2376125047495245428815911983526296828337736178482990768063210382410703424003537293351755319867735652148742490161807/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^9 - 1395461987070340538087118382835552665315680034372899073447141982081211817494900865564821918206252155129939619861131/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^8 + 8405481094460913074431382596933845341765344690414746912197714234298553948309316412716224176153442613759527178066179/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^7 + 1181295756871860458366426287956926917956451224400257015199714717827856546956875626354500989080821918713092140578293/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^6 - 455674922744641542673721459641849459554759818930372866932115301827065522354325218410502686738529414232462923606893/3440783410445986389807957117869617061133897360602441906834756263294658002991532819472983263189569315114386136*y^5 - 141624966019943907401551658168688785905026016206964452861529923758292855815821122414801946075201528848097563623291/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^4 + 5575702436053082175007398178936764616664155257761995606844228817507276022386754781171027975499869516066011187943/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^3 + 4011788935649307211180993165979178835956935583264445468486136576469444310280638318473871829809993848255853832719/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y^2 - 640175461496589028277365209391542984398976901280332660909609293986537962963738516751872040053882975039235321767/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272*y - 39628861745286783169391666908237658379762068754300505717825706004987069221258323635499929790012173422843404247/6881566820891972779615914235739234122267794721204883813669512526589316005983065638945966526379138630228772272

-2001544500721694323494527472663733446260887160392480112893767719901500670611704861462017875813500219182626647/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^30 + 17435850567993147598196528050769673242685566803196615140339607590229272081066071627494100278718724290935295691/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^29 + 277236052707767301999890083726713558016419835062023156125632415667187412742479404163925509724029682455595209931/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^28 - 659462339603596607121322568286418339388662212945312788868148865749823146044642328969343890516371351564256673229/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^27 - 365956684048073000812593671508561338506757241912585003897621993622137984405782925733306907558288481924556207713/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^26 + 19666897806683363142169818999076888087157298316289229149280784811264840231280459592256883359892384847330782733515/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^25 - 25788015452670807561435059068488463468413376495463565289866862004567079474479916703347168581556152070245377415955/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^24 - 172353288662023756684483655388298380821396005005088850619972672457117455492260981552051649878388709936149118395851/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^23 + 87203609243130232240416459544406266403422822412829630542210368099367027302946645811445291012343413754816162013923/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^22 + 203710811430947863365088337096274995947359392410264800788632343663862703771864782664731314386853632098899024881376/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^21 - 1190936537926075793176985637124149848419394370553409315820976938535030818844911138914066083861538081405570269587339/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^20 - 184717938447955941420448094015863741290116582524303521345021576421925850497871509133010582652288884065529747361105/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^19 + 4355162730408813854328128825755509408161153600230338859596354376243370177181233917083771790992150820528444950832201/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^18 - 445286848832018930388185830242642696933509296958873511956802040837557968418545323731324217182438413606613073680714/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^17 - 13459916337827967980619534601344769351136159619576445380566102832944003721798573279887304566845705437951315159266529/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^16 - 727169031609525606286009987335195966385427627824612185328001175128970410071105410737048554041656557968796486930399/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^15 + 4828826541359922643792596430591284660940268138983340147579671520619750646854562406958148066302102773381922326611442/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^14 + 4251086270393391797032522941555025707568342146879303271527394527652067202539417461226878928380924666188589554919349/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^13 - 6310462843090306176354491590912297461191778140660412146813942778673306842316515381098222911082672693691110394266137/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^12 - 2416689344309655884997396811785879898705484542292797338935102726085423864280073331116557805117544603725698366087237/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 + 3446160421593682294045252702560925259940452188587892202667122860529153654043575368850860745862045987604642981251047/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^10 + 1164163288913518752563316355269621161483874496274666745248008384574515217830181843092261427532278890386523162224949/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^9 - 132481275531053428283831400273232577949516596230266941528747460937345072667554546817198934111680322690030022759347/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^8 - 1103043961929911171511666771225648714726416838415195888635085694783060307460028495769151278265150358934329488887877/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^7 - 98824128818490442864707849779444994778547451794508825247420418554884577934463354005874942278837229766650323621671/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^6 + 64316447056251426754504315948163255775172797012398285648618911286139751708194174290641728327878912511892625517191/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^5 + 14994659194870655132915907061749276411152114935383148456659239190974025071509906636093985592352353663437191501997/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^4 - 1671539271366052124284398952850802789483370252760875304835927948327395481414451601236057640781333164542449771337/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 - 505184085441709190147802257363341534946627888003884871907979843729340835108605049660915561859751139587909397429/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y^2 + 93399564721093719025669673931599144065267314423935575068601121639021400229188813540572511373292221217293741229/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068*y + 10423306780371602327579484513081416066357931585988623989947043373676342764255976086266847852358860336032311993/1720391705222993194903978558934808530566948680301220953417378131647329001495766409736491631594784657557193068

39169168571480009751267161050801644633941399541368680861423871118831413709744146448374712928449127474568382/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^30 - 206530784177947564521211179559239046216468512726774117305717873736370119392647805686704879632140711698447436/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^29 - 6568501949065017738177595780426453813019126114452011594333831603412544359948291179576034614827934017666300403/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^28 + 1383356617047813075601168056812190606721352326806484710918664323965936005538505666744079416282966523956841510/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^27 + 98706613268412359802945690264071684434262344674789425900985287335592369294774954980110829676764191644070780972/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^26 - 318956783373222075169598281149369286964629969006306586123444914750939197659331425046727476458347584070353696593/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^25 - 288227401587970389168242207029062886147511123157075409809831271126685502465264798727261930875733228972779289651/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^24 + 6555679402368820472280882376144281428819883795814731790202758019110853877837163905455520638148331587098492378926/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^23 + 5328450939563631255266210696102238291510444673600537711259390761017653553042119643394412666805230052532063983112/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^22 - 36249840135659910483198468558077303875780077746813001356094248548757191006282005887456645163987068187996157879692/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^21 - 34851515744415622300865426847368888190970654935194734466311137186529108238907594660797379384218772650561359371786/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^20 + 78703793097187399944157050361651937483149133047205780693599186737142454947374266405184146053050839073258800308478/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^19 - 26531819992658947580764704733121886082226793598835827401635655926038555202000889742348764073751203459671090766128/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^18 - 235461081156045124290239149799660106217155197349958575376189165182308237793613790897897869163416349786469563280983/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^17 + 324532576780279550401272309008083221198609926072991567582042791539825541747565890233875394841610415315092287976843/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^16 + 180503547459387239117774536855198597382768912562564616426029443332484192212935444025394550256664615393661547817004/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^15 - 109096342527315014130838866166757178247545276628070995696611788180127243740398755510534882835392365111185532713072/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^14 - 1315598702632662409836829972177480538530658262453414494723821302046854653811043482282495375338551644892668882518606/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^13 - 586892880575300255255863904584716158220025076553462658997480352240446450361721149436808798665989214742494629418863/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^12 + 146308763904491354852145684095265506250810671306606384287863093292644227442644525641235146163928360376888992598186/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 + 657140076698324463289447197497054084943015220510030723748119358788626761344049840632265716212353462861222745425222/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^10 - 92910252498012596490929137629258107984905420357524963363785481114382422176322616797597142366133826057059199395659/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^9 - 260515136164659932787609202137411420769540216050569982673689845126973037082079074566384265144973941157129465405028/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^8 - 41531132943071061226199568299172965605400377118019380636878617235073468263383138530603514247337401599702422667146/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^7 + 42529593943510942982577497431552907312158374663270354820530325162306049778224320566264308332532743152787403221663/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^6 + 12472960471854810233980819458952701163504125724183731711209752577665115809350437305235129637000908797849611939839/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^5 - 2520445854879377498738608028457692519219822287181854861063424302312558705803539295203411756086629048697165749097/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^4 - 202486393208000451475812732820195183842674376925639422012915896008213439856612170418919422164169166113058235229/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 + 15300543098612849591183107315114444506426671506384224986092443050252097195372796582243603131175746352937898992/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y^2 + 18335489454689987197462344870837430870032033852708383934862125274277764242433673962181580650229428074258524499/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335*y + 2184392429236248579835769331805115739788736751105879981975881975341062893674265520140332126275282587504999623/2150489631528741493629973198668510663208685850376526191771722664559161251869708012170614539493480821946491335

87726675838178724882928189905137313967761337803733537439529185562423276281529512659960249106899733473867570/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^30 - 733486251197434380741872178400605136887089919924919523194795192021609782107769994097160551802099658373608593/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^29 - 12412248382808168417268911930459160922401957867248789196787079481834812173882866195792265241029770629117570281/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^28 + 53502103787543715195601863782187213732117046504294987827089430247535223436045721568312494927478080993257575212/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^27 + 51380420637192827850013682075095460203422960023438162424641430342673932844852307994719545948387555292823873009/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^26 - 847251234614609215525337223349671859549361395536020286917421824786951950650979742335547349178979450206703416325/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^25 + 1964522616692661964474458479351344551932747860590601171672143413628188801233071291894354764216265737804589687081/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^24 + 8284487974354335141378746572412255216470077657893783243059075193951948050050225269912009358689963863055898135913/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^23 - 12528619021084104183974698623715486480895534517353526137114654491709495003647608642993053737013741883192592060387/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^22 - 40378869438577184652825142376922020633164863649540126194438895824910655387795185605795513285068506210890511200354/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^21 + 39036056737913107626865727722755957527843998687317175226210968748661158761596390632948407339402222894584802424199/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^20 + 47183727905040474332886454867355050243060834888896508293283264208148417649429480067885749246922880179566714143720/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^19 - 177908653921603044612486100796523778449084693032325227245663333179561449999427509227613966312671403612706023256789/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^18 + 16337761304811423178709557777159779099090976093562360484297709265076258606353888236444922999749153816684427377137/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^17 + 605139778009428008126131095226905098854722145646958828878031352961826791372407076393153137040738290204169438564434/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^16 + 233391016624504482519156631740033428930731231418789833522822734948040248095484388826155760715748447100485400733319/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^15 - 788313727469139574799085215373940579799275677171364057956339014080560527024030234469126829283021555959052842857091/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^14 - 632392580899352081821777514269892332849617712053531766878933133579291085350035582480776586178501081497132910638391/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^13 + 367942867734203764419725207812467671772278378327035854068463287571539695318778706118825814991268023994494788363090/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^12 + 545799537741763268351852152891048444563687794017764047937532399610797615841861712120273417095352363989704532530376/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 + 9571292720345153467934405938540211266288931690121505540578783893118977384100174133595878169626841428959525982441/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^10 - 204612196721325674732158974381620336442961486351010588791941618351245692869418271210431180271179765857964300108518/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^9 - 51870451003474154688042066379008232760354649913302902140036028023494416893491865084544804154902705212318885497963/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^8 + 34495560290017433134216735600681778913709516091864445830303297503367240422879527041155293755415732393125142725964/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^7 + 12984345605692758368433006794044885423810183181436836794246943720022318082548818255145032824508828254030400115658/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^6 - 2382150183797622330806089139713190540584824625095906604060972759006977925806119739301253392381004200020113644273/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^5 - 1107802910375111071668222734760971830236592411328798301705531220724758812815123011355837232130403905556401723337/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^4 + 43586352210203889821844733251848578965558353336104784944169426812387658215080158714729024890725678033307092740/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 + 24360195806031752750346750717409027158218846919582031038710860855972670171057956731417190752469307341932799908/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^2 + 723739442539073921470285702536275013973471467759962009854584825611811198845516584458439559213212001408703981/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y + 376879213310241768741438146522606986844805011253353099748151683626216882865575932547203701369160209724530145/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267

-217120211231132332504961774073788984869120409536160632035318110733312477385715911196814237593874167078494366/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^30 + 1819563580697620321743154802037450519909565243846625963574747452307559579958721810300622070680059732796361456/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^29 + 30674323192447484150950528503769575909103661668755798245716388055886724879993404160697957620943760151913677444/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^28 - 132916500568502299248899934247292119666378051810324691487023352626551548829130498934063240597757818364247316109/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^27 - 123219241633865899093677703021545247736498836747272395307288106575332904688047132666915188267230517639464653851/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^26 + 2091852708069123919811462228341259807314272796455328291235657565717998082598991063367114546166724005433061714648/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^25 - 4902612568111676401994166037500146802047937489486962731717301495694205317436304121093082458554627205571690969229/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^24 - 20308026097130284496725323174698882433184022495913742687615482945763280507385881606017297587326437009703311927553/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^23 + 31086249886534838894655164273615770695972289087389798607470248146043754930733915124703003038521123315416161553638/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^22 + 98613639159165599953211296544344403242070706486081215110319631492164839521919975552094089827260573051953966946640/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^21 - 96358402269091486103852923450262809848988354883413304788297749691900590792276237265280171746491699476452001745773/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^20 - 111833589976475108932448107006776387720457176833025932124667692621667490244850752072930112138733305252931461064823/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^19 + 434733641618045948963946467226239946872141457155737989632146889848787264465427896864307727429345818382742133736811/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^18 - 48832120016305322861852429231998773852882217259967624345341809557928412894946583178359086856928004045691505476906/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^17 - 1474356417196518849844870862245532460126252854709943466155234965432676267394304661555556590081870423861969554326714/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^16 - 569516575159320926790360534035515242554808846665775577519274974359237854527164706302385803656499541064912941609655/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^15 + 1903138263420785615734061752528353465107636836961379280375588110238948572014108612307218426332813305322732871861494/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^14 + 1555276189419607120709127338406493813261643328868125083095008380091110590819922820667016019784554105586340299122748/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^13 - 852818150596358807526652872127114079854058969559643933040814215277726431723257806266457441757560056255584916680125/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^12 - 1334937073083216386924624645393696023580967155767735144269836986149751575623223152095960291442510732776026610589071/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 - 66326457436702845563464864007731706185239187843175014213653453963319731557887540862684539852222904912461588715603/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^10 + 489518368653476521535612477184008034779307499103603459877036286529867138878745183781569057913001863798733963723201/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^9 + 147365723586602776818584489299961514658317663485176269334986244724957957169034103787720367529001797949297436945633/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^8 - 75711499544535452824531431593758413687642816503612781613016744716298925450602574101425525327782071021542470700278/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^7 - 37073142501831642040229772292232995041550309485568182094645258358157750264525546779888650925329901037789024536308/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^6 + 3268492616970772950122892722901069338756953163039020361954395460417943875360707280554982998329247821289132355309/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^5 + 3382413820489520278779285211598350755901852822948591854758865916064166189636898714617388733486906848923504691045/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^4 + 189517689505469391143438177264737558152413539062582623284279131809324363200226688315418707132347449425036722111/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 - 95695648915769665518169864551588634251794913067195135295753550243733267757141837532546235433597993160351489271/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^2 - 12454082523590400819058914200704768196193374480752769371422687716435866482362615247097147480493292988614163992/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y + 1722037480005764251671992581334341850096511264155390999861897763591685576156892705006301251961262883079812149/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267


# A Gluing Matrix
{{1,2,-4,6,-10,0,6,13},{0,1,-2,2,-4,0,2,5},{0,0,0,2,-2,0,2,3},{0,0,0,1,-2,0,0,2},{0,0,0,0,0,1,2,1},{0,0,0,0,1,1,0,0},{0,0,0,0,0,0,1,2},{2,4,-6,10,-16,0,10,21}}

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

# nu Gluing Vector
{7, 3, 2, 1, 2, 1, 1, 10}

# f Combinatorial flattening
{-159, -1, 21, 115, 43, -42, 29, -14}

# f' Combinatorial flattening
{0, 0, -158, 0, 0, 0, 0, 0}

# 1 Loop Invariant
917387874653799609790316039444220414901650453095972268682896792867023470718453175379732949347122547909198343/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^30 - 4697900488286625241093402691179003251892265291366411812126988537770974548689677838180641218381890254110267078/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^29 - 57279210665826919846306366898300091400046095304598034713992072975350683594207022556951457223038718662894645877/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^28 + 398338637822170581454547523657710988997139824810565671554348897914385465124274197377392394061844807048951322483/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^27 - 314422921910134267204925477788456291729377328731324329295390400718425830563046608656756855073962176804724003554/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^26 - 9355287173666586978031439087121051446821631525054990996396979475437461445329937344401608845679726945699585945955/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^25 + 37579268556093497986154249322424460821691637254894231215000567557954896858151622537010718378104393015694623029045/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^24 + 40145167529749418565967006245905573814212983500844601486666393472721305512838440959511238675832286134407526171307/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^23 - 137169663981102713031370507237625579700229021510338710697028917045628818591459826722564755293660834930012205689503/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^22 - 103501481266201895680385989257397763115571011435475307139187398367429419764924298951615905339087904614820754269177/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^21 + 538309764944902724276047300794779397045488243460563584894804002433999660953412583012476125187836868016952164253362/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^20 - 618153329876395383590343693994366626967570783823032969337965917389788662922432195983548222250228512194325490260759/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^19 - 1193397110456947244249609127311481832751839210166201444016054392979075078700788226003586608880920829120493071193118/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^18 + 3997753147767999329683324114607325325130753238629942953017663674630594762852883161389758076674127034381821072051141/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^17 + 2184705832822375020495811026114179875542014436454071428834497918703193037953883019133988644640815156216172551587207/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^16 - 4501796744594802606813475480717254383556735980360184335761061873854216528045298077288850000535865528658405172555674/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^15 - 3766650682990840188200895980803254727577030049859153568709133696202508037734542380213262254700171529941702806482473/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^14 + 5139560778772298799312926950162458542537810804809008725619454439917385338430684349539060229063285457098009999781066/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^13 + 4703140485287324652304779376425905876140966703386370972576971669978287782286694090295592193751679779031890204046667/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^12 - 3128183149272606081732942365296552470059592106813907362040915936662390086238810439488117435224911738764261067505261/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^11 - 7331062717122728767389453769001624334899780104068106100756375313234667416056769169949082295226277918630397259157977/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^10 + 1845137675574261958057345588001015083597588855424312776157315255965247068492490581854789695536056538637222144019073/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^9 + 3414061584965298891291349736498208190058562074791447044423594233838350155585328735468006203839017208416165557121033/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^8 - 135037616912420358762537599766723320830542720179445536576286490747868027010268140861934131520900839006099400742439/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^7 - 896246151380222310735409369807209124949572959003978100631363046638863055335603804715779842132812301457554202482991/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^6 - 25330483256833284367821633868522729148732978600201094923262139977082396236938611040100915827635228767235938185517/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^5 + 61065010638977278812593138854743134439757544946775644393996963713686925312617586148731221210043986870526745162865/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^4 + 5082908108407210272558201052808023718396006337695937462977408402667771513427894767182194013275130576765340042704/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y^3 - 7764509375284003700600473217518018863093111565511216379715769651575173877570908477000128735091171771323286762155/860195852611496597451989279467404265283474340150610476708689065823664500747883204868245815797392328778596534*y^2 - 178138963313770047422988165074622566299453062792370572177683941089485843814536257043293320679791208419427458255/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267*y + 72476189597130716662285146318412630967650831582436426304096357336355325772806814907212165611588734695235291857/430097926305748298725994639733702132641737170075305238354344532911832250373941602434122907898696164389298267

# 2 Loop Invariant
41173820353227207594975253296032183734269939847801611483239301732889089687822552136318353020376662913676424486087457376491585656033839994080815886996833464493910747524404197264283705793294510500748947634327744758519237/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^30 - 169325808548268447266286382174407132161788006096891106881260627738092424991717882298388743438712019228562929986682880870231954505304802757305308751805382068417192863420066354149998775828671502377704788395539319300857831/491538791727751598879963550379700465014508451784697131550637156282096051941055423294307612665319332824999113162388672951803928255040737212697540984266780878071960683850501395232583910422456037478965131677719011302732232*y^29 - 5870821313125513921029154330830195822142205971243394110592828614944826480735564889666013629257226535485393882361640583249175750008267989987804951054198387985472949740353538320157174619476602730897620992430559046841077133/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^28 + 24303607279775123034014085633840276143377245457537721907345398370682399841067396520695002614266010127072555774247381720691600412266022092571174019323678687024361256383500217665402426481064843937052086932317513868558010731/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^27 + 27308565846836607533323109948048222484970547357550528415151004777606826819242160568125473607226020225476511184482009838797729232516745296802547323770566995874465764984311091142868238961309643071384310518865302861601173607/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^26 - 393292214495993347962383249567759124173548557196718313365945430735172189561691372560225154796865838593102004824115338945186019900992443183554237406456046333142773320647598274816496333729346076256334578677516855527229259311/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^25 + 868392599601535598678059745162544682815932810194120094626551230652406202714543773880112715780262144766756744317076088609208222101524867236703810980686223122122523131779496724161842084056409694794851899322508187650512924271/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^24 + 3998094555334579997294938224313474673765436965270859606608938086215879516903592214032850511423135156366600468691064412647231973737349715104253169264128644675244253592791762165513336092572384842141121758737406148350798681883/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^23 - 1327079794275739000766831769185780488996285690670277106621186418517238548195359380898654495631233948808191371428384081321046216589114589659555269369061568620376435087534560726030286431691299457487025564568157393781983218455/245769395863875799439981775189850232507254225892348565775318578141048025970527711647153806332659666412499556581194336475901964127520368606348770492133390439035980341925250697616291955211228018739482565838859505651366116*y^22 - 4904560637579767200138150485721907021668664957443749579169126257836989478993695155616818808200137389323425935076017460017857087697219856602746823514726967368859333524455114930340251863782307153559817471816576235842980787741/245769395863875799439981775189850232507254225892348565775318578141048025970527711647153806332659666412499556581194336475901964127520368606348770492133390439035980341925250697616291955211228018739482565838859505651366116*y^21 + 15466832448122732175170008702096505550225925679930066292697976767383574777987169506560817675792331267567341988423842407858985330649880642894988930044164761558219161763485756964899510153230118362499155377420962098587639811101/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^20 + 12013956348126430103426641229430250715658808300425178250953818458913611032406028234563259247436020805264622946511075754150883112742156600065055028646440225290722066560964148157099344818713292488409386649843325130525407416281/491538791727751598879963550379700465014508451784697131550637156282096051941055423294307612665319332824999113162388672951803928255040737212697540984266780878071960683850501395232583910422456037478965131677719011302732232*y^19 - 79583335379834792224902650880357221457910770696811001048224338159802541786046042030785516515600172154435862233782348827143702325988275402034709787697553020080840143723276803377652184277926727648036233145026129043883610921751/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^18 - 1105623536937335183070549721824836260234012482047298941569385054976079485846624978819998547407150689684293326757125358841239362129808554646184253121606285801117926067991362140100966580426178096429544504116134246288510743193/327692527818501065919975700253133643343005634523131421033758104188064034627370282196205075110212888549999408774925781967869285503360491475131693989511187252047973789233667596821722606948304024985976754451812674201821488*y^17 + 140899527598989753733804328084218543895050918129611438379851357724827086385517995677148186598237414367355792798646976987086663876454661775819412906619520377807728667712384223913893261672312683910574879538234636577304869306969/491538791727751598879963550379700465014508451784697131550637156282096051941055423294307612665319332824999113162388672951803928255040737212697540984266780878071960683850501395232583910422456037478965131677719011302732232*y^16 + 49956591212045983633023639401240827771477536179161715576385918302828572864910745944548035558017195966323996499856935596285275542513853722995303600948212582633484064117561222321752062387420768125793490586581918077346956821935/327692527818501065919975700253133643343005634523131421033758104188064034627370282196205075110212888549999408774925781967869285503360491475131693989511187252047973789233667596821722606948304024985976754451812674201821488*y^15 - 345226339319277467064585487283672006006097639115305451252683647888955610797654890766433681488642960506107360861182040137318020052420557425451962766168545975725791298313688282792235236710836623116738375757265275099466270575575/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^14 - 173180847580422629270732193725866434271143209501108950712165023558614287916145806292260757040191439285149087612175923485080402316442993177235747873609443497882763928585186021530181264525571877014950209319368139420698072425259/491538791727751598879963550379700465014508451784697131550637156282096051941055423294307612665319332824999113162388672951803928255040737212697540984266780878071960683850501395232583910422456037478965131677719011302732232*y^13 + 14951985455141527654826200841607774756682353992687295143669441118492732859660947126149826181651840948142602444379576149321541424358739242053761333578514651113496324381055339025867528242271480597770858163022413040905605003211/122884697931937899719990887594925116253627112946174282887659289070524012985263855823576903166329833206249778290597168237950982063760184303174385246066695219517990170962625348808145977605614009369741282919429752825683058*y^12 + 91106125879713673835719099562518124814907506557400922135282263564101290855066394005742747890623381278299744005135639045192157641101296257909805526453587356052159445949757569225049580952894415359616908042853735349262151293319/327692527818501065919975700253133643343005634523131421033758104188064034627370282196205075110212888549999408774925781967869285503360491475131693989511187252047973789233667596821722606948304024985976754451812674201821488*y^11 + 45889791693686079630323657660783581390177741274504888040305357784431111390255984522250339209686536620066879053265818451490967599226895868531793436107539146522633426323289335840188949533175460027286663388875809456883518025175/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^10 - 89561510608908387162243751193243060895656153836222032330401463396189906599269687029236153030729809157231509057595721795353487624545851062116038310919931218362036513413477449454113459818725549756751125986763497817870291541377/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^9 - 6381903213337090931730394219146343247547679188774567785098359158602315877071907208158475498004696605484969559715262841415095634854756184277203805283582666495410458130843497968385545795903622473887201508126567139579848147297/163846263909250532959987850126566821671502817261565710516879052094032017313685141098102537555106444274999704387462890983934642751680245737565846994755593626023986894616833798410861303474152012492988377225906337100910744*y^8 + 10818256934139254270621398965803458428912424459580547103491672344790329584026980266030488423057723350451394071887930054870625853694099461584340338797659948199823294743282811522781149944582726991937787429560120082680779212351/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^7 + 2698165644392549567458403397864827873198137009398437776905730767304046304719933926675676200539116870157316321641854031666746856546150984219525642477993988950122589564365365460758429588573050608199319478576249844184729441831/327692527818501065919975700253133643343005634523131421033758104188064034627370282196205075110212888549999408774925781967869285503360491475131693989511187252047973789233667596821722606948304024985976754451812674201821488*y^6 - 3969234222326312494589847519662556657812853030146847994894067010874419940905757511796145498290421358318026382911745642708154869213364476693436753529805614964012815749807695935861661654416266474196495676611263550141863577/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^5 - 310032570155454434998556475769443134897000989422742223305966919835036774990201634190247586940505755010825044687991591435295136115280054785247343390296739357263057799851620888057969123348009535004250823267688652252164331919/491538791727751598879963550379700465014508451784697131550637156282096051941055423294307612665319332824999113162388672951803928255040737212697540984266780878071960683850501395232583910422456037478965131677719011302732232*y^4 - 63177226093745060567978132835682031952720021520264241990167368458967974550981090289297314796564749557418378067812607476352739169325732402718133987609731944383445030779768920479291684276047911424830035140348299041229429029/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^3 + 11879812938508883417721539956760312656650767646001302222276878734182285617435524375445241743652866433144690075037418717889299186927835682112756094512304717017735716050494045947557462771780541945986266114702025352179694885/983077583455503197759927100759400930029016903569394263101274312564192103882110846588615225330638665649998226324777345903607856510081474425395081968533561756143921367701002790465167820844912074957930263355438022605464464*y^2 + 621255418732728937122669052608471612577991256835689265169761761112603983574675055909147545809295323400604873484368197812697181456350370844003486093001806068665245988446974692831031768475737701464457950847508900473327867/327692527818501065919975700253133643343005634523131421033758104188064034627370282196205075110212888549999408774925781967869285503360491475131693989511187252047973789233667596821722606948304024985976754451812674201821488*y + 198330411692202437751756180563994780077405334365756493004261863911822866798157856629427305016921199322723271770616751498024983534149566223258408901375818262314678461744870220004389177982618060314466488827890052051392844699/491538791727751598879963550379700465014508451784697131550637156282096051941055423294307612665319332824999113162388672951803928255040737212697540984266780878071960683850501395232583910422456037478965131677719011302732232

# 3 Loop Invariant
-42779208772256491783707259723185283333605472208439791206888404549852431879123402734370738691703357017373955056048985794010067897762505216228803439426357069507127401502695528356529607606507065481162553022357216616793413856841937289541891203795235869205327745610148887304273/2261289375052132203284542920445710176685742738558275801552226371710698683709459734302119731111221590952370971078249222188463171437222481898790939498688908170271178034259020519998452114442494470338405469290554413660374908071937923068828746708805380183769593998265970813984624*y^30 + 1442023329749101580631278130749501717249405162819519026125169152842097674560274333386568633197069165583602524203321980295724722083621331243119412347234875082565000064503400552518309273244710042312397138737972607903849944825645743202890591008126193784312826370843432455040293/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^29 + 24108386904463436621205705536354312074565335095732645444276281952901248359826515756455152284738784705334337166816844043719762956697783419017374082992989767074752318865943690568568909031729384407430038591433599831169137515773268889025866829322987915289845438346840082481277285/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^28 - 105887248960792359592377873110240600510922980797815425211758730618579205519184102763386143752649797909480424428126500178095354094980152276746912592056552893611709919312427035240790061648207077168663922340319695862266176492002531165778763518053829014032315430748908623030515423/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^27 - 92241854563068817541780125404279183137281432173154210171350740451674800834659125937328584627164240463940093294684633743864912977541021496348996959808628213210284952086581950734105019566381217852863871427906512670179514324493089225746177038036526756957352261012262315291179799/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^26 + 826815760549022853627103625050864178941543187617211930689301783876190025669551951798089750021955453840248452644522858216970135063785655278111887748723456775839808197411742223677130250771329976534337455487294678988861087468525994274028484988552919820075741020572252477690533517/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^25 - 3942065156049710590397953512381116008629584097007227546768491844332914294247509946083818761626841210800174386126728714018265585826939012287277632644330509113270906814540775414109731838727392636921330299749217030610417009087623151250171059960203102358422990790892254025989214321/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^24 - 15828178361510333736781919801713960521624435720812257018418423048725478285332346745799605201609085974630769860239878283611607582506272166663737545132916123332567991144980176677390763344569235844406890670616910931192858544369064030267351707401943591644814028524606332201140987037/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^23 + 25273922970123298817642578512746167776834686710117315698323698765174590420535549953072465140866557409655811918553300951968558518019711725317438150672482544609522721373628467866826263038966907440516235339681398942217682078581048725143302150134402089365845777904380405908026835739/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^22 + 76546218987357393236963923159618003705791460801864553777048595666241893444528192615071654411869006882339620349713174703797881628632210828354036539310527681676588654703105729369628937037740028376438653790466602679507207560290291797513320950551639820199060839569706203847516329987/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^21 - 4986863757788287625918846550612078268371813453069542043783508511883591806207640048004489183995489195914742753619210387171235857907518737739388126679450438505164848655893492966005932480143717301032329117441686159441579641077465462345773791451634598903252621578768988157402913529/565322343763033050821135730111427544171435684639568950388056592927674670927364933575529932777805397738092742769562305547115792859305620474697734874672227042567794508564755129999613028610623617584601367322638603415093727017984480767207186677201345045942398499566492703496156*y^20 - 84356970139895775294807114034273769688785438783675079195194511117115006108070741963865421567210217543622700234390197497317166609722170832096526203972913472279990625300458615124113422390233933360512983631223285933146990973379408907660354964998640209446908884100959369352168798169/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^19 + 173847177417448742523550776837281838935216564361188032145465986995624086116313282746534088946090169887422329089503218839811317503970178964925386428191744344043077610232608214186665563036919752336255980209489226950389355203397902098121675370022695015019246776115660321021879774295/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^18 - 55537468050020655809702953924308705731701595445647734376278196151410562783258059996893766556006383562125133021585689471634678551658542124065692704875881721354844628383979148330269453948103619402739446539704377279404090100983529020884638874672720755535392586750218131392645145157/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^17 - 1161350624949317513725265793556921336453916158850152485827707550780802336026299477795287098114985380838042463920344631863220349702533147247649900111983174423006305223741126739030964598265254290541010560183750447578557539499701912241511492855910268365423965476201781951625353444271/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^16 - 390144971724886892813101113116514601197377357912386610825768373033187968773458526172108842269436835841350055429615655433664542583900620347617115742082216274765032326717116441555883889519160440421072017689332795662158526755798644672455350464274578770962178572795491438194615258641/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^15 + 95045005078054170919987760061975177357892837246361133497657920739960352920686304266155229231521375920821087413532331097770935672048095554416663401180247758177572525817548799937042566881990026828067510190543192055158968863788212978892451042413699097839672104129545873561419065077/565322343763033050821135730111427544171435684639568950388056592927674670927364933575529932777805397738092742769562305547115792859305620474697734874672227042567794508564755129999613028610623617584601367322638603415093727017984480767207186677201345045942398499566492703496156*y^14 + 571489743483309644659096027427018174493937291796390216011079868962199591636336574413761061114629565526020761855276184959880899699914316992888717430444993871314197190921093547498454988625474585252747188523763515042971776844485398144874285273214024892655273138574771514396513819607/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^13 - 366510611062721850928284757068501184146300564290568141202772260937700699621216654347371588010796587562180202924512967111289432848506240902206912477594678130180625800013365159600737499430219508547357639654099135575438657470308474912923357343020801365397997041009393645345694570393/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^12 - 251182494345158348091360566471555139348346795689464269886910631341839801934918268999300305092670343793692892545168836674563623463482730807392725323133369205562205901056797169374264861127175745433675561282722670461070364687996113905804587227839178582239110040870635642565386736459/2261289375052132203284542920445710176685742738558275801552226371710698683709459734302119731111221590952370971078249222188463171437222481898790939498688908170271178034259020519998452114442494470338405469290554413660374908071937923068828746708805380183769593998265970813984624*y^11 + 7001844063448507631124012514903259874647034371423641106356880314855454159041835723063796767731148092930299311740516197370407481939963113984972954692475235926152875985718810751569835284496544963476878078740445913491813460357322287558852836897878854531918430031150612393597649023/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^10 + 190023611311678350008165525627001206061556780933861204353296329401328320434421112222850362106431665349772742607384249917932265715833530415551808837672876013851130134000756853099398678940237771318843686113243686087016729020692745002548184600396329825980195183922271077063764009827/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^9 + 89378323624899440679175079197062922034615706818274784247162693021297285504882241905790948357275297868981161576953600806062669269060859834581193903269849053009772773081525891529170125603140148122671353994138916912586335965142122024386319551015916516157205925599067078896859615239/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^8 - 64106614583960713037913726132249476281742127727756206730098018196983164565466050901729415337606681095549446575081585747102646499702556562440013674873904574682927028880222407259983330951384296619270308110143233559992767949566414740934283498449310189471148778308423012978983579447/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y^7 - 11607590964788018984679232733774511912756828038296908205361668065028539747653275944078196162851129986894672994189547699976504444228106534383607837058351598430190513205085643102705295384398505576598590781944680623038988713737901670645921774635078704635116105188095757221856430363/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^6 + 1077384530919427237854576055857400339159202781869988319195804620289347718691342142561713210130031749793024574909313713543140698916125282720092805927502467432424814398780680398595611535189711977304897986924453843081039547119689203578393129496355338344194318112290229225539237155/2261289375052132203284542920445710176685742738558275801552226371710698683709459734302119731111221590952370971078249222188463171437222481898790939498688908170271178034259020519998452114442494470338405469290554413660374908071937923068828746708805380183769593998265970813984624*y^5 + 508045101382308120094433545104012809860128041817936984662962612652095688358602223780942652745854334070186348395776678742265531689534318002552215837865602953662098726473203466348819642242346473669857156733998596897406526328884525057188613133231336266605618231666281525994547389/2261289375052132203284542920445710176685742738558275801552226371710698683709459734302119731111221590952370971078249222188463171437222481898790939498688908170271178034259020519998452114442494470338405469290554413660374908071937923068828746708805380183769593998265970813984624*y^4 - 2040581001746524778180763333790019571915722790023899109043639263981986159218442788821286575287445526262544615513591551417472308849778538788616739627981063924751403820919660920797205155036398426413352825401404087125705492035775542912736951922455055625319657426587740297634325/282661171881516525410567865055713772085717842319784475194028296463837335463682466787764966388902698869046371384781152773557896429652810237348867437336113521283897254282377564999806514305311808792300683661319301707546863508992240383603593338600672522971199249783246351748078*y^3 - 23783067696422455926822360830875285495588056490866511322551838026820088434706970366077429941253450141485063930576005565599412096301253571253715150152928785768006397101059878882921300893318197523227922014439374523273350695407647703810902647457089177601478886194228367608941401/4522578750104264406569085840891420353371485477116551603104452743421397367418919468604239462222443181904741942156498444376926342874444963797581878997377816340542356068518041039996904228884988940676810938581108827320749816143875846137657493417610760367539187996531941627969248*y^2 - 1921330352111359468030125911751771165735904885378230146589926479105276124037944846838957504904241218457528160697727119040923857112966101500811567200586179515974283869006834676075180889492249384732500331418221718497157892520892122793156283754880825404422305503109756396996453/9045157500208528813138171681782840706742970954233103206208905486842794734837838937208478924444886363809483884312996888753852685748889927595163757994755632681084712137036082079993808457769977881353621877162217654641499632287751692275314986835221520735078375993063883255938496*y + 4305052904241343870044694167889140237233483853665384918403474356413781945734344703037447529383088904473787885897961504320818180897237576742133545739870253670637838134900819204901037007904399415787308855076217889370468601010417510959905485020791172800541480423460047785484/141330585940758262705283932527856886042858921159892237597014148231918667731841233393882483194451349434523185692390576386778948214826405118674433718668056760641948627141188782499903257152655904396150341830659650853773431754496120191801796669300336261485599624891623175874039

# 4 Loop Invariant
-225011080345833807631346992445413868775185869545964282244362934015037957169218348405537220232492157606607130965600875094283787476416305765180492802080208360432475532130797574098727273437409740877749020055521104597964994559337152205288344923527324036972586957185280082094029773837196512549025935372987667125218015383822190284161423617965218282202375834585556688197915566069268543272009/34457624002268903125303129465163767212252079513403641297381319941883299805803802647754428989895016294331709030058840408913827007960442045932863261819397346852055302265390360244556348215690721472027767892174833328861133647958359744411433783902132930747710105249286040262478968791959443416028492963609073430566967890161069106904464338118279478421159374841488643301955909791375046588574720*y^30 + 24288134320451519467348573052351386405976178023602228245742564189163241766828172667335438832533706601358860352399345676988983761822171258097722677707018809292209731724559268116887539092120667955158997982385003735355564772281672817741935633156536916892213076026518354036462054293510981957449513657994709741551938065989826473530064812192462899230973931040111074426719907601979512205827/430720300028361289066289118314547090153150993917545516217266499273541247572547533096930362373687703679146362875735505111422837599505525574160790772742466835650691278317379503056954352696134018400347098652185416610764170599479496805142922298776661634346376315616075503280987109899493042700356162045113417882087098627013363836305804226478493480264492185518608041274448872392188082357184*y^29 + 14087675570826422342332237477861772254280968177534002697795263981105864067223066507116580823020729150382016392229593274246730679267261498421022558755461986330780370478988917482780662093321604961695725763794215838493929984781700988484720178181908123722713004461868852432411087544120743924379384853325716061081017981468763096053486210416801718673360628022266600408699023221062830406147117/15505930801021006406386408259323695245513435781031638583821593973847484912611711191489493045452757332449269063526478184011222153582198920669788467818728806083424886019425662110050356697060824662412495551478674997987510141581261884985145202755959818836469547362178718118115535956381749537212821833624083043755135550572481098107008952153225765289521718678669889485880159406118770964858624*y^28 - 656260188232839046215546038696117763934741599608322050772409509548395274502555322615574667589917709902623911910468431536906175323667945835127010935254069753186506953298020259590414060295393278901432455667404667204228219195100105870041130404893831150820652521151779685067262307538843996699324023983851448699019633221763124876655874158671812860559773083410305170704122504668223904198140639/155059308010210064063864082593236952455134357810316385838215939738474849126117111914894930454527573324492690635264781840112221535821989206697884678187288060834248860194256621100503566970608246624124955514786749979875101415812618849851452027559598188364695473621787181181155359563817495372128218336240830437551355505724810981070089521532257652895217186786698894858801594061187709648586240*y^27 - 23044892849386554313280876057304556217525958348428536035521421570992089851740819930577647716387836700238216020053445927757805960737660953626518000472433950468879022575261812394763821553158725713596697543328347671823065445874736409577632079640815704775306871836685276784226145465463702063314151168690721647152096799764266860855666402750395876745724208454185181689619434915127998079073839/8614406000567225781325782366290941803063019878350910324345329985470824951450950661938607247473754073582927257514710102228456751990110511483215815454849336713013825566347590061139087053922680368006941973043708332215283411989589936102858445975533232686927526312321510065619742197989860854007123240902268357641741972540267276726116084529569869605289843710372160825488977447843761647143680*y^26 + 19797517158859682093873498825361628124446915542961666599612657013276368936291880021688499836835332170857629038419998717353180713459023927126352121369321811469626813692770369415598776519478200972620263063300043951370154545977060547324723581020268939269956171322218188934366720706587908005662344667777967311574620202029419614522977126833727555307975015270055036211110746355482716740505824323/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y^25 - 2537415685203858724035779014374964462397581555767611465520439211272958982234850487882128583579971310659747845393081306692275630583342459018060938516322487283775214245368723963361049750853487923295936380589756229384592798216696617325285696171387875502898299862122408549224548801234726436348442905253538114717326533731262362162791305712930099780778301320101763743338544393440329587945285825/15505930801021006406386408259323695245513435781031638583821593973847484912611711191489493045452757332449269063526478184011222153582198920669788467818728806083424886019425662110050356697060824662412495551478674997987510141581261884985145202755959818836469547362178718118115535956381749537212821833624083043755135550572481098107008952153225765289521718678669889485880159406118770964858624*y^24 - 19728963153106528200527695753076338839854736785417819934514198740446987639966841523047767196646890947110811886766895842572494770697340753892847784074461331300773822011452206417748006617271746117851285411129507268339870014840869014923126226303692388919199544418038246507267664593318278571557848959076374011563662359185606654713140014342137457826840619115193323910032861421316016513168052701/34457624002268903125303129465163767212252079513403641297381319941883299805803802647754428989895016294331709030058840408913827007960442045932863261819397346852055302265390360244556348215690721472027767892174833328861133647958359744411433783902132930747710105249286040262478968791959443416028492963609073430566967890161069106904464338118279478421159374841488643301955909791375046588574720*y^23 + 42279625205974091228197016020163265967036052781234762210717276632128804683668168560547310212677253034963774573732643009446754638610280085346437845747593943604798793575333468655378406204059774437674811538212267758541414635514651631495597151713663820740755808477448116532751615127808560347282308045189073248287575546597329893316790118108700494970804964992011767936275962267007801623137679181/38764827002552516015966020648309238113783589452579096459553984934618712281529277978723732613631893331123172658816195460028055383955497301674471169546822015208562215048564155275125891742652061656031238878696687494968775353953154712462863006889899547091173868405446795295288839890954373843032054584060207609387838876431202745267522380383064413223804296696674723714700398515296927412146560*y^22 + 168479970295300492438402618324969696822866031287627758619675924794029366464360018043707266857030023250291248314104850764841479421429426751171315686022901077625937633311835577139497158721285243684078725735175989071570580678942813822731255092688972238655251331617337016851613124908679238769051833528872882405437241868898424277082839394788823322384544031530653700902748174203635201130961012647/62023723204084025625545633037294780982053743124126554335286375895389939650446844765957972181811029329797076254105912736044888614328795682679153871274915224333699544077702648440201426788243298649649982205914699991950040566325047539940580811023839275345878189448714872472462143825526998148851287334496332175020542202289924392428035808612903061158086874714679557943520637624475083859434496*y^21 - 226901812104624062491088475905994666592326279434245679355624589687216386052311742001351678909628908212040319346735771259102389354729296338186263598197274770811380719730454951457649115289893951907975932493174013103606312165291162663212603881648031309428755991807879311510911341189583040382050925961100194996874662340499141768244914068969390006776362481227364569719377417605001547173092149215/62023723204084025625545633037294780982053743124126554335286375895389939650446844765957972181811029329797076254105912736044888614328795682679153871274915224333699544077702648440201426788243298649649982205914699991950040566325047539940580811023839275345878189448714872472462143825526998148851287334496332175020542202289924392428035808612903061158086874714679557943520637624475083859434496*y^20 - 88328590008015272732902324282746221039589264228885126064153431531265657053129974705393924777334787392786398198545802508567543506780088963374569592944471834064723879727093361384188817534978850107360980303892088445811947855024203374640662072269790515082431432594167766583824620549934179188888604538906794377821179054078736281325253427083960590075235911913541228939756413955427810176874362879/34457624002268903125303129465163767212252079513403641297381319941883299805803802647754428989895016294331709030058840408913827007960442045932863261819397346852055302265390360244556348215690721472027767892174833328861133647958359744411433783902132930747710105249286040262478968791959443416028492963609073430566967890161069106904464338118279478421159374841488643301955909791375046588574720*y^19 + 541452418662383350801361448631172379691087789310958673600164262606614109585173474750135672319650762735712619162087039762110269414432158030733580858516399941171689063364087393516933287542079948445982179968444570811093451328063031681713590309854290611215314898894751757592826398435329442991981837190213857201531856947555592765514781445483627873406302637196313534340585694966694739279308194367/38764827002552516015966020648309238113783589452579096459553984934618712281529277978723732613631893331123172658816195460028055383955497301674471169546822015208562215048564155275125891742652061656031238878696687494968775353953154712462863006889899547091173868405446795295288839890954373843032054584060207609387838876431202745267522380383064413223804296696674723714700398515296927412146560*y^18 - 1529527485522505575272709095955621931070113970850138382957530429661098891331578022117265801218910160006259350418720245509869465694566451991881315572389463462853231015489535556599675007739311734304046588740323407623617234167534499709846155134038369889355511519719775231508177922828403856857542972427380037666266404763751934536323034714238776068202487389779896876018963292452626907458703262179/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y^17 - 6802801517177341454957118938852585243108881913501165320117735022376964473163848910948067116693700191015758470975541097180343217387055100190501058453093242337049100425839224486300036563386563150992944920690904361728648705794605446398232722598338028173507542465933393194351723672446060200878937184581170603587757990167329432282096065564099086869290842475661586367885252025472522770222362693141/155059308010210064063864082593236952455134357810316385838215939738474849126117111914894930454527573324492690635264781840112221535821989206697884678187288060834248860194256621100503566970608246624124955514786749979875101415812618849851452027559598188364695473621787181181155359563817495372128218336240830437551355505724810981070089521532257652895217186786698894858801594061187709648586240*y^16 - 567638222174166384764645281751628726588084581893611263161300281085411011156001965922597858176715682507802349478602300581918786739708267957831609271083294681998167577319381623495948655695533690998491904429216647469184306048231925946787182726920739759465797942553362605245841337448980326899368290224971430251341968261619196543685037480474831044416055716669975909092433100022070689537788458367/103372872006806709375909388395491301636756238540210923892143959825649899417411407943263286969685048882995127090176521226741481023881326137798589785458192040556165906796171080733669044647072164416083303676524499986583400943875079233234301351706398792243130315747858120787436906375878330248085478890827220291700903670483207320713393014354838435263478124524465929905867729374125139765724160*y^15 + 18904238506985146591925867368637105774484221847946920510994386942557959945131925337808507539530746226666755690420856405024768687952366228559622416228503533776115126649227455801071497673139053017363091501379751823565022395699562609167167110259311375497568889710000345622222144924642730256669089145008148065341747295747309287103703144430220495133966259788578472719869140922730382560847717298551/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y^14 + 9588799548782864687716246586331026202114307047868831261770514111336629656053681823233095330314429434055998249827447248895615230777686032178447571588394871315034909213658058649667679293528043749209563375660831912304867880080799265121773102108115053185137041409918129730783488096893354343949651225803812994800794875348721456561014174716116430566275490135344513409349384484294253323576895632191/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y^13 - 3832494235312606366200250407737367556453287001682066158166784453361078603871800945356578606299801342891519888865919791226297332396142752227512602056161817129662630022447566922056763585054806670571421574345310795301441752738049278684225707204967494517238306785465001437448207566596456756234062212501025988102588749155528341145116372835887002877295349272177473141322913839676437962782782710883/103372872006806709375909388395491301636756238540210923892143959825649899417411407943263286969685048882995127090176521226741481023881326137798589785458192040556165906796171080733669044647072164416083303676524499986583400943875079233234301351706398792243130315747858120787436906375878330248085478890827220291700903670483207320713393014354838435263478124524465929905867729374125139765724160*y^12 - 3278070439561277592921998760362142744135925925900136999423206188488773596087733407224110877558319980321476834636021798042960512039154889311793083513240566107992198664728806156326614788436001059492926974073748356385493256588806287145854040206209713500183364897930413669794772070117671802206866335109461186188104258877473602087546831378522480535205635204346074780817436050850042783106685094437/103372872006806709375909388395491301636756238540210923892143959825649899417411407943263286969685048882995127090176521226741481023881326137798589785458192040556165906796171080733669044647072164416083303676524499986583400943875079233234301351706398792243130315747858120787436906375878330248085478890827220291700903670483207320713393014354838435263478124524465929905867729374125139765724160*y^11 + 179601636787947950256479242026979657396476508712157565174975900657643640044042266913290646590026112722243424769071906962320226144887484867691766888853316863520264450863412900121872267911687052213284986363278377648930572908185304850971518460604500903404156318341395110701642079774670685578655791268665839447758663545801980109962967238733109376636661206130757961039907109310533117726822706681/20674574401361341875181877679098260327351247708042184778428791965129979883482281588652657393937009776599025418035304245348296204776265227559717957091638408111233181359234216146733808929414432883216660735304899997316680188775015846646860270341279758448626063149571624157487381275175666049617095778165444058340180734096641464142678602870967687052695624904893185981173545874825027953144832*y^10 + 872968373922010617198466782650217005304100387871122763171103447155954117357852972995786726088618319519374359557025712628133970027700985173252004625413827371226400867039449825586592957688145548443961101614790288534041939764206916165263805309311826350014438043965862819942661556478731250298435164173523959078344251592356998551800581527460290876446021446334112181485909790009268003450739321029/62023723204084025625545633037294780982053743124126554335286375895389939650446844765957972181811029329797076254105912736044888614328795682679153871274915224333699544077702648440201426788243298649649982205914699991950040566325047539940580811023839275345878189448714872472462143825526998148851287334496332175020542202289924392428035808612903061158086874714679557943520637624475083859434496*y^9 + 1293666914467556661339866973671305034421903697478956341754683308155529733360184484742472061807389620001436922454115150768453312924315730205630144968207496228691500323709671132523182267433898788989108175375204582976721063838318154639184595582747245755741835394665188893264242923504440270681471738697605759118488928284214385166279320555961997280395198692005015065739537451592940092252475541/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y^8 - 15208749471538998567448954955449921188655513348554840661923823549646092010993141499006106898186615768645655004808738127741880807983701297342326094371421145443592481293159179511040024365682944372116847690406262606883749081018609204148602221546863925899539749525453126537317129200445144236983639439298769107177418330628487343761675257076759037596594280112673476320348191944455557800003734109/4845603375319064501995752581038654764222948681572387057444248116827339035191159747340466576703986666390396582352024432503506922994437162709308896193352751901070276881070519409390736467831507707003904859837085936871096919244144339057857875861237443386396733550680849411911104986369296730379006823007525951173479859553900343158440297547883051652975537087084340464337549814412115926518320*y^7 - 4367108879243928097266398725329518584120519528797881063869765478960746786255409599240230441548874084069939837668239009266174602881390810803873595214917790515242680006098611035557195613004368017157602827738737866873312076021531559105637036530878504338326359822487404564734977523896001523817310586889010448590125909998135064005236798128451731967084145050956066452256391844768119077599116107/17228812001134451562651564732581883606126039756701820648690659970941649902901901323877214494947508147165854515029420204456913503980221022966431630909698673426027651132695180122278174107845360736013883946087416664430566823979179872205716891951066465373855052624643020131239484395979721708014246481804536715283483945080534553452232169059139739210579687420744321650977954895687523294287360*y^6 + 22989307158589451894626633417130268985222983249408635423193971243813905151485487192611377265708760025518052521489286168442889896090434124929119890219461992489045612672754742507358274777107807874145145253786317183407142967177342107095002354295793527075514955754263695915986196984426760293662597150431135477013807136860012785690424403671023847095065563297994144678198540623628835325954919353/62023723204084025625545633037294780982053743124126554335286375895389939650446844765957972181811029329797076254105912736044888614328795682679153871274915224333699544077702648440201426788243298649649982205914699991950040566325047539940580811023839275345878189448714872472462143825526998148851287334496332175020542202289924392428035808612903061158086874714679557943520637624475083859434496*y^5 + 4221894952438465807455288689281073738975305456065872804374591707239451130471548235386223453568039322342638191263301984232496770979346921668628778237174792054381742785519274103628495696951971099588107986914172646746883861988953714479327634875352738799009975684827447777416012835418673565083867317288604210251580254029436294891250956634582744089977371691190694488845115305670641697603853603/155059308010210064063864082593236952455134357810316385838215939738474849126117111914894930454527573324492690635264781840112221535821989206697884678187288060834248860194256621100503566970608246624124955514786749979875101415812618849851452027559598188364695473621787181181155359563817495372128218336240830437551355505724810981070089521532257652895217186786698894858801594061187709648586240*y^4 - 695745127392437957781734935910002705676013086212462150264297326809703242181084937220936487535480959968450424350460101919396128944660432732887301168988240332389411384206006549001141719868930428266794579655050949471491398875926358102572304625225842232287934763341265708317266250008790635473313013669750475726215759488627627116642261276809419020784842255973686521804699597089381883159848687/31011861602042012812772816518647390491026871562063277167643187947694969825223422382978986090905514664898538127052956368022444307164397841339576935637457612166849772038851324220100713394121649324824991102957349995975020283162523769970290405511919637672939094724357436236231071912763499074425643667248166087510271101144962196214017904306451530579043437357339778971760318812237541929717248*y^3 - 134528977455984238993950901549725042329701090292448640848206019303874515762591608146655114938975428537244797906539511325701926486874944425199678106614825285086077554135386079784221085700757864689854476414415949950491999749526014502339480086767644610675116355316226632821843867495707202688731100233025802678297726300433198018570347740748919787974138851758921827753823785026143655493229727/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y^2 + 145265257205423606995939069354871015254027284015718649844836191399213686551239695632584705229990815019363135103660556578949727533707483797268447209604279485172933646140328992278537107122312488879505748982585054120414639522331660097707156126338957928701888192326783807106589095401850753285074125484355190871250530167108480536787909959428043341686999100761421724610322214172232511817315877/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480*y + 5762462719288788417888423704049125120243485486655626180366223202592052185243329186728874119601479292256102823689524448499036492544587239489202572025824541886874062902248362397736924348508757787401681895406265854222805463702256879190511285818108290921718697058689181761762156236327734166287619741943502159760090484018101908989237436184510278455395788389849942265712827735939539914669037/310118616020420128127728165186473904910268715620632771676431879476949698252234223829789860909055146648985381270529563680224443071643978413395769356374576121668497720388513242201007133941216493248249911029573499959750202831625237699702904055119196376729390947243574362362310719127634990744256436672481660875102711011449621962140179043064515305790434373573397789717603188122375419297172480