# Manifold: H T Link Exterior K9a24 # Number of Tetrahedra: 11 # Number Field x^20 - 32*x^19 + 428*x^18 - 3206*x^17 + 15210*x^16 - 50520*x^15 + 125757*x^14 - 245301*x^13 + 385902*x^12 - 498467*x^11 + 533786*x^10 - 475162*x^9 + 350205*x^8 - 211271*x^7 + 102156*x^6 - 38221*x^5 + 10428*x^4 - 1865*x^3 + 177*x^2 - 7*x + 1 # Approximate Field Generator 0.0825772127423172 - 0.975803044049698*I # Shape Parameters -74118268981871195749615/11336727709919055147329*y^19 + 2318063646135345489367438/11336727709919055147329*y^18 - 30042524213121393286356463/11336727709919055147329*y^17 + 215848643950104199311025855/11336727709919055147329*y^16 - 970880220130750989521898997/11336727709919055147329*y^15 + 3040540442342282308534039225/11336727709919055147329*y^14 - 7115400318937026914765531441/11336727709919055147329*y^13 + 13016669169329075142390067005/11336727709919055147329*y^12 - 19146735685881558470841634597/11336727709919055147329*y^11 + 23023570505198415173614769344/11336727709919055147329*y^10 - 22804170609507521727317207872/11336727709919055147329*y^9 + 18598068750520509886057858535/11336727709919055147329*y^8 - 12382433306088754564203213452/11336727709919055147329*y^7 + 6606146484684601780656962270/11336727709919055147329*y^6 - 2731886307858874655921859069/11336727709919055147329*y^5 + 826275223465626168189866163/11336727709919055147329*y^4 - 163891606757925450040958210/11336727709919055147329*y^3 + 16807182614269253788456493/11336727709919055147329*y^2 - 3613024392955333112516/75077666953106325479*y + 104792162994978198658520/11336727709919055147329 -853968694125212883256349/11336727709919055147329*y^19 + 26782981315241412599500583/11336727709919055147329*y^18 - 348441513701752349378115659/11336727709919055147329*y^17 + 2515998174242663201198019467/11336727709919055147329*y^16 - 11387877266513420622259434148/11336727709919055147329*y^15 + 35900072218677798598546844567/11336727709919055147329*y^14 - 84572214356040138991259673731/11336727709919055147329*y^13 + 155741875186789687346346599635/11336727709919055147329*y^12 - 230621053825920546128040154350/11336727709919055147329*y^11 + 279220930912764758326437374134/11336727709919055147329*y^10 - 278551377517521003876197953109/11336727709919055147329*y^9 + 228935060234061556045689979884/11336727709919055147329*y^8 - 153733967278597245541504519818/11336727709919055147329*y^7 + 82827196212849298580650564914/11336727709919055147329*y^6 - 34654786971543941604548381009/11336727709919055147329*y^5 + 10635062448773654906430160193/11336727709919055147329*y^4 - 2150310673448581878865978390/11336727709919055147329*y^3 + 226225490156250434736746744/11336727709919055147329*y^2 - 48443880915501307703264/75077666953106325479*y + 1343368606142010648631268/11336727709919055147329 179448114656984546821155/11336727709919055147329*y^19 - 5624951455775067329544774/11336727709919055147329*y^18 + 73121213832803748780286230/11336727709919055147329*y^17 - 527388460235274719807324757/11336727709919055147329*y^16 + 2383310000678433783528605430/11336727709919055147329*y^15 - 7499286989489617717907543540/11336727709919055147329*y^14 + 17631004322661914688175244261/11336727709919055147329*y^13 - 32400870900009196382297236115/11336727709919055147329*y^12 + 47878931150531145677381818250/11336727709919055147329*y^11 - 57847159191139439436042917743/11336727709919055147329*y^10 + 57586081254175377999620063950/11336727709919055147329*y^9 - 47226354893528880096637834266/11336727709919055147329*y^8 + 31643031686385344553015735085/11336727709919055147329*y^7 - 17009708029444194741558179417/11336727709919055147329*y^6 + 7100868182492164736339241812/11336727709919055147329*y^5 - 2174854495151675651658221815/11336727709919055147329*y^4 + 439390153565339972301089872/11336727709919055147329*y^3 - 46458229535689094231023851/11336727709919055147329*y^2 + 10373841555287773072268/75077666953106325479*y - 267122434304487718367154/11336727709919055147329 -109545471504959289850061/11336727709919055147329*y^19 + 3407967984227062803012537/11336727709919055147329*y^18 - 43853185250641428671804345/11336727709919055147329*y^17 + 312193102129593436394859627/11336727709919055147329*y^16 - 1388549526429968015349431401/11336727709919055147329*y^15 + 4299689676434134101366150946/11336727709919055147329*y^14 - 9953525868724186869347210990/11336727709919055147329*y^13 + 18020414906652714054231796091/11336727709919055147329*y^12 - 26239655099202469487574813381/11336727709919055147329*y^11 + 31234756158394162303833111095/11336727709919055147329*y^10 - 30616304284528788235500380332/11336727709919055147329*y^9 + 24694200565156032715927266316/11336727709919055147329*y^8 - 16241480447293793841920222148/11336727709919055147329*y^7 + 8544177084985457745073552338/11336727709919055147329*y^6 - 3473821975722319136670730399/11336727709919055147329*y^5 + 1027965511188370512664211779/11336727709919055147329*y^4 - 197690180056990360373783145/11336727709919055147329*y^3 + 19326081791931278526879182/11336727709919055147329*y^2 - 4028383857380704552624/75077666953106325479*y + 115326587142515261815253/11336727709919055147329 -204698985579593894771703/11336727709919055147329*y^19 + 6397380207819144491801791/11336727709919055147329*y^18 - 82828755399375071870566254/11336727709919055147329*y^17 + 594327130058052273763233496/11336727709919055147329*y^16 - 2668896262282436578179542673/11336727709919055147329*y^15 + 8344339162401742580258989959/11336727709919055147329*y^14 - 19497453709493307215871168814/11336727709919055147329*y^13 + 35620877186985730966977920498/11336727709919055147329*y^12 - 52338373644856305856694597833/11336727709919055147329*y^11 + 62880416569285780314148635504/11336727709919055147329*y^10 - 62240846040376035954442237717/11336727709919055147329*y^9 + 50741462314103182618742246572/11336727709919055147329*y^8 - 33781767325653631946571853936/11336727709919055147329*y^7 + 18030754052444121265009577406/11336727709919055147329*y^6 - 7465236497727206759762121192/11336727709919055147329*y^5 + 2263514083311961360897649505/11336727709919055147329*y^4 - 451244690638172068307674626/11336727709919055147329*y^3 + 46799591901944912863823248/11336727709919055147329*y^2 - 10418644715369570728504/75077666953106325479*y + 288271946298538074157899/11336727709919055147329 -98208743795040234702732/11336727709919055147329*y^19 + 3056529425219572093445338/11336727709919055147329*y^18 - 39352504349803563778314732/11336727709919055147329*y^17 + 280348233992430810486012466/11336727709919055147329*y^16 - 1247962766099261812467404472/11336727709919055147329*y^15 + 3867544952859729638205116795/11336727709919055147329*y^14 - 8959997725682300714345592088/11336727709919055147329*y^13 + 16233032405723746062538463964/11336727709919055147329*y^12 - 23652171703418254259803589750/11336727709919055147329*y^11 + 28171254902798155869480690083/11336727709919055147329*y^10 - 27628419002757941898980643750/11336727709919055147329*y^9 + 22295303634826320970531860600/11336727709919055147329*y^8 - 14670198649971302879445275419/11336727709919055147329*y^7 + 7720337082305640007517153908/11336727709919055147329*y^6 - 3139547222467645876596587505/11336727709919055147329*y^5 + 928939194642227565952292964/11336727709919055147329*y^4 - 178497100044097400009355148/11336727709919055147329*y^3 + 17376164625825201041538594/11336727709919055147329*y^2 - 3652995522615172925229/75077666953106325479*y + 92653131722677151520595/11336727709919055147329 544016896765399664702585/11336727709919055147329*y^19 - 17057087383838764655601713/11336727709919055147329*y^18 + 221825459122769302521835427/11336727709919055147329*y^17 - 1600986571131067332069634142/11336727709919055147329*y^16 + 7242426208527956263563906913/11336727709919055147329*y^15 - 22820326711064257568409007462/11336727709919055147329*y^14 + 53737499450819158129319066414/11336727709919055147329*y^13 - 98927173174387355946351437448/11336727709919055147329*y^12 + 146454282141747731951705142849/11336727709919055147329*y^11 - 177285155844799880225675554205/11336727709919055147329*y^10 + 176838412403862847988163323654/11336727709919055147329*y^9 - 145330139247522932239285181727/11336727709919055147329*y^8 + 97591623763678552477801544665/11336727709919055147329*y^7 - 52583238945511305697387207435/11336727709919055147329*y^6 + 22004475009386106704510754936/11336727709919055147329*y^5 - 6754874868889138067731228982/11336727709919055147329*y^4 + 1366426124387271592536344141/11336727709919055147329*y^3 - 143837432841921982873180909/11336727709919055147329*y^2 + 30691471872413771749425/75077666953106325479*y - 842631966415293828109020/11336727709919055147329 544016896765399664702585/11336727709919055147329*y^19 - 17057087383838764655601713/11336727709919055147329*y^18 + 221825459122769302521835427/11336727709919055147329*y^17 - 1600986571131067332069634142/11336727709919055147329*y^16 + 7242426208527956263563906913/11336727709919055147329*y^15 - 22820326711064257568409007462/11336727709919055147329*y^14 + 53737499450819158129319066414/11336727709919055147329*y^13 - 98927173174387355946351437448/11336727709919055147329*y^12 + 146454282141747731951705142849/11336727709919055147329*y^11 - 177285155844799880225675554205/11336727709919055147329*y^10 + 176838412403862847988163323654/11336727709919055147329*y^9 - 145330139247522932239285181727/11336727709919055147329*y^8 + 97591623763678552477801544665/11336727709919055147329*y^7 - 52583238945511305697387207435/11336727709919055147329*y^6 + 22004475009386106704510754936/11336727709919055147329*y^5 - 6754874868889138067731228982/11336727709919055147329*y^4 + 1366426124387271592536344141/11336727709919055147329*y^3 - 143837432841921982873180909/11336727709919055147329*y^2 + 30691471872413771749425/75077666953106325479*y - 842631966415293828109020/11336727709919055147329 279347984759929535356518/11336727709919055147329*y^19 - 8729425301560318135356054/11336727709919055147329*y^18 + 113004866828139710748040328/11336727709919055147329*y^17 - 810671392737654143436221145/11336727709919055147329*y^16 + 3639264404690322408981593685/11336727709919055147329*y^15 - 11373682096770193425597369372/11336727709919055147329*y^14 + 26563488905027716540257412547/11336727709919055147329*y^13 - 48505783879125156370495750485/11336727709919055147329*y^12 + 71233873784376548302709105835/11336727709919055147329*y^11 - 85539738885425532715735956047/11336727709919055147329*y^10 + 84633392730567378358283602110/11336727709919055147329*y^9 - 68976833869268077181824232181/11336727709919055147329*y^8 + 45921968123880114125314577098/11336727709919055147329*y^7 - 24525210761090099094373587081/11336727709919055147329*y^6 + 10174042200649191900676209019/11336727709919055147329*y^5 - 3101438183095065326231778877/11336727709919055147329*y^4 + 627928596023984555592618973/11336727709919055147329*y^3 - 68889957165670729292718664/11336727709919055147329*y^2 + 19919547596051673825376/75077666953106325479*y - 357891430159488046511243/11336727709919055147329 80846447991293264466043/11336727709919055147329*y^19 - 2540469334251519149676041/11336727709919055147329*y^18 + 33136019403753595954332203/11336727709919055147329*y^17 - 240042948938735990726045370/11336727709919055147329*y^16 + 1090684580979591269193166868/11336727709919055147329*y^15 - 3451279297343210102072435324/11336727709919055147329*y^14 + 8158225998428213350572566088/11336727709919055147329*y^13 - 15070225915600208845058090986/11336727709919055147329*y^12 + 22379756802884917261260001519/11336727709919055147329*y^11 - 27169104325493820448526720475/11336727709919055147329*y^10 + 27174854422269279596696964369/11336727709919055147329*y^9 - 22392758594419311898648208388/11336727709919055147329*y^8 + 15077779361528668277472532882/11336727709919055147329*y^7 - 8147135346682313329732078777/11336727709919055147329*y^6 + 3420089403137290137307808520/11336727709919055147329*y^5 - 1053918966791908956445712846/11336727709919055147329*y^4 + 214354448814521078092745961/11336727709919055147329*y^3 - 22797208391521365872247941/11336727709919055147329*y^2 + 4828313098225428408460/75077666953106325479*y - 124454055518951865096954/11336727709919055147329 123625614844364815185758/11336727709919055147329*y^19 - 3876164548600793270642668/11336727709919055147329*y^18 + 50413033729668330125475739/11336727709919055147329*y^17 - 363933055501649615318888866/11336727709919055147329*y^16 + 1647167126480198221935376021/11336727709919055147329*y^15 - 5194438976005494847872181532/11336727709919055147329*y^14 + 12244605120068525858555405225/11336727709919055147329*y^13 - 22566993742324108424687987706/11336727709919055147329*y^12 + 33447568107036416935674131973/11336727709919055147329*y^11 - 40535842131246662693978453212/11336727709919055147329*y^10 + 40479877548979510183151794362/11336727709919055147329*y^9 - 33304070388270470080134061711/11336727709919055147329*y^8 + 22387239493971501000309170984/11336727709919055147329*y^7 - 12073044321719061542609807910/11336727709919055147329*y^6 + 5055027909307136406444007136/11336727709919055147329*y^5 - 1551563116981336076801389779/11336727709919055147329*y^4 + 313297120889270637753634494/11336727709919055147329*y^3 - 32789027544832347051004626/11336727709919055147329*y^2 + 7143706703768283824653/75077666953106325479*y - 194685592288233668669350/11336727709919055147329 # A Gluing Matrix {{0,0,0,1,1,1,0,0,0,0,0},{0,1,0,0,1,0,0,0,0,0,0},{0,0,0,-1,0,0,0,0,0,0,0},{1,0,-1,-1,-1,-1,0,0,0,0,0},{1,1,0,-1,0,-1,0,0,1,1,-1},{1,0,0,-1,-1,-1,0,0,0,0,0},{0,0,0,0,0,0,1,0,1,1,-1},{0,0,0,0,0,0,0,1,1,1,-1},{0,0,0,0,1,0,1,1,0,0,0},{0,0,0,0,1,0,1,1,0,2,-1},{0,0,0,0,-1,0,-1,-1,0,-1,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 {2, 1, 0, -1, 0, -1, 1, 1, 2, 2, -1} # f Combinatorial flattening {1, 1, 0, 0, 0, 2, 1, 1, 1, 1, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 207567660599226645393325/11336727709919055147329*y^19 - 13245076311375899436938035/22673455419838110294658*y^18 + 88126923315766603296591919/11336727709919055147329*y^17 - 654481361168137109738600962/11336727709919055147329*y^16 + 3061592911942672960647125036/11336727709919055147329*y^15 - 9962169460782913581121856593/11336727709919055147329*y^14 + 24148311905246063538373112115/11336727709919055147329*y^13 - 45618990857035712820376540782/11336727709919055147329*y^12 + 69132845294613360822304004530/11336727709919055147329*y^11 - 85516132628780954925809902215/11336727709919055147329*y^10 + 174148475709007894673369006985/22673455419838110294658*y^9 - 146036963263826929057466812651/22673455419838110294658*y^8 + 100095587038913736644162385569/22673455419838110294658*y^7 - 55111427273993343254734773051/22673455419838110294658*y^6 + 23624940000212805137864741003/22673455419838110294658*y^5 - 7466018454235854210450016483/22673455419838110294658*y^4 + 1572780373298865387412250825/22673455419838110294658*y^3 - 89457670083775753279008118/11336727709919055147329*y^2 + 25221754561257851077794/75077666953106325479*y - 1145280170168783581143787/22673455419838110294658 # 2 Loop Invariant 1645375457701607149592969368688282851726884112606127404028639969755091237/493383175028645111927086701570214120196183737189945840020561977614886412*y^19 - 26017638801289693942118679607738614734701162309223223546078035345608601239/246691587514322555963543350785107060098091868594972920010280988807443206*y^18 + 684575531247968035579575227861365127828703150587222930902598694278493820871/493383175028645111927086701570214120196183737189945840020561977614886412*y^17 - 417843227198517856779056466608574304281639591838229374182201428295997072670/41115264585720425993923891797517843349681978099162153335046831467907201*y^16 + 23091147026810453858038173902170407738244111484719473918952872680319050743687/493383175028645111927086701570214120196183737189945840020561977614886412*y^15 - 24692889150276497337449137410969183719700493306315955951045159539941856360703/164461058342881703975695567190071373398727912396648613340187325871628804*y^14 + 44362148607512089891506676704990587313014942477279727006079494823695751039400/123345793757161277981771675392553530049045934297486460005140494403721603*y^13 - 331969840159930863893067390540010528369002488724786194638882667824363528307699/493383175028645111927086701570214120196183737189945840020561977614886412*y^12 + 166344081074687768919952010406643121462514934031384218519160599847235994141175/164461058342881703975695567190071373398727912396648613340187325871628804*y^11 - 613092974951241155333212755000046183916743821065906777281664471377522289786273/493383175028645111927086701570214120196183737189945840020561977614886412*y^10 + 155142441686934307642190047061053392652830285732742153658194314986142237365459/123345793757161277981771675392553530049045934297486460005140494403721603*y^9 - 172542531689967553261302735756404129284470169122898123678057465692334158245935/164461058342881703975695567190071373398727912396648613340187325871628804*y^8 + 353009154089512398727090509889974987156589218712059511323806858538051025148227/493383175028645111927086701570214120196183737189945840020561977614886412*y^7 - 64457692565266904934610668210577868773471452458604093631477758918723583249401/164461058342881703975695567190071373398727912396648613340187325871628804*y^6 + 6867220703835954183410011053360716313631179435481645420962044730491226544311/41115264585720425993923891797517843349681978099162153335046831467907201*y^5 - 8608213231524864673520731424981935676504460659336196442044514242875768329969/164461058342881703975695567190071373398727912396648613340187325871628804*y^4 + 5351747035578638598152172307013410899858613820343375944835390867282679668299/493383175028645111927086701570214120196183737189945840020561977614886412*y^3 - 289502710848694870705276608156965651958532305645960514071277573472736746207/246691587514322555963543350785107060098091868594972920010280988807443206*y^2 + 20357216951402436788870431699604368849416265082923198938465154300592317/544573040870469218462568103278382031121615603962412626954262668449102*y - 1157981159240596698599161613092487559287792066360180186576147388310809149/164461058342881703975695567190071373398727912396648613340187325871628804 # 3 Loop Invariant -859396771572492468531783683947520374649208317875221712347635196731087566662092505353723210337153/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^19 + 26986288145577700774389626798983782620176743033608217565165560347558976008151319073090101693892045/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^18 - 175836772588866728903392505657432870916292381420903713282868052059966203036664786961445414987102156/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^17 + 2544890273868971821389035020438869846379444088529804194384239230429497489532202894738997457466352397/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^16 - 5775235956156851234240760075351269297867321315323020606555262314271448968153809751423245428624108431/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^15 + 36521411414630577894933456917356836923185616612884798298618511037967088121771269550276806739747472335/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^14 - 86304901106251419465620699633642466092442504541714232736252102503075456244801627944100263871208202791/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^13 + 79724809856493733533482294191448985477187318270295071244076334187325049952492950533655882850358402445/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^12 - 236916185079780155075896237813688041559700012654935659388162646070578449649593269581134011728699633885/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^11 + 143940790257437894565297166264226661812610984801019616880546579957823989013782680758414152771048528619/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^10 - 144159363774623804160136573255349877407108159174838405293734599059355042494615457848013382129091095467/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^9 + 237994820030058673775977060023830497860094603763591055566133834548463982530134433197819761366214176985/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^8 - 80306110955726011693224145078957977307433825891639749218220048124825049397241602575336752914454475638/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^7 + 87038951750256858891082679597511162789823623772373054306280388756541725034688378107977731205298375803/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^6 - 18338333319969097804696977403770985319044417492701481351422695354072563217466416809644475379558541183/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^5 + 11357148940949747436987628907379676339163595171198258341747305807554969206176239677734557169089693021/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^4 - 2323606734848306671428370847304014642513211392678750757091884733822734063017804416188718232206605427/156599644523980133131856207677087720059609721747122086205128846451130660652424886531305547246526*y^3 + 124006546725905062151648468678852587958066189593560562334073537149147574568861552357888438110534195/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263*y^2 - 25867161280279811087430815660952206091269748990447256073511624864371479225974209517289830568014/518541869284702427588927839990356688939105038897755252334863729970631326663658564673197176313*y + 741023534281420263929190912732361870674025064327640643524499623451777264277193454567617471375206/78299822261990066565928103838543860029804860873561043102564423225565330326212443265652773623263 # 4 Loop Invariant 1065710084323752926488355281762877750226965455581676046594133380974583459238680204979158260285514822987437562966692671663268234652822721463662820091/22717792941254933662405527800017196347060364471932701421731401429549808458289139980909273329888182771571210225921252167330594135148781985812451760*y^19 - 100353915473054159002012181410042231600502197751838105646098133446430011404354831424167660115136737795190462398300075160624533438449830843085405165321/68153378823764800987216583400051589041181093415798104265194204288649425374867419942727819989664548314713630677763756501991782405446345957437355280*y^18 + 81690697771938065763052540199848502185098064501254716865802534550175238737568103051801358682074527110384999756070035146648469277659188962631859598191/4259586176485300061701036462503224315073818338487381516574637768040589085929213746420488749354034269669601917360234781374486400340396622339834705*y^17 - 1181459670725619200040633037131305755898468164156417523044861909797031812094054594324400739372529140714178888257621656025096309004417243172920402252363/8519172352970600123402072925006448630147636676974763033149275536081178171858427492840977498708068539339203834720469562748972800680793244679669410*y^16 + 12857483617787056240119729489562985465138022295294277630622299531818352338225835191762629966687058697144042585372828351278148936972589750926401485624649/20446013647129440296164975020015476712354328024739431279558261286594827612460225982818345996899364494414089203329126950597534721633903787231206584*y^15 - 8460490909780830732660301250768820414600154849565940666031485081793549542370585740860404220689410856940605134933676780458068268102451761363789201309304/4259586176485300061701036462503224315073818338487381516574637768040589085929213746420488749354034269669601917360234781374486400340396622339834705*y^14 + 239618242032794916331043481505512377243752958034226638230377925282915928140036411136880220623321154277553048120145554893327106855790848362170129589453797/51115034117823600740412437550038691780885820061848578198895653216487069031150564957045864992248411236035223008322817376493836804084759468078016460*y^13 - 176823333587459640069272949104818923585557835582435021602962520307557195102821549691272539614503861327763100144111399306321076560758095530658821174979165/20446013647129440296164975020015476712354328024739431279558261286594827612460225982818345996899364494414089203329126950597534721633903787231206584*y^12 + 655740931777991242590934747436649238331816464941888262142068843476904590375532359479213298339098122400975330974685324109007122552700575827765603780661541/51115034117823600740412437550038691780885820061848578198895653216487069031150564957045864992248411236035223008322817376493836804084759468078016460*y^11 - 795296805222860443976336268619782595373671650669618739338006651600435085832906610963232257206846016159877699547276193688538374566257200952896447999663577/51115034117823600740412437550038691780885820061848578198895653216487069031150564957045864992248411236035223008322817376493836804084759468078016460*y^10 + 635811557914289514384817228881357214207144130549487688632884755932354496203321179603901998947435057751546020409273637985167236558868744507587968975008613/40892027294258880592329950040030953424708656049478862559116522573189655224920451965636691993798728988828178406658253901195069443267807574462413168*y^9 - 436241604364477290626705528863651256282518078850659990832482762209496298569617278583002822208824826547212557068507688876424809438421119036684660862461353/34076689411882400493608291700025794520590546707899052132597102144324712687433709971363909994832274157356815338881878250995891202723172978718677640*y^8 + 19566233034610923715137961135249578064998000255665505441846714606279047294581769981440854850473850824521588051084000404547088811863671693787646815471037/2271779294125493366240552780001719634706036447193270142173140142954980845828913998090927332988818277157121022592125216733059413514878198581245176*y^7 - 316890676093977253488505526331213233199944165815999214268863224913049198522112191809570553537274848501030253394478450065375117883490703839430280098189047/68153378823764800987216583400051589041181093415798104265194204288649425374867419942727819989664548314713630677763756501991782405446345957437355280*y^6 + 199324439487202487339793674516605664990421454043719784517092015643949844175212779096853198001774489014377506985358958090302637414713360313756661791888293/102230068235647201480824875100077383561771640123697156397791306432974138062301129914091729984496822472070446016645634752987673608169518936156032920*y^5 - 15330959952857993450056212103199287661796976502375352092185441457540644379770680648587080760331682126083514623564104787305138292994233440524341387369667/25557517058911800370206218775019345890442910030924289099447826608243534515575282478522932496124205618017611504161408688246918402042379734039008230*y^4 + 12434052916969132811707129936948800042152499825863041211067692069699983624574046871209610254611806950910976204814514910546013972540299187835587367421821/102230068235647201480824875100077383561771640123697156397791306432974138062301129914091729984496822472070446016645634752987673608169518936156032920*y^3 - 291458959350842962758298061325868966663927580940523910001080603954472416115000351247828695664260174676216748302018832773945724512311604699686001177017/22717792941254933662405527800017196347060364471932701421731401429549808458289139980909273329888182771571210225921252167330594135148781985812451760*y^2 + 557516890121261781834884469245535934325234259471819341534635071566089554129766401642090035688269958324428143331582093419942166407525846284325934941/1354040638882744390474501656954667331943995233426452402619752403085750173010610992239625562708567185060535708829743506662088392161185681273589840*y - 346321042244737236532412102198611189354501288268951764962836387694791903756664826602883593174997541846538548474239625706256000273318860063495696571/4543558588250986732481105560003439269412072894386540284346280285909961691657827996181854665977636554314242045184250433466118827029756397162490352