# Manifold: Rolfsen Knot 9_21 # Number of Tetrahedra: 11 # Number Field x^21 - 6*x^20 + 21*x^19 - 34*x^18 + 47*x^17 - 46*x^16 + 85*x^15 + 73*x^14 + 160*x^13 + 292*x^12 + 349*x^11 + 468*x^10 + 456*x^9 + 392*x^8 + 340*x^7 + 195*x^6 + 122*x^5 + 48*x^4 + 20*x^3 + 4*x^2 - 3*x - 1 # Approximate Field Generator 0.247779397470884 - 0.864038199977064*I # Shape Parameters 28162312359591317475404/28934497751533711830137*y^20 - 176347211545639421551465/28934497751533711830137*y^19 + 638509183594839027506853/28934497751533711830137*y^18 - 1130659505751866402346517/28934497751533711830137*y^17 + 1642053837707733433171901/28934497751533711830137*y^16 - 1768640940890308629496253/28934497751533711830137*y^15 + 2926512848982360423842604/28934497751533711830137*y^14 + 1205798794338840517086772/28934497751533711830137*y^13 + 4317295245609459771806590/28934497751533711830137*y^12 + 7101602733312464755173963/28934497751533711830137*y^11 + 8131631503932919706035599/28934497751533711830137*y^10 + 11292606326364811889488369/28934497751533711830137*y^9 + 10153004858433585517540140/28934497751533711830137*y^8 + 8807897669206468793727766/28934497751533711830137*y^7 + 7646399715434622632687788/28934497751533711830137*y^6 + 3828896246282843631669345/28934497751533711830137*y^5 + 2744431328583280621783947/28934497751533711830137*y^4 + 789806560217139181029065/28934497751533711830137*y^3 + 474770337130200685670074/28934497751533711830137*y^2 + 13027533833776221057203/28934497751533711830137*y - 58793649372862309088467/28934497751533711830137 -181307754137809219774538/260410479763803406471233*y^20 + 1167103210661036232799634/260410479763803406471233*y^19 - 4321181386103171083939268/260410479763803406471233*y^18 + 8081258344461294808596037/260410479763803406471233*y^17 - 12170245677931961251984250/260410479763803406471233*y^16 + 13931837755621682439746704/260410479763803406471233*y^15 - 2436978768665321138744299/28934497751533711830137*y^14 - 3116707414297120045172189/260410479763803406471233*y^13 - 3148458679455629573506439/28934497751533711830137*y^12 - 40118428700767387021030577/260410479763803406471233*y^11 - 15378665649494815939193263/86803493254601135490411*y^10 - 21533864279656827833092274/86803493254601135490411*y^9 - 18122174799181565912098778/86803493254601135490411*y^8 - 46960868443303988508867025/260410479763803406471233*y^7 - 40552034982355396007427703/260410479763803406471233*y^6 - 17188806748334683308113963/260410479763803406471233*y^5 - 13898106396716450972207855/260410479763803406471233*y^4 - 2353371804313519859590372/260410479763803406471233*y^3 - 237442067208166748366306/28934497751533711830137*y^2 + 48045187905999858418771/260410479763803406471233*y + 801018302844875950976858/260410479763803406471233 81205711378860347441681/86803493254601135490411*y^20 - 522514020842142573800903/86803493254601135490411*y^19 + 1928895464973551782957124/86803493254601135490411*y^18 - 3578362005850197591656092/86803493254601135490411*y^17 + 5298219593016951385564283/86803493254601135490411*y^16 - 5915827994084290065593677/86803493254601135490411*y^15 + 3099561746404025199073186/28934497751533711830137*y^14 + 2057324211095567143428479/86803493254601135490411*y^13 + 3935119539807693996749787/28934497751533711830137*y^12 + 18315814738264327130334002/86803493254601135490411*y^11 + 6614875209963759639439078/28934497751533711830137*y^10 + 9419977522808191329843084/28934497751533711830137*y^9 + 7828444298786360310426560/28934497751533711830137*y^8 + 19775303406329379730095424/86803493254601135490411*y^7 + 17170010274121340777674291/86803493254601135490411*y^6 + 6676394057879875443985235/86803493254601135490411*y^5 + 5501224270363137661874714/86803493254601135490411*y^4 + 508754374988566492764385/86803493254601135490411*y^3 + 253656046424929130143408/28934497751533711830137*y^2 - 358134827238766651631512/86803493254601135490411*y - 229033824420848812868273/86803493254601135490411 200972401026614789018710/86803493254601135490411*y^20 - 1275131181496545325137121/86803493254601135490411*y^19 + 4661790834727014644116621/86803493254601135490411*y^18 - 8451891681316311854500919/86803493254601135490411*y^17 + 12404746376796865768356337/86803493254601135490411*y^16 - 13617950588764162018759109/86803493254601135490411*y^15 + 7316305501906798362853868/28934497751533711830137*y^14 + 6862275795306662295108394/86803493254601135490411*y^13 + 10051165780204785209435327/28934497751533711830137*y^12 + 48116790579532703734685326/86803493254601135490411*y^11 + 17994620166190702216533829/28934497751533711830137*y^10 + 25227407679973415720040405/28934497751533711830137*y^9 + 22000560975281237983647876/28934497751533711830137*y^8 + 56638928008639963463775971/86803493254601135490411*y^7 + 49267929081423100982880215/86803493254601135490411*y^6 + 22568955314586231065003638/86803493254601135490411*y^5 + 17123638027309709711662858/86803493254601135490411*y^4 + 3741320143942403594254976/86803493254601135490411*y^3 + 956078941139865829612894/28934497751533711830137*y^2 - 333635535453170217916673/86803493254601135490411*y - 486620483918296087575355/86803493254601135490411 -4292933396480774380560/28934497751533711830137*y^20 + 30235339510053695430165/28934497751533711830137*y^19 - 117435109142321594190686/28934497751533711830137*y^18 + 241339339033764999416065/28934497751533711830137*y^17 - 355799810638400328318759/28934497751533711830137*y^16 + 397419853737897650220441/28934497751533711830137*y^15 - 548578044593894145303831/28934497751533711830137*y^14 + 23253577910789588046618/28934497751533711830137*y^13 - 323806926154772141575336/28934497751533711830137*y^12 - 685037457494086449293992/28934497751533711830137*y^11 - 329135389561990457925953/28934497751533711830137*y^10 - 759789492084627006731952/28934497751533711830137*y^9 - 330044979978692437830573/28934497751533711830137*y^8 - 183567121404655911707083/28934497751533711830137*y^7 - 392387950731306608190841/28934497751533711830137*y^6 + 83523994702623763595839/28934497751533711830137*y^5 - 110629748070785825338625/28934497751533711830137*y^4 + 11288662111185344678019/28934497751533711830137*y^3 - 36691337535212515950920/28934497751533711830137*y^2 - 8096208623577070397749/28934497751533711830137*y + 36204477532355666199438/28934497751533711830137 924653869794885428193/28934497751533711830137*y^20 - 4775737826826918214425/28934497751533711830137*y^19 + 22157956302129744562696/28934497751533711830137*y^18 - 62322962385657183632538/28934497751533711830137*y^17 + 190345314080079815246930/28934497751533711830137*y^16 - 324666521396213706852340/28934497751533711830137*y^15 + 516249623252323146706356/28934497751533711830137*y^14 - 399580807606968282022870/28934497751533711830137*y^13 + 1054364160690302115024109/28934497751533711830137*y^12 + 582223324616040666047686/28934497751533711830137*y^11 + 1669974810693794113665398/28934497751533711830137*y^10 + 2399246222416352103076538/28934497751533711830137*y^9 + 2670380785979433002271755/28934497751533711830137*y^8 + 3403590433225382164853988/28934497751533711830137*y^7 + 2848807765125007289271558/28934497751533711830137*y^6 + 2371637024696842048056427/28934497751533711830137*y^5 + 1926138587381206197446916/28934497751533711830137*y^4 + 829960782853986722046031/28934497751533711830137*y^3 + 617542409252376695381371/28934497751533711830137*y^2 + 107618233379653092645438/28934497751533711830137*y + 128870993314507681808903/28934497751533711830137 -36422378257698123763748/28934497751533711830137*y^20 + 234263832416516824438367/28934497751533711830137*y^19 - 866442987975501594291713/28934497751533711830137*y^18 + 1614171939938765719211193/28934497751533711830137*y^17 - 2412141656616725804557623/28934497751533711830137*y^16 + 2710550973898708274779803/28934497751533711830137*y^15 - 4244490601116039889351612/28934497751533711830137*y^14 - 871944119766264196828152/28934497751533711830137*y^13 - 5413316325016323092479527/28934497751533711830137*y^12 - 8423847423398798254311677/28934497751533711830137*y^11 - 9159251705310360276469674/28934497751533711830137*y^10 - 13306971242523430777814189/28934497751533711830137*y^9 - 11221047112665950552913096/28934497751533711830137*y^8 - 9810767224767689993134263/28934497751533711830137*y^7 - 8666092696485818813303824/28934497751533711830137*y^6 - 3866341410412607370206847/28934497751533711830137*y^5 - 3214439588172369225385309/28934497751533711830137*y^4 - 753277844294589418103933/28934497751533711830137*y^3 - 654884476427866555397539/28934497751533711830137*y^2 - 43555955541003809109343/28934497751533711830137*y + 52727826593644549252212/28934497751533711830137 -229033824420848812868273/86803493254601135490411*y^20 + 1455408657903953224651319/86803493254601135490411*y^19 - 5332224333679967644034636/86803493254601135490411*y^18 + 9716045495282411420478406/86803493254601135490411*y^17 - 14342951753630091796464923/86803493254601135490411*y^16 + 15833775516375996777504841/86803493254601135490411*y^15 - 8461234356618813053132294/28934497751533711830137*y^14 - 7420783943509887742164371/86803493254601135490411*y^13 - 11529362565413414305165067/28934497751533711830137*y^12 - 55072518111464771367286355/86803493254601135490411*y^11 - 20538996661537302853564425/28934497751533711830137*y^10 - 29114401399688655168011510/28934497751533711830137*y^9 - 25393163789160828226134412/28934497751533711830137*y^8 - 66295926276613653713083336/86803493254601135490411*y^7 - 58096196896759216645117396/86803493254601135490411*y^6 - 27491585487944177731638944/86803493254601135490411*y^5 - 21265732521463679725944071/86803493254601135490411*y^4 - 5492399301837605355802390/86803493254601135490411*y^3 - 1357307371142803254867025/28934497751533711830137*y^2 - 155167158408607861042868/86803493254601135490411*y + 415770139278380922463718/86803493254601135490411 13120740878784186259766/86803493254601135490411*y^20 - 79835767073077657904105/86803493254601135490411*y^19 + 285605265010022790453338/86803493254601135490411*y^18 - 497987099825144818626034/86803493254601135490411*y^17 + 777097873256677073982467/86803493254601135490411*y^16 - 955511952472573062136525/86803493254601135490411*y^15 + 549089851544629587205769/28934497751533711830137*y^14 + 261603222806592616010276/86803493254601135490411*y^13 + 924455090131724424803591/28934497751533711830137*y^12 + 3125990445596521452041201/86803493254601135490411*y^11 + 1465847367046360139900061/28934497751533711830137*y^10 + 1883805853060517133676761/28934497751533711830137*y^9 + 1622112696998087315799588/28934497751533711830137*y^8 + 4294212954049639182220150/86803493254601135490411*y^7 + 3064661923355235360180298/86803493254601135490411*y^6 + 1494372020116851677027699/86803493254601135490411*y^5 + 1041425537295868566663779/86803493254601135490411*y^4 + 104078072870971398538510/86803493254601135490411*y^3 + 77009859042312324613670/28934497751533711830137*y^2 + 1665856892755578593660/86803493254601135490411*y + 43498919149458502558432/86803493254601135490411 8744303874705632674647/28934497751533711830137*y^20 - 49646372138088377415757/28934497751533711830137*y^19 + 163325866431295860737681/28934497751533711830137*y^18 - 218939993902314215192623/28934497751533711830137*y^17 + 253538331302158808477637/28934497751533711830137*y^16 - 195242608754633866312699/28934497751533711830137*y^15 + 552858867956725353894847/28934497751533711830137*y^14 + 874264422882079776121814/28934497751533711830137*y^13 + 1516634929474829531792474/28934497751533711830137*y^12 + 2515637459600487524135276/28934497751533711830137*y^11 + 3469193618711960894724370/28934497751533711830137*y^10 + 4058051766177062505620463/28934497751533711830137*y^9 + 4083730576585966254989586/28934497751533711830137*y^8 + 3393679554233522381349493/28934497751533711830137*y^7 + 2611803767045981631012753/28934497751533711830137*y^6 + 1682618222936941127801200/28934497751533711830137*y^5 + 783478985108998371180711/28934497751533711830137*y^4 + 284019603832502081829393/28934497751533711830137*y^3 + 201162440443369227232183/28934497751533711830137*y^2 - 23814123523143858897804/28934497751533711830137*y - 8662610141729411744838/28934497751533711830137 70469982867583014084230/28934497751533711830137*y^20 - 445329534301901246049015/28934497751533711830137*y^19 + 1625475234046463691937490/28934497751533711830137*y^18 - 2937633688653595852521615/28934497751533711830137*y^17 + 4335538228408593121761477/28934497751533711830137*y^16 - 4793055854110594653107157/28934497751533711830137*y^15 + 7769688404342022446306868/28934497751533711830137*y^14 + 2387432280220658556865806/28934497751533711830137*y^13 + 10917462976264053340186814/28934497751533711830137*y^12 + 17135274344035588365473439/28934497751533711830137*y^11 + 19529099913768429902122276/28934497751533711830137*y^10 + 27467643174837367635471447/28934497751533711830137*y^9 + 24052851701825943776296484/28934497751533711830137*y^8 + 21048760966056194117414363/28934497751533711830137*y^7 + 18165735172446095158987893/28934497751533711830137*y^6 + 8804624868849005952846575/28934497751533711830137*y^5 + 6662761140573281686727505/28934497751533711830137*y^4 + 1715421033536913446145437/28934497751533711830137*y^3 + 1284457818855963620107772/28934497751533711830137*y^2 + 51774200551336277712025/28934497751533711830137*y - 89714428816632747198759/28934497751533711830137 # A Gluing Matrix {{0,0,0,-1,0,0,0,0,0,0,0},{0,0,-1,-1,-1,1,-1,0,-1,-1,0},{0,-1,1,1,0,0,0,0,0,0,0},{-1,-1,1,0,0,0,0,0,0,0,0},{0,-1,0,0,-1,1,0,1,-1,-1,0},{0,1,0,0,1,0,0,0,1,1,0},{0,-1,0,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,1,1,0},{0,-1,0,0,-1,1,0,1,0,0,0},{0,-1,0,0,-1,1,0,1,0,0,-1},{0,0,0,0,0,0,0,0,0,-1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, -2, 1, 0, -1, 2, 0, 2, 0, 0, 0} # f Combinatorial flattening {1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -307627597918563230573803/57868995503067423660274*y^20 + 933066357046848373652174/28934497751533711830137*y^19 - 6638362942514642315363901/57868995503067423660274*y^18 + 5646970855013627299851491/28934497751533711830137*y^17 - 16760683878501432553665591/57868995503067423660274*y^16 + 18548140989901298886917025/57868995503067423660274*y^15 - 32290431627552157370618523/57868995503067423660274*y^14 - 14564920634358923989851837/57868995503067423660274*y^13 - 28060615697145389881819411/28934497751533711830137*y^12 - 42199846525238138617201041/28934497751533711830137*y^11 - 52841619628760902124102228/28934497751533711830137*y^10 - 142616737507121289481932283/57868995503067423660274*y^9 - 131663495601396510953466709/57868995503067423660274*y^8 - 116577974378949081494112189/57868995503067423660274*y^7 - 94660144142716895436584435/57868995503067423660274*y^6 - 24912288727868465279944590/28934497751533711830137*y^5 - 33337439199130868415308137/57868995503067423660274*y^4 - 8077475022143919190004759/57868995503067423660274*y^3 - 2712722788791960736696975/28934497751533711830137*y^2 + 324398640396164967370147/57868995503067423660274*y + 302170982864402326965223/28934497751533711830137 # 2 Loop Invariant 185874100684352464477730765088757907954864202524611768878396324987542567341/650098921330337322507097719059234959062938432140503416351551988410767290633*y^20 - 6988306743097681535347860068590539833558030657234112596686149552462290915477/3900593527982023935042586314355409754377630592843020498109311930464603743798*y^19 + 12668189667677822524926894408206468927832683204856561182721312624428831744186/1950296763991011967521293157177704877188815296421510249054655965232301871899*y^18 - 15021457401611364811954115040635663411810671213662956047011690650228090616999/1300197842660674645014195438118469918125876864281006832703103976821534581266*y^17 + 11002499072435149320432620460239063305437782743252641722547499694134781171371/650098921330337322507097719059234959062938432140503416351551988410767290633*y^16 - 36175749986755915282926173592580084216694981966616392361853635149364664211491/1950296763991011967521293157177704877188815296421510249054655965232301871899*y^15 + 59808728112301288032469404543220870320071935766383552949366021404897600099529/1950296763991011967521293157177704877188815296421510249054655965232301871899*y^14 + 14252574983787109417686264421783833452595651198868536439290779903057639138955/1300197842660674645014195438118469918125876864281006832703103976821534581266*y^13 + 88183838359112815543085172554916618069607197448501994625767445749817667050280/1950296763991011967521293157177704877188815296421510249054655965232301871899*y^12 + 551996454783148886676266135240103124939935196230207285058560888306235369412399/7801187055964047870085172628710819508755261185686040996218623860929207487596*y^11 + 214801460715877490552739917513101732005339007999485785025080478689862683485465/2600395685321349290028390876236939836251753728562013665406207953643069162532*y^10 + 222469870142901469419469127581617999052208010699298382832972114580587074713885/1950296763991011967521293157177704877188815296421510249054655965232301871899*y^9 + 395056217157714293466245242368110734196945931160858511682136173021400393592821/3900593527982023935042586314355409754377630592843020498109311930464603743798*y^8 + 172493713032746071567364156140264760856847497466851274110894031584476410559317/1950296763991011967521293157177704877188815296421510249054655965232301871899*y^7 + 195186868732640145305867065515523047902254396412048301644844762021065146008935/2600395685321349290028390876236939836251753728562013665406207953643069162532*y^6 + 96417686215048757115323595858451597860794948367638163693594022209858681918111/2600395685321349290028390876236939836251753728562013665406207953643069162532*y^5 + 208441020382735067248632019287493453536563476701186642052558586591187971093167/7801187055964047870085172628710819508755261185686040996218623860929207487596*y^4 + 16924364745736720289543180687736143377857635924695010263430147653328183557497/2600395685321349290028390876236939836251753728562013665406207953643069162532*y^3 + 11963127672507575834794690605939377482735493731245503113587534814745125912825/2600395685321349290028390876236939836251753728562013665406207953643069162532*y^2 - 1168915206328242368368629038292328659132044785260442561568922322929638013109/3900593527982023935042586314355409754377630592843020498109311930464603743798*y - 3837244733281839009546996563414476574476362263903874012599373311547238601453/5200791370642698580056781752473879672503507457124027330812415907286138325064 # 3 Loop Invariant 6527029077574844016125155773792929108895599650013529440459402745383218547434148387327196515524952881/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^20 - 42135018037332359201402300007800829296610858013820414045329030781656859306668769301975117248078821465/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^19 + 78210730647935981398545870144732544314347226682862346392417918762473463823986233167590092050635373006/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^18 - 146835514068673729272102984992079357338338623856176397152580096381824186907106571785945336806616070103/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^17 + 440946679792806177170016844712837989602316293519361226168740020743670437348595290843015605618225240957/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^16 - 247876424372503851828549269677847972514487966939848429650213951611215269204738402548975274988318027007/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^15 + 384538357117942612075933708124215186611431470185012966382155863956442771007554808417595617674391455978/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^14 + 144695899340144093173323332151188094332081785297130146395263538518082893431329215133201288468178275439/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^13 + 966019836308818649184404971097533965150778689969126314364007942451526250702141284382834155198670335187/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^12 + 760926667580283360794099409757813168410435050004304723886144123295328287423220904272325646260647832456/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^11 + 1632939622241589455382723282094762166336177597587890776098274186607559957495420973405543075953169692017/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^10 + 2413413678409603342320589223090608826318425556386935573687148258650037087751080154387981889463371382649/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^9 + 1018787217214007511905083541735975156518223989270220090909071839412750831584035456634781936254832177645/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^8 + 1813209906253072778195350392297649235274736586272006563971328719792335202658524017475471562250352004769/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^7 + 807713398693038801600756324387583572120828647927281093064311412823678847952878954747217490875409837165/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^6 + 723492415082140153461050467870565785714458212927511718845552533664197259126493777295242765906718449405/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^5 + 310418905306302208248785270565052797899032765268152867055005733668030093745519576120744352979193895121/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y^4 + 153923046412460319655554042450174417601775884999643328973959292316607949341082376582834090993171886585/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^3 + 118072291648610302340939978955856145044316081014394405407649170856807531891504182160306574520961870743/194890733307199866189169751671061948490565860787105180092628364137843241326628852051128068681611228002*y^2 + 2905028314024337310983543557070278717356896989146009554844823151417428215406864540256541662041180064/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001*y - 6004550827087754907712403780496553709562995889872918894357098282683143081120394707192088928375187787/97445366653599933094584875835530974245282930393552590046314182068921620663314426025564034340805614001 # 4 Loop Invariant 18816029762540545879120400388789966015727828663831044558854767793555932297532106152669001471415383892631581655180831626631568922556561127649255884199870097/788183233242511977323426302724834941830905855236883864474764843776790167987480702496507578483014103939545209476223876898377095648944070526219940070171195240*y^20 - 23914773875928156184564940859681017546055348533323269270005928357951715487070496702417830702760150318950829660086410679449124025892445217249665356837869943/157636646648502395464685260544966988366181171047376772894952968755358033597496140499301515696602820787909041895244775379675419129788814105243988014034239048*y^19 + 291746348598618379878331827728099605056753799843940585709276686960816407303343632427528232447058170037460207465896294281345473342464168929513146156000317949/525455488828341318215617535149889961220603903491255909649843229184526778658320468331005052322009402626363472984149251265584730432629380350813293380114130160*y^18 - 19869650385327862504052149800719164192415218184920108732808630967890957142766340979192505433121039641433024727007913943147375253083310085278875340959342286/19704580831062799433085657568120873545772646380922096611869121094419754199687017562412689462075352598488630236905596922459427391223601763155498501754279881*y^17 + 2329050523449029896209280637799108773443756963408268955299347978562282796704254787364414245433474053740122596698384423670490124565115312761413729731316652029/1576366466485023954646852605449669883661811710473767728949529687553580335974961404993015156966028207879090418952447753796754191297888141052439880140342390480*y^16 - 2543653658521766544977988701648544448757827864098931116048026234843261424219244811455942439357031608426089592926254731195773260888003049865998287088606706683/1576366466485023954646852605449669883661811710473767728949529687553580335974961404993015156966028207879090418952447753796754191297888141052439880140342390480*y^15 + 681918799787017586699757225121118993833116827899472208428162480717848965086973466870039613055650062327465543885216417832928536132571004152416274149695108529/262727744414170659107808767574944980610301951745627954824921614592263389329160234165502526161004701313181736492074625632792365216314690175406646690057065080*y^14 + 323471923053521298329015726502268368360309549581927326765247229626966072770042554238092753541811201797725386624298417713125624347461007160565695620760624571/394091616621255988661713151362417470915452927618441932237382421888395083993740351248253789241507051969772604738111938449188547824472035263109970035085597620*y^13 + 2797239515832479380249312566080920589738656777418199272040147758656643866981822457790358712817076465304394703970584029578509620115770651762707959292615023223/788183233242511977323426302724834941830905855236883864474764843776790167987480702496507578483014103939545209476223876898377095648944070526219940070171195240*y^12 + 9012909840515260817142015268927619642273046085775194160668696480060746944665828289775401257605830971209031241714368963201447534420172670123809712635882613377/1576366466485023954646852605449669883661811710473767728949529687553580335974961404993015156966028207879090418952447753796754191297888141052439880140342390480*y^11 + 1268756155637528776696909735882008964404210660009489745078351990711376741400071153228679491506093641388729504739620681180405997575701832095861158167780576517/197045808310627994330856575681208735457726463809220966118691210944197541996870175624126894620753525984886302369055969224594273912236017631554985017542798810*y^10 + 709813681157073906179030455241472246862855123677929225605969054365330610268034309366834563773753426016134467172212340988845484722866611829049064241522045511/78818323324251197732342630272483494183090585523688386447476484377679016798748070249650757848301410393954520947622387689837709564894407052621994007017119524*y^9 + 12562713138990335418516758742343974455440643723428079698299857536477942597570987862356742053235397732014211349780036450500994830707264640772915061327721329033/1576366466485023954646852605449669883661811710473767728949529687553580335974961404993015156966028207879090418952447753796754191297888141052439880140342390480*y^8 + 3619440279175651588909215828603373130980720334697477220566776645477579422279665176087060630140027829162743496714856549154649380258823354697834169682288139373/525455488828341318215617535149889961220603903491255909649843229184526778658320468331005052322009402626363472984149251265584730432629380350813293380114130160*y^7 + 199873333654438702339936084242009920511006735006564449414897363166026806103649756322134920515665089773258025393915534424911263078385624031951881265495855109/32840968051771332388476095946868122576287743968203494353115201824032923666145029270687815770125587664147717061509328204099045652039336271925830836257133135*y^6 + 4658141814274706271480858712417731458436572122559001198705357388815288728816710715917517147750500731669780439792014740966426688887327166365607298903838614489/1576366466485023954646852605449669883661811710473767728949529687553580335974961404993015156966028207879090418952447753796754191297888141052439880140342390480*y^5 + 195577885426064787982007148693523948878456563294001907693731398684544205712992087429172149122416498057006473726087014726397825753422041208495328269703605537/87575914804723553035936255858314993536767317248542651608307204864087796443053411388500842053668233771060578830691541877597455072104896725135548896685688360*y^4 + 1016284649551394926251429616651600095275705758758260056976722124087300625774069689692914466902610915646985034856001389170364405295670174186837458277945731289/1576366466485023954646852605449669883661811710473767728949529687553580335974961404993015156966028207879090418952447753796754191297888141052439880140342390480*y^3 + 350927109653262255952750680746562698833627989188674222010034062343051682671475265091300163040409907073622049620830707438760410666243546085697257646863279053/788183233242511977323426302724834941830905855236883864474764843776790167987480702496507578483014103939545209476223876898377095648944070526219940070171195240*y^2 + 15098000246162427478715588440016892501926098325608175925232063422716055598320551240723319927577301307200361583425579492303896641452758748920362742825893243/525455488828341318215617535149889961220603903491255909649843229184526778658320468331005052322009402626363472984149251265584730432629380350813293380114130160*y - 30007982891664646813702289799983605872861149993509932739623489919747326269169879654056637890265295325772346526934349109201784719988633252908862422386420511/788183233242511977323426302724834941830905855236883864474764843776790167987480702496507578483014103939545209476223876898377095648944070526219940070171195240