# Manifold: Census Knot K8_268 # Number of Tetrahedra: 8 # Number Field x^18 - 4*x^17 + 103*x^16 - 219*x^15 + 1112*x^14 + 1083*x^13 + 2219*x^12 + 1924*x^11 + 3033*x^10 + 1272*x^9 + 1338*x^8 + 3059*x^7 - 476*x^6 + 1465*x^5 + 361*x^4 + 101*x^3 + 212*x^2 + 63*x - 4 # Approximate Field Generator 0.563525962224899 - 0.544210163705080*I # Shape Parameters -3956672105158180695646521958899/109306141379149727016895838278708*y^17 + 3518046531934152033333887971695/27326535344787431754223959569677*y^16 - 399840522581731140903429128551257/109306141379149727016895838278708*y^15 + 684718820701124846792741279932821/109306141379149727016895838278708*y^14 - 987788996630267723378841466326059/27326535344787431754223959569677*y^13 - 6220464253448760036700587872175697/109306141379149727016895838278708*y^12 - 10174377889143034638445544076350677/109306141379149727016895838278708*y^11 - 2295862665582482868239369194575275/27326535344787431754223959569677*y^10 - 10975927914582863838158806301867671/109306141379149727016895838278708*y^9 - 1045073866081701120964741648320860/27326535344787431754223959569677*y^8 - 281763052580168129886776870966551/54653070689574863508447919139354*y^7 - 7851344767576575293456111296738517/109306141379149727016895838278708*y^6 + 180629440898358267510176074431129/27326535344787431754223959569677*y^5 - 1568347544369177169083069076643655/109306141379149727016895838278708*y^4 - 581164940432545971627550643743595/109306141379149727016895838278708*y^3 + 576634329660197459698631180208653/109306141379149727016895838278708*y^2 + 55417777988388804880022644117807/27326535344787431754223959569677*y + 40168296047075924915378613952903/109306141379149727016895838278708 32513723741444567429646605081261/218612282758299454033791676557416*y^17 - 15702281013132328019596934547885/27326535344787431754223959569677*y^16 + 3330361291929032229952494398142563/218612282758299454033791676557416*y^15 - 6661601154777669906402791408720515/218612282758299454033791676557416*y^14 + 8776222582750290901793560465880677/54653070689574863508447919139354*y^13 + 40192734135135146171886379023359823/218612282758299454033791676557416*y^12 + 76245208968058809280504663847603411/218612282758299454033791676557416*y^11 + 8784425715599866343919959633434811/27326535344787431754223959569677*y^10 + 103012873889662567056431224253275213/218612282758299454033791676557416*y^9 + 12281939800544452340766463863150843/54653070689574863508447919139354*y^8 + 21196947534203494096711772872544017/109306141379149727016895838278708*y^7 + 99326244804181751937190307935982983/218612282758299454033791676557416*y^6 - 764487634250323236300134062701406/27326535344787431754223959569677*y^5 + 41540002881017340758587352008862725/218612282758299454033791676557416*y^4 + 15494179261446714434631974228741913/218612282758299454033791676557416*y^3 + 3000561931930183029066800625830421/218612282758299454033791676557416*y^2 + 741221763115361722512683791406363/27326535344787431754223959569677*y + 2586303203999387343864667547191875/218612282758299454033791676557416 -1935474498547842375352736266595/437224565516598908067583353114832*y^17 + 7315595371717280785785957536169/437224565516598908067583353114832*y^16 - 197057439981118148908783135962565/437224565516598908067583353114832*y^15 + 94548441406281818654120546920577/109306141379149727016895838278708*y^14 - 500053129245920876950359369316901/109306141379149727016895838278708*y^13 - 2638906851929271010640413396848279/437224565516598908067583353114832*y^12 - 2105781977445072036501705663911967/218612282758299454033791676557416*y^11 - 3426406820707954266519210232025755/437224565516598908067583353114832*y^10 - 4513809990349461443016059059760301/437224565516598908067583353114832*y^9 - 82032264086406632480324066193302/27326535344787431754223959569677*y^8 - 421160601700413214898930613736403/437224565516598908067583353114832*y^7 - 1133335005754359605914828888150567/109306141379149727016895838278708*y^6 + 112767371301752360848464930893181/109306141379149727016895838278708*y^5 - 1240370682392851009487841425954137/437224565516598908067583353114832*y^4 - 413231453213847698965981758364055/218612282758299454033791676557416*y^3 + 6840292145102172881153905468995/54653070689574863508447919139354*y^2 - 340064288785338227737873959985293/437224565516598908067583353114832*y - 1896858855154734409247679895261/109306141379149727016895838278708 -1935474498547842375352736266595/437224565516598908067583353114832*y^17 + 7315595371717280785785957536169/437224565516598908067583353114832*y^16 - 197057439981118148908783135962565/437224565516598908067583353114832*y^15 + 94548441406281818654120546920577/109306141379149727016895838278708*y^14 - 500053129245920876950359369316901/109306141379149727016895838278708*y^13 - 2638906851929271010640413396848279/437224565516598908067583353114832*y^12 - 2105781977445072036501705663911967/218612282758299454033791676557416*y^11 - 3426406820707954266519210232025755/437224565516598908067583353114832*y^10 - 4513809990349461443016059059760301/437224565516598908067583353114832*y^9 - 82032264086406632480324066193302/27326535344787431754223959569677*y^8 - 421160601700413214898930613736403/437224565516598908067583353114832*y^7 - 1133335005754359605914828888150567/109306141379149727016895838278708*y^6 + 112767371301752360848464930893181/109306141379149727016895838278708*y^5 - 1240370682392851009487841425954137/437224565516598908067583353114832*y^4 - 413231453213847698965981758364055/218612282758299454033791676557416*y^3 + 6840292145102172881153905468995/54653070689574863508447919139354*y^2 - 340064288785338227737873959985293/437224565516598908067583353114832*y - 1896858855154734409247679895261/109306141379149727016895838278708 53295196484095117273452284765662008/45998456353991891210135894680082027653*y^17 - 118396413868351872820552515658353085/91996912707983782420271789360164055306*y^16 + 9659813075437352911463301157935367219/91996912707983782420271789360164055306*y^15 + 513608330971860191671020933720302515/5411583100469634260015987609421415018*y^14 + 21062228370843472572798068935304304688/45998456353991891210135894680082027653*y^13 + 238742015557307049812312991149971976678/45998456353991891210135894680082027653*y^12 + 475484014010190345245410049567964026891/91996912707983782420271789360164055306*y^11 + 399930905781932178547892261512943065347/45998456353991891210135894680082027653*y^10 + 749025778998262002454262122904327895865/91996912707983782420271789360164055306*y^9 + 1047600597479834571639082424163115481125/91996912707983782420271789360164055306*y^8 + 190654981252549523031922968305785130446/45998456353991891210135894680082027653*y^7 + 809120534726414697851781997265117197797/91996912707983782420271789360164055306*y^6 + 390942650534424065464007979464566872834/45998456353991891210135894680082027653*y^5 - 85941596181661951459609546025079524066/45998456353991891210135894680082027653*y^4 + 359417600417942448454330856018770540799/91996912707983782420271789360164055306*y^3 + 40057570955867642182934358167858471765/45998456353991891210135894680082027653*y^2 - 381773856211814370937651597572151069/45998456353991891210135894680082027653*y + 49930782787432735631589388122782490597/91996912707983782420271789360164055306 27862225523532690281423395178620221/2705791550234817130007993804710707509*y^17 - 108518878322265447956258406833039355/2705791550234817130007993804710707509*y^16 + 2875945525640261648841094608359828280/2705791550234817130007993804710707509*y^15 - 5867594344460859849676233386611889680/2705791550234817130007993804710707509*y^14 + 32159768175815036206844769256298383767/2705791550234817130007993804710707509*y^13 + 29933023225003894238524549173030723998/2705791550234817130007993804710707509*y^12 + 83512571267862836183997528889196499561/2705791550234817130007993804710707509*y^11 + 84055793217769798389048524709522166292/2705791550234817130007993804710707509*y^10 + 129646630644693593405791558761660690962/2705791550234817130007993804710707509*y^9 + 73927389482749238996247577144289466173/2705791550234817130007993804710707509*y^8 + 78155703059629234732448353600015531519/2705791550234817130007993804710707509*y^7 + 94411013255154288049337512395112685180/2705791550234817130007993804710707509*y^6 - 9288324815773190070795616512413031102/2705791550234817130007993804710707509*y^5 + 70669883585967810513031934780661094848/2705791550234817130007993804710707509*y^4 - 127988684423004250168465189945517402/2705791550234817130007993804710707509*y^3 + 10734244169685920238385024887916627275/2705791550234817130007993804710707509*y^2 + 3511326445759975478955761505765850677/2705791550234817130007993804710707509*y - 191142599260263320133202999430845212/2705791550234817130007993804710707509 -59757703758680344166669646536321819/5411583100469634260015987609421415018*y^17 + 276293711704348957224092108407468307/5411583100469634260015987609421415018*y^16 - 3141446310842079583125150394990333256/2705791550234817130007993804710707509*y^15 + 8418757297408793488388088683612143642/2705791550234817130007993804710707509*y^14 - 36217737744003748763121551917705270934/2705791550234817130007993804710707509*y^13 - 28131651784359772905408707520819493613/5411583100469634260015987609421415018*y^12 - 35004046746058988649624963368472885473/2705791550234817130007993804710707509*y^11 - 4377881523249992247006179266766756668/2705791550234817130007993804710707509*y^10 - 42560039035297362644592451907509645866/2705791550234817130007993804710707509*y^9 + 44956238765582849653607943115577007565/5411583100469634260015987609421415018*y^8 - 10302615408489437121105359314818192410/2705791550234817130007993804710707509*y^7 - 79515954590463776661482229769583645917/2705791550234817130007993804710707509*y^6 + 52919189697556143343930035338440472413/2705791550234817130007993804710707509*y^5 - 73285456963437893637314852875696599105/5411583100469634260015987609421415018*y^4 - 1431664547506236986992640096751068570/2705791550234817130007993804710707509*y^3 - 13974531179999519877534794458408620549/5411583100469634260015987609421415018*y^2 - 2521180856469157735442874795857824213/2705791550234817130007993804710707509*y - 2099944379638326808586217120294209425/2705791550234817130007993804710707509 -50218905852739806106707162481719524927/735975301663870259362174314881312442448*y^17 + 25248706636782314904407886466979821839/91996912707983782420271789360164055306*y^16 - 5176512346970371321685769409409519397177/735975301663870259362174314881312442448*y^15 + 653571977766372522512693442551623098425/43292664803757074080127900875371320144*y^14 - 14009404163189523537043122438698084080907/183993825415967564840543578720328110612*y^13 - 53253213867990008698160225269409353337109/735975301663870259362174314881312442448*y^12 - 109761942275963880316069909745887818877409/735975301663870259362174314881312442448*y^11 - 11690680204735150033019450767868988090105/91996912707983782420271789360164055306*y^10 - 149774018382662271986269649810685057325543/735975301663870259362174314881312442448*y^9 - 15330442828696709602268655833340158868587/183993825415967564840543578720328110612*y^8 - 33419385004618532516842985682595468284971/367987650831935129681087157440656221224*y^7 - 154806385329011337757600297280412051633765/735975301663870259362174314881312442448*y^6 + 3079554345209857648161802491015806210679/91996912707983782420271789360164055306*y^5 - 75745336894301568238839660637481138906087/735975301663870259362174314881312442448*y^4 - 17599210075956466068350147543734931443291/735975301663870259362174314881312442448*y^3 - 7162759264071287508061109137231314202143/735975301663870259362174314881312442448*y^2 - 681281018518140731046996383356183376152/45998456353991891210135894680082027653*y - 3324819350857159587142915834648503360913/735975301663870259362174314881312442448 # A Gluing Matrix {{-1,2,0,4,-4,0,4,2},{-2,4,0,4,-4,2,4,4},{-2,4,1,5,-4,2,5,3},{-2,4,0,6,-6,3,5,5},{0,0,1,-1,2,-1,-1,-2},{-2,4,1,5,-4,2,4,2},{0,0,0,0,-1,1,1,2},{-2,4,0,6,-6,1,6,4}} # B Gluing Matrix {{1,0,0,0,0,0,0,2},{0,1,0,0,0,0,0,2},{0,0,1,0,0,1,0,2},{0,0,0,1,0,1,0,2},{0,0,0,0,1,0,0,0},{0,0,0,0,0,2,0,1},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,3}} # nu Gluing Vector {3, 4, 5, 5, 0, 4, 1, 4} # f Combinatorial flattening {-2, 0, 9, -3, -11, -4, -8, 1} # f' Combinatorial flattening {-1, 4, 8, 0, 0, 0, 0, 0} # 1 Loop Invariant 2348739377622491989689726335237387254/2705791550234817130007993804710707509*y^17 - 17128777770100191837224462251039230181/5411583100469634260015987609421415018*y^16 + 238266837811455108445850387404447228207/2705791550234817130007993804710707509*y^15 - 856365460671690313073273725082969291677/5411583100469634260015987609421415018*y^14 + 2398285145814296098243452924568635159558/2705791550234817130007993804710707509*y^13 + 3470654410645009272762395883164123060676/2705791550234817130007993804710707509*y^12 + 11733479345897660213600367621410144317513/5411583100469634260015987609421415018*y^11 + 10617460486692957011199294104793567316115/5411583100469634260015987609421415018*y^10 + 6961126623205296155953786552534677975653/2705791550234817130007993804710707509*y^9 + 3177255608546759634987352257596752777452/2705791550234817130007993804710707509*y^8 + 3013378346097470721390213662316728286855/5411583100469634260015987609421415018*y^7 + 11229745278977386783400916835343375867659/5411583100469634260015987609421415018*y^6 - 218249351555561231179184228221746747772/2705791550234817130007993804710707509*y^5 + 1407949601393255831949350121398960028085/2705791550234817130007993804710707509*y^4 + 906053210956472216415254189961817777993/5411583100469634260015987609421415018*y^3 + 464009382920691078459440008553893209779/5411583100469634260015987609421415018*y^2 + 480711651592569145049922508160628271083/5411583100469634260015987609421415018*y + 77384538353184756099992387285963911839/5411583100469634260015987609421415018 # 2 Loop Invariant -9718572194413669852389675482135389371140890971148987972291970152105547783344399431172295/4875053504020397854577985784013057017551743444744368365069844714889889619239617313093665664*y^17 + 82866376882272695741920111443674393630169330788743978422758507971041014981646134079497263/9750107008040795709155971568026114035103486889488736730139689429779779238479234626187331328*y^16 - 339109985150649662969474778412575332506052076831276467301116526216405698114191297995561245/1625017834673465951525995261337685672517247814914789455023281571629963206413205771031221888*y^15 + 1207816137901384940811602417873909843517141914920186596809526971098636912370053041012629641/2437526752010198927288992892006528508775871722372184182534922357444944809619808656546832832*y^14 - 3996847696410578754611652580455676551765817127189616728853637855827098915130491409001538553/1625017834673465951525995261337685672517247814914789455023281571629963206413205771031221888*y^13 - 534532476893774449600692209050572453475446402888638488348095776129363189983843580440896887/406254458668366487881498815334421418129311953728697363755820392907490801603301442757805472*y^12 - 16895100829394064625771599378156016806060307635972372043364710882398081872692354786572625921/3250035669346931903051990522675371345034495629829578910046563143259926412826411542062443776*y^11 - 13566729550130948323002142262313193418554149081841615823566614793694985931331414639632032557/3250035669346931903051990522675371345034495629829578910046563143259926412826411542062443776*y^10 - 25359457728579536535156730051971841917779856057440058487195426861572065456737539661206628309/3250035669346931903051990522675371345034495629829578910046563143259926412826411542062443776*y^9 - 31263327064071165953472947550848219092385179137641263015193226261972595115634047385372090451/9750107008040795709155971568026114035103486889488736730139689429779779238479234626187331328*y^8 - 8460583302883074809674700341945313394386336882619397983779322155934459626425176270940258819/1625017834673465951525995261337685672517247814914789455023281571629963206413205771031221888*y^7 - 5096784908291076629322120696937799153638421381364266318763165848580326637530288995923856121/812508917336732975762997630668842836258623907457394727511640785814981603206602885515610944*y^6 + 3301468140209631604784911902456652401208974524917080268758637875282914218185284727629950605/1625017834673465951525995261337685672517247814914789455023281571629963206413205771031221888*y^5 - 14892105844986249536902556539503157653173665766831796176828396802543219393987058136497159901/2437526752010198927288992892006528508775871722372184182534922357444944809619808656546832832*y^4 + 8622869956733230464068392838369017296594751305703471034955157393212778723516548120766323535/9750107008040795709155971568026114035103486889488736730139689429779779238479234626187331328*y^3 - 12778500648004638479844608399114642360543605534881569425702521962756980858874837086977324407/9750107008040795709155971568026114035103486889488736730139689429779779238479234626187331328*y^2 - 311086220834571432722740995783202878230003649251348812737367711279915245838075047695505803/609381688002549731822248223001632127193967930593046045633730589361236202404952164136708208*y - 6401837648654344514025286455180351915614986233074221271183242138534670950614487067342749703/609381688002549731822248223001632127193967930593046045633730589361236202404952164136708208 # 3 Loop Invariant -946717399529537206542078365099140391082205328657545554046845858040542266940113297123727467689119311935023199960622273/974187053468064775658155221201273295794025494771948726231928207036890347824841635341118361733731036666379784021059442688*y^17 + 7942076631201297160245627504484837922819895514503792816067070559075129238458330386095255268075280588046565382982050073/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^16 - 12451351537703676844454517224330783734858481389242173635575060796151222449799107560310497045793910679341776514356415715/121773381683508096957269402650159161974253186846493590778991025879611293478105204417639795216716379583297473002632430336*y^15 + 28902807507605103795264961789375159278988234401679240990875940980130621123949185364584822119744071297509102537912160153/121773381683508096957269402650159161974253186846493590778991025879611293478105204417639795216716379583297473002632430336*y^14 - 1231346051879816175574851981493076168633298380532217932536381995727003754186517486256507440550306364211040914395926821453/974187053468064775658155221201273295794025494771948726231928207036890347824841635341118361733731036666379784021059442688*y^13 - 287913265761481880578229361536056184491609411205157025667097522713718021937170743385162008115935453332741058457457440131/487093526734032387829077610600636647897012747385974363115964103518445173912420817670559180866865518333189892010529721344*y^12 - 6616221146763260085269191456844905938661330959080154982640442152390011235474314335985023465072777821964160720874839250097/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^11 - 6845579552593454516853518198263696185611815020732955586638764539706847679291770419953328045735842604590167250136642667159/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^10 - 12456474668962827133687811379866625891891965423435472344856472013247897691688380869257701752200839072348613260574200843695/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^9 - 8272414710014772214468943419753464368536301519706780717120721097999320903918283193012894161865814185147898362250399710963/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^8 - 1391992042390759881438038746405749804002421711288898180561930481283913898897914065187524873854232798274959127725165266425/243546763367016193914538805300318323948506373692987181557982051759222586956210408835279590433432759166594946005264860672*y^7 - 149133465592184040821018103522701053261040221857593830327517824038116929776195385668175747748179614211649088277131375843/30443345420877024239317350662539790493563296711623397694747756469902823369526301104409948804179094895824368250658107584*y^6 - 184975316748809494964812088167971146415302225967896961341725252162823199375925972596681272046846904894306125710778942987/974187053468064775658155221201273295794025494771948726231928207036890347824841635341118361733731036666379784021059442688*y^5 - 1166178340468496455461455124729759924834054838780609496889285317921628594272672039783154816340830929851604368275156532691/243546763367016193914538805300318323948506373692987181557982051759222586956210408835279590433432759166594946005264860672*y^4 + 112082289438361090267499020429121292080104704520410066118449257055767589768154616493327676880574028994858116433611803229/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^3 - 2658139867078004657993303212391416411896896731108173614087289673274327633961026731846479499071884154622732716803702955739/1948374106936129551316310442402546591588050989543897452463856414073780695649683270682236723467462073332759568042118885376*y^2 - 388474124874211856752951252006058877636664929777021344054746102606194255320335210542096662599116275229155071187555865829/974187053468064775658155221201273295794025494771948726231928207036890347824841635341118361733731036666379784021059442688*y - 8220486829687639041988044576004827742673637913386677509201473673132648899921070088986674357085094958982551624051569223/243546763367016193914538805300318323948506373692987181557982051759222586956210408835279590433432759166594946005264860672 # 4 Loop Invariant 90883681692227898726114078519978307493795464498195053537295000205261503915074316501494171436095834734747848037915922614741833603427517503453488016346956627200437737330820143/13164024058418258649726178373818650063909445998885377504039018861423949927763077506482646006111156505758132406633617590135929236204193328957729197877727029412106117141267087360*y^17 - 223081283791052561183339062281092432450913982226450488932183647155849261228464808535943041237690714322817307309841857645780669951800056509160981202054863650679018878707353889/8776016038945505766484118915879100042606297332590251669359345907615966618508718337655097337407437670505421604422411726757286157469462219305152798585151352941404078094178058240*y^16 + 770753198318483176753883613310575055751406712680396779029238265253289180469965749312495912029800144791110985084643772583753297761534034178041619448724246659291060014423219287/1097002004868188220810514864484887505325787166573781458669918238451995827313589792206887167175929708813177700552801465844660769683682777413144099823143919117675509761772257280*y^15 - 827863006223227679119058779217916006502028553211484022314003273900044672289999092013909666205899430463573678253191193195712545510894218055861623718729267977059701300289835/642774612227454035631161053409113772651828417914325073439405217842966305066556518871222949517146313757721308917657108893355919736532877390514120990123390108012994001038432*y^14 + 19029641082251502107577668535042800942175636892534450851946646055156632047870476873105952330398037619617475331633669479503676379435147638903672105381172606459459877251210870955/2632804811683651729945235674763730012781889199777075500807803772284789985552615501296529201222231301151626481326723518027185847240838665791545839575545405882421223428253417472*y^13 + 64177195390344786674133677362504947687333035773738656511272729398435272015877146314404442348385203703440030384192606273691971251730059208382749232190549215908278693415648114389/6582012029209129324863089186909325031954722999442688752019509430711974963881538753241323003055578252879066203316808795067964618102096664478864598938863514706053058570633543680*y^12 + 476723689438885062950482403941478851599016672512630660961027227359663081892493002036842255834297676073827566923108064904847883011120590478818794224098150749258551827228350857667/26328048116836517299452356747637300127818891997770755008078037722847899855526155012965292012222313011516264813267235180271858472408386657915458395755454058824212234282534174720*y^11 + 51195103072437644723321172421349681377449382399891217334242278983990905863264651582866231193332207623871269921167776224760945077897943718248907933583822712666154679501849928493/2925338679648501922161372971959700014202099110863417223119781969205322206169572779218365779135812556835140534807470575585762052489820739768384266195050450980468026031392686080*y^10 + 203287640526867543284910857740739440933703262348050362004948438691019645912819338323640180607397431433385761989400656880764328184509458457871981426530797439330863655138077429663/8776016038945505766484118915879100042606297332590251669359345907615966618508718337655097337407437670505421604422411726757286157469462219305152798585151352941404078094178058240*y^9 + 304348450095396130283140913951767478919559606563512172458175285987706188588250228869617298608226223095052114103009967221719454593880619634845113949289324354835281396613741565169/26328048116836517299452356747637300127818891997770755008078037722847899855526155012965292012222313011516264813267235180271858472408386657915458395755454058824212234282534174720*y^8 + 24524833769636458314371827837385407648201261605115369719830184638287087315434526204259330302562147105172106313312911071569513982174205810767455198611894146612044082264304071139/3291006014604564662431544593454662515977361499721344376009754715355987481940769376620661501527789126439533101658404397533982309051048332239432299469431757353026529285316771840*y^7 + 60408993805238161953989186596819463637399675763997653809771648227979598022715417907656723648284922523572638047877360931888950936926487009578737272481335948144097528441494668427/3291006014604564662431544593454662515977361499721344376009754715355987481940769376620661501527789126439533101658404397533982309051048332239432299469431757353026529285316771840*y^6 - 13744212480022574622985593148096949322109981970166448666552787113457323707424663045812081851489917782161845163777235512127812229347803249030206686039657279292186136260832129907/13164024058418258649726178373818650063909445998885377504039018861423949927763077506482646006111156505758132406633617590135929236204193328957729197877727029412106117141267087360*y^5 + 24821460699950059451312204661566245138317803942800416467546210750683703259188162683206790575328614301769219062097002161836648963277916463115251853925799452444425746094250939619/3291006014604564662431544593454662515977361499721344376009754715355987481940769376620661501527789126439533101658404397533982309051048332239432299469431757353026529285316771840*y^4 + 11591422212342431528101071638253401715943292032927508992011476870281739435417122276623718415520983350974626795025684165413259797305479718963236162643496863422135882551212610357/5265609623367303459890471349527460025563778399554151001615607544569579971105231002593058402444462602303252962653447036054371694481677331583091679151090811764842446856506834944*y^3 - 123734887277134250524005449422509950066132504600532429261146446895316679908437911217891907918725698270516783975384156084403833492663189729470024708049205241088273163351518779/585067735929700384432274594391940002840419822172683444623956393841064441233914555843673155827162511367028106961494115117152410497964147953676853239010090196093605206278537216*y^2 + 10872302988557436590662118255511777679943476624700563848763343680558842186044635527121175593410864849782361579762657009733288546140718700233990384409691533922133644405870376247/13164024058418258649726178373818650063909445998885377504039018861423949927763077506482646006111156505758132406633617590135929236204193328957729197877727029412106117141267087360*y - 243559444511259536095003288837487279857030957578358041195404795500325413569993107797666474891715697617314219218280529798278503750431473186460355421578312914144173487735765443/3291006014604564662431544593454662515977361499721344376009754715355987481940769376620661501527789126439533101658404397533982309051048332239432299469431757353026529285316771840