# Manifold: H T Link Exterior K9a15 # Number of Tetrahedra: 11 # Number Field x^23 + 31/5*x^22 + 51/5*x^21 - 104/5*x^20 - 417/5*x^19 - 91/5*x^18 + 241*x^17 + 1146/5*x^16 - 1794/5*x^15 - 2946/5*x^14 + 1302/5*x^13 + 4164/5*x^12 + 58/5*x^11 - 742*x^10 - 1066/5*x^9 + 425*x^8 + 1083/5*x^7 - 146*x^6 - 115*x^5 + 103/5*x^4 + 171/5*x^3 + 18/5*x^2 - 23/5*x - 7/5 # Approximate Field Generator -0.857773268584978 + 0.521967930221930*I # Shape Parameters -7999414690955048235/1719885255608504473*y^22 - 42204430725852539227/1719885255608504473*y^21 - 41205752121151008436/1719885255608504473*y^20 + 213368653424513904222/1719885255608504473*y^19 + 486738273174199790494/1719885255608504473*y^18 - 325170834905538752448/1719885255608504473*y^17 - 1739831150188593083543/1719885255608504473*y^16 - 285734128270662997634/1719885255608504473*y^15 + 3403258269955250375109/1719885255608504473*y^14 + 1919069862628638823368/1719885255608504473*y^13 - 4153176210358376126096/1719885255608504473*y^12 - 3550002990775108276977/1719885255608504473*y^11 + 3253621530591303562861/1719885255608504473*y^10 + 3776344442149576714551/1719885255608504473*y^9 - 1551389879951919053669/1719885255608504473*y^8 - 2572064386803928919127/1719885255608504473*y^7 + 318879549550911429767/1719885255608504473*y^6 + 1129073429345652499856/1719885255608504473*y^5 + 89542100777789186419/1719885255608504473*y^4 - 294960871418790660838/1719885255608504473*y^3 - 78106724215928651667/1719885255608504473*y^2 + 36297298403031895849/1719885255608504473*y + 17445103282282288389/1719885255608504473 5*y^21 + 31*y^20 + 56*y^19 - 73*y^18 - 361*y^17 - 164*y^16 + 844*y^15 + 982*y^14 - 950*y^13 - 1964*y^12 + 352*y^11 + 2200*y^10 + 410*y^9 - 1510*y^8 - 656*y^7 + 615*y^6 + 427*y^5 - 115*y^4 - 148*y^3 - 12*y^2 + 23*y + 7 -12460788058773063135/1719885255608504473*y^22 - 69257471273437943202/1719885255608504473*y^21 - 84895607473632704750/1719885255608504473*y^20 + 300390143743630721644/1719885255608504473*y^19 + 825861070677159561237/1719885255608504473*y^18 - 259951930504530041437/1719885255608504473*y^17 - 2677879087258769463087/1719885255608504473*y^16 - 1116181472882192986999/1719885255608504473*y^15 + 4756664883758438050472/1719885255608504473*y^14 + 3938638054273838424033/1719885255608504473*y^13 - 5163859073133144463722/1719885255608504473*y^12 - 6224168084987830852732/1719885255608504473*y^11 + 3405457849293340744611/1719885255608504473*y^10 + 5992283209018309283309/1719885255608504473*y^9 - 1119704428019159654169/1719885255608504473*y^8 - 3744445045026632778706/1719885255608504473*y^7 - 126942306726316555914/1719885255608504473*y^6 + 1500395507029955787943/1719885255608504473*y^5 + 303917197413249760669/1719885255608504473*y^4 - 346234334788514287000/1719885255608504473*y^3 - 131198080191248098379/1719885255608504473*y^2 + 34967772459954128854/1719885255608504473*y + 22742211922932699045/1719885255608504473 -12460788058773063135/1719885255608504473*y^22 - 69257471273437943202/1719885255608504473*y^21 - 84895607473632704750/1719885255608504473*y^20 + 300390143743630721644/1719885255608504473*y^19 + 825861070677159561237/1719885255608504473*y^18 - 259951930504530041437/1719885255608504473*y^17 - 2677879087258769463087/1719885255608504473*y^16 - 1116181472882192986999/1719885255608504473*y^15 + 4756664883758438050472/1719885255608504473*y^14 + 3938638054273838424033/1719885255608504473*y^13 - 5163859073133144463722/1719885255608504473*y^12 - 6224168084987830852732/1719885255608504473*y^11 + 3405457849293340744611/1719885255608504473*y^10 + 5992283209018309283309/1719885255608504473*y^9 - 1119704428019159654169/1719885255608504473*y^8 - 3744445045026632778706/1719885255608504473*y^7 - 126942306726316555914/1719885255608504473*y^6 + 1500395507029955787943/1719885255608504473*y^5 + 303917197413249760669/1719885255608504473*y^4 - 346234334788514287000/1719885255608504473*y^3 - 131198080191248098379/1719885255608504473*y^2 + 34967772459954128854/1719885255608504473*y + 22742211922932699045/1719885255608504473 5*y^21 + 31*y^20 + 56*y^19 - 73*y^18 - 361*y^17 - 164*y^16 + 844*y^15 + 982*y^14 - 950*y^13 - 1964*y^12 + 352*y^11 + 2200*y^10 + 410*y^9 - 1510*y^8 - 656*y^7 + 615*y^6 + 427*y^5 - 115*y^4 - 148*y^3 - 12*y^2 + 23*y + 7 31968471388550116095/1719885255608504473*y^22 + 169585945707974605414/1719885255608504473*y^21 + 168530902198633981399/1719885255608504473*y^20 - 849839700182091860805/1719885255608504473*y^19 - 1955796583163923059093/1719885255608504473*y^18 + 1298004963400371299061/1719885255608504473*y^17 + 6993795726408335588559/1719885255608504473*y^16 + 1116886853427490800813/1719885255608504473*y^15 - 13769958995117526102657/1719885255608504473*y^14 - 7625708736270212966294/1719885255608504473*y^13 + 17004171178058294612652/1719885255608504473*y^12 + 14206556263886562462671/1719885255608504473*y^11 - 13566364648288002241999/1719885255608504473*y^10 - 15222291156535569512713/1719885255608504473*y^9 + 6682174906500892632693/1719885255608504473*y^8 + 10441461888012302507807/1719885255608504473*y^7 - 1527566868984683603470/1719885255608504473*y^6 - 4615579634615482163821/1719885255608504473*y^5 - 283697937842548910762/1719885255608504473*y^4 + 1217441449956055452862/1719885255608504473*y^3 + 302436367531344480751/1719885255608504473*y^2 - 149493649808355513267/1719885255608504473*y - 65955448561405957212/1719885255608504473 -7999414690955048235/1719885255608504473*y^22 - 42204430725852539227/1719885255608504473*y^21 - 41205752121151008436/1719885255608504473*y^20 + 213368653424513904222/1719885255608504473*y^19 + 486738273174199790494/1719885255608504473*y^18 - 325170834905538752448/1719885255608504473*y^17 - 1739831150188593083543/1719885255608504473*y^16 - 285734128270662997634/1719885255608504473*y^15 + 3403258269955250375109/1719885255608504473*y^14 + 1919069862628638823368/1719885255608504473*y^13 - 4153176210358376126096/1719885255608504473*y^12 - 3550002990775108276977/1719885255608504473*y^11 + 3253621530591303562861/1719885255608504473*y^10 + 3776344442149576714551/1719885255608504473*y^9 - 1551389879951919053669/1719885255608504473*y^8 - 2572064386803928919127/1719885255608504473*y^7 + 318879549550911429767/1719885255608504473*y^6 + 1129073429345652499856/1719885255608504473*y^5 + 89542100777789186419/1719885255608504473*y^4 - 294960871418790660838/1719885255608504473*y^3 - 78106724215928651667/1719885255608504473*y^2 + 36297298403031895849/1719885255608504473*y + 17445103282282288389/1719885255608504473 293223380560016598955/84274377524816719177*y^22 + 1634740885869736216671/84274377524816719177*y^21 + 1878658776833402721146/84274377524816719177*y^20 - 7858154776969818692954/84274377524816719177*y^19 - 20638278601988096390417/84274377524816719177*y^18 + 1291277402625951980870/12039196789259531311*y^17 + 72718920202164632051605/84274377524816719177*y^16 + 25677013892564641939042/84274377524816719177*y^15 - 140532939255745197629996/84274377524816719177*y^14 - 109792122027614534497005/84274377524816719177*y^13 + 3418586678544850533874/1719885255608504473*y^12 + 193811439193092031924734/84274377524816719177*y^11 - 123793012091031845848661/84274377524816719177*y^10 - 29637443687681884811724/12039196789259531311*y^9 + 48923583936631069253263/84274377524816719177*y^8 + 145751891498004333501735/84274377524816719177*y^7 + 651490150705153014371/84274377524816719177*y^6 - 67404746827066228581732/84274377524816719177*y^5 - 12151321739884871626829/84274377524816719177*y^4 + 19121336695589966896846/84274377524816719177*y^3 + 6487694259396116421607/84274377524816719177*y^2 - 2582832462652887837519/84274377524816719177*y - 1293005610544178647539/84274377524816719177 1599189377278717965/12039196789259531311*y^22 + 16785505175405938088/12039196789259531311*y^21 + 61007044468194096259/12039196789259531311*y^20 + 50210310319305434253/12039196789259531311*y^19 - 249528539931673107156/12039196789259531311*y^18 - 89250416346658069911/1719885255608504473*y^17 + 102042068896324150948/12039196789259531311*y^16 + 1892320029819955162454/12039196789259531311*y^15 + 1301964457623563621425/12039196789259531311*y^14 - 2835143384053416308246/12039196789259531311*y^13 - 535245243218701327098/1719885255608504473*y^12 + 2122742069133567092571/12039196789259531311*y^11 + 5257117299251827585514/12039196789259531311*y^10 - 29530417045144167929/1719885255608504473*y^9 - 4450762255466939085577/12039196789259531311*y^8 - 1069479749277067922064/12039196789259531311*y^7 + 2359408083788907084989/12039196789259531311*y^6 + 975504351490750019994/12039196789259531311*y^5 - 762321988469756790303/12039196789259531311*y^4 - 379602182806659891149/12039196789259531311*y^3 + 142159037148436626043/12039196789259531311*y^2 + 57915356955420136650/12039196789259531311*y - 7252543904325547843/12039196789259531311 -62850875453688397240/12039196789259531311*y^22 - 314688690902943490568/12039196789259531311*y^21 - 186471706871503907234/12039196789259531311*y^20 + 2018693460041150158212/12039196789259531311*y^19 + 3653117188308313419707/12039196789259531311*y^18 - 676199736466164401196/1719885255608504473*y^17 - 15838197170988287892921/12039196789259531311*y^16 + 2633823387618773018574/12039196789259531311*y^15 + 36434743705018529561925/12039196789259531311*y^14 + 10981290653350327880453/12039196789259531311*y^13 - 7427158658761683651893/1719885255608504473*y^12 - 30564540497714368983987/12039196789259531311*y^11 + 48081804912671225192298/12039196789259531311*y^10 + 5666700098419982836367/1719885255608504473*y^9 - 28294766467795500694081/12039196789259531311*y^8 - 31192446535315980363497/12039196789259531311*y^7 + 9275218460677635049846/12039196789259531311*y^6 + 15432264796166575566009/12039196789259531311*y^5 - 512291395838130781693/12039196789259531311*y^4 - 4531952294912718839146/12039196789259531311*y^3 - 811997862397656513356/12039196789259531311*y^2 + 617672017276776360914/12039196789259531311*y + 243604469367799440876/12039196789259531311 7504188979814213515/1719885255608504473*y^22 + 39647003889887608648/1719885255608504473*y^21 + 39076867467959520459/1719885255608504473*y^20 - 198886091263982421625/1719885255608504473*y^19 - 456306445031692612732/1719885255608504473*y^18 + 298336432397983022761/1719885255608504473*y^17 + 1620543987214602885984/1719885255608504473*y^16 + 280104901919149249645/1719885255608504473*y^15 - 3150441650949865755803/1719885255608504473*y^14 - 1799849238659636415355/1719885255608504473*y^13 + 3825940103564272205566/1719885255608504473*y^12 + 3312577014007858680484/1719885255608504473*y^11 - 2993877663489774809047/1719885255608504473*y^10 - 3544261503825886115581/1719885255608504473*y^9 + 1435101013010143986244/1719885255608504473*y^8 + 2459904289374788100843/1719885255608504473*y^7 - 296378925595071589805/1719885255608504473*y^6 - 1120111385944185255019/1719885255608504473*y^5 - 90762365228312011732/1719885255608504473*y^4 + 311112074275676717537/1719885255608504473*y^3 + 79319171613841421044/1719885255608504473*y^2 - 41243279813839092404/1719885255608504473*y - 18925512442799095232/1719885255608504473 # A Gluing Matrix {{0,1,-1,-1,1,0,-1,1,0,0,0},{1,0,1,1,0,0,1,0,0,0,0},{-1,1,-1,-2,1,0,-1,1,0,0,0},{-1,1,-2,-1,1,0,-1,1,0,0,0},{1,0,1,1,0,0,1,0,0,0,0},{0,0,0,0,0,1,0,1,0,0,0},{-1,1,-1,-1,1,0,0,1,0,0,0},{1,0,1,1,0,1,1,2,-1,-1,0},{0,0,0,0,0,0,0,-1,1,1,1},{0,0,0,0,0,0,0,-1,1,1,0},{0,0,0,0,0,0,0,0,1,0,1}} # 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, -1, 2, 1, 0, 2, 1, 1, 1} # f Combinatorial flattening {0, 2, 1, 1, 0, 1, 0, 0, 1, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 93195747769149560955/3439770511217008946*y^22 + 507579372266893916591/3439770511217008946*y^21 + 214512792963280528585/1719885255608504473*y^20 - 1565466411119217927775/1719885255608504473*y^19 - 6959736620039702848039/3439770511217008946*y^18 + 5813455649578200713535/3439770511217008946*y^17 + 28751532941963148723563/3439770511217008946*y^16 + 2057108480345494417976/1719885255608504473*y^15 - 31302604378199818287502/1719885255608504473*y^14 - 18523623677055846679241/1719885255608504473*y^13 + 41542666641582965323440/1719885255608504473*y^12 + 37758554310571700610814/1719885255608504473*y^11 - 69615219790469712922935/3439770511217008946*y^10 - 85757148482544277512047/3439770511217008946*y^9 + 17631234276083276839518/1719885255608504473*y^8 + 30567205729592239041607/1719885255608504473*y^7 - 8094739626866605112283/3439770511217008946*y^6 - 13800939169143487455570/1719885255608504473*y^5 - 877675370608588207451/1719885255608504473*y^4 + 7339199055303716292673/3439770511217008946*y^3 + 908127591851479111084/1719885255608504473*y^2 - 881469463456283667811/3439770511217008946*y - 413933358612664564073/3439770511217008946 # 2 Loop Invariant 1390094805479156219318689172724089547821217221745575386540524791630798674327705/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^22 + 7290068861584062837019518944389029216288865980923091982641762747919586089919311/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^21 + 368030357736553265128568907124085346107520312435022022055762102855073594729182/270190787138629727868835258700388538173249565928019830101019518123513953411913*y^20 - 50013685899770287771904597149436552347244765787825449285795867850884118803022497/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^19 - 95004474614133489735283563265213567855740547293120681522377638746927928991928881/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^18 + 60721190366962252677181174547778954797949107097030177073357209530542577712741335/1621144722831778367213011552202331229039497395568118980606117108741083720471478*y^17 + 2330282308290933915369007409014275804200827694176962428217016426023135438233705/17431663686363208249602274754863776656338681672775472909743194717646061510446*y^16 - 52881877748425823649095153589663920134474888213718263828612891893245354274148787/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^15 - 1036996945635849306720751794060144149312024562496194930104514829499987590537116643/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^14 - 183668092488638458265129419400727941949262177370195881433232001889406325488279709/1621144722831778367213011552202331229039497395568118980606117108741083720471478*y^13 + 380248220169421088170107991608096661390256302840392008151600016687405426192963591/810572361415889183606505776101165614519748697784059490303058554370541860235739*y^12 + 980573168054897341835632244456095676342039023602586060206063129761111416289930989/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^11 - 119210788539737918818946301617769170110036264032337690610715204359934378762204563/270190787138629727868835258700388538173249565928019830101019518123513953411913*y^10 - 421445436762198990432016371122122209264050651690093007340858847691817683089412055/1080763148554518911475341034801554152692998263712079320404078072494055813647652*y^9 + 70617914190404069455534085205471159544641383064175659268896137982030929746295907/270190787138629727868835258700388538173249565928019830101019518123513953411913*y^8 + 246609397538365118799864135230581707412056225938568626033650557408862689979118639/810572361415889183606505776101165614519748697784059490303058554370541860235739*y^7 - 69285926927568979740985520334580727750156162235543650258735878700424404773197844/810572361415889183606505776101165614519748697784059490303058554370541860235739*y^6 - 40114362602276187817056418913061878451733462144714855316067026600719709092093779/270190787138629727868835258700388538173249565928019830101019518123513953411913*y^5 + 4259243911021942491532640056495571405590448789252287713693915457326333301553393/1080763148554518911475341034801554152692998263712079320404078072494055813647652*y^4 + 139680489644122636714907231808595780493938336206341497457248421373675436690002773/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y^3 + 6588585260850833984468903471333750763042248783917465267642969716716466083892935/810572361415889183606505776101165614519748697784059490303058554370541860235739*y^2 - 18764549374020343136116422809623831688174398920613894958560428697938297315830861/3242289445663556734426023104404662458078994791136237961212234217482167440942956*y - 5283676670523422818462468156597180049558559722055120375759540755103231256580341/2161526297109037822950682069603108305385996527424158640808156144988111627295304 # 3 Loop Invariant -955003678636567168892773297235040318267365191342101604401439063844726937954889625618041837980551942113273025/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^22 - 5288455018626078855389375675681312686123350224893906381076343199282388511332126242981261638540764925655918595/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^21 - 3136615749364293999855598618356536557931789416139801885578986369777282387659414835162504959269268722674195579/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^20 + 11906572261270540558199232801407105288349498692508003812150201405521422249530978093420994523320264846400280859/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^19 + 63586727937932378388701376057038995022926639088046547172481737642491818095171811228335876353765496801240620849/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^18 - 23867714203946796405425933765393272074711259749864297080965890990987206338512310259644251574799693702878188057/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^17 - 105742237976260167648457100414036787371677700692173620164340279276833571519607384480056353147932924340676492363/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^16 - 39350569882681451348715443693876843920130055791211560389088692566120715262509481523942849640275442852391722734/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^15 + 386021889959338945023360954768056079904646381618456492012420694335293351780985268797407944741845040712132914539/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^14 + 299689117192853353201468310119141701708257224627973898523315051266742238501617023501660737592925608351452292947/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^13 - 217081083997568184364692577282805354463269337574332033317799087568110437319635827391568430646706794741560448822/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^12 - 243954355310180608623612889943459141143588918454000252496726298354750371883965668107137924991723907844183903555/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^11 + 151761951985997809713231145668604039585856716416619216614841117621000377135366685509732326179945663770522838153/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^10 + 480342314529206643866491147962050392750113613271822066971250392423847384976331246674371617149460264067119899607/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^9 - 116513719887720509281440589324603976507361612517542588124581255565057523269957135166422789685945698456299710637/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^8 - 153305847209343353605315088282913448245954582383315677995993890422748908794041980141231719022488398105581924312/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^7 + 2267252982240115702338234888604277046604625044894248593122668139276346626026384625784741584053740728872399120/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^6 + 125868701984342095388068639901234146317023965033899379022480083591201313456099555369006553795378086008694494131/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^5 + 19570878899189168810222925561633891400191627062540175287861523147124134632525705231135838050214682141195878747/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^4 - 15106278277454947307794404522559968074839976550882707272565327235231320535481301246245672572482463649816508601/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167*y^3 - 9811786619029589726454563166333634002235753523300404035113663845800212487168782021447738184202225957886488951/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y^2 + 3182044799768608281576147146642919985482440143557116801596487053689151879017796925197385780520072985481974527/214183525959321523430338293052689982333809248415301362591053404591425827376412575245157439082275797650958334*y + 880044829535773363846406416692872665470667307007951756573045894961356607185755128796509717728119409710634523/107091762979660761715169146526344991166904624207650681295526702295712913688206287622578719541137898825479167 # 4 Loop Invariant 36131280773606632221689425254240975723700853152642061087455981294730312155639258516513054572080781903023196862100607470203040841294728419586570393316082116116553979284745/2422644127176552709688435280531454503257953983420197113787884427111628807298069024936279672378437629003319199976203482334901053259320874501860502330594677839885800293488*y^22 + 65426290729390832426156995008574361300442202006174955171920157490113004799471158857985002992007272678730426886894453987970934531967163958801683989537466148932048013167937/807548042392184236562811760177151501085984661140065704595961475703876269099356341645426557459479209667773066658734494111633684419773624833953500776864892613295266764496*y^21 + 270964806159056881575862811348269102081916645037247703976276426478211033186611552945637652373651509587305980359868147033270450472934206167090266171033058017539588042507093/3028305158970690887110544100664318129072442479275246392234855533889536009122586281170349590473047036254148999970254352918626316574151093127325627913243347299857250366860*y^20 - 384929030848676067331062380382673065827238978412312334764432074343927494839900263850943070235217226969752763320383421451554468324630962350445530896486159173601124108451599/1009435052990230295703514700221439376357480826425082130744951844629845336374195427056783196824349012084716333323418117639542105524717031042441875971081115766619083455620*y^19 - 5776937226520878689016842428363685481345553692606617319512720339471189258264665135976723959607664218509979337618986199473244168067339462034247864743955976285752717655116811/6056610317941381774221088201328636258144884958550492784469711067779072018245172562340699180946094072508297999940508705837252633148302186254651255826486694599714500733720*y^18 + 5713359359688117022455377564693419848360825013723381335397711458990440578130222661103375039254984821252225739572258702209354242496513064769527880897385616100190236437353211/12113220635882763548442176402657272516289769917100985568939422135558144036490345124681398361892188145016595999881017411674505266296604372509302511652973389199429001467440*y^17 + 318411325166944659568822393291640271253138683626113004242006852805109193991259451794319944110387062940308957737162506095111961796586301034601868107299891034318884075239807/97687263192602931842275616150461875131369112234685367491446952706114064810406009070011277112033775363037064515169495255439558599166164294429858964943333783866362915060*y^16 + 365053622147246148356735187340112195234111211569944718981606302679491208113086170087250039949650988992806996195009020265074290906376533075652812587181023652249692861871379/403774021196092118281405880088575750542992330570032852297980737851938134549678170822713278729739604833886533329367247055816842209886812416976750388432446306647633382248*y^15 - 7428534758208646714299145748429946519915257891956106298108234042194052332692263707914062315080046531665590926901149411005586505283517819338562511178389959710608375038877313/1211322063588276354844217640265727251628976991710098556893942213555814403649034512468139836189218814501659599988101741167450526629660437250930251165297338919942900146744*y^14 - 24862675345070316809087345406201829483199335907677022811564497825369787197229052173374494006995284615056709399708098954726479967401409228140109773488178076986614324717848019/6056610317941381774221088201328636258144884958550492784469711067779072018245172562340699180946094072508297999940508705837252633148302186254651255826486694599714500733720*y^13 + 29020930420512275680552583965085059157919844637409032458209391356794115630932011024862597527991808899071388092719699915074221683572546582551809221148549661799362208225365351/4037740211960921182814058800885757505429923305700328522979807378519381345496781708227132787297396048338865333293672470558168422098868124169767503884324463066476333822480*y^12 + 5655020470191665893092165719846325591629886194195155397847437717010346888493230000354625551426519653844337853756401942753417702552119044671483958429267890524049318852320211/807548042392184236562811760177151501085984661140065704595961475703876269099356341645426557459479209667773066658734494111633684419773624833953500776864892613295266764496*y^11 - 4062646601633504028719475972687684693310046702899544567556056073775122167324786848465232342550686786756443880897197627686304969640746677840248471055072223296385723237614994/757076289742672721777636025166079532268110619818811598058713883472384002280646570292587397618261759063537249992563588229656579143537773281831406978310836824964312591715*y^10 - 10747819247658016612170337004379970632090578591285166166765587869963318289110527990545153562262402742050701682521491445771024059300689822275226935486714195876646683824738683/1514152579485345443555272050332159064536221239637623196117427766944768004561293140585174795236523518127074499985127176459313158287075546563662813956621673649928625183430*y^9 + 9607499536623767737422120095372243986970711897021513554213043334732440122414531022398882822580841200905172330131002432321290627257019312261023144610431849947483633317139061/4037740211960921182814058800885757505429923305700328522979807378519381345496781708227132787297396048338865333293672470558168422098868124169767503884324463066476333822480*y^8 + 56277221023668876435417198135740848174948659731071414855441289998950312149440651027669316192611806604792874090589412193411021321793357708216169548597510011746234165269684493/12113220635882763548442176402657272516289769917100985568939422135558144036490345124681398361892188145016595999881017411674505266296604372509302511652973389199429001467440*y^7 - 1531168439561072883610937722870828411240338174490940690494571117317789707638109387963369188129266204457230698558756428387238677744168186870967290005479367888062039187794553/4037740211960921182814058800885757505429923305700328522979807378519381345496781708227132787297396048338865333293672470558168422098868124169767503884324463066476333822480*y^6 - 5936194834861161329757935794876940218702296166601758189976994400228966101872274437183957017341686352498562667454485626859721815783688476636687696199738739007547515130029369/3028305158970690887110544100664318129072442479275246392234855533889536009122586281170349590473047036254148999970254352918626316574151093127325627913243347299857250366860*y^5 - 61973673132981991407352312433646739739734414295768746341319409388433790531701481099372269310994233261955326380433713626879544645856634824913898630477533209169115875323039/302830515897069088711054410066431812907244247927524639223485553388953600912258628117034959047304703625414899997025435291862631657415109312732562791324334729985725036686*y^4 + 5921721436656097784523049218166823145049474659644520706159672732491576939754979093708580690221786519487217220019422777889251291619279589835241047619533611158082173576485371/12113220635882763548442176402657272516289769917100985568939422135558144036490345124681398361892188145016595999881017411674505266296604372509302511652973389199429001467440*y^3 + 34715937120238927797127417386261639837229592859894202190192820542347428663596738081147496147504197568883017516215055489649439571561390845008159995338959502181149152979837/252358763247557573925878675055359844089370206606270532686237961157461334093548856764195799206087253021179083330854529409885526381179257760610468992770278941654770863905*y^2 - 135648709610214335588054868369666368119047546332726997273910497252639773236320016305352561711208453152414406512933180439493781982589372382924899826698920551287568734103645/2422644127176552709688435280531454503257953983420197113787884427111628807298069024936279672378437629003319199976203482334901053259320874501860502330594677839885800293488*y - 326129262076661458677178905641736348317166451045868631169246947897445111959249435877579120332454911372213431848665063390906685696372668253841947013006966612151732799562779/12113220635882763548442176402657272516289769917100985568939422135558144036490345124681398361892188145016595999881017411674505266296604372509302511652973389199429001467440